Communication Dans Un Congrès Année : 2025

MPI-BugBench: A Framework for Assessing MPI Correctness Tools

Résumé

MPI’s low-level interface is prone to errors, leading to bugs that can remain dormant for years. MPI correctness tools can aid in writing correct code but lack a standardized benchmark for comparison. This makes it difficult for users to choose the best tool and difficult for developers to gauge their tools’ effectiveness. MPI correctness benchmarks, MPI-CorrBench, the MPI Bugs Initiative, and RMARaceBench have emerged to address this problem. However, comparability is hindered by having separate benchmarks, and none fully reflects real-world MPI usage patterns. Hence, we present MPI-BugBench, a unified MPI correctness benchmark replacing previous efforts. It addresses the shortcomings of its predecessors by providing a single, standardized test harness for assessing tools and incorporates a broader range of real-world MPI usage scenarios. MPI-BugBench is available at https://git-ce.rwth-aachen.de/hpc-public/mpi-bugbench.
Fichier principal
Vignette du fichier
mpiBugBenchPaper.pdf (383.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04878321 , version 1 (09-01-2025)

Identifiants

Citer

Tim Jammer, Emmanuelle Saillard, Simon Schwitanski, Joachim Jenke, Radjasouria Vinayagame, et al.. MPI-BugBench: A Framework for Assessing MPI Correctness Tools. EuroMPI/Australia 2024, Sep 2024, Perth, Australia. pp.121-137, ⟨10.1007/978-3-031-73370-3_8⟩. ⟨hal-04878321⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More