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

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

分布式系统死锁的Petri网分析

阐述了分布式系统中的死锁问题,采用Petri网对分布式系统中的死锁进行分析,给出了几种解决死锁的模型,并分析了这些模型的优缺点,指出了分析和解决死锁的一般方法.     

分布式系统死锁的Petri网分析

阐述了分布式系统中的死锁问题，采用Petri网对分布式系统中的死锁进行分析，给出了几种解决死锁的模型，并分析了这些模型的优缺点，指出了分析和解决死锁的一般方法。     

谈操作系统中的死锁问题

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

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

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

多计算机互连网通信中关于死锁问题的一种理论

如何获得死锁而且通信性能良好的选路算法始终是人们十分关心的问题。本文提出了纯分流点的概念并证明了选路算法无死锁的充要条件，从理论上解决了死锁关系问题，为死锁的判定，消除和设计无死锁的算法提供了有力的依据。     

基于组合拍卖的多机器人任务死锁解决方法

针对多机器人搜集任务中可能出现的任务死锁现象,采用基于组合拍卖的方法来解决这一问题。提出了一种拍卖树方法,用来解决组合拍卖计算量过大的问题。仿真实验结果表明该方法不仅能够消除多机器人的任务死锁,而且能够在解决死锁问题的同时优化多机器人任务分配结果。     

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

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

分布式OS中处理死锁两种方法

本文扼要介绍和剖析了分布式 OS 中解决死锁问题的两种方法:时间戳定序方法和集中式及层次式死锁检测方法。前者是基于死锁预防的,后者则是基于死锁检测的。     

如何解决MS SQL SERVER数据库中的死锁

一、问题的提出 MS SQL SERVER 是一个高性能的多用户关系型数据库管理系统,它强大的管理工具和开放式的系统体系结构正被越来越多的人们所认可。但在使用时,经常会遇到一个讨厌的问题——死锁。数据库中的死锁不能完全避免,笔者仅就实践中如何解决MS SQL SERVER 数据库中的死锁提出解决办法。 避免死锁的常规方法是保证编写应用代码的一     

虫孔寻径无死锁充要条件分析

采用虫孔切换技术容易造成互连网络寻径的死锁。本文通过三个虫孔寻径无死锁的具体实例 ,深入阐述、分析了虫孔寻径无死锁充要条件的研究进展。应用这些充要条件能较好地解决采用虫孔寻径带来的死锁问题     

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

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

用附加规则解决哲学家进餐问题

解决“哲学家进餐问题”的关键是进程或线程之间同步,避免由于竞争临界资源产生死锁。本文介绍了一种预防死锁产生的方法。该方法通过给“哲学家进餐问题”问题附加一个竞争规则从而有效地预防了死锁的产生。文中给出了完整的实现代码。     

处理死锁的几种策略

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

优先级反转和死锁的资源管理模式研究与实现

为了抑制优先级反转现象,采用优先级继承协议来解决优先级反转现象,在此协议中不能避免系统死锁现象的发生。分析了死锁现象产生的原因的,在优先级继承协议基础上提出了优先级反转和死锁问题的资源管理模式,采用排序锁定共享资源的方法,使共享资源按照SourceID由低到高的共享顺序依次被访问。理论证明该方法在一定程度上抑制优先级反转且避免了死锁现象的发生,通过实验结果表明了解决优先级反转和死锁的资源管理模式的正确性与可行性。     

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

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

高层体系结构中时间管理算法研究及改进

不恰当的最大安全推进时间(GALT)计算方法会影响系统整体运行,严重情况下可能导致系统死锁,使整个系统仿真无法向前推进。为此,分析经典时间推进Frederick算法中可能出现死锁的情况,给出死锁出现的原因,并对死锁产生的原因进行论证,在此基础上,设计一种基于该算法的改进无死锁时间管理GALT计算算法。分析结果表明,改进算法可以有效解决GALT计算产生的死锁问题。     

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

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

HIS系统维护中“死锁”现象的分析与解决

在我院HIS系统的维护工作中,死锁现象时有发生。通过分析“死锁”产生的机制．合理使用科学的手段预防和解决“死锁”问题,将会大大提高工作效率。     

基于Spin的Rdt2.2及其改进的形式化分析

用Promda语言对滑动窗口协议中的Rdt2.2模型进行了描述,通过Spin对该描述进行了形式化分析验证,并发现存在一个死锁.进而对该协议进行改进,采用添加定时器的方法解决了死锁问题,通过这种形式化验证增加了协议的正确性和可靠性.