Must
MUST is a runtime error detection tool for MPI applications. It detects usage errors of the MPI at runtime and reports them to the user. It is easy to use and provides a wide range of correctness checks, including MPI deadlock detection, resource leak detection, datatype matching, and detection of communication buffer overlaps. MUST provides its correctness reports in an HTML report that is even available if the application crashes due to an MPI usage error. It is the successor of the Marmot (Universität Suttgart and Technische Universität Dresden) and Umpire (Lawrence Livermore National Laboratory) tools and combines their features.
Programming models
MPI
License
Open source: BSD
Organizations
RWTH Aachen University
Technische Universität Dresden
