在上篇博文《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