孙 敏 王瑞花

(山西大学计算机与信息技术学院 山西 太原 030006)

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

孙 敏 王瑞花

(山西大学计算机与信息技术学院 山西 太原 030006)

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

并发控制 协同编辑 操作转换 上下文有序

0 引 言

实时协同编辑支持地域上分散的用户,通过网络在同一时间对一共享文档进行编辑,并保证所有操作都能正确执行。由于存在人为或网络延迟等不可预料因素，若对各站点上协同操作的执行不加以控制，就可能会产生副本的不一致。协同图形编辑是协同编辑的一个子研究领域，对编辑过程进行有效的并发控制和一致性维护是研究的重点。相应的方法除有令牌环机制、锁机制和串行化机制等传统方法之外，目前主流的有两类：基于对象复制的多版本方法和基于操作转换的方法[1]。

Kanawati等在文献[2]中提出基于多版本技术的共享对象一致性保持算法。该算法将冲突操作的效果应用到同一操作对象的不同副本,无冲突操作应用到同一对象,从而使共享副本保持一致。……