朴素Paxos算法简介

简介:

        Paxos算法是莱斯利·兰伯特于1990年提出的一种基于消息传递且具有高度容错特性的一致性算法。Paxos协议于1989年首次出版，并以在希腊Paxos岛使用的虚构的立法协商一致制度命名。Paxos通常用于需要持久性的地方(例如，复制一个文件或数据库)，其中持久状态的数量可能很大。因为Paxos算法的强大,很多网络上文章有介绍,也有很多成熟的项目使用该算法,如zookeeper.

       本篇文章只用一个国会法案的提出通过过程,介绍朴素Paxos算法, 更加严谨的数学证明请参考:https://zhuanlan.zhihu.com/p/21438357?refer=lynncui

       网络上paxos过程被分别隔离描述成法官和律师,但是功能与法官和律师有所区别,而且将准备阶段描述成贿选让我第一次接触时候觉得很难理解.所以我会换个场景介绍paxos.

       我们可以把paxos一致性算法的实现,想象成一次在国会中一次提案的提出与审议,这样其实更简单.

算法中角色:

       在该算法中共有两个角色,一个是提案者(Proposer),一个是审议者(Acceptor 接受者,但其并不是无条件接收所有信息,所以译为审议者).提案者负责提出表决的议案(一个需要达成一致的事情),而审议者根据规则判断是否通过.每一个server既可以是提案者,又同时是审议者,这也是为什么我觉得paxos算法中每一个server更像一个议员.因为议员既有提案权,又有表决权.

算法过程:

一个议案的通过(即paxos过程)分为两个阶段:     1.提案准备(共识的讨论)      2.提案发布(共识的发布)

提案准备:

       

        一个议员想要提出议案需要经过半数其余议员同意才能通过提案准备阶段.所以,每个议员在提案准备阶段会产生一个本地提案Id.提案的议员会将这个提案号告知其余所有议员,表明他要提出议案了.

       而收到议案请求的议员会对比一下自己之前是否接收到过提案Id更高的提案请求,如果没有则回复ok,承诺自己将不再接收比该Id更小的请求;如果有就拒绝该议员的提案准备. 

      

       如图1, Id是当前讨论的轮次,Pb是承诺接收该轮次议案,V是上一次接收的议案值,Max是上一次所接收议案的轮次

       下图中议员B接到提案请求后发现提案Id为3大于本地的Pb=2,所以议员B同意了该请求并且将自己Pb置为3;而议员C发现Id=3并不大于本地Pb=3,说明他之前已经承诺过接受提议Id为3的议案,因此拒绝了该请求.

                                        

                                                                        图1:发起准备提案求情过程

       由图中可以看出议员B接收了议员A的提案,返回OK的同时也返回了自己的V和Max.

       那么收到回执的议员A,会有两种情况:一种回执中的Max小于自己的Max,那么议员A会坚持自己之前的提案值V(如图2);

                                         

                                                                         图2,议员B的Max值为小于A的Max值

另一种是回执中的Max大于自己的Max,那么议员A会更改自己的V以及Max(如图3):

                                        

                                                                        图3,议员B的Max值小于A的

       更改提案值这一步非常重要,它保证了每一次取得的共识均不会与之前达成的共识产生冲突,比如这个议案讨论的是谁将是master,B议员显然在前一轮成功的讨论过程中认同了之前收到的议案,即β为master,议员A可能因为网络原因并没有收到.现在议员A网络恢复后继续讨论该议案,与议员B通信后发现原来之前其余议员已经取得过共识V=β,那么现在他就将自己V也设为β.这样就不会与之前达成过的共识冲突,保证了一致性.而且这种类似信息的洪范有有利于整个系统加速收敛为一致状态.

        所以总结出规则,对于接收准备提议请求的议员,只有提议Id大于Pb时候,议员才会接受发过来的准备提议请求.并且把Pb置为该Id.之后返回自己的V以及max值.

       最后,发起提议请求的议员A会对返回的ok计数,如果超过半数则完成了第一阶段的提案准备;反之,议员A会将Id+1后再重复提案准备过程.

提案发布:

       在前一个阶段中,假设议员A获得了过半数票(回执中的OK数大于总人数的一半),则议员A可以进入提案发布过程.

       这一步与图1类似,比较简单.议员A就是将提案Id与V值发布出去,其余议员对比Id,发现与本地Pb一致,那么就接收该V值,反之则拒绝,如下图.

                                                      

                                                                                              图4,提案发

       这时候A收到的回执中只有一个OK,未超过半数,所以Paxos会继续,直到每一个议员收到第二阶段回执中OK超过半数,一次完整的paxos才结束.

       由现在图中的状态,每个议员完成一次paxos之后,最后三个议员的V值一定都是α,具体case就不详细展开.

reference:

Lamport, Leslie (May 1998).  "The Part-Time Parliament". ACM Transactions on Computer Systems. 16 (2): 133–169.  doi: 10.1145/279227.279229. Retrieved 2007-02-02.