关键词：
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 发送编号为3的提议，提议内容为：1+1=3；并发送给User1和User2;
由于user1声明不再接受小于3的提案，所以同意User3的提议。
由于 user2声明不再接受小于3的提案，所以同意User3的提议。
至此最终User3可以获得多数人的同意。
Paxos算法图解：
在实现环境中会通过一次提议，选择一个Leader。后续所有的提议都只能由Leader提出
4、课后思考
为什么Zookeeper节点通常配置为3、5、7奇数节点？
分布式共识算法——paxos算法（图解）
文章目录PaxosPaxos概念Paxos角色Paxos算法流程Paxos算法两个阶段第一阶段：准备阶段第二阶段：批准阶段总结：图解算法流程举例说明算法流程图解说明一个简单的提案情况1：正常情况两个提案并发进行情况2：S3... 查看详情
图解分布式一致性协议paxos(代码片段)
Paxos协议/算法是分布式系统中比较重要的协议，它有多重要呢？<分布式系统的事务处理>：GoogleChubby的作者MikeBurrows说过这个世界上只有一种一致性算法，那就是Paxos，其它的算法都是残次品。<大规模分布式存储系统>：... 查看详情
paxos协议超级详细解释+简单实例
...details/53768464Paxos协议超级详细解释+简单实例 Basic-Paxos算法(可以先看后面的实际例子再看前面的具体介绍部分）Paxos算法的目的Paxos算法的目的是为了解决分布式环境下一致性的问题。 多个节点并发操纵数据，如... 查看详情
paxos协议超级详细解释+简单实例
...details/53768464Paxos协议超级详细解释+简单实例 Basic-Paxos算法(可以先看后面的实际例子再看前面的具体介绍部分）Paxos算法的目的Paxos算法的目的是为了解决分布式环境下一致性的问题。 多个节点并发操纵数据，如... 查看详情
raft算法（详细版）
参考技术A在分布式系统中，一致性算法至关重要。在所有一致性算法中，Paxos最负盛名，它由莱斯利·兰伯特（LeslieLamport）于1990年提出，是一种基于消息传递的一致性算法，被认为是类似算法中最有效的。Paxos算法虽然很有效，... 查看详情
分布式共识算法——raft算法（图解）(代码片段)
文章目录Raft算法Raft算法概念Raft角色Raft算法流程Raft算法原理角色关系任期原理通信原理图解算法流程选举过程执行操作过程（日志复制）确保安全Leader日志的完整性选民日志的一致性Raft算法Raft算法概念Raft是一种分布式... 查看详情
分布式共识算法——raft算法（图解）(代码片段)
文章目录Raft算法Raft算法概念Raft角色Raft算法流程Raft算法原理角色关系任期原理通信原理图解算法流程选举过程执行操作过程（日志复制）确保安全Leader日志的完整性选民日志的一致性Raft算法Raft算法概念Raft是一种分布式... 查看详情
分布式共识算法——gossip协议（图解）
...型通信方式Gossip协议优点Gossip协议Gossip协议概念说到共识算法，大家首先想到的应该都是Raft、Paxos、Zab算法这类理解起来比较困难的强一致性算法。但是还有一个弱一致性的共识算法比较好理解，Gossip协议。与Paxos和Raft... 查看详情
分布式共识算法——gossip协议（图解）
...型通信方式Gossip协议优点Gossip协议Gossip协议概念说到共识算法，大家首先想到的应该都是Raft、Paxos、Zab算法这类理解起来比较困难的强一致性算法。但是还有一个弱一致性的共识算法比较好理解，Gossip协议。与Paxos和Raft... 查看详情
分布式系列文章——paxos算法原理与推导
....cnblogs.com/linbingdong/p/6253479.html讲得很详细.贴过来 Paxos算法在分布式领域具有非常重要的地位。但是Paxos算法有两个比较明显的缺点：1.难以理解2.工程实现更难。网上有很多讲解Paxos算法的文章，但是质量参差不齐。看了很多... 查看详情
改造paxos算法消灭活锁
...一个不可变变量分布式存储的取值；通过对国内外一致性算法的研究成果和PAXOS协议活锁的分析，发现引入一个角色作为竞争时的代理提交者就可以解决活锁问题,从而在本文引入“代理提交抢占式多数派一致性算法（PPMC）” ... 查看详情
图解paxos一致性协议
转自：http://blog.jobbole.com/106327/前言Paxos一致性协议可以说是一致性协议研究的起点，也以难以理解闻名。其实协议本身并没有多难理解，它的难理解性主要体现在：为何如此设计协议以及如何证明其正确性。本文尝试通过流程图... 查看详情
分布式一致性paxos算法
关于这个算法，写一下简单的总结，后面等demo做到这里时，再做详细介绍首先这个一致性算法最核心的就是俩字：多数分为两个阶段，实际上这些阶段并非需要同步，对于不同的proposer来说，只要达到两个阶段的多数，该提议肯... 查看详情
底层算法系列：paxos算法
关于算法，面太广。本系列只研究实际应用中遇到的核心算法。了解这些算法和应用，对java码农进阶是很有必要的。对于Paxos学习论证过程中，证实一句话：有史以来学习paxos最好的地方wiki：Paxos(computerscience)目录1.背景2.Paxos算... 查看详情
paxos算法
一、简介Paxos算法是莱斯利·兰伯特(LeslieLamport)1990年提出的一种基于消息传递的、具有高容错性的一致性算法。GoogleChubby的作者MikeBurrows说过，世上只有一种一致性算法，那就是Paxos，所有其他一致性算法都是Paxos算法的不完整版... 查看详情
(16)云计算核心算法之paxos算法
...术，支撑集群高效协同工作的需要一系列资源和任务调度算法。这一系列调度算法中，有3种核心算法奠定了集群互连互通的基础，它们是Paxos算法，DHT算法和Gossip协议。其中，Paxos算法解决分布式系统中信息一致性的问题。 P... 查看详情
理解paxos算法的推导过程
...0c;一直都是CS领域的热门话题，Paxos号称是最难理解的算法。最近几天一直在看Paxos相关资料，发现Paxos算法执行过程很简单，但如何推导出Paxos算法确实令人费解。网上有大量关于Paxos的基本概念、算法描述、推导过程... 查看详情
paxos一致性算法
一、概述：GoogleChubby的作者说过这个世界只有一种一致性算法，那就Paxos算法，其他的都是残次品。二、Paxos算法：一种基于消息传递的高度容错性的一致性算法。Paxos：少数服从多数，解决最终一致性问题.三、三种角色：Proposer... 查看详情