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

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

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

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

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

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

本体构建中基于细分锁的并发控制方法

本体的协同构建任务较为复杂,通常需要多个开发人员协同工作才能完成,而当前的本体构建工具和方法缺乏对本体协同构建的支持。为此,提出一种基于细分锁的并发控制方法。对节点的操作进行划分,将最小粒度锁定到节点的操作单元上;对锁的类型进行细分,针对不同的操作对象加上不同的锁,同时设计细分加锁算法。应用结果表明,该方法能有效提高协同开发的并发性和集成性。     

事务处理和锁机制——数据共享时完整操作和并发控制的实现

文章分析了ＳＹＢＡＳＥＳＱＬＳＥＲＶＥＲ系统中事务运行和锁活动的机制及在系统维护和程序开发中的作用和意义。     

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

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

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

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

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

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

基于动态锁技术的分布式实时文本协同编辑算法

算法的核心思想是“先操作,后确认”。在一个协作者处发生的操作立刻被广播给其它协作者,由此保证了操作的实时性。协作者在编辑文档的同时,共同竞争其所操作区域的所有权,只有取得所操作区域的所有权的操作才能被确认为有效操作,没有取得或被剥夺所有权的操作将被确认为无效操作并最终被取消。     

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

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

考虑工程图形协同应用特点的并发控制研究

并发控制是CSCW系统的关键技术，没有统一标准，通常要根据协同应用的特点来构造。文中以CAD系统内部数据库拓扑结构的一致性作为显示一致性的基础，适时放宽整体一致性模型中的事件定义条件和一致性判定条件，提出一种改进的整体一致性模型。按照该模型的事件关系定义，通过图形对象全局ID标识的一致性维护和添加操作的相关性分析，提出一种添加操作优先的并发控制策略。基于上述模型和策略，研究了一种偏复制式混合体系结构下的悲观和有限乐观的并发控制方法，以及相应的并发控制协议实施技术。工程实践证明，这些并发控制模型、策略、方法和技术充分考虑了工程图形数据结构及其协同应用特点，从而有效地支持设计过程中的人人交互。     

面向协同虚拟维修的并发操作控制方法

在装备维修活动中,许多维修作业必须在多人协同下才能够完成．在此类虚拟维修情况下,同一对象可能同时被多名用户执行相同的操作,称之为并发操作．为高效处理并发操作带来的冲突问题,在分析以往多种并发控制方法的基础上,综合运用多种并发控制机制,提出一套有效的冲突解决方案,缩短冲突消解时间．最后,以实例的实际应用验证了方案的可行性与有效性．     

On Using Real-Time Static Locking Protocols for Distributed Real-Time Databases

The use of Static Two Phase Locking Protocols (S2PL) for concurrency control in real-time database systems (RTDBS) has received little attention in the past. Actually, real-time S2PL (RT-S2PL) protocols do possess some desirable features making them suitable for RTDBS, especially for distributed real-time database systems (DRTDBS) in which remote locking is required and distributed deadlock is possible. In this paper, different RT-S2PL protocols are proposed. They differ in their methods of reducing the blocking time of higher priority transactions. Their performance is studied and compared with a real-time dynamic two phase locking protocol (RT-D2PL), called Hybrid Two Phase Locking (Hb2PL). The impact of different system and workload parameters, such as mean inter-arrival time of transactions, number of remote lock requests of a transaction, communication overhead for sending messages, and database size on their performance have been examined. The performance results indicate that the RT-S2PL protocols are suitable for DRTDBS in which the proportion of local locks of a transaction is small and the communication overhead for locking is high.     

协同图形编辑系统中一种改进的多版本递增创建算法

并发控制技术是CSCW研究的关键技术之一，旨在对并发操作进行控制以达到一致性维护的目的。本文对协同图形编辑系统中一种新颖的多版本方法进行了研究，提出了一种改进的多版本对象动态递增创建算法，并通过模拟实验结果表明：改进后的算法性能有较大的提高。     

一种准串行化并发控制算法

由于实时数据库应用的特性是满足事务的时限,在多数情况下,可串行化协议不适合实时数据库系统,必须放松标准。本文提出基于相似性的高优先级两段锁协议(H2PL)算法,在系统可以忍受的不一致性范围内,系统的性能提高了。     

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

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

嵌入式数据库系统中无冲突并发控制协议CCCP

嵌入式实时数据库系统不仅需要较高的成功率．而且往往是在无人工干预的情况下运行,要求事务具备自我调节能力和较强的适应能力．事务必须支持功能替代性,在并发控制策略CCCP中,替代成为并发控制的主体．对于每个实时事务,一个最适合当前运行环境的替代以无冲突的方式调度执行．CCCP基于替代的优先级,对替代进行相容性分析,保护就绪事务,并且有一种开销较低的实现算法．性能分析证明CCCP有利于优选替代,从而有利于提高系统的成功率,适用于嵌入式实时数据库系统．     

多版本两阶段封锁并发控制协议性能研究

在并行实时数据库中,并发控制协议不仅要满足数据库一致性约束,而且要满足时间约束。本文提出了实时多版本两阶段封锁并发控制协议,它能有效地减少延误截止时间事务数量。作者通过仿真模拟,在共享磁盘体系结构下与HP2PL和OCC-TI-WAIT-50协议进行了比较。实验结果表明,该协议比HP2PL和OCC-TI-WAIT-50协议性能更好。