一种基于加锁粒度的分布式高优先级两段锁的并发控制模型

本文通过分析并发控制中的几种锁模型及其在分布式环境下的拓展，提出了一种基于加锁粒度的分布式高优先级两段锁模型。在该模型中，引入一种加锁检测机制，通过该机制可以确定哪些冲突事务可以通过降低加锁粒度来解决冲突。同时提出了该模型的算法。该算法在避免死锁、提高事务的并发度上有很大的改善。     

XML的并发加锁协议

随着XML数据库管理系统(XML DBMS)研究的日益深入,研究基于树型结构的XML数据的并发控制协议变得十分重要．由Silberschatz和Kedem提出的树加锁协议(tree protocol)是基于静态树结构数据而定义的．而XML数据是动态变化的树型结构数据．针对XML数据的特点,定义了一个操作集,它可以将一个树型结构的XML文档变化为另外一个合法的树型结构的：XML文档．该操作集的最大特点是其操作对象为一棵子树而非一个结点．在这个操作集基础上定义了XML动态树协议XDTP(XML dynamic tree protocol),并证明了该协议能继续保持静态树协议的优良特性：可串行化(serializability)和无死锁(deadlock-freedom)．在实际的数据集上进行了实验,结果表明XDTP有着较好的性能．     

基于未来锁集的死锁规避

针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题,提出一种基于未来锁集的动静结合死锁规避方案Flider.基本思想是,对于一个加锁操作,若其未来锁集中的所有锁都是空闲的,则执行该加锁操作不会导致死锁.一个加锁操作的未来锁集包括当前要加锁的锁和从该加锁操作到与之相对应的解锁操作过程中遇到的所有加锁操作所要加的锁.通过静态分析,计算锁效应信息并插桩到相应的加锁操作和函数调用操作前后.通过动态分析,劫持加锁操作,根据其锁效应信息为之计算未来锁集,只有当未来锁集中的所有锁都未被锁定才执行该加锁操作,否则等待.测评实验和对比实验表明Flider能智能主动地规避多种类型死锁,开销较小,扩展性好,不影响程序正确性.     

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

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

并发事务无死锁的可串行化调度的形式化方法

并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。     

一种基于等待图的死锁解除策略

在数据库的并发控制中，由于加锁引起的死锁问题通常是由等待图来检测。当检测到多个事务之间出现死锁现象时．通过回退其中的一个事务来打破等待图中的循环，从而消除死锁。随便回退其中的一个事务往往不能使得多个事务的总体收益最大．本文通过分析多个事务加锁情况及事务之间的联系，为每一个事务分配一个权值，并依据该权值决定回退哪一个事务从而使得多个事务的总体收益最大化。     

基于时戳的分布式数据库系统中的死锁预防策略

本文讨论了分布式数据库系统中基于时戳的死锁预防策略,分析了预防死锁问题的两种可行的动态优先级方案——等待一死亡方案和伤害一等待方案,提出了使用时戳的动态优先级死锁预防策略在解决分布式数据库系统并发控制的可行性和有效性,保证了产生死锁问题的条件不能发生,从而有效的预防了死锁,并给出了相应的实例。     

数据库并发控制中死锁解除的实现方法

基于并发访问控制理论。首先简要介绍了SQL Server数据库的封锁与死锁，然后论述了预防SQL Server数据库死锁的若干策略和方法，最后分析并讨论了几个典型的易导致死锁的SQL程序及其解决办法。     

计算机操作系统中死锁问题研究

死锁是进程并发执行所带来的一个重要问题,也是操作系统乃至并发程序设计中最难处理的问题.讨论死锁的基本概念、死锁的处理方法以及进程数与资源数之间的关系问题.     

对于避免死锁的安全算法的改进

在每种资源只有一个个体的情况下,本文给出了一种避免死销的安全算法。该算法是对现有的一种安全算法的改进,改进后的算法被命名为触网式安全算法,该算法把以前算法的运算级次从n^2(n表示系统中进程的数目）降低为n,从而大大地节省了检测开锁。     

HLA中时间管理算法死锁的规律性

Frederick算法在通常情况下能够比较好地工作,并且完全符合HLA时间管理的原则。但在特殊情况下,该算法会造成死锁。研究表明,死锁是有规律的。文章分析了文献[5]中对Frederick算法死锁规律的描述,指出了其中存在的问题,并一一加以修正。最后给出了新的死锁规律。     

多版本两阶段封锁并发控制协议性能研究

在并行实时数据库中，并发控制协议不仅要满足数据库一致性约束，而且要满足时间约束。本文提出了实时多版本两阶段封锁并发控制协议，它能有效地减少延误截止时间事务数量。作者通过仿真模拟，在共享磁盘体系结构下与HP2PL和OCC-TI-WAIT-50协议进行了比较。实验结果表明，该协议比HP2PL和OCC-TI-WAIT-50协议性能更好。     

浅谈操作系统中的死锁问题

如何进行合理的资源分配,使操作系统的主要任务之一。本文将着重讨论操作系统在处理资源分配过程中的死锁问题,并给出适当的解决方法。     

基于移动工作台的BPEL4WS死锁验证

描述了将Web服务业务流程执行语言(BPEL4WS)映射到π-演算的自动映射方法,对得到的π-演算表达式利用移动工作台（MWB）进行死锁验证,并给出一个具体示例。     

一种Java并发程序死锁动态检测的新方法

死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖关系集上作适量演算便得到潜在死锁关系对.进一步地,结合线程间控制流图所反映的部分静态依赖关系,剔除假性死锁关系对,提高了计算结果的精度.该算法显著的特点是简单易于实现,且无需构造锁树或锁图等图形表示.     

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

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

连续Petri网的死锁和陷阱结构性态分析

连续Petri网是用来分析和描述具有连续变量的系统,被证明是有效的建模工具。本文主要讨论连续Petri网死锁和陷阱结构的性质,并结合算例对此进行了说明。     

应用控制变迁的柔性制造系统死锁控制策略

不同于目前许多文献中基于添加控制库所的死锁预防策略,本文提出了控制变迁方程(CTE)的概念和相应的基于添加控制变迁(CT)的死锁控制策略(DCP).通过分析存在死锁的原网(N0, M0)的可达图(RG),该DCP求解出所有死锁标识(DM).基于CTE,构造出所需的控制变迁.然后,对每个DM添加相应的CT,进而消除了原网(N_0, M_0)中的死锁标识,得到了活性受控网系统(N~?, M~?).通过理论分析和相关算例的应用,该DCP的正确性和有效性得到了验证.此外,该DCP获取的活性受控网系统(N~?, M~?)可达数目与原网(N_0, M_0)是相同的,即最大可达数(MRN).     

AGC控制算法的改进—两种控制算法优缺点的比较

分析了两种ＡＧＣ控制算法的工作原理及其性质，特别是对锁定工作方式下如何处理各种附加信号作了讨论。分析了某厂引进设备中ＡＧＣ系统存在的问题及改进措施。