上一章我们相识了zookeeper到底是什么，这一章重点来看zookeeper当初到底面对什么问题？而zookeeper又是如何办理这些问题的？

实际上zookeeper主要就是办理漫衍式情况下的一致性问题。那么办理这个问题到底有哪些难点呢？我们一步一步来叙述和推理这个进程。

漫衍式事务

我们首先思量一致性的非凡环境，即漫衍式事务的环境。漫衍式事务对付一致性的要求是强一致性，因此对付我们后续接头有必然的警惕意义。这里我们用到一个经典的例子：bob给smith转账，强一致性的要求必然是需要对外来说bob减钱的同时smith加钱。见文献1（图片也来历于文献1）

单机情况下是这样的

劳务调派系统业务赔偿" src="http://www.importnew.com/https:/img-blog.csdn.net/20170401110649866?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvbGl3ZWlzbmFrZQ==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/Center" />

简朴讲就是有关bob的减钱和smith的加钱都转同一个库来做，可以回收数据库的事务特性轻松支持。担保bob给smith转账的安详性。

而漫衍式情况就变这样了

劳务调派系统业务赔偿" src="http://www.importnew.com/https:/img-blog.csdn.net/20170401110726569?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvbGl3ZWlzbmFrZQ==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/Center" />

假设应用处事器是A，bob端的数据库是B，smith端的数据是C，那么A做成一个转账，需要B事务乐成提交，而且C事务乐成提交。然而因为网络的影响，大概呈现两种环境

1. 假如bob扣款乐成，而网络通知smith失败了，则会呈现bob的钱减了，smith的钱没加

2. 假如bob扣款不乐成，而smith加钱乐成了，则会呈现smith钱增加了，可是bob的钱也没淘汰

2PC

这种纷歧致的问题困扰着各人。任意一边堕落想要回滚另一边都不是简朴的数据库回滚的工作（ 因为此时已经乐成提交），而是需要做业务的逆向操纵，而差异业务的逆操纵都差异，导致巨大性增加。思量数据库事务的执行实际上是先将执行操纵写入binlog，比及最后通过一个commit指令将binlog的内容一次更新到表中，可能写到一半通过一个rollback指令将binlog中的内容回滚。于是乎，可以想到利用2个阶段来执行这个进程，昆山软件开发，第一阶段，写入binlog；第二阶段执行commit可能rollback。这就是著名的两阶段提交协议（2PC）。假如仔细思量，会发明两阶段协议并没有办理问题，只不外低落了堕落的概率罢了，因为第二阶段同样存在上面的两种环境。留意最终状态是多台呆板的状态&&的 功效。以下是两阶段协议的时序图：

劳务调派系统业务赔偿" src="http://www.importnew.com/https:/img-blog.csdn.net/20170401173602065?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvbGl3ZWlzbmFrZQ==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/Center" />

1. 思量prepare阶段的响应（因为请求阶段和执行阶段都可以在最后响应中浮现出来），对付漫衍式情况中，任意时刻思量3种状态：乐成、失败、超时。

a.乐成。不必处理惩罚，执行后续行为commit。

b.失败。这是执行阶段堕落，执行后续行为rollback。

c.超时。这大概是执行阶段太慢，也大概是网络阶段太慢或丢包，可是守旧处理惩罚，昆山软件开发，超时可以当做堕落。

可以看出，prepare阶段的问题可以或许完全制止。

2. 思量commit阶段，同样思量乐成失败超时3种状态。

a. 乐成。整个事务乐成执行

b. 失败。提交堕落，假设此时前面的B已经提交乐成了，则同样面对需要回滚B却无法回滚的问题，因为B已经提交乐成了。

c. 超时。同上。

尚有一种破例环境，劳务派遣管理系统，即prepare阶段完成后A挂了，则B,C即进入不知所措的状态。

可以看出，在2PC中事务无法做到像单机一样安详，只不外低落了出问题的概率。

3PC

针对如何办理2PC中的破例环境，呈现了3阶段提交协议。3阶段的主要改造是把2阶段的prepare再分为canCommit和preCommit两个阶段。

劳务调派系统业务赔偿" src="http://www.importnew.com/https:/img-blog.csdn.net/20170405111138898?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvbGl3ZWlzbmFrZQ==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/Center" />

1. 思量cancommit阶段的响应。

a.乐成。不必处理惩罚，执行后续行为precommit。

b.失败。说明无法执行，无须后续提交或回滚行为。

c.超时。守旧处理惩罚，超时可以当做失败。

2. 思量precommit阶段的响应。

a.乐成。不必处理惩罚，执行后续行为docommit。

b.失败。执行阶段堕落，执行后续行为rollback。

c.超时。执行阶段太慢，也大概是网络阶段太慢或丢包，可是守旧处理惩罚，超时可以当做堕落。

3. 思量cancommit阶段的响应。

a.乐成。整个事务乐成执行。

b.失败。提交堕落，假设此时前面的B已经提交乐成了，则同样面对无法回滚的问题。