c - 兼容 C90 的编译器是否必须考虑 CPU 的指令重新排序？

Question

考虑以下代码:

volatile int a;
volatile int b;
int x;

void func() {
    a = 1;
    x = 0; /* dummy statement */
    b = 2;
}

在此代码片段中，对 x 的赋值构成了一个序列点。因此，根据 C90 标准，必须先完成对 volatile 变量 a 的访问，然后才能开始访问 b。将这段代码翻译成x86-64汇编器时，函数体翻译如下:

movl $1, a(%rip)
movl $0, x(%rip)
movl $2, b(%rip)

现在，当执行这段代码时，CPU 可能会对内存访问重新排序，从而打破了 C 标准对 a 和 b 的访问按顺序执行的要求。那么，这种翻译是不是不正确，编译器是否必须插入内存屏障来强制执行排序？

编辑: 考虑 a 和 b 是两个线程共享的变量的情况。在这种情况下，两个线程之间的同步协议(protocol)可能依赖于按顺序访问 a 和 b 的事实。因此，当 CPU 重新排序访问时，这可能会破坏该协议(protocol)(我实际上并没有尝试实现这样的协议(protocol)，我只是想知道 C 标准的正确解释是什么)。

Answer 1

CPU 可能会对指令重新排序，但它们必须确保结果与没有重新排序的结果相同。