MYX: Runtime Correctness Analysis for Multi-Level Parallel Programming Paradigms

Lecture notes in computational science and engineering, pp. 545–567

Abstract

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

Authors 9

1. Joachim Protze corresponding Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

2. Miwako Tsuji

   RIKEN · RIKEN Center for Computational Science

   Affiliation as printed

   RIKEN-CCS, Kobe, Japan

3. Christian Terboven Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

4. Thomas Dufaud

   Université de Versailles Saint-Quentin-en-Yvelines

   Affiliation as printed

   University of Versailles, Versailles, France

5. Hitoshi Murai

   RIKEN · RIKEN Center for Computational Science

   Affiliation as printed

   RIKEN-CCS, Kobe, Japan

6. Serge G. Petiton

   Université de Versailles Saint-Quentin-en-Yvelines

   Affiliation as printed

   University of Versailles, Versailles, France

7. Nahid Emad

   Université de Versailles Saint-Quentin-en-Yvelines

   Affiliation as printed

   University of Versailles, Versailles, France

8. Matthias Müller Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

9. Taisuke Boku

   University of Tsukuba

   Affiliation as printed

   University of Tsukuba, Tsukuba, Japan