zk基础—1.一致性原理和算法
本文详细介绍了分布式系统的特点、理论及一致性算法。首先分析了分布式系统的五大特点：分布性、对等性、并发性、缺乏全局时钟和故障随时发生。接着探讨了分布式系统理论，包括CAP理论（一致性、可用性、分区容错性）和BASE理论（基本可用、软状态、最终一致性）。文中还深入讲解了两阶段提交（2PC）与三阶段提交（3PC）协议，以及Paxos算法的推导过程和核心思想，强调了其在ZooKeeper中的应用。最后简述了ZAB算法，指出其通过改编的两阶段提交协议确保节点间数据一致性，并在Leader故障时快速恢复服务。这些内容为理解分布式系统的设计与实现提供了全面的基础。
