【摘要】：分布式共享存儲(chǔ)(DSM)系統(tǒng)在物理上存儲(chǔ)分布的系統(tǒng)上實(shí)現(xiàn)了邏輯上的共享存儲(chǔ)模型。它將底層的消息傳遞機(jī)制對(duì)用戶掩蓋起來(lái)，允許用戶以共享存儲(chǔ)方式進(jìn)行并行程序設(shè)計(jì)。由于分布式共享存儲(chǔ)系統(tǒng)既具有共享存儲(chǔ)系統(tǒng)易于編程和移植的優(yōu)點(diǎn)，又保留了分布式存儲(chǔ)系統(tǒng)的可擴(kuò)展性，因而正逐步成為大規(guī)模并行計(jì)算機(jī)系統(tǒng)的主要形式，對(duì)分布式共享存儲(chǔ)的研究也已成為高性能計(jì)算領(lǐng)域的研究熱點(diǎn)。 本文對(duì)分布式共享存儲(chǔ)系統(tǒng)的原理和實(shí)現(xiàn)方法作了詳細(xì)的闡述和分析，并著重分析了分布式共享存儲(chǔ)系統(tǒng)中的一個(gè)關(guān)鍵問(wèn)題——存儲(chǔ)一致性模型。存儲(chǔ)一致性模型是軟件和存儲(chǔ)器之間的一個(gè)協(xié)議，它規(guī)定了共享存儲(chǔ)系統(tǒng)中存儲(chǔ)器的行為。本文從訪存事件序列的角度對(duì)幾種典型的存儲(chǔ)一致性模型進(jìn)行了詳細(xì)的分析，指出了順序一致性模型對(duì)訪存操作的程序序和原子性的限制以及各種“松”一致性模型對(duì)這兩個(gè)限制條件所作的放松，并且說(shuō)明了懶惰釋放一致性模型等存儲(chǔ)一致性模型對(duì)提高分布式共享存儲(chǔ)系統(tǒng)的性能所起的作用。 本文還對(duì)分布式共享存儲(chǔ)系統(tǒng)的設(shè)計(jì)方法作了說(shuō)明，介紹了幾種有代表性的軟件DSM系統(tǒng)，并分析了在軟件DSM系統(tǒng)設(shè)計(jì)中要考慮的關(guān)鍵性問(wèn)題，指出在軟件DSM系統(tǒng)設(shè)計(jì)中最關(guān)鍵的問(wèn)題是如何減少共享數(shù)據(jù)一致性維護(hù)所帶來(lái)的通信開(kāi)銷。 目前微處理器計(jì)算能力的提高和網(wǎng)絡(luò)技術(shù)的發(fā)展使工作站網(wǎng)絡(luò)正逐步成為大規(guī)模并行計(jì)算的重要工具之一。為提高工作站網(wǎng)絡(luò)在高性能計(jì)算中的可用性，本文提出了一個(gè)基于工作站網(wǎng)絡(luò)的軟件DSM系統(tǒng)的設(shè)計(jì)方案。該系統(tǒng)是一個(gè)完全由運(yùn)行庫(kù)支持的Run-time系統(tǒng)，運(yùn)行于普通的Unix工作站上，不需要對(duì)操作系統(tǒng)進(jìn)行修改。它為程序設(shè)計(jì)人員提供了一個(gè)易于編程的應(yīng)用程序界面。該設(shè)計(jì)采用懶惰釋放一致性模型和基于home的Wrire-Invalidate協(xié)議，較大程度地減少了一致性
【學(xué)位授予單位】：中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：1997
【分類號(hào)】：TP333


本文編號(hào)：2717942