The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation

Résumé

Ensuring the correctness of MPI programs becomes as challenging and important as achieving the best performance. Many tools have been proposed in the literature to detect incorrect usages of MPI in a given program. However, the limited set of code samples each tool provides and the lack of metadata stating the intent of each test make it difficult to assess the strengths and limitations of these tools. In this paper, we present the MPI BUGS INITIATIVE, a complete collection of MPI codes to assess the status of MPI verification tools. We introduce a classification of MPI errors and provide correct and incorrect codes covering many MPI features and our categorization of errors. The resulting suite comprises 1,668 codes, each coming with a well-formatted header that clarifies the intent of each code and specifies how to execute and evaluate it. We evaluated the completeness of the MPI BUGS INITIATIVE against eight stateof-the-art MPI verification tools.
Fichier principal
Vignette du fichier
MBI_paper.pdf (488.87 Ko) Télécharger le fichier
MBI-SC-slides.pdf (908 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03474762 , version 1 (10-12-2021)

Identifiants

  • HAL Id : hal-03474762 , version 1

Citer

Mathieu Laurent, Emmanuelle Saillard, Martin Quinson. The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation. Correctness 2021: Fifth International Workshop on Software Correctness for HPC Applications, Nov 2021, St. Louis, United States. pp.1-9. ⟨hal-03474762⟩
141 Consultations
361 Téléchargements

Partager

Gmail Facebook X LinkedIn More