本書系統(tǒng)地研究了共享存儲系統(tǒng)結構中的關鍵問題。主要內容包括:建立共享存儲系統(tǒng)的執(zhí)行正確性模型,定義了共享存儲系統(tǒng)中執(zhí)行的概念,并指出決定一個執(zhí)行結果的關鍵因素是此執(zhí)行中沖突訪問的執(zhí)行次序;在順序一致性的一個典型實現的正確性的基礎上,推出了一種亂序執(zhí)行的方案;建立了一個地址流驅動的模擬模型來評價不同的訪存事件次序條件對性能的影響;提出了實現域一致性模型的基于鎖的新型Cache一致性協(xié)議,就可編程性和性能兩方面對軟件分布式共享存儲系統(tǒng)DSM和消息傳遞并行環(huán)境進行了比較;指出利用軟件實現共享存儲,并由硬件提供必要的支持,是既能改善系統(tǒng)可編程性,又能有效提高性能的方法。本書可作為研究生教材使用,對相關技術人員也有參考價值。