From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA15707 for caml-redistribution@pauillac.inria.fr; Thu, 6 Apr 2000 15:46:28 +0200 (MET DST) Resent-Message-Id: <200004061346.PAA15707@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA13553 for ; Thu, 6 Apr 2000 13:40:17 +0200 (MET DST) Received: from lifo.univ-orleans.fr (lifo.univ-orleans.fr [193.49.80.149]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id NAA01960 for ; Thu, 6 Apr 2000 13:40:17 +0200 (MET DST) Received: from gien.univ-orleans.fr (gien [193.49.80.12]) by lifo.univ-orleans.fr (8.8.8/jtpda-5.3) with ESMTP id NAA23210 for ; Thu, 6 Apr 2000 13:38:23 +0200 (MET DST) Received: from lifo.univ-orleans.fr (localhost [127.0.0.1]) by gien.univ-orleans.fr (8.8.8/jtpda-5.3p) with ESMTP id NAA01351 for ; Thu, 6 Apr 2000 13:39:20 +0200 (MET DST) Sender: Frederic.Loulergue@lifo.univ-orleans.fr Message-ID: <38EC7767.C6B37345@lifo.univ-orleans.fr> Date: Thu, 06 Apr 2000 13:39:20 +0200 From: =?iso-8859-1?Q?Fr=E9d=E9ric?= Loulergue Reply-To: Frederic.Loulergue@lifo.univ-orleans.fr X-Mailer: Mozilla 4.51 [en] (X11; I; SunOS 5.6 sun4m) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: BSMLlib-0.1 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Resent-From: weis@pauillac.inria.fr Resent-Date: Thu, 6 Apr 2000 15:46:28 +0200 Resent-To: caml-redistribution@pauillac.inria.fr -------------------------------------------------------------------------= --- 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. T= he 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 harmful. 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 hi= gh performance of direct-mode BSP algorithms. More informations and download instructions can be found at the BSMLlib library page : http://www.univ-orleans.fr/SCIENCES/LIFO/Members/loulergu/bsmllib.html= References *[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-Wat= t University. *[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 Repo= rt RR98-09, LIFO, Universit=E9 d'Orl=E9ans, September 1998. *[LHF98] F. Loulergue, G. Hains, and C. Foisy. A Calculus of Recursive-Parallel BSP Programs. In S. Gorlatch, editor, First Internatio= nal 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 BS= P Programs. Science of Computer Programming, 37(1-3), 2000. *[Lou99] F. Loulergue. Extension du BSl-calcul. In P. Weis, editor, JFLA'= 99 : Journ=E9es Francophones des Langages Applicatifs, pages 93--112, Morzine-Avoriaz, February 1999. *[Lou00] F. Loulergue. Conception de langages fonctionnels pour la programmation massivement parall=E8le. th=E9se de doctorat, Universit=E9 d'Orl=E9ans, LIFO, 4 rue L=E9onard de Vinci, BP 6759, F-45067 Orl=E9ans C= edex 2, France, January 2000. http://www.univ-orleans.fr/SCIENCES/LIFO/Members/loulergu. [Val90] Leslie G Valiant. A bridging model for parallel computation. Communications of the ACM, 33(8):103, August 1990. -------------------------------------------------------------------------= --- Frederic LOULERGUE LIFO, Universite d'Orlean= s Tel: +33 2 38 41 72 65 4 rue Leonard de Vinci, BP 675= 9 Fax: +33 2 38 41 71 37 F-45067 ORLEANS Cedex 2, FRAN= CE E-mail: mailto:loulergu@lifo.univ-orleans.fr URL: http://www.univ-orleans.fr/SCIENCES/LIFO/Members/loulergu