MOESI协议疑问：Owned状态缓存行写入后Shared状态处理器读取问题

你忽略了MOESI协议中Owned状态缓存行执行写入时的强制失效规则，MOESI并没有放弃MESI级别的一致性保证，只是优化了主存访问的场景，具体拆解你的场景：

1. 当P0的缓存行A处于O状态时，它是该数据的唯一所有者——此时P1的S状态副本是有效的，但所有针对该缓存行的读请求都由P0的O状态缓存响应，而非主存。
2. 当P0执行写入操作时，它会先将自身缓存行从O转换为M（Modified）状态，同时必须通过总线发送失效（Invalidate）信号给所有持有该缓存行S副本的节点（即P1）。
3. P1收到失效信号后，会立刻将自己的缓存行A标记为I（Invalid）状态，因此当P1后续尝试读取行A时，本地缓存已无有效副本，会发起总线读请求。
4. 此时P0的M状态缓存会响应P1的读请求，发送最新数据，同时自身状态可根据协议转换回O状态（允许共享），P1的缓存行则进入S/O状态。

简单来说：MOESI的O状态只是让缓存可以代替主存承担读响应的角色，但写入操作的一致性逻辑和MESI完全一致——必须先失效所有共享副本，确保修改的独占性，不会出现你担心的“P1读取过期数据”的情况。

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