Zookeeper选举机制
一、概述
- 在Zookeeper集群刚启动的时候,所有的节点(服务器)都会进入选举状态
- 每一个节点都会推荐自己成为leader,并且会将自己的选举信息发送给其他节点
- 节点之间进行两两比较,经过多轮比较,最终胜出的节点成为leader
二、细节
- 选举信息
- 当前节点(服务器)的最大事务id
- 当前节点的选举编号 - myid
- 逻辑时钟值 - 控制选举轮数
- 比较原则
- 先比较两个节点的最大事务id,谁大谁赢
- 如果最大事务id一致,则比较myid,谁大谁赢
- 如果一个节点能够胜过一半及以上的节点,那么这个节点就会成为leader - 过半性
- 如果Zookeeper集群中已经选举出来一个leader,那么新添节点的事务id或者myid无论是多少,新添的节点都只能成为follower
- 如果leader宕机,Zookeeper集群会重新选举出来一个新的leader
- 在Zookeeper集群中,如果出现了多个leader,这种现象称之为脑裂
- 脑裂的产生条件
- 集群产生了分裂
- 裂完之后进行了选举
- 在Zookeeper中,如果存活(相互通信)的节点个数不足一半,则剩余的节点之间不服务(对内停止选举,对外停止服务) - 无论是否存在leader,只要节点个数不够,则集群就不干活 - 过半性
- 在Zookeeper集群中,节点个数一般是奇数个 - 容易满足过半性
- 在Zookeeper集群中,会给每一次选举出来的leader分配一个递增的编号,称之为epochid。当集群中存在多个leader的时候,那么Zookeeper集群会自动的将较小的epochid对应的节点切换为follower状态
- Zookeeper集群中节点的状态
- voting/looking:选举状态
- follower:追随者/跟随者
- leader:领导者
- observer:观察者
- Zookeeper不是M/S结构 - 主从结构的节点角色往往是在配置文件中指定,不会发生变化