Paxos算法详细图解
Posted
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Paxos算法详细图解相关的知识,希望对你有一定的参考价值。
1、Paxos算法的应用
Paxos算法及变种算法在分布式系统中应用广泛。
基于Paxos算法的变种有:ZAB、Raft
例如:
? Zookeeper 中的ZAB协议也是Paxos算法的变种。Zookeeper通过ZAB协议实现数据一致性,以提供数据一致性。
? Nutanix 中通过Paxos算法实施元数据在各节点的强一致性。
2、什么是Paxos算法
Paxos算法解决的问题是在一个可能发生消息可能会延迟、丢失、重复的分布式系统中如何就某个值达成一致,保证不论发生以上任何异常,都不会破坏决议的一致性。
这 个“值”可能是一个数据的某,也可能是一条LOG等;根据不同的应用环境这个“值”也不同。
一个典型的场景是,在一个分布式数据库系统中,如果各节点的初始状态一致,每个节点都执行相同的操作序列,那么他们最后能得到一个一致的状态。为保证每个节点执行相同的命令序列,需要在每一条指令上执行一个“一致性算法”以保证每个节点看到的指令一致。
3、Paxos算法的原理
例如:公司商定年会举办的地点,每个人都可以提出建议。在现实环境中我们可以在一个会议室共同讨论或在微信群中讨论(基于内存共享方式);但在基于消息传递的分布式环境中每个人只能通过手机短信与其它人通过。如何在这种会延迟、丢失的环境中确定一个年会举办地点;
Paxos算法是这样解决这个问题:
1、每个人都可以提出建议、同意建议、接受建议
2、少数服从多数。只要建议被多数人同意即可确定该建议。
于是确定以下讨论方式:
1、只有被提出来的建议才能被大家同意。
2、最终只能确定一个建议
3、如果某个人认为大家同意了某 个建议,那么这个建议必须真的是被大家同意的
算法推论:
情况一:如果只有一个人提出建议怎么办?
如果只有一个建议被提出来那么大家必须同这个建议,因为如果不同意这个建议就无法确定一个年会举办地点。
所以得出这样的结论:
P1:每一个人必须同意他收到的第一个建议
基于这样的结论会出现以下问题:
张三给王五发短信说:我建议去上海举办年会!
王五给李四发短信说:我建议去广州举办年会!
李四给张三发短信说:我建议去北京举办年会!
根据P1:每个人必须同意他收到的第一个建议,那么张三、李四、王五最终获得的信息是不一致的。
所以再次规定:一个提议必须被大多数人同意才能生效。
那么说明一个人可以同时同意多个建议,如果一个人可以同时同意多个建议最终可能出现拜占庭将军问题导致最终结果不一致。(例如:张三同意到北京举办也同意到广州举办,那么李四将获得2票一票自己的,一票张三的。他会认为自己获得多数人支持所以就确定最终是到北京举办,同理王五也会同时获得2票,也认为大家最终决定到广州举办);
所以要避免出现这种问题,某个人只要同意的多个提议中的内容相同(公司举办的地址)就不会出现这种问题。
最终协商结果是有2票是到同一个地方,这样就可以确认最终举办地!
那么就会引出 这样的一个结论:
P2:一旦同意某个建议,那么之后同意的建议中提议公司举办年会的地址必须一致。
问题出来了:如何确定什么是“之前”,什么 是“之后”
所以必须为提议分配一个编号,在提议之间建立一个全序关系。
情况二:
当张三、李四、王五三个人确定最终到郑州举办年会后。赵六、孙七2人由于手机没电,没收到通知,当他们2人开机后赵六给孙七发短信提议到海南举办,这个提议是孙七开机后第一次收到的提议,根据P1原则,他必须同意他接收到的第一个提议,所以孙七同意到海南举行年会。但这样就会导致孙七与张三、李四、王五他们确定的举办地点不一致。
为了避免出现以上问题。对P2进行具体说明:
P2a:一旦一个提议被大家同意,那么之后的人再次同意的提议中的公司举办年会的地址必须一致。
也就是说,孙七在开机后同意的第一个提议必须是“到郑州举办”才不会出现信息不一致的现象。但孙七开机后必须得接受第一个提议(P1原则),并且无法干涉提议中的内容(公司举办年会的地址)。所以最好的办法通过某种方式让赵六的提议中的内容与张三、李四同意的地址相同(到郑州举行)。这样孙七同意的第一个提议就是“到郑州举办”
我们再次对P2a进行修改:
P2b:一旦一个提议被大家同意,那么之后的人再次提议,提议中的公司举办年会的地址必须跟之前其它人解决的地址一致。
如何让刚开机的赵六提议的内容必须与张三、李四、王五讨论出来的一致(到郑州举行)?
我们继续对P2b进行强化修改:
P2c:如果有一个编号为N的提议具有V(提议的内容),那么存在一个多数派,要么他们中所有人都没有同意编号小于N的任何提议,要么他们已经同意的所有编号小于N的提案中编号最大的那个提案具有V。
要满足P2c的要求,提议人在提议之前,首先要和多数人通信并获得他们进行的最后一次同意的提议。之后根据反馈的信息决定这次提议的内容,形成提议开始投票!
所以整个投票决议分两个阶段:
1、准备阶段
1、提议人选择一个编号N,并将准备信息发送给多数人。
2、如果收信人收到准备消息后,如果提议的编号大于它已经回复的所有准备信息。那么收信人将自己上次接受的提议内容回复给提议人,并承诺不再回复小于N的提议。
2、同意阶段
1、当一个提议人收到多数人反馈的信息后,就进入同意阶段。它要向反馈给它信息的人再次发送一个请同意该提议的请求。包含编号N和根据P2C决定的提议内容(如果回复中没有反馈他们已经接受过的提议内容,则可以自由决定提议内容)
2、在不违背向其它人承诺的前提下,收到该提议请求后立即同意该请求。
举例说明一下:
假设:只有User1、User2、User3 三个人决定1+1等于几!
1、准备阶段
1、User1 提案编号为1 并发送给User2和User3。
因User2 和User3 根据P2c它们并没有接受过小于编号为1的提案。所以它们可以接受该提议,并反馈给User1 不再接受小于编号1的提案。这时User1收到多数人的回复,将进入第2阶段。(如果收到的回复并不能形成多数人,那么将再次进入阶段1)
2、User2 提案编号为2 ;并发送给User2和User3。
因User1第一次收到提案,并且根据P2C它并没有同意过小于编号为2的提议,所以它可以接受该提议。User3由于接受过User1编号为1的提案,但User2的提案编号2>1所以User3也可以同意User2的提议,并反馈不再接受小于3的提议。User2也收到多数人的回复,将进行第2阶段。
3、User3提案编号为3 ;并发送给user1 和user2 .
因user1收到user3编号为3的提案>user2编号为2的提案,所以接受user3的提案。
因user2收到User3编号为3的提案>user1 编号为1的提案,所以接受user3的提案。
至些user3也收到多数人回复,将进行第2阶段。
阶段2:
1、user1 发送编号为1的提议,提议内容为:1+1=1;并发送给user2和User3 。
由于user2已经声明不再接受小于3的提案,所以拒绝user1的提案。
由于User3已经声明不再接受小于2的提案,所以同样拒绝User1的提案。
User1提议被多数人拒绝,再次进入阶段1.
2、user2 发送编号为2的提议,提议内容为:1+1=2;并发送给User1和User3
由于User1已经声明不再接受小于3的提案,所以拒绝user2的提议。
由于User3已经声明不再接受小于2的提案,该提案编号=2所以user3同意User2的提议。
但User2并没有获得多数人的同意,所以同样进行阶段1.
3、User3 发送编号![](http://i2.51cto.com/images/blog/201803/13/becfe18975159bd17b6a2d918b7d39d8.png?x-oss-process=image/watermark,size_16,text_QDUxQ1RP5Y2a5a6i,color_FFFFFF,t_100,g_se,x_10,y_10,shadow_90,type_ZmFuZ3poZW5naGVpdGk=)为3的提议,提议内容为:1+1=3;并发送给User1和User2;
由于user1声明不再接受小于3的提案,所以同意User3的提议。
由于 user2声明不再接受小于3的提案,所以同意User3的提议。
至此最终User3可以获得多数人的同意。
Paxos算法图解:
在实现环境中会通过一次提议,选择一个Leader。后续所有的提议都只能由Leader提出
4、课后思考
为什么Zookeeper节点通常配置为3、5、7奇数节点?
以上是关于Paxos算法详细图解的主要内容,如果未能解决你的问题,请参考以下文章