用来实现容错的分布式系统的Paxos算法被认为是难以理解的,大部分原因是因为作者在原始的论文中【Leslie Lamport. The part-time parliament. ACM Transactions on ComputerSystems, 16(2):133–169, May 1998.】使用了希腊城邦等这些与计算机相差比较远的故事来描述该算法。实际上该算法的核心就是一个一致性算法。下文中将展示这个一致性算法不可避免的需要满足我们想要其满足的属性/特点。文献【Leslie Lamport. Time, clocks, and the ordering of events in a distributedsystem. Communications of the ACM, 21(7):558–565, July 1978.】是分布式系统学习者都该了解的。