本文主要是介绍Paxos协议学习---1.总纲，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
分布式的一致性算法。
这个算法始于两篇论文《The Part-time Parliament》《Paxos Made Simple》
这篇文章主要源于阅读《The Part-time Parliament》
其中主要的内容就是
1.神会协议 The Single-Decree Synod
2.议会协议 The Multi-Decree Parliament
其中神会协议用来确定一个值，议会协议用来连续地确定一系列值
确定一个值的神会协议又被成为朴素Paxos协议（也可能是神会协议里面保证了一致性的那一部分被称为朴素Paxos）。
接下来主要分析神会协议的组织。
神会协议用来在分布式环境中确定一个值，保证了一致性和进展性。
分为以下四部分：
1.Mathmatical Results
2.The Preliminary Protocol
3.The Basic Protocol
4.The Complete Synod Protocol
其中，
1.Mathmatical Results
提供了3个重要的数学上的约束条件，然后基于这3个约束给出了一些引理和定理的推导证明。
2.The Preliminary Protocol
直接根据1中的3个约束条件构建了一个协议流程
3.The Basic Protocol
在2的基础上增加了更加严格的约束，保证了一致性的成立，但不保证进展性。
4.The Complete Synod Protocol
在3的基础上进一步增加约束，保证了一致性和进展性的成立。
这篇关于Paxos协议学习---1.总纲的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
