读写屏障如何向上传播调用树?

Docs女士从来都不好,这一个就是一个很好的例子。读写屏障有两部分:

1. 告诉CPU做内存屏障(例如mfence)。
2. 告诉编译器不要围绕屏障进行优化。

我怀疑呼叫树部分指的是2。IE:

int x = 0;

void foo()
{
   x = 7;
   _ReadWriteBarrier();
   x = 8;
}

如果没有屏障,编译器可以完全删除x=7。有了屏障,它就不动了。 那么,一个函数 电话 福?

void bar()
{
   x = 3;  // optimized away?
   foo();
   x = 4;
}

我认为在过去x=3可能已经被优化了(编译器很难判断是否允许这样做),但现在它将正确地保留x=3指令。

我想。