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

廖名学; 范植华

首页> 中文期刊> 《电子学报》 >MPI程序同步通信基本模型死锁检测

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《电子学报》 |2008年第2期|402-407|共6页
作者
廖名学; 范植华;
展开▼
作者单位

中国科学院软件研究所,北京,100080;

中国科学院软件研究所,北京,100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计;
关键词
MPI(Message Passing Interface); 死锁; 同步通信;

相似文献

中文文献
外文文献
专利

1. 基于占优关系的MPI并行程序死锁检测 [J] . 田甜 ,郭庆 ,张辰 . 聊城大学学报（自然科学版） . 2018,第004期
2. MPI同步通信顺序模型死锁静态检测算法 [J] . 廖名学 ,何晓新 ,范植华 . 计算机工程 . 2008,第017期
3. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法 [J] . 鲁法明 ,崔明浩 ,包云霞 . 计算机集成制造系统 . 2021,第009期
4. MPI程序的Petri网模型及其验证 [J] . 眭聃 ,王力生 ,叶青 . 计算机应用与软件 . 2007,第010期
5. MPI程序的Petri网模型及其动态性质(英文) [J] . 崔焕庆 ,吴哲辉 . 系统仿真学报 . 2006,第9期
6. MPI-RCDD:一种MPI运行时的通信死锁检测框架 [C] . Gao Jian ,高剑 ,Qing Peng . 2017年全国高性能计算学术年会 . 2017
7. 并发程序中的潜在死锁检测与调试 [A] . 汪胜 . 2016

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

摘要

著录项

相似文献

相关主题

期刊订阅