线性一致性（Linearizability）：并发与分布式系统中的一种正确性条件。它要求每个操作看起来都像在某个单一时间点“瞬间发生”（原子生效），并且所有操作的结果能排列成一个与真实时间先后顺序一致的单线程顺序，从而让系统表现得像一个“单线程的正确对象”。
/ˌlɪniərəˌzaɪzəˈbɪləti/
Linearizability makes concurrent reads and writes behave like they happen one at a time.
线性一致性让并发的读写表现得像是一次只发生一个操作。
To prove the queue is linearizable, we must show a single operation order that matches real-time constraints and preserves the queue’s semantics.
要证明这个队列满足线性一致性，我们必须给出一个既符合真实时间约束、又保持队列语义的单一操作顺序。
Linearizability 来自 linearize（使……线性化、排成线性顺序）+ -ability（……的能力/性质）。在并发理论语境中，“线性化”指把并发历史（许多操作交错发生）解释为某种线性顺序；“线性一致性”强调这种线性顺序还必须尊重实时先后关系。
Select Language