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

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

银行家算法中若干问题的讨论

分析了银行家算法避免死锁的思想 ,提出只有在能够正确合理地确定Max数组的值的前提下才能在操作系统中应用银行家算法 .讨论了确定Max数组值时需考虑的问题 ,发现只有当程序中的资源请求的数量不依赖于变量时才能够在进程运行前确定Max数组的值 ,在此基础上 ,提出了确定Max数组值的初步方法 .     

全节点空间MPI同步通信死锁检测

针对全节点空间上MPI同步通信程序死锁检测的现有穷举方法的弱点,提出了该场景中MPI程序的两种参数化模型:一次参数化模型和二次参数化模型.通过分析一次参数化模型的一类不变式的性质,给出了该模型的死锁检测算法.提出了同构节点空间的一系列概念和性质并由此设计出该算法的几种优化方法,以加快某些特定程序模型死锁检测的过程.仿真实验表明该算法及其优化方法比现有方法的性能提高若干数量级.     

柔性制造系统Petri网模型中的一类共享资源

揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的共享资源一样,同一加工过程内的不同加工操作所共享的资源也可能导致系统发生死锁.因此,将这类资源定义为加工过程内共享资源.在FMS的死锁控制中,需要将加工过程内共享资源的影响因素考虑进来.     

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

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

一种新的分布式死锁探测与解除方法

为了有效地解决分布式环境下的死锁探测与解除问题,本文提出了一种基于请求路径双向探测的方法,此方法较以前各类方法具有更好的分布性、可靠性和更短的死锁探测时间。     

基于Java多线程机制解决哲学家进餐问题的深入探究

简要阐述了操作系统中哲学家进餐这个经典同步问题,探讨了该问题的多种解决策略,并通过Java语言的多线程编程技术,给出了实现此问题相应解决策略的代码,有效地避免了饥饿和死锁现象的产生.     

用于实现异步通信的一种模块化Petri网

在（TS）＊SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制（Request/Response mechanism）进行通信的网系统子类Request/Response（TS）＊SM的正确性规范以及无死锁性条件,并将其推广到更大的子类Recursively Request/Response（TS）＊SM。     

Web服务集成协调框架中的基于语义锁的死锁检测与解除

为了保证Web服务集成时的一致性和可靠性,IBM和Microsoft发布了Web服务协作(Web Services Coordination)规范以及Web服务事务(Web Services Transaction)规范,它们负责协调整个业务流程中多个Web服务的协调与合作.但是由WS-Coordination和WS-Transaction所定义的框架并没有对Web服务环境中多个事务并发执行时所出现的死锁问题提供相应的解决方案.因此我们设计了一种适合于Web服务环境的语义锁模式,这种锁模式能够极大地提高Web服务环境中事务间的并发度,提高企业的经济效益,并提出了一种能够根据语义锁中的语义信息最大限度地减少企业经济损失的死锁解除方法.     

一种基于遗传算法的车间调度算法求解

针对车间作业调度问题,讨论了应用于车间作业调度的遗传算法设计,给出了主要的编码、解码、以及死锁问题的算法模型。结合应用实例,说明了设计的可行性与有效性。