分布式系統(tǒng)中容錯計算的合意問題與快照算法的研究
發(fā)布時間:2021-10-29 14:56
分布式計算機系統(tǒng)近二十多年來獲得了很大的發(fā)展,廣泛地受到學術(shù)界的高度重視,它的應用也越來越引人注目。在未來,幾乎絕大多數(shù)有效的計算機系統(tǒng)都將是一個分布式計算機系統(tǒng),這就極大地促進了分布式計算理論、方法與技術(shù)的發(fā)展。同時,隨著通信技術(shù)和計算機技術(shù)的飛速發(fā)展,網(wǎng)絡(luò)帶寬和CPU速度的不斷提高,對分布式系統(tǒng)的性能要求也日益受到重視。于是,分布式系統(tǒng)的高性能成為人們追求的主要目標之一。根據(jù)不同的應用任務(問題)決定不同的軟硬件系統(tǒng)結(jié)構(gòu)可進一步提高系統(tǒng)性能,而所有這一切,都需要高質(zhì)量的分布式算法作為支撐。計算全局一致性快照是分布式系統(tǒng)和分布式計算面臨的主要的基礎(chǔ)問題之一。快照計算了所有進程的狀態(tài)和通道的狀態(tài),它能從邏輯上反映出某一時刻各個進程及通道的情況,形成系統(tǒng)的一個形態(tài)(全局狀態(tài))。因此,我們可以利用快照算法的反復執(zhí)行來檢測穩(wěn)定性質(zhì),常見的如終止性檢測,死鎖檢測等。本文在通道為FIFO的前提下,討論了一類特殊的快照,即無消息在傳遞途中(intransit)的快照,并在快照的基礎(chǔ)上進行終止性檢測。這類特殊的算法不僅可以有效地解決了系統(tǒng)的終止性檢測問題,還節(jié)省了存儲空間。容錯...
【文章來源】:廈門大學福建省 211工程院校 985工程院校 教育部直屬院校
【文章頁數(shù)】:55 頁
【學位級別】:碩士
【文章目錄】:
摘要
ABSTRACT
第一章 分布式系統(tǒng)與分布式算法概述
1.1 分布式系統(tǒng)
1.2 分布式算法
1.3 本文的工作
第二章 基于無IN_TRANSIT 消息快照的終止性檢測
2.1 快照算法概述
2.2 預備知識
2.3 兩個快照算法
2.4 無IN_TRANSIT 消息的快照算法
2.5 小結(jié)
第三章 基于ι-精確的S 類故障檢測器的合意問題
3.1 合意問題概述
3.2 異步系統(tǒng)和不可靠故障檢測器
3.3 S 類故障檢測器與◇P 類故障檢測器比較
3.4 基于ι-精確的S 類故障檢測器的合意問題
3.5 小結(jié)
第四章 總結(jié)與討論
參考文獻
碩士研究生學習期間已發(fā)表的論文
致謝
【參考文獻】:
期刊論文
[1]一個有效的重復快照算法[J]. 賀樂天,孫永強. 計算機學報. 1997(08)
本文編號:3464871
【文章來源】:廈門大學福建省 211工程院校 985工程院校 教育部直屬院校
【文章頁數(shù)】:55 頁
【學位級別】:碩士
【文章目錄】:
摘要
ABSTRACT
第一章 分布式系統(tǒng)與分布式算法概述
1.1 分布式系統(tǒng)
1.2 分布式算法
1.3 本文的工作
第二章 基于無IN_TRANSIT 消息快照的終止性檢測
2.1 快照算法概述
2.2 預備知識
2.3 兩個快照算法
2.4 無IN_TRANSIT 消息的快照算法
2.5 小結(jié)
第三章 基于ι-精確的S 類故障檢測器的合意問題
3.1 合意問題概述
3.2 異步系統(tǒng)和不可靠故障檢測器
3.3 S 類故障檢測器與◇P 類故障檢測器比較
3.4 基于ι-精確的S 類故障檢測器的合意問題
3.5 小結(jié)
第四章 總結(jié)與討論
參考文獻
碩士研究生學習期間已發(fā)表的論文
致謝
【參考文獻】:
期刊論文
[1]一個有效的重復快照算法[J]. 賀樂天,孫永強. 計算機學報. 1997(08)
本文編號:3464871
本文鏈接:http://sikaile.net/kejilunwen/jisuanjikexuelunwen/3464871.html
最近更新
教材專著