Zookeeper的Paxos算法，（2P/3P/CAP/BASE）一致性协议简单介绍

• 2P/3P提交（为了保证事务的ACID）

2P 就是二段提交（RDBMS经常就这种机制，保证强一致性），3P就是三段提交；

2P提交 -- 1阶段：提交事务请求（投票阶段）

             

2P提交 -- 2阶段：执行事务的提交（commit、rollback的情况）

            

3P提交- 阶段1：是否提交

3P提交- 阶段2：预先提交

3P提交- 阶段3：提交（commit、rollback）

           

             相当于将2p提交的第一步拆解称了两步进行操作；注意在2P和3P提交时只有当最后一步的时候才进行rollback；

• CAP理论（分布式系统遵循的理论）

P     Partition tolerance     分区容错性；

A     Availability                  可用性；

C    Consistency               一致性；

CA （放弃P）：将所有的数据放在一个节点。满足可用性和一致性；

AP （放弃C）：并不是代表放弃一致性，而是使用弱一致性来带表强一致性；

CP （放弃A）：一旦系统出现故障，受影响的服务器需要等待一段时间，在恢复期间无法对外部提供帮助；

• BAST理论

大致可分为：基本可用（bascially available），软状态（soft state），最终一致性（Eventually consistent）；

基本可用：在分布式系统中，允许损失部分可用性；比如服务降级，页面降级等；

软状态：允许分布式中出现中间状态，而且中间状态不影响系统的可用性；比如springCloud的熔断；

最终一致性：经过一段时间数据达成一致；比如项目中一些报表的统计，只在一段时间才会查看的数据；

• Paxos算法

Paxos：多数派决议（最终解决一致性）；

三种角色：

proposer：提交者（议案的提交者）；提交议案，提交批准议案；

Acceptor：接受者（议案的接受者）；接受议案或者驳回议案，返回proposer相关内容

Learner ：学习者；如果产生议案，就学习议案；

设定1：如果Acceptor没有接受议案，那么他必须接受第一个议案

设定2：每个议案比必须有一个编号，并且编号只能增长，不能重复。越往后越大。

设定3：接受编号大的议案，如果小于之前接受议案编号，那么不接受

设定4：议案有2种(提交的议案，批准的议案)

 

 

• Prepare阶段（决议提交）

1. Proposer希望议案V。首先发出Prepare请求至大多数Acceptor。Prepare请求内容为序列号K
2. Acceptor收到Prepare请求为编号K后，检查自己手里是否有处理过Prepare请求。
3. 如果Acceptor没有接受过任何Prepare请求，那么用OK来回复Proposer，代表Acceptor必须接受收到的第一个议案（设定1）
4. 否则，如果Acceptor之前接受过任何Prepare请求（如：MaxN），那么比较议案编号，如果K<MaxN，则用reject或者error回复Proposer
5. 如果K>=MaxN，那么检查之前是否有批准的议案，如果没有则用OK来回复Proposer，并记录K
6. 如果K>=MaxN，那么检查之前是否有批准的议案，如果有则回复批准的议案编号和议案内容（如：<AcceptN, AcceptV>， AcceptN为批准的议案编号，AcceptV为批准的议案内容）

 

• Accept阶段（批准阶段）

1. Proposer收到过半Acceptor发来的回复，回复都是OK，且没有附带任何批准过的议案编号和议案内容。那么Proposer继续提交批准请求，不过此时会连议案编号K和议案内容V一起提交（<K, V>这种数据形式）
2. Proposer收到过半Acceptor发来的回复，回复都是OK，且附带批准过的议案编号和议案内容（<pok，议案编号，议案内容>）。那么Proposer找到所有回复中超过半数的那个（假设为<pok，AcceptNx，AcceptVx>）作为提交批准请求（请求为<K，AcceptVx>）发送给Acceptor。
3. Proposer没有收到过半Acceptor发来的回复，则修改议案编号K为Kx，并将编号重新发送给Acceptors（重复Prepare阶段的过程）
4. Acceptor收到Proposer发来的Accept请求，如果编号K<MaxN则不回应或者reject。
5. Acceptor收到Proposer发来的Accept请求，如果编号K>=MaxN则批准该议案，并设置手里批准的议案为<K，接受议案的编号，接受议案的内容>，回复Proposer。
6. 经过一段时间Proposer对比手里收到的Accept回复，如果超过半数，则结束流程（代表议案被批准），同时通知Leaner可以学习议案。
7. 经过一段时间Proposer对比手里收到的Accept回复，如果未超过半数，则修改议案编号重新进入Prepare阶段。

在Paxos算法面前，其他（包括2P、3P）都是渣渣，都是残次品。Google Chubby的作者Mike Burrows说过这个世界上只有一种一致性算法，那就是Paxos，其它的算法都是残次品。

• 对于Paxos的例子可以了解一下拜占庭将军问题

拜占庭帝国就是5~15世纪的东罗马帝国，拜占庭即现在土耳其的伊斯坦布尔。我们可以想象，拜占庭军队有许多分支，驻扎在敌人城外，每一分支由各自的将军指挥。将军们智能靠通讯员进行通讯。在观察敌人以后，忠诚的将军们必须制订一个统一的行动计划——进攻或者撤退。然而，这些将军冢有叛徒，他们不希望忠诚的将军们能达成一致，因而影响统一行动计划的制订与传播。

问题是：将军们必须有一个协议，使所有忠诚的将军们能够达成一致，而且少数几个叛徒不能使忠诚的将军们作出错误的计划——使有些将军进攻而另一些将军撤退。

如果这11位将军中有间谍呢? 假设有9位忠诚的将军，5位判断进攻，4位判断撤退，还有2个间谍恶意判断撤退，虽然结果是错误的撤退，但这种情况完全是允许的。因为这11位将军依然保持着状态一致性。

 

1.11位将军进攻城池

2.同时进攻（议案、决议）、同时撤退（议案、决议）

3.不管撤退还是进攻，必须半数的将军统一意见才可以执行

4.将军里面有叛徒，会干扰决议生成

 

• 先后提议的场景（在网上找到的交叉场景的图，感觉挺清晰）

角色：

proposer：参谋1，参谋2

acceptor：将军1，将军2，将军3（决策者）

 

1. 参谋1发起提议，派通信兵带信给3个将军，内容为（编号1）；
2. 3个将军收到参谋1的提议，由于之前还没有保存任何编号，因此把（编号1）保存下来，避免遗忘；同时让通信兵带信回去，内容为（ok）；
3. 参谋1收到至少2个将军的回复，再次派通信兵带信给3个将军，内容为（编号1，进攻时间1）；
4. 3个将军收到参谋1的时间，把（编号1，进攻时间1）保存下来，避免遗忘；同时让通信兵带信回去，内容为（Accepted）；
5. 参谋1收到至少2个将军的（Accepted）内容，确认进攻时间已经被大家接收；
6. 参谋2发起提议，派通信兵带信给3个将军，内容为（编号2）；
7. 3个将军收到参谋2的提议，由于（编号2）比（编号1）大，因此把（编号2）保存下来，避免遗忘；又由于之前已经接受参谋1的提议，因此让通信兵带信回去，内容为（编号1，进攻时间1）；
8. 参谋2收到至少2个将军的回复，由于回复中带来了已接受的参谋1的提议内容，参谋2因此不再提出新的进攻时间，接受参谋1提出的时间；

 

 

• 交叉场景（在网上找到的交叉场景的图，感觉挺清晰）

proposer：参谋1，参谋2

acceptor：将军1，将军2，将军3（决策者）

 

1. 参谋1发起提议，派通信兵带信给3个将军，内容为（编号1）；
2. 3个将军的情况如下

1. 将军1和将军2收到参谋1的提议，将军1和将军2把（编号1）记录下来，如果有其他参谋提出更小的编号，将被拒绝；同时让通信兵带信回去，内容为（ok）；
2. 负责通知将军3的通信兵被抓，因此将军3没收到参谋1的提议；
3. 参谋2在同一时间也发起了提议，派通信兵带信给3个将军，内容为（编号2）；
4. 3个将军的情况如下：（a）将军2和将军3收到参谋2的提议，将军2和将军3把（编号2）记录下来，如果有其他参谋提出更小的编号，将被拒绝；同时让通信兵带信回去，内容为（ok）；（b）负责通知将军1的通信兵被抓，因此将军1没收到参谋2的提议；
5. 参谋1收到至少2个将军的回复，再次派通信兵带信给有答复的2个将军，内容为（编号1，进攻时间1）；
6. 2个将军的情况如下：（a）将军1收到了（编号1，进攻时间1），和自己保存的编号相同，因此把（编号1，进攻时间1）保存下来；同时让通信兵带信回去，内容为（Accepted）；（b）将军2收到了（编号1，进攻时间1），由于（编号1）小于已经保存的（编号2），因此让通信兵带信回去，内容为（Rejected，编号2）；
7. 参谋2收到至少2个将军的回复，再次派通信兵带信给有答复的2个将军，内容为（编号2，进攻时间2）；
8. 将军2和将军3收到了（编号2，进攻时间2），和自己保存的编号相同，因此把（编号2，进攻时间2）保存下来，同时让通信兵带信回去，内容为（Accepted）；
9. 参谋2收到至少2个将军的（Accepted）内容，确认进攻时间已经被多数派接受；
10. 参谋1只收到了1个将军的（Accepted）内容，同时收到一个（Rejected，编号2）；参谋1重新发起提议，派通信兵带信给3个将军，内容为（编号3）；
11. 3个将军的情况如下:(a)将军1收到参谋1的提议，由于（编号3）大于之前保存的（编号1），因此把（编号3）保存下来；由于将军1已经接受参谋1前一次的提议，因此让通信兵带信回去，内容为（编号1，进攻时间1）；(b)将军2收到参谋1的提议，由于（编号3）大于之前保存的（编号2），因此把（编号3）保存下来；由于将军2已经接受参谋2的提议，因此让通信兵带信回去，内容为（编号2，进攻时间2）；（c）负责通知将军3的通信兵被抓，因此将军3没收到参谋1的提议；
12. 参谋1收到了至少2个将军的回复，比较两个回复的编号大小，选择大编号对应的进攻时间作为最新的提议；参谋1再次派通信兵带信给有答复的2个将军，内容为（编号3，进攻时间2）；
13. 将军1和将军2收到了（编号3，进攻时间2），和自己保存的编号相同，因此保存（编号3，进攻时间2），同时让通信兵带信回去，内容为（Accepted）；
14. 参谋1收到了至少2个将军的（accepted）内容，确认进攻时间已经被多数派接受。