一致性协议(3)--Paxos算法

Paxos算法是一种基于消息传递且具有高度容错性的一致性算法，是目前公认的解决分布式一致性问题最有效的算法之一。Paxos算法解决的问题是如何在一个可能发生宕机或者网络异常的分布式系统中，快速且正确地在集群内部对某个数据的值达成一致，并且保证不论发生以上任何情况，都不会破坏整个系统的一致性。

提案：由编号和Value组成的组合体。

该算法成立的前提是假设不存在拜占庭将军问题，即消息的内容不会被篡改。在该算法中，有三种角色，用Proposer、Acceptor和Learner表示。一个系统中有一个Proposer、多个Acceptor和多个Learner。Proposer向一个Acceptor集合发送提案，集合中的每个Acceptor都可能会批准该提案，也有可能否决该提案，当有足够多的Acceptor批准这个提案的时候，我们就认为该提案被选定了。

Paxos算法描述：

生成提案：

    1、Proposer选择一个提案编号Mn，然后向Acceptor的超过半数的子集成员发送请求，要求该集合中的Acceptor做出如下回应。

      ● 向Proposer承诺，保证不再批准任何编号小于Mn的提案。

     ● 如果Acceptor批准过任何提案，那么它就会将它已经批准过的最大编号的提案作为响应反馈给Proposer,同时该Acceptor会承诺不会再批准任何编号小于Mn的提案。

    我们将该请求称为编号为Mn的提案的Prepare请求。

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

批准提案：

    一个Acceptor可能会收到来自Proposer的两种请求，分别是Prepare请求和Accept请求。对这两类请求做出响应的条件分别如下：

      ● Prepare请求：Acceptor可以在任何时候响应一个Prepare请求。

      ● Acceptor请求：在不违背Accept现有承诺的前提下，可以任意响应Accept请求。

以上就是Paxos算法的详细讲解。