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的基础上进一步增加约束，保证了一致性和进展性的成立。