在 C++11 之后，标准库正式引入了完整的内存模型，旨在为多线程程序提供一致且可预期的行为。理解这一模型不仅能帮助避免隐藏的竞争条件，还能让你在并发代码中有效利用硬件特性。本文从内存模型的基本概念入手，阐述同步原语的实现机制，并给出实际使用场景的代码示例。
1. 内存模型的核心概念
1.1 操作序列（Execution Order）
程序中的每个线程都有自己的“程序顺序”，即指令在该线程内部按出现顺序执行。然而，多线程之间的操作并不一定按程序顺序发生；它们可能被重新排序、缓存或者并行执行。
1.2 happens‑before 关系
内存模型通过 happens‑before 关系来保证可见性和原子性。若操作 A happens‑before 操作 B，则 B 观察到 A 的副作用。典型的发生关系来源于：
- 程序顺序规则：同一线程中，前后顺序的操作自然满足 happens‑before。
- 同步操作：锁、条件变量、原子操作等均可建立 happens‑before 关系。
1.3 失效与未定义行为
若没有满足 happens‑before 关系，多个线程对同一共享内存进行读写，则会导致 数据竞争，从而产生未定义行为。编译器在此情况下可自由重排指令，甚至优化掉某些操作。
2. 原子操作与内存序
2.1 std::atomic
C++ 标准库提供了 `std::atomic
` 模板，用于原子读写、原子比较交换（compare_exchange）等。它本身并不保证可见性，还需结合内存序来控制。 “`cpp std::atomic counter{0}; // 原子递增 void inc() { counter.fetch_add(1, std::memory_order_relaxed); } “` ### 2.2 内存序类型 – `memory_order_relaxed`：仅保证操作的原子性，不做任何同步或可见性保证。 – `memory_order_acquire` / `memory_order_release`：在获取/释放锁时常用，形成 **acquire-release** 语义。 – `memory_order_acq_rel`：复合语义，既兼具 acquire 又兼具 release。 – `memory_order_seq_cst`：强制序贯一致性，所有线程看到的顺序相同。是默认值。 **示例**：在生产者-消费者模型中，使用 `acquire-release` 语义即可实现线程安全而无全局序列化。 “`cpp std::atomic ready{false}; void producer() { // 做准备工作 ready.store(true, std::memory_order_release); } void consumer() { while (!ready.load(std::memory_order_acquire)) { // 等待 } // 读取共享资源 } “` ## 3. 内存栅栏（Memory Fence） 有时需要在多个非原子操作之间插入内存栅栏，以确保某些操作的可见性。C++ 标准提供 `std::atomic_thread_fence()`。 “`cpp int a = 0; int b = 0; // 线程 1 a = 1; std::atomic_thread_fence(std::memory_order_release); b = 1; // 线程 2 int rb = b; std::atomic_thread_fence(std::memory_order_acquire); int ra = a; “` 上述代码确保线程 2 在读取 `b` 后，能看到 `a` 的写入。 ## 4. 典型同步原语实现 ### 4.1 std::mutex 与 std::lock_guard `std::mutex` 采用 **acquire-release** 语义实现。`std::lock_guard` 自动持锁/解锁，简化代码。 “`cpp std::mutex mtx; int shared = 0; void safe_increment() { std::lock_guard lock(mtx); ++shared; } “` ### 4.2 std::atomic_flag `std::atomic_flag` 是最轻量级的原子类型，适用于简单的锁（如自旋锁）。 “`cpp std::atomic_flag flag = ATOMIC_FLAG_INIT; void spin_lock() { while (flag.test_and_set(std::memory_order_acquire)) { // busy-wait } } void spin_unlock() { flag.clear(std::memory_order_release); } “` ## 5. 常见陷阱与最佳实践 | 场景 | 陷阱 | 解决方案 | |——|——|———-| | 共享变量读写 | 忽略 atomic 或 memory_order | 使用 `std::atomic` 或 `std::atomic_ref` | | 锁竞争 | 过度使用 `seq_cst` | 仅在需要全局顺序时使用，其他使用 acquire/release | | 线程安全单例 | 双重检查锁定（double-checked locking） | C++11 随机数 `std::call_once` 或局部静态变量 | | 数据竞争 | 未检测 | 使用线程安全工具如 ThreadSanitizer | ## 6. 结语 C++ 的内存模型为多线程编程提供了一套严谨的语义约束，帮助我们在不牺牲性能的前提下实现安全的并发。掌握 `happens‑before` 关系、正确使用 `std::atomic` 与内存序、以及理解锁的实现细节，是成为 C++ 并发高手的关键。随着 C++20 及更高版本对协程、概念、范围等特性的补充，未来的并发模型将更加丰富与直观。希望本文能为你在并发编程旅程中提供清晰的指引。