简述Paxos算法

   Paxos算法须要解决的问题就是如何在一个可能发生机器宕机或网络异常的分布式系统中，快速且正确地在集群内部对某个数据的值达成一致。

   Paxos由Acceptor、proposer和leaner三种角色组成

• proposer负责提出提案
• acceptor负责对提案裁决
• leaner负责学习获得的提案

为了不单点故障，会有一个acceptor集合，proposer向该集合发送提案，acceptor集合中的每一个成员都有可能赞成该提案而且每一个acceptor只能批准一个提案，当有一半以上的成员赞成，则赞成该提案。

     Paxos算法分为两个阶段。具体以下：

• 阶段一：

  (a) Proposer选择一个提案编号N，而后向半数以上的Acceptor发送编号为N的Prepare请求。

  (b) 若是一个Acceptor收到一个编号为N的Prepare请求，且N大于该Acceptor已经响应过的全部Prepare请求的编号，那么它就会将它已经接受过的编号最大的提案（若是有的话）做为响应反馈给Proposer，同时该Acceptor承诺再也不接受任何编号小于N的提案。

• 阶段二：

  (a) 若是Proposer收到半数以上Acceptor对其发出的编号为N的Prepare请求的响应，那么它就会发送一个针对[N,V]提案的Accept请求给半数以上的Acceptor。注意：V就是收到的响应中编号最大的提案的value，若是响应中不包含任何提案，那么V就由Proposer本身决定。

  (b) 若是Acceptor收到一个针对编号为N的提案的Accept请求，只要该Acceptor没有对编号大于N的Prepare请求作出过响应，它就接受该提案。