协同编辑系统中保持共享对象一致性的研究

如何保持共享对象的一致性是实时协同设计中的核心问题。文中介绍了一种新颖的保持共享对象一致性的方法。根据协同图形编辑系统中操作冲突的特点,使用消息驱动机制,配合同步机制和冲突检测与消解机制,使得系统既能保持共享对象的一致性,又满足了实时协同设计中的响应性、因果顺序一致性,并最大限度地保持了用户的操作目的。     

协同图形编辑系统设计与实现

给出了基于图形对象的协同编辑系统的操作冲突／相容关系及其基于逻辑时间钟的检测方法和一致性保证算法。在此基础上，讨论了一个实时协同图形编辑系统的设计方面有关的关键技术。实验结果表明，该方法是可行和有效的。     

集成用户可定制锁和操作转换的并发控制方法

锁是一种用于分布计算和数据库系统的传统的并发控制方法,它通过将对共享对象的修改访问权在某一时间内授予唯一的访问者,以使对共享对象的访问得以串行化;操作转换方法是一种用于实时协同系统中一致性维护的方法。这两种方法均不能完全解决数据一致性问题。论述了锁机制和操作转换在一致性维护中的互补关系,提出了一种用户可定制的锁方法,并将该锁方法与操作转换结合起来应用于全复制式的协同环境中。用户可定制的锁机制集成操作转换方法具有可靠性高、响应速度快和非阻塞的特点;用户动态定制加锁粒度可以保证最大程度的并发性。该方法有效地解决了实时群件系统中一般的一致性问题和特定上下文的一致性问题。     

协同图形编辑系统中并发操作冲突检测的研究

实时协同设计是CSCW应用的重要领域。实时协同设计过程实际上就是并发冲突产生和消解的过程。本文描述协同图形编辑系统中多对象之间的冲突相关定义,提出一种判别并发操作冲突的关联对象冲突检测策略,设计实现相应的冲突检测算法,最后对算法的可行性进行分析。     

实时协同位图编辑系统中不一致性问题研究

实时协同编辑系统有着广泛的应用前景,然而其冲突性操作导致众多结果不一致,解决一致性问题已成为设计与实现实时协同系统的关键性问题。该文基于对分布式系统采用的各种并发控制和一致性维持模型的比较,分析协同编辑中的三种不一致性问题、一致性模型,并研究相应的解决技术,提出了一种新的基于复制结构的协同位图编辑系统一致性维持模型。     

基于图形对象的一致性维护问题的研究

针对实时协同图形编辑系统中一致性维护关键问题,提出了一种基于图形对象的并发控制算法。该算法扩展了面向文本编辑的分布式操作转换dOPT算法,满足图形对象属性级上数据一致性维护,同时通过预定义图形对象间的关联关系和位置属性约束规则,进行操作语义维护管理,使得实时协同图形编辑系统的一致性维护更为有效和完备。     

协同设计中的并行冲突检测算法

冲突是协同设计的本质，产生的原因是协同设计环境下不同设计群体考虑问题的角度、评价标准和专业知识有所不同。提出了对等式协同设计中操作序列的一致性模型，在操作序列一致性的基础上提出了基于几何级的冲突检测算法，并在此基础上实现了系统设计冲突检测原型系统。     

操作转换方法的分析和应用扩展

操作转换方法是实时协同编辑中进行并发控制的一种常用方法。论文首先介绍了复制式协同编辑系统的一致性模型,阐述了操作转换方法的基本流程,详细分析了七种典型操作转换方法实现三个一致性条件的方案。接着分析了操作转换方法的应用扩展,最后针对面向三维协同设计的应用扩展进行讨论。     

协同图形编辑系统多版本动态属性锁协议研究

在协同CAD系统中,解决设计者之间的冲突检测与消解问题是实现有效并发控制机制的关键.针对协同设计中多个关联对象之问的冲突检测和消解问题,介绍协同多版本相关概念和多版本属性标记锁策略,提出一种解决对象关联操作冲突的多版本动态属性锁并发控制协议,设计实现相应的算法.该协议将多版本和对象标记锁相结合,保证了并发冲突中的用户意愿.最后,分析多版本动态属性共享锁协议的正确性,并通过实例说明协议的可用性.     

协同编辑中维护操作意愿的文档标注方法

在实时协同编辑系统中,操作意愿一致性维护是国际上提出的新概念,是协同系统一致性维护的重要方面.文档标注文法通过对共享文档进行恰当标注,屏蔽并发操作对共享文档造成的影响,使得操作在任意协作点上执行时的环境与操作产生的环境一致,从而有效地维护操作意愿一致性.结合实际应用中的具体操作,重点论述文档标注方法以及相应的控制算法.