前面我們分享了中斷及ARM體系中對中斷的處理、GIC-600以及redistributor的相關(guān)知識，本篇將介紹ARM存儲一致性模型的相關(guān)知識。

按照慣例，先講基礎(chǔ)原理，再說ARM的相關(guān)部分。

今天要說的這個是存儲一致性（memory consistency），不要跟前面講過緩存一致性（cache coherence）混淆了。緩存一致性協(xié)議解決的是對單個存儲器地址的訪問之間如何排序的問題，而對于不同地址的訪問并不是緩存一致性協(xié)議所要考慮的問題。存儲一致性問題在任何具有或不具有高速緩存的系統(tǒng)中都存在，雖然高速緩存的存在有可能進(jìn)一步加劇存儲一致性問題。

存儲器模型（memory model）又稱為存儲一致性模型。用于定義系統(tǒng)中對存儲器訪問需要遵守的原則，只要軟件和硬件都遵循該原則，就能保證多核程序能運(yùn)行得到確切的結(jié)果。 對于程序員來說，通常直覺上會隱式地假定存儲器操作是按一定次序的。來看下面的例子，假定有兩個線程P0和P1。



在線程P0中，執(zhí)行S1，賦值data為5；執(zhí)行S2，賦值dataIsReady為1。在線程P1中，等待dataIsReady這個變量變?yōu)?，然后把data賦值給其它變量。在我們直觀看來，S1先于S2執(zhí)行，通過dataIsReady來阻塞P1的S3執(zhí)行，那么執(zhí)行S4的時候，拿到的data一定是5。

實際上，未必是這樣，可能S2的結(jié)果早于S1傳播到P1，S4拿到的data就有可能是舊值，而不是5！ 在我們的直觀感覺里，對于變量的寫操作會即時傳播，或者說是原子性的，即P0的寫操作必須以不能分割的步驟傳播到P1。我們把關(guān)于存儲器訪問次序的隱式期望表示為：來自一個處理器的存儲器訪問應(yīng)該以程序的次序執(zhí)行，并且每個訪問的執(zhí)行必須是原子性的。

這樣一種期望被正式定義為順序一致性（SC）模型。順序一致性模型雖然能嚴(yán)格的解決存儲訪問次序問題，但是由于過于嚴(yán)厲，會產(chǎn)生巨大的性能開銷。因為當(dāng)某一個寫入操作未執(zhí)行完，其它的操作可能會全部暫停下來。所以現(xiàn)在大部分處理器都不會實現(xiàn)順序一致性，而是實現(xiàn)一些較為松弛的一致性模型。

下面將根據(jù)從強(qiáng)到弱的限制程度排序，列舉幾種典型的存儲器模型：

1. 順序一致性模型（sequential consistency，SC）

也稱為強(qiáng)定序模型，從施加的限制來看，該模型下load/store是順序的訪問存儲器。每個處理器都按照程序順序來執(zhí)行程序，即便訪問的是不同存儲器地址，也不能改變訪問順序。從全局看，每個存儲器寫操作都需要能被系統(tǒng)中所有的處理器同時觀測到，同一時刻只有一個處理器和存儲系統(tǒng)相連，因此對memory的訪問時原子化的，串行化的。順序一致性模型簡單直觀，但限制了CPU硬件和編譯器的優(yōu)化，影響了整個系統(tǒng)的性能。

2. 完全存儲定序模型（Total Store Order，TSO）

由于處理器主頻和存儲器頻率相差較大，系統(tǒng)設(shè)計人員通常會在CPU中增加存儲緩沖區(qū)（store buffer），它的作用是為store指令提供緩沖，使得處理器不用等待存儲器的響應(yīng)。但是由于存儲緩沖的存在，一些在store之后的load指令可能會越過該指令提前執(zhí)行，那一個core的store-load操作通常會被其他core看成亂序執(zhí)行了，變成load-store了。因此在在該模型下，訪存操作的四種組合store-store，store-load，load-store，load-load中，只有store-load存在亂序。store操作在store_buffer中順序執(zhí)行。load同樣按順序執(zhí)行，但可穿插到多個store執(zhí)行過程中

3. 部分存儲定序模型（Part Store Order，PSO）

系統(tǒng)設(shè)計人員并不滿足TSO模型帶來的性能提升，于是繼續(xù)在TSO的基礎(chǔ)上放松訪問內(nèi)存訪問限制，允許處理器以非FIFO來處理store buffer緩沖區(qū)的指令，處理器只保證地址相關(guān)指令在store buffer中以FIFO的形式進(jìn)行處理，而其它的則可以亂序處理。

4. 處理器一致性模型（Processor Consistency，PC）

該模型比順序一致性弱。在SC中，要維持每一條load/store指令與后續(xù)load/store指令的次序。在處理器一致性模型中，則放松了較早的store指令和較晚的load指令之間的次序。當(dāng)一條store指令還未被執(zhí)行時，允許一條較晚的load指令像高速緩存發(fā)出請求甚至結(jié)束。這一點的重要性在于，store指令可以在寫緩沖區(qū)排隊并在稍晚執(zhí)行，同時，load指令不需要等待較早的store指令結(jié)束就可以訪問高速緩存，所以降低了load指令的時延。

5. 弱序一致性模型（Weak Order Consistency，WO）

該模型的主要思想是把同步操作和普通訪存操作區(qū)分開來，兩個同步操作之間的訪存操作的順序不受影響，依然遵循指令程序順序。WO模型利用了兩個假設(shè)：程序是適當(dāng)同步的；程序員正確的向硬件表示哪些load和store是起到同步訪問作用的。

程序員必須用硬件可識別的同步操作把對可寫共享單元的訪問保護(hù)起來，以保證多個處理器對該共享單元的訪問是互斥的。該模型增加了程序員的負(fù)擔(dān)，但能有效提高性能。目前，很多的商業(yè)化處理器實現(xiàn)的就是WO，比如ARM。

6. 釋放一致性模型（Release Consistency，RC）

該模型是對弱一致性模型的改進(jìn)，它把同步操作進(jìn)一步分成獲取操作（acquire）和釋放操作（release）。acquire用于獲取對某些共享存儲單元的獨占性訪問權(quán)；release用于釋放該訪問權(quán)。執(zhí)行的順序為：acquire-> load/store ->release。

與WO類似，RC允許編譯器自由改變load指令和store指令的次序，但是不允許它們越過一個獲取同步向前移動，也不允許它們越過一個釋放同步向后移動。與WO不同的是，單靠指令的操作碼不容易表示同步訪問。 通常來說，存儲一致性模型對訪存事件次序施加的限制越弱，越有利于提高性能，但增加了編程難度。

且限制越強(qiáng)的存儲器模型程序可以在限制較弱的存儲器模型上運(yùn)行，很少會導(dǎo)致錯誤。 關(guān)于存儲器一致性模型，有很多的學(xué)術(shù)文章和書籍，我所了解的也就是一點皮毛。其實，今天講的這些，都是基礎(chǔ)知識。

審核編輯：劉清