大家好，我是小林。我之前寫過 CPU 緩存一致性 MESI 協(xié)議：10 張圖打開 CPU 緩存一致性的大門。 然后期間挺多人對 MESI 協(xié)議的轉(zhuǎn)換有疑問，其實我在文章中把 MESI 協(xié)議狀態(tài)切換的各個過程都總結(jié)成了一個表格，可能內(nèi)容太多，很多小伙伴沒有仔細看。就在昨天，我發(fā)現(xiàn)個可以「在線體驗?MESI?協(xié)議狀態(tài)轉(zhuǎn)換」過程的網(wǎng)站，地址如下：https://www.scss.tcd.ie/Jeremy.Jones/VivioJS/caches/MESIHelp.htm 我先給大家復習下 MESI 協(xié)議，然后再跟大家講一些這個網(wǎng)站怎么用。
MESI 協(xié)議
MESI 協(xié)議其實是 4 個狀態(tài)單詞的開頭字母縮寫，分別是：
Modified，已修改
Exclusive，獨占
Shared，共享
Invalidated，已失效
這四個狀態(tài)來標記 Cache Line 四個不同的狀態(tài)?！敢研薷摹範顟B(tài)就是我們前面提到的臟標記，代表該 Cache Block 上的數(shù)據(jù)已經(jīng)被更新過，但是還沒有寫到內(nèi)存里。而「已失效」狀態(tài)，表示的是這個 Cache Block 里的數(shù)據(jù)已經(jīng)失效了，不可以讀取該狀態(tài)的數(shù)據(jù)?！釜氄肌购汀腹蚕怼範顟B(tài)都代表 Cache Block 里的數(shù)據(jù)是干凈的，也就是說，這個時候 Cache Block 里的數(shù)據(jù)和內(nèi)存里面的數(shù)據(jù)是一致性的。「獨占」和「共享」的差別在于，獨占狀態(tài)的時候，數(shù)據(jù)只存儲在一個 CPU 核心的 Cache 里，而其他 CPU 核心的 Cache 沒有該數(shù)據(jù)。這個時候，如果要向獨占的 Cache 寫數(shù)據(jù)，就可以直接自由地寫入，而不需要通知其他 CPU 核心，因為只有你這有這個數(shù)據(jù)，就不存在緩存一致性的問題了，于是就可以隨便操作該數(shù)據(jù)。另外，在「獨占」狀態(tài)下的數(shù)據(jù)，如果有其他核心從內(nèi)存讀取了相同的數(shù)據(jù)到各自的 Cache ，那么這個時候，獨占狀態(tài)下的數(shù)據(jù)就會變成共享狀態(tài)。那么，「共享」狀態(tài)代表著相同的數(shù)據(jù)在多個 CPU 核心的 Cache 里都有，所以當我們要更新 Cache 里面的數(shù)據(jù)的時候，不能直接修改，而是要先向所有的其他 CPU 核心廣播一個請求，要求先把其他核心的 Cache 中對應的 Cache Line 標記為「無效」狀態(tài)，然后再更新當前 Cache 里面的數(shù)據(jù)。事實上，整個 MESI 的狀態(tài)可以用一個有限狀態(tài)機來表示它的狀態(tài)流轉(zhuǎn)。還有一點，對于不同狀態(tài)觸發(fā)的事件操作，可能是來自本地 CPU 核心發(fā)出的廣播事件，也可以是來自其他 CPU 核心通過總線發(fā)出的廣播事件。下圖即是 MESI 協(xié)議的狀態(tài)圖：MESI 協(xié)議的四種狀態(tài)之間的流轉(zhuǎn)過程，我匯總成了下面的表格，你可以更詳細的看到每個狀態(tài)轉(zhuǎn)換的原因：
網(wǎng)站體驗
接下來說說，怎么玩這個網(wǎng)站。 看上圖，共分為三個部分：
第一部分，內(nèi)存。顯示內(nèi)存地址和數(shù)據(jù)；
第二部分，CPU 緩存。顯示 CPU 緩存的變量數(shù)據(jù)和 MESI 協(xié)議狀態(tài)，因為我現(xiàn)在還沒開始操作，所以顯示的是空白。
第三部分，CPU 操作。共有三個 CPU，每個 CPU 都有各自的 Cache，CPU 操作分別「讀」和「寫」，這部分是我們手動操作的部分。
其他狀態(tài)的變更，我在這里就不介紹了，大家自己去網(wǎng)站體驗下，這樣會感觸比較深，光聽我講也記不住。可以對照我文章中 MESI 狀態(tài)轉(zhuǎn)換的表格來做實驗，感受下 MESI 狀態(tài)到底是如何在不用加鎖的情況下，是如何實現(xiàn) CPU 緩存一致性的。我也把網(wǎng)站地址附在了「閱讀原文」，點擊即可訪問。
下載文檔
