Lehr, Jan-Patrick ; Hück, Alexander ; Fischer, Moritz ; Bischof, Christian
Hrsg.: Jagode, Heike ; Anzt, Hartwig ; Juckeland, Guido ; Ltaief, Hatem (2020)
Compiler-Assisted Type-Safe Checkpointing.
35th International Conference on High Performance 2020 Computing. Frankfurt, Germany (21.06.2020-25.06.2020)
doi: 10.1007/978-3-030-59851-8_1
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
TyCart is a tool for type-safe checkpoint/restart and extends the memory allocation sanitizer tool TypeART with type asserts. Type asserts let the developer specify type requirements on memory regions, and, in our example implementation, they are used to implement a type-safe interface for the existing checkpoint libraries FTI and VeloC. We evaluate our approach on a set of mini-apps, and an application from astrophysics. The approach shows runtime and memory overhead below 5% in smaller benchmarks. In the astrophysics application, the runtime overhead reaches 30% and the memory overhead 70%.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2020 |
| Herausgeber: | Jagode, Heike ; Anzt, Hartwig ; Juckeland, Guido ; Ltaief, Hatem |
| Autor(en): | Lehr, Jan-Patrick ; Hück, Alexander ; Fischer, Moritz ; Bischof, Christian |
| Art des Eintrags: | Bibliographie |
| Titel: | Compiler-Assisted Type-Safe Checkpointing |
| Sprache: | Englisch |
| Publikationsjahr: | 20 Oktober 2020 |
| Verlag: | Springer |
| Buchtitel: | High Performance Computing |
| Veranstaltungstitel: | 35th International Conference on High Performance 2020 Computing |
| Veranstaltungsort: | Frankfurt, Germany |
| Veranstaltungsdatum: | 21.06.2020-25.06.2020 |
| DOI: | 10.1007/978-3-030-59851-8_1 |
| Kurzbeschreibung (Abstract): | TyCart is a tool for type-safe checkpoint/restart and extends the memory allocation sanitizer tool TypeART with type asserts. Type asserts let the developer specify type requirements on memory regions, and, in our example implementation, they are used to implement a type-safe interface for the existing checkpoint libraries FTI and VeloC. We evaluate our approach on a set of mini-apps, and an application from astrophysics. The approach shows runtime and memory overhead below 5% in smaller benchmarks. In the astrophysics application, the runtime overhead reaches 30% and the memory overhead 70%. |
| Zusätzliche Informationen: | First Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC (C3PO'20); 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: | 26 Okt 2020 12:10 |
| Letzte Änderung: | 21 Jan 2021 10:28 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum