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

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

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

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