课时

我们来分析，为什么在 C++ 中，数据竞争（ data race）不是“有时结果不对”，而是形式上的 Undefined Behavior：编译器和 CPU 因此获得了重排操作的权利。我们会区分逻辑竞态（ race condition）与数据竞争，分析诸如“ join() 会修好一切”和“ sleep_for 会有帮助”之类的典型陷阱，并展示两种基础修复方式： std::mutex 和 std::atomic。最后，我们会给出一套诊断心智图和常见错误清单。

整理 std::atomic 在 C++ 中的基础操作“词典”：原子性的读/写 通过 load() 和 store()，RMW（读-改-写）操作系列 fetch_add()/ fetch_sub() 及按位操作 fetch_and()/ fetch_or()/ fetch_xor()，通过 exchange() 的“替换并返回”，以及通过 compare_exchange_weak/ compare_exchange_strong 的条件更新（CAS）。解析常见模式（ticket、状态机、原子性 max）、mermaid 图示以及导致丢失更新和罕见 bug 的常见错误。

讲解为什么在 std::atomic 中存在 std::memory_order：原子性与有序性有何区别，为什么默认在 load()/ store()/ fetch_add() 中使用 std::memory_order::seq_cst，在哪些场景下适合使用 std::memory_order::relaxed（指标和计数器），以及哪些典型错误会导致多线程代码中罕见且难以捕获的 bug。

我们解析 C++ 内存模型中的数据发布协议：如何通过 std::memory_order_release（发布）与 std::memory_order_acquire（获取）配合，保证线程间已准备数据的可见性。展示了最小化的 producer/consumer 模板、关键不变式（何时正确、何时会出现 data race）、与 relaxed/ seq_cst 的比较，以及一个使用 memory_order_acq_rel 的读-改-写 示例。

解析在 C++20/23 中如何在不燃烧 CPU 的情况下等待原子值的变化：为什么 std::atomic<T>::wait() 比 spin-wait 更好，如何正确地将 wait() 与 notify_one()/ notify_all() 结合使用，为什么等待几乎总是通过 while 来实现，以及如何通过 memory_order_release/ memory_order_acquire 发布数据。单独查看极简标志 std::atomic_flag 和“只做一次”模式。