Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-04-06 (13:46)
From: Frédéric Loulergue <Frederic.Loulergue@l...>
Subject: BSMLlib-0.1
                       The BSMLlib library version 0.1

The BSMLlib library has been developped as part of our research program
[LHF98, LH98, Lou99, BLH99, LHF00, Lou00] to investigate paradigms for
functional parallel programming as special cases of standard semantics. The
underlying assumption is that (efficient) parallel algorithms are special
cases of (efficient) sequential algorithms and that using concurrent
extensions of sequential languages to express them is both useless and

The BSMLlib library is a purely functional programming library of the
Objective Caml language for direct-mode BSP (Bulk Synchronous Parallelism)
[Val90] algorithms. An algorithm is said to be in direct mode when its
process structure is made explicit. This can make it less convenient to
express but more efficient in many cases [GV94] The BSMLlib library is an
attempt to combine flexibility and generality with the predictable and high
performance of direct-mode BSP algorithms.

More informations and download instructions can be found at the BSMLlib
library page :


*[BLH99] O. Ballereau, F. Loulergue, and G. Hains. High-level BSP
Programming: BSML and BSl. In P Trinder and G. Michaelson, editors, Draft
Proceedings of the fist Scottish Functional Programming Workshop, number
Techinal Report RM/99/9, pages 43--52, Edinburgh, august 1999. Heriot-Watt
*[GV94] A. V. Gerbessiotis and L. G. Valiant. Direct bulk-synchronous
parallel algorithms. Journal of Parallel and Distributed Computing,
22:251--267, 1994.
*[LH98] F. Loulergue and G. Hains. An Introduction to BSl. Technical Report
RR98-09, LIFO, Université d'Orléans, September 1998.
*[LHF98] F. Loulergue, G. Hains, and C. Foisy. A Calculus of
Recursive-Parallel BSP Programs. In S. Gorlatch, editor, First International
Workshop on Constructive Methods for Parallel Programming (CMPP'98),
Research Report MIP-9805, pages 59--70. University of Passau, May 1998.
*[LHF00] F Loulergue, G. Hains, and C. Foisy. A Calculus of Functional BSP
Programs. Science of Computer Programming, 37(1-3), 2000.
*[Lou99] F. Loulergue. Extension du BSl-calcul. In P. Weis, editor, JFLA'99
: Journées Francophones des Langages Applicatifs, pages 93--112,
Morzine-Avoriaz, February 1999.
*[Lou00] F. Loulergue. Conception de langages fonctionnels pour la
programmation massivement parallèle. thése de doctorat, Université
d'Orléans, LIFO, 4 rue Léonard de Vinci, BP 6759, F-45067 Orléans Cedex 2,
France, January 2000.
[Val90] Leslie G Valiant. A bridging model for parallel computation.
Communications of the ACM, 33(8):103, August 1990.

 Frederic LOULERGUE                             LIFO, Universite d'Orleans
 Tel: +33 2 38 41 72 65                    4 rue Leonard de Vinci, BP 6759
 Fax: +33 2 38 41 71 37                     F-45067 ORLEANS Cedex 2, FRANCE