如何使用Rust内联汇编实现内存屏障？

GCC 中asm volatile("":::"memory")属于纯编译器层面的内存屏障，不会生成任何CPU硬件屏障指令，核心作用有两个：一是阻止编译器将屏障前后的内存读写操作重排跨过屏障位置，二是强制编译器丢弃所有缓存到寄存器的内存值副本，屏障之后的内存访问必须重新从内存加载数据。Rust中完全可以实现同等效果，有两种常用方案：

推荐方案：使用标准库内置的编译器栅栏 #

绝大多数场景下不需要手写内联汇编，直接调用标准库封装好的编译器栅栏函数即可，效果完全等价，且是安全接口，不会因为内联汇编的选项写错触发未定义行为：

use std::sync::atomic::{compiler_fence, Ordering};

// 完全等价于GCC的asm volatile("":::"memory")
compiler_fence(Ordering::SeqCst);

这个调用是零开销的，编译后不会生成任何额外的CPU指令，仅作为给编译器的优化提示存在。

内联汇编场景下的直接对应写法 #

不少开发者查阅文档时找不到对应选项，大多是因为早期基于LLVM封装的旧版llvm_asm!没有提供显式的memory clobber配置，目前稳定版Rust默认启用的新版原生asm!已经支持该配置很久了。
如果你本身就在编写内联汇编代码块，需要直接给汇编块标记内存破坏效果，可以直接在asm!宏中使用clobber(memory)选项，搭配volatile选项即可和GCC的写法一一对应：

use core::arch::asm;

unsafe {
    asm!(
        "", // 空汇编串，不生成任何指令
        options(nostack, volatile),
        clobber(memory), // 对应GCC的"memory" clobber
    );
}

各部分的对应关系：

• volatile选项对应GCC内联汇编的volatile修饰，保证这段空汇编不会被编译器当作无副作用代码优化删除
• clobber(memory)完全对应GCC的"memory"破坏声明，告知编译器这段汇编可能修改任意内存位置，需要做访存重排限制和寄存器缓存失效处理
• nostack选项告知编译器这段汇编不会修改栈指针，避免编译器生成多余的栈调整代码，更贴近GCC空汇编屏障的编译结果

注意区分编译器屏障和硬件屏障 #

上述两种写法都是纯编译器屏障，仅阻止编译器的指令重排优化，不会生成CPU级别的内存屏障指令（比如x86的mfence、ARM的dmb），无法保证多核场景下的硬件内存序可见性。如果需要多核间的硬件内存屏障，要使用std::sync::atomic::fence接口。

内容的提问来源于stack exchange，提问作者Haoan