實(shí)時(shí)協(xié)同設(shè)計(jì)系統(tǒng)中的同步性問題研究.pdf

1、實(shí)時(shí)協(xié)同設(shè)計(jì)系統(tǒng)是CSCW技術(shù)的一個(gè)典型應(yīng)用,它允許多個(gè)用戶通過互聯(lián)網(wǎng)絡(luò)同步的對(duì)同一文檔進(jìn)行編輯.作為一類支持人機(jī)交互的分布式系統(tǒng),實(shí)時(shí)協(xié)同設(shè)計(jì)系統(tǒng)具有較高的實(shí)際應(yīng)用價(jià)值.實(shí)時(shí)性、分布式、用戶操作無限制是實(shí)時(shí)協(xié)同設(shè)計(jì)系統(tǒng)的三個(gè)重要要求.由于用戶的同步操作和網(wǎng)絡(luò)傳輸延遲的存在,為實(shí)現(xiàn)上述系統(tǒng)要求,協(xié)同過程中容易產(chǎn)生各種不同步的現(xiàn)象.目前國內(nèi)外對(duì)實(shí)時(shí)協(xié)同設(shè)計(jì)系統(tǒng)的研究中,還沒有一個(gè)系統(tǒng)能夠徹底完整的解決所有的這些同步性沖突.在該文中,我們對(duì)

2、這些同步性問題進(jìn)行了深入細(xì)致的研究,分析了目前已有解決方案的優(yōu)點(diǎn)和缺點(diǎn),以適合大規(guī)模應(yīng)用為目標(biāo),提出了完整的解決方案.論文首先對(duì)實(shí)時(shí)協(xié)同設(shè)計(jì)過程中的由于用戶的無限制同步操作和網(wǎng)絡(luò)傳輸延時(shí)而產(chǎn)生的同步性沖突進(jìn)行了分析,指出了不同步、執(zhí)行順序沖突、意圖沖突這三種同步性沖突的形成原因及表現(xiàn)形式.針對(duì)這些同步性沖突,論文中提出了狀態(tài)矢量、撤銷/變換執(zhí)行/變換恢復(fù)算法等一系列算法,有效的解決了同步性沖突的問題.論文中,對(duì)于撤銷、恢復(fù)操作這類特殊操

3、作過程中所引起的同步性問題也進(jìn)行了分析和研究.作為單用戶系統(tǒng)中的重要操作功能,撤銷、恢復(fù)操作同樣也是實(shí)時(shí)協(xié)同設(shè)計(jì)系統(tǒng)中不可缺少的系統(tǒng)功能.但是,由于該操作的特殊性,在分布式系統(tǒng)中的實(shí)現(xiàn)時(shí)有可能會(huì)引起系統(tǒng)中的各個(gè)站點(diǎn)的不同步.論文中在對(duì)這個(gè)同步性問題的研究以后,提出了通過選擇撤銷/恢復(fù)算法,有效的解決了撤銷、恢復(fù)操作中的同步性問題.論文中還對(duì)由于站點(diǎn)遲到或者非正常退出協(xié)同設(shè)計(jì)系統(tǒng)而引起的同步性問題進(jìn)行了研究.在協(xié)同設(shè)計(jì)過程中,如果有站點(diǎn)遲

4、到加入,或者由于網(wǎng)絡(luò)等原因非正常退出系統(tǒng)并再次加入,該站點(diǎn)的初始文檔狀態(tài)必然和其他站點(diǎn)不同,從而造成了系統(tǒng)的不同步.針對(duì)這種情況,論文中提出了同步過程,包括主控站點(diǎn)發(fā)送同步隊(duì)列、狀態(tài)矢量輪詢、缺少操作補(bǔ)齊等步驟,解決了站點(diǎn)遲到或者非正常退出系統(tǒng)而引起的同步性問題.在論文的最后,介紹了實(shí)時(shí)協(xié)同設(shè)計(jì)原型系統(tǒng)CoDesign系統(tǒng).作為一個(gè)實(shí)時(shí)協(xié)同設(shè)計(jì)原型系統(tǒng),CoDesign系統(tǒng)實(shí)現(xiàn)了本文中提出的所有算法.通過對(duì)CoDesign系統(tǒng)的分析和實(shí)