Imperative BSPlib-style Communications in BSML.

Bulk synchronous parallelism (BSP) offers a simple model of parallelism yet allows to take realistically into account the communication costs of parallel algorithms. BSPlib and its variants are programming libraries for the C language that support the BSP style. Bulk Synchronous Parallel ML (BSML) is a library for BSP programming with the functional language OCaml. BSML programs can be seen as sequential programs working on a parallel data structure (seq of par) while a BSPlib program is written in the SPMD style and understood as a parallel composition of communicating sequential programs (par of seq). The communication styles of BSML and BSPlib are also quite different. This paper shows that BSPlib-style communications can be implemented on top of BSML, without the need to extend BSML parallel primitives. [ABSTRACT FROM AUTHOR]