 |
|
|
|
| HAL: inria-00515223, version 1 |
| See detailed view |  BibTeX,EndNote,... |
|
|
| 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), Hiroshima : Japon (2010) |
|
|
|
|
| Functional Parallel Programming with Revised Bulk Synchronous Parallel ML |
|
|
| Wadoud Bousdira 1Frédéric Gava 2 |
|
|
| (2010) |
|
|
|
| Bulk Synchronous Parallel ML or BSML is a high-level language for programming parallel algorithms. Built upon the Objective Caml language, it provides a safe setting for implementing Bulk Synchronous Parallel (BSP) algorithms. It avoids concurrency related problems: deadlocks and non- determinism. BSML is based on a very small core of parallel primitives that extended functional sequential programming to functional BSP programming with a parallel data structure and operations to manipulate it. However, in practice the primitives for writing the parallel non-communicating parts of the program are not so easy to use. Thus we designed a new syntax that makes programs easier to write and read. Revised BSML is presented and its expressiveness and performance are illustrated through an application example. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) |
|
|
|
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges |
|
|
| 2: | Laboratoire d'Algorithmique Complexité et Logique (LACL) |
|
|
|
CNRS : FRE2673 – Université Paris XII - Paris Est Créteil Val-de-Marne |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Programming Languages Computer Science/Distributed, Parallel, and Cluster Computing |
| inria-00515223, version 1 | |
| http://hal.inria.fr/inria-00515223 | |
| oai:hal.inria.fr:inria-00515223 | |
| From: Frédéric Loulergue | |
| Submitted on: Monday, 6 September 2010 11:33:43 | |
| Updated on: Monday, 6 September 2010 11:33:43 | |
