摘要：
原论文入口1 引言为了实现一个带有容错性的分布式系统而提出的Paxos算法被认为是非常难以理解的。事实上它是一个很简单而且是最平淡无奇的分布式算法之一。它的核心是一个一致性的算法---【5】中提出的“synod”算法，接下来的部分将会讲述这个一致性算法。最后的部分来解释这个复杂的Paxos算法，从一直性的直观应用到建立一个分布式系统的有限状态自动机的模型，应该是众所周知的方法，因为它可能是分布式系统理论中被引用最多的主题。2 一致性算法2.1问题假设一些process可以提出一些提案（value），一个一致性算法保证在这些提出（propose）的提案中有一个会被选择（chosen）。如果没有提 阅读全文
