Zookeeper选举机制

Zookeeper选举机制

一、概述

1. 在Zookeeper集群刚启动的时候，所有的节点(服务器)都会进入选举状态
2. 每一个节点都会推荐自己成为leader，并且会将自己的选举信息发送给其他节点
3. 节点之间进行两两比较，经过多轮比较，最终胜出的节点成为leader

二、细节

1. 选举信息

• 当前节点（服务器）的最大事务id
• 当前节点的选举编号 - myid
• 逻辑时钟值 - 控制选举轮数

2. 比较原则

• 先比较两个节点的最大事务id，谁大谁赢
• 如果最大事务id一致，则比较myid，谁大谁赢
• 如果一个节点能够胜过一半及以上的节点，那么这个节点就会成为leader - 过半性

3. 如果Zookeeper集群中已经选举出来一个leader，那么新添节点的事务id或者myid无论是多少，新添的节点都只能成为follower
4. 如果leader宕机，Zookeeper集群会重新选举出来一个新的leader
5. 在Zookeeper集群中，如果出现了多个leader，这种现象称之为脑裂
6. 脑裂的产生条件

• 集群产生了分裂
• 裂完之后进行了选举

7. 在Zookeeper中，如果存活(相互通信)的节点个数不足一半，则剩余的节点之间不服务(对内停止选举，对外停止服务) - 无论是否存在leader，只要节点个数不够，则集群就不干活 - 过半性
8. 在Zookeeper集群中，节点个数一般是奇数个 - 容易满足过半性
9. 在Zookeeper集群中，会给每一次选举出来的leader分配一个递增的编号，称之为epochid。当集群中存在多个leader的时候，那么Zookeeper集群会自动的将较小的epochid对应的节点切换为follower状态
10. Zookeeper集群中节点的状态

• voting/looking：选举状态
• follower：追随者/跟随者
• leader：领导者
• observer：观察者

11. Zookeeper不是M/S结构 - 主从结构的节点角色往往是在配置文件中指定，不会发生变化