为什么这个输出错了？ - 顺序一致性

Question

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

Answer 1

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

  

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

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