第二部分主要介绍了Paxos的算法内容和具体的证明过程

Paxos，是一个久负盛名的分布式系统一致性算法[协议]，其作者Leslie Lamport更因在分布式系统中的贡献获颁2013年的图灵奖、2014被选为ACM Fellow。这些都是计算机科学领域无上的荣誉。

Three-Phase Commit[3PC]，三阶段提交，是二阶段提交[2PC]的升级版，最大的区别在于两处：

Two-phase Commit [2PC]，二阶段协议提交是一种应用在分布式系统中的保持系统一致性的协议，尽管它有着明显的缺陷，而后续改进的协议或者算法也有很多，但是它的设计思想还是很值得学习的。