多核程序设计——缓存一致性协议MESI

MESI协议

    在MP系统中，每个CPU都有自己独立的cache，缓存之间的一致性很很容易受到破坏的，所以缓存一致性协议就应运而生了。MESI是一种使用非常广泛的缓存一致性协议。

    MESI存在”modified”,”exclusive”,”shared”和”invalid”四种状态，协议可以在一个指定的缓存中应用这四种状态。因此，协议在每一个缓存行中维护一个两位的状态”tag”，这个”tag”附着在缓存行的物理地址或者数据后。

• 处于“ modified” 状态的缓存行是由于相应的 CPU 最近进行了内存存储。并且相应的内存确保没有在其他 CPU 的缓存中出现。下边的图有一些误导嫌疑，可以把“叉”看做是invalid状态。这些图是《大话处理器》作者的图，这里直接偷过来了。
  
• “exclusive”状态非常类似于“ modified” 状态，唯一的例外是缓存行还没有被相应的 CPU 修改，这表示缓存行中的数据及内存中的数据都是最新的。
  
• 处于“ shared” 状态的缓存行可能被复制到至少一个其他 CPU 缓存中，这样在没有得到其他 CPU 的许可时，不能向缓存行存储数据。
  
• 处于“ invalid” 状态的行是空的，换句话说，它没有保存任何有效数据。

ME