请解释 Paxos 算法，并说明其在 ZooKeeper 中是如何应用的？

回答思路

1. 【回答框架 1】Paxos 是一种用于解决分布式系统中节点就某个值达成一致的共识算法，其核心是少数服从多数，只要多数派节点存活即可继续工作。它主要包含提议者、接受者和学习者三类角色，并通过准备阶段和接受阶段两轮交互来确保提案被唯一选定。
2. 【回答框架 2】在 ZooKeeper 中，Paxos 算法被简化为 ZAB 协议（ZooKeeper Atomic Broadcast），用于保证主从架构下的数据一致性。ZAB 专门为 ZooKeeper 的崩溃恢复和消息广播设计，通过选举产生 Leader，并由 Leader 负责接收写请求并广播给所有 Follower。
3. 【回答框架 3】ZAB 协议分为消息广播和崩溃恢复两个阶段：广播阶段保证消息的顺序性，恢复阶段重新选举 Leader 并同步数据。相比原始 Paxos，ZAB 加入了事务标识和队列，强化了顺序性，更适合 ZooKeeper 的写操作。
4. 【回答框架 4】ZooKeeper 使用 ZAB 作为其核心一致性协议，而非直接实现 Paxos，这是为了方便实现顺序一致性和崩溃恢复，同时 Paxos 也存在不直接支持事务顺序的问题，ZAB 对此进行了改进。
5. 【关键点 1】Paxos 是共识算法，基于多数派原则，保证安全性。
6. 【关键点 2】ZooKeeper 使用简化的 Paxos 变体 ZAB 协议。
7. 【关键点 3】ZAB 协议通过 Leader 选举和事务广播实现一致性。
8. 【关键点 4】ZAB 增强了顺序性，支持 ZooKeeper 的原子广播。
9. 【易错点 1】不要把 Paxos 和 ZAB 完全等同，ZAB 是专为 ZooKeeper 设计的。
10. 【易错点 2】不要认为 Paxos 能直接保证全局顺序，它本身不提供顺序保证。
11. 【易错点 3】避免混淆 Paxos 的多个角色，提议者、接受者、学习者职责不同。