计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2011年
11期
2031-2038
,共8页
荆树旭%何发智%蔡贤涛%程媛
荊樹旭%何髮智%蔡賢濤%程媛
형수욱%하발지%채현도%정원
协同建模%复制式结构%乐观并发控制机制%协同命名%对象引用
協同建模%複製式結構%樂觀併髮控製機製%協同命名%對象引用
협동건모%복제식결구%악관병발공제궤제%협동명명%대상인용
乐观并发控制允许操作并发执行,由此将产生对象引用发生时刻与对象引用使用时刻的几何模型的不一致,结果将导致命名机制的失效而不能保证对象引用的正确性.将引用对象分为可替代与不可替代2种类型,对于可替代对象引用,通过构建对象引用发生时刻的临时几何模型保证该类对象引用的正确性；对于不可替代对象引用,通过恢复对象引用发生时刻的几何模型,然后完成引用该类对象的操作,最后Redo模型恢复过程中被Undo的并发操作来保证该类对象引用的正确性.在原型系统中对提出的方法进行了验证.
樂觀併髮控製允許操作併髮執行,由此將產生對象引用髮生時刻與對象引用使用時刻的幾何模型的不一緻,結果將導緻命名機製的失效而不能保證對象引用的正確性.將引用對象分為可替代與不可替代2種類型,對于可替代對象引用,通過構建對象引用髮生時刻的臨時幾何模型保證該類對象引用的正確性；對于不可替代對象引用,通過恢複對象引用髮生時刻的幾何模型,然後完成引用該類對象的操作,最後Redo模型恢複過程中被Undo的併髮操作來保證該類對象引用的正確性.在原型繫統中對提齣的方法進行瞭驗證.
악관병발공제윤허조작병발집행,유차장산생대상인용발생시각여대상인용사용시각적궤하모형적불일치,결과장도치명명궤제적실효이불능보증대상인용적정학성.장인용대상분위가체대여불가체대2충류형,대우가체대대상인용,통과구건대상인용발생시각적림시궤하모형보증해류대상인용적정학성；대우불가체대대상인용,통과회복대상인용발생시각적궤하모형,연후완성인용해류대상적조작,최후Redo모형회복과정중피Undo적병발조작래보증해류대상인용적정학성.재원형계통중대제출적방법진행료험증.
