Paxos共识算法

paxos是一族用来解决分布式系统共识的基础算法，共识过程就是在一组节点上达成一个一致的结果。由于节点可能会错误，通讯消息也可能会丢失，所以建立共识是一个比较复杂的过程。

paxos算法的假定

Processors（可理解为节点）

Processor以任意速度运行
Processor可能会出错
Processor失败失败后会重新配置恢复到网络中
Processor不会撒谎或者是违反协议，即不会发生拜占庭错误

Network

一个节点可以给任何其他节点发送消息
消息可以被异步发送，传输过程可以花费任意时间
消息可能会丢失、重复或者是顺序错乱
消息在传输过程中不会被篡改、破坏，即不发生拜占庭错误

节点数量

一般情况下，共识算法用\(2f+1\)各节点，以保证\(f\)个节点发生错误时，系统依然可以正常运作。

Roles(角色)

Paxos算法中根据不同节点的行为将其分为不同的角色：client、proposer、acceptor、learner、leader。在算法实现中，一个节点可以承担一个或多个角色。

Client

Client向分布式系统发起一个请求，并等待回应。比如，在分布式文件系统中，发起一个写文件的请求。
Acceptor

Acceptor被分成组（Quorum），每个组中包含大多数的Acceptor。任何发送给某个acceptor的消息，都必须给组内的任意节点都发该消息。如果一个acceptor收到一个消息，但是该消息的副本没有发送给组内所有的acceptor，那么该消息将会被忽略。
Proposer

提出一个倡议的值，并试图让acceptor在该值达成一致，当出现冲突时，会承担一个协调者的角色
Learned

当达成一致时，动作的执行者。当一个client的请求，被acceptor一致接收，那么learner会执行该请求，并返回。
Leader

一个卓越的Proposer用来推进达成共识的过程。很多节点都可能认为他们自己是leader。

Quorums

理解为一个组，这个组里包括了大多数（超过半数）的acceptor，这样任何两个Quorum都会至少有一个共同的节点。比方说，节点{A,B,C,D}中，然和三个节点都可以组成一个Quorum。可以给每个节点一个权重，一个Quorum中所有节点的权重之和大于50%。

Basic Paxos

共识的过程一般是这样的，client向分布式系统发起一个请求，然后proposer将该请求（proposal）发送给acceptor，当取得一致时候，learner来执行请求。

Proposal的形式是这样的，用一个整数N表示其ID，每个节点发出的proposal的ID是不断增大的，然后proposal的提议值用value表示。

共识过程的建立有以下四个步骤完成

1. Prepare

Proposer先将proposal的ID（用N表示）发送给一个Quorum的acceptor（即发送给大多数节点）。

2. Promise

Acceptor收到Prepare消息，如果消息中的N是目前为止收到的最大的值，那么就会返回一个Promise消息。如果之前有收到更大的N值，那么本次收到的Prepare消息便被忽略。如果本Acceptor节点之前有接受的proposal，那么会在返回的promise消息上，加上之前已接收的proposal的N与value值。

3. Accept Request

如果Proposer收到足够多的promise，那么就需要给该proposal设置value值。如果在收到的promise消息中，有已经被Acceptor接受的proposal，那么会从中选出N值最大的proposal，并用其中的value值设置本次proposal。

然后proposer给一个Quorum的Acceptor发送“Accept Request”消息，消息中包含了本次proposal的ID及value。

4. Accepted

当一个Acceptor收到一个“Accept Request”消息时，只要改accept还没有promise更大的ID的proposal，那么就必须接受该proposal。注册该proposal的Value值，发送一个Accepted消息给Proposer和每一个Learner。

需要注意的是，Acceptor可以接受proposal，这些proposal可能有着不一样的value值。但是，Paxos协议可以保证最终只会在一个值上达成一致。

Paxos过程的消息流程如下图所示：

Client   Proposer      Acceptor     Learner

   |         |          |  |  |       |  |

   X-------->|          |  |  |       |  |  Request

   |         X--------->|->|->|       |  |  Prepare(1)

   |         |<---------X--X--X       |  |  Promise(1,{Va,Vb,Vc})

   |         X--------->|->|->|       |  |  Accept!(1,Vn)

   |         |<---------X--X--X------>|->|  Accepted(1,Vn)

   |<---------------------------------X--X  Response

   |         |          |  |  |       |  |