月度归档:2026年6月 (53)
etcd 基础与 Raft 入门:一票、一任期、一份日志
Kubernetes 的心脏跳在 etcd 上,etcd 的心脏是 Raft。一票(一个任期只投一次)、一任期(逻辑时钟代替物理钟)、一份日志(过半确认才提交)——三个概念入门共识协议,顺带看清它和 ZAB 的兄弟相。
ZooKeeper 的坑:会话超时与幽灵持有人
GC 停顿二十秒,ZK 判了持有人死刑,锁转手他人;进程复活后自以为还在持锁,继续往下游写——幽灵持有人登场。ZK 把协议级安全做到了位,却依然逃不过「进程不知道自己被冻结」的宿命。五个坑,各有各的缓解与代价。
ZooKeeper 分布式锁:临时顺序节点的排队艺术
创建临时顺序节点、看兄弟谁最小、只盯住前一个——三步走完,锁成了。互斥靠最小序号,防死锁靠会话蒸发,公平靠全局排队,防惊群靠「只盯前一个」。前五篇在 Redis 里拼命修的坑,ZK 方案里很多压根不存在。
ZAB 协议:ZooKeeper 的灵魂
Leader 换人凭什么不丢账不乱账?答案是 ZAB。正常时它像一台不要全体点头、只要过半举手的 2PC;故障时它像一场带朝代号的选举:epoch 管谁新谁旧,zxid 管谁先谁后,旧 Leader 复活也要乖乖退位。
ZooKeeper 基础:ZNode、Watch、临时节点
ZooKeeper 不是数据库也不是缓存,是协调服务。树形命名空间、一次性 Watch、绑会话的临时节点——三个概念撑起全部精彩。临时节点尤其妙:锁的生死绑在客户端心跳上,进程崩了锁自动蒸发,防死锁不靠超时赌命。
主从切换下的锁失效:异步复制的原罪
客户端刚在主库上锁成功,主库没来得及同步就从库升了主——锁凭空蒸发,第二个客户端照样加锁。这是异步复制的原罪,不是配置错误。WAIT 命令、min-replicas 限写、换协调服务,各有各的价钱。
锁竞争与等待唤醒:一百个线程抢一把锁
零点大促,一百个请求同时抢同一张卡上的锁,抢到的在干活,剩下九十九个在干嘛?自旋会把 Redis 打爆,傻等会拖垮响应。pub/sub 唤醒、公平排队、单飞收敛——等待的艺术,决定了锁系统的上限。
RedLock 之争:Martin 与 antirez 的隔空交锋
五台独立 Redis、多数派加锁、失败全解锁——RedLock 看起来无懈可击。分布式系统权威 Martin 发文质疑:GC 停顿和时钟跳变面前,RedLock 的安全性站不住。antirez 下场应战。这场论战给所有用锁的人留下了两句话:锁分效率与正确性,正确性要靠令牌兜底。
Redisson:可重入锁的完整实现
方法 A 拿了锁,内部调用的方法 B 还要同一把锁——不会重入的锁会用自锁的方式杀死自己。Redisson 用一个 Hash 结构把重入计数、看门狗续期、安全释放全部封装,三行代码背后是一整套工程化答案。