C++内存模型描述了多线程程序中原子对象、非原子对象以及线程间同步操作的语义规范。它规定了不同线程对内存的读写在什么条件下是合法的，以及如何避免数据竞争。理解内存模型是编写正确并发程序的前提。
什么是C++内存模型
C++11标准引入了内存模型，其核心目标是为多线程执行提供可移植且明确的语义。内存模型回答了几个关键问题：一个线程写入的值何时对其他线程可见，多个线程并发访问同一变量是否安全，以及编译器和CPU可以做哪些重排优化。
在没有数据竞争的前提下，C++内存模型保证程序具有定义良好的行为。如果多个线程同时访问同一个非原子变量且至少有一个是写操作，而又没有使用互斥量或原子操作进行同步，就会产生未定义行为。
顺序一致性的基础原理
顺序一致性（sequential consistency）是最强、也最易理解的内存模型。它包含两个直观的保证：
- 每个线程内部的操作按程序顺序执行；
- 所有线程的操作存在一个全局的总顺序，且每个线程看到的顺序都与此全局顺序一致。
在顺序一致性下，不会发生操作重排导致跨线程观察不一致的情况。下面的代码展示了使用顺序一致性原子变量的典型场景：
#include <atomic>
#include <thread>
#include <iostream>
std::atomic<int> x(0);
std::atomic<int> y(0);
void thread_a() {
x.store(1, std::memory_order_seq_cst); // 顺序一致性写
y.store(1, std::memory_order_seq_cst);
}
void thread_b() {
// 若观察到y为1，则x必然已为1
while (y.load(std::memory_order_seq_cst) == 0) {}
std::cout << x.load(std::memory_order_seq_cst) << std::endl;
}
int main() {
std::thread a(thread_a);
std::thread b(thread_b);
a.join();
b.join();
return 0;
}
上述代码中，所有原子操作都使用std::memory_order_seq_cst，即顺序一致性。线程b在看到y为1后，必然也能看到x为1，因为全局顺序保证了x的写先于y的写生效。
原子操作的基础原理
原子操作是指不会被线程调度机制打断的操作，要么完全执行，要么完全不执行。C++通过std::atomic模板提供原子类型，其读写、交换、比较交换等操作都是原子的。
原子操作不仅避免数据竞争，还允许通过内存顺序参数放松同步要求，从而减少性能开销。常用的内存顺序包括：
| 内存顺序 | 说明 |
|---|---|
| memory_order_relaxed | 仅保证原子性，不提供同步或顺序约束 |
| memory_order_acquire | 读操作，后续读写不能重排到其前面 |
| memory_order_release | 写操作，前面的读写不能重排到其后面 |
| memory_order_acq_rel | 读改写操作同时具备acquire和release语义 |
| memory_order_seq_cst | 顺序一致性，默认最强保证 |
例如，使用release-acquire配对可以实现线程间单方向同步：
#include <atomic>
#include <thread>
std::atomic<bool> ready(false);
int data = 0;
void producer() {
data = 42; // 普通写
ready.store(true, std::memory_order_release); // 释放写
}
void consumer() {
while (!ready.load(std::memory_order_acquire)) { // 获取读
// 等待
}
// 此处一定能读到data == 42
}
这里release和acquire形成同步关系，保证consumer在看到ready为true时，producer在此之前对data的修改对其可见。相比顺序一致性，这种方式在支持的硬件上开销更小。
总结
C++内存模型为并发程序提供了严谨的语义基础。顺序一致性模型易于推理但性能成本较高；原子操作配合不同内存顺序，可以在正确性和效率之间取得平衡。掌握这些基础原理，是构建可靠多线程系统的第一步。