| 全节点空间MPI同步通信死锁检测 |
| 廖名学; 何晓新; 范植华
|
| 2009
|
| 发表期刊 | 系统仿真学报
 |
| 期号 | 8页码:2263-2266,2298 |
| 摘要 | 针对全节点空间上MPI同步通信程序死锁检测的现有穷举方法的弱点,提出了该场景中MPI程序的两种参数化模型:一次参数化模型和二次参数化模型。通过分析一次参数化模型的一类不变式的性质,给出了该模型的死锁检测算法。提出了同构节点空间的一系列概念和性质并由此设计出该算法的几种优化方法,以加快某些特定程序模型死锁检测的过程。仿真实验表明该算法及其优化方法比现有方法的性能提高若干数量级。 |
| 收录类别 | 其他
|
| 关键词 | 消息传递接口,死锁,参数化模型,全节点空间,同构节点空间
|
| 部门归属 | 中国科学院软件研究所综合信息系统技术国家级重点实验室;中国科学院研究生院;
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/8008
|
| 专题 | 天基综合信息系统全国重点实验室
|
推荐引用方式
GB/T 7714 |
廖名学,何晓新,范植华. 全节点空间MPI同步通信死锁检测[J]. 系统仿真学报,2009(8):2263-2266,2298.
|
| APA |
廖名学,何晓新,&范植华.(2009).全节点空间MPI同步通信死锁检测.系统仿真学报(8),2263-2266,2298.
|
| MLA |
廖名学,et al."全节点空间MPI同步通信死锁检测".系统仿真学报 .8(2009):2263-2266,2298.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论