问内存障碍:软件黑客的硬件视图示例3

EN

我正在从原来的论文内存障碍:软件黑客的硬件视图中拷贝这个数字的文本。

表4显示了由CPU 0、1和2并发执行的三个代码片段，所有变量最初为零。 请注意，CPU 1和CPU 2在第3行看到CPU 0分配给“b”之前，都不能继续到第5行。一旦CPU 1和2在第4行执行了它们的内存屏障，它们都保证在第2行的内存屏障之前看到CPU 0的所有分配。类似地，第8行的CPU 0与第4行的CPU 1和2的内存屏障一样，所以CPU 0在第9行分配到“a”之后才能执行对其他CPU的“e”分配。因此，CPU 2在第9行的断言保证不会触发。

​

​

对我来说，CPU0上的第6-9行似乎完全没有必要，因为第2行的内存屏障对于CPU 0，第4行的内存屏障是用于CPU 1和2的，这保证了b=1的效果，并且所有存储之前的存储，也就是a=1。然后，断言e == 0 || a == 1总是成功的。

我不知道我是否忽略了什么。如有任何澄清，我们将不胜感激。