Zookeeper 原理
zookeeper集群尽可能的使用二阶段提交保证强一致性,但最终保证的是最终一致性
选举机制
什么场景下 Zookeeper 需要选举?
当 Zookeeper 集群中的一台服务器出现以下两种情况之一时,需要进入 Leader 选举。
(1)服务器初始化启动。
(2)服务器运行期间 Leader 故障
zookeeper只有在集群下才可以选举,集群节点的数量一般是2n+1,n>0。
选举机制的要素
- zxid:唯一事务ID,每当zk内的数据更新,zxid就会+1,zxid值越大,表示该节点的数据最新
- myid:服务器节点的id
zookeeper集群节点角色
- leader :主节点。接受客户端的请求,并将数据同步到其他节点。即使其他节点接受到写请求,仍然转发到主节点
- follower:从节点。参与leader选举投票
- observer:观察者。只负责处理读请求,不参与投票
选举流程
zookeeper启动时配置文件中并没有指定主从节点,而是在启动后进行选举。每个集群节点都维护了一个投票箱,用来存储选举的节点信息。
模拟三台节点的选举
A节点:myid=1,zxid=100
B节点:myid=2,zxid=100
C节点:myid=2,zxid=100
- 启动A节点,给自己投一票,尝试连接其他节点,发现其他节点未启动,不进行pk,集群状态不可用。
- 启动B节点,给自己投一票,尝试连接其他节点,连接上A节点,和A节点比较zxid,谁的大,则改票,如果zxid相同,则比较myid的大小。当A和B都投票给B时,投票箱内已经有过半节点投票给B,此时B当选leader节点,A为follower节点
- 启动C节点,此时其他节点已确定号选举,C节点为follower节点
同步机制
当leader节点接收到写请求时,进行预提交,会将数据同步到其他节点,并等待follower节点的ACK(Observer不使用二阶段提交),如果收到超过一半的节点ACK之后,会进行commit。写成功之后,再反馈给client。