ZAB和Paxos算法的联系与区别

ZAB协议并不是Paxos算法的一个典型实现，两者联系

• 两者都存在一个类似于Leader进程的角色，由其负责协调多个Follower进程的运行
• Leader进程都会等待超过半数的Follower做出正确的反馈后，才会将一个提案进行提交
• 在ZAB协议中，每个Proposal中都包含一个epoch值，用来代表当前Leader周期，在Paxos算法中，同样类似标识——Ballot

在Paxos算法中，一个新选举产生的主进程会进行两个阶段的工作。一个读阶段，这个主进程会通过和所有其他进程进行通信的方式收集上一个主进程提出的提案，并将它们提交。一个写阶段，当前主进程开始提出它自己的提案。在Paxos算法设计的基础上，ZAB协议额外添加了一个同步阶段。在同步阶段之前，ZAB协议也存在一个和Paxos算法中的读阶段非常类似的过程，称之为发现（Discovery）阶段。在同步阶段，新的Leader会确保存在过半的Follower已经提交了之前Leader周期中的所有事务Proposal。这一阶段的引入，能够有效地保证Leader在新的周期中提出事务Proposal之前，所有进程已经完成之前所有事务Proposal的提交。一旦完成同步阶段后，那么ZAB就会执行和Paxos算法类似的写阶段。

总的来讲，ZAB协议和Paxos算法的本质区别在于，两者的设计目标不太一样。ZAB协议主要用于构建一个高可用的分布式数据主备系统，例如Zookeeper，而Paxos算法则是用于构建一个分布式的一致性状态机系统。