分布式协调与一致性系列
P7 数据与存储 · 共 5 篇 · 按阅读顺序倒叙排列
-
分布式 ID 深挖 · 雪花算法及其变体
深挖分布式 ID:全局唯一/趋势递增/高性能/高可用/信息安全五维需求,UUID 与 DB 自增的短板,雪花算法 64 位布局、时钟回拨处理与 workerId 分配,Leaf 号段双 buffer 与百度 UidGenerator。
-
分布式事务深挖 · 2PC、TCC、Saga 与 Outbox
深挖分布式事务:单机 ACID 到分布式为何失效、CAP/BASE 与最终一致,逐帧拆 2PC/3PC 的阻塞与单点、TCC 的空回滚悬挂、Saga 的编排与补偿、Outbox+CDC 可靠事件投递,落到广告计费扣预算的幂等补偿与对账。
-
分布式锁深挖 · Redis Redlock vs ZooKeeper/etcd
深挖分布式锁:从互斥/防死锁/容错/可重入四条正确性出发,拆 Redis SET NX + Lua 释放 + 看门狗续期、Redlock 与 fencing token 质疑、ZooKeeper 顺序节点、etcd lease+CAS 及 CP/AP 取舍。
-
ZooKeeper 与 etcd 深挖 · ZAB、Raft、Watch 与租约
深挖两大协调服务:ZooKeeper 的 znode 模型、会话与临时节点、一次性 Watch 与 ZAB 协议,etcd 的 Raft、MVCC/revision、lease 租约与可回放 Watch,并对比 ZAB 与 Raft 的选主与配置用法。
-
分布式共识(开篇)· Paxos 与 Raft 图解
深挖分布式共识:从复制状态机与 FLP 不可能讲起,图解 quorum 多数派、Paxos 为何难懂、Raft 的选举/日志复制/安全性三块、脑裂与奇数节点,落到 etcd/KRaft 工程实践与选主安全边界。