虚拟样机协同设计并发控制策略研究

针对虚拟样机协同设计中数据量大、事务长、多层嵌套的问题 ,提出了一种基于事务语义的并发控制策略,阐述了并发控制机制中事务结构、事务提交、锁机制和冲突协调等关键性问题。根据数据要求生成复制事务,事务发生改变后 ,其他站点能够实时显示图形、实时读取数据。实例证明 ,基于事务语义的并发控制策略保证协同用户自由地操作共享资源 ,提高了并发控制的可靠性和数据的一致性。     

基于相对位置的分布式实时协同编辑乐观锁并发控制算法

实时分布式协同编辑系统是计算机支持的协同工作的典型应用系统,不少学者对其进行了大量的研究,其难点是协作编辑的一致性、实时性和无约束性。因此,并发控制始终是它的研究热点,目前已提出的协同编辑的并发控制算法有:传统的加锁法、tickle锁、floor控制、可逆执行(Undo/Redo)和操作转换等。传统的加锁法最突出的优点是设计和实现较为简单,能保证具体上下文的语义完整性,但是在分布式协同编辑中无法保证加锁位置的一致性。tickle锁方法适用于分节加锁的实时分布式协同编辑的并发控制,然而无法提供多个编辑者对节内的同时编辑。JCE中的协同编辑采用了floor控制方法,每个协作编者只有获得floor才能进行     

协同商业CAD系统中的协同设计模型的研究与实现

介绍了协同商业ＣＡＤ系统中的协同设计模型,基于ＳＱＬＳｅｒｖｅｒ解决了协同设计模型设计中的并发控制,一致性保证和多用户界面等问题。由于可实现数据共享、并行设计,从而可缩短设计周期;而 计算机进行协调又可减少协 时间并保证正确性。     

协同CAD系统中的并发控制机制

并发操作是协同CAD系统中至关重要的问题。该文提出了并发操作控制机制的设计原则,阐述了基于语义的并发控制机制利用嵌套事务来解决传统图档事务并发控制中的数据一致性低、中间版本不易维护等问题,结合实际给出了博士CAD系统中并发控制的系统模型,并作了相应的说明。     

基于对等模型的分布式协同设计系统

为了解决分布式协同设计系统中的信息快速检索以及多副本同步等问题,引入了对等模型,给出了该系统的功能模型、信息检索模型等。提出了DHT的对等信息检索方法,保证了用户能够在分布式协同设计系统中快速共享资源。采用基于DHT的分布式互斥等算法作为协同数据的一致性维护方法,给出了系统的具体实现方法和实例。     

一种用于科研协同的电子白板系统的设计与实现

随着大规模网络协同技术的发展,科研协同日益成为重要和普遍关注的问题。它能够为科学工作者构建基于网络的科学研究与科研管理的虚拟环境,电子白板是科研协同环境中的重要的支撑应用之一。文中从系统结构、冲突消除、一致性维护、并发控制等科研协同的关键问题进行讨论,然后提出一种混合模式的系统结构、半乐观的加锁策略和基于接收者因果保证机制解决并发性控制和一致性维护的问题,同时提出了一种基于分页的转发策略,并将其运用在原型系统的实现中,取得了良好一致性和实时性。     

一种用于科研协同的电子白板系统的设计与实现

随着大规模网络协同技术的发展．科研协同日益成为重要和普遍关注的问题。它能够为科学工作者构建基于网络的科学研究与科研管理的虚拟环境，电子白板是科研协同环境中的重要的支撑应用之一。文中从系统结构、冲突消除、一致性维护、并发控制等科研协同的关键问题进行讨论，然后提出一种混合模式的系统结构、半乐观的加锁策略和基于接收者因果保证机制解决并发性控制和一致性维护的问题，同时提出了一种基于分页的转发策略，并将其运用在原型系统的实现中，取得了良好一致性和实时性。     

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

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

基于ADO.NET数据库系统的并发控制协议设计与测试

在数据库系统中,数据访问技术从连接模型发展到断开连接模型。在断开连接数据访问模型下,如何进行并发控制,保持数据库一致性,同时提高系统的运行效率,很少有相关的文献进行研究。断开连接访问模型技术自身的优点为有别于传统严格一致的可串行化并发控制协议提供了必要性和可能性。通过剖析断开连接数据访问模型ADO.NET基础上,提出了一种基于时间戳验证的两阶段封锁多版本并发控制协议。该协议解决了在断开连接访问模型下网络数据库系统的并发访问异常,保证了数据的一致性,提高了系统的性能和并发度。最后设计了测试系统,对该协议的性能进行了测试,并与其它协议进行了比较,分析了实验结果,结果表明该协议性能良好。     

实时协作中基于版本序号的并发控制算法

文章以实时协作中的多用户协同编著为应用背景,提出了多用户间的并发控制和维护用户操作实体的一致性问题。文章首先分析了并发冲突产生的原因,给出了一致性的三个条件。然后,以XML作为系统的数据模型设计了一种以版本序号用作并发控制的算法。最后对算法的一致性作了分析。     

协同三维几何建模动态访问技术研究*

为解决协同设计过程中几何模型的动态访问问题,提出一种基于Web的协同设计环境下三维几何建模动态访问的分布式体系结构、异类CAD系统之间的动态数据交换组织模式。同时,提出一种面向对象的基于优先权限的乐观并发控制协议,保证模型动态访问在各站点操作的执行结果之间的一致性。在这些技术的共同作用下实现了协同三维几何建模动态访问技术,并通过具体实例验证了该技术的可行性。     

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

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

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

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

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

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

支持协同工作的CASE工具的实现技术

文中介绍了Ｖｅｓｓｅｙ提出了支持协同工作的ＣＡＳＥ工具的结构和一般模型，并结合开发支持协同工作的ＩＤＥＦ４辅助设计工具的经验，对其中主要关键技术（包括数据共享，访问控制，并发控制，一致性保证和多用户界面技术）的实现进行了讨论。     

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

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

一种实时事务并发控制的新方法:SMVCC

提出了新颖的实时数据库事务并发控制方法：语义多版本并发控制协议（SMVCC）。利用实时数据库中存在多版本数据的特点,考虑实时数据和实时事务语义,结合实时数据库相似性概念,对传统多版本并发控制方法进行扩展,对不同事务采用不同并发控制策略,提高了事务并发度。