Deadlock detection in MPI programs

DOI10.1002/CPE.701zbMATH Open1008.68532OpenAlexW2162989857MaRDI QIDQ4790937FDOQ4790937

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

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

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)

Cited In (10)

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

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)