處理器上有一套完整的協議，來保證cache一致性。比較經典的cache一致性協議當屬mesi協議，奔騰處理器有使用它，很多其他的處理器都是使用它的變種。
單核cache中每個cache line有2個標誌：dirty和valid標誌，它們很好的描述了cache和memory(記憶體)之間的資料關係(資料是否有效，資料是否被修改)，而在多核處理器中，多個核會共享一些資料，mesi協議就包含了描述共享的狀態。
在mesi協議中，每個cache line有4個狀態，可用2個bit表示，它們分別是：
m(modified)和e(exclusive)狀態的cache line，資料是獨有的，不同點在於m狀態的資料是dirty的(和記憶體的不一致)，e狀態的資料是clean的(和記憶體的一致)。(shared)狀態的cache line，資料和其他core的cache共享。只有clean的資料才能被多個cache共享。i(invalid)表示這個cache line無效。
e狀態示例如下：
只有core 0訪問變數x，它的cache line狀態為e(exclusive)。
s狀態示例如下：
3個core都訪問變數x，它們對應的cache line為s(shared)狀態。
m狀態和i狀態示例如下：
core 0修改了x的值之後，這個cache line變成了m(modified)狀態，其他core對應的cache line變成了i(invalid)狀態。
在mesi協議中，每個cache的cache控制器不僅知道自己的讀寫操作，而且也監聽(snoop)其它cache的讀寫操作。每個cache line所處的狀態根據本核和其它核的讀寫操作在4個狀態間進行遷移。
在上圖中，local read表示本核心讀本cache中的值，local write表示本核心寫本cache中的值，remote read表示其它核心讀其它cache中的值，remote write表示其它核心寫其它cache中的值，箭頭表示本cache line狀態的遷移，環形箭頭表示狀態不變。
amd的opteron處理器使用從mesi中演化出的moesi協議，o(owned)是mesi中s和m的乙個合體，表示本cache line被修改，和記憶體中的資料不一致，不過其它的核可以有這份資料的拷貝，狀態為s。
intel的core i7處理器使用從mesi中演化出的mesif協議，f(forward)從share中演化而來，乙個cache line如果是forward狀態，它可以把資料直接傳給其它核心的cache，而share則不能。
併發程式設計學習 併發程式設計的挑戰
死鎖 資源限制的挑戰 併發程式設計的目的是為了讓程式執行的更快，但是並不是啟動更多的執行緒，就能讓程式最大限度的併發執行。在進行併發程式設計時，如果希望通過多執行緒執行任務讓程式執行的更快，會面臨非常多的挑戰，比如上下文切換的問題，死鎖的問題，以及受限於硬體和軟體的資源限制問題 即使是單核處理器也支...
網路程式設計 併發程式設計
01 網路程式設計 軟體開發架構 osi七層協議 乙太網協議 ip 埠 tcp udp 02 tcp的三次握手四次揮手理解及面試題 03 socket套接字使用 tcp連線通訊迴圈 tcp粘包問題 struct模組 tcp傳送檔案 04 udp協議 tcp udp基於socketserver的併發 ...
python併發程式設計 程序，併發
1.程序是乙個正在執行的程式，或者說是程式執行的過程，程序是個抽象概念 程序起源於作業系統，是作業系統最核心的概念，作業系統所有其他的概念都是圍繞程序展開 研究程序最底層就是在研究作業系統底層 2.序列 程序 乙個任務完完整整的執行完畢後，在執行下乙個任務 3.併發 程序 看起來多個任務是同時執行即...