对于使用过Zookeeper的开发人员来说,都应该对ZAB协议有所耳闻。它是为分布式协调服务Zookeeper专门设计的一种支持崩溃恢复的原子广播协议,全称是Zookeeper Atomic Broadcast(Zookeeper原子消息广播协议)。今天就介绍一下ZAB协议主要包括哪些内容,它是如何来实现来保证数据一致性的。
ZAB协议主要包括两种基本的模式,消息广播和崩溃恢复。当整个服务框架在启动的过程中或是当Leader服务器出现中断,退出,重启等异常情况,ZAB协议就会进入恢复模式并选举产生新的Leader服务器。当选举产生了新的Leader服务器,同时集群中已经有过半的机器与该Leader服务器完成了数据同步之后,ZAB协议就会退出恢复模式,进入消息广播模式了。
消息广播
类似于一个二阶段提交协议,不同的是,它移除了中断的逻辑处理。也就是说Follower服务器要么正常反馈Leader提出的事务,要么就抛弃Leader服务器。首先针对客户端的事务请求,Leader服务器会为其生成对应的事务Proposal,并将其广播给所有的Follower服务器,收集各自的选票,最后进行事务的提交。
这里ZAB协议规定了,只要Leader服务器收到了过半的Ack响应,就可以提交事务,并向所有的Follower服务器发送commit消息,通知Follower服务器进行事务提交。在消息广播的过程中,Leader服务器会给Proposal分配一个全局单调递增的唯一ID,我们称之为事务ID(