New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons

Frédéric Gava, Ilias Garnier

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

BSML is a ML based language designed to code bulk synchronous parallel (BSP) algorithms. It allows an estimation of execution time, avoids deadlocks and non-determinism. BSML proposes an extension of ML programming with a small set of primitives. One of these primitives, called parallel superposition, allows the parallel composition of two BSP programs. Nevertheless, its past implementation used system threads and have unjustified limitations. This paper presents a new implementation of this primitive based on a continuation-passing-style (CPS) transformation guided by a flow analysis. To test it and show its usefulness, we also have implemented the OCamlP3l algorithmic skeletons and compared their efficiencies with the original ones.
Original languageEnglish
Title of host publication23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages1-8
Number of pages8
ISBN (Electronic)978-1-4244-3750-4
ISBN (Print)978-1-4244-3751-1
DOIs
Publication statusPublished - 2009

Fingerprint

Dive into the research topics of 'New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons'. Together they form a unique fingerprint.

Cite this