描述一下 ZAB 协议？

ZAB（ZooKeeper Atomic Broadcast）协议是 ZooKeeper 自己定义的协议，主要用于保证分布式系统中的数据一致性。它有两种模式：Leader 节点崩溃后的恢复模式和消息广播模式。 #### ZAB 协议的两种模式 1. **Leader 节点崩溃恢复模式** 2. **消息广播模式** ### 详细描述 #### 1. Leader 节点崩溃恢复模式 在 ZooKeeper 集群中，如果 Leader 节点崩溃了，整个集群将处于崩溃状态。这种情况包括以下几种情形： - 集群刚刚启动时，各个节点互相不认识，还没有 Leader。 - 运行中的 Leader 节点宕机。 - 网络问题导致其他节点无法与 Leader 节点通信。 此时，ZAB 协议会启动节点崩溃恢复模式，所有节点进入选举模式，进行 Leader 选举。选举过程通过广播实现，选举成功后，新 Leader 节点需要同步数据，确保所有节点的数据一致。 **Leader 选举过程**： - 所有节点进入选举模式。 - 每个节点都广播投票消息，推荐自己或认为合适的节点作为 Leader。 - 通过多个轮次的投票，最终选出一个新的 Leader 节点。 **数据同步过程**： - 新的 Leader 节点将自身的数据与其他 Follower 节点同步，确保所有节点的数据一致。 - 同步完成后，进入正常的消息广播模式。 #### 2. 消息广播模式 在正常运行期间，ZooKeeper 集群采用消息广播模式，将数据变更广播到所有节点，确保数据的一致性。 **消息广播过程**： - 客户端向 Leader 节点发送写请求。 - Leader 节点将数据变更封装成事务（transaction），并广播给所有 Follower 节点。 - Follower 节点接收到事务后，写入本地日志，并向 Leader 反馈确认（ack）。 - 当 Leader 节点收到多数 Follower 节点的确认后，认为该事务已经提交（commit），并通知所有 Follower 节点进行提交操作。 - 最终，Leader 节点向客户端返回成功响应。 ### 总结 ZAB 协议通过两种模式（Leader 节点崩溃恢复模式和消息广播模式），保证了 ZooKeeper 集群在各种情况下的数据一致性和高可用性。 - **Leader 节点崩溃恢复模式**：在没有 Leader 节点或 Leader 节点崩溃时，进行 Leader 选举和数据同步。 - **消息广播模式**：在正常运行时，将数据变更广播到所有节点，确保数据一致性。 通过 ZAB 协议，ZooKeeper 能够在分布式环境中提供强一致性和高可用的服务。