标签：11 选定 Value V0 容错性 M0 分布式系统 提案 Paxos
Paxos是一种提高分布式系统容错性的一致性算法。
推荐《从 Paxos 到 ZooKeeper 分布式一致性原理与实践》书，概述讲述的更详细一点，
1、问题描述
一致性算法要保证如下几点;
- 在被提出的提案中，只有一个会被选定。
- 没有提案被提出时，不会有提案被选定。
- 当某提案被选定后，进程应该可以获取被选定的提案信息。
- 安全性需求：
- 只有被提出的提案才能被选定。
- 只能有一个值被选定。
- 如果进程认为某个提案被选定了，那么该提案必须是真的被选定那个。
2、提案的选定
当提案被多个Acceptor通过后，我们就认为提案被选定。前提是：每个Acceptor最多只能批准一个提案。
3、Paxos一致性算法的条件
- 一个Acceptor必须批准它收到的第一个提案。（[编号，Value]）
- 如果编号为M0、Value值为V0的提案被选定了，那么所有比编号M0更高的，且被选中的提案，其Value值必须也是V0.（简单来说：就是如果提案被选中，编号M必须最大。）
- a：如果编号为M0，Value值为V0的提案被选定了，那么所有比编号M0更高的，且被Acceptor批准的提案，其Value值必须也是V0。
- b：如果一个提案[M0，V0]被选定后，那么之后任何Proposer产生的编号更高的提案，其Value值都为V0。
标签：11,选定,Value,V0,容错性,M0,分布式系统,提案,Paxos 来源： https://blog.csdn.net/lingyiwin/article/details/113091342
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。