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

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

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

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

离散事件系统的无死锁分散监控

该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。     

基于模糊行为融合的移动机器人避障算法

为了减少移动机器人自主导航过程中过多寻求当前时刻最优路径或最优解而产生的死锁或震荡现象,根据多目标优化理论,提出了基于模糊行为融合的移动机器人避障算法.该算法把指定目标的导航过程分解为具有三个子行为的系统,根据传感器信息动态改变各子行为函数的区间权重和优先级,实时获得当前时刻最满意路径或最有效路径.实验结果证明:该算法可以有效减少导航过程中的死锁和震荡现象,提高避障过程的鲁棒性和实时性.     

哲学家进餐问题一种解法的改进

介绍哲学家进餐问题死锁预防的一种解法的改进,对其进行了探讨.并用Java程序进行验证.     

银行家算法的改进

从减少不必要的安全性检查和缩小检查范围入手，给出银行家算法的一项改进，使其实现效率得到一定程度的提高。     

一种基于语法扩展的自动互斥锁实现机制

针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足,提出扩展C/C++标准语法,增加临界资源定义及操作关键字的方案,通过隐藏互斥锁的概念及实现从而降低开发复杂度、实现平台无关.在扩展语法基础上,提出采用分支栈检查算法在代码进行临界资源访问顺序合法化及配对完整性检查,可有效地减少死锁隐患、增强系统的可靠性.     

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

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

并行测试中死锁避免的设计与仿真

设计了一个双通道运算放大器芯片SD358D的并行测试仿真实例。实例中应用USB数据采集卡和HPVEE软件组成的虚拟仪器对两路放大器的三个指标进行并行测试。由于两个测试任务共享仪器资源,容易发生死锁。为了解决并行测试中的死锁问题,首先为并行测试建立Petri网模型,模型中的变迁发射序列与系统任务调度路径一一对应,利用遗传算法搜索模型中无死锁的序列,然后控制系统按照这些无死锁的路径调度测试任务,就可以有效避免死锁的发生。最后通过实验结果,验证了该方法的正确性。     

一种基于2D-mesh的片上网络无死锁容错路由算法

为解决片上网络中的永久性故障问题,提出一种基于2D-mesh拓扑结构的无死锁容错路由算法.定义了新的故障块生成规则,减小了故障节点的区域和受影响的健康节点数目,设计了一种故障节点探测和绕道路径生成算法,通过递归式消息传递实现了故障块区域的建立和绕道路径列表的生成.在绕道容错路由算法中,采用部分路由表与路由规则相结合的方法,通过在报头中加入绕道路径列表的方式引导报文绕过故障区域.结果表明,与现有算法相比,所提出的容错路由算法在随机均衡负载和热点负载2种情况下的延时都有所降低.