内联汇编的内存模型与编译器屏障

在Rust中使用asm!宏时如何正确控制内存顺序、避免编译器优化破坏并发逻辑 · 难度：入门 · +10XP

内联汇编的内存模型与编译器屏障

asm!宏在Rust中提供底层控制，但简单使用会导致编译器将内存访问重排序或优化掉。本教程讲解asm!中的clobber_abi、选项（nostack、preserves_flags等）、以及“memory” clobber与compiler_fence的区别。还会展示如何实现轻量级自旋锁和原子操作的自定义版本，以及unsafe代码中内存顺序（Ordering）与LLVM IR的对应关系。

use std::arch::asm;
fn atomic_store(ptr: *mut u32, val: u32) {
    unsafe {
        asm!(
            "mov [{}], {}",
            in(reg) ptr,
            in(reg) val,
            options(nostack, preserves_flags)
        );
        // 需要编译器屏障？
        asm!("" : : : "memory" : "volatile"); // 软化屏障
    }
}
// 更好的做法：使用compiler_fence
use std::sync::atomic::{compiler_fence, Ordering};