MPI correctness checking for OpenMP/MPI applications

DOI10.1007/S10766-009-0099-4zbMATH Open1192.68156OpenAlexW2041410525MaRDI QIDQ839508FDOQ839508

Authors: Tobias Hilbrich, Matthias S. Müller, Bettina Krammer 

Publication date: 2 September 2009

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10766-009-0099-4

Recommendations

• MPI-CHECK: a tool for checking Fortran 90 MPI programs
• Deadlock detection in MPI programs
• Coupling DDT and Marmot for debugging of MPI applications
• Memory debugging of MPI-parallel applications in Open MPI
• Model Checking Nonblocking MPI Programs

zbMATH Keywords

MPIOpenMPcorrectnessmulti-threading

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Performance characteristics of the multi-zone NAS parallel benchmarks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deadlock detection in MPI programs

Cited In (3)

• MPI-CHECK: a tool for checking Fortran 90 MPI programs
• Memory debugging of MPI-parallel applications in Open MPI
• Coupling DDT and Marmot for debugging of MPI applications

Uses Software

• MPI-CHECK
• NAS Parallel Benchmarks
• VAMPIR
• MARMOT
• mpiP
• Jumpshot

This page was built for publication: MPI correctness checking for OpenMP/MPI applications

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