C++11内存模型：编译器优化限制与原子操作竞态问题问询

问题1：C++11前的虚构写入、推测性存/加载是什么？哪些被禁止？优化重要性？ #

概念解释 #

• 虚构写入（Spurious Writes）：编译器为优化生成的无业务逻辑需求的内存写入指令。比如对变量读取后，额外写入一个相同的值，或是合并多次读操作时插入不必要的写入，单线程下不影响结果，但多线程中可能触发其他线程的同步逻辑，引发意外数据竞争。
• 推测性存储/加载（Speculative Stores/Loads）：编译器或CPU为提升流水线效率，在条件分支结果未确定时提前执行的存/加载操作。比如if分支内的存储，CPU可能先写入内存，后续条件不成立再回滚；单线程回滚能保证正确性，但多线程下回滚前的写入可能被其他线程观测到，导致竞态。

被禁止的操作 #

C++11标准明确要求任何编译器优化不得引入原本不存在的数据竞争，因此：

• 虚构写入：若写入会干扰其他线程对同一变量的原子访问或同步逻辑，这类无意义写入被禁止。
• 推测性操作：推测性加载若可能读取到其他线程的修改数据且回滚无法消除影响，被禁止；推测性存储若可能被其他线程观测到（即使后续回滚），也被禁止。

优化的重要性 #

这类优化在单线程场景中能显著提升性能：减少内存访问次数、利用CPU流水线并行执行。但多线程场景下会破坏内存模型正确性，因此C++11后编译器必须在保证无额外数据竞争的前提下，有限度地应用这类优化。

问题2：“不会引发竞态/竞态但定义明确的原子内存操作”指什么？ #

这里指的是C++标准定义的内置原子操作，其语义基于硬件原子操作实现，但最终由C++标准规范行为。

不会引发竞态的原子操作 #

所有通过std::atomic模板定义的对象操作，只要符合标准使用方式，都不会引发未定义行为的数据竞争。因为原子操作的核心就是保证对共享内存的访问不可被其他线程操作打断，例如：

• std::atomic<int> x; x.store(42, std::memory_order_relaxed);
• x.load(std::memory_order_acquire);

竞态但定义明确的原子操作 #

这里的“竞态”指多个线程同时对同一原子变量执行操作，但C++标准明确规定了此类场景下的行为，不属于未定义行为，例如：

• 原子自增/自减：多线程同时调用x.fetch_add(1)，最终结果为所有线程操作的总和，每个操作均原子完成，不会出现中间值被破坏的情况。
• 比较并交换（CAS）操作：x.compare_exchange_weak(expected, desired)，多线程并发执行时，仅当当前值等于expected时才会更新为desired，否则expected会被同步为当前值，整个过程原子性有保障。
• 宽松内存序原子操作：使用std::memory_order_relaxed的加载/存储，多线程并发时操作顺序可能不确定，但每个操作本身是原子的，不会出现数据竞争导致的未定义行为，仅内存可见性规则更弱。

内容的提问来源于stack exchange，提问作者ABu