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

Question

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

Answer 1

如果我们查看wiki 中顺序一致性的定义，我们会看到：

任何执行的结果都相同，就好像所有处理器的操作都按某种顺序执行，并且每个处理器的操作按照其程序指定的顺序出现在该序列中

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