| 比例方程组与MPI同步通信静态死锁检测 |
| |
| 引用本文： | 廖名学,范植华,何晓新.比例方程组与MPI同步通信静态死锁检测[J].数值计算与计算机应用,2008,29(2):153-160. |
| |
| 作者姓名： | 廖名学 范植华 何晓新 |
| |
| 作者单位： | 1. ISCAS,中国科学院软件研究所,北京,100190;GUCAS,中国科学院研究生院,北京,100190
2. ISCAS,中国科学院软件研究所,北京,100190 |
| |
| 摘 要： | 介绍了一种MPI程序死锁检测的静态方法以及该方法所处理的程序模型.为实现该方法,提出了比例方程组(一种特殊线性方程组)的概念并设计了求解方程组最简解的线性时空复杂度的高效算法.算法由一个四遍扫描过程与一个主控程序构成.主控程序用来处理并行计算节点计算机构成的划分.四遍扫描过程采用深度优先搜索方法确定方程组中各变元之间的比例关系.通过该算法所获得的最简解,任意多个变元之间的比例关系能在常数时间内获得.证明了该算法的正确性,并采用Java语言实现了该算法的标准程序库.该程序库目前已运行于MPI同步通信静态死锁检测的软件框架中.
|
| 关 键 词： | MPI 比例方程组 算法 死锁 比例关系 确定方程组 同步通信 死锁检测 COMMUNICATION SYNCHRONIZATION DEADLOCK DETECTION STATIC GROUP EQUATION 软件框架 运行 程序库 标准 语言实现 Java 时间 常数 变元 搜索方法 |
| 修稿时间： | 2007年6月25日 |
RATIO EQUATION GROUP AND STATIC DEADLOCK DETECTION IN MPI SYNCHRONIZATION COMMUNICATION |
| |
| Liao Mingxue,Fan Zhihua,He Xiaoxin.RATIO EQUATION GROUP AND STATIC DEADLOCK DETECTION IN MPI SYNCHRONIZATION COMMUNICATION[J].Journal on Numerical Methods and Computer Applications,2008,29(2):153-160. |
| |
| Authors: | Liao Mingxue Fan Zhihua He Xiaoxin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
