paxos算法

        paxos算法的核心是一个一致性算法，也就是论文The Part-Time Parliament中提到的“synod”算法。在一致性算法中，有三种参与角色，我们用Proposer、Acceptpr和Learner来表示。在具体实现中，一个进程可能充当不止一种角色。

阶段一：

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

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

阶段二：

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

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

Learner获取提案（三种方案）

通过选取主Proposer保证算法的活性（两个Proposer分别生成生成提案后陷入死循环）

参考：从paxos到zookeeper