内存序控制原子操作的顺序性和可见性，确保多线程程序正确执行。1. 原子操作保证操作不被中断，但需内存序约束来防止指令重排；2. 六种内存序中，relaxed最弱，仅保证原子性；acquire保证后续读写不重排到其前，release保证此前读写不重排到其后；acq_rel兼具两者，seq_cst提供全局顺序一致；3. Release-Acquire配对用于线程间同步，如发布-消费数据；4. seq_cst适用于复杂场景但性能开销大；5. 合理选择内存序可平衡性能与正确性，避免默认使用seq_cst或全用relaxed。
在C++多线程编程中，内存序（Memory Order）是控制原子操作之间内存访问顺序的关键机制。它决定了原子操作如何影响其他线程对共享数据的可见性，以及编译器和CPU能否对指令进行重排。理解内存序对于编写高效且正确的并发程序至关重要。
什么是原子操作与内存序的关系
原子操作保证某个操作不会被中断，比如递增一个原子变量时不会出现中间状态。但仅靠原子性不足以确保多线程环境下的正确行为——还需要考虑操作的顺序性和可见性。
CPU和编译器为了优化性能，可能会对指令进行重排序。例如：
int data = 0;std::atomic
线程1执行：
立即学习“C++免费学习笔记（深入）”；
data = 42;ready.store(true, std::memory_order_seq_cst);
线程2执行：
if (ready.load(std::memory_order_seq_cst)) {assert(data == 42); // 这个断言一定成立吗？
如果没有合适的内存序约束，编译器或CPU可能将ready.store提前到data = 42之前，导致线程2读取到ready为true但data还未写入的情况。
六种内存序及其作用
C++提供了六种内存序选项，定义在std::memory_order枚举中：
- std::memory_order_relaxed：最弱的顺序保证。只保证原子操作自身的原子性，不提供同步或顺序约束。适合计数器等不需要同步的场景。
- std::memory_order_consume：依赖关系内的顺序保护（如指针解引用）。实际支持有限，多数编译器将其提升为acquire语义。
- std::memory_order_acquire：用于读操作（load），保证该操作之后的所有读写不会被重排到它前面。常用于获取锁或读取共享数据前的屏障。
- std::memory_order_release：用于写操作（store），保证该操作之前的所有读写不会被重排到它后面。常用于释放锁或发布数据。
- std::memory_order_acq_rel：同时具备acquire和release语义，适用于读-修改-写操作（如fetch_add）。
- std::memory_order_seq_cst：最强的顺序一致性，默认选项。所有线程看到的操作顺序一致，相当于全局串行化。
常见模式：Release-Acquire配对
这是实现线程间同步的常用方式，比顺序一致性更轻量。
示例：线程1发布数据，线程2消费数据
int data;std::atomic
线程1：
data = 42;
flag.store(1, std::memory_order_release); // 确保data写入在store之前完成
线程2：
while (flag.load(std::memory_order_acquire) == 0) { /* 等待 */ }assert(data == 42); // 此处data一定可见
当线程2通过acquire读取到flag为1时，线程1中所有在release store之前的写操作（包括data = 42）都对线程2可见。
何时使用顺序一致性
std::memory_order_seq_cst是最直观的模型，所有操作按一个全局顺序执行。适合复杂同步逻辑，但性能开销最大。
例如两个线程各自写一个原子变量：
std::atomic线程1：
x.store(true, std::memory_order_seq_cst);线程2：
y.store(true, std::memory_order_seq_cst);线程3：
assert(!(x.load(std::memory_order_seq_cst) == false && y.load(std::memory_order_seq_cst) == false));在seq_cst下，这个断言永远不会触发，因为两个store不能同时“未发生”。而在relaxed或acq/rel模式下则可能出现这种情况。
基本上就这些。合理选择内存序可以在保证正确性的同时提升性能。除非必要，不要默认使用seq_cst；而完全使用relaxed则容易出错。掌握acquire-release模式是写出高效并发代码的基础。
