土法炼钢兴趣小组的算法知识备份

【分布式系统百科】会话保证与因果一致性：用户视角的一致性

2026-04-13 | distributed | #session-guarantees #causal-consistency #eventual-consistency #bayou #cops #eiger #bolt-on #mongodb #distributed-systems

最终一致性承诺'最终'收敛，但没说收敛之前用户会看到什么。你改了头像刷新后消失、余额先涨后跌、回复比原帖先出现——这些都是缺少会话保证的症状。Terry 等人在 1994 年定义了四种会话保证，COPS 和 Eiger 把因果一致性做到了跨数据中心，Bailis 的 Bolt-on 方案让老系统也能补上因果语义。