Functional bulk synchronous parallel programming using the BSMLlib library. (English)
Gorlatch, Sergei (ed.) et al., Constructive methods for parallel programming. Papers presented at the second international workshop on constructive methods for parallel programming, CMPP, Ponte de Lima, Portugal, July 2, 2000. New York, NY: Nova Science Publishers (ISBN 1-59033-374-8/hbk). Adv. Comput., Theory Pract. 10, 165-178 (2002).
Summary: {\tt BSMLlib} is a functional data-parallel library for programming bulk-ynchronous parallel (BSP) algorithms in Objective CAML. This article demonstrates the expressivity of {\tt BIMLlib} operations on elementary algorithms. Other operations, on a type of parallel sets, illustrate how BSP exchange phases are written as small, simple programs. A longer example, inspired by parallel join algorithms for relational databases, demonstrates the advantage of using {\tt BSMLlib}’s explicit processes for dynamic load balancing. Finally, suggestions are made for extending the library and building a complete BSML language with the same operations.