C++内存模型通过内存序规范多线程共享内存访问，核心为std::memory_order枚举。1. memory_order_relaxed仅保证原子性；2. consume用于数据依赖，但支持有限；3. acquire防止后续读写重排；4. release防止前序读写重排；5. acq_rel结合两者，用于读-修改-写操作；6. seq_cst提供全局顺序一致，性能开销最大。重排序可能导致并发逻辑错误，需用release-acquire配对确保同步，如ready.store/release与load/acquire可保证data写入可见。seq_cst避免“不可见交叉”，而弱内存序可能产生反直觉结果。选择时权衡性能与正确性：计数用relaxed，锁用acquire/release，复杂同步或易理解需求用seq_cst，避免混用导致逻辑错误。掌握各内存序语义边界是关键。
C++的内存模型（memory model）是为多线程程序定义的一套规则，用来规范不同线程之间如何访问共享内存，以及原子操作在不同处理器架构下的行为。其核心目标是保证程序在并发执行时的正确性，同时允许编译器和处理器进行合理的优化。内存模型的关键组成部分之一是内存序（memory order），它控制原子操作的顺序约束。
内存序的基本类型
C++11引入了std::memory_order枚举，用于指定原子操作的内存同步语义。常见的内存序包括：
- memory_order_relaxed：最弱的顺序保证，只保证当前原子操作的原子性，不提供同步或顺序约束。适用于计数器等无需同步的场景。
- memory_order_consume：依赖于该原子操作的数据读取不能重排到它之前。常用于指针或数据依赖关系，但实际支持有限，多数编译器将其提升为acquire。
- memory_order_acquire：用于读操作（如load），保证该操作之后的读写不会被重排到它前面。通常用于获取锁或读取共享数据前的同步。
- memory_order_release：用于写操作（如store），保证该操作之前的读写不会被重排到它后面。通常用于释放锁或发布数据。
- memory_order_acq_rel：结合acquire和release，用于读-修改-写操作（如compare_exchange_weak），既具备acquire也具备release语义。
- memory_order_seq_cst：最强的顺序一致性，默认选项。所有线程看到的操作顺序一致，提供全局顺序保证，但性能开销最大。
内存模型与重排序问题
现代CPU和编译器为了提高性能，会进行指令重排序。在单线程中这不会影响结果，但在多线程环境下可能导致逻辑错误。例如：
int data = 0; std::atomicready{false}; // 线程1 data = 42; ready.store(true, std::memory_order_relaxed); // 线程2 if (ready.load(std::memory_order_relaxed)) { assert(data == 42); // 可能失败！ }
由于relaxed没有同步语义，编译器或CPU可能将data = 42和ready.store重排，导致线程2看到ready为true时data还未写入。解决方法是使用release-acquire配对：
立即学习“C++免费学习笔记（深入）”；
// 线程1
data = 42;
ready.store(true, std::memory_order_release);
// 线程2
if (ready.load(std::memory_order_acquire)) {
assert(data == 42); // 正确：acquire确保后续读取能看到release前的写入
}
顺序一致性模型（Sequential Consistency）
memory_order_seq_cst提供最直观的行为：所有线程都看到相同的操作顺序，就像所有操作按某种全局顺序执行。例如：
std::atomicx(0), y(0); // 线程1 x.store(1, std::memory_order_seq_cst); // 线程2 y.store(1, std::memory_order_seq_cst); // 线程3 int a = x.load(std::memory_order_seq_cst); int b = y.load(std::memory_order_seq_cst); // 线程4 int c = y.load(std::memory_order_seq_cst); int d = x.load(std::memory_order_seq_cst);
在这种模型下，不可能出现a=1且c=1但b=0且d=0的情况（即“不可见交叉”）。而在更弱的内存序下，这种反直觉结果是可能的。
如何选择合适的内存序
选择内存序需要权衡性能与正确性：
- 若无需同步，仅需原子性（如统计计数），使用memory_order_relaxed。
- 实现锁或保护临界区时，用acquire/release配对即可满足需求，性能优于seq_cst。
- 跨多个变量的复杂同步逻辑，或希望代码更易理解，优先使用memory_order_seq_cst。
- 避免混用不同内存序造成逻辑漏洞，尤其注意release必须与acquire配对才能建立synchronizes-with关系。
基本上就这些。C++内存模型虽然复杂，但掌握核心概念后可以写出高效且正确的并发代码。关键是理解每种内存序的语义边界，不盲目追求性能而牺牲正确性。
