为何「movnti」指令后紧跟「sfence」可保证持久化操作的排序？

基础背景 #

• movnti是x86的非临时存储指令，执行时会绕过缓存层级，直接将写请求送入行填充缓冲（LFB），用来减少非必要的缓存污染。这类非临时写的传输路径和普通存储操作完全分离，不遵守x86默认的全存储排序（TSO）规则，硬件层面存在乱序提交写请求的可能。
• sfence是x86专门针对非临时写设计的弱内存屏障，核心作用是阻止屏障前后的存储操作越过屏障边界发生乱序。

认知误区校正 #

常见的误解是将sfence的屏障边界定位在“数据进入LFB”的节点，认为sfence仅能保证非临时写按顺序进入LFB。实际上这个定位存在偏差：

sfence的实际屏障位置卡在LFB到内存控制器的提交路径上，而非核心内部存储缓冲区到LFB的入口位置。
硬件设计上，sfence从逻辑上就不允许它后方的非临时写请求，越过屏障去抢占它前方写请求的提交顺序。

示例代码的执行流程 #

针对如下指令序列：

movnti [addr1], rax
sfence
movnti [addr2], rbx

硬件的实际执行链路为：

1. 第一条movnti将写请求送入对应LFB条目
2. sfence触发后，会等待该LFB条目被完全提交到内存控制器，确认写请求已经离开核心侧所有易失性缓冲区（包括核心存储缓冲、LFB）
3. 屏障正式放行，第二条movnti的写请求才会被送入LFB，后续按顺序提交到内存控制器

LFB与持久化顺序的问题解答 #

LFB确实是核心侧的易失性结构，滞留在LFB中的数据在核心断电、异常复位时会丢失，但这并不影响sfence提供的排序保证有效性：

• 硬件在将LFB条目提交到内存控制器的过程中，会严格遵守sfence建立的顺序：屏障前的LFB条目必须先于屏障后的条目完成提交，不会出现后序条目先被送到内存总线、先完成持久化的情况。
• 一旦写请求通过LFB提交到内存控制器，就进入了持久化处理路径，内存控制器的写队列会严格按接收顺序处理请求，最终写入DRAM的顺序和LFB的提交顺序完全一致，不存在乱序风险。

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