本文將描述Cortex-M0設備的內存映射和內存訪問行為。該處理器有一個固定的存儲映射，它可以提供高達4GB的可尋址內存。存儲映射圖如下： 該處理器為處理器核外設寄存器保留了PPB地址范圍，關于Cortex-M0處理器以及核外設的內容見 1、存儲區、類型和屬性 存儲映射被分成多個區，每個區都有其存儲類型，有些區還有附加屬性。存儲類型及附加屬性決定了如何訪問該存儲區。 儲存類型是下列幾種： 普通型(Normal) 為了提高效率、或執行預測讀，處理器可以對該類型存儲器的存取操作進行重排序。 設備型（Device） 該類型存儲器與設備型或強順序型存儲器之間的存取操作，處理器將保持其順序。 強順序型（Strongly-ordered） 任何與該類型存儲器相關的存取操作，處理器將保持其順序。 對于設備型和強順序型存儲器的不同順序要求，意味著存儲系統可以將一個寫操作緩存到一個設備型存儲器中，但是不能緩存到一個強順序型的存儲器中。附加屬性有： 可共享(ShaSharreableeable) 對于可共享的存儲區，在多總線主設備系統中，存儲系統可提供主設備之間的數據同步，例如某個帶有DMA控制器的處理器。 強順序型存儲器都具有可共享屬性。 如果多個總線主設備訪問一個不可分享的存儲區域，必須通過軟件來保證多個總線主設備之間的數據一致性。 注意：僅當處理器在共享存儲器的多處理器系統中時，該屬性才有關系。 不可執行(XN) 處理器將阻止不可執行存儲區指令的執行。如果從一個不可執行存儲區取指令并執行，將會產生一個硬故障。 2、存儲系統的訪問順序 對于多數顯式的存取指令所產生的存儲器訪問，存儲系統不能保證指令的順序與實際操作的順序是一致的，而且對指令的重排序并不會影響到指令序列的行為結果。通常，如果正確的程序執行要求兩次內存訪問必須按程序的順序來完成，那么軟件必須在內存訪問指令之間插入一個存儲隔離指令，相關內容見第2-16頁存儲訪問的軟件排序。 然而，存儲系統能夠保證訪問設備和強順序存儲區的順序。對于兩個存儲訪問指令A1和A2，如果A1在A2程序之前發生，則存儲訪問順序是： 其中： - 表示存儲系統不能保證訪問的順序。 3、存儲訪問行為 對內存映射中每個區的訪問行為是： 表1、存儲訪問行為 a、關于存儲區、類型和附加屬性，可見上文。 其中Code、SRAM和externalRAM區可以存放程序。 關于Cache和可共享存儲區的訪問限制 當一個系統包含Cache或可共享存儲區時，一些存儲區有額外的訪問限制，有些區被再次細分，如表2所示： 表2、存儲區的可共享性和緩存策略 a、更多關于存儲區、類型和屬性的內容見上文。 b、WT=寫通方式，沒有寫分配。WBWA=寫回方式，寫分配。更多內容見詞匯表(Glossary)。 4、軟件對存儲訪問排序 指令在程序中的順序并不能始終夠保證相應存儲操作處理的順序。這是由于：?處理器可對一些存儲訪問進行重排列，以提高效率，只要不影響指令順序的行為。 ? 內存映射中的存儲器或設備可能有不同的等待狀態。 ? 有一些存儲訪問被緩沖或是預測執行的。 上文中存儲系統內存訪問順序的內容描述了存儲系統如何保證存儲訪問順序的情況。此外，如果存儲訪問的順序很重要，那么軟件必須包括存儲隔離指令來保證所希望的順序。處理器提供以下存儲隔離指令： DMB 數據存儲隔離指令，確保DMB之前所有顯式存儲訪問完成之后，其后的存儲訪問才可以開始執行。DMB的內容見下文。 DSB 數據同步隔離指令，當DSB之前所有的顯式存儲訪問完成之后，其后的指令才可以開始執行。見下文的DSB指令。 ISB