MESI 状态机

进阶 / 超出 408。双核对同一 Cache 行。M 独占脏、E 独占净、S 共享净、I 无效。基本转移：I 读缺失且无它副本 → BusRd → E；它副本为 E/S/M 时 → BusRd → 双方 S（M 先写回）。I 写缺失 → BusRdX → M（他方失效；若他方为 M 先写回）。E 写命中 → M，无需总线事务。S 写命中 → Invalidate / BusUpgr → M（已有数据只需失效他方；BusUpgr 不得用于写缺失）。从 M 被读走要写回再两边变 S。本页序列：P0读→P1读→P0写→P1读→P1写。这是按地址的 coherence，不是跨地址的 consistency，也不是程序同步。