【分布式系统百科】一致性模型全景：从线性一致性到最终一致性的光谱
分布式系统中一致性模型不是二选一，而是一条光谱。本文从线性一致性、顺序一致性讲到因果一致性、最终一致性及其变体，用反例区分每一级的差异，用 Go 代码实现操作历史的一致性检测，并把 ZooKeeper、Spanner、DynamoDB、Cassandra 映射到这条光谱上。
linearizability 标签归档
共 2 篇文章 · 返回首页
【分布式系统百科】FLP、CAP 与不可能性结果：被误读的三座里程碑
FLP 说异步系统中共识不可能，但 Raft 跑得好好的。CAP 说三选二，但 Spanner 声称兼得。矛盾不在定理本身，在于读定理时跳过了精确条件。本文回到 FLP、CAP、共识数和收割/产出四篇原始论文，逐一拆解它们的真实陈述、证明思路与工程边界。