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

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

基于面向对象赋时Petri网的出入库系统建模

采用面向对象的赋时Petri网(ObjectOrientedTimedPetriNet,OOTPN)来讨论自动化立体仓库出入库(AS/RS)调度的建模问题。首先,对立体仓库的出入库调度元素进行分类和抽象聚合,得到系统的类关系;然后,在此基础上建立了由六个子模块组成的立体仓库出入库调度的OOTPN模型;最后,分析了该模型的死锁问题。     

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

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

不规则拓扑NOWs系统中基于树的路由算法分析

NOWS越来越多的使用虫孔路由技术，交换器以不规则的拓扑互连，这种不规则拓扑给大规模系统提供了布线的灵活性和增强的可扩展能力。然而，使用虫孔路由技术网络易于发生死锁，网络拓扑的不规则性又使避免死锁的问题变得困难。本篇文章首先分析和介绍了在通道依赖图中除去所有循环的几种模型，然后介绍了不规则拓扑NOWs中两个基于树的路由算法，最后指出了他们各自的优缺点。     

银行家算法的改进

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

Word文档"回生术"

在编辑和使用Word文档时,我们难免会犯一些意想不到的错误,比如打开网络上的文档进行编辑,或者遇到诸如系统死锁、断电、文档损坏等意外.当这些错误或意外发生时,你也不必懊恼万分,因为以下方法可以帮助你挽回工作成果的损失.     

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

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

计算机操作系统中哲学家进餐问题探究

解决“哲学家进餐”问题首先要找出对应的控制关系，设定相应的控制信号量。避免死锁也是解决该类问题的关键。     

多用户系统中的死锁问题

在多用户操作系统中 ,关键是支持并发进程调度、提供进程同步和通信机制 .无论是相互通信的进程还是共享不同类型资源的进程 ,都可能因通信顺序或资源分配顺序不当而造成死锁 .致使各种并发进程等待资源而永远不能继续向前推进 ,严重地危害了系统的可靠性 .通常我们把系统死锁描述为 :一组并发进程X1 ,X2 ,X3,… ,Xn,共享资源Y1 ,Y2 ,Y3,… ,Ym(n >0 ,m >0 ,n >m) .每个Xi( 1≤i≤n)拥有资源Yj( 1≤j≤m) ,直到再没有其它剩余资源 ,各Xi 又在不释放Yj 的情况下 ,要求得到Yk( 1≤k≤m ,k≠j) ,从而造成资源的相互保持和相互等待 .若无…     

FMS建模和形式化验证

提出了一种FMS的建模方法,此方法是基于时间自动机模型。运用模型检查工具UPPAAL来进行建模,仿真和验证。由于时间的因素被考虑到建模方法中,因此FMS的调度和控制问题可以被集成到这个模型中。在系统的行为被控制的同时,可以保证系统的性能指标。从而最优调度和最优控制可以得到检查和验证。