C++内存序memory_order

C++ 原子操作提供 6种内存序（memory_order），分别控制编译器和 CPU 如何对内存操作进行重排序优化，确保并发程序在多线程之间的行为可控、正确。

所有内存序（memory_order）

C++ 中 std::memory_order 的 6 种选项如下：

简明图解理解（线程内操作顺序）

• relaxed: 无序（性能最好，但易出错）

• acquire: 不能把后面的操作移到前面

• release: 不能把前面的操作移到后面

• acq_rel: 二者兼具

• seq_cst: 所有线程观察到的执行顺序一致

常见用法示例对比

默认顺序一致性 memory_order_seq_cst

#include <atomic>

std::atomic<int> x{0};  // 初始化为 0
x.store(10);                  // store (默认 seq_cst)
int v = x.load();             // load (默认 seq_cst)

顺序一致性：多线程中所有原子操作全局有序，易于理解但开销较大。 

放松序 memory_order_relaxed

#include <atomic>

std::atomic<int> x{0};  // 初始化为 0
// 线程 A
x.store(10, std::memory_order_relaxed);  // 原子写，不保证顺序

// 线程 B
int value = x.load(std::memory_order_relaxed);  // 原子读，不保证看到更新

获取 / 释放语义：典型锁实现方式

#include <atomic>

std::atomic<bool> flag{false};  // 默认未设置

// 线程 A：写线程
data = 123;  // 假设 data 是共享变量
flag.store(true, std::memory_order_release);  // 发布 data 已准备好

// 线程 B：读线程
if (flag.load(std::memory_order_acquire)) {
    // 这里看到 flag == true
    // 根据 acquire 语义：保证看到的 data = 123
    std::cout << data << std::endl;
}

这就是经典的 “写线程 release，读线程 acquire” 搭配，确保读线程看到完整写入的数据。

atomic_flag 使用场景建议的 memory_order

小结