MYX: Runtime correctness analysis for multi-level parallel programming paradigms

In recent years the increasing compute power is mainly provided by rapidly increasing concurrency. Therefore, the HPC community is looking for new parallel programming paradigms to make the best use of current and upcoming machines. Under the Japanese CREST funding program, the post-petascale HPC pr...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Software for Exascale Computing - SPPEXA 2016-2019 Jg. 136; S. 545 - 567
Hauptverfasser: Protze, Joachim, Tsuji, Miwako, Terboven, Christian, Dufaud, Thomas, Murai, Hitoshi, Petiton, Serge, Emad, Nahid, Müller, Matthias, Boku, Taisuke
Format: Buchkapitel
Sprache:Englisch
Veröffentlicht: Springer International Publishing 31.07.2020
Schriftenreihe:Lecture Notes in Computational Science and Engineering
Schlagworte:
Computer Science
Distributed, Parallel, and Cluster Computing
ISBN:3030479560, 9783030479565
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In recent years the increasing compute power is mainly provided by rapidly increasing concurrency. Therefore, the HPC community is looking for new parallel programming paradigms to make the best use of current and upcoming machines. Under the Japanese CREST funding program, the post-petascale HPC project developed the XcalableMP programming paradigm, a pragma-based partitioned global address space (PGAS) approach. To better exploit the potential concurrency of large scale systems, the mSPMD model was proposed and implemented with the YvetteML workflow description language. When introducing a new parallel programming paradigm, good tool support for debugging and performance analysis is crucial for the productivity and therefore the acceptance in the HPC community. The subject of the MYX project is to investigate which properties of a parallel programming language specification may help tools to highlight correctness and performance issues or help to avoid common issues in parallel programming in the first place. In this paper, we exercise these investigations on the example of XcalableMP and YvetteML.
ISBN:3030479560
9783030479565
DOI:10.1007/978-3-030-47956-5_18