一、简语:
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
待续...