半同步非阻塞的CORBA事務(wù)服務(wù)的研究與實(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è)趨勢。這種通過通信線路將多臺(tái)計(jì)算機(jī)互聯(lián),協(xié)同為用戶提供服務(wù)的系統(tǒng),稱之為分布式計(jì)算機(jī)系統(tǒng)。分布式計(jì)算機(jī)系統(tǒng)給用戶提供了一個(gè)豐富的資源集合。 原子提交是分布式計(jì)算機(jī)系統(tǒng)的一個(gè)重要問題,也是基于分布式計(jì)算機(jī)系統(tǒng)的現(xiàn)代信息系統(tǒng)所必需的關(guān)鍵功能。例如,分布式數(shù)據(jù)庫、銀行轉(zhuǎn)帳系統(tǒng)以及分布式對(duì)象平臺(tái)都是圍繞原

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

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