线性一致性（Linearizability）

定义

线性一致性由 Maurice Herlihy 与 Jeannette Wing 于 1990 年形式化，要求并发操作的执行结果等价于某个串行顺序，且该顺序与操作的真实时间先后（real-time order）一致——即每个操作仿佛在其调用与返回之间的某一点原子生效。

与其他模型的关系

线性一致性强于顺序一致性（后者不要求遵守真实时间顺序），是单对象、单操作维度的最强保证；数据库领域的"严格可串行化"可视为线性一致性与事务可串行化的结合。

实现与代价

通常依赖共识协议实现，如 Raft 中所有读写经由 leader 并确认多数派。代价是延迟高、可用性受限（CAP 中的 CP 选择）。etcd、ZooKeeper 的写操作均提供线性一致保证，Jepsen 测试也常以此作为验证目标。