44. 内存排序：memory_order、原子操作

说到多线程编程，很多人第一反应就是加锁。但锁不是万能的，性能开销也大。C++11 引入了一套更底层的工具——原子操作配合内存排序。说实话，这块内容我当年啃了好几遍才真正吃透。

你想想看，CPU 为了跑得更快，会乱序执行指令。编译器为了优化，也会重排代码。单线程下这些都没问题，但多线程一上来，事情就变得微妙了。

为什么需要内存排序？

先看一个经典例子：

int data = 0;
bool ready = false;

// 线程1
data = 42;          // 写数据
ready = true;       // 写标志

// 线程2
if (ready) {        // 读标志
    assert(data == 42);  // 可能失败！
}

我在项目中就遇到过类似的 bug。当时排查了两天才发现，不是逻辑错了，而是 CPU 把 ready = true 提前执行了。线程2 看到 ready 为 true，但 data 还是 0。

这就是内存排序要解决的问题——保证多线程间对共享变量的访问顺序符合你的预期。

memory_order 六种模式

C++ 标准定义了六种内存序，我按强度从弱到强给你捋一遍：

枚举值	含义	典型用途
memory_order_relaxed	最宽松，只保证原子性	计数器、统计量
memory_order_consume	数据依赖序（基本不用）	极少场景，建议避开
memory_order_acquire	禁止后面读操作重排到前面	读锁、加载标志
memory_order_release	禁止前面写操作重排到后面	写锁、设置标志
memory_order_acq_rel	acquire + release 合并	读-改-写操作
memory_order_seq_cst	全局顺序一致（默认）	默认选择，性能稍低

我个人习惯是：默认用 seq_cst，只有性能瓶颈明显时才降级。别为了炫技用 relaxed，坑太多。

核心组合：release-acquire 语义

这是最常用的配对模式。说白了就是：一个线程 release 写入，另一个线程 acquire 读取，就能看到写入之前的所有操作。

用原子变量重写刚才的例子：

std::atomic<int> data{0};
std::atomic<bool> ready{false};

// 线程1
data.store(42, std::memory_order_release);
ready.store(true, std::memory_order_release);

// 线程2
if (ready.load(std::memory_order_acquire)) {
    assert(data.load(std::memory_order_acquire) == 42);  // 保证成功
}

这里的关键是：release 保证 data = 42 在 ready = true 之前完成。而 acquire 保证看到 ready = true 时，data 的最新值也能看到。

relaxed 模式：小心使用

memory_order_relaxed 只保证原子性，不保证任何顺序。适合什么场景？

• 统计访问次数
• 生成唯一 ID
• 不需要同步其他数据的计数器

std::atomic<int> counter{0};

// 多个线程同时调用
void increment() {
    counter.fetch_add(1, std::memory_order_relaxed);
}

我曾经在日志系统里用 relaxed 做消息序号生成，跑得飞快。但注意，如果你需要根据计数器的值做决策，relaxed 就不够用了。

seq_cst：最安全但最慢

默认的 memory_order_seq_cst 保证全局顺序一致。所有线程看到的原子操作顺序都一样。这听起来很美好，但代价是性能——每次操作都要插入内存屏障。

什么时候用 seq_cst？

• 你不太确定该用哪种内存序
• 代码需要严格的可移植性
• 性能不是瓶颈

我个人的经验是：先写 seq_cst，跑通后再考虑优化。很多项目根本到不了需要优化内存序那一步。

内存排序的核心逻辑

下面这张图展示了不同内存序之间的可见性关系：

常见误区

我见过不少开发者踩过这些坑：

• 以为原子操作自带同步——原子性不等于可见性，还需要合适的内存序
• 混用不同内存序——一个线程用 release，另一个用 relaxed，等于白搭
• 过度使用 seq_cst——在性能敏感场景下，seq_cst 可能成为瓶颈

实际项目中的选择策略

嗯，这里我总结一下自己的经验：

1. 无锁数据结构：通常需要 release-acquire 或 acq_rel
2. 引用计数：relaxed 就够了，因为不需要同步其他数据
3. 自旋锁：acq_rel 或 seq_cst
4. 生产者-消费者：release-acquire 配对

说白了，内存排序就是让你在性能和正确性之间做权衡。选对了，程序跑得又快又稳；选错了，要么性能差，要么出诡异的 bug。

我个人建议：先把默认的 seq_cst 用熟，再慢慢理解其他模式。一口吃不成胖子，内存排序这东西，得在实际项目中慢慢积累感觉。