zookeeper学习笔记之-Paxos算法（二）- Multi-Paxos

最新推荐文章于 2021-08-02 09:06:31 发布

土豆rose

最新推荐文章于 2021-08-02 09:06:31 发布

阅读量292

点赞数

分类专栏： zookeeper学习笔记文章标签： zookeeper

本文链接：https://blog.csdn.net/huanglei_hacker/article/details/107581967

版权

本文深入探讨了Multi-Paxos思想，指出兰伯特提出的Multi-Paxos是一种共识算法的思维方式，而非具体算法。通过引入领导者角色解决了Basic Paxos的冲突和性能问题。Chubby的实现中，领导者通过Basic Paxos选举产生，并在稳定状态下直接跳过准备阶段，提升性能。Chubby还实现了成员变更和强一致性，但所有写操作必须在主节点上执行，限制了并发能力。最后，文章提醒读者注意Multi-Paxos的正确性证明挑战，并推荐使用已证明正确的Raft算法。

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

Basic Paxos 只能就单个值（Value）达成共识，一旦遇到为一系列的值实现共识的时候，它就不管用了。虽然兰伯特提到可以通过多次执行 Basic Paxos 实例（比如每接收到一个值时，就执行一次 Basic Paxos 算法）实现一系列值的共识。但是，很多同学读完论文后，应该还是两眼摸黑，虽然每个英文单词都能读懂，但还是不理解兰伯特提到的 Multi-Paxos，为什么 Multi-Paxos 这么难理解呢？

在我看来，兰伯特并没有把 Multi-Paxos 讲清楚，只是介绍了大概的思想，缺少算法过程的细节和编程所必须的细节（比如缺少选举领导者的细节）。这也就导致每个人实现的 Multi-Paxos 都不一样。不过从本质上看，大家都是在兰伯特提到的 Multi-Paxos 思想上补充细节，设计自己的 Multi-Paxos 算法，然后实现它（比如 Chubby 的 Multi-Paxos 实现、Raft 算法等）。

所以在这里，我补充一下：兰伯特提到的 Multi-Paxos 是一种思想，不是算法。而 Multi-Paxos 算法是一个统称，它是指基于 Multi-Paxos 思想，通过多个 Basic Paxos 实例实现一系列值的共识的算法（比如 Chubby 的 Multi-Paxos 实现、Raft 算法等）。这一点尤其需要你注意。

为了帮你掌握 Multi-Paxos 思想，我会先带你了解，对于 Multi-Paxos 兰伯特是如何思考的，也就是说，如何解决 Basic Paxos 的痛点问题；然后我再以 Chubby 的 Multi-Paxos 实现为例，具体讲解一下。为啥选它呢？因为 Chubby 的 Multi-Paxos 实现，代表了 Multi-Paxos 思想在生产环境中的真正落地，它将一种思想变成了代码实现。