A static analysis for bulk synchronous parallel ML to avoid parallel nesting

Authors:
F. Gava;F. Loulergue
Affiliations:
Laboratory of Algorithms, Complexity and Logic, University Paris Val de Marne, Complexity and Logic, Créteil Cedex, France;Laboratory of Algorithms, Complexity and Logic, University Paris Val de Marne, Complexity and Logic, Créteil Cedex, France
Venue:
Future Generation Computer Systems - Special issue: Parallel computing technologies
Year:
2005

Citing 3
Cited 1

A bridging model for parallel computation

Communications of the ACM
Type inference with constrained types

Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
A calculus of functional BSP programs

Science of Computer Programming - Special issue on mathematics of program construction

Bulk synchronous parallel ML with exceptions

Future Generation Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 λ-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.