c++ - 这个内存屏障是否正确实现？

Question

我正在阅读遗留 C++ 代码，其中内存屏障定义如下。主要操作系统是linux和vxworks。编译器是gcc(WindRiver的gcc)。

#if((KCompilerGNU)||(kCompilerWindRiver))
   #define MEMORY_BARRIER   __asm__ volatile("nop\n");
#else
   #define MEMORY_BARRIER   __asm nop;
#endif

但我不明白空操作是如何产生内存屏障的？或者它只是一个错误的实现？

Answer 1

这是一个编译器屏障，而不是一个完整的硬件内存屏障。也就是说，它旨在成为编译器无法优化的不透明调用，但它在内存重新排序方面对硬件没有任何影响¹。如果有问题的编译器实际上将 asm block 视为不透明的(例如，gcc asm block 具有特定规则来准确定义可以跨 block 更改的内容等)，则可能为此目的正确定义了它。

如果您知道此代码的目标硬件具有从不重新排序内存操作的强大内存模型，则将其称为完整内存屏障(通常会抑制编译器和硬件重新排序)可能是合适的。

---

¹ 也就是说，在程序是单线程或机器没有表现出有趣的重新排序(例如，一个简单的有序、非推测 CPU 或单 CPU 系统)。