2013 International Conference on Computing, Networking and Communications (ICNC) (2010)
Higashi, Hiroshima Japan
Nov. 17, 2010 to Nov. 19, 2010
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IC-NC.2010.57
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.
Bulk synchronous parallelism, Functional programming, Heat equation
Frédéric Gava, Guillaume Petiot, Louis Gesbert, Frédéric Loulergue, Wadoud Bousdira, "Functional Parallel Programming with Revised Bulk Synchronous Parallel ML", 2013 International Conference on Computing, Networking and Communications (ICNC), vol. 00, no. , pp. 191-196, 2010, doi:10.1109/IC-NC.2010.57