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