zookeeper选主和同步机制

在上篇博文《zookeeper轻松入门》中，已经详细介绍了zookeeper的架构和数据交互的过程。我们已经知道zookeeper的更新操作具有强一致性，而这一过程正是通过leader广播实现的。本篇博文就在此基础上详细介绍一下zookeeper的选举机制的同步机制。

zab协议

Zookeeper的核心是原子广播，这个机制保证了各个Server之间的同步。实现这个机制的协议叫做Zab协议。Zab协议有两种模式，它们分别是恢复模式（选主）和广播模式（同步）。

选主和同步的联系

当服务启动或者在领导者崩溃后，Zab就进入了恢复模式，当领导者被选举出来，且大多数Server完成了和leader的状态同步以后，恢复模式就结束了。
因此，选主得到的leader保证了同步状态的进行，状态同步又保证了leader和Server具有相同的系统状态，当leader失去主权后可以在其他follower中选主新的leader。

为了保证事务的顺序一致性，zookeeper采用了递增的事务id号（zxid）来标识事务。所有的提议（proposal）都在被提出的时候加上了zxid。实现中zxid是一个64位的数字，它高32位是epoch（年号）用来标识leader关系是否改变，每次一个leader被选出来，它都会有一个新的epoch（时期、。纪元），标识当前属于那个leader的统治时期。低32位用于递增计数。

每个Serve