Showing cs.DCShow all
2 papers · 1 filter
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…