半同步非阻塞的CORBA事務(wù)服務(wù)的研究與實現(xiàn).pdf

1、隨著計算機網(wǎng)絡(luò)的不斷發(fā)展以及計算機硬件價格的下降,將計算任務(wù)分布到多個物理主機上處理,以提高任務(wù)計算速度和降低任務(wù)運算成本已經(jīng)成為一個趨勢。這種通過通信線路將多臺計算機互聯(lián),協(xié)同為用戶提供服務(wù)的系統(tǒng),稱之為分布式計算機系統(tǒng)。分布式計算機系統(tǒng)給用戶提供了一個豐富的資源集合。 原子提交是分布式計算機系統(tǒng)的一個重要問題,也是基于分布式計算機系統(tǒng)的現(xiàn)代信息系統(tǒng)所必需的關(guān)鍵功能。例如,分布式數(shù)據(jù)庫、銀行轉(zhuǎn)帳系統(tǒng)以及分布式對象平臺都是圍繞原

2、子提交而構(gòu)建的分布式計算機系統(tǒng)。原子提交的目的在于確保分布計算參與者數(shù)據(jù)的一致性。分布計算參與者以及其原子提交過程被稱之為一個分布事務(wù)。CORBA對象事務(wù)服務(wù)結(jié)合了分布式對象技術(shù)和事務(wù)處理技術(shù),是為分布式環(huán)境下的CORBA應(yīng)用系統(tǒng)保持事務(wù)ACID屬性的一種服務(wù)。但采用兩階段原子提交協(xié)議(2PC)的CORBA對象事務(wù)服務(wù)在特定失效場景之下可能導(dǎo)致阻塞。 本文針對CORBA對象事務(wù)服務(wù)的不足,提出了一種基于非阻塞原子提交協(xié)議的分布事

3、務(wù)應(yīng)用解決方案。該解決方案可以為半同步系統(tǒng)中的分布事務(wù)應(yīng)用開發(fā)提供支持,并且內(nèi)部集成了使用非阻塞原子提交協(xié)議的CORBA對象事務(wù)服務(wù)。 本論文的主要貢獻有：(1)基于2PC,提出了非阻塞原子提交協(xié)議--ARB2PC,并證明其滿足作為非阻塞原子提交協(xié)議的性質(zhì)。該協(xié)議可以在文中所提出的假設(shè)條件之下避免2PC的阻塞問題。(2)實現(xiàn)了CORBA對象事務(wù)服務(wù)的部分接口,并利用ARB2PC作為其原子提交協(xié)議,形成OTS-ARB2PC系統(tǒng)。該