MPI-CHECK
MPI is commonly used to write parallel programs for distributed memory parallel computers. MPI-CHECK is a tool developed to aid in the debugging of MPI programs that are written in free or fixed format Fortran 90 and Fortran 77. MPI-CHECK provides automatic compile-time and run-time checking of MPI programs. MPI-CHECK automatically detects the following problems in the use of MPI routines: (i) mismatch in argument type, kind, rank or number; (ii) messages which exceed the bounds of the source/destination array; (iii) negative message lengths; (iv) illegal MPI calls before MPI_INITIALIZE or after MPI_FINALIZE; (v) inconsistencies between the declared type of a message and its associated DATATYPE argument; and (vi) actual arguments which violate the INTENT attribute.
Keywords for this software
References in zbMATH (referenced in 6 articles , 1 standard article )
Showing results 1 to 6 of 6.
Sorted by year (- Guthmuller, Marion; Corona, Gabriel; Quinson, Martin: System-level state equality detection for the formal dynamic verification of legacy distributed applications (2018)
- Dalissier, E.; Guichard, C.; Havé, P.; Masson, R.; Yang, C.: ComPASS: a tool for distributed parallel finite volume discretizations on general unstructured polyhedral meshes (2013)
- Hilbrich, Tobias; Müller, Matthias S.; Krammer, Bettina: MPI correctness checking for OpenMP/MPI applications (2009)
- Krammer, Bettina; Himmler, Valentin; Lecomber, David: Coupling DDT and Marmot for debugging of MPI applications (2008)
- Luecke, Glenn; Chen, Hua; Coyle, James; Hoekstra, Jim; Kraeva, Marina; Zou, Yan: MPI-CHECK: a tool for checking Fortran 90 MPI programs (2003)
- Luecke, Glenn R.; Zou, Yan; Coyle, James; Hoekstra, Jim; Kraeva, Marina: Deadlock detection in MPI programs (2002)