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 λ -calculus by parallel operations on a data structure named parallel vector, which is given by intention. In order to have an execution th...

Full description

Saved in:
Bibliographic Details
Published in:Future generation computer systems 2005-05, Vol.21 (5), p.665-671
Main Authors: Gava, F., Loulergue, F.
Format: Article
Language:English
Subjects:
Bulk Synchronous Parallelism
Computer Science
Distributed, Parallel, and Cluster Computing
Functional programming
Polymorphic type system
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0167-739X
1872-7115
DOI:10.1016/j.future.2004.05.006