基于事务和对象语义的长事务处理方法

数据库应用中出现的长事务严重降低了系统性能，一些研究者提出利用事务的语义信息对事务进行分解来解决这个问题，但是由于分解本身的需要满足一些特性，使得一些长事务无法分解。本文在事务分解的基础上提出了利用对象的语义信息来提高事务的并发度的方法，给出基于语义的正确性标准和一种基于有向图的正确性判定方法。     

基于2PL多粒度锁的并发控制协议

给出了面向对象数据库系统的一种并发机制——基于2PL的多粒度锁封锁技术。在协议中,锁的粒度划分到对象的属性级,提高了事务的并行性,减少了由于锁增加引起的死锁现象。     

事务框架下主动规则的并发控制算法

探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系 ,提出一个并发控制算法 ,并基于层次可串行性标准证明算法的正确性 .     

一种基于混合图的多数据库系统并发控制机构

本文通过分析多数据库系统的各局部数据库管理系统并控制的特点，提出了一种设计多数据库管理系统全局并发控制机构的方法：两步集成法，这种方法利用混合图技术，将多个异构并发控制机构集成为一个全局并发控制机构，从而不仅保证全局事务运行可串行化，而且可充分利用原机制效率。     

一种针对长事务的两步锁的改进方法

给出了一种两步锁的扩充，称为利它锁，即让长事务较早地释放其占用的锁，使需要存取这些被锁数据的事务在长事务处于唤醒状态时，遵循一定的锁规则同时运行。     

基于优先级的多版本两阶段锁并发控制协议

提出了适用于移动实时数据库环境下基于优先级的多版本两阶段锁并发控制协议,它结合多版本并发控制机制和两阶段锁机制的优点,引入优先级概念对事务进行优先级别的划分,分情况进行考虑.通过仿真实验模拟,对该协议进行了性能测试,并与其他协议进行了比较,实验结果表明:该协议的性能表现良好.     

多数据库事务处理中的并发控制

分析了多数据库系统中事务的特征,指出多数据库事务处理的并发控制问题需保持全局可串行化,即要求在各局部场地局部事务的执行不违反全局的执行次序．研究了ＴＳＧ,Ｔｉｃｋｅｔ和基于冲突检测的保持全局可串行化算法,并对ＴＳＧ算法给出证明．     

分布式两段锁协议

2PL是大多数商业数据库系统使用的并发控制机制,在实时数据库系统中,使用2PL协议有更好的性能,同时建议使用阻塞事务的调度方案并对死锁进行分析。     

并发语言OCCAM的指称语义

在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完间作为指称的方法,讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的问题和不足,首先在OCCAM/TOY的语法中经入了一类具体的原子语句,并从语义上考虑了原子语句的语义对整个程序语义的影响;其次,对于通常语义方法中合并处理的一对通信原语的一次通信分开处理,描述了单个通信步骤的语义及其对程序的影响。在构造语义域时,利用完备距离空间作为指称,讨论了在距离空间范畴中语义域议程的解的存在性;并且在定义域时,保证了递归定义的语义函数的存在性。给出了OCCAM/TOY的完全意义上的并发指称语义,既体现了由于并发而导致的执行过程的不确定性,又反映了并发导致的执行效果的不确定性。     

基于OCC-DA-MCP算法的Redis并发控制

该文以提高Redis内存数据库的并发性能为目的,通过研究现有的内存数据库并发控制算法,然后结合Redis架构,设计并实现了基于OCC-DA-MCP算法的Redis并发控制.仿真结果表明,该算法在一定程度上改善了现有Redis并发控制算法存在的浪费的执行和不必要的重启等问题.     

Quasi Serializable Concurrency Control in Distributed Real—Time Database Systems

This paper formally defines and analyses the new notion of correctness called quasi serializ-ability,and then outlines corresponding concurrency control protocol QDHP for distributed realtime databases.Finally,through a series of simulation studies,it shows that using the new concurrency control protocol the performance of distributed real-time databases can be much improved.     

可变时标并发控制

提出了一种新的利用时标进行数据库并发控制的方法,与以前的时标法不同的是,事务的时标在其执行过程中是可变的,一个事务仅当要产生不一致性时才被撤消.该方法比以前的时标法有更大的并发性.     

Weak Serializable Concurrency Control in Real-time Broadcast Environments

Given the asymmetric communication capabilities in mobile real-time environments, traditional serializability-based approaches are too restrictive, unnecessary, and impractical. Thus propose the use of a new weaker correctness criterion is proposed. This paper first formally defines the new notion of correctness called weak serializability. After the necessary and sufficient conditions for weak serializability are shown, corresponding concurrency control protocol based on this criterion is outlined for real-time broadcast environments. Finally, the simulation results confirmed that the proposed techniques help mobile transactions to meet their deadlines and improve query response time.     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法．事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制．这种并发控制方法具有对数据库无结构要求、无死锁、非两阶段等优点．讨论了其集中式并发控制方法和分布式并发控制方法．     

一种自适应多版本实时事务并发控制

传统的基于锁的并发控制机制重点考虑数据的一致性和事务的并发度,不能很好地满足实时数据库系统对时态一致性的要求.结合锁、多版本和有效性确认等并发控制机制,提出了一种并发控制的新方法——自适应多版本实时事务并发控制方法:AMVCC.该法可根据具体情况自适应地采用不同的并发控制机制,有效提高了事务的并发度和截止时间内完成事务的数量.通过可行性分析性能优于传统并发控制方法.     

实时数据库系统的并发控制策略及其实现

针对实时数据库系统 ,提出了一种两级并发控制策略 ,以适应应用中两类不同特征事务的并发控制特征 ;给出了一个两级并发控制策略的具体实现方面的体系结构及功能分布 ;针对嵌套事务的不同特征 ,分析和讨论了其可能发生的问题及相应封锁协议、协议的多种特性 .     

ARTs-CS数据字典的并发控制技术

提出了通过将事务划分为不同的数据字典事务类型,分别采用不同的事务并发控制策略的并发控制技术。减少了事务因为对数据字典进行操作而需要进行全网络封锁的概率。在ARTs-CS原型系统上实现了该并发控制技术。模拟实现表明,并发控制技术能有效地提高整个系统的效率。