A sound reduction of persistent-sets for deadlock detection in MPI applications

DOI10.1007/978-3-642-33296-8_15MaRDI QIDQ5200486zbMATH OpenOpenAlexFDO

Authors Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky

Publication date 6 November 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33296-8_15

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Deadlock detection in MPI programs
• Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
• Dynamic symbolic verification of MPI programs
• Verification, Model Checking, and Abstract Interpretation
• State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI

Cited in

(6)

• Verification, Model Checking, and Abstract Interpretation
• Deadlock detection in MPI programs
• Dynamic symbolic verification of MPI programs
• scientific article; zbMATH DE number 5629953 (Why is no real title available?)
• State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI
• Unfolding-based dynamic partial order reduction of asynchronous distributed programs

This page was built for publication: A sound reduction of persistent-sets for deadlock detection in MPI applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200486)