zookeeper选举算法

zookeeper选举算法

paxos算法

学习zookeeper就要先了解一下paxos算法，paxos算法是分布式中保证一致性的一种算法，它可以保证在节点失效、网络分区、网络延迟等情况下各个节点状态的一致性。paxos算法引入了半数原则，也就是少数服从多数的原则。

paxos有三个版本：

1. Basic Paxos
2. Multi Paxos
3. Fast Paxos（ZAB协议就基于Fast Paxos的）

paxos算法中有3种角色：

1. Proposer：提案者。
2. Acceptor：决策者，是否接受该提案，如果超过半数的Acceptor接受了此提案，那么此提案才会通过。
3. Learner：学习者，当提案被确定后，同步执行提案，不参与决策。

Paxos算法的两个阶段

Paxos算法类似于二阶段提交，它们区别于半数原则，其算法执行过程分为两个阶段。

阶段一（prepare阶段）：

1. Proposer选择一个提案编号N，然后向半数以上的Acceptor发送编号为N的Prepare请求。Prepare（N）
2. 如果一个Acceptor收到一个编号为N的Prepare请求，如果小于它已经响应过的请求，则拒绝，不回应或回复error。若N大于该Acceptor已经响应过的所有Prepare请求的编号（maxN），那么它就会将它已经接受过（已经经过第二阶段accept的提案）的编号最大的提案（如果有的话，如果还没有的accept提案的话返回{pok，null，null}）作为响应反馈给Proposer，同时该Acceptor承诺不再接受任何编号小于N的提案。

阶段二（accept阶段）：

1. 如果一个Proposer收到半数以上Acceptor对其发出的编号为N的Pr