在线体验 MESI 协议状态转换

地址:https://www.scss.tcd.ie/Jeremy.Jones/VivioJS/caches/MESIHelp.htm
MESI 协议可视化网站 - 图1
下图即是 MESI 协议的状态图:
MESI 协议可视化网站 - 图2
MESI 协议的四种状态之间的流转过程,汇总成了下面的表格,可以更详细的看到每个状态转换的原因:
MESI 协议可视化网站 - 图3
接下来说说,怎么玩这个网站。
MESI 协议可视化网站 - 图4
看上图,共分为三个部分:

  • 第一部分,内存。显示内存地址和数据;
  • 第二部分,CPU 缓存。显示 CPU 缓存的变量数据和 MESI 协议状态,因为现在还没开始操作,所以显示的是空白。
  • 第三部分,CPU 操作。共有三个 CPU,每个 CPU 都有各自的 Cache,CPU 操作分别「读」和「写」,这部分是手动操作的部分。

而且 CPU 和内存之间有三条总线,分别是:

  • 数据总线(Data Bus):在CPU与内存之间来回传送需要处理或是需要储存的数据。
  • 地址总线(Adress Bus),用来指定在内存之中储存的数据的地址。
  • shared,这个也不知道是什么总线,网上没搜到资料,网站上最细那条总线就是这个名字,作用是控制 Cache 的数据状态。

接下来,来演示下效果。
操作 CPU1 读取 a0 变量,此时页面会显示如下(实际上是有动画的效果的,这里就不录制动图了,建议大家自己去操作一遍,自己感受下过程):
MESI 协议可视化网站 - 图5
可以看到,CPU1 核心从内存读取了 a0 变量的数据,并缓存在了 Cache1 里,而且此时状态为 E (独占)。
然后操作 CPU2 读取 a0 变量,此时页面会显示如下:
MESI 协议可视化网站 - 图6
可以看到,CPU1 和 CPU1 的 Cache 数据的状态都是 S(共享),和表格中表述的现象一致。
MESI 协议可视化网站 - 图7
别看结果是静态的,实际上当操作完 CPU2 读取 a0 变量后,实际上是有动画效果的,这里有个小技巧,在动画的过程中,可以点击网站任意一个位置,就会暂停,然后再点击就开始,这样可以很清晰的知道这个状态过程是怎么通过这三个总线完成的。
大概简述下过程:

  1. 点击 CPU2 的 read a0 操作;
  2. CPU2 会向地址总线,发送读取 a0 变量的数据的请求,此时该请求不仅会被内存收到,也会被其他 CPU 核心收到。
  3. CPU1 从地址总线得知,CPU2 发起的读取地址存在于 CPU1 Cache 里,于是 CPU1 Cache 里数据的状态会从 E(独占)变更为 S(共享);
  4. 内存收到 CPU2 发起的读取 a0 数据的请求后,就会通过数据总线将数据传递给 CPU2;
  5. 最后数据会写到 CPU2 Cache 里,且状态是 S(共享)。

其他状态的变更,在这里就不介绍了,大家自己去网站体验下,这样会感触比较深。