Zookeeper选举机制

Zookeeper选举机制

Zk的选举机制，是基于Paxos这个算法来实现，这个算法的核心思想是：

要解决在分布式环境下，就某一个协议达成一致的算法。

zk 用的是fast paxos 算法，相当于做了改进。

Paxos算法容易在分布式环境下产生活锁。

1:数据恢复阶段:

Zookeeper从本次磁盘里找一个最大事务id

事务概念:客户端做新建,跟新等操作属于事务,每个事务会产生一个事务id,并且这个事务id是递增的.

cZXID表示的创建节点的事务id

mZxid表示的修改此节点的事务id

最大的事务id也就意味着最近的事务

2:选举阶段

提交选举议案,议案里包含的内容

1.最大事务id

2.当前机器的领导id(就是myid里的那个数字)

3.逻辑时钟值,记录了当前选举的轮数

作用是确保多个zk处于同一轮选举当中

4.当前节点状态

Looking 表示正处于选举阶段

Leading表示正在任职阶段

Following表示正在做小弟阶段

3:pk原则

第一要比谁的最大事务id大,谁就当领导,如果最大事务id比较不出来,就比领导id,谁大谁就当领导,但是注意:必须满足过半统一原则

当Leader选举出来之后

第一件事要做原子广播,目的是要达到zk服务器集群的数据一致性,因为leader肯定是具有最大事务id,即具有做新数据的.通过原子广播端口进行数据通信,达到数据的一致性.

当zk服务集群收到客户端事务请求时,Leader会对此决议进行表决,当zk服务集群内存过半对此应用成果,则此好事务才真正提交成功.(过半统一机制就是某一个协议达成一致性)