轉：Linux內核的內存屏障

一、抽象的內存訪問模型 考慮下面這個系統的抽象模型： 每個CPU執行一個有內存訪問操作的程序。在這個抽象的CPU中，內存操作的順序是非常寬鬆的。假若能讓程序的因果關係看起來是保持着的，CPU就可以以任意它喜歡的順序執行內存操作。同樣，只要不影響程序的結果，編譯器可以以它喜歡的任何順序安排指令。 因此，上圖中，一個CPU執行內存操作的結果能被系統的其它部分感知到，因爲這些操作穿過了CPU與系統其它部

>>阅读原文<<