Bulk synchronous parallel ML with exceptions

Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementation, avoiding concurrency related problems (deadlocks, indeterminism). Only a limited set of the features of OCaml can...

Full description

Saved in:
Bibliographic Details
Published in:Future generation computer systems Vol. 26; no. 3; pp. 486 - 490
Main Authors: Gesbert, Louis, Gava, Frédéric, Loulergue, Frédéric, Dabrowski, Frédéric
Format: Journal Article
Language:English
Published: Elsevier B.V 01.03.2010
Elsevier
Subjects:
Bulk synchronous parallelism
Exception handling
Functional programming
Parallel programming
Syntax of languages
Bulk synchronous parallelism
Syntax of languages
Parallel programming
Exception handling
Functional programming
ISSN:0167-739X, 1872-7115
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementation, avoiding concurrency related problems (deadlocks, indeterminism). Only a limited set of the features of OCaml can be used in BSML to respect its properties of safety: this paper describes a way to add exception handling to this set by extending and adapting OCaml’s exceptions. The behaviour of these new exceptions and the syntactic constructs to handle them, together with their implementation, are described in detail, and results over an example are given.
ISSN:0167-739X
1872-7115
DOI:10.1016/j.future.2009.05.021