Highlighting PARCOACH Improvements on MBI - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Highlighting PARCOACH Improvements on MBI

Emmanuelle Saillard
Marc Sergent
Pierre Lemarinier

Résumé

PARCOACH is one of the few verification tools that mainly relies on a static analysis to detect errors in MPI programs. First focused on the detection of call ordering errors with collectives, it has recently been extended to detect local concurrency errors in MPI-RMA programs. Furthermore, the new version of the tool fixes multiple errors and is easier to use. This paper presents the improvements we made and the results we obtained on the MPI Bugs Initiative.
Fichier principal
Vignette du fichier
main.pdf (585.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04320261 , version 1 (04-12-2023)

Identifiants

Citer

Philippe Virouleau, Emmanuelle Saillard, Marc Sergent, Pierre Lemarinier. Highlighting PARCOACH Improvements on MBI. SC-W 2023 - Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, Nov 2023, Denver CO, United States. pp.238-241, ⟨10.1145/3624062.3624093⟩. ⟨hal-04320261⟩

Collections

CNRS INRIA INRIA2
33 Consultations
14 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More