1. 引言在多线程编程中内存序memory order决定了多个线程对同一原子变量操作的可见性和顺序。C11 引入了一套完善的内存模型提供了从松散到严格的不同内存序选项。其中acquire-release和sequentially-consistent是最常被使用的两种顺序保证。本文将深入解析它们的语义、区别、适用场景以及常见的实践误区帮助你在编写高性能并发代码时做出正确选择。2. 基础概念回顾在讲解 acquire-release 和 sequentially-consistent 之前我们先快速回顾几个关键概念happens-before 关系如果操作 A 在代码顺序上先于操作 B且两者间存在适当的同步则 A 的副作用对 B 可见。synchronizes-with 关系通常由 acquire-release 操作建立表示一个线程的 release 操作与另一个线程的 acquire 操作之间的同步。顺序一致性seq_cst所有线程观察到的所有原子操作的修改顺序都一致就好像这些操作在一个全局时钟下顺序执行。3. Acquire-Release 语义acquire 和 release 操作通常成对出现一个线程对原子变量执行store(release)另一个线程对同一个原子变量执行load(acquire)。这种成对的使用能建立跨线程的synchronizes-with关系从而保证释放操作之前的所有写操作对获取操作之后的所有读操作可见。3.1 什么是 Release 操作一个带std::memory_order_release的 store 操作会将其之前的所有内存写入包括非原子操作“发布”出去使得后续的 acquire 操作能够“看到”这些写入。可以将 release store 想像成一道 “写屏障”屏障前的所有写操作必须在屏障后的任何读操作之前完成。3.2 什么是 Acquire 操作一个带std::memory_order_acquire的 load 操作会阻止其之后的读或写操作被重排到这个 load 之前。同时这个 load 能够“获取”到与之配对的 release store 之前的所有写入。可以将 acquire load 想像成一道 “读屏障”他保证后续操作不会在看到他需要的状态之前被提前执行。3.3 典型示例生产者-消费者下面是一个典型的生产者-消费者模式仅使用 acquire-release 同步#include atomic #include thread #include cassert struct Payload { int a, b; }; std::atomicPayload* ptr{nullptr}; std::atomicint data_ready{0}; Payload data; // 非原子数据 void producer() { data.a 10; data.b 20; // 1. 发布 non‑atomic 数据 // 2. store(Pointer) with memory_order_release ptr.store(data, std::memory_order_release); // 3. 设置标志位使得消费者可以开始读 data_ready.store(1, std::memory_order_release); } void consumer() { // 等待生产者完成 while (data_ready.load(std::memory_order_acquire) 0); // 此时 data_ready 的 acquire 与 producer 中 data_ready 的 release 配对 // 保证 data.a, data.b 和 ptr 的写入对当前线程可见 Payload* p ptr.load(std::memory_order_acquire); // 此时 p 指向的 Payload 内数据保证已经初始化为 10 和 20 assert(p-a 10); assert(p-b 20); }在上面的代码中data_ready的 release/acquire 形成了同步关系确保消费者看到的都是正确的数据。需要注意的是ptr的 load 使用了 acquire这进一步加强了对payload内部成员的可见性保证。3.4 Acquire-Release 链acquire-release 语义允许构建跨多个线程的因果链。例如线程 A release 变量 x线程 B acquire x 并随后 release 变量 y线程 C acquire y则 C 能观察到 A 释放之前的所有写入。这提供了比松散顺序更强的保证但开销又低于全顺序一致性。4. Sequentially-Consistent 语义带std::memory_order_seq_cst的操作简称 seq_cst提供了最强的顺序保证。在所有使用 seq_cst 的原子操作上都存在一个单一的全局修改顺序所有线程观察到的该顺序完全一致。这不仅要求单个变量的 acquire-release 语义还要求不同变量之间的操作顺序对所有线程可见是全局一致的。4.1 全局总序对于任何两个使用 seq_cst 的操作 A 和 B即使它们操作的是不同的原子变量所有线程都必须以相同的顺序观察到它们的发生。这意味着 seq_cst 操作形成了一个全序total order而不仅仅是部分变量的部分序。4.2 示例Dekker 算法下面的经典 Dekker 算法利用 seq_cst 保证了互斥和顺序#include atomic #include thread #include cassert std::atomicbool flag1{false}; std::atomicbool flag2{false}; std::atomicint turn{1}; // 表示哪个线程让步 void thread1() { flag1.store(true, std::memory_order_seq_cst); // 1 turn.store(2, std::memory_order_seq_cst); // 2 // 等待 thread2 释放或 turn 1 while (flag2.load(std::memory_order_seq_cst) turn.load(std::memory_order_seq_cst) 2); // critical section // ... flag1.store(false, std::memory_order_seq_cst); } void thread2() { flag2.store(true, std::memory_order_seq_cst); // 3 turn.store(1, std::memory_order_seq_cst); // 4 while (flag1.load(std::memory_order_seq_cst) turn.load(std::memory_order_seq_cst) 1); // critical section // ... flag2.store(false, std::memory_order_seq_cst); }因为所有操作都是 seq_cst两个线程在乱序执行时也会遵循全局一致顺序不会出现两个线程同时进入临界区的情况。如果只使用 acquire-releaseDekker 算法在某些体系结构如 PowerPC上可能失败因为 store 操作可能被重新排序导致两个线程同时看到对方为 false。4.3 性能开销seq_cst 在 x86 平台上的开销与 acquire-release 相当因为 x86 内存模型本来就很强。但在 ARM 或 PowerPC 等弱内存序平台上seq_cst 需要额外的内存屏障指令如 dmb来维护全局顺序会带来明显的性能损失。因此在只需要变量间同步的场景应优先考虑 acquire-release。5. 对比与区别下表总结了两种内存序的主要差异特性acquire-releasesequentially-consistent语义强度较弱部分序最强全局全序happens-before仅在成对的 release/acquire 间建立同步所有 seq_cst 操作都在同一全局顺序中保证了更广泛的 happens-before 关系典型用途生产者-消费者、锁的实现内部、引用计数需要多个原子变量间保持全局顺序的算法如 Dekker、Peterson 锁性能强序平台开销低x86 上几乎无额外成本在 x86 上通常也低但编译器可能生成更保守的代码性能弱序平台开销较低仅需 insert fence 用于 store/load 组合开销高需要全屏障 dmb/stlr 等重排限制只防止特定方向的重排全局顺序约束更强基本禁止跨 seq_cst 操作的重排6. 选择建议与实践在实践中大多数同步需求都可以通过memory_order_release和memory_order_acquire满足例如发布一个对象供其他线程读取如上述生产者-消费者。实现无锁数据结构中的引用计数增减通常还需要配合memory_order_acq_rel或 seq_cst 用于比较交换。保护共享数据的互斥锁内部通常使用 acquire-release 语义获取锁对应 acquire释放锁对应 release。当算法需要多个原子变量之间保持全局一致顺序时例如多处理器间的仲裁算法才应当使用memory_order_seq_cst。不假思索地到处使用 seq_cst 虽然能保证正确性但往往牺牲了性能。编写并发代码时应遵循 “用尽可能弱但足以保证正确性的内存序” 原则。7. 总结Acquire-Release提供线程间的成对同步保证释放前的写入对获取后的可见。是构建高效并发程序的基础。Sequentially-Consistent提供全局唯一全序保证所有 seq_cst 操作在所有线程眼中都以相同顺序发生。用于需要全局仲裁的复杂算法。在弱内存序平台上seq_cst 可能带来显著性能开销应仅在必要时使用。理解内存模型有助于编写既正确又高效的并发代码减少因重排引起的诡异 bug。掌握 C 内存模型中 acquire-release 和 sequentially-consistent 的本质将使你在多线程编程中游刃有余地平衡正确性和性能。