内存序是C++多线程中控制原子操作可见性与执行顺序的机制。1. 它通过std::memory_order枚举定义六种策略：memory_order_relaxed仅保证原子性；memory_order_consume保护依赖操作；memory_order_acquire确保后续读写不重排到其前；memory_order_release保证之前读写不重排到其后；memory_order_acq_rel兼具 acquire和release语义；memory_order_seq_cst提供全局顺序一致，默认最安全但性能最低。2. 典型应用如release-acquire配对实现线程间同步，确保数据写入对另一线程可见。3. 内存模型有三种：顺序一致、acquire-release和宽松模型，分别适用于安全性优先、性能优化和无同步需求场景。4. 正确选择内存序可避免数据竞争并提升性能，不确定时应默认使用seq_cst再逐步优化。
在C++多线程编程中，内存序（memory order）是控制原子操作之间内存可见性和执行顺序的关键机制。它属于C++11引入的多线程内存模型的一部分，直接影响程序在多核、多线程环境下的行为正确性与性能表现。
什么是内存序？
现代CPU和编译器为了提升性能，会对指令进行重排序（reordering），包括编译期的重排和运行时的乱序执行。在单线程下这种优化是安全的，但在多线程环境中可能导致数据竞争或逻辑错误。
C++通过std::memory_order枚举为原子操作指定不同的内存同步策略，告诉编译器和处理器哪些操作不能重排，以及何时其他线程能看到某个写操作的结果。
六种内存序及其含义
- memory_order_relaxed：最弱的约束。只保证当前原子操作的原子性，不提供同步或顺序保证。适用于计数器等无需同步的场景。
- memory_order_consume：依赖关系保护。当前读操作之后依赖该值的读写不能被重排到前面。使用较少，语义复杂，易误用。
- memory_order_acquire：获取语义。用于读操作（如load），确保后续的读写操作不会被重排到该操作之前。常用于锁或同步点的进入。
- memory_order_release：释放语义。用于写操作（如store），确保之前的读写操作不会被重排到该操作之后。常用于锁释放或共享数据发布。
- memory_order_acq_rel：兼具acquire和release语义。用于读-修改-写操作（如compare_exchange），既获取又释放。
- memory_order_seq_cst：最强的顺序一致性，默认选项。所有线程看到的操作顺序一致，相当于全局串行化。性能开销最大，但最安全。
典型应用场景示例
假设一个线程初始化数据后通知另一个线程可以使用：
立即学习“C++免费学习笔记（深入）”；
std::atomicready{false}; int data = 0; // 线程1：写入数据并发布 data = 42; ready.store(true, std::memory_order_release); // 线程2：等待数据就绪并读取 while (!ready.load(std::memory_order_acquire)) { // 等待 } assert(data == 42); // 不会触发，因为acquire-release建立了同步关系
这里release和acquire配对使用，形成“同步发生前”（synchronizes-with）关系，确保data的写入对线程2可见。
内存模型与性能权衡
C++支持三种内存模型：
- sequentially-consistent：默认模型，所有原子操作都按memory_order_seq_cst，易于理解但性能较低。
- acquire-release：使用acquire、release、acq_rel构建同步链，性能更好，适合多数并发结构（如自旋锁、无锁队列）。
- relaxed ordering：仅保证原子性，适合统计计数、状态标志等无需同步的场景。
选择合适的内存序可以在保证正确性的同时减少不必要的内存屏障（memory barrier），提升程序吞吐量。
基本上就这些。掌握内存序的核心在于理解不同线程间如何通过原子操作建立同步关系，避免数据竞争，同时不过度限制优化。实际开发中，若不确定，优先使用默认的memory_order_seq_cst，再根据性能需求逐步调整。不复杂但容易忽略细节。
