ZAB（Zookeeper Atomic Broadcast）协议是Zookeeper用来保证数据一致性和高可用性的核心协议。它是一种支持崩溃恢复的原子广播协议，专门为Zookeeper设计，用于在分布式系统中实现高效的状态复制和一致性。
ZAB协议的主要目标
- 保证数据一致性：确保所有Zookeeper服务器上的数据在任何时候都是一致的。
- 高可用性：即使在部分服务器故障的情况下，系统仍然能够继续提供服务。
- 崩溃恢复：在服务器崩溃后，能够快速恢复并重新加入集群。
ZAB协议的工作原理
ZAB协议的核心机制包括两种模式：领导选举（Leader Election）和消息广播（Atomic Broadcast）。
1. 领导选举（Leader Election）
- 领导者角色：在Zookeeper集群中，始终有一个服务器被选为领导者（Leader），其余服务器为跟随者（Followers）。
- 选举过程：当集群启动或领导者失效时，ZAB协议会通过选举算法选出一个新的领导者。选举过程确保所有服务器最终达成共识，选出唯一的领导者。
- 领导者职责：领导者负责处理客户端的写请求，并将这些请求以事务的形式广播给所有跟随者。
2. 消息广播（Atomic Broadcast）
- 事务日志：领导者将客户端的写请求转换为事务并记录在本地事务日志中，然后将事务广播给所有跟随者。
- 二阶段提交：ZAB协议采用类似于二阶段提交的方式来确保事务的原子性和一致性。
- 准备阶段（Proposal Phase）：领导者将事务发送给所有跟随者，等待多数（Quorum）跟随者的确认。
- 提交阶段（Commit Phase）：当领导者收到多数跟随者的确认后，向所有跟随者发送提交消息，最终提交事务。
- 崩溃恢复：如果领导者在提交事务之前崩溃，新的领导者会在崩溃恢复过程中重新广播未完成的事务，确保所有服务器达成一致。
ZAB协议如何保证数据一致性
- 原子广播：通过原子广播机制，ZAB协议确保所有写请求以相同的顺序被应用到所有服务器上，从而保证数据一致性。
- 多数确认：每个事务必须得到多数服务器的确认才能提交，确保即使部分服务器故障，数据仍然是一致的。
- 崩溃恢复：领导者崩溃后，新的领导者会从上一次一致的状态继续工作，重新广播未完成的事务，确保数据一致性。
总结
ZAB协议是Zookeeper实现数据一致性和高可用性的关键机制。它通过领导选举和原子广播机制，确保所有服务器上的数据在任何时候都是一致的。即使在部分服务器故障或领导者崩溃的情况下，ZAB协议也能通过崩溃恢复机制快速恢复并继续提供服务，从而实现高可用性和可靠性。
