C语言中是否存在跨编译器等效于asm volatile("":::"memory")的内存屏障方案？

核心结论 #

你需要的与GCC asm volatile ("" ::: "memory"); 完全等效的跨编译器标准实现是C11 <stdatomic.h> 头文件中的 atomic_signal_fence 函数。

原理说明 #

• GCC的asm volatile ("" ::: "memory");本质是纯编译器屏障：不会生成任何CPU指令，仅阻止编译器将内存访问操作重排到屏障两侧，同时强制编译器假设屏障执行时内存内容可能被未知逻辑修改，不会复用屏障前缓存到寄存器的内存值，必须在屏障后重新从内存读取。
• atomic_thread_fence 不符合你的需求：该函数除了编译器屏障外，还会生成对应架构的CPU内存屏障指令（如ARM的dmb、x86的mfence等），会带来不必要的性能开销，除非你同时需要CPU层面的内存访问顺序保证。
• atomic_signal_fence 完全匹配需求：C11标准明确规定该函数仅施加编译器层面的内存访问顺序约束，不会生成任何CPU指令，效果和GCC的内存屏障完全一致，所有支持C11标准的编译器（GCC、Clang、MSVC、ICC等）都通用。

使用方法 #

你需要传入对应内存序参数控制屏障的约束强度，要完全匹配GCC默认内存屏障的全约束效果，使用memory_order_acq_rel即可，需要更强的全序约束可改用memory_order_seq_cst，注意不要使用memory_order_relaxed，该参数下无任何屏障效果。
示例代码如下：

#include <stdatomic.h>

int shared_flag = 0;
int shared_data = 0;

// 写侧逻辑
shared_data = 1024;
atomic_signal_fence(memory_order_acq_rel); // 阻止编译器把shared_flag的赋值重排到shared_data之前
shared_flag = 1;

// 读侧逻辑
while (!shared_flag) {
    atomic_signal_fence(memory_order_acq_rel); // 每次循环都强制重新从内存读取shared_flag的值
}
atomic_signal_fence(memory_order_acq_rel); // 强制此处读取shared_data时重新访问内存，不会复用之前的寄存器缓存
// 此处读到的shared_data一定为1024

旧版本编译器兼容 #

如果你的开发环境不支持C11标准，可以使用编译器特定的扩展实现同等效果：

• MSVC下使用_ReadWriteBarrier()（需包含<intrin.h>头文件）
• 老版本GCC/Clang继续使用asm volatile ("" ::: "memory")

内容的提问来源于stack exchange，提问作者Harris M Snyder