实时协同工作系统中操作转换算法综述

首先分析了实时协同工作系统中的事件关系,讨论了一致性模型及其收敛问题,然后以典型实时协同工作系统中操作转换算法的研究进展为线索,将算法中最核心的调度函数剥离出来,进行了详细的分析 .对意图维护问题进行了解析,将其归结为在立即模式下对并发问题的处理,得出了意图维护问题在算法层面的准则 .最后对基本转换函数和典型转换算法进行了归纳和总结,并对进一步研究方向进行了探讨 .     

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

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

一种协同编辑中并发控制算法的研究

针对协同编辑中存在的各种不一致性问题,提出一种基于操作转换的并发控制算法ICOT。此算法是在COT算法的基础上进行改进的,通过合理利用操作的中间转换版本,减少了操作之间转换执行的次数,解决了操作转换重复的问题,同时给出了具体的实例分析来验证改进后算法的正确性和有效性,结果说明ICOT算法能使得各个编辑副本得到有效的一致性维护。     

面向图形对象的协同编辑系统的并发操作冲突检测

协同者的并发操作的冲突是引发不一致的主要原因，因而并发操作的冲突判别则是系统开发的一个重要的方面．本文分析了基于图形对象的协同编辑系统的并发操作冲突的机理，给出了操作命令的一般表示方法，提出一个通用的基于该描述的冲突判别推理方法，并基于不同领域知识将该方法用于二维绘图系统和三维产品特征建模系统中的并发操作冲突的分析，实验结果表明该方法是可以适合不同协同系统的通用方法．     

复制式协同设计环境中基于地址空间转换的关联操作一致性维护策略研究

在复制式架构的二维协同设计系统中,地址空间转换算法可用来实现共享文档的一致性维护.然而,该算法无法直接处理关联操作,而是采用先分解后执行的方式进行,在操作分解执行过程中,远程并发操作的存在可能会导致关联操作所依赖的实体属性发生改变,从而使关联操作丢失被参照实体与参照实体之间的关联关系,导致其语义一致性无法维持.本文通过在地址空间转换策略的内部线性地址空间上添加原操作及本地操作历史序列,修正本地操作广播及远程操作接收过程以维持各分解操作的关联关系,并引入Retrace-Undo-VT-Redo-Retrace控制过程,实现对关联操作语义信息的分布式维持.本文最后通过实例分析展示了整个策略的工作过程.     

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

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

基于二维有序状态向量的协同操作转换算法

针对分布式协同编辑系统中基于操作转换的并发控制算法的性能问题,提出并实现了基于二维有序状态向量的操作转换算法,较好地解决了并发控制的效率问题。设计了LateComer协调机制,扩展了原有的算法,增强了协同编辑过程的连续性。     

实时协同中的一致性维护关键技术

实时协同广泛采用数据复制技术来隐藏网络延迟、提高响应速度和改善交互体验。在复制式结构中,用户可以无约束地在不同数据副本上进行操作,这必然会引发一致性维护问题。针对上述问题,根据实时协同应用的特点和需求,总结一致性维护研究面临的技术挑战,通过研究实时协同中操作转换、地址空间转换和WOOT一致性维护的关键技术,讨论Undo和String转换等难点问题,分析这些关键技术在单用户软件向多用户协同软件透明转换、Web2.0环境和移动协同环境中的应用情况。     

基于操作转换的并发控制算法的研究

为解决协同图形编辑中出现的结果不一致、因果不一致、操作意愿不一致和语意不一致问题,提出一种基于操作转换的并发控制算法。该算法定义了操作序列的上下文有序、操作序列的上下文并发等概念。从协同编辑操作的预处理及实际执行时的操作转换两个方面,对基于上下文的操作转换(COT)算法进行改进,并进行实例验证分析。研究发现,其可有效地减少COT算法中存在的操作转换冗余的问题。     

复制式协同图形编辑环境中复合Undo操作语义一致性维护研究*

复制式架构下的二维CAD协同图形编辑环境中,用户界面所发出的Undo操作从语义上讲是针对复合操作本身的,但传统的一致性维护算法是基于原子操作的,对Undo操作的支持也是以原子操作为单位的,这样就会导致复合Undo操作的语义不一致性问题。分析了CAD图形编辑环境中复合操作的类型及Undo操作的执行前提,讨论了Undo操作存在的情况下的冲突定义,提出了基于版本分裂机制的冲突解决策略,并描述了复合Undo操作在本地和远程站点的执行流程及主要算法。最后通过实例分析证明了该方法的有效性。     

基于操作转换的协同图形编辑系统的研究和实现

本文提出的Co-XGrapht是基于操作转换的协同图形编辑系统。本文首先介绍了三个不一致性问题：分歧、因果违背、意图违背,以及相应的一致性模型。然后,本文提出了Co -XGraph的应用模型,并研究和实现了同时满足集中、因果保持、意图保持性质的并发控制算法。最后,本文展现了Co-XGraph在地理信息系统方面的应用前景,并列出了未来来需要继续开展的主要工作。     

基于树形结构文档的协同编辑算法

实时协同编辑系统是一类重要的CSCW应用系统,而一致性维护是设计和实现此类系统最具挑战性的一个难题。本文首先扩展CCI模型为CCIC模型,然后把协同编辑的文档结构从线性结构扩展为树形结构,并给出了相应的tree-GOT2算法。treeGOT2算法的操作变换次数比基于线性结构文档的协同算法大量减少,操作粒度也更加灵活,从而操作变换更加有效,体现了现实的优越性。     

一种扩展单用户应用程序实现协同编辑的方法

为了实现协同编辑,提出了一种对单用户应用程序进行扩展的方案。方案支持多个用户间无限制的协同编辑,使用操作变换机制维护数据的一致性。为了能充分利用操作变换机制,在单用户应用程序的外部设置了一个线性表用以索引文档中的对象;同时在控制算法层对David Sun的扩展OT算法进行了改进,以更好的支持对具有复杂对象结构的文档的共享控制。     

基于UML的作战需求分析

作战需求分析是军事需求开发的重要组成内容。简要介绍了统一建模语言（UML）的主要内容和基本特点;在综合分析美国国防部体系结构框架作战视图产品的基础上,给出了作战需求分析框架;根据过程框架,对基于UML的作战需求分析进行了研究。基于UML的作战需求分析,便于用户和分析人员的相互沟通,加速开发进程,是获取作战需求的一种好的方法。结果可为军事系统的作战需求开发提供指导。     

Co-Word中图文混排的文档一致性研究*

近年来,人们设计各类算法来实现协同编辑中的文本一致性维护,而关于Word中图文混排的研究相对较少。本文提出,对Word中的图片对象和文字对象重新建模、分别存储,以行作为单位设置文档中对象的摆放位置,并通过算法消解各类图片对象和文字对象间的位置冲突,实现图文混排与各站点的一致性。本文在Co-Word原型系统中增加了图文混排支持,并通过实例分析来讨论策略的执行流程。     

相对位置乐观锁机制及在协同编辑中的应用

为了满足实时协同编辑对快速响应、无约束协作的要求,提出了一种基于相对位置的乐观锁机制并发控制算法．该算法引入了编辑锁和读锁,并对加锁的起始位置和编辑操作位置用相对位置表示,当锁申请成功将写进锁表或者操作发送到各协作结点时,再把它们转换成绝对位置,加锁的粒度可根据编者的需要任意选择,编者在加锁请求获得确认前,可预先进行编辑操作．应用实例表明：该算法既保证了数据维护的一致性,又具有快速响应性．     

协同编辑器中并发算法的研究与实现

实时协同编辑系统作为CSCW的一个重要应用,近年来得到广泛研究.对目前协同编辑并发算法的研究现状进行了探讨,比较了国内外现有协同编辑并发算法,包括dOPT、adOPT、SOCK2、SOCK3、SOCK4等算法.然后根据实际应用需求,在GOT算法基础上实现了焦点维护和历史缓存清洗.最后,给出了在一个协同编辑器Z-Office中的应用,目的是提高协同编辑器的实用性和响应速度.