首页 / 算法 / 分布式系统03——一致性算法之Paxos
分布式系统03——一致性算法之Paxos
内容导读
互联网集市收集整理的这篇技术教程文章主要介绍了分布式系统03——一致性算法之Paxos，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1946字，纯文字阅读大概需要3分钟。
内容图文
本文将为各位带来分布式算法中的 Paxos 算法。关注我的公众号「Java面典」，每天 10：24 和你一起了解更多 Java 相关知识点。
一致性算法
在前两篇文章中，已经给各位介绍了分布式事务与分布式事务解决方案。在解决分布式事务时，CAP 三者无法同时满足，往往都会选择一定程度上的牺牲分布式系统的强一致性而满足系统的高可用性。在满足分布式系统的最终一致性时，就需要用到分布式一致性算法。
什么是 Paxos
Paxos 算法解决的问题是一个分布式系统如何就某个值（决议）达成一致。一个典型的场景是，在一个分布式数据库系统中，如果各节点的初始状态一致，每个节点执行相同的操作序列，那么他们最后能得到一个一致的状态。为保证每个节点执行相同的命令序列，需要在每一条指令上执行一个“一致性算法”以保证每个节点看到的指令一致。zookeeper 使用的 zab 算法是该算法的一个实现。 在 Paxos 算法中，有三种角色：Proposer，Acceptor，Learners。
Paxos 的三种角色
Proposer
只要 Proposer 发的提案被半数以上 Acceptor 接受，Proposer 就认为该提案里的 value 被选定了；
Acceptor
只要 Acceptor 接受了某个提案，Acceptor 就认为该提案里的 value 被选定了；
Learner
Acceptor 告诉 Learner 哪个 value 被选定，Learner 就认为那个 value 被选定。
Paxos 算法原理
阶段一（准 leader 确定 ）
(a) Proposer 选择一个提案编号 N，然后向半数以上的 Acceptor 发送编号为 N 的 Prepare 请求；
(b) 如果一个 Acceptor 收到一个编号为 N 的 Prepare 请求，且 N 大于该 Acceptor 已经响应过的所有 Prepare 请求的编号，那么它就会将它已经接受过的编号最大的提案（如果有的话）作为响应反馈给 Proposer，同时该 Acceptor 承诺不再接受任何编号小于 N 的提案。
阶段二（leader 确认）
(a) 如果 Proposer 收到半数以上 Acceptor 对其发出的编号为 N 的 Prepare 请求的响应，那么它就会发送一个针对[N,V]提案的 Accept 请求给半数以上的 Acceptor。注意：V 就是收到的响应中编号最大的提案的 value，如果响应中不包含任何提案，那么 V 就由 Proposer 自己决定；
(b) 如果 Acceptor 收到一个针对编号为 N 的提案的 Accept 请求，只要该 Acceptor 没有对编号大于 N 的 Prepare 请求做出过响应，它就接受该提案。
分布式系统系列推荐
内容总结
以上是互联网集市为您收集整理的分布式系统03——一致性算法之Paxos全部内容，希望文章能够帮你解决分布式系统03——一致性算法之Paxos所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。
内容备注
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。
内容手机端
扫描二维码推送至手机访问。