编辑“︁MSI协议”︁（章节）

== 状态机 ==
[[File:State_diagram_for_processor_transactions.png|缩略图|响应处理器请求时，基于MSI协议的缓存的状态转移图。]]
处理器向高速缓存发出的请求包括：
* PrRd：处理器请求读取一个缓存块。
* PrWr：处理器请求改写一个缓存块。
[[File:State_diagram_for_bus_transactions.png|缩略图|状态图的总交易MSI协议。]]
此外，还有总线方面的请求。 包括：
* BusRd：当某个处理器的高速缓存的读操作出现未命中，它会向总线发送一个BusRd请求，并预期能够收到该缓存块的数据。
* BusRdX：当某个处理器的高速缓存的写操作出现未命中，它会向总线发送一个BusRdX请求，预期能够收到该缓存块的数据，并且使其他处理器中对应相同地址的缓存块无效。
* BusUpgr：当某个处理器的高速缓存的写操作命中时，它会向总线发送一个BusUpgr，使其他处理器中对应相同地址的缓存块无效。
* Flush：该请求表明一个缓存块正在被写回内存。
状态转移：
* 处于Invalid（无效）状态的缓存块：
** 在PrRd，BusRd发出时，状态变为Shared（共享）。
** 在PrWr，BusRdX发出时，状态变为Modified（已修改）。
** 在BusRd，BusRdX或BusUpgr发出时，状态保持Invalid（无效）。
* 处于Shared（共享）状态的缓存块：
** 在PrRd，BusRd发出时，状态保持Shared（共享）。
** 在PrWr，BusUpgr发出时，状态变为Modified（已修改）。
** 在BusRdX或BusUpgr发出时，状态变为Invalid（无效）。
* 处于Modified（已修改）状态的缓存块
** 在PrRd或PrWr发出时，状态保持Modified（已修改）。
** 在BusRd发出时，缓存块被写回，状态变为Shared（共享）。
** 在BusRdX发出时，缓存块被写回，状态变为Invalid（无效）。<ref name=":0">{{Cite book|title=Fundamentals of Parallel Multicore Architecture|last=Solihin|first=Yan|publisher=Chapman & Hall/CRC Computational Science Series|year=2016|isbn=|location=|pages=|quote=|via=}}</ref>