容錯CORBA模型的研究.pdf

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

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

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

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