FMS运控软件的死锁问题及其检测方法

对于一个ＦＭＳ运控软件的调试环境系统来说，能够检查出被测软件中可能发生的死锁问题是系统能够正常运行的必要条件之一．在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回避的方法，这种方法计算量小，具有通用性     

两种死锁分析的逻辑方法

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

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

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

在半适应多孔网状网络系统中解除死锁的多址发送机制

描述在多孔网状网络上解除多址发送中死锁问题的一种方法，这种方法将多址发送的目标组织成一棵分配树，树的分枝由一些消息链接而成，这些消息能够按照半适应回转路由选择策略沿着不会造成死锁的路线传送。     

死锁问题Petri网描述的进一步讨论

在[1]中我们讨论了从系统的Petri网模型来判别系统死锁的某些方法。本文进一步给出从Petri网的关联矩阵本身来判别死锁的若干方法。     

死锁检测与恢复的实现

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

WIN95/98硬盘死锁的修复

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

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

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

有效变迁覆盖在死锁预防策略中的应用

为解决一类自动制造系统的死锁问题,利用有效变迁覆盖提出了一种新的死锁预防策略.利用严格极小siphon与极大完备资源变迁回路之间的一一对应关系,将任意严格极小siphon子集转换为有效变迁覆盖.然后对有效变迁覆盖中每一个极大完备资源变迁回路添加具有合适控制变量的控制库所和相关弧,得到自动制造系统的活性控制器.通过求解线性整数规划问题得到控制变量.在此基础上为自动制造系统提出了一个新的死锁预防策略.该策略得到的控制器结构简单,适合于规模较大的实际生产系统.最后通过一个例子解释了所提出的死锁预防策略.     

含有不可控变迁的Petri网死锁避免策略

文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。     

一种新的WWW服务系统性能模型分析

给出一个新的ＷＷＷ系统的性能分析模型，将服务器系统和通信访问网络统一考虑为一个整体，并将模型扩展到多服务器系统，分析了各模型参数对服务性能的影响，提出了避免死锁状态的方法和增加新服务器速率的原则，最后对比了几种提高服务器性能的方法在不同拥塞条件下的优劣。仿真实验结果证实了模型的有效性，该模型对于网络管理，规划设计和网络升级都具有实际意义。     

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

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

基于逻辑工作流网的有限无死锁组合

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。     

分布式事务管理系统DTM

本文描述一个分布式事务管理系统的模块结构。消息管理是该系统的核心,它提供简单但强有力的功能来控制事务的分布式管理。本文还给出了一种并发控制策略:带分布式死锁检查的超时法。该法按本文给出的一个公式对不同的事务计算不同的时间间隔,超时后进行分布式死锁检查。该法克服了传统的超时法和分布式死锁检查的不足。     

用相关元素定序法实现乐观并发控制

针对两段锁2PL(Tow-Phase Locking)并发控制方法的死锁率高,使Internet系统的性能大幅度降低的问题,提出了一种基于乐观机制的新的并发控制方法--相关元素定序法,并给出了一种新的冲突验证算法 --相关元素验证算法.该方法不存在死锁问题,较以往的乐观并发控制法验证方法简单, 事务重启动的次数减少5%,系统的吞吐能力比2PL提高160%,而且能保证重启动事务执行成功 ,因而能够缩短事务的响应时间,提高系统的吞吐能力.是一种实用的并发控制方法.     

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

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

一种动态监督系统的设计与实现

本文给出的动态监督系统可以检测Ada语言多任务程序在运动过程中量中是滞发生死锁，如果死锁的原因是由于程序设计不周而引起的，将提示用户如何修改程序，否则可以自动解锁。     

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

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

一种新的WWW服务系统性能模型分析

给出一个新的ＷＷＷ系统的性能分析模型，将服务器系统和通信访问网络统一考虑为一个整体，并将模型扩展到多服务器系统；分析了各模型参数对服务系统性能的影响，提出了避免死锁状态的方法和增加新服务器速率的原则；最后对比了几种提高服务器性能的方法在不同拥塞条件下的优劣．仿真实验结果证实了模型的有效性．该模型对于网络管理、规划设计和网络升级都具有实际意义     

多处理器高速缓存一致性分析与评价

在多处理器系统中,主存与各私有Cache之间存在数据不一致性,解决不一致的方法有硬件控制方法（监听总线协议、基于目录的Cache一致性协议）和软件控制方法,同时提出了软硬件相结合的方法以及三种死锁的处理机制,这样能更有效地解决Cache的一致性问题。