publication . Preprint . 2007

Static Deadlock Detection in MPI Synchronization Communication

Ming-Xue, Liao; Xiao-Xin, He; Zhi-Hua, Fan;
Open Access English
  • Published: 24 Sep 2007
Abstract
It is very common to use dynamic methods to detect deadlocks in MPI programs for the reason that static methods have some restrictions. To guarantee high reliability of some important MPI-based application software, a model of MPI synchronization communication is abstracted and a type of static method is devised to examine deadlocks in such modes. The model has three forms with different complexity: sequential model, single-loop model and nested-loop model. Sequential model is a base for all models. Single-loop model must be treated with a special type of equation group and nested-loop model extends the methods for the other two models. A standard Java-based sof...
Subjects
free text keywords: Computer Science - Distributed, Parallel, and Cluster Computing
Download from
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue