基于占优关系的MPI并行程序死锁检测

随着高性能技术的发展,MPI并行程序得到了越来越广泛的应用,其可靠性也得到了软件工程界越来越多的关注.一个MPI并行程序有多个并行执行的进程,每个进程包含一系列串行执行语句.死锁是并行程序的一类典型错误,本文提出一种基于占优关系的死锁检测方法.首先,根据通信语句之间的占优关系,得到每个进程内,通信边之间的占优关系;然后,通过判定通信边占优关系是否相互违背,检测程序中的死锁.基于上述思想,开发了基于占优关系的死锁检测原型工具,用于检测多个典型的MPI并行程序.结果表明,本文方法能够检测出程序中的死锁缺陷.     

基于逻辑工作流网的有限无死锁组合

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。     

Linux下的多线程编程

介绍了Linux多线程库、几种线程间互斥和同步方法的实现，及多线程程序的基本程序结构。     

二维网格互连通信的IP核研究以及实现

该文首先提出二维网格互连通信的路由算法——DRUL（Down Right Up Left）,并证明该算法是免死锁的.接着提出二维网格互连通信的实现协议,利用硬件描述语言Verilog HDL在FPGA上实现了该算法以及通信协议.逻辑仿真以及理论分析表明该IP 核适合二维网格通信.     

网上多用户程序编制中死锁及死锁的处理

用户要在ＮＯＶＥＬＬ网络系统环境下工作，应建立起多用户的共享程序和数据库文件。在开发多用户应用程序时，因两个用户在同一时间不能锁定相同文件或数据，因此，可能在运行时因访问共享文件而发生“碰撞”，导致死锁。本文，作者对死锁产生的条件、防止方法及产生死锁后的处理进行了探讨。     

通过回退机制解决哲学家进餐问题

根据预防死锁策略,提出一种基于回退机制的哲学家进餐问题的解决方案,并在JAVA多线程环境下通过编程实现了该方案.模拟程序运行结果验证了方案的可行性和有效性.     

浅析离散数学在计算机科学中的应用

离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性.     

死锁定理与死锁的预防方法

本介绍了计算机操作系统中检测死锁的充分必要条件，即“死锁定理”，同时还介绍和讨论了预防计算机出现死锁的几个方法。     

在半适应多孔网状网络系统中解除死锁的多址发送机制

描述在多孔网状网络上解除多址发送中死锁问题的一种方法，这种方法将多址发送的目标组织成一棵分配树，树的分枝由一些消息链接而成，这些消息能够按照半适应回转路由选择策略沿着不会造成死锁的路线传送。     

基于广义表的银行家算法

分析了使用传统的银行家算法降低系统资源使用效率的主要原因是使用了事先声明的全局最大资源需求量，提出了一种改进算法，该算法用广义表表示每个进程的控制流程及其资源请求图，可以减小银行家算法对系统资源使用效率的影响。