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

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

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

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

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