Paxos算法证明

最新推荐文章于 2024-07-27 22:14:50 发布

我是高阳

最新推荐文章于 2024-07-27 22:14:50 发布

阅读量1.2k

点赞数 1

分类专栏：大数据文章标签： paxos 算法 zookeeper

本文链接：https://blog.csdn.net/gyisisgood/article/details/51879630

版权

本文详细解析Paxos算法的正确性证明过程，通过逐步分析算法描述和关键步骤，解释为何在特定条件下，所有选定提案的Value值都将与初始选定提案[M0, V0]相同。讨论了《Paxos Made Simple》中的优化，并证明这些优化并不影响算法的正确性。" 132799702,1430994,Python实现职工管理系统,"['Python', '数据管理']

摘要由CSDN通过智能技术生成

近来看了《从Paxos到zookeeper》一书，文中对于paxos的推导过程，一直看得迷迷糊糊，在网上找了《Paxos Made Simple》论文，才发现，《从Paxos到zookeeper》一书几乎就是对该文的直接翻译，然后又找了一些中文的博客之类的，始终是懂非懂，究其原因，《Paxos Made Simple》并非对于paxos算法的严谨证明，文中多次出现“value值被chosen之后”这种类似的描述，而在分布式系统中，是很难确定事件之间的先后顺序的，文中的推理过程避开了严格的事件先后顺序，所以总给人一种“好像是这样，又好像不太对的感觉”。

现在我们撇开不管如何推导出这个算法，只管如何证明这个算法是正确的即可，重述一下已知条件及目的：

一些名词定义：
Proposer：负责提出一个提案。
Acceptor：负责批准提案。
提案格式：[number,value]其中，number是提案的编号，value是想要被确定的值。
Value值：可以理解为提案的具体内容，如：A/B/C三人投票选班长，A/B/C共有三票，每人都有一个唯一的编号M0-M2,但是其Value值可以相同，例如A和B选B当班长，C选C当班长，这Value值便是B和C，对应的提案便是[M0,B],[M1,B],[M2,C]。
提案选定的条件：超过半数的Acceptor批准（accep