x86 TSO内存模型中“输掉写入竞争”的存储操作去向探究

问题1：“输掉写入竞争”的本地存储缓冲内容会如何处理？ #

在x86的TSO（全存储顺序）模型中，当P2的X=2先写入共享内存后，P1存储缓冲里的X=1不会被直接删除，但也绝不会最终写入共享内存。

x86依赖MESI这类缓存一致性协议保证全局内存一致性：当P1尝试将本地缓冲中的X=1刷入共享内存时，会先检测X对应的缓存行状态——此时该缓存行已被P2修改并标记为“已修改”或“独占”状态，P1无法获得写入所需的独占权限。这时硬件会自动作废P1缓冲里的X=1写入请求，不会让旧值覆盖共享内存中的新值，因此后续所有处理器读X都会得到2，不会出现回退到1的情况。

TSO仅保证单个处理器的写入按本地顺序提交到全局，但全局写入顺序可能和本地顺序不同，缓存一致性协议会兜底确保全局只有一个有效写入结果。

问题2：Russ Cox论文表述的“矛盾”解析 #

这两段表述并不矛盾，核心是要理解存储缓冲、缓存一致性协议和读操作的交互逻辑：

• “处理器读操作先查本地缓冲再查共享内存”：这是TSO保证“写读不重排序”的核心规则——处理器自己的写入必须立刻对自己的读可见，保证程序执行的本地顺序符合直觉。比如P1写入X=1到缓冲后，自己读X必须得到1，不能读到共享内存里的旧值。
• “缓冲中的写入可覆盖共享内存中的已有值”：这里的“可覆盖”是有前提的——只有当处理器成功获取到对应缓存行的独占权限时，缓冲中的写入才能提交到全局内存。如果此时共享内存（或其他处理器缓存）中已经有更新的值，处理器会先作废本地缓冲里的旧写入，而不是强行覆盖。

输掉竞争的P1能看到P2写入的原因是：当P2的X=2写入共享内存后，缓存一致性协议会标记P1中X对应的缓存行为“无效”。当P1后续再读X时，虽然会先查本地缓冲，但此时缓冲里的X=1对应的缓存行已经无效，硬件会自动丢弃这个缓冲条目，转而从共享内存（或P2的缓存）读取最新的X=2，同时P1缓冲里的X=1写入请求会被彻底作废，不会再提交。

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