线性一致性 Linearizability

定义：每个操作看起来在调用与返回之间的某个瞬间原子地生效，且全局顺序与实时顺序一致。

出处：复制与一致性模型。