分布式計(jì)算機(jī)系統(tǒng)近二十多年來(lái)獲得了很大的發(fā)展,廣泛地受到學(xué)術(shù)界的高度重視,它的應(yīng)用也越來(lái)越引人注目。在未來(lái),幾乎絕大多數(shù)有效的計(jì)算機(jī)系統(tǒng)都將是一個(gè)分布式計(jì)算機(jī)系統(tǒng),這就極大地促進(jìn)了分布式計(jì)算理論、方法與技術(shù)的發(fā)展。同時(shí),隨著通信技術(shù)和計(jì)算機(jī)技術(shù)的飛速發(fā)展,網(wǎng)絡(luò)帶寬和CPU速度的不斷提高,對(duì)分布式系統(tǒng)的性能要求也日益受到重視。于是,分布式系統(tǒng)的高性能成為人們追求的主要目標(biāo)之一。根據(jù)不同的應(yīng)用任務(wù)（問(wèn)題）決定不同的軟硬件系統(tǒng)結(jié)構(gòu)可進(jìn)一步提高系統(tǒng)性能,而所有這一切,都需要高質(zhì)量的分布式算法作為支撐。計(jì)算全局一致性快照是分布式系統(tǒng)和分布式計(jì)算面臨的主要的基礎(chǔ)問(wèn)題之一。快照計(jì)算了所有進(jìn)程的狀態(tài)和通道的狀態(tài),它能從邏輯上反映出某一時(shí)刻各個(gè)進(jìn)程及通道的情況,形成系統(tǒng)的一個(gè)形態(tài)（全局狀態(tài)）。因此,我們可以利用快照算法的反復(fù)執(zhí)行來(lái)檢測(cè)穩(wěn)定性質(zhì),常見(jiàn)的如終止性檢測(cè),死鎖檢測(cè)等。本文在通道為FIFO的前提下,討論了一類特殊的快照,即無(wú)消息在傳遞途中（in_transit）的快照,并在快照的基礎(chǔ)上進(jìn)行終止性檢測(cè)。這類特殊的算法不僅可以有效地解決了系統(tǒng)的終止性檢測(cè)問(wèn)題,還節(jié)省了存儲(chǔ)空間。容錯(cuò)... 

【文章來(lái)源】：廈門(mén)大學(xué)福建省 211工程院校 985工程院校 教育部直屬院校

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

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

【文章目錄】：
摘要
ABSTRACT
第一章 分布式系統(tǒng)與分布式算法概述
    1.1 分布式系統(tǒng)
    1.2 分布式算法
    1.3 本文的工作
第二章 基于無(wú)IN_TRANSIT 消息快照的終止性檢測(cè)
    2.1 快照算法概述
    2.2 預(yù)備知識(shí)
    2.3 兩個(gè)快照算法
    2.4 無(wú)IN_TRANSIT 消息的快照算法
    2.5 小結(jié)
第三章 基于ι-精確的S 類故障檢測(cè)器的合意問(wèn)題
    3.1 合意問(wèn)題概述
    3.2 異步系統(tǒng)和不可靠故障檢測(cè)器
    3.3 S 類故障檢測(cè)器與◇P 類故障檢測(cè)器比較
    3.4 基于ι-精確的S 類故障檢測(cè)器的合意問(wèn)題
    3.5 小結(jié)
第四章 總結(jié)與討論
參考文獻(xiàn)
碩士研究生學(xué)習(xí)期間已發(fā)表的論文
致謝


【參考文獻(xiàn)】：
期刊論文
[1]一個(gè)有效的重復(fù)快照算法[J]. 賀樂(lè)天,孫永強(qiáng).  計(jì)算機(jī)學(xué)報(bào). 1997(08)



本文編號(hào)：3464871