Intel CPU中Memory Ordering Nuke是什么？何时会发生？

定义 #

Memory Ordering Nuke 是 Machine Clears（机器清除） 的一个子集，本质是CPU硬件层面的纠错机制：当CPU通过推测执行完成的内存操作违反了既定的内存一致性规则时，它会清除该推测执行产生的所有副作用，把指令流回滚到推测开始前的状态。

触发场景 #

• 错误的数据推测导致内存访问顺序违规：CPU推测性加载了当前指令序列本无权访问的内存数据，后续硬件检测到这种推测打破了内存排序约束（比如依赖关系错误、内存屏障的要求没满足）
• 推测执行的内存操作引发顺序冲突：比如推测执行的存储操作和后续加载操作的顺序被颠倒，且这种顺序违反了CPU的内存模型规范
• 跨线程内存访问的推测违反可见性规则：如果推测执行的跨线程内存访问不符合内存模型的可见性要求，硬件也会触发Memory Ordering Nuke来纠正状态

引用原文描述：

例如，错误的数据推测会产生Memory Ordering Nukes[7]——Machine Clears的一个子集。

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