基于CORBA的容錯流程控制系統(tǒng)設計與實現(xiàn).pdf

1、隨著計算機網(wǎng)絡的不斷發(fā)展以及計算機硬件價格的下降，將計算任務分布到多個物理主機上處理，以提高任務計算速度和降低任務運算成本已經(jīng)成為一個趨勢。在分布式環(huán)境中，發(fā)布/訂閱（Publish/Subscribe）模式是實現(xiàn)動態(tài)、多對多通信的一種通信網(wǎng)絡結(jié)構(gòu)，在通信實體之間建立松耦合關系，廣泛應用于構(gòu)建信息/消息驅(qū)動的復雜分布式應用系統(tǒng)。然而，復雜應用系統(tǒng)中業(yè)務邏輯往往有一套嚴格執(zhí)行流程，現(xiàn)有的發(fā)布/訂閱模式忽視信息/消息在業(yè)務邏輯中的語義，缺乏

2、流程控制功能，應用邏輯由各個發(fā)布/訂閱組件單獨判斷，導致系統(tǒng)缺乏對流程全局控制。針對這個問題，本論文結(jié)合消息語義，引入消息過濾機制，提出具有流程控制功能的發(fā)布/訂閱結(jié)構(gòu)，實現(xiàn)系統(tǒng)對應用邏輯的全局可控。進一步，為提高系統(tǒng)可靠性，利用主動復制容錯技術，提出容錯的具有流程控制功能的發(fā)布/訂閱模式，通過在現(xiàn)有平臺中引入容錯流程控制服務器加以實現(xiàn)。 對于采用主動復制容錯技術構(gòu)建的容錯系統(tǒng)，當有組成員失敗時，為不降低系統(tǒng)容錯能力，需要有新的

3、復制服務器加入組，新成員只有獲得與當前組成員一致狀態(tài)后才能正確執(zhí)行后繼請求?，F(xiàn)有對新成員加入容錯組的研究集中于成員加入過程組視圖一致性的維護，忽視新成員與現(xiàn)有成員間同步狀態(tài)數(shù)據(jù)的研究，實驗表明新成員狀態(tài)同步過程可能產(chǎn)生普通成員對協(xié)調(diào)者存活狀態(tài)誤判；協(xié)調(diào)者失效后同步重定向；同步數(shù)據(jù)較大時，客戶端響應的延遲抖動較大等問題。本文提出Cordinator_Once與Cordinator_Multiple兩種同步模式解決上述問題并給出新成員狀態(tài)同

4、步算法與同步重定向算法，說明其正確性并通過仿真實驗說明算法的性能。 本論文的主要貢獻有：（1）提出容錯的具有流程控制功能的發(fā)布/訂閱模式。（2）研究新成員加入組時狀態(tài)同步問題，提出Cordinator_Once同步模式與Cordinator_Multiple同步模式加以解決，給出新成員狀態(tài)同步算法與同步重定向算法并做優(yōu)化，分析算法正確性。（3）設計實現(xiàn)GMS系統(tǒng)狀態(tài)同步模塊，提供應用編程接口。（4）基于CORBA規(guī)范，設計并實現(xiàn)