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.
Type de document :
Communication dans un congrès
International Computer Science Symposium in Russia (CSR 2006), Jun 2006, Saint Peterbourg, Russia. Springer, 3967, pp.475-486, 2006, LNCS. 〈10.1007/11753728_48〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00452573
Contributeur : Frédéric Loulergue <>
Soumis le : mardi 2 février 2010 - 16:19:07
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Lien texte intégral

openaccess

Identifiants

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. Springer, 3967, pp.475-486, 2006, LNCS. 〈10.1007/11753728_48〉. 〈inria-00452573〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

923

Contact


archive-ouverte@inria.fr