知识卡片
顺序一致性看结果
内容
顺序一致性要求任意并发执行的结果，都等价于所有操作按某个顺序一个接一个执行，并且每个进程内部顺序不变。发散：它约束的是可观察结果，不要求真实物理执行必须串行。
参考来源
- 位置：《分布式系统与一致性》第14章《顺序一致性》"14.1.2 顺序一致性的定义"一节（源文件：_epub-src/OEBPS/Text/chapter18.xhtml）
- 结论依据：原文引用Lamport原始定义"The result of any execution is the same as if the operations of all the processors were executed in some sequential order,and the operations of each individual processor appear in this sequence in the order specified by its program."，并给出中文翻译。
- 原始内容：任意执行的结果和好像在处理器上执行的所有操作都按照某一种顺序排序执行的结果是一样的，并且每个处理器上的操作都会按照程序指定的顺序出现在操作序列中。