17370845950

std::memory_order是一组枚举值，用于约束原子操作周围内存访问的重排行为及跨线程可见性，不改变原子性本身；它解决编译器/CPU重排导致的多线程同步失效问题，含relaxed、consume（弃用）、acquire、release、acq_rel、seq_cst六种，其中acquire-release配对构成核心同步模型。

std::memory_order 是什么

它是一组枚举值，用来告诉编译器和 CPU：在执行原子操作时，周围的普通读写操作**可以怎么重排**、**对其他线程可见的顺序如何保证**。它不改变原子操作本身的原子性，而是控制该操作与其他内存访问之间的**同步关系和可见性边界**。

为什么需要内存序

现代 CPU 和编译器为了性能，会做两类重排：

• 编译器重排：在不改变单线程语义的前提下，调整指令顺序（比如把读操作提前）
• CPU 重排：乱序执行、写缓冲区延迟刷新、缓存不一致等，导致多线程下看到的执行顺序和代码顺序不一致

如果没有显式约束，两个线程可能永远看不到彼此的修改——看似正确的原子变量，实际无法完成同步。内存序就是为了解决这个问题而设的“围栏”或“承诺”。

六种 memory_order 及典型用途

注意：所有 memory_order 都只对当前这条原子操作生效，影响的是它与前后非原子/原子访问的相对顺序。

• memory_order_relaxed：最弱。仅保证该原子操作自身是原子的，不施加任何顺序约束。适用于计数器、句柄生成等无需同步的场景。
• memory_order_consume：已基本被弃用。理论上用于数据依赖关系（如指针解引用），但因实现复杂且易出错，实践中建议用 acquire 替代。
• memory_order_acquire：用于读操作（load）。保证该 load 之后的所有读写（包括非原子）不能被重排到它前面。常作为“获取锁”或“读取共享数据前的同步点”。
• memory_order_release：用于写操作（store）。保证该 store 之前的所有读写（包括非原子）不能被重排到它后面。常作为“释放锁”或“写完共享数据后的同步点”。
• memory_order_acq_rel：用于读-改-写操作（如 fetch_add、compare_exchange）。兼具 acquire 和 release 的语义，即前后都不可重排。
• memory_order_seq_cst：默认值，最强。所有带此序的原子操作构成一个全局单一执行顺序，就像所有线程按某种统一时间线串行执行一样。安全但可能有性能代价。

acquire-release 配对是核心模式

这是最常用也最关键的同步模型。它不要求全局顺序，只要求两件事：

• 线程 A 执行了 flag.store(true, memory_order_release)，且之前写了数据 data = 42
• 线程 B 执行了 if (flag.load(memory_order_acquire)) { use(data); }
• 那么一旦 B 看到 flag == true，就一定能安全读到 data == 42 —— 编译器和 CPU 都不会把 data = 42 重排到 store(flag) 后面，也不会把 use(data) 重排到 load(flag) 前面

这种配对构成了“synchronizes-with”关系，是 C++ 内存模型中定义正确同步的基础。

别盲目用 seq_cst，但也别过早优化

初学时用 memory_order_seq_cst 没问题，逻辑清晰、不易出错；等你明确知道瓶颈在哪、且确认 relax/acquire/release 能满足语义时，再谨慎替换。比如无锁队列、RCU、信号量内部等场景才真正需要细粒度控制。多数业务代码里，用好 mutex 或 atomic + seq_cst 就足够安全。