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

Question

考虑以下代码：

volatile int a;
volatile int b;
int x;

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

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

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

现在，当执行该代码时，CPU可以重新排序存储器访问，从而破坏了C标准的要求，即按顺序执行对a和b的访问。那么，这个翻译不正确，编译器是否不得不插入内存障碍来强制执行排序？

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

Answer 1

CPU可能会重新排序说明，但他们必须确保结果与时的结果相同。