PolyAPM: parallel programming via stepwise refinement with abstract parallel machines

  • Authors:
  • Nils Ellmenreich;Christian Lengauer

  • Affiliations:
  • Fakultät für Mathematik und Informatik, Universität Passau, Germany;Fakultät für Mathematik und Informatik, Universität Passau, Germany

  • Venue:
  • IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Writing a parallel program can be a difficult task which has to meet several, sometimes conflicting goals. While the manual approach is time-consuming and error-prone, the use of compilers reduces the programmer's control and often does not lead to an optimal result. With our approach, PolyAPM, the programming process is structured as a series of source-to-source transformations. Each intermediate result is a program for an Abstract Parallel Machine (APM) on which it can be executed to evaluate the transformation. We propose a decision tree of programs and corresponding APMs that help to explore alternative design decisions. Our approach stratifies the effects of individual, self-contained transformations and enables their evaluation during the parallelisation process.