为什么这个输出是错误的？ - 顺序一致性

Question

我理解顺序一致性模型的方式标记为错误的输出应该是有效的，我错过了什么？

Answer 1

如果我们查看 wiki 中的 definition of sequential consistency，我们会看到：

任何执行的结果都是一样的，就好像所有处理器的操作都以某种顺序执行，并且每个单独的处理器的操作按照其程序指定的顺序出现在这个顺序中

在您的示例中，由于 print (x,z) 操作在 y=1 之前，因此违反了 P2 进程的顺序。