Deadlock detection in MPI programs

DOI10.1002/CPE.701MaRDI QIDQ4790937zbMATH OpenOpenAlexFDO

Authors Glenn R. Luecke, Yan Zou, James J. Coyle, Jim Hoekstra, Marina Kraeva

Publication date 4 February 2003

Published in Concurrency and Computation: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/cpe.701

zbMATH Keywords

deadlock detectionhandshake strategyMessage-Passing Interface

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Distributed deadlock detection
• Publication:4727428
• A sound reduction of persistent-sets for deadlock detection in MPI applications
• Prevention of deadlocks in parallel programs of multiprocessor machines
• scientific article; zbMATH DE number 5629953
• Deadlock detection in linear recursive programs

Cited in

(10)

• Instance Deadlock: A Mystery behind Frozen Programs
• Dynamic symbolic verification of MPI programs
• Model Checking Nonblocking MPI Programs
• ComPASS: a tool for distributed parallel finite volume discretizations on general unstructured polyhedral meshes
• A sound reduction of persistent-sets for deadlock detection in MPI applications
• Expected deadlock time in a multiprocessing system
• scientific article; zbMATH DE number 5629953 (Why is no real title available?)
• Memory debugging of MPI-parallel applications in Open MPI
• State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI
• MPI correctness checking for OpenMP/MPI applications

Describes a project that uses

Uses Software

• MPI-CHECK
• NAS Parallel Benchmarks

This page was built for publication: Deadlock detection in MPI programs

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