5.3.2 外部一致性与线性一致性 (Linearizability)

文档摘要

5.3.2 外部一致性与线性一致性 (Linearizability) 我们来直面一个分布式系统中最锋利、也最易被误解的刀刃：线性一致性（Linearizability）。它不是教科书里飘在空中的定义，不是论文中带星号的定理，而是一条真实存在的、可测量、可验证、可破坏、也可被精密构造的一致性边界线。当你在 TiDB 中执行后立刻读取同一行，却看到旧值；当 etcd 的在网络分区后返回成功，但客户端在另一端永远看不到该更新；当 Flink 的状态后端宣称“恰好一次”，而下游 Kafka 消费者却收到了两条语义重复的消息——这些不是“偶发 Bug”，而是线性一致性在现实土壤中裂开的一道道缝隙。