数据库系统中并发事务死锁的解除与避免

本文利用Ｐｅｔｒｉ网作为工具，从提高事务进程并行性出发，建立数据库系统的并发事务进程竞争数据资源的模型。并由此推导出死锁和临界死锁的充分必要条件及提邮相应的避免死锁的控制机制。该控制机制是通过如何对关键的空闲数据资源进行控制分配来实现避免死锁。     

基于任务-资源图的AGVS循环死锁搜索算法的改进研究

针对AGVS中循环死锁搜索算法研究中存在的不能搜索全部的循环死锁的问题,利用任务-资源图提出一个改进算法.改进算法如下:首先,根据AGV的相对位置关系和执行任务的情况,利用任务-资源图(Task-Resource graph,T-R图)对AGVS进行建模,然后根据循环死锁的T-R图特征,在每一个状态时刻下的T-R图使用图的强连通分支理论搜索循环死锁.当访问完所有状态时刻下的T-R图,也就找到了AGVS中的所有循环死锁.算例验证与理论分析均说明改进算法可以搜索到全部类型的循环死锁,解决了原算法存在的不足.根据改进算法开发的控制规则,可以有效避免新循环死锁的产生.同时指出,对改进算法稍加修改,可以找到AGVS中所有的循环死锁和非循环死锁.     

嵌入式实时操作系统的资源调度

主要讨论了在嵌入式RTOS中采用的资源调度策略，给出了一种由于任务共享系统资源而引起的死锁解决方式，这种方式可以大大减少死锁的发生。     

一种动态自适应的计算网格资源管理方法

提出了资源组的原子性分配，保证了同一作业相关资源的协同分配，并避免了资源申请的死锁问题和资源昀无效占用。首先，给出了网格资源管理框架；然后提出了资源分配方法的数学模型，并引入了资源分配求解的近似算法。     

自动制造系统的稳健控制方法的综述

随着科学技术的快速发展,制造自动化在制造工厂已经成为一个主流方向.在过去的几十年中,研究人员已经对自动制造系统的死锁问题做了大量的研究.但是大多数解决方案总是假设分配的资源不会故障.然而,任何一个制造研究者都知道,资源故障来自各种各样的原因,包括工件破损、传感器故障、零件缺失和电器失灵等.显然,一旦资源发生故障,后续加工路径中需要使用这个故障资源的进程将停滞,不能完成其加工生产,直到故障资源被修复.那些不使用故障资源的支路也会被发生停滞的进程所阻塞.最坏的情况就是一个简单的资源故障可能会导致整个系统的崩溃.因此,制造系统中的资源故障问题急需解决.通过分析大量的文献资料,本文对解决死锁和阻塞问题的控制方法做了系统的总结研究.同时,对本文提出的稳健无死锁控制策略以及亟待开展的研究工作做了详细的介绍.     

一种基于移动Agent技术的分布式死锁检测算法

死锁的处理长期以来一直是分布式系统的研究重点,已有许多成熟算法.随着网络技术的发展,越来越多的客户和资源可在网络中自由移动,这种可移动性使得传统算法面临了新的挑战.在这种新的应用背景下,本文结合移动Agent技术,提出了一种分布式系统死锁检测和解除算法：Agent Guard.该算法使用一个移动Agent,使其遵循一定的路线算法在各个站点间移动来收集资源请求和分配信息并进行分析,从而发现并解除死锁.模拟实验证明,A-gent Guard算法能取得较短的死锁持续时间,较小的伪死锁率,且网络的通信复杂度也有降低.     

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

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

基于死锁避免的资源安全分配算法

为了提高传统资源安全分配算法效率,降低安全检查时的系统开销,提出了改进的资源安全分配算法。改进后的算法在每次安全检查时首先检查申请资源进程,一旦申请资源进程满足判定条件,便可以确定系统处于安全状态。不需要对系统中所有进程进行检查,缩小了安全检查范围,提高了系统效率。通过算法推理和实例验证,改进后的算法是可行且高效的,能更好地适应多任务系统中死锁避免的需要,实现资源的安全分配。     

星形图上无死锁的路径算法

星形图具有许多良好的拓扑性质，是一种有可能替代传统的超立方体的并行计算互联网络的模型。在本文中，作者针对在星形图这样一种高度规则的网络中，可能产生死锁的问题，对星形图上无死锁的路径算法进行了研究。首先利用星形图中匹配基的性质，给出了从Ｓｎ（Ｂ）到Ｓｋ的正规映射的定义，然后提出了星形图上的两个无死锁受限条件，最后证明了一个满足无死锁受限条件的路径算法。作者还提出了星形图上路径算法的最小无死锁受限条件     

处理死锁的几种策略

在多道程序系统中，多个程序并发执行，共享系统资源，若对资源的管理和使用不当，会导致系统死锁。死锁避免是解决死锁问题的常用方法，而银行家算法是最著名的死锁避免算法。用类C语言描述了多项资源银行家算法。     

容错的分布式系统通用死锁模型检测解除算法

分布式系统技术为采用低成本购建高性能系统提供了有效的途径,但是由于资源的分配与需求可能产生冲突,造成系统中发生死锁,导致系统运行陷入停滞.在不可靠的分布式系统中,故障会干扰正常的死锁检测,但现有的死锁检测算法不具有容错功能.对失效形式进行了归类,提出一个容错的死锁检测解除算法.算法建立在通用的AND-OR模型基础上,采用扩散计算和集中规约方式,不仅能够检测到死锁,而且能给出死锁环的全部成员.若死锁拓扑处于静态且为环状,算法的消息复杂度的上限为e n-1,时间复杂度为d,其中e为死锁等待图中边的个数,n和d为构成死锁环的节点的个数,分析表明算法性能等于或优于同类算法.     

基于Petri网的无死锁控制器设计

对柔性制造系统提出了一种新的死锁预防控制算法。运用区域理论对Petri网模型设计一个控制器,对控制器中所有严格极小信标求取控制库所与资源库所的代数式,保证了所有的严格极小信标受控。与现有方法相比,该策略不必考虑控制器结构,只需根据这些代数式分布控制器中的资源,就可以得到相应无死锁监督控制器。     

多用户数据库系统中预防死锁的几种方法

多用户数据库系统的最大特点就是多个用户可以共享数据资源。但是数据资源的共享会产生数据的不一致。因此,在共享过程中必须加以一定的控制,即用户在某些时间内,以排它方式独点某些数据资源。这样一来,就使得其它用户在申请这些数据资源时必须等待,直至占用数据资源的用户释放它们为止。这样在多个用户中,它们既占用了部分数据资源而又申请另外一些被其它用户占用的数据资源,因而互相等待而永远都无法满足各自的请求,这种现象被称为死锁。一个多用户数据库系统在其运行中出现死锁,其后果是严重的,如不解决,对数据库的危害极大。     

考虑缓冲区的自动生产单元的无死锁调度策略

在制造系统中,必须防止死锁的发生.本文提出了一种在制造系统(带有有限缓冲区)中搜索最优的无死锁调度的算法.为此首先介绍了死锁问题及其图论表示方法,然后在遗传算法的基础上,运用图论算法来保证无死锁的调度结果.为了保证遗传算法生成的调度策略能够满足所要求的约束,运用图论方法选择无死锁个体,或添加缓冲区,从而在基本保证了系统的主要性能指标的同时,得到系统可行的无死锁调度结果.最后给出了一个运用此方法解决死锁问题的实例.     

星形图上最小无死锁受限条件及无死锁路径算法

针对是形图中台能产生死锁的问题,对星形图上无无线锁的路径算法进行了研究,得到了星形图上的两类最小无死锁受限条件,并给出了一个满足该两类最小无死锁受限条件的无死锁路径算法。同时还证明了文献中提出的两个死锁受限条件分别只是该文所提出的两类最小无死锁受限条件的一个特例。     

分布式移动代理系统的异步死锁检测

移动代理技术在为分布式应用提供全新的网络计算方式的同时也产生了传统分布式计算领域所没有的新的交互模式和执行模式。传统分布式计算的处理方法如并发控制和死锁检测方法不再适用于客户和服务提供者都可在网络中随处移动的移动代理系统。通过移动代理来建模长寿事务,并根据移动代理的特点提出了一种异步分布式死锁检测和解除算法。它将事务代理的执行与死锁检测机制分离,用专门的代理负责死锁检测的初始化、检测和消除等工作。死锁的检测通过创建若干检测代理,使其在各个站点间移动来收集资源请求和分配信息,并据此构造全局等待图;通过分析和探测全局等待图中是否存在圈来完成。算法具有独立于网络的拓扑结构,死锁的检测和事务代理的执行异步操作,不对代理的移动性施加任何限制等特点。     

基于顺序扩展一致性包算法的多无人机分布式任务分配

以异构多无人机协同执行复杂的耦合多任务为背景,提出一种求解分布式任务分配问题非死锁的顺序扩展一致性包算法.首先,建立考虑任务载荷资源、任务时序、威胁区等约束条件的时序多任务分配模型;其次,对一致性包算法的任务包构建过程和冲突消解规则进行扩展,并设计一种基于有向图深度优先搜索的方法进行任务方案的死锁检测和修正,以实现无冲突和无死锁的任务分配;然后,将关联任务之间的时序约束转化为软时间窗约束,利用顺序分层的策略进行求解;最后,为了提高任务分配结果的可靠性,采用Dubins曲线路径将航路规划耦合到任务分配中.仿真实验表明,所提出的算法能够快速有效地求解异构多无人机分布式耦合多任务分配问题,具备良好的最优性和时效性.     

离散事件系统的无死锁模块化状态反馈控制

本文讨论离散事件系统的无死锁模块化状态反馈问题。首先我们定义自动机的交与并运算，然后通过引入自动机对的Ｄ－不变关系，我们证明当控制目标是两个谓词的交时，模块化状态反馈控制器是无死锁的充要条件是各子控制器是无死锁的且相应的控制器满足Ｄ－不变关系。我们证明了一个给定的自动机对于另一自动机的Ｄ－不变子自动机类有最大元存大，并由此给出一个综合算法。     

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

死锁问题是计算机操作系统故障中一个十分重要的组成部分,其在对计算机资源使用最优化的实现面前无疑是个亟待解决的问题,当然,就这种计算机操作系统中的死锁问题而言,其绝不是凭空产生的,相反的,其有着自身的一系列必要条件,而这些必要条件和产生原因实际上又可以为相应应对措施的采取指明突破口。本文主要围绕着计算机操作系统中的死锁问题这一中心主题,从死锁问题的具体内涵出发,通过对其产生原因、必要条件的论述和揭示,最后给出可行的死锁解决策略。     

柔性制造系统中多路径条件下的死锁避免

路径选择柔性是柔性制造系统的重要特性，但它使系统的调度和控制复杂化，从避免死锁这一重要要求出发，讨论了多路径条件下系统的建模，给出了一种称之为面向资源的着色Ｐｅｔｒｉ网（ＣＲＯＰＮ），它不仅能很妇地描述系统中的动态资源竞争，而且能准确地描述系统中的工作流，利用这一模型，将获得避免死锁的充要条件。