Zookeeper Leader选举
Zookeeper Leader选举
Leader 服务器的作用是管理 ZooKeeper 集群中的其他服务器。因此,如果是单独一台服务器,不构成集群规模。在 ZooKeeper 服务的运行中不会选举 Leader 服务器,也不会作为 Leader 服务器运行。
在前面,我们说过在 ZooKeeper 集群中将服务器分成 Leader
、Follow
、Observer
三种角色服务器,在集群运行期间这三种服务器所负责的工作各不相同:
- Leader 角色服务器负责管理集群中其他的服务器,是集群中工作的分配和调度者。
- Follow 服务器的主要工作是选举出 Leader 服务器,在发生 Leader 服务器选举的时候,系统会从 Follow 服务器之间根据多数投票原则,选举出一个 Follow 服务器作为新的 Leader 服务器。
- Observer 服务器则主要负责处理来自客户端的获取数据等请求,并不参与 Leader 服务器的选举操作,也不会作为候选者被选举为 Leader 服务器。
本文主要对"Leader 服务器是如何产生的"分析。
1.Leader 服务器的选举原理
一个 ZooKeeper 服务要想满足集群方式运行,至少需要三台服务器。本课时我们就以三台服务器组成的 ZooKeeper 集群为例,介绍一下 Leader 服务器选举的内部过程和底层实现。
1.1 服务启动时的 Leader 选举
Leader 服务器的选举操作主要发生在两种情况下。
第一种就是 ZooKeeper 集群服务启动的时候
第二种就是在 ZooKeeper 集群中旧的 Leader 服务器失效时
这时 ZooKeeper 集群需要选举出新的 Leader 服务器。我们先来介绍在 ZooKeeper 集群服务最初启动的时候,Leader 服务器是如何选举的。
在 ZooKeeper 集群启动时,需要在集群中的服务器之间确定一台 Leader
服务器。当 ZooKeeper
集群中的三台服务器启动之后,首先会进行通信检查,如果集群中的服务器之间能够进行通信。集群中的三台机器开始尝试寻找集群中的
Leader 服务器并进行数据同步等操作。如何这时没有搜索到 Leader
服务器,说明集群中不存在 Leader 服务器。这时 ZooKeeper 集群开始发起
Leader 服务器选举。在整个 ZooKeeper 集群中 Leader
选举主要可以分为三大步骤分别是:发起投票
、接收投票
、统计投票
。
1.1.1 发起投票
我们先来看一下发起投票的流程,在 ZooKeeper
服务器集群初始化启动的时候,集群中的每一台服务器都会将自己作为 Leader 服务器进行投票
。也就是每次投票时,发送的服务器的
myid(服务器标识符)和 ZXID
(集群投票信息标识符)等选票信息字段都指向本机服务器。
而一个投票信息就是通过这两个字段组成的。以集群中三个服务器
Serverhost1
、Serverhost2
、Serverhost3
为例。
因为是初始化阶段,每一台服务器都会将自己作为leader服务器来投票,所以三个服务器的投票内容分别是:Severhost1 的投票是(1,0)、Serverhost2 服务器的投票是(2,0)、Serverhost3 服务器的投票是(3,0)。
myid:server都会有一个用于惟一标识自己的id
zxid:事务id,初始为0
1.1.2 接收投票
集群中各个服务器在发起投票的同时,也通过网络接收来自集群中其他服务器的投票信息。在接收到网络中的投票信息后,服务器内部首先会判断该条投票信息的有效性。检查该条投票信息的时效性,是否是本轮最新的投票,并检查该条投票信息是否是处于 LOOKING 状态的服务器发出的。
1.1.3 处理投票
在接收到投票后,ZooKeeper 集群就该处理和统计投票结果了。在接收到来自其它服务器的投票后,针对每一个投票,服务器都需要将别人的投票和自己的投票进行pk,pk的规则如下:
- 优先检查ZXID,ZXID 数值比较大的投票信息优先作为 Leader 服务器。
- 如果每个投票信息中的 ZXID 相同,就会接着比对投票信息中的 myid 信息字段,选举出 myid 较大的服务器作为 Leader 服务器。
拿上面列举的三个服务器组成的集群例子来说,对于 Serverhost1:
他自己的投票信息是(1,0),该服务器接收到的 Serverhost2 服务器的投票信息是(2,0)。在 ZooKeeper 集群服务运行的过程中,首先会对比 ZXID,发现结果相同之后,对比 myid,发现 Serverhost2 服务器的 myid 比较大,于是更新自己的投票信息为(2,0),并重新向 ZooKeeper 集群中的服务器发送新的投票信息。而 Serverhost2 服务器则保留自身的投票信息,不需要更新自己的投票信息,只是再一次向集群中的所有机器发出上一次投票信息即可。
1.1.4 统计投票
每轮投票过后,ZooKeeper
服务都会统计集群中服务器的投票结果,判断是否有过半数的机器投出一样的信息
。如果存在过半数投票信息指向的服务器,那么该台服务器就被选举为
Leader 服务器。比如上面我们举的例子中,ZooKeeper 集群会选举 Severhost2
服务器作为 Leader 服务器。
1.1.5 改变服务器状态
一旦确定了leader,每个服务器就会更新自己的状态,如果是Follower,那么就变更为Following,并且会与:Leader进行数据同步。如果是Leader,就变更为Leading。
1.2 服务器运行时期的Leader选举
除了ZooKeeper 集群启动时 Leader 服务器的选举方法以外,还存在 ZooKeeper 集群服务的运行过程中,Leader 服务器进行选举。
在集群中,一旦Leader确定后,集群中的角色一般不会再发生变化,即使是非Leader集群挂了或者有新的服务器加入也不会有影响,但是当Leader发生宕机了。那么整个集群则无法对外提供服务。则会进入新的Leader选举
。ZooKeeper
集群在重新选举 Leader
时也经过了四个过程(也可以叫5个过程:统计投票包含处理投票),分别是变更服务器状态
、发起投票
、接收投票
、统计投票
。其中,与初始化启动时
Leader
服务器的选举过程相比,变更状态和发起投票这两个阶段的实现是不同的。下面我们来分别看看这两个阶段。
现在假设有3台服务器:Severhost1、Severhost2 、Severhost3 ,当前Leader为Severhost2 且已经挂掉。此时开始Leader选举。
1.2.1 变更状态
当 Leader 服务器崩溃后 ,ZooKeeper 集群中的其他服务器会首先将自身的状态信息变为 LOOKING 状态,该状态表示服务器已经做好选举新 Leader 服务器的准备了,这之后整个 ZooKeeper 集群开始进入选举新的 Leader 服务器过程。
1.2.2 发起投票
ZooKeeper 集群重新选举 Leader 服务器的过程中发起投票的过程与初始化启动时发起投票的过程基本相同。首先每个集群中的服务器都会投票给自己,将投票信息中的 Zxid 和 myid 分别指向本机服务器。
在这个过程中,需要生成投票信息(myid, zxid),因为是运行期间,因此每个服务器上的zxid可能不同,我们假定Severhost1的zxid为123,而Severhost3 的zxid为122.在第一轮投票中,Severhost1和Severhost3 都会投给自己,即分别产生投票(1, 123)和(3, 122),然后各自将这个投票发给集群中的所有机器。
2.底层实现
进行 Leader 头节点的选举操作。而在 ZooKeeper 中提供了三种 Leader
选举算法,分别是 LeaderElection
、AuthFastLeaderElection、FastLeaderElection。在后面的版本中,只支持
快速选举
这一种算法。
在代码层面的实现中,QuorumCnxManager 作为核心的实现类,用来管理 Leader 服务器与 Follow 服务器的 TCP 通信,以及消息的接收与发送等功能。在 QuorumCnxManager 中,主要定义了 ConcurrentHashMap<Long, SendWorker> 类型的 senderWorkerMap 数据字段,用来管理每一个通信的服务器。
1 |
|
而在 QuorumCnxManager 类的内部,定义了 RecvWorker 内部类。该类继承了一个 ZooKeeperThread 类的多线程类。主要负责消息接收。在 ZooKeeper 的实现中,为每一个集群中的通信服务器都分配一个 RecvWorker,负责接收来自其他服务器发送的信息。在 RecvWorker 的 run 函数中,不断通过 queueSendMap 队列读取信息。
1 |
|
除了接收信息的功能外,QuorumCnxManager 内还定义了一个 SendWorker 内部类用来向集群中的其他服务器发送投票信息。如下面的代码所示。在 SendWorker 类中,不会立刻将投票信息发送到 ZooKeeper 集群中,而是将投票信息首先插入到 pollSendQueue 队列,之后通过 send 函数进行发送。
1 |
|
实现了投票信息的发送与接收后,接下来我们就来看看如何处理投票结果。在 ZooKeeper 的底层,是通过 FastLeaderElection 类实现的。如下面的代码所示,在 FastLeaderElection 的内部,定义了最大通信间隔 maxNotificationInterval、服务器等待时间 finalizeWait 等属性配置。
1 |
|
在 ZooKeeper 底层通过 getVote 函数来设置本机的投票内容,如下图面的代码所示,在 getVote 中通过 proposedLeader 服务器信息、proposedZxid 服务器 ZXID、proposedEpoch 投票轮次等信息封装投票信息。
1 |
|
在完成投票信息的封装以及投票信息的接收和发送后。一个 ZooKeeper 集群中,Leader 服务器选举底层实现的关键步骤就已经介绍完了。 Leader 节点的底层实现过程的逻辑相对来说比较简单,基本分为封装投票信息、发送投票、接收投票等。
3.🍪
崩溃的 Leader 服务器是否会参与本次投票,以及是否能被重新选举为 Leader 服务器?
这主要取决于在选举过程中旧的 Leader 服务器的运行状态。如果该服务器可以正常运行且可以和集群中其他服务器通信,那么该服务器也会参与新的 Leader 服务器的选举,在满足条件的情况下该台服务器也会再次被选举为新的 Leader 服务器。
4.Read more
:lollipop:: ZooKeeper 究竟是怎么选中 Leader 的?
博客说明
文章所涉及的资料来自互联网整理和个人总结,意在于个人学习和经验汇总,不用于任何的商业用途。如有侵权,请联系本人删除。谢谢!