High level BSP programming: BSML and BSlambda

A functional language called BSML is designed for programming BSP algorithms in direct mode. Its aim is to combine the generality of languages like V or NESL with the predictable performance of direct-mode BSP algorithms. The BSML operations are motivated and described. A -calculus model is outlined, where they are shown to conflict with nested parallelism. Experiments with a library implementation of BSML show the possibility and limitations of parallel performance prediction in this framework. An algorithm is in direct mode when its physical process structure is made explicit. This makes it less convenient to express but more efficient in many cases [5]. Existing functional parallel languages like V and NESL [3, 2] support nested parallelism where physical process structure is implicit at the expense of efficiency [1] and/or predictability of performance. This paper outlines BSML, a purely 1 functional programming language for direct-mode BSP [13] algorithms. 1 EXPLICIT PROCESSE..