知识卡片
并发正确性条件
内容
顺序一致性是一种并发正确性条件：系统内部可并发实现，但表现得像消除了并发。发散：很多分布式系统提供它，不是因为追求理论漂亮，而是为了让上层算法能用顺序推理。
参考来源
- 位置：《分布式系统与一致性》第14章《顺序一致性》并发正确性条件一节（源文件：_epub-src/OEBPS/Text/chapter18.xhtml）
- 结论依据：原文明确"为什么顺序一致性是并发条件呢？因为只要系统满足顺序一致性，这个系统上任何执行的结果就和在一个处理器上顺序执行的结果是一样的。也就是说，并发执行的结果和消除并发后顺序执行的结果是一样的"，并说明定义只约束结果，实现上可以并发。
- 原始内容：为什么顺序一致性是并发条件呢？因为只要系统满足顺序一致性，这个系统上任何执行的结果就和在一个处理器上顺序执行的结果是一样的。也就是说，并发执行的结果和消除并发后顺序执行的结果是一样的……在定义上只要求了结果，在实现上是可以进行可能并发优化的。