基于占优关系的MPI并行程序死锁检测
田甜
郭庆
张辰
1.山东建筑大学 计算机科学与技术学院,山东 济南,2501012.山东建筑大学 计算机科学与技术学院,山东 济南,2501013.山东建筑大学 计算机科学与技术学院,山东 济南,250101
摘要：随着高性能技术的发展,MPI并行程序得到了越来越广泛的应用,其可靠性也得到了软件工程界越来越多的关注.一个MPI并行程序有多个并行执行的进程,每个进程包含一系列串行执行语句.死锁是并行程序的一类典型错误,本文提出一种基于占优关系的死锁检测方法.首先,根据通信语句之间的占优关系,得到每个进程内,通信边之间的占优关系;然后,通过判定通信边占优关系是否相互违背,检测程序中的死锁.基于上述思想,开发了基于占优关系的死锁检测原型工具,用于检测多个典型的MPI并行程序.结果表明,本文方法能够检测出程序中的死锁缺陷.
关键词：并行程序占优关系死锁通信边
分类号：TP311(计算技术、计算机技术)
资助基金：国家自然科学基金(61503220)
论文发表日期：2018-01-01
在线出版日期：2026-08-28（本平台首次上网日期，不代表文献的发表时间）
页数：7( 104-110 )
英文信息