一、简语：

ZAB协议是Paxos算法的经典实现

二、ZAB协议的两种模式：

1.崩溃恢复：

1.每个server都有一张选票（myid,zxid）,选票投给自己

2.收集所有server的投票

3.比较投票(逻辑:优先比较zxid，选出zxid最大的,其次比较myid)

4.改变服务器状态(崩溃恢复->消息广播 或 崩溃恢复->数据同步)

2.消息广播：

1.leader收到请求后，生成全局唯一的议案编号(64位自增zxid)

2.将议案编号（zxid）发给所有的follower

3.follower收到议案后，先将议案写入硬盘，之后回复leader一个ACK

4.当leader收到合法数量的ACK后，leader会给所有的follower发送commit命令

5.follower执行commit命令

注：到了此阶段，ZK集群才开始正式对外提供服务，并且leader可以进行消息广播,如果有新的节点加入,还需要进行同步

数据同步：

1.从本地日志取出leader最大的lastzxid

2.找到对应zxid的数据,进行同步(需保证所有的follower一致)

3.只有满足quorum同步完成，准leader才能成为真正leader

待续...