c - 英特尔指令重新排序

Question

我试图通过以下简单示例来理解指令重新排序:

int a;
int b;

void foo(){
   a = 1;
   b = 1;
}

void bar(){
   while(b == 0) continue;
   assert(a == 1);
}

众所周知，在此示例中，如果一个线程执行 foo，而另一个线程执行 bar，断言可能会失败。但我不明白为什么。我咨询了Intel manual Vol. 3A, 8.2.2并发现以下内容:

Writes to memory are not reordered with other writes, with the following exceptions:

— streaming stores (writes) executed with the non-temporal move instructions (MOVNTI, MOVNTQ, MOVNTDQ, MOVNTPS, and MOVNTPD); and

— string operations (see Section 8.2.4.1).

这里没有字符串操作，我也没有注意到 NT 移动指令。那么...为什么可以重新排序写入？

或者内存是否重要

Writes to memory are not reordered

?因此，当我们有 a 和 b 缓存时，写入不会发生在主内存中，而是缓存中。

Answer 1

如果一个线程正在运行 foo 而另一个正在运行 bar 那么您的程序的行为将是未定义。

您不能同时读取和写入非原子变量，例如 int。

因此在这种情况下指令重新排序是允许的。