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

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

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

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