Linux内核内存模型：指针赋值与解引用的顺序保证咨询

先把你遇到的示例翻译成中文：

再举个例子，考虑以下执行序列：

CPU 1           CPU 2
    =============== ===============
    { A == 1, B == 2, C == 3, P == &A, Q == &C }
    B = 4;          Q = P;
    P = &B;         D = *Q;

这里存在一个明显的地址依赖：D加载的值依赖于CPU2从P中获取的地址。序列结束后，可能出现以下任意一种结果：

(Q == &A) 且 (D == 1)
    (Q == &B) 且 (D == 2)
    (Q == &B) 且 (D == 4)

注意：CPU2绝不会把C加载到D中，因为CPU会先将P的值加载到Q，再发起*Q的加载操作。

你的推测方向正确，以下是具体的保证依据：

1. 硬件层面的强制顺序 #

现代主流CPU（x86、ARM、RISC-V等）都遵循地址依赖强序规则：当一个加载操作（D = *Q）的目标地址完全依赖于另一个加载操作的结果（Q = P）时，硬件必须先完成前一个加载（拿到Q的地址值），再执行后一个加载。

逻辑上也说得通：CPU不知道*Q要访问哪块内存，必须先算出Q的具体值，才能发起对应的内存请求。硬件层面根本不可能乱序这两个操作——没有目标地址，后续加载无法执行。

2. Linux内核内存模型（LKMM）的明确认可 #

Linux内核内存模型中，地址依赖会自动建立操作间的顺序约束，这类约束被归类为dep（依赖）顺序。具体来说：

• 对于CPU2的Q = P; D = *Q;序列，D = *Q的加载操作依赖于Q = P的结果，LKMM会强制保证前者的执行晚于后者完成。
• 这种依赖不需要额外插入内存屏障指令，硬件本身的规则已经足够，LKMM直接将硬件的这种行为纳入模型规范。

为什么不会加载C的值 #

初始状态下Q是&C，但CPU2的Q = P会覆盖Q的原有值——而因为地址依赖的强序约束，D = *Q必然使用更新后的Q值（要么是P的初始值&A，要么是CPU1更新后的&B），绝不可能再使用原来的&C去加载内存。这也是示例明确指出不会出现D=3的核心原因。

总结：你所说的“指针写入先于后续解引用”是地址依赖约束的具体场景，本质是硬件和LKMM对依赖操作的强序保证，无需额外屏障即可确保顺序。

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