| 比例方程组与MPI同步通信静态死锁检测 |
| 廖名学; 范植华; 何晓新
|
| 2008
|
| 发表期刊 | 数值计算与计算机应用
 |
| 卷号 | 29期号:2页码:153-160 |
| 摘要 | 介绍了一种MPI程序死锁检测的静态方法以及该方法所处理的程序模型.为实现该方法,提出了比例方程组(一种特殊线性方程组)的概念并设计了求解方程组最简解的线性时空复杂度的高效算法.算法由一个四遍扫描过程与一个主控程序构成.主控程序用来处理并行计算节点计算机构成的划分.四遍扫描过程采用深度优先搜索方法确定方程组中各变元之间的比例关系.通过该算法所获得的最简解,任意多个变元之间的比例关系能在常数时间内获得.证明了该算法的正确性,并采用Java语言实现了该算法的标准程序库.该程序库目前已运行于MPI同步通信静态死锁检测的软件框架中. |
| 收录类别 | 其他
|
| 关键词 | Mpi
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/613
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
廖名学,范植华,何晓新. 比例方程组与MPI同步通信静态死锁检测[J]. 数值计算与计算机应用,2008,29(2):153-160.
|
| APA |
廖名学,范植华,&何晓新.(2008).比例方程组与MPI同步通信静态死锁检测.数值计算与计算机应用,29(2),153-160.
|
| MLA |
廖名学,et al."比例方程组与MPI同步通信静态死锁检测".数值计算与计算机应用 29.2(2008):153-160.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论