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

Frédéric Loulergue 1 Radia Benheddi 1 Frédéric Gava 2 Dimitri Louis-Regis 1
1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
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

istex

Identifiers

Collections

UNIV-ORLEANS | LACL | CASCIMODOT | MSL | UPEC | UPEC-UPEM | MSL-THESE

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

1190

Contact


archive-ouverte@inria.fr