科學(xué)技術(shù)的發(fā)展進(jìn)步使得越來越多的學(xué)科領(lǐng)域開始采用科學(xué)計(jì)算、數(shù)值模擬的手段來解決科學(xué)研究和工程實(shí)踐中遇到的各種問題,這些應(yīng)用問題往往具有大計(jì)算量,大數(shù)據(jù)存儲量,以及大數(shù)據(jù)交換量的需求,大規(guī)模并行計(jì)算機(jī)系統(tǒng)是當(dāng)前滿足這些高性能計(jì)算需求的主流計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)實(shí)現(xiàn)方式。隨著并行計(jì)算機(jī)系統(tǒng)規(guī)模的擴(kuò)展,隨之而來的是并行應(yīng)用的可擴(kuò)展性難題和系統(tǒng)可靠性的降低,一些超大規(guī)模并行計(jì)算系統(tǒng)的平均故障間隔時(shí)間甚至只有幾小時(shí),在這種情況下,如果不能提供高性能、具有容錯(cuò)能力的并行軟件開發(fā)和運(yùn)行環(huán)境,那么很多大規(guī)模的并行應(yīng)用將無法高效率地運(yùn)行,并最終成功完成,這將嚴(yán)重影響系統(tǒng)和應(yīng)用的可用性。消息傳遞是開發(fā)并行應(yīng)用的主要編程模型,MPI是消息傳遞編程接口的事實(shí)標(biāo)準(zhǔn),具有并行算法實(shí)現(xiàn)靈活、性能高和可移植性好等特點(diǎn)。本論文緊密圍繞提高大規(guī)模并行計(jì)算機(jī)系統(tǒng)和應(yīng)用的可用性這一中心目標(biāo),對實(shí)現(xiàn)高可用MPI并行編程環(huán)境的相關(guān)問題展開研究,包括性能、可擴(kuò)展性和容錯(cuò)能力。另外,考慮到未來并行計(jì)算系統(tǒng)的規(guī)模還將進(jìn)一步擴(kuò)大,為了更有效的進(jìn)行容錯(cuò)處理,論文還從MPI并行程序開發(fā)的角度,研究探討了高效的容錯(cuò)并行算法設(shè)計(jì)方法。論文的主要研究成果... 

【文章來源】：國防科技大學(xué)湖南省 211工程院校 985工程院校

【文章頁數(shù)】：127 頁

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

【部分圖文】：

CMEx總體結(jié)構(gòu)

(eounter一 ExampleGuidedAbstraetionRefinement)方法的迭代模型檢驗(yàn)框架，以便盡量降低驗(yàn)證的時(shí)空復(fù)雜度。CEGAR方法最早在文獻(xiàn)【 115]中提出，其基本思想如圖2.巧所示。對程序P，我們先以很小的代價(jià)給出一個(gè)粗略的初始抽象模型M，，并保證抽象過程的保守性，即保證M;中包含程序P的所有可行執(zhí)行路徑。如果模型MI滿足給定的性質(zhì)，則抽象的保守性保證了程序P也滿足給定的性質(zhì)。如果Ml不滿足給定的性質(zhì)，則我們檢查給出的反例路徑是否在程序P中真實(shí)存在，女「果不存在，則該反例路徑是由于模型M:的抽象粒度太粗而引入的偽反例路徑，我們根據(jù)該反例路徑對M，進(jìn)行精化

國防科學(xué)技術(shù)大學(xué)研究生院博士學(xué)位論文問題2，由于RDMA寫是一種單邊通信操作，因此接收方通常采用數(shù)據(jù)區(qū)中特定標(biāo)記的檢測來判斷數(shù)據(jù)是否到達(dá)。CMEX通信軟件接口種事件機(jī)制，可以在RDMA寫操作后觸發(fā)遠(yuǎn)程事件，接收方檢測到事斷盼MA寫數(shù)據(jù)的到達(dá)。在ohi。stateuniversity大學(xué)的MvAPIeH[，提出了一種基于hifiniBand的RDMA寫通信機(jī)制的數(shù)據(jù)傳輸方法，可次RDMA寫通信操作來完成數(shù)據(jù)，但這種方法要求RDMA寫操作的序傳輸。在我們的CNI接口實(shí)現(xiàn)平臺上，基于PCI一X總線的接口卡A寫操作數(shù)據(jù)傳輸?shù)捻樞蛐�，但在NC中，RDMA寫操作的數(shù)據(jù)就有的。因此我們參考了MVAPICH提出的技術(shù)途徑，并做了部分修改，HZ一CMEX的RDMA寫數(shù)據(jù)傳輸通道。RDMA寫數(shù)據(jù)傳輸通道的結(jié)構(gòu)設(shè)計(jì)如圖3.3所示。

【參考文獻(xiàn)】：
期刊論文
[1]一個(gè)適合大規(guī)模集群并行計(jì)算的檢查點(diǎn)系統(tǒng)[J]. 周恩強(qiáng),盧宇彤,沈志宇.  計(jì)算機(jī)研究與發(fā)展. 2005(06)

博士論文
[1]基于SMP結(jié)點(diǎn)的機(jī)群通信系統(tǒng)關(guān)鍵技術(shù)的研究[D]. 馬捷.中國科學(xué)院研究生院（計(jì)算技術(shù)研究所） 2001



本文編號：2936985