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.
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

Identifiants

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〉

Partager

Métriques

Consultations de la notice

1011