MIT6.824 lab2 bug补充记录以及心得

1.对于一个channel，如果是buffer的话，正确性不能因为buffer的大小而影响，这样不是个好设计，尽量使用没buffer的channel.

2.之所以之前用了buffer channel，是因为活锁问题。对于活锁可能导致的状态不一致，可以通过存临时变量来解决，当然这样要看情况。同时对于日志apply顺序的保障是一个apply协程来提交。然后apply snapshot在apply snapshot之后日志的保障是因为之前已经判断过 rf.Committed_Idx < args.LastIncludedIndex，并且只有锁，这就导致了leader不能append这个follower，也就不能改变commit_idx，结果就是apply停在了snapshot之前。这样就可以commit->snapshot -->commit这样的顺序的正确性。