Deadlock Detection of Parallel Programs based on Dominance Relation
TIAN Tian
GUO Qing
ZHANG Chen
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.
Keywords：parallel programsdominance relationdeadlockcommunication edge
Publication Date：2018-01-01
Online Publishing Date：2026-08-28(First online date of this platform, not the publication date of the document)
Pages：7( 104-110 )