i++問題
“阿Q趕快回去吧，隔壁二號車間的虎子說我們改了他們的資料，上門來鬧事了”
由於老K的突然出現，我不得不提前結束與小黑的交流，趕回了CPU一號車間。
見到我回來，虎子立刻朝我嚷嚷：“你們是怎麼回事？才幾納秒的時間，就把資料給我改了，你說這事怎麼辦吧！”
我聽著迷迷糊糊的，連連說到：“虎子你先別急，我剛回來，到底出什麼事兒了，先讓我瞭解清楚好不好？”
接下來，老K把事情的經過告訴了我。原來，我們兩個CPU車間各自負責的執行緒都在執行一個i++的操作，我們都把i的值放到了自己的快取中，完了之後都沒有通知對方，加了兩次但結果卻只有一次，出現了資料不一致問題。
原子操作
瞭解清楚事情的原委之後，我向虎子說道：“大家都執行一樣的程式碼，這事兒也不能怪我們啊”
虎子一聽急了，“怎麼不怪你們了，我們比你們先一步找記憶體拿走了i，那你們得等我們加完之後再用啊，不信你可以打電話問記憶體那傢伙，看看是不是我們二號車間先來的”
“好好好，你先冷靜一下，你看我們又不知道你們先去拿了，這不情有可原嗎，再說現在事情已經出了，我們應該一起坐下來想個辦法避免以後再次出現這種問題，你說是不是？”
虎子嘆了口氣問道：“那你說說你有什麼辦法？”
我繼續說道：“你看啊，像我們們在執行i++這種操作的時候就不應該被干擾”
“不被干擾？”
“對，比如虎子你們二號車間在訪問i的時候，我們一號車間就不能訪問，需要等著，等你們訪問完成我們再來，非常簡單的辦法卻很有用”
虎子聽完一愣，“這不就是加鎖嗎？你是想怪程式設計師做i++前沒有加鎖？”
“的確是加鎖，不過這種簡單操作還要程式設計師來加鎖那也太麻煩了，我們們CPU內部處理好就行了”
“內部處理，你打算怎麼實現？”，虎子問到。
“這，，讓我想想···”，虎子問到了具體實現，我倒還沒想到這一步。
這時，一旁的老K站了出來：“我倒是有個辦法，可以找匯流排主任啊，他是負責協調各個車間使用系統匯流排訪問記憶體的總指揮，讓他在中間協調一下應該不難”
老K一語點醒夢中人，接著我們就去找了匯流排主任，後來我們商量出了一套解決方案：我們定義了一個叫原子操作的東西，表示這是一個不可切分的動作，誰要執行原子操作，匯流排主任就在系統匯流排上加上一個LOCK#訊號，其他車間的想去訪問記憶體就得等著，直到原子操作指令執行完畢。
我們把這套方案上報了領導，很快就批下來了，後面我們8個車間都按照這套方案來工作，以後程式設計師們把i++這樣的動作換成原子操作後，問題就能迎刃而解。
不過施行了一段時間之後，各個車間卻開始大倒苦水：就因為某個車間要執行一個原子操作，就讓匯流排主任把系統匯流排鎖住，其他車間的人都沒法訪問記憶體，都幹不了活了，嚴重影響工作效率。
抱怨歸抱怨，在沒有更好的替代方案出現之前，日子還得過下去。
快取引發的問題
不過，沒過多久，資料不一致問題又一次出現了。
這一次，倒不是加法的問題，我們兩車間還是因為各自快取的原因，先後修改了變數的值，對方沒有即時知道，誤用了錯誤的值，以致釀成大錯。
“阿Q，上次那辦法好是好，可解決不了這一次的問題啊”，虎子再次找上門來。
“你來的正好，我正想去找你說這事呢”
“哦，是嗎，難不成你想到破解之道了？”
“只是一些初步的想法，問題的核心在於現在我們們各個車間各自為政，都有自己的私有快取，各自修改資料後向記憶體更新時也不互相打招呼，缺少一個聯絡機制”
虎子點了點頭，“確實，所以我們們需要建立一個聯絡機制，來對各個車間的快取內容進行統一管理是嗎？”
“對！這事兒我們倆說了可不算，我建議召集8個核心車間的代表，統一開一個會議，詳細討論下這個問題。哦，對了，把匯流排主任也叫上，他經驗豐富說不定能提供一些思路”
快取一致性協議MESI
很快，我們們CPU的8個核心車間就為此問題召開了會議，並且取得了非常重要的成果。
我們牽了一條新的專線，把8個核心車間連線起來，用於各個車間之間進行資訊溝通，不同於CPU外部的匯流排系統，大家把這個叫片內匯流排。
新的線路鋪設好了，以後大家就可以通過這條線路即時溝通，為了解決之前出現的問題，大家還制定了一套規則，叫做快取一致性協議。
規則裡面規定了所有車間的快取單元——快取行有四種狀態：
- 已修改Modified (M)
快取行已經被修改了，與記憶體的值不一樣。如果別的CPU核心要讀記憶體這塊資料，要趕在這之前把該快取行回寫到主存，把狀態變為共享(S).
- 獨佔Exclusive (E)
快取行只在當前CPU核心快取中，而且和記憶體中資料一樣。當別的CPU核心讀取它時，狀態變為共享；如果當前CPU核心修改了它，就要變為已修改狀態。
- 共享Shared (S)
快取行存在於多個CPU核心的快取中，而且和記憶體中的內容一致。
- 無效Invalid (I)
快取行是無效的
四種狀態之間的轉換是這樣的：
按照這套規則，大家不能再像以前那樣隨意了，各車間對自家快取進行讀寫時，都要相互通一下氣，避免使用過時的資料。
除此之外，還規定如果一塊記憶體區域被多個車間都快取，就不再允許多個車間同時去修改快取了。
會議還有另外一個收穫，以前被各車間詬病的每次原子操作都要鎖定匯流排，導致大家需要訪問記憶體的都只能乾等著的問題也得到了解決。以後匯流排主任不再需要鎖定匯流排了，通過這次的快取一致性協議就可以辦到。
自此以後，資料不一致的問題總算是根治了，我們們8個車間又可以愉快的工作了。
往期熱門回顧
