【分布式系统百科】一致性模型全景：从线性一致性到最终一致性的光谱
成功写入之后，还能读到旧值吗？用反例区分线性、顺序与因果一致性，拆开最终收敛、会话保证和事务隔离；核对 ZooKeeper、Spanner、DynamoDB、Cassandra 的接口边界，并提供可运行的 Go 历史检查器。
causal-consistency 标签归档
共 3 篇文章 · 返回首页
【图数据库内核】高可用边界：primary / secondary、书签因果一致与只读滞后
钉住 Neo4j 集群里 database primary/secondary 与服务器解耦、Raft 写多数、secondary 异步事务日志追赶；说明 bookmark 因果链如何接第 11 篇的「提交可见」，并划清 Composite 与运维手册边界。
【分布式系统百科】会话保证与因果一致性：用户视角的一致性
最终一致性承诺'最终'收敛，但没说收敛之前用户会看到什么。你改了头像刷新后消失、余额先涨后跌、回复比原帖先出现——这些都是缺少会话保证的症状。Terry 等人在 1994 年定义了四种会话保证，COPS 和 Eiger 把因果一致性做到了跨数据中心，Bailis 的 Bolt-on 方案让老系统也能补上因果语义。