上一篇深入理解zab协议崩溃恢复的过程说过zab协议Leader的四个阶段:选举、发现、同步、广播。
- 选举:选出新Leader
- 发现:Follower发现新Leader
- 同步:Leader同步Follower数据(恢复已提交数据和丢弃未提交数据)
- 广播:即zookeeper集群恢复正常,可以对客户端的事务请求进行广播。
这是概念上的四个阶段,在java的实现版本中,只有三个阶段,分别是:
选举阶段、恢复阶段、广播阶段。实际上,恢复阶段可以视作是同步阶段,省略了发现阶段。
这是因为zookeeper采用的Fast Leader Election(FLE)——快速选举算法。
我们先了解一些概念。
在zookeeper中,每个操作与节点都有一个事务版本号:zxid(代表了这个操作的顺序与这个节点所处的时期)。zxid是一个64位的整数,前32位代表周期epoch,后32位是一个计数器,代表在这个周期内leader进行了多少次事务操作。每当新选举出一个Leader,epoch周期就加1。跟古代皇帝一样,老皇帝驾崩了,新皇帝登基就要迭代年号。每个Follower节点会保存一个proposal的日志history,history记录了节点目前执行过的proposal。
知道了zxid是事务版本号,zxid前32位代表了epoch,后32位代表计数器以及节点的history之后,我们就来正式讲FLE算法。
FLE 会选举拥有最新Proposal history 即lastzxid最大的节点作为 Leader,这样就省去了发现最新提议的步骤(lastzxid:history 中最近接收到的Proposal 的 zxid)。基于拥有最新提议的节点也拥有最新的提交记录。
核心过程如下:
1. 自增选举轮次。Zookeeper规定所有有效的投票都必须在同一轮次中,在开始新一轮投票时,会首先对logicalclock进行自增操作。
2. 初始化选票。在开始进行新一轮投票之前,每个服务器都会初始化自身的选票,并且在初始化阶段,每台服务器都会将自己推举为Leader。
3. 发送初始化选票。完成选票的初始化后,服务器就会发起第一次投票。Zookeeper会将刚刚初始化好的选票放入发送队列sendqueue中,由发送器WorkerSender负责发送出去。
4. 接收外部投票。每台服务器会不断地从接收队列recvqueue队列中获取外部选票。如果服务器发现无法获取到任何外部投票,那么就会立即确认自己是否和集群中其他服务器保持着有效的连接,如果没有连接,则马上建立连接,如果已经建立了连接,则再次发送自己当前的内部投票。
5. 判断选举轮次。在发送完初始化选票之后,接着开始处理外部投票。在处理外部投票时,会根据选举轮次来进行不同的处理。
· 外部投票的选举轮次大于内部投票。若服务器自身的选举轮次落后于该外部投票对应服务器的选举轮次,那么就会立即更新自己的选举轮次(logicalclock),并且清空所有已经收到的投票,然后使用初始化的投票来进行PK以确定是否变更内部投票。最终再将内部投票发送出去。
· 外部投票的选举轮次小于内部投票。若服务器接收的外选票的选举轮次落后于自身的选举轮次,那么Zookeeper就会直接忽略该外部投票,不做任何处理,并返回步骤4。
· 外部投票的选举轮次等于内部投票。此时可以开始进行选票PK。
6. 选票PK。在进行选票PK时,符合任意一个条件就需要变更投票。
若外部投票中推举的Leader服务器的选举轮次大于内部投票,那么需要变更投票。
若选举轮次一致,那么就对比两者的ZXID(先比较epoch,再比较计数器),若外部投票的ZXID大,那么需要变更投票。
若两者的ZXID一致,那么就对比两者的server id,若外部投票的SID大,那么就需要变更投票。
7. 变更投票。经过PK后,若确定了外部投票优于内部投票,那么就变更投票,即使用外部投票的选票信息来覆盖内部投票,变更完成后,再次将这个变更后的内部投票发送出去。
8. 选票归档。无论是否变更了投票,都会将刚刚收到的那份外部投票放入选票集合recvset中进行归档。recvset用于记录当前服务器在本轮次的Leader选举中收到的所有外部投票。例如:Server_2 投票给 Server_3,Server_3 投票给 Server_1,则Server_1的投票箱为(2,3)、(3,1)、(1,1)。(每个服务器都会默认给自己投票)。
9. 统计投票。完成选票归档后,就可以开始统计投票,统计投票是为了统计集群中是否已经有过半的服务器认可了当前的内部投票,如果确定已经有过半服务器认可了该投票,则终止投票。否则返回步骤4。
10. 更新服务器状态。若已经确定可以终止投票,那么就开始更新服务器状态,服务器首选判断当前被过半服务器认可的投票所对应的Leader服务器是否是自己,若是自己,则将自己的服务器状态更新为LEADING,若不是,则根据具体情况来确定自己是FOLLOWING或是OBSERVING。
以上10个步骤就是FastLeaderElection的核心,其中步骤4-9会经过几轮循环,直到有Leader选举产生。