谈操作系统中的死锁问题

进程死锁问题是操作系统的主要问题之一,很多学者专家一直在研究怎样解决这个问题.本文针对操作系统中经常出现的死锁问题进行了讨论,阐述了死锁出现的原因、四个必要条件,以及死锁的处理方法,最后谈论了一个避免死锁的经典算法--银行家算法.     

多资源银行家算法研究与实现

在通常情况下,计算机的资源有限,比如只有一台打印机或者只有有限的内存,并且很多资源是独占性的资源,在任意时刻这些资源只能被一个程序所占用,一旦这些资源被多个程序同时访问,就会引发程序对资源的竞争,容易引起"死锁"现象。银行家算法便是针对死锁问题而诞生的。该文简介了死锁的原理,对解决多个资源下死锁问题的银行家算法进行了讨论,并用C语言对其进行了简单的模拟。     

操作系统中死锁问题的研究

主要研究操作系统进程的死锁问题。进程死锁问题是操作系统的主要问题之一,很多学者专家一直在研究怎样解决这个问题。首先提出了死锁的概念,死锁发生的原因及产生死锁的四个必要条件,然后又讨论了破坏死锁发生的必要条件,就能预防死锁的发生,最后具体的谈论了死锁避免的最著名的算法—银行家算法,从而阻止死锁的发生。     

基于银行家算法的进程安全序列仿真研究

银行家算法是一种应用于操作系统安全的死锁避免方法。本文分析了银行家算法思想,给出了算法描述。在Delphi集成开发环境下进行了仿真实验,得到了进程执行的安全序列。同时文中也对银行家算法提出了改进的意见。     

并发操作系统中基于有色Petri网的死锁检测与避免

1.引言系统的并发性与资源的共享性是并发操作系统的主要特征,其目的是最大限度地提高计算机资源的利用率。死锁是并发操作系统必须解决的一个重要问题。人们试图用不同的方法来解决死锁问题。如Dijkstra提出的有名的死锁避免的“银行家算法”,Coffman等人给出的死锁检测算法。 Petri网模型作为模拟与分析并发、异步、分布式系统的一种有效工具,已被用于解决操作系统中的许多问题。如进程通讯中的生产者/消费者问题、哲学家用餐问题,资源竞     

银行家算法的改进与实现

银行家算法是操作系统中避免死锁的经典算法,为提高系统的运行效率,文章对银行家算法进行了研究和改进.通过对银行家算法流程、算法优缺点的分析,以及对现有的银行家改进方法的讨论,提出一种银行家算法的改进思路.使用Java语言实现了改进的银行家算法,并运用Java多线程对操作系统中进程的同步进行模拟,验证了该算法的有效性.     

基于链状结构保持的多AGV系统灵活高效死锁避免控制策略

现有的多AGV（自动导引车）系统处理死锁的方案往往约束过强,压缩了潜在的性能优化空间。本文提出一种高度灵活的死锁避免算法,通过分析系统状态图中的宏环结构并结合银行家算法来实现状态图的链状结构判断,在确保算法高效性（最坏情形时间复杂度为O((|V|+|E|)|A|),其中V、E、A分别代表节点、边、AGV）的同时,实现了灵活的死锁避免。通过离散事件系统仿真及实际系统应用验证了算法的有效性,结果表明,在典型路线图上,该算法相较于经典的银行家算法及其变种,容许覆盖率提升高于16%,在使用相同任务分配、路径规划算法的情况下,任务平均完成时间降低了15%,具有更高的灵活性,有效提升了系统性能优化的潜力。     

银行家算法的应用研究

银行家算法是一个在操作系统中动态排除死锁的算法。本论文主要论述了银行家算法的思想,并利用该算法在排课系统中针对选修课程教室安排中的应用,使每个教室都能为得到充分和合理的应用。     

分布式系统死锁的预防、避免和检测

分布式系统涉及到资源和数据的高度共享,从而可能引发死锁。分布式系统的死锁是由于资源和通讯产生的。从分布式系统死锁产生的条件,解决策略,以及分布式系统中死锁预防、避免和检测的各种算法进行了具体阐述。     

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

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

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

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

不规则网络中基于拐弯模型的路由算法的设计

由虫孔路由交换器连接而成的不规则拓扑网络，越来越多地用于构建工作站机群系统（NOWs），以实现高性能价格比的并行处理．采用虫孔路由技术，网络中容易发生死锁．交换器之间连接的不规则性，使路由避免死锁问题变得更加复杂．本文给出了在不规则网络中，设计基于拐弯模型的无死锁路由算法的一般方法，并采用扩展链路方向的方法得到多种路由策略，确定了up-first与down-last两种性能较优的路由算法．最后通过模拟实验，评价了算法的性能．     

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

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

分布式死锁检测算法中伪死锁率的研究和改进

死锁处理是分布式系统中的关键问题,其中处理死锁最主要的手段为死锁检测。在评价死锁检测算法性能时伪死锁率被视为一项重要指标,故降低伪死锁率对提高算法性能有着促进作用,而目前大多数算法改进对伪死锁率关注较少。本文阐述了伪死锁研究的意义,并对若干种死锁检测算法的伪死锁率进行研究和模拟实验,认为现有的死锁算法可分为两类:环内检测和环无关检测。并分别通过减少冗余消息和本地死锁解决两种改进方法来降低目前算法的伪死锁率,最终实验表明算法性能获得较大提高。     

死锁的解法

本文主要研究由资源分配引起的死锁,说明资源的各种类型和基于资源分配的系统状态模型,给出了死锁形成的四个必要条件。分别对解决死锁的四个感兴趣的区域:死锁的预防、避免、探测和恢复进行较详细的分析和研究。     

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

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

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

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

柔性制造系统中多路径条件下的死锁避免 第一部分:系统建模

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

柔性制造系统中多路径条件下的死锁避免第二部分:控制策略

在第一部分推导出的面向资源的着色Ｐｅｔｒｉ的基础上讨论ＦＭＳ中多路径条件下的死锁避免控制策略问题，给出了无死锁运行的充要条件及其相应的控制策略。     

柔性制造系统中死锁避免的充要条件：第一部分：资源竞争过程的建模

柔性制造系统的主要特点是多种不同类型的工件同时在系统中加工。这些工件竞争系统的有限资源，导致象系统死锁等这样的不希望事件的发生。本文用一种Ｐｅｔｒｉ网模型，称之为着色面向资源Ｐｅｔｒｉ网来描述系统中的这一竞争过程。这一模型提示了资源竞争过程的本质特点，从而为寻求死锁避免的充要条件提供了基础。