zoukankan      html  css  js  c++  java
  • Zookeeper的领导选举算法

    1.Leader选举

      Leader选举是保证分布式数据一致性的关键所在。当Zookeeper集群中的一台服务器出现以下两种情况之一时,需要进入Leader选举:

      1:服务器初始化启动

      2:Leader挂掉

    2.服务器启动时期的Leader选举

      若进行Leader选举,则至少需要两台机器,这里选取3台机器组成的服务器集群为例,在集群初始化阶段,当有一台服务器server1启动时,其单独无法进行和完成Leader选举,当第二台服务器Server2启动时,此时两台机器可以相互通信,每台机器都试图找到Leader,于是进入Leader选举过程,选举过程如下:

      1.每个Server发出一个投票,由于是初始情况,Server1和Server2都会将自己作为Leader服务器来进行投票,每次投票都会包含所推举的服务器的myId和Zxid,使用(myId,Zxid)来表示,此时Server1的投票为(1,0),Server2的投票为(2,0),然后各自将这个投票发给集群中其他机器。

      2.接受来自各个服务器的投票,集群中的每个服务器收到投票后,首先判断该投票的有效性,如检是否是本轮投票(检查Zxid),是否来自LOOKING状态的服务器。

      3.处理投票,针对每一个投票,服务器都需要将别人的投票和自己的投票进行PK,PK规则如下:

        3.1:优先检查Zxid,Zxid比较大的服务器优先作为Leader。

        3.2:如果Zxid相同,那么就比较myId,myId大的服务器作为Leader服务器。

        3.3:对于Server1而言,它的投票是(1,0),接收Server2的投票是(2,0),首先会比较两者的Zxid,均为0,再比较myId,此时Server2的myId比较大,于是更新自己的投票为(2,0),然后重新投票,对于Server2而言,其无需更新自己的投票,只是再次向集群中所有的机器发出上一次投票信息即可。

        3.4:统计投票,每次投票后,服务器都会统计投票信息,判断是否已经有过半机器接受到相同的投票信息,对于Server1,Server2而言,都统计出集群中已经有两台机器接受了(2,0)的投票信息,此时便认为已经选出来了Leader。

        3.5:改变服务器状态,一旦确定了Leader,每个服务器就会更新自己的状态,如果是Follower,那么就变更为FOLLOWING,如果是Leader,就变更为LEADING。

    3.服务运行时的Leader选举

      在Zookeeper运行期间,Leader与非Leader服务器各司其职,即便当有非Leader服务器宕机或者新加入,此时也不会影响Leader,但是一旦Leader服务器挂了,那么整个集群将暂停对外服务,或者Follower挂掉了导致进入新一轮Leader选举,其过程和启动时期的Leader选举过程基本一致。假设正在运行的有Server1,Server2和Server3三台服务器,当前Leader是Server2,若某一时刻Leader挂掉了,此时便开始Leader选举,选举过程如下:

      1.变更状态:Leader挂了之后,余下的服务器都会将自己的服务状态变更为LOOKING,然后,开始进入Leader选举过程,这个时候可以开启只读模式让服务器可以读数据。

      2.每个Server会发出一个投票:在运行期间,每个服务器上的Zxid可能不同,此时假设Server1的Zxid为123,Server3的Zxid为122,在新一轮投票中,Server1和Server3都会投自己,产生投票(1,123),(3,122),然后各自将投票发给集群中的所有机器。

      3.接收来自各个服务器的投票:与启动时过程相同。

      4.处理投票:与启动过程相同,此时,Server1将会成为Leader(只是投票为Leader阶段,真正修改为Leader状态在第六步)

      5.统计投票:与启动过程相同。

      6.改变服务器的状态:与启动过程相同。

    4.Leader选举实现细节:--》服务器状态

      服务器具有四种状态,分别是LOOKING ,FOLLOWING, LEADING, OBSERVING.

      LOOKIING:寻找Leader状态,当服务器处于该状态时,它会认为当前集群中没有Leader,因此需要进入Leader选举状态。

      FOLLOWING:跟随者状态,表名当前服务器的角色是Follower。

      LEADING:领导者状态,表名当前服务器角色是Leader。

      OBSERVING:观察者状态,表名当前服务器角色是Observer。

    5.Leader选举实现细节:--》投票数据结构

      每个投票中包含了两个最基本的信息,所推举服务器的sid和Zxid,投票(Vote)在Zookeeper中包含字段如下:

      id:被推举的Leader的sid

      Zxid:被推举的Leader的事务id

      electionEpoch:逻辑时钟,用来判断多个投票是否在同一轮选举周期中。该值在服务端是一个自增序列,每次进入新一轮的投票后,都会对该值进行加1操作。

      peerEpoch:被推举的Leader的epoch。

      state:当前服务器的状态。

    6.Leader选举实现细节:--》QuorumCnxManager

      每台服务器在启动的过程中,会启动一个QuorumCnxManager,负责每台服务器之间的底层Leader选举过程中的网络通信,对应的类就是QuorumCnxManager。

      1.消息队列:QuorumCnxManager内部维护了一系列的队列,用来保存接收到的,待发送的消息以及消息的发送器,除接收队列以外,其他队列都按照sid分组形成队列集合,如一个集群中除了自身还有3台机器,那么就会为这3台机器分别创建一个发送队列,互不干扰。

        1.1:recvQueue:消息接收队列,用于存放哪些从其他服务器接收到的消息。

        1.2:queueSendMap:消息发送队列,用于保存哪些待发送的消息,按照sid进行分组。

        1.3:senderWorkerMap:发送器集合,每个senderWorker消息发送器,都对应一台远程Zookeeper服务器,负责消息的发送,也按照sid进行分组。

        1.4:lastMessageSent:最近发送过的消息,为每个sid保留最近发送过的一个消息。

      2.建立连接:为了能够互相投票,Zookeeper集群中的所有机器都需要两两建立起网络连接,QuorumCnxManager在启动时会创建一个ServerSocket来监听Leader选举的通信端口(默认3888),开启监听后,Zookeeper能够不断的接收来自其他服务器的创建连接请求,在接收到其他服务器的tcp连接请求时,会进行处理,为了避免两台机器之间重复的创建tcp连接,Zookeeper只允许sid大的服务器主动和其他服务器建立连接,否则断开连接,在接收到创建连接请求后,服务器通过对比自己和远程服务器的sid值来判断是否接收连接请求,如果当前服务器发现自己的sid更大,那么会断开当前连接,然后自己主动和远程服务器建立连接(自己作为客户端)。一旦连接建立,就会根据远程服务器的sid来创建相应的消息发送器sendWorker和消息接收器RecvWorker,并启动。

      3.消息接收与发送:

        3.1:消息接收:由消息接收器RecvWorker负责,由于Zookeeper为每个远程服务器都分配一个单独的RecvWorker,因此每个RecvWorker只需要不断的从这个tcp连接中读取消息,并将其保存到recvQueue队列中,RecvWorker是一个单独的线程。

        3.2:消息发送:由于Zookeeper为每个远程服务器都分配一个单独的SendWorker,因此,每个SendWorker只需要不断的从对应的消息发送队列中获取出一个消息发送即可,同时将这个消息放入lastMessageSent中,在SendWorker中,一旦Zookeeper发现针对当前服务器的消息发送队列为空,那么此时需要从lastMessageSent中取出一个最近发送过的消息来进行再次发送。这是为了解决接收方在消息接收前或者接收到消息后服务器挂了,导致消息未被正确处理,同时,Zookeeper能够保证接收方在处理消息时,会对重复消息进行正确的处理,SendWorker是一个单独的线程。

    7.FastLeaderElection:选举算法核心
      外部投票:只其他服务器发来的投票。

      内部投票:服务器自身当前的投票。

      选举轮次:Zookeeper服务器Leader选举的轮次,即logicalclock。

      PK:对内部投票和外部投票进行对比来确定是否需要变更内部投票。

    7.1.选票管理:

      sendqueue:选票发送队列,用于保存待发送的选票。

      recvqueue:选票接收队列,用于保存接收到的外部投票。

      workerReceiver:选票接收器,其会不断的从QuorumCnxManager中获取其他服务器发来的选举信息,并将其转换成一个选票,然后保存到recvqueue中,在选票接收过程中,如果发现该外部选票的选举轮次小于当前服务器的,那么忽略该外部投票,同时立即发送自己的内部投票。

      workerSender:选票发送器,不断的从sendqueue中获取待发送的选票,并将其传递到底层QuorumCnxManager中。

    7.2算法核心:

       上图展示了FastLeaderElectin模块是如何与底层网络I/O进行交互的,Leader选举的基本流程如下:

      1.自增选举轮次:Zookeeper规定所有有效的投票都必须在同一轮次中,在开始新一轮投票时,会先对logicalclock进行自增。

      2.初始化选票:在开始进行新一轮投票之前,每个服务器都会初始化自身的选票,并且在初始化阶段,没台服务器都会将自己推举为Leader。

      3.发送初始化选票:完成选票的初始化后,服务器就会发起第一次投票,Zookeeper会将刚刚初始化好的选票放入sendqueue中,由发送器WorkerSender负责发送出去。

      4.接收外部投票:每台服务器会不断的从recvqueue队列中获取外部选票,如果服务器发现无法获取到任何外部投票,那么就会立即确认自己是否和集群中其他服务器保持着有效连接,如果没有连接,则马上建立连接,如果已经建立连接,则再次发送自己当前的内部投票。

      5.判断选举轮次:在发送完初始化选票之后,接着开始处理外部投票,在处理外部投票时,会根据选举轮次来进行不同的处理。

        5.1:外部投票的选举轮次大于内部投票:若服务器自身的选举轮次落后于该外部投票对应服务器的选举轮次,那么就会立即更新自己的选举轮次(logicalclock),并且清空所有已接收到的投票,然后使用初始化的投票来进行PK以确定是否变更内部投票,最终再将内部投票发送出去。

        5.2:外部投票的选举轮次小于内部投票:若服务器接收的外部选票的选举轮次落后于自身的选举轮次,那么Zookeeper就会直接忽略该外部投票,不做任何处理,并返回步骤4.

      6.选票PK:在进行选票PK时,符合任意一个条件就需要变更投票。

        6.1:若外部投票中推举的Leader服务器的选举轮次大于内部投票,那么需要变更投票。

        6.2:若选举轮次一致,那么就对比两者的Zxid,若外部投票的Zxid大,那么需要变更投票。

        6.3:若两者的Zxid不一致,那么就对比两者的sid,若外部投票的sid大,那么就需要变更投票。

      7.变更投票:经过PK后,若确定了外部投票优于内部投票,那么就变更投票,即使使用外部投票的选票信息来覆盖内部投票,变更完成后,再次将这个变更后的内部投票发送出去。

      8.选票归档:无论是否变更了投票,都会将刚刚收到的那份外部投票放入选票集合,recvset中进行归档,recvset用于记录当前服务器在本轮次的Leader选举中收到的所有外部投票(按照服务端的sid区别,如:{(1,vote1),(2.vote2)...}).

      9.统计投票:完成选票归档后,就可以开始统计投票,统计投票是为了统计集群中是否已经有过半的服务器认可了当前的内部投票,如果确定已经有过半的服务器认可了该投票,则终止投票,否则返回步骤4.

      10.更新服务器状态。若已经可以确定终止投票,那么就开始更新服务器状态,服务器首先判断当前被过半服务器认可的投票所对应的Leader服务器是否是自己,若是自己,则将自己的服务器状态更新为LEADING,若不是,则根据具体情况来确定自己是FOLLOWING或则OBSERVING.

      以上10个步骤就是FastLeaderElection的核心,其中步骤4~9会经过几次循环,直到有Leader选举产生。

  • 相关阅读:
    J2ME开发及JBuilder工具的应用
    Oracle 的入门心得
    Java多线程程序设计初步
    网线制作
    手机死机的原因简析
    SIM简介
    谈谈J2ME的几个重要的功能
    手机应该放哪里 如何把危害的程度降到最低
    彩信的基本原理
    oracle学习笔记
  • 原文地址:https://www.cnblogs.com/wk-missQ1/p/15106467.html
Copyright © 2011-2022 走看看