ZooKeeper 与分布式一致性：从 CAP 到 Paxos、Raft、ZAB

ZooKeeper是分布式系统的协调服务，严格遵循CAP的CP模式，优先保证一致性，适用于金融交易等场景。其理论基础包括CAP原则（一致性、可用性、分区容错三者不可兼得）和BASE理论（基本可用、软状态、最终一致性）。共识算法方面，Paxos是基石，Raft简化了选举过程（随机化超时、心跳机制），ZAB是ZooKeeper专属协议，通过发现、同步、广播三个阶段实现原子广播。数据模型采用树形Znode，支持持久、临时、顺序四种节点，用于分布式锁和服务发现。掌握这些知识可理解ZooKeeper如何以一致性为核心、可用性为底线解决分布式协调问题。