分布式失效檢測算法的研究.pdf

1、計算機通信和網(wǎng)絡(luò)技術(shù)的普及和發(fā)展，使信息的處理方式發(fā)生了根本性的變化。由原來傳統(tǒng)的集中式處理轉(zhuǎn)變成分布式處理方式。分布在不同的地點、基于不同的平臺與環(huán)境的多個計算實體與信息資源。在具體的任務(wù)要求下，組合在一起相互協(xié)作完成指定的工作。
　　與傳統(tǒng)的集中式處理相比，分布式系統(tǒng)下處理的完成依靠良好的網(wǎng)絡(luò)通信。由于網(wǎng)絡(luò)通信容易受到鏈路的故障、通信阻塞和消息丟失等多種不利因素的影響。所以，在分布式領(lǐng)域中的一個重要研究方向是在分布式環(huán)境下怎樣

2、保證算法的正確性與服務(wù)質(zhì)量。近十幾年來，應(yīng)用失效檢測機制來實現(xiàn)和設(shè)計分布式系統(tǒng)下的容錯協(xié)議和算法是該領(lǐng)域研究的一個新課題。該課題研究的主要目標是要在通信容易受到鏈路的故障、通信阻塞、消息丟失和消息延遲不可預(yù)期等多種不利因素下，設(shè)計出滿足完全性和精確性的失效檢測算法。其解決方法應(yīng)用到許多實際的分布式系統(tǒng)中，例如：HARP、PAXOS、BOXWOOD、Chain Replication等等。
　　在受限異步假設(shè)的前提下，本文提出了基于

3、“存活授權(quán)/自殺失效”方法的失效檢測算法。算法包括一個被檢測進程(即主進程p)、多個觀測進程X(用于監(jiān)控主進程的狀態(tài))和一個用戶進程q。在本文設(shè)計的算法中，采用“存活授權(quán)/自殺失效”機制來保證算法滿足完整性和精確性。
　　本文從用戶進程角度給出了完整性和精確性的定義。若主進程ｐ在失效后，最終能夠被用戶進程q判為失效，則稱系統(tǒng)滿足用戶完整性。若用戶進程q永遠不會在主進程ｐ失效前將其判為失效，則稱系統(tǒng)滿足用戶永久精確性。并分析了所提出

4、的失效檢測算法滿足完整性和精確性兩個性質(zhì)。
　　對算法的服務(wù)質(zhì)量進行分析。其服務(wù)質(zhì)量包含三項指標：主進程自殺失效間隔時間的期望、失效檢測時間的期望和正常響應(yīng)時間的期望。本文還對失效檢測算法的運行過程建立了數(shù)學(xué)模型，并對算法的服務(wù)質(zhì)量的三項指標應(yīng)用隨機過程與概率方法進行理論上的分析。
　　最后，運用計算機模擬和參數(shù)估計技術(shù)對失效檢測算法的服務(wù)質(zhì)量的理論數(shù)據(jù)進行精準度的分析。用蒙特卡洛方法模擬失效檢測算法的運行過程，來獲得算法服