Jammer, Tim ; Iwainsky, Christian ; Bischof, Christian
Hrsg.: Jagode, Heike ; Anzt, Hartwig ; Juckeland, Guido ; Ltaief, Hatem (2020)
Automatic Detection of MPI Assertions.
35th International ISC High Performance 2020 Conference. Frankfurt, Germany (21.- 25.06.2020)
doi: 10.1007/978-3-030-59851-8_3
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
The 2019 MPI standard draft specification includes the addition of defined communicator info hints. These hints are assertions that an application makes to an MPI implementation, so that a more optimized implementation is possible. The 2019 draft specifications defines four assertions: mpi_assert_no_any_tag, mpi_assert_no_any_source, mpi_assert_exact_length and mpi_assert_allow_overtaking. In this paper we will explore the capability of a Clang/LLVM based static analysis to check whether these assertions hold for a given program. With this tool, existing codebases can benefit from this new addition to the MPI standard without the need for costly human intervention.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2020 |
| Herausgeber: | Jagode, Heike ; Anzt, Hartwig ; Juckeland, Guido ; Ltaief, Hatem |
| Autor(en): | Jammer, Tim ; Iwainsky, Christian ; Bischof, Christian |
| Art des Eintrags: | Bibliographie |
| Titel: | Automatic Detection of MPI Assertions |
| Sprache: | Englisch |
| Publikationsjahr: | 20 Oktober 2020 |
| Verlag: | Springer |
| Buchtitel: | High Performance Computing |
| Veranstaltungstitel: | 35th International ISC High Performance 2020 Conference |
| Veranstaltungsort: | Frankfurt, Germany |
| Veranstaltungsdatum: | 21.- 25.06.2020 |
| DOI: | 10.1007/978-3-030-59851-8_3 |
| URL / URN: | https://link.springer.com/chapter/10.1007%2F978-3-030-59851-... |
| Kurzbeschreibung (Abstract): | The 2019 MPI standard draft specification includes the addition of defined communicator info hints. These hints are assertions that an application makes to an MPI implementation, so that a more optimized implementation is possible. The 2019 draft specifications defines four assertions: mpi_assert_no_any_tag, mpi_assert_no_any_source, mpi_assert_exact_length and mpi_assert_allow_overtaking. In this paper we will explore the capability of a Clang/LLVM based static analysis to check whether these assertions hold for a given program. With this tool, existing codebases can benefit from this new addition to the MPI standard without the need for costly human intervention. |
| Zusätzliche Informationen: | Part of the Lecture Notes in Computer Science book series (LNCS, volume 12321) |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Scientific Computing Zentrale Einrichtungen Zentrale Einrichtungen > Hochschulrechenzentrum (HRZ) Zentrale Einrichtungen > Hochschulrechenzentrum (HRZ) > Hochleistungsrechner |
| Hinterlegungsdatum: | 27 Okt 2020 08:55 |
| Letzte Änderung: | 21 Jan 2021 10:34 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum