分布式共享內存是什么
分布式共享內存(distributed shared memory)是并行處理發展中出現的一種重要技術。（下文簡稱 DSM）提供給程序員一個邏輯上統一的地址空間，任何一臺處理機都可以對這一地址空間直接進行讀寫操作。具有分布式內存結構可擴充性的優點，也具有共享內存結構通用性好、可移植性、編程容易的優點。
熱點技術包含復制問題、存儲一致性模型等。實現方法包含硬件、軟件、軟硬件結合實現三種方式。
雖然從實現上考慮，這個統一的全局地址空間是不存在的，數據的訪問是通過消息傳遞來進行的，但這些對程序員來說可以是透明的。
實現方式DSM 的實現有三種方式：
①用硬件實現。實際上是傳統的高速緩存(cache)技術在可擴展體系結構中的延伸。
②操作系統和程序庫的實現方法，通過虛擬內存管理機制實現共享和一致性。
③編譯實現，自動將共享訪問轉變為同步和一致性原語。
復制問題在 DSM 中，共享數據的位置可以是固定不動的、遷移的、復制的三種情況．復制要考慮解決以下幾個問題：
（1） 共享數據的粒度
數據的共享粒度是指系統對數據訪問故障復制的數據大小，不僅包括一次讀數據要傳輸多少數據，還包括一次寫數據會影響多少數據的有效性。一定的數據共享粒度可以使應用程序中的訪問開發其局部性，使多次訪問分擔傳送數據的開銷。
（2） 一致性協議
對于數據復制的情況有兩種基本的協議。即寫無效和寫更新協議．對于寫無效與寫更新的選擇，利用競爭算法可以有自適應的優點。其結果在某些情況達到最憂結果，最壞也不超過全用寫更新方式開銷的兩倍。
（3） 顛簸和替換
顛簸是指當兩個結點同時對數據頁進行寫訪問時引起的頁面在兩個結點之間頻繁的傳輸，這種情況嚴重影響了系統的性能。
存儲一致性(coherence)模型
有效地提供內存一致性是 DSM 系統的一個重要任務。為了能對存儲器的性能進行優化，即利用寫緩存技術、存儲訪問重疊技術、流水線技術等嚴格的一致性，無法開發程序的語義，因而出現了減弱了的一致性模型。其目的是為了解決三個問題：減少昂貴的消息發送次數；掩蓋對非本地內存訪問的長等待時間；解決因為一致性單元而潛在引起的假共享問題。
已有的一致性模型有：原子一致性、順序一致性、處理機一致性、弱一致性、釋放一致性、進入一致性。
實現方法 硬件實現具有單一總線的共享內存多處理機系統具有不易擴展的缺點。為了解決這個問題，DSM 系統如 DASH，WillowH，ASURA 等在體系結構、處理機及內存的組織上有了變化．即由幾個處理機形成一個 cluster，cluster 內的處理機由總線相連，而 cluster 之間由互連網絡相連，每個 cluster 有自己的共享內存。
另一種新的 DSM 的體系結構是 COMA(cache only memory architecture)，COMA 的所有內存都是以大的 cache 形式組織的．這個內存除了作為處理機的 cache 以外，它也包括有它永遠不會訪問的共享數據，它既是一個 cache 又是一共享存儲的虛擬部分。
軟件實現在軟件的開發上有三種途徑。
①在語言層上開發，比如雅典的 OCCAM2++，通過預編譯器將對共享變量的訪問轉化為利用虛擬通道進行的通信原語。
②編譯實現，即將對共享變量的訪問轉化為向頁面所有者請求頁面的語句。
③在操作系統層實現，一般要通過對操作系統某些調用進行修改實現，比如 IBM Research 的 DSVM6K 就是對原有操作系統 AIX v3 作盡量少的修改完成的．IVY 也屬于此類。
軟硬件結合在系統實現中，硬件實現具有速度快的優點，但價格比較昂貴．軟件速度不如硬件快，但其價格相對比較便宜．因而要設計一個比較合算的系統，要考慮二者的結合．Limit—LESS 系統的目錄實現中，硬件實現一定量的目錄項，少量的目錄可以存儲在其中．但當目錄項增大時，就要有一部分目錄存儲在內存中，由軟件進行相應的處理．在 Galatica—Net 的實現中，將性能比較關鍵的部分(寫更新)由硬件實現，而其它部分(如結點間頁面的共享)則由操作系統軟件實現．FLASH 在死鎖的避免上，對于所需空間多于可使用的輸出隊列空間的消息，設置軟件隊列，在輸出隊列有空閑空間時再從軟件隊列中將要發送的消息放在輸出隊列中．
