XML数据库并发加锁协议的研究

针对XML数据动态树型结构的特点,定义了内容操作集和结构操作集.在此基础上,提出一种基于此操作集的动态加锁协议以及锁模型,并证明了此加锁协议下的调度是可串行化调度,从而实现了XML原生数据库的事务并发控制.     

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

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

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

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

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

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

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

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

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

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

基于全局目录的分布式数据库加锁管理算法

针对简单的分布式封锁方法和完全分布式加锁算法在加锁时所需通信开销大、封锁时间长、锁管理复杂的缺点,结合集中式数据库加锁管理算法的优点,指出了在分布式数据库中保持事务可串行化方面存在的难点,利用全局目录和事务调度器,提出了基于全局目录的分布式数据库加锁管理算法。该算法使用两阶段封锁协议和多粒度封锁协议,在全局目录服务器中使用全局锁管理器管理和维护全局目录中的锁结点信息并对分布式封锁请求进行集中控制和灵活管理,能有效地保证事务的可串行化调度,降低封锁时的通信开销。     

一种链状数据结构细粒度自动加锁方法

细粒度锁在并行编程与并发软件设计中起着重要的作用.然而,细粒度锁对程序员具有较高的要求,通常在设计细粒度锁并发程序时会带来算法复杂,编程困难,程序易出错等问题.提出一种链状数据结构的细粒度加锁方法,并实现自动转换含有形状和共享标注的程序为细粒度锁代码的翻译器,为了使生成的代码具有无死锁,引入了一致性加锁协议,实验结果表明,基于本文方法能够自动为链状数据结构操作添加细粒度锁,生成的代码具有较高的并发性.     

基于局部路径加锁的XML并发控制协议

传统XML数据库并发控制协议大多采用基于XML文档树的路径加锁方式,并发度不高。针对该问题,提出一种基于局部路径加锁模型的XML数据库并发控制协议。该协议基于XML的节点编码,利用查询函数对目标节点的祖先后裔加锁情况进行快速判断,并根据操作类型对目标节点或者其父节点进行加锁,从而减少对锁的频繁请求,提高事务并发度以及实现大规模XML数据的有效管理。     

基于封锁的事务并发控制概述

叙述了关系型数据库管理系统中的事务管理和基于锁的事务并发控制方法。详细介绍了事务的串行化调度方法中的锁技术和锁协议,并深入讨论了锁的管理、死锁处理、幻影问题和其它加锁过程中可能出现的一些问题。     

协同图形图像编辑系统中对象锁与区域锁的并行

在分布式协同编辑系统中,为了防止并行操作中出现冲突,常常用到加锁的机制.分布式协同图形图像编辑系统是协同系统中一个特殊的类,因此有特殊的加锁方式.本文提出一种新的不但能够给对象加锁,而且能够给区域加锁的锁机制.在这种锁机制下,用户可以自由地选择给一个图案对象加锁或者给一个工作区域加锁.这是一种细粒度和粗粒度的结合,既有利于减少加锁时系统的负载,又有利于方便用户的操作.这个机制已经应用在我们的CoDesign系统.     

XML数据库并发控制机制的研究

并发控制是改善数据库系统事务性能的最重要的机制,多用户事务并发问题在XML原型数据库领域是一个难点。通过一种类XPath数据模型,定义基于此模型的几种XML数据库操作。在此基础上,提出一种基于XPath的锁协议(XPL)以及锁模型,并验证在此锁协议机制下的调度是可串行性调度,从而实现了XML原型数据库的多用户事务并发控制。最后通过实验对XPL协议的并发性能进行测试和分析。     

工程数据库锁管理系统的设计及实现

探讨了一种工程数据库管理系统中的锁管理子系统的设计和实现方法。该方法支持多粒度锁、自动加锁特性和自动锁粒度升级特性。在此基础上可以实现二阶段锁协议和树协议。     

A new methodology to evaluate locking protocols

The average lock range (ALR) is proposed as an evaluation factor for measuring the strengths and weaknesses of locking-based concurrency control methods, for both structural and nonstructural locking. The methodology provides a simple and general way to analyze the performance of any locking method, and requires no queueing model. Based on the concept of the ALR, two popular locking protocols, the 2PL protocol and the tree protocol, are analyzed and a simulation is done to validate the correctness of the ALR model     

一种基于扩充相容性封锁的多版本两阶段封锁协议

分析了现有的分布式并发控制机制的不足，提出一种基于有序相容性多粒度的多版本两阶段封锁协议，并对其正确性进行了证明。分析表明，该协议可有效提高协作设计事务的并发度，比较适合于开放式的协同设计环境。     

后退锁位式RFID自适应多叉树防碰撞算法

针对无线射频识别技术系统中的标签碰撞问题,采用对碰撞位锁定的方法,提出了一种后退锁位式自适应多叉树防碰撞算法。在自适应多叉树防碰撞算法的基础上,通过碰撞锁位指令判断标签碰撞信息并将碰撞位信息提出来,结合后退式寻呼机制,在减少碰撞时隙的基础上,同时也减少了传输的数据量。仿真结果显示,该算法有更快的识别速度和更少的传输数据量。     

基于全局目录的集中型数据库分布式加锁仿真

现有使用较为广泛的三种集中型数据库分布式加锁方法均存在着通信量大、分布事务并发复杂度高的缺陷。为了解决上述问题,引入全局目录对集中型数据库分布式加锁方法进行设计研究。根据集中型数据库分布式加锁的需求对锁进行相应的管理,并对数据库全局目录进行创建,主要对其功能与数据项内容进行设置,将全局目录存储于集中型数据库的主站点,通过确定数据加锁粒度、加锁类型与事务锁表对数据库进行分布式加锁,利用分布式加锁算法对加锁过程进行管理与控制,实现了基于全局目录的集中型数据库的分布式加锁。通过仿真得到,与现有的集中型数据库分布式加锁方法相比较,提出的集中型数据库分布式加锁方法极大的降低了通信量与分布事务并发复杂度,充分说明提出的集中型数据库分布式加锁方法具备更好的加锁性能。     

基于遗传算法的平面图平面正交直线画图算法

提出了一种基于遗传算法的新的平面图平面正交直线画图算法,算法将平面图画图问题转化为约束优化问题,根据画图问题选定的美观准则构造约束函数,用遗传算法求解目标函数的最优解的近似值,从而得到平面图的平面正交直线画法。新算法的优点是方法简单,易于实现,画出的图形美观,算法稳定性好。实验结果表明,画图算法的最终结果不依赖于图的初始状态。     

Lock Conversion in Non-Two-Phase Locking Protocols

A locking protocol is a set of rules governing the manner in which the database entities may be accessed. Such a protocol usually employs several kinds of locks. Most of the previous work in this area has assumed that once a transaction acquires a particular kind of lock on a data item it is not allowed to convert this lock to another kind. In this paper we perform a systematic study of the consequences of allowing lock conversions in non-two-phase locking protocols, and show how this leads to increased concurrency and affects deadlock-freedom. The non-two-phase protocols that we study are the very general guard protocols defined for databases in which a directed acyclic graph structure can be superimposed on the data items. We present very natural generalizations of these protocols, including correctness proofs, and develop deadlock removal methods.