容錯CORBA模型的研究.pdf

1、論文以O(shè)MG組織的容錯CORBA規(guī)范為參照。容錯CORBA規(guī)范的基本思想是通過實(shí)現(xiàn)系統(tǒng)的冗余來提高系統(tǒng)的可靠性，論文圍繞這個思路進(jìn)行了相關(guān)研究，論文的主要工作包括以下幾個方面： (1)論文從更加貼近現(xiàn)實(shí)條件的角度來建立起異步的consensus模型，該模型避免了目前大多數(shù)consensus模型對底層的網(wǎng)絡(luò)通信是全連接的假設(shè)，該模型允許系統(tǒng)存在網(wǎng)絡(luò)分割錯誤，為此模型使用了主分段的概念。另外，該模型是一種down-recovery的

2、模型。 (2)目前的consensus算法都只是站在得到一致性結(jié)果的角度，而沒有考慮到多數(shù)性原則，對此，論文對consensus算法的正確性描述進(jìn)行了擴(kuò)展，添加了多數(shù)性原則，雖然多數(shù)性原則在毫無約束的異步環(huán)境下被證明是不可實(shí)現(xiàn)的，但是在某些情況下(例如正確的進(jìn)程占系統(tǒng)總進(jìn)程數(shù)的3/4以上)，多數(shù)性原則是可以滿足的。 (3)論文在建立的異步模型的基礎(chǔ)上，實(shí)現(xiàn)了一個帶投票的consensus算法，并對其進(jìn)行了相關(guān)證明。該算法

3、不僅可以得到一致性的結(jié)果，還將多數(shù)性原則的考慮加入到算法實(shí)現(xiàn)之中。其中最顯著的特色是論文的consensus算法增加了協(xié)調(diào)競爭者的角色，對多數(shù)性原則有了更多的考慮。 (4)論文提出了容錯CORBA模型——AIOFORBUS。該模型以O(shè)MG組織的容錯CORBA規(guī)范為架構(gòu)，將可靠全序多播功能、主服務(wù)器選擇算法、日志/恢復(fù)機(jī)制，以及consensus工具等融合在體系內(nèi)部，使模型成為一個功能較為完整的體系結(jié)構(gòu)。 (5)論文工作中

4、使用Java語言實(shí)現(xiàn)了AIOFORBUS原型系統(tǒng)，該系統(tǒng)是在通用CORBA--JORBUS基礎(chǔ)之上進(jìn)行修改和擴(kuò)展而實(shí)現(xiàn)的。論文首先對AIOFORBUS的調(diào)度模型的實(shí)現(xiàn)進(jìn)行了較為詳細(xì)地介紹，包括對ORB進(jìn)行了擴(kuò)展，使之支持多播通信，并具有重復(fù)報(bào)文過濾的功能；在可靠全序服務(wù)的基礎(chǔ)上，對POA進(jìn)行了擴(kuò)展，實(shí)現(xiàn)了確定性的調(diào)度，為對象組成員狀態(tài)的一致性奠定了良好的基礎(chǔ)。另外，論文工作還實(shí)現(xiàn)了一定的容錯功能。 本論文的工作受到國家863項(xiàng)目