Zookeeper学习之：paxos算法

paxos算法的重要性众所周知，它给如今的分布式一致性提供了迄今为止最好的解决方案。无论是Lamport自己的论文描述，还是网上的诸多资料，对paxos的描述都是及其简洁的，给人的感觉是paxos看似很简单，但是细深究起来又不是那么的具象，因为单纯的文字描述还是略显抽象，因此，我会先分别从文字概念描述和伪代码的方式分别阐述paxos算法的概念思想，对比着看，可以加深对paxos的理解，后期我会结合PhxPaxos代码来进一步探讨paxos工程化过程中一些实践问题。

首先来看paxos算法的文字版描述。

阶段一：

1、Proposal选择一个提案编号为Mn，然后向Acceptor的某个超过半数的子集成员发送编号为Mn的Prepare请求。

2、如果一个Acceptor收到一个编号为Mn的Prepare请求，且编号Mn大于该Acceptor已经响应的Prepare请求的编号，那么它就会将已经批准（accept）的最大编号的提案作为响应反馈给Proposal，同时该Acceptor会承诺不会再批准（accept）任何编号小于Mn的提案。

阶段二：

1、如果Proposal收到来自半数以上的Acceptor对其发出的编号为Mn的Prepare请求的响应，那么它就会发出一个针对[Mn,Vn]提案的Accept请求给Acceptor。注意：Vn的值就是收到的Prepare响应中编号最大的提案的值，如果响应中不包含任何提案，那么它就是任意值。

2、如果Acceptor收到这个针对[Mn,Vn]提案的Accept请求，只要改Acceptor尚未对编号大于Mn的Prepare请求作出响应，它就可以通过这个提案。

注意：

Acceptor是一个集合（即不止一个Acceptor）。之所以要过半，是因为，任意的过半的集合都至少会有一个公共的交集，这适用于分区脑裂等场景。

接下来，看一下paxos的伪代码版本，对照着上面的文字版，会有很好的效果。