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...

Full description

Saved in:
Bibliographic Details
Published in:Software for Exascale Computing - SPPEXA 2016-2019 Vol. 136; pp. 545 - 567
Main Authors: Protze, Joachim, Tsuji, Miwako, Terboven, Christian, Dufaud, Thomas, Murai, Hitoshi, Petiton, Serge, Emad, Nahid, Müller, Matthias, Boku, Taisuke
Format: Book Chapter
Language:English
Published: Springer International Publishing 31.07.2020
Series:Lecture Notes in Computational Science and Engineering
Subjects:
Computer Science
Distributed, Parallel, and Cluster Computing
ISBN:3030479560, 9783030479565
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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