Hück, Alexander ; Jammer, Tim ; Jenke, Joachim ; Bischof, Christian (2023)
Investigating the Real-World Applicability of MPI Correctness Benchmarks.
International Conference on High Performance Computing, Network, Storage, and Analysis 2023. Denver, USA (12.11.2023 - 17.11.2023)
doi: 10.1145/3624062.3624091
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
The MPI correctness benchmarks MPI-Corrbench and the MPI Bugs Initiative contain standardized test cases of correct and erroneous use of MPI, allowing MPI correctness tool developers to assess their tools’ performance and guide further development of their checking capabilities. Hence, the correctness benchmarks should encompass representative MPI (mis-)usage that mirrors real-world codes. To that end, we analyze the MPI usage of these correctness benchmarks at argument granularity and compare it to a previously collected data set of 96 HPC codes. This assessment measures the benchmarks’ proximity to real-world MPI usage patterns and offers insights for enhancing their coverage.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2023 |
| Autor(en): | Hück, Alexander ; Jammer, Tim ; Jenke, Joachim ; Bischof, Christian |
| Art des Eintrags: | Bibliographie |
| Titel: | Investigating the Real-World Applicability of MPI Correctness Benchmarks |
| Sprache: | Englisch |
| Publikationsjahr: | 12 November 2023 |
| Verlag: | ACM |
| Buchtitel: | Proceedings of 2023 SC 23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis (SC23 Workshops) |
| Veranstaltungstitel: | International Conference on High Performance Computing, Network, Storage, and Analysis 2023 |
| Veranstaltungsort: | Denver, USA |
| Veranstaltungsdatum: | 12.11.2023 - 17.11.2023 |
| DOI: | 10.1145/3624062.3624091 |
| Kurzbeschreibung (Abstract): | The MPI correctness benchmarks MPI-Corrbench and the MPI Bugs Initiative contain standardized test cases of correct and erroneous use of MPI, allowing MPI correctness tool developers to assess their tools’ performance and guide further development of their checking capabilities. Hence, the correctness benchmarks should encompass representative MPI (mis-)usage that mirrors real-world codes. To that end, we analyze the MPI usage of these correctness benchmarks at argument granularity and compare it to a previously collected data set of 96 HPC codes. This assessment measures the benchmarks’ proximity to real-world MPI usage patterns and offers insights for enhancing their coverage. |
| Freie Schlagworte: | HPC, MPI, correctness benchmark, program analysis, verification |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Scientific Computing Zentrale Einrichtungen Zentrale Einrichtungen > Hochschulrechenzentrum (HRZ) Zentrale Einrichtungen > Hochschulrechenzentrum (HRZ) > Hochleistungsrechner |
| Hinterlegungsdatum: | 20 Jun 2024 14:00 |
| Letzte Änderung: | 20 Jun 2024 14:00 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum