基于NoC的容错路由算法

各种各样的软件和硬件上的错误都会破坏网络的数据传输,因此研究No C网络的容错算法是非常必要的。在基于XY路由算法的基础上提出了改进的容错路由算法,当链路或者传输节点之间发生错误时,可通过重新设置路由规则来获取一条有效的路由路径。在FPGA上进行路由容错算法的仿真,并和目前常用的几种路由算法在所适用拓扑、是否防止死锁等方面进行对比。仿真结果显示改进的路由容错算法性能优越,是可行的。     

银行家算法的应用研究

银行家算法是一个在操作系统中动态排除死锁的算法。本论文主要论述了银行家算法的思想,并利用该算法在排课系统中针对选修课程教室安排中的应用,使每个教室都能为得到充分和合理的应用。     

数据库的死锁现象及解除方法

数据库系统已成为当代计算机系统的重要组成部分．如何科学地组织和储存数据．如何有效的解决数据库中并发控制带来的死锁现象，就此提出了几个解决途径和遵循原则．     

分析仪器中ⅡC总线异常的自动恢复

在很多分析仪器产品中,ⅡC通信占了很大的比例。然而在产品的设计过程中,开发人员常会碰到因为一些特殊操作而导致ⅡC通信异常死锁的现象。这种情况一旦产生,仪器仍然可以正常运行,但是板间ⅡC通信已经中断,在用户不知情下,影响了数据的实时性和有效性,造成严重的后果。因此,该文就产品实际开发过程中遇到的问题及解决过程,对ⅡC机理进行了剖析和研究,并提出了一种在不影响正常通信情况下软件方法实现的自动恢复功能,旨在使开发人员在遇到类似问题时能得到一定的帮助。     

一种解决FMS中刀具流死锁问题的方法

FMS中的刀具流死锁问题是刀具流控制中至今尚未解决的难点问题,文中提出了一种解决刀具流死锁问题的方法—刀具流死锁图判定法,首次提出了刀具申请分配图的概念,定义了刀具流死锁图,把刀具流死锁和死锁图联系起来,建立了刀具流死锁的判定定理,并给出了2种死锁检测算法.该方法解决了FMS中的刀具流死锁问题,并为刀具流控制问题的深入研究奠定了理论和技术基础.     

MPI程序同步通信基本模型死锁检测

本文提出了MPI程序的同步通信模型及三个基本简化模型,给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明.简化模型的死锁检测理论和方法是真实MPI程序死锁检测的必要基础.这些方法基于程序静态分析,必要时进行运行时检测,它们对两种简化模型可以在程序编译前确定是否死锁,对另外一种模型,在编译前可静态确定部分死锁,运行中可确定其他死锁.我们的理论可以证明MPI程序死锁检测主流算法的正确性,其方法可以减少它们对客户源代码或MPI profiling接口的修改量,从而大大降低死锁检测开销,并可在运行前判定死锁.     

基于改进蚁群算法的移动机器人路径规划研究

针对蚁群算法在复杂环境下收敛速度慢且易陷入局部最优值的问题,提出一种改进的蚁群优化算法。该方法依据起始点和目标点位置信息选择全局有利区域增加初始信息素浓度,提高前期蚂蚁搜索效率;增加避障策略,避免蚂蚁盲目搜索产生大量交叉路径并有效减少蚂蚁死锁数量;采用动态参数控制的伪随机转移策略,提出优质蚂蚁信息素更新原则,自适应调整挥发系数,提高算法全局性;进行二次路径规划,优化路径并降低移动机器人能耗的损失。实验结果表明,该算法有较高的全局搜索能力,收敛速度明显加快,并且可以有效提高移动机器人工作效率,验证了该算法的有效性和优越性。     

A distributed deadlock detection algorithm for mobile computing system

The mode of mobile computing originated from distributed computing and it has the un-idempotent operation property, therefore the deadlock detection algorithm designed for mobile computing systems will face challenges with regard to correctness and high efficiency. This paper attempts a fundamental study of deadlock detection for the AND model of mobile computing systems. First, the existing deadlock detection algorithms for distributed systems are classified into the resource node dependent （ RD ） and the resource node independent （RI） categories, and their corresponding weaknesses are discussed. Afterwards a new RI algorithm based on the AND model of mobile computing system is presented. The novelties of our algorithm are that： 1 ） the blocked nodes inform their predecessors and successors simultaneously; 2） the detection messages （agents） hold the predecessors information of their originator; 3 ） no agent is stored midway. Additionally, the quit-inform scheme is introduced to treat the excessive victim quitting problem raised by the overlapped cycles. By these methods the proposed algorithm can detect a cycle of size n within n - 2 steps and with （ n^2- n - 2 ）/2 agents. The performance of our algorithm is compared with the most competitive RD and RI algorithms for distributed systems on a mobile agent simulation platform. Experiment results point out that our algorithm outperforms the two algorithms under the vast majority of resource configurations and concurrent workloads. The correctness of the proposed algorithm is formally proven by the invariant verification technique.     

S3PR网的一种死锁预防策略

针对S³PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C／D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤．首先将S³PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C／D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束．根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器．