c - 强制内存排序

Question

如果有指针“A”和“B”，要求在对“B”的任何写入可见之前，对“A”的任何写入都应可见。如果我不允许使用锁，如果我不允许将这些变量声明为“volatile”，下面的代码能保证满足上述要求吗？

volatile temp;

*A = value1;
temp = *A;

if (temp == value1) {
    *B = value2
}

Answer 1

您将需要使用内存屏障或栅栏:参见 http://en.wikipedia.org/wiki/Memory_barrier

在 Linux 内核中，您可以使用 rmb() 或 wmb() 调用。

在 pthreads 下，您可以使用 pthread_barrier_wait()，但我的 pthreads 联机帮助页中似乎没有。

在 MSVC 上，查看 Force order of execution of C statements? - 其中还有一些很好的一般信息。

如果您找到一个“原子”库，它通常会包含屏障函数。