月度归档：2026年7月 (56)
咖啡养成
连载中 14/20
etcd 分布式锁：一个 Lease 管生死，一个 Revision 排公平
etcd 造锁只用了两块积木：Lease 租约绑住 key 的生死，keepalive 续命——进程崩了锁自动蒸发；创建 revision 全局单调——排队公平白送。对照 ZK 临时顺序节点概念一一对应，但流式 Watch 让实现简洁了一个量级。
咖啡养成
连载中 13/20
Raft 深入：两条提交红线与一份不可能丢的日志
过半 ACK 就提交？没那么简单。旧任期的日志哪怕复制到五台也不能直接提交，否则会丢已提交数据——Raft 用「只提交当前任期」的红线堵死它。本篇把安全性抠到细节：日志新旧的精确判定、读请求的线性一致、脑裂为何数学上不成立。