3 papers
cs.DC2007
Algorithm of Static Deadlock Detection in MPI Synchronization Communication Sequential Model
Liao Ming-Xue, He Xiao-Xin, Fan Zhi-Hua
Detecting deadlocks in MPI synchronization communication programs is very difficult and need building program models. All complex models are based on sequential models. The sequent…
cs.DC2007
Static Deadlock Detection in MPI Synchronization Communication
Liao Ming-Xue, He Xiao-Xin, Fan Zhi-Hua
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 import…
cs.DC2007
Deadlock Detection in Basic Models of MPI Synchronization Communication Programs
Ming-xue Liao, Zhi-hua Fan
A model of MPI synchronization communication programs is presented and its three basic simplified models are also defined. A series of theorems and methods for deciding whether dea…