由于分布式系統(tǒng)的固有復(fù)雜性,結(jié)合分布式系統(tǒng)的領(lǐng)域背景來(lái)證明和驗(yàn)證分布式系統(tǒng)的功能正確性一直是計(jì)算機(jī)科學(xué)領(lǐng)域的重要問(wèn)題。機(jī)群系統(tǒng)和網(wǎng)格系統(tǒng)均是高度復(fù)雜的分布式系統(tǒng),其中機(jī)群文件系統(tǒng)共享語(yǔ)義和網(wǎng)格使用模式的研究分別是涉及各自領(lǐng)域的功能正確性、性能和易用性的關(guān)鍵問(wèn)題。本文首先從文件系統(tǒng)共享文件語(yǔ)義和計(jì)算機(jī)使用模式這兩個(gè)方面系統(tǒng)地綜述了機(jī)群文件系統(tǒng)語(yǔ)義和網(wǎng)格使用模式領(lǐng)域的主要研究成果。作為本文的研究重點(diǎn)之一,在機(jī)群文件系統(tǒng)共享語(yǔ)義研究方面,從文件緩存協(xié)議構(gòu)造、語(yǔ)義正確性證明和共享語(yǔ)義測(cè)試等方面對(duì)機(jī)群文件系統(tǒng)共享語(yǔ)義的關(guān)鍵問(wèn)題進(jìn)行了深入探討。在網(wǎng)格的用戶使用模式研究方面,本文對(duì)用戶和服務(wù)網(wǎng)格系統(tǒng)進(jìn)行理論建模,提出并證明了用戶3A使用服務(wù)網(wǎng)格必須滿足的一些性質(zhì)和條件。本文創(chuàng)造性的工作主要有三個(gè)方面:（1）提出了一種基于POSIX文件鎖的緩存一致性協(xié)議LBCCP,該協(xié)議能夠在文件粒度支持動(dòng)態(tài)調(diào)整文件共享語(yǔ)義。本文給出了LBCCP協(xié)議的I/O自動(dòng)機(jī)模型并證明了LBCCP協(xié)議的正確性,在證明過(guò)程中找到并改正了DCFS文件系統(tǒng)協(xié)議中的幾處錯(cuò)誤。（2）提出了文件系統(tǒng)共享語(yǔ)義測(cè)試概念并實(shí)現(xiàn)了一個(gè)文件語(yǔ)義測(cè)試系... 

【文章來(lái)源】：中國(guó)科學(xué)院大學(xué)(中國(guó)科學(xué)院計(jì)算技術(shù)研究所)北京市

【文章頁(yè)數(shù)】：135 頁(yè)

【學(xué)位級(jí)別】：博士

【部分圖文】：

K/G使用模式結(jié)構(gòu)模型圖（摘自參考文獻(xiàn)[Yang03]）

證明和測(cè)試分布式系統(tǒng)的功能正確性-機(jī)群文件系統(tǒng)共享語(yǔ)義和網(wǎng)格使用模式研究；而遠(yuǎn)程服務(wù)模型相對(duì)簡(jiǎn)單，無(wú)需在機(jī)群文件系統(tǒng)客戶節(jié)點(diǎn)上增加，因此開(kāi)發(fā)難度大大降低，系統(tǒng)正確性較容易驗(yàn)證，另外其出錯(cuò)處單。件緩存實(shí)現(xiàn)文件緩存所在位置，機(jī)群文件系統(tǒng)中的文件緩存可以劃分為以下兩緩存與服務(wù)器緩存。前者位于機(jī)群文件系統(tǒng)客戶節(jié)點(diǎn)上，既可以在，也可以在客戶節(jié)點(diǎn)本地磁盤(pán)中；后者位于服務(wù)器節(jié)點(diǎn)上。它們構(gòu)示的緩存層次結(jié)構(gòu)[He02]。

Data-Consistency Semantics），即如果進(jìn)程從文件的某個(gè)偏，則當(dāng)寫(xiě)操作完成后，則寫(xiě)入結(jié)果對(duì)所有其他進(jìn)程所見(jiàn)顯式的緩存同步操作；②原子語(yǔ)義，如果底層文件系統(tǒng)不，則性能將好于提供原子語(yǔ)義的系統(tǒng)，但由于存在需要原此底層文件系統(tǒng)應(yīng)提供用戶選擇的機(jī)會(huì)。原則①和②實(shí)義，但 MPI-IO 標(biāo)準(zhǔn)對(duì)它有一些放松，即更新后的內(nèi)容 I/O 的通信子內(nèi)的其他進(jìn)程立即可見(jiàn)，而對(duì)于系統(tǒng)實(shí)現(xiàn)者區(qū)別。因此底層文件系統(tǒng)必須提供 UNIX 語(yǔ)義支持才能應(yīng)用是機(jī)群文件系統(tǒng)的另一個(gè)重要應(yīng)用領(lǐng)域。在這一應(yīng)用中文件的形式存儲(chǔ)在機(jī)群文件系統(tǒng)中，頁(yè)面的并發(fā)更新表而 Web 客戶的頁(yè)面請(qǐng)求表現(xiàn)為文件的讀操作。IBM 公司統(tǒng)建立了奧林匹克運(yùn)動(dòng)會(huì) Web 網(wǎng)站并提供給全球用戶服在 Web 服務(wù)方面的一個(gè)典型應(yīng)用[Bur00-1]。

【參考文獻(xiàn)】：
期刊論文
[1]FSbench:一個(gè)機(jī)群文件系統(tǒng)基準(zhǔn)程序[J]. 呂毅,馬捷,唐榮鋒.  計(jì)算機(jī)工程. 2004(02)
[2]K/G:一種網(wǎng)格的使用模式體系結(jié)構(gòu)及應(yīng)用[J]. 楊寧,李曉林,周浩杰,潘高峰.  計(jì)算機(jī)研究與發(fā)展. 2003(12)
[3]GSML網(wǎng)格編程語(yǔ)言的一種實(shí)現(xiàn)方法[J]. 李丙辰,徐志偉.  計(jì)算機(jī)研究與發(fā)展. 2003(12)
[4]普適計(jì)算[J]. 徐光祐,史元春,謝偉凱.  計(jì)算機(jī)學(xué)報(bào). 2003(09)
[5]織女星網(wǎng)格的體系結(jié)構(gòu)研究[J]. 徐志偉,李偉.  計(jì)算機(jī)研究與發(fā)展. 2002(08)



本文編號(hào)：3418554