Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition

Abstract : The Bulk Synchronous Parallel ML (BSML) library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the lambda-calculus by parallel operations on a parallel data structure named parallel vector. This paper presents the execution model, given as a distributed semantics, of the parallel juxtaposition, a primitive of parallel composition for BSML. It also presents an implementation, which follows the semantics, and experiments using the parallel juxtaposition.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00452573
Contributor : Frédéric Loulergue <>
Submitted on : Tuesday, February 2, 2010 - 4:19:07 PM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM

Links full text

Identifiers

Citation

Frédéric Loulergue, Radia Benheddi, Frédéric Gava, Dimitri Louis-Regis. Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. International Computer Science Symposium in Russia (CSR 2006), Jun 2006, Saint Peterbourg, Russia. pp.475-486, ⟨10.1007/11753728_48⟩. ⟨inria-00452573⟩

Share

Metrics

Record views

1200