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

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

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

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

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