关于《内存一致性与缓存一致性入门（第二版）》MSI目录协议SM^AD状态的疑问

核心概念澄清 #

首先明确SM^AD状态的含义：

• SM代表缓存块处于**Modified（修改）**状态，意味着该块原本有权限修改数据；
• ^AD是协议的扩展标记，表示该缓存块地址有效但数据无效（Address Valid, Data Invalid）。

后续加载指令命中的原因 #

• 缓存控制器的地址匹配逻辑仅校验标记（Tag）的一致性和状态的地址有效性，不会实时检查数据是否有效。当后续加载指令的地址与SM^AD块的标记匹配时，地址匹配逻辑直接判定为命中，不会触发目录查询或内存访问。
• SM^AD状态的出现场景：存储指令已完成地址翻译和缓存块定位（占住了该地址的缓存项），但数据还未写入缓存（比如存储缓冲区尚未完成数据提交），此时缓存块的地址标记是有效的，但数据仍为旧值。

存储-加载指令对返回旧值的根源 #

• 按程序顺序，存储指令应先更新缓存数据，后续加载再读取新值。但SM^AD状态下，加载指令直接命中了存着旧数据的缓存块，跳过了等待存储完成的逻辑，导致返回旧值，违反了程序顺序的存储-加载一致性约束，本质是协议允许了存储-加载重排序的可见性问题。
• 这是协议为优化存储延迟做出的设计权衡：允许存储指令先锁定缓存地址项，避免后续指令抢占缓存块，但代价是可能出现临时的旧数据可见性问题。

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