c++原子操作的内存序(memory_order)该如何选择？ (深入std::atomic)

穿越時空

发布时间：2026-01-11 13:45:10

730人浏览过

来源于php中文网

原创

memory_order_relaxed 在仅需单个原子操作不被重排、且不依赖其他内存操作顺序时够用，如计数器、无依赖状态标志；误用会导致数据竞争，因它不约束非原子访问的重排。

c++原子操作的内存序(memory_order)该如何选择？ (深入std::atomic)

memory_order_relaxed 什么时候够用？

当只需要保证单个原子变量的读写不被编译器或 CPU 重排破坏（即操作本身是原子的），但不关心它与其他内存操作的顺序时，memory_order_relaxed 是最轻量的选择。典型场景是计数器、引用计数、状态标志位（只要不依赖其他变量的值）。

常见错误现象：误以为 relaxed 能同步其他非原子变量——它完全不管别的内存访问，哪怕前后紧挨着的 int x = 42; 也可能被重排到原子操作之前或之后。

适用：自增计数器（如日志条目 ID）、无依赖的状态标记（如 is_shutdown.load(memory_order_relaxed)）
不适用：发布-订阅模式中“先写数据，再置 flag”，因为其他线程可能看到 flag 已置但数据未就绪
性能影响：几乎无开销，现代 CPU 上通常编译为普通 load/store 指令

memory_order_acquire 和 release 配对解决什么问题？

这是最常用的一对，用于实现“同步点”：一个线程用 memory_order_release 写入原子变量，另一个线程用 memory_order_acquire 读取它，就能保证 release 之前的所有内存操作（包括对非原子变量的写）对 acquire 之后的操作可见。

本质是建立 happens-before 关系，不是靠“刷新缓存”，而是靠 CPU 的内存屏障指令约束重排边界。

立即学习“C++免费学习笔记（深入）”；

典型模式：

std::atomic ready{false};
int data = 0;

// 线程 A
data = 42;                           // 非原子写
ready.store(true, std::memory_order_release);  // release 写

// 线程 B
while (!ready.load(std::memory_order_acquire)) { }  // acquire 读
std::cout << data;  // 此时 data 一定是 42

错误用法：单独用 acquire 读一个从未被 release 写过的变量，无法建立同步；或者用 relaxed 替代其中一端，同步失效
注意：acquire/release 不保证全局顺序一致（不同线程看到的多个原子操作顺序可能不同），只保证配对的那一对之间有顺序

为什么 memory_order_seq_cst 是默认且最安全的？

std::atomic 所有成员函数的默认内存序就是 memory_order_seq_cst，因为它提供顺序一致性模型：所有线程看到的原子操作执行顺序是一致的，且每个原子操作都像在某个全局时间线上瞬间完成。

Short AI

AI短视频生成器，轻松创作爆款短视频！

下载

代价是显著性能损失——x86 上多数 seq_cst 写需 mfence（比 release 的 mov + store buffer 刷新重得多），ARM/AArch64 上更明显。

必须用 seq_cst 的场景：实现锁、信号量、需要跨多个原子变量推理全局顺序（如双链表插入+计数更新必须严格有序）
可降级的情况：确认没有多变量依赖、无循环等待、且已通过 TSAN 或形式化验证——这时改用 acquire/release 或 relaxed 能提升吞吐
陷阱：混用 seq_cst 和 acquire/release 可能打破预期顺序；例如一个 seq_cst 写和一个 release 写对同一变量，其相对顺序仍受 seq_cst 约束，但容易误判