共享存储器的同一性课件.pptVIP

*共用記憶體同一性對共用記憶體存在一致性問題，須建立有效的多處理機共用記憶體模型。該模型能影響：性能；準確性；可編程性；並行應用的可移植性。*一、記憶體事件排序共用記憶體的行為由程式次序和記憶體存取次序共同決定。1.基本概念多處理機系統的記憶體事件記憶體一致性模型(memoryconsistencymodel)*記憶體次序(memoryorder)當多個進程同時對同一記憶體單元集合進行操作時，事件次序用於區分各存儲操作是否在某一特定時間可執行還是必須等待由某一特定記憶體一致性模型給出的記憶體次序(Memoryorder)用於指導多處理器對記憶體的存取操作應具有的正確次序，並可加速併發進程的執行。*2.多處理機系統中的記憶體事件如下圖所示：一個單處理機系統按順序的程式次序決定了記憶體次序在多處理機系統中記憶體事件存在許多問題。**主要原因在多處理機系統中，如果在指令流之間沒有同步，則有可能有大量的指令交錯執行。從中找到優化的全局記憶體次序是一個NP；在基於高速緩存的系統中，如果對有多份拷貝的數據的存儲操作不具有原子性，那麼不同的處理器會觀測到不同的次序。此時多個程式的可能實例總數將是非常巨大的。*二、記憶體一致性模型傳統的單處理機和多處理機系統遵從順序一致性(sequentialconsistency)模型。也產生了：弱一致性(weakconsistency)；處理器一致性(processorconsistency)；釋放一致性(releaseconsistency)共用記憶體模型。*1.順序一致性順序一致性物理意義順序一致(sequentiallyconsistent，SC)的定義若滿足：所有的執行結果與所有處理器按某一順序序列執行的結果相同，並且各處理器在此順序序列中的程式次序與原有程式次序一致。*2.弱一致性該模型由3個記憶體訪問條件規定：(1)在允許其他任何處理器的讀寫訪問前，必須先完成所有的同步訪問。(2)在允許其他任何處理器的同步訪問前，必須先完成所有的讀寫訪問。(3)各同步訪問間滿足順序一致性。*3.處理器一致性同一處理器的寫操作總是遵循程式次序，而不同處理器的寫操作不用遵循。為了保證處理器一致性，與其它處理器相關的記憶體訪問需要滿足下列條件：對任一其他處理器而言，在進行某讀操作之前，必須先完成所有以前的讀操作。相關於任一其他處理器而言，在進行某寫操作之前，必須先完成所有以前的讀和寫操作。*4.釋放一致性(releaseconsistency，RC)模型同步訪問需要被標示為加鎖或解鎖。獲得操作(加鎖）是一個要求得到訪問某個數據集的許可權的讀操作(有可能某個讀、修改、寫操作的一部分)，而解鎖（釋放）操作是一個釋放該許可權的寫操作。*RC共用記憶體模型的前題條件：對任一其他處理器而言，在進行某次常規的讀或寫操作之前必須先完成所有以前獲得操作。對任一其他處理器而言，在進行某次釋放操作之前，必須先完成所有以前的常規讀或寫操作。所有的特殊操作(獲得和釋放操作)需保持處理器一致性，此時的次序限制與弱一致模型的要求不同，相反地，RC模型要求滿足處理器一致性而不是順序一致性。*5.RC模型的優點：RC模型可通過以下方式滿足：(1)在進行獲得操作時暫停處理器直至操作完成；(2)推遲釋放操作的完成時間直至所有以前記憶體操作均已完成。相對於SC模型而言，實現RC模型的開銷;包括額外的硬體和軟體要求以提供無需查找的高速緩存並記錄多個待回應的請求*6.幾種記憶體一致性模型間的描述