基于代理的Byzantine協(xié)議的研究與實現(xiàn).pdf

1、計算機軟件容錯按照進程出錯的類型采取不同的處理方式，進程出錯一般分為兩種：Fail-silent類型和Byzantine類型。對于第一種類型，出錯的進程停止運行或?qū)斎氩蛔鞣磻?yīng)。對第二種類型，出錯的進程繼續(xù)運行，并與其他進程一起惡意的工作，發(fā)出錯誤消息。 隨著計算機網(wǎng)絡(luò)的迅猛發(fā)展，人們對網(wǎng)絡(luò)的依賴性越來越強，人們希望網(wǎng)絡(luò)為他們提供可靠性高，安全，及時的服務(wù)，但很多時候這些服務(wù)會受到諸如軟件缺陷、操作錯誤、以及惡意攻擊等Byzan

2、tine錯誤的影響導(dǎo)致服務(wù)的中斷或破壞。 本文對解決Byzantine錯誤的技術(shù)以及國內(nèi)外的研究的現(xiàn)狀進行了綜述，傳統(tǒng)協(xié)議需要所有的進程都參與協(xié)同一致的制定，因此假如進程位于不同主機，則會加大系統(tǒng)運算的延時，加大消息被截獲的可能性，本文在現(xiàn)有的Byzantine協(xié)議的基礎(chǔ)上提出了改進。改進后的協(xié)議，按照Lamport等人提出的解決Byzantine問題的最少備份進程數(shù)(進程運行過程中如果有f個進程出錯，則只有當至少2f+1個進程

3、是正確的情況下，進程總數(shù)為3f+1，系統(tǒng)才能實現(xiàn)協(xié)同一致)，將所有參與運算的進程分成很多小塊，每個塊設(shè)有一個代理。各個塊內(nèi)的進程運行的結(jié)果通過代理與其他塊的代理通訊，最后產(chǎn)生一個最終的正確的結(jié)果。傳統(tǒng)的協(xié)議需要所有參與運算的進程都要通訊(通過原子廣播)，而改進的協(xié)議只要求代理進行通訊。 同時，本文根據(jù)復(fù)制進程的特點，將回滾恢復(fù)技術(shù)加入了本文提出的協(xié)議，提出了只有主進程做檢查點，其他復(fù)制進程讀主進程的檢查點文件的策略，從而進一步的