协同图形编辑系统的操作冲突及消解.pdfVIP

ofYuxiNormal V01．25No．8 University 玉溪师范学院学报(第25卷)2009年第8期Journal Aug．2009 夸信息技术研究夺 协同图形编辑系统的操作冲突及消解 李春萍马瑜 (玉溪师范学院信息技术工程学院。云南玉溪653100) [关键词]协同图形编辑系统；操作冲突；几何属性；非几何属性 [摘要]基于协同图形操作的丰富语意，在识别出对象几何属性与非几何属性操作的基础上， 提出一个新的冲突模型及定义，它能更好地实现操作意愿维护，并已在原型系统CoDraftPaint的 Undo算法中得到验证． [作者简介]李春萍，硕士，讲师，主要从事CSCW及网格计算研究． 分布环境下的协同编辑系统(CooperativeEditing Systems，CES)…支持不同地域的协作人员通过网络 编辑同一个文档的文本、图形、图像等对象，共同高效地进行设计和浏览．协同环境中的用户希望多用户编 辑系统也具有单用户版本方便快捷的操作特性，因此CES应当支持多用户并发、自然地编辑或浏览共享 文档的任何部分，不对用户施加过多约束．为此，CES大多采用全复制的体系结构，每个协同结点维护共享 文档的一个副本，用户的编辑操作可以在本地结点上立即执行，然后广播到远程协作结点．研究与开发全 复制结构的CES的关键问题之一是多个复制数据视图的一致性．¨’21 一致性维护是CES研究的热点．当不同结点生成的并发操作试图改变同一个对象的相同属性到不同 的属性值时，并发控制问题就产生了，例如两个并发的SetColor操作试图把同一个对象设置成不同的颜 色．冲突操作的执行可能导致文档副本的不一致． 操作冲突的识别及定义是CES一致性维护的基础．本文试图利用具体的操作语意，在更丰富的语意 环境中讨论CES的操作冲突及其消解． 1 操作冲突及一致性维护 c．A．Ellis【l 3等人对CES的一致性维护做了先驱性的研究工作，创建了广为人知的分布操作转换算法 dOPT(distributedOperational 换算法．操作O的操作意愿要求0在任意结点上的执行效果与在产生O的文档状态下应用0的结果一 致，当操作执行时的实际效果与操作产生时的效果不一致，则导致意愿分离．例如，一个操作设置对象G 的颜色为蓝色，其并发操作将G设置为红色，无论以怎样的顺序执行，这两个操作的意愿都不可能同时体 现在同一个文档副本中．对于任何操作0，在所有结点上执行O的结果都应与O的意愿一致，而且操作0 45 玉溪师范学院学报 的执行不能改变其他并发操作的执行效果，这称为意愿保证．操作转换的基本思想为：操作执行前参照操 作日志，对操作参数进行必要的调整，以补偿由于执行了其他并发操作而引起的文档变化．典型代表有 GROVE、REDUCE、Jupiter等． Collaborative 基于对象的协同图形编辑系统OCES(Object—basedgraphicsEditingSystems)旧。与传统 的协同文本编辑器不同，共享文档表示为一组具有不同属性的图形对象，而且对象相互独立，对某个对象 属性的修改不会影响到同一个对象的其他属性以及共享文档的其他对象；如果对同一个对象的相同属性 并发地进行修改就可能出现操作冲突．两个并发操作具有冲突关系还是相容关系取决于它们的执行是否 o 导致意愿分离．【2 为保证任意一组操作在任何协同结点上都能得到相同的操作效果，C．Sun等人使用冲突／相容操作的 组合和正确性校验规则来合成多个版本，提出了基于对象复制的多版本策略．[2’由于冲突操作的效果不 可能共存于同一个对象，保证冲突的操作意愿的惟一办法是从原始对象派生两个对象版本，分别执行冲突 操作．