Edinburgh Research Explorer

SkePU 2: Flexible and Type-Safe Skeleton Programming for Heterogeneous Parallel Systems

Research output: Contribution to journalArticle

  • August Ernstsson
  • Lu Li
  • Christoph Kessler

Related Edinburgh Organisations

Open Access permissions

Open

Original languageEnglish
Pages (from-to)62-80
Number of pages19
JournalInternational journal of parallel programming
Volume46
Issue number1
Early online date28 Jan 2017
DOIs
Publication statusPublished - Feb 2018

Abstract

In this article we present SkePU 2, the next generation of the SkePU C++ skeleton programming framework for heterogeneous parallel systems. We critically examine the design and limitations of the SkePU 1 programming interface. We present a new, flexible and type-safe, interface for skeleton programming in SkePU 2, and a source-to-source transformation tool which knows about SkePU 2 constructs such as skeletons and user functions. We demonstrate how the source-to-source compiler transforms programs to enable efficient execution on parallel heterogeneous systems. We show how SkePU 2 enables new use-cases and applications by increasing the flexibility from SkePU 1, and how programming errors can be caught earlier and easier thanks to improved type safety. We propose a new skeleton, Call, unique in the sense that it does not impose any predefined skeleton structure and can encapsulate arbitrary user-defined multi-backend computations. We also discuss how the source-to-source compiler can enable a new optimization opportunity by selecting among multiple user function specializations when building a parallel program. Finally, we show that the performance of our prototype SkePU 2 implementation closely matches that of SkePU 1.

ID: 55659727