MPI同步通信顺序模型死锁静态检测算法

• 作者: 何晓新 廖名学 范植华
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: MPI程序 算法 死锁 静态分析
• 年，卷（期）: 2008,（17）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 274-275,278
• 页数: 3页
• 分类号: N945.12
• 字数: 2602字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.17.098

摘要

静态检测MPI程序同步通信死锁比较困难,通常需要建立程序模型.顺序模型是其他所有复杂模型的基础.通过一种映射方法将顺序模型转化为字符串集合,将死锁检测问题转化为等价的多队列字符申匹配问题,从而设计并实现了一种MPI同步通信顺序模型的静态死锁检测算法.该算法的性能优于通常的环检测方法,并能适应动态消息流.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖名学	中国科学院软件研究所	9	27	3.0	5.0
2	范植华	中国科学院软件研究所	44	491	12.0	20.0
3	何晓新	中国科学院软件研究所	10	40	3.0	6.0