基于占优关系的MPI并行程序死锁检测

• 作者: 张辰 田甜 郭庆
• 来源期刊: 聊城大学学报（自然科学版）
• 学科: 工学
• 关键词: 并行程序 占优关系 死锁 通信边
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 基础科学研究
• 页码范围: 104-110
• 页数: 7页
• 分类号: TP311
• 字数: 4934字
• 语种: 中文
• DOI: 10.19728/j.issn1672-6634.2018.04.018

摘要

随着高性能技术的发展,MPI并行程序得到了越来越广泛的应用,其可靠性也得到了软件工程界越来越多的关注.一个MPI并行程序有多个并行执行的进程,每个进程包含一系列串行执行语句.死锁是并行程序的一类典型错误,本文提出一种基于占优关系的死锁检测方法.首先,根据通信语句之间的占优关系,得到每个进程内,通信边之间的占优关系;然后,通过判定通信边占优关系是否相互违背,检测程序中的死锁.基于上述思想,开发了基于占优关系的死锁检测原型工具,用于检测多个典型的MPI并行程序.结果表明,本文方法能够检测出程序中的死锁缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田甜	山东建筑大学计算机科学与技术学院	6	23	2.0	4.0
2	郭庆	山东建筑大学计算机科学与技术学院	2	1	1.0	1.0
3	张辰	山东建筑大学计算机科学与技术学院	1	0	0.0	0.0