知识卡片
线性一致性加实时
内容
线性一致性继承顺序执行等价性，并额外要求真实时间偏序不被颠倒：一个操作完成后才开始的后续操作，必须看到它或更新状态。发散：它比顺序一致性多出的正是“不会读旧”的直觉。
参考来源
- 位置：《分布式系统与一致性》第15章《线性一致性与强一致性》"15.3.2 线性一致性与顺序一致性的比较"之"3.实时性"一节（源文件：_epub-src/OEBPS/Text/chapter19.xhtml）
- 结论依据：原文明确"顺序一致性只要求保持程序顺序，而线性一致性要求保持偏序关系。保持偏序关系是一种更苛刻的要求……保持偏序关系给线性一致性赋予了顺序一致性所不具有的一个特性，那就是实时性"，并说明"如果write（x）方法的返回事件在read（x）方法的调用事件之前，那么在sequential history中也同样是这样的……read（x）方法不会读取到旧数据"。
- 原始内容：保持偏序关系是一种更苛刻的要求，所以线性一致性是比顺序一致性更强的一种一致性。保持偏序关系给线性一致性赋予了顺序一致性所不具有的一个特性，那就是实时性……如果write（x）方法的返回事件在read（x）方法的调用事件之前，那么在sequential history中也同样是这样的……read（x）方法不会读取到旧数据。