并发进程死锁检测的一种新方法

并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri网模型及死锁检测方法。     

一种基于蚁群算法的多机器人协作方法

设计了一种基于蚁群算法的多机器人协作策略,由此解决多机器人系统在未知环境工作中的自主协作规划问题.针对多机器人系统在未知环境中可能存在任务死锁的问题,对基本的蚁群算法进行了相应改进,通过仿真验证了该改进方法的可行性.     

对银行家算法设计思想的改进及其代码实现

分析了银行家算法避免死锁的设计思想,改进了银行家算法,使其效率得到一定程度的提高熏且用C语言描述了实现银行家算法的部分关键程序代码.     

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

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

离散事件动态系统的一种新仿真方法

本文针对离散事件动态系统,提出了一种新的仿真方法,它由异步仿真运行、仿真死锁检测、解除仿真死锁三部分组成。文中详细讨论了这种方法的原理及特性,并应用此方法对—FMS进行了仿真研究。     

分布式事务管理系统DTM

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

半导体制造中多组合设备的Petri网建模及死锁分析

在半导体晶圆加工中必须保证组合设备运行时不存在死锁,为此,建立了多组合设备的模型并研究了无死锁运行问题.首先介绍了多组合设备的结构特征,用面向资源Petri网对它的结构建模;然后,在模型中引入了着色令牌和受控变迁,能很好地描述多组合设备加工晶圆的过程.此模型结构紧凑简洁,能分析加工过程中的稳态、初始暂态和趋停暂态阶段;同时分析了初始暂态阶段如何过渡到稳态阶段.最后,分析了模型的活性等动态行为,提出了避免死锁的控制策略.结果表明如果应用控制策略,多组合设备系统能无死锁运行,有助于对多组合设备进行调度.     

UNIX/XENIX下系统终端问题的解决

阐述终端在UNIX/XENIX系统中所涉及的主要问题,并探讨了在UNIX/XENIX系统中使用终端需要解决的问题和方法。     

钢厂铁水运输系统的计算机控制研究

本文的研究对象是某钢铁厂的铁水运输调度系统,该系统属于无停靠站台铁水运输调度系统．文中首先用事件驱动状态空间模型理论对系统进行了描述,并在此基础上提出了避免系统死锁的敌对进路事件合并法,随后结合敌对进路事件合并所引发的问题,提出了一种ＬｏｏｋｉｎｇＡｈｅａｄ调度规则,经仿真验证算法合理．     

Research on efficient edge-chasing deadlock detection/resolution for distributed systems

Numerous edge-chasing deadlock detection algonthms were developed lor the cycle detection in distributed systems, but their detections had the n steps speed limitation and n （ n- 1） overhead limitation to detect a cycle of size n under the one-resource request model. Since fast deadlock detection is critical, this paper proposed a new algorithm to speed up the detection process. In our algorithm, when the running of a transaction node is blocked, the being requested resource nodes reply it with the waiting or being waited message simultaneously, so the blocked node knows both its predecessors and successors, which helps it detecting a cycle of size 2 directly and locally. For the cycle of size n （ n 〉 2）, a special probe is produced which has the predecessors information of its originator, so the being detected nodes know their indirect predecessors and direct successors, and can detect the cycle within n - 2 steps. The proposed algorithm is formally proved to be correct by the invariant verification method. Performance evaluation shows that the message overhead of our detection is （ n^2 - n - 2）/2, hence both the detection speed and message cost of the proposed algorithm are better than that of the existing al gorithms.