http://www.scs.stanford.edu/17au-cs244b/sched/readings/flp.pdf
《Impossibility of Distributed Consensuswith One Faulty Process 》
mikep.jpg
Lynch-rinaldo.jpg
这篇文章告诉我们分布式一致性协议的设计的边界：
- 不要去设计整体正确的一致性协议，因为不存在；
- 可以努力的方向是设计一种局部一致性协议，满足(1)初始时，严格意义上的大多数进程都存活着；(2) 在协议执行过程中没有进程挂掉，所有没出错的进程都会达成一致决策；
