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

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

基于准一致性可串行化的并发控制协议

人们基于准一致性可串行化的正确性标准，提出了一种乐观并发控制协议，提高了事务执行的并发度，更有利于实时事务定时限制的满足。     

基于语义可串行性的乐观并发控制算法

为了克服文献[1]所提出的两种用于实现语义可串行性并发控制算法的缺点(即都对用户书写的事务提出了特殊的要求，从而增加了用户的负担)，本文给出了一种基于乐观方法的并发控制算法，并证明了该算法能够保证它所生成的历史具有语义可串行性．     

数据库的并发控制

事务的并发执行可以显著提高系统的资源利用率,改善对事务的响应时间,但当多个事务对数据库进行并发操作时,如不加任何控制,可能会引起数据库的的数据不一致。本文讲述了并发操作引起的异常及如何解决异常问题。     

数据库并发事务的控制

现代数据库作为多用户共享访问的资源,在各种事务的并发操作中,数据库系统和应用程序框架如何保证数据的一致性和正确性是一个不可回避的问题。本文结合实际编程对数据库并发事务的处置原理和机制进行探讨。     

分布式数据库并发控制方法研究

并发控制机制是数据库事务管理中重要的组成部分,是衡量一个数据库系统功能强弱和性能好坏的重要标志之一。分布式并发控制的目的是保证分布事务和分布式数据库的一致性,实现分布事务的可串行性,使事务具有良好的并发度以保证系统具有用户满意的效率。本文首先就分布式数据库并发事务的可串行化进行探讨并在此基础上提出分布式数据库并发控制的基本方法。     

分布式数据库并发控制方法研究

并发控制机制是数据库事务管理中重要的组成部分，是衡量一个数据库系统功能强弱和性能好坏的重要标志之一。分布式并发控制的目的是保证分布事务和分布式数据库的一致性，实现分布事务的可串行性，使事务具有良好的并发度以保证系统具有用户满意的效率。本文首先就分布式数据库并发事务的可串行化进行探讨并在此基础上提出分布式数据库并发控制的基本方法。     

嵌入式实时数据库并发控制机制研究

对目前嵌入式实时数据库并发控制的方法进行了仔细研究,分析比较了嵌入式实时数据库eXtrem DB与ARTs-EDB并发控制的实现,指出了各自的应用领域,并对嵌入式实时数据库并发控制机制及其今后的发展做了探讨。     

实时数据库系统中基于有效性检查的并发控制协议

提出了一个基于有效性检查的并发控制协议。新协议基本思想是通过减少延误截止时间事务数量,提高并发控制机制性能,通过模拟分析了协议的性能。     

Native XML数据库并发控制协议

并发控制是改善数据库系统事务性能的最重要机制,也是Native XML数据库研究领域的一个难点。通过简化XPath数据模型,定义基于该模型的几种Native XML数据库操作,提出一种新的基于XPath的加锁协议,分析该协议下的调度是可串行化调度,并针对其性能问题进行探讨。     

高级数据库系统中基于语义的并发控制

This paper surveys the semantic-based concurrency control for advanced database systems, which aimed to eliminate the limitation of conventional concurrency control and to meet the requirements of advanced database applications. Covered in the paper are those approaches that using transaction semantic,that using abstract data type semantic, and that supporting for cooperation. The current situation and the future directions of the semantic-based concurrency control are also analysized.     

Secure Concurrency Control in Firm Real-Time Database Systems

Many real-time database applications arise in electronic financial services, safety-critical installations and military systems where enforcing security is crucial to the success of the enterprise. For real-time database systems supporting applications with firm deadlines, we investigate here the performance implications, in terms of killed transactions, of guaranteeing multilevel secrecy. In particular, we focus on the concurrency control (CC) aspects of this issue.Our main contributions are the following: First, we identify which among the previously proposed real-time CC protocols are capable of providing covert-channel-free security. Second, using a detailed simulation model, we profile the real-time performance of a representative set of these secure CC protocols for a variety of security-classified workloads and system configurations. Our experiments show that a prioritized optimistic CC protocol, OPT-WAIT, provides the best overall performance. Third, we propose and evaluate a novel dual-CC approach that allows the real-time database system to simultaneously use different CC mechanisms for guaranteeing security and for improving real-time performance. By appropriately choosing these different mechanisms, concurrency control protocols that provide even better performance than OPT-WAIT are designed. Finally, we propose and evaluate GUARD, an adaptive admission-control policy designed to provide fairness with respect to the distribution of killed transactions across security levels. Our experiments show that GUARD efficiently provides close to ideal fairness for real-time applications that can tolerate covert channel bandwidths of upto one bit per second.     

一种嵌入式移动实时数据库的并发控制策略

嵌入式移动实时事务的并发控制除了满足传统事务的基本特性外,还要着重考虑优先级颠倒、不必要的事务重启和全局数据一致性及混合事务系统的性能等问题.基于绝对串行化时序与选择重启的乐观并发控制算法(OCC-ASTOSR),利用绝对时标在广播循环的支持下调整移动客户端和中心数据库服务器上的事务串行化顺序,检测事务的数据访问冲突,并应用选择重启的方法解决冲突.事务随着运行过程更新读写数据集信息,每个数据对象都维护相关的时间信息,通过无线网络通信传递这些控制信息,交互地完成移动客户端和中心服务器中的本地事务验证和移动事务两阶段验证提交.     

实时主动数据库有效性检查并发控制协议

在实时主动数据库中,事务不仅有时间约束,而且事务执行可能触发其它事务执行。传统并发控制协议不适应于实时主动数据库系统。该文研究了实时主动数据库事务执行模式,提出了有效性检查并发控制协议。协议使用动态调整串行次序策略,避免不必要的事务重启动。通过仿真模拟与HP2PL协议和OCC-TI-WAIT-50协议进行了比较。结果表明,该协议能有效地降低事务延误截止时间率和事务重启动率,性能优于HP2PL和OCC-TI-WAIT-50协议。     

实时数据库的并发控制机制

根据事务的替代特点提出了相应的并发控制机制，此机制基于资源预报，它将并发控制的实施主体定在替代上，有利于优选替代，提高系统的成功率，本文还对此机制的性能作了分析。     

基于网络的分布式实时数据库系统的并发控制

通过对网络特性的研究,提出了用于DRTDBS的基于可预测性的并发控制算法。然后通过两个改进措施,即一次全发送的处理方法和动态解决冲突方法,对提出的算法进行了应用扩展,使其同样适用于MDRTDBS。最后通过delphi7．0开发的模拟实验对算法的性能进行了评估。     

Experimental Study of Concurrency Control Algorithms in Main-memory Database Systems

The concurrency control algorithm is a key approach for a database system to guarantee the correctness and efficiency of the transaction execution. Thus, substantial effort has been devoted to proposing new concurrency control algorithms in both the database industry and academia. In this paper, we take the lead in summarizing the fundamental ideas of concurrency control algorithms as ``ordering-and-verifying''. We then redescribe and sort out the existing concurrency control algorithms following the ordering-and-verifying paradigm. On the basis of extensive comparative experiments on an open-source main-memory distributed transaction testbed called 3TS, we systematically investigate the advantages and disadvantages of the mainstream concurrency control algorithms and finally summarize the preferable application scenario for each algorithm to provide valuable references for follow-up research on concurrency control algorithms used in main-memory databases.     

基于语义的数据库并发控制研究进展

事务的语义信息可以从更高层次上刻划数据库的状态及其变化,提高数据库处理能力.这方面的研究已经产生了大量的研究成果,其核心是要解决语义信息层次性、灵活性、难以表达等难点问题.在回顾基于语义的数据库并发控制的研究背景和现状基础上,提出将数据库并发控制抽象为计算模型以便于数据库语义信息的表达;阐述了解决该问题的两类主要模型:一维计算模型和多维计算模型,介绍了两种模型的基本概念以及主要事务模型,总结了数据库并发控制的形式化方法,分析了基于高维计算模型研究并发控制模型的部分理论依据;最后展望了基于语义的数据库并发控制发展趋势.     

面向混合实时数据库系统的调度与并发控制

在航天测量与控制系统中，访问实时数据库的实时事务对时间限制的要求是不一致的，该文在分析了这些事务特征的基础上，提出了混合实时数据库系统的概念，并设计了相应的优先级分派算法——事务的紧迫度和终止时间优先和并发控制协议——扩展的有条件优先级继承。     

Towards a General Concurrency Control Algorithm for Database Systems

The concurrency control problem in database systems has been examined by many people and several concurrency control algorithms have been proposed. The most popular algorithms are two-phase locking and timestamp ordering. This paper shows that two-phase locking and timestamp ordering are special cases of a more general concurrency control algorithm. This general algorithm is described in detail and is proven to work correctly. We show that two-phase locking and timestamp ordering represent the two end points of a series of concurrency control algorithms. Each of them is a special case of the general algorithm proposed in this paper. Moreover, each of these special cases can be selected in advance, and can even be changed dynamically during execution.