聊城大学学报（自然科学版）2018，Vol.31Issue(4)：104-110,7.DOI:10.19728/j.issn1672-6634.2018.04.018
基于占优关系的MPI并行程序死锁检测
Deadlock Detection of Parallel Programs based on Dominance Relation
摘要
Abstract
MPI parallel programs have been applied broadly and their reliability has attracted more and more attention from the software engineering community.A MPI parallel program contains several processes, each of which has a series of statements executed sequentially.The deadlock is a typical error that occurs in parallel programs.This study proposes a method of detecting deadlocks based on dominance relation.Firstly, the dominance relations of communication edges are firstly conducted from those of communication statements.Secondly, the deadlock is detected by checking the dominance relations of communication edges.The proposed method is preliminarily implemented and used for detecting several MPI parallel programs.The experimental results verify the effectiveness of the proposed method.关键词
并行程序/占优关系/死锁/通信边Key words
parallel programs/dominance relation/deadlock/communication edge分类
信息技术与安全科学引用本文复制引用
田甜,郭庆,张辰..基于占优关系的MPI并行程序死锁检测[J].聊城大学学报（自然科学版）,2018,31(4):104-110,7.基金项目
国家自然科学基金项目 (61503220) 资助 （61503220）
