分布式版本控制中間件的研究與實(shí)現(xiàn).pdf

1、分布式協(xié)同設(shè)計(jì)是計(jì)算機(jī)支持大型工程設(shè)計(jì)的有效方法。由于飛機(jī)協(xié)同設(shè)計(jì)等大型項(xiàng)目的設(shè)計(jì)過程是多次反復(fù)迭代的過程，因此對(duì)分布式協(xié)同設(shè)計(jì)而言，可靠、有效的版本控制顯得尤為重要。版本不僅記錄了設(shè)計(jì)過程的演變，也可為設(shè)計(jì)的可追溯性提供技術(shù)支撐。因此，對(duì)分布式版本控制的研究具有重要的理論意義和應(yīng)用價(jià)值。
　　本文分析了分布式版本控制所涉及到的關(guān)鍵問題，重點(diǎn)研究了分布式版本控制中事務(wù)的并發(fā)控制技術(shù)與一致性策略。論文主要研究工作如下：1）針對(duì)現(xiàn)有并

2、發(fā)控制算法適應(yīng)性較差的問題，提出了自適應(yīng)并發(fā)控制算法。該算法將并發(fā)控制過程分為兩個(gè)階段：執(zhí)行授權(quán)和策略選擇。執(zhí)行授權(quán)階段根據(jù)事務(wù)的有效性決定沖突事務(wù)執(zhí)行的順序；策略選擇階段根據(jù)事務(wù)的讀寫狀態(tài)以及當(dāng)前沖突率動(dòng)態(tài)地選擇樂觀/悲觀沖突消解策略。設(shè)計(jì)的策略選擇機(jī)制使得無論數(shù)據(jù)庫是處于空閑還是繁忙狀態(tài)，ACC算法都具有較高的執(zhí)行效率。通過對(duì)比實(shí)驗(yàn)驗(yàn)證了本文提出的ACC算法的性能要優(yōu)于經(jīng)典的兩階段加鎖并發(fā)控制算法和HCC算法；2）針對(duì)傳統(tǒng)的版本控制

3、模型存在通用性較差、不能分布式部署的問題，提出了基于語義的版本控制模型。該模型中的模式、版本和關(guān)系動(dòng)態(tài)地描述了設(shè)計(jì)對(duì)象的變化過程。同時(shí)還介紹了基于語義的版本控制模型下的一致性約束條件和版本控制方法。對(duì)比實(shí)驗(yàn)證明基于語義的版本控制模型在時(shí)空開銷上優(yōu)于其他版本控制模型；3）本文采用Jsp技術(shù)在Eclipse平臺(tái)下設(shè)計(jì)并初步實(shí)現(xiàn)了分布式版本控制中間件，最后通過飛行器協(xié)同設(shè)計(jì)軟件對(duì)分布式版本控制中間件進(jìn)行了試用，測(cè)試實(shí)驗(yàn)與分析表明本文所設(shè)計(jì)的模