分布式数据库死锁检测协议

为解决分布式数据中,由于文件加锁的冲突而引起死锁的问题。这类死锁产生的充要条件是在它的请求图中有一有向回路,本文中提出了两个死锁检测协议。协议1适用于一般分布式数据库,它只要求进行一次通讯,且只要求传送一个表的信息;协议2 是针对巨型系统的,是一个层次协议。     

WIN95/98硬盘死锁的修复

硬盘死锁往往是由病毒或人为造成的，死锁后即使用软盘也无法启动。本文通过对ＷＩＮ９５／９８的ＩＯ．ＳＹＳ文件的分析，提供修改系统指令的技术来解决这种硬盘死锁问题。     

浅析SQL SERVER中死锁

死锁问题虽然不能完全避免,但可以使死锁的数量减至最少.越早的考虑数据库设计中的并发性问题,就越可以提高代码执行的效率,降低程序开发和维护的成本.本文从死锁产生的原因谈起,提出了一些在SQL SERVER中避免和解决死锁的方法.     

基于petri网的多级管理并发信息流模型与死锁分析

在多级信息管理系统中,如ERP管理软件,往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统效能.本文基于petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究系统的效能,例如,发现和排解死锁等,提供了可靠根据,有效地保证了系统的正常运行.     

关于计算机操作系统中死锁问题的讨论

本文就死锁的概念、必要条件和若干可能发生死锁的问题作了深入浅出的分析、讨论，希望本文的讨论有利于读者对死锁问题的深刻理解，并深入研究解决死锁问题的方法。     

整体式半导体自动物料搬运系统解死锁算法

为了有效地解决300mm晶圆制造中整体式自动物料搬运系统的设备缓冲约束引起死锁的问题,构建了基于图论的两阶段解死锁算法.首先对问题域进行了形式化描述,在此基础上,证明了死锁产生和解除的充分条件,以关键设备死锁解除时间最小化为目标,建立了数学规划模型,并构造了解死锁算法.该启发式算法使用存储柜转存晶圆批来释放死锁的小车资源,并应用图论理论构造了多个并行路径来解除死锁.最后,对算法进行了仿真实验,结果表明该算法能有效求解设备缓冲约束引起的死锁问题.与其他解死锁方法相比,上述算法能有效减少解死锁时间,提高了关键设备的可用率.     

一种基于并行技术的死锁检测算法

在介绍基于资源分配图的、传统的死锁检测算法基础上，提出一种新的基于并行技术的死锁检测算法，并用1个实例说明该算法的执行过程。新的死锁检测算法是基于矩阵表示方法，在最坏情况下，运行时间复杂度是O(min(m，n))，其中m和n分别是进程和资源的数量。新的死锁检测算法与传统的算法相比，执行时间大大减少，需要内存也比较小，系统能够很好地检测死锁的发生，并且释放占有资源。     

对于改进避免死锁安全算法的策略研究

随着社会的不断进步以及科技的发展,避免死锁的安全算法也成为了目前最为关注的问题,因此为了能够有效地节省检测开销,将对避免死锁的算法进行相应改进,笔者也将针对改进避免死锁安全算法的策略进行深入的探讨和研究,为以后锁的应用发展奠定了坚实基础。本文将首先分析产生死锁的必要因素,概述处理死锁的具体方法,详细阐述如何改进避免死锁安全算法的相关策略,希望可以为相关工作人员提供有用的参考。     

两种死锁分析的逻辑方法

从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中，然后用时序逻辑方法进一步给出了一个更通用的死锁表示，用逻辑方法表示死锁，便于程序安全性验证，最后，把这些方法用于Ａｄａ程序的验证系统中。     

基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.     

解开计算机硬盘死锁的一种方法

本文介绍硬盘逻辑死锁的原因，并给出了解开硬盘死锁的思路和详细的程序。     

死锁定理与死锁的预防方法

本介绍了计算机操作系统中检测死锁的充分必要条件，即“死锁定理”，同时还介绍和讨论了预防计算机出现死锁的几个方法。     

防止死锁的一种方法

一、引言近几年来,计算机的程序系统发展得很快。它的规模和作用都在日益增大。因此,程序系统的正确性问题就愈来愈重要了。“死锁”是保证操作系统正确所必须考虑的一个问题。过去,由于对这个问题没有足够的认识,有些操作系统,例如ExecⅡ,把好些死锁都搞进系统去了。这样的系统在运行时就难免要发生故障。所谓死锁是指两个或两个以上的进程因为竞争资源而使得它们都不能继续进行下去的那种现象。例如在时刻t两个进程P_1和P_2各自占有资源r_a和r_b。到时刻t_1>t时,P_1申请     

关于操作系统中死锁问题的探讨

自从操作系统中引入多道程序设计技术以后,程序的并发性所引起的死锁问题便成了操作系统中我们必须面对和解决的一个难题。本文旨在探讨操作系统中死锁的形成原因及其有效地解决办法,通过实例和由浅入深的方式对死锁问题进行了全面而详细的探讨,由此我们知道,死锁问题是无法去完全避免和防范的,我们只能尽可能的去完善操作系统中的各项设计,从而在最大程度上去减少死锁的发生。     

分布式程序中固有死锁的检测

本文定义了分布式程序中“固有死锁”的概念,并给出了一些检测固有死锁的算法。     

SQL Server 2000锁定分析及死锁预防策略

在事务并发访问数据库的过程中，锁是数据完整性和一致性的重要保证．通过对SQL Server 2000数据库锁机制的研究，介绍了SQL Server 2000数据库锁的概念、粒度和保持以及锁的模式和相容性．对死锁问题进行了具体分析，并提出相应的预防策略；分析了实际应用中用户自定义锁定问题，给出一些相关的解决实例．     

死锁检测与恢复的实现

7610机操作系统是一个多道程序管理系统,在它的工作过程中,可能由于对资源无限制的竞争,从而导致死锁现象,我们应用了图论的知识在该系统中实现了死锁的检测和系统的恢复,从而提高了系统的可靠性和使用效率。 本文介绍了7610机系统的死锁检测和恢复的理论根据、算法及其程序框图。     

TCP拥塞控制中的死锁与混沌

为了研究传输控制协议(TCP)拥塞控制中的死锁和混沌现象,提出TCP发送端解除死锁的方法,以避免因为死锁而导致网络传输的不公平性,该文通过分析logistic映射的初始值对其状态的影响,证明了不同的初始值会改变混沌系统的状态。把该证明结果用于分析TCP拥塞控制,指出了对于确定参数的网络系统,不同的初始值会导致网络处于周期变化、混沌或不稳定状态,而死锁就是不稳定状态。因此,TCP发送端可以采用改变初始值的方法来避免死锁。仿真表明,该方法能有效地解除死锁,使网络回到混沌状态,提高网络传输的公平性。     

数据库系统中死锁处理的研究

本文给出了一种无夭折事务的死锁处理方法,由于这类死锁是由只读(查询)事务的参于而引起的,而在实际中只读事务往往占绝大多数,所以本方法将在很大程度上提高系统的事务处理效率。     

Petri网死锁的求解算法

本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对Petri网进行结构变化的基础上,给出相应算法去求解一个网的死锁.最后还给出了利用真值表求解死锁的方法.