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

嵌入式数据库中多个并发执行的事务需进行控制来保证数据库的完整性和一致性。介绍几种常见的数据库并发控制策略,提出事务并发控制管理器体系结构和封锁机制,给出基于锁的嵌入式数据库并发控制实现策略,及并发过程中出现死锁时的处理机制,为嵌入式数据库并发控制的研究提供了理论依据。     

一种适合开放式环境下协作设计事务的并发机制

研究了开放式环境下协作设计事务的特点,分析现有的分布式并发控制机制的不足之处,提出一种适合开放式环境下协作设计事务的并发控制机制.该机制不仅使用户可以快速得到查询结果,而且有效提高了协作设计事务的并发度.     

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

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

一种适合开放式环境下协作设计事务的并发机制

研究了开放式环境下协作设计事务的特点,分析现有的分布式并发控制机制的不足之处,提出一种适合开放式环境下协作设计事务的并发控制机制。该机制不仅使用户可以快速得到查询结果,而且有效提高了协作设计事务的并发度。     

PowerBuilder数据库中并发控制的实现

网络新时代的数据库应用系统中,并发控制是要解决的主要问题。本文首先介绍PowerBuilder数据库系统的并发控制机制,并介绍了其在实现数据库多用户并发控制、分布式事务并发控制及其嵌入SQL语句并发控制的原理及其部分技术案例。     

CSCW环境下博士CAD系统中的并发控制机制研究

在多人操作的CAD系统中,能否保证多个操作者之间的协调操作是一个关键问题,并发操作控制在此显得尤为重要.依据并发操作的特点提出了并发操作控制机制的设计准则,阐述了基于语义的并发操作控制机制中利用嵌套事务来解决图档事务并发控制中存在的问题并且结合实际给出了博士CAD系统中并发控制的系统模型.     

WHYMX单级事务的并发控制

本文论述了面向对象数据库系统WHYMX单级事务的并发控制机制,阐明了一种适用于面向对象数据库的并发控制策略和封锁协议,有效地解决了单级事务的并发控制问题。     

PowerBuilder数据库中并发控制的实现

网络新时代的数据库应用系统中，并发控制是要解决的主要问题。本文首先介绍PowerBuilder数据库系统的并发控制机制，并介绍了其在实现数据库多用户并发控制、分布式事务并发控制及其嵌入SQL语句并发控制的原理及其部分技术案例。     

基于冲突概率的组合服务事务混合并发控制算法

由于Web服务的松散耦合性及独立性的特点，组合服务中的两个服务可以并行运行。针对这一特点，结合乐观并发与悲观并发控制的优点，提出一种基于冲突发生概率的混合并发控制机制，以提高Web服务的并发度。由于充分考虑了不同组合服务实例的并发控制，以及同一种组合服务实例的并发控制，使得该机制能够确保在复杂的应用环境中，多个组合服务实例并发执行的正确性和一致性。     

HORT—DBMS中实时事务管理

本文结合实时事务并发控制机制的设计要求,叙述了作者所研制基于层次对象数据模型的实时数据库管理系统HORT-DBMS中有关实时事务并发控制机制的设计及实现的种种考虑。     

基于语义约束的资源工作流并发正确性保证

控制流结构中并发变迁的正确性是工作流模型正确性的基础．为保证模型的正确性，提出了资源语义约束工作流网的基本概念，丰富了控制流的数据语义，给出了两方面的控制流并发正确性：并发控制流与其数据语义的一致性检测算法及改正原则，保证了模型中的并发控制流结构的正确性；实例中基于数据语义约束的并发变迁正确性保证机制，提出了申请锁和释放锁的算法，保证了工作流实例中并发执行的正确性。     

基于多版本的内存数据库系统并发控制机制的设计与实现

该文针对内存数据库系统的特点,提出了一种结合行级锁的多版本并发控制机制,通过维护历史数据来避免数据读写的冲突,并通过行级锁减少写写冲突发生的概率,从而提高事务执行的并发度。     

Safe locking for multi-threaded Java with exceptions

There are many mechanisms for concurrency control in high-level programming languages. In Java, the original mechanism for concurrency control, based on synchronized blocks, is lexically scoped. For more flexible control, Java 5 introduced non-lexical lock primitives on re-entrant locks.These operators may lead to run-time errors and unwanted behavior; e.g., taking a lock without releasing it, which could lead to a deadlock, or trying to release a lock without owning it. This paper develops a static type and effect system to prevent the mentioned lock errors for a formal, object-oriented calculus which supports non-lexical lock handling and exceptions.Based on an operational semantics, we prove soundness of the effect type analysis. Challenges in the design of the effect type system are dynamic creation of threads, objects, and especially of locks, aliasing of lock references, passing of lock references between threads, and reentrant locks as found in Java. Furthermore, the exception handling mechanism complicates the control-flow and thus the analysis.     

Design and Implementation of a Concurrency Control Mechanism in an Object-Oriented Database System

This paper presents a practical concurrency control mechanism-Object-Locking in OODBMS.Object-Locking can schedule transactions,each of them can be considered as a sequence of high level operations defined on classes.By the properties of parallelity and commutativity between high level operations,proper lock modes for each operation are designed and the compatibility matrix is constructed.Wiht these lock modes,phantoms are kept away from databases and a high degree of concurrency is achieved.     

一种多核友好的持久性内存键值系统

相比于传统内存,持久性内存具有容量大和非易失的特点,这为构建大规模键值存储系统提供了新的机遇.然而,在多核服务器架构下设计持久性内存键值系统面临着诸多挑战,包括并发控制带来的CPU缓存抖动、对持久性内存有限写带宽的消耗和竞争以及持久性内存高延迟带来的线程冲突加剧.提出一种多核友好的持久性内存键值系统(multicore-friendly persistent memory key-value store,MPKV),通过设计高效并发控制方法和减少对持久性内存的写操作,充分提高多核并发性能.为避免锁资源带来的额外持久性内存写带宽消耗,MPKV引入了易失性锁管理机制,将写锁资源从索引中分离,在DRAM(dynamic RAM)中单独维护它们.为保证崩溃一致性和提高并发查询性能,MPKV引入了2阶段原子写机制,利用CPU提供的原子写操作指令将系统从一个一致性状态原子地切换到另一个一致性状态,并支持了无锁查询.基于易失性锁管理机制,MPKV还提出一种并发写消除机制,以提高更新操作之间的并发效率.当出现2个冲突的更新操作时,并发写消除机制让其中一个操作直接返回,不做任何持久性内存的分配与写操作.实验显示,MPKV相比于pmemkv具有更良好的性能以及多核扩展性.其中,在18线程环境下,MPKV的吞吐达到pmemkv的1.7~6.2倍.     

Lustre文件系统I/O锁的应用与优化

分布式文件系统需要有一种机制对来自各个客户端的并发访问进行控制,维护文件数据的一致性。锁是实现并发控制最流行的机制。研究了Lustre文件系统的分布式I/O范围锁的模型,并对它的各种应用进行了优化。介绍了Lustre分布式锁的基本概念,对基于锁实现数据客户端写回缓冲以及多写者文件大小的动态获取的算法进行了分析;提出自适应I/O锁策略,基于区间树的范围锁冲突检测优化策略以及客户端锁淘汰策略来增强Lustre锁服务的性能和扩展性。     

一种基于内存数据库的并发控制协议研究

数据的并发访问可能要引起数据的不一致性，如何正确有效控制并发访问是数据库应用系统首先要解决的问题之一。本文采用了一个叫做动态多粒度锁的管理机制，提出了一种与之相适应的并发控制协议。     

语义锁模式及死锁解除机制在Web服务中的应用

提出了一种Web服务环境中的语义锁模式,该锁模式通过事务申请的资源数量,动态控制加锁粒度,并且根据语义锁中的语义信息,提出了能够最大限度地减少企业经济损失的死锁解除机制,该模式增加了Web服务中事务间的并发度,降低了死锁发生的概率,从而有效提高了企业的经济效益。     

An enhanced concurrency control scheme for multidimensional index structures

We propose an enhanced concurrency control algorithm that maximizes the concurrency of multidimensional index structures. The factors that deteriorate the concurrency of index structures are node splits and minimum bounding region (MBR) updates in multidimensional index structures. The properties of our concurrency control algorithm are as follows: First, to increase the concurrency by avoiding lock coupling during MBR updates, we propose the PLC (partial lock coupling) technique. Second, a new MBR update method is proposed. It allows searchers to access nodes where MBR updates are being performed. Finally, our algorithm holds exclusive latches not during whole split time but only during physical node split time that occupies the small part of a whole split process. For performance evaluation, we implement the proposed concurrency control algorithm and one of the existing link technique-based algorithms on MIDAS-III that is a storage system of a BADA-IV DBMS. We show through various experiments that our proposed algorithm outperforms the existing algorithm in terms of throughput and response time. Also, we propose a recovery protocol for our proposed concurrency control algorithm. The recovery protocol is designed to assure high concurrency and fast recovery.     

实时协同编辑系统的结构及关键技术

以实时性、分布式为重点，提出了实时协同编辑系统（RECES）的具体结构，并对实现该RECES所涉及到的乐观锁机制、多级协同感知、角色控制、容错性等关键技术进行了介绍。这些技术在RECES中收到了很好的效果。