论文信息 - A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting

A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting

The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the @l-calculus by parallel operations on a data structure named parallel vector, which is given by intention. In order to have an execution that follows the BSP model, and to have a simple cost model, nesting of parallel vectors is not allowed. The novelty of this paper is a type system which prevents such nesting. This system is correct w.r.t. the dynamic semantics.

Frédéric Loulergue | Frédéric Gava | F. Loulergue | F. Gava

[1] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[2] Frédéric Loulergue,et al. A calculus of functional BSP programs , 2000, Sci. Comput. Program..

[3] David B. Skillicorn,et al. Questions and Answers about BSP , 1997, Sci. Program..

[4] Frédéric Loulergue,et al. A Polymorphic Type System for Bulk Synchronous Parallel ML , 2003, PaCT.

[5] Martin Odersky,et al. Type Inference with Constrained Types , 1999, Theory Pract. Object Syst..

[6] Leslie G. Valiant,et al. A bridging model for parallel computation , 1990, CACM.