Combining Static and Dynamic Validation of MPI Collective Communication
| hal.structure.identifier | DAM Île-de-France [DAM/DIF] | |
| dc.contributor.author | SAILLARD, Emmanuelle | |
| hal.structure.identifier | DAM Île-de-France [DAM/DIF] | |
| dc.contributor.author | CARRIBAULT, Patrick | |
| hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
| hal.structure.identifier | Efficient runtime systems for parallel architectures [RUNTIME] | |
| dc.contributor.author | BARTHOU, Denis | |
| dc.date.accessioned | 2024-04-15T09:42:11Z | |
| dc.date.available | 2024-04-15T09:42:11Z | |
| dc.date.issued | 2013-09-15 | |
| dc.date.conference | 2013-09-15 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/197662 | |
| dc.description.abstractEn | Collective MPI communications have to be executed in the same order by all processes in their ommunicator and the same number of times, otherwise a deadlock occurs. As soon as the controlflow involving these collective operations becomes more complex, in particular including conditionals on process ranks, ensuring the correction of such code is error-prone. We propose in this paper a static analysis to detect when such situation occurs, combined with a code transformation that prevents from eadlocking. We show on several benchmarks the small impact on performance and the ease of integration of our techniques in the development process. | |
| dc.language.iso | en | |
| dc.title.en | Combining Static and Dynamic Validation of MPI Collective Communication | |
| dc.type | Communication dans un congrès | |
| dc.identifier.doi | 10.1145/2488551.2488555 | |
| dc.subject.hal | Informatique [cs]/Calcul parallèle, distribué et partagé [cs.DC] | |
| bordeaux.page | 117-122 | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.conference.title | EuroMPI 2013 - 20th European MPI Users' Group Meeting | |
| bordeaux.country | ES | |
| bordeaux.conference.city | Madrid | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-00920901 | |
| hal.version | 1 | |
| hal.invited | non | |
| hal.proceedings | oui | |
| hal.conference.end | 2013-09-18 | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-00920901v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2013-09-15&rft.spage=117-122&rft.epage=117-122&rft.au=SAILLARD,%20Emmanuelle&CARRIBAULT,%20Patrick&BARTHOU,%20Denis&rft.genre=unknown |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||