4K别名下加载重发的机制及循环重发可能性的技术问询

加载重发时的具体行为 #

• 触发重发后，CPU会立即撤销当前加载操作已生成的错误结果（如果有的话），然后重新发起该加载请求。
• 重发的加载会采用完整物理地址进行存储缓冲区匹配，不再仅依赖最后12位，从根源避免4K别名导致的误匹配。
• 重发过程中，所有依赖该加载结果的后续指令会被暂停执行，直到重发加载完成并获取到正确数据后，才会恢复指令流的执行。

是否会出现持续循环重发？ #

不会。加载重发仅针对“低12位匹配但完整地址不匹配”的误判场景：

• 重发时使用完整地址匹配存储缓冲区，只要没有真正的地址冲突（只是别名误判），就能直接跳过存储缓冲区，从缓存或主存读取数据，不会再次触发重发。
• 如果存储缓冲区中存在与加载地址完全匹配的未提交存储，加载会等待该存储完成后再执行，但这是正常的内存一致性保障逻辑，不属于循环重发的情况。

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