从 Store Buffer 与 Invalidate Queue 理解 C++ 内存序

Tue, 01 Sep 2026 14:45:00 +0800

多核程序最难理解的地方，不是“多个线程同时执行”，而是不同核心可能以不同时间、不同顺序观察到内存操作。C++ 原子内存序就是程序员与编译器、处理器之间的约定：哪些重排被允许，哪些读写必须建立跨线程的先后关系。

本文重点解释四种常见内存序：relaxed、release、acquire 和 seq_cst，并把它们与 CPU 中的 Store Buffer、Invalidate Queue 联系起来。先给出结论：

relaxed 只保证单次原子访问不可分割，不负责发布其他数据；
release 用于发布，保证它前面的操作不会越过发布点跑到后面；
acquire 用于接收，保证它后面的操作不会越过接收点跑到前面；
当 acquire 读到 release 写入的值时，两线程之间建立 synchronizes-with，进而形成 happens-before；
seq_cst 在 acquire/release 的基础上，再要求所有 seq_cst 操作进入一个全局一致的单一顺序。

1. 为什么原子性还不够

看一个典型的消息发布程序：

#include <atomic>
#include <cassert>

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

void producer() {
    payload = 42;
    ready.store(true, std::memory_order_release);
}

void consumer() {
    while (!ready.load(std::memory_order_acquire)) {
    }
    assert(payload == 42);
}

payload 不是原子变量，但这个程序没有数据竞争。原因不是 ready 本身具有原子性，而是 release/acquire 建立了下面这条关系链：

producer                                      consumer

payload = 42
     │ sequenced-before                            ▲
     ▼                                             │ happens-before
ready.store(true, release) ─ synchronizes-with ─> ready.load(acquire)
                                                   │ sequenced-before
                                                   ▼
                                              read payload

如果 acquire load 读到了 release store 写入的 true，那么 release 之前的操作 happens-before acquire 之后的操作。因此 consumer 看到 ready == true 后，也必须看到此前发布的 payload == 42。

内存模型 on Hellokitty's Blog

从 Store Buffer 与 Invalidate Queue 理解 C++ 内存序

1. 为什么原子性还不够