Hück, Alexander ; Lehr, Jan-Patrick ; Kreutzer, Sebastian ; Protze, Joachim ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2018)
Compiler-aided type tracking for correctness checking of MPI applications.
2nd International Workshop on Software Correctness for HPC Applications (Correctness). Dallas, TX, USA (11.11.2018-16.11.2018)
doi: 10.1109/Correctness.2018.00011
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
MUST, a dynamic MPI correctness checker, is extended with a type and memory allocation tracking sanitizer called TypeART for C/C++ codes based on the LLVM compiler framework. The sanitizer extracts type information and inserts instrumentation to track memory allocations and deallocations relevant to MPI communication. This allows MUST to check for type compatibility between the type-less communication buffer and the declared MPI datatype at all phases of the MPI communication, namely message assembly, message transfer and message disassembly into the receiving buffer. We evaluate our approach on benchmarks taken from SPEC MPI 2007 and two CORAL mini applications. The results show that our approach typically exhibits acceptable runtime and memory overheads. In particular, the memory overhead was below 20% in all cases.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2018 |
| Autor(en): | Hück, Alexander ; Lehr, Jan-Patrick ; Kreutzer, Sebastian ; Protze, Joachim ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. |
| Art des Eintrags: | Bibliographie |
| Titel: | Compiler-aided type tracking for correctness checking of MPI applications |
| Sprache: | Englisch |
| Publikationsjahr: | 12 November 2018 |
| Veranstaltungstitel: | 2nd International Workshop on Software Correctness for HPC Applications (Correctness) |
| Veranstaltungsort: | Dallas, TX, USA |
| Veranstaltungsdatum: | 11.11.2018-16.11.2018 |
| DOI: | 10.1109/Correctness.2018.00011 |
| Kurzbeschreibung (Abstract): | MUST, a dynamic MPI correctness checker, is extended with a type and memory allocation tracking sanitizer called TypeART for C/C++ codes based on the LLVM compiler framework. The sanitizer extracts type information and inserts instrumentation to track memory allocations and deallocations relevant to MPI communication. This allows MUST to check for type compatibility between the type-less communication buffer and the declared MPI datatype at all phases of the MPI communication, namely message assembly, message transfer and message disassembly into the receiving buffer. We evaluate our approach on benchmarks taken from SPEC MPI 2007 and two CORAL mini applications. The results show that our approach typically exhibits acceptable runtime and memory overheads. In particular, the memory overhead was below 20% in all cases. |
| Freie Schlagworte: | MPI, correctness, type mismatch, sanitizer |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Scientific Computing Exzellenzinitiative Exzellenzinitiative > Graduiertenschulen Exzellenzinitiative > Graduiertenschulen > Graduate School of Computational Engineering (CE) Zentrale Einrichtungen Zentrale Einrichtungen > Hochschulrechenzentrum (HRZ) Zentrale Einrichtungen > Hochschulrechenzentrum (HRZ) > Hochleistungsrechner |
| Hinterlegungsdatum: | 13 Nov 2019 13:33 |
| Letzte Änderung: | 11 Jan 2021 09:43 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum