Linearizability：多线程操作如何看起来像在同一瞬间完成？

并发程序最让人困惑的地方是：操作彼此重叠，却仍然要让使用者感觉结果有一个合理顺序。Linearizability，中文常译为“线性一致性”，是一种非常强的并发正确性标准。它要求每个操作看起来都在调用和返回之间某个瞬间完成，并且所有操作可以排成一个符合实时顺序的串行历史。

什么是“线性化点”

假设两个线程同时向一个并发队列入队。它们的执行可能交错，但对外部观察者而言，每次入队都应该能找到一个瞬间，仿佛整个操作在那里原子完成。这个瞬间就是线性化点。

线性化点不一定对应某一行显眼的代码。有时它是一次 CAS 成功，有时是锁释放，有时需要结合多个步骤推理。找到线性化点，可以帮助工程师把复杂的并发执行还原成一个可理解的顺序。

它和“最终一致”不同

线性一致性关注的是单个并发对象或操作在时间上的表现：读操作不能看到违反实时顺序的结果。分布式系统里的最终一致性则允许副本暂时不同，只要求经过一段时间后收敛。两者解决的问题不同，强一致性通常需要付出更高的同步和延迟成本。

也不要把线性一致性理解成“所有代码真的串行执行”。它允许实现内部并行，只要求外部可观察行为等价于某个合法的串行顺序。

AI 编程为什么需要这个概念

AI 很容易生成一个看似合理的并发容器，却没有说明读写重叠时应该返回什么。用线性化性提问，可以把模糊的“线程安全”具体化：每个方法的线性化点在哪里？所有合法历史是否都能映射到顺序规范？失败或超时操作如何处理？

读者应该记住

Linearizability 是把并发行为讲清楚的一种语言：虽然执行同时发生，但每个操作都像在某个瞬间完成。它帮助我们定义、实现和验证并发对象的可观察正确性。

资料：Herlihy & Wing：Linearizability