分布式一致性

从架构角度横评 Etcd、ZooKeeper、Nacos 的定位与取舍；拆解 Multi-Raft 如何突破单机瓶颈；以一致性光谱为主线，给出不同场景下的选型决策参考。

从强一致性的代价切入，探讨最终一致性三件套：NWR 调节一致性强度；Gossip（谣言传播 + 反熵）去中心化扩散数据；向量时钟检测并发冲突，LWW、多版本、CRDT 三种策略各取所需。

本文详解ZooKeeper的ZAB协议，重点剖析ZXID设计及其“崩溃恢复与消息广播”两大核心运行机制。并横向对比了ZAB与Raft在选举及同步策略上的异同，最后简析了ZK的读写分离架构

本文全面解析Raft算法的核心机制。从强Leader模型出发，详细拆解了领导者选举、基于多数派的日志复制、保障数据安全的选举与提交双重限制，以及成员变更与日志压缩机制。

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

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

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