Analyzing Concurrency Control Algorithms When User and System Operations Differ

Concurrency control algorithms for database systems are usually regarded as methods for synchronizing Read and Write operations. Such methods are judged to be correct if they only produce serializable executions. However, Reads and Writes are sometimes inaccurate models of the operations executed by a database system. In such cases, serializability does not capture all aspects of concurrency control executions. To capture these aspects, we describe a proof schema for analyzing concurrency control correctness. We illustrate the proof schema by presenting two new concurrency algorithms for distributed database systems.     

分布式CSCW环境中并发控制的串行化方法

分析了分布式CSCW环境中并发控制的各种方法,并根据分布式CSCW的特点和用户的操作意愿,提出了一种前向变换的方法,重构对象的操作历史纪录,以保持在每一个站点上对象的历史记录的一致性,从而保持共享对象视图的一致性。     

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

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

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

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

一种分布式实时事务调度算法

传统的乐观并发控制策略利用了一些不必要的事务重启来保证数据的一致性，事务重启能够极大的增加系统载荷以及加强资源和数据的竞争，在分布式环境下，由于系统的复杂性和较高的通讯开销加剧了该问题．针对该问题本文提出了一种靳的乐观并发控制策略，通过动态调整事务串行化执行顺序来避免不必要的事务重启．当把这种新的并发控制策略在分布式实时环境中实现时，考虑到分布式事务的实时性要求，本文提出把写阶段从临界区中分离出来的方法，并用顺序加锁的策略来保证分布式事务执行的正确性，最后给出了该实现方法的正确性证明．     

离散事件系统分布式仿真的集中并行控制

详细介绍了离散事件系统异步仿真中的一种保守的事件／时间管理策略。包括集中式并行控制机制的基本框架、一些概念、定律以及相应的并行算法,最后举例说明了集中式并行算法的控制流程。     

Tree-Based Concurrency Control in Distributed Groupware

We present a novel algorithm, called dARB, forsolving the concurrency control problem indistributed collaborative applications. Themain issue of concurrency control is resolvingthe conflicts resulting from simultaneousactions of multiple users. The algorithmreduces the need for manual conflict resolutionby using a distributed arbitration scheme. Themain advantages of our approach are thesimplicity of use and good responsiveness, asthere are no lock mechanisms. Our algorithmrequires the applications to use a tree as theinternal data structure. This makes itapplication independent and suitable forgeneral collaborative applications. The treerequirement is reasonable since many newapplications use XML (extensible MarkupLanguage) for data representation and exchange,and parsing XML documents results in treestructures. Example applications of thealgorithm, a group text editor and acollaborative 3D virtual environment calledcWorld, are implemented and evaluated in theDISCIPLE collaboration framework. We alsointroduce awareness widgets that users avoidgenerating the conflicting events and help inmanual conflict resolution.     

分布式虚拟环境中基于同步控制的预测研究

目前,基于同步控制的预测研究都是根据位置不变的实体划分区域,然后再预测区域内化身与这些实体之间的交互。提出一种新的预测机制,它能预测化身与运动实体（包括静止实体）之间的交互,配合适当的多播通信机制,该方法就能很容易地扩展到大场景多化身的系统中。文中详细讨论了预测机制及其实现方法。     

分布式实时数据库并发控制

在集中式实时数据库中，事务并发控制一般采用基于优先级的事务重启或优先级继承．在分布式实时数据库中，由于一个主事务的各参与事务可能分布在多个节点上，事务重启一方面会造成系统资源的极大浪费，另一方面又会加大网络传输的负担．而在优先级继承策略中，被阻塞的高优先级事务的执行完全依赖于阻塞它的低优先级事务，在分布式环境中，事务的执行具有更多的不可确定的因素，这就很难保证被阻塞事务的截止期．本文提出了一种基于数据多映像的并发控制协议，事务因访问数据而形成不同的依赖关系，改变高优先级事务和低优先级事务的依赖关系从而更有利于高优先级事务而又不矢折或阻塞其他事务，从而大大提高事务执行的并发度，更好地满足实时事务的截止期．     

移动分布式实时数据库中并发控制框架

在移动分布式数据库系统中采用三层结构,提出了DMVOCC-DA-2PLV（Distributed Multiversion Optimistic Concurrency Control—Dynamic Adjustment of Serialization Order-Two-Phase Local Validation）协议处理移动分布式实时事务。移动实时事务处理分两阶段进行。第一阶段在移动主机（MHs）上处理,并进行局部部分有效性检查性确认,使用向后有效性确认机制,与在服务器提交事务进行有效性确认。及早地检测数据冲突,节省了处理和通信资源。第二阶段在服务器处理,通过局部部分有效性确认的事务,提交到服务器进行局部最终有效性确认。协议消除了移动只读事务和移动更新事务的冲突,使用多版本动态调整串行次序技术,避免了不必要的事务重启动。如果移动只读事务所有读数据项通过局部部分向后有效性确认,则可提交,大大降低了移动只读事务的响应时间。在全局有效性确认中对分布更新事务进行检查,以保证分布串行性。通过模拟仿真,对DMVOCC-DA-2PV协议进行了性能测试,并与DTO-2PC和DHP-2PL进行了比较。实验结果表明DMVOCC-DA-2PV并发控制协议要优于其它协议。     

一种并发控制的自优化模型

自主管理是目前数据库系统亟待解决的重要问题之一,解决数据库系统自主管理的核心是使得系统能够自动调度资源,以达到系统运行的目标。提出一个数据库系统并发控制的自主优化模型NDACC,该模型能够准确预测运行时系统的数据冲突率,并对数据访问进行控制,从而有效地提高资源利用率,增强系统的稳定性。     

分布式虚拟环境中实体组同步控制研究

在分布式虚拟环境中，大多数同步控制算法研究的对象是一个孤立的实体，该实体与场景中其它实体没有任何关系。但虚拟世界里显然存在相对独立的实体组，在同一组内，实体间有直接依赖的空间位置关系。针对这一现状，提出了一个新的同步控制实现机制，在保证虚拟环境一致性和健壮性的前提下，最大限度地开发实体组内的同时性。     

分布式计算的并发测量

本文提出了一种分布式计算的并发测量方法，这些测量使用基于局部时钟的区域向量时钟，延迟向量和计算高度等概念量化了并发计算时间和同步延迟时间，不用定义原子事件和划分事件粒度；测量机制独立于被测量的程序，容易计算，管理简单，同时考虑了处理机间的性能差异.     

分布式Web组件模型分析

着重分析了组件模型的规范和ＣＯＲＢＡ、ＤＣＯＭ两种工业标准的组件模型。并探讨了组件模型的体系结构和分布工计算等问题。     

分布式数据库系统的并发控制算法综述

并发控制是分布式数据库事务管理中非常重要的一部分,其性能的优劣是衡量分布式数据库系统功能强弱和性能好坏的重要标志之一.阐述并发控制的传统算法和一些其他算法,给出衡量并发控制算法性能的方法和一些有意义的研究方向.     

一种用于分布式数据库系统的并发控制新算法

针对分布式数据库的并发控制提出了一种新算法。本算法对新事务与本地节点上已启动但还未完成事务的信息进行比较,动态地在乐观并发控制算法与悲观并发控制算法之中选择一种算法实现对该新事务的并发控制。     

内存数据库并发控制算法的实验研究

并发控制算法是数据库系统保证事务执行正确且高效的重要手段,一直是数据库工业界和学术界研究的核心问题之一.将并发控制算法的基本思想归纳为“先定序后检验”,并基于该思想对现有各类并发控制算法进行了重新描述和分类总结.基于在开源内存型分布式事务测试床3TS上的实际对比实验,系统性地探究了各类算法的优缺点和适用场景,为面向内存数据库的并发控制算法的后续研究提供参考.