分布式一致性

本文基于 Quorum 交集定律推导 Basic Paxos。详解提案编号与两阶段协议如何解决写冲突，揭示共识的数学本质。指出算法活锁缺陷，并引出 Multi-Paxos 引入 Leader 的演进方

本文深度剖析 2PC 同步阻塞与 3PC 分区脑裂的本质，揭示在不可靠网络下“全员投票”模型的必然失败。指出分布式演进的真正方向：从死磕跨服务原子提交，转向构建基于多数派（Paxos）的高可用底层共识

从用户体验和系统约束两个角度解析一致性，介绍四种一致性模型、FLP/CAP 定理，以及 ACID 与 BASE 的工程选择。