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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Future generation computer systems Ročník 26; číslo 3; s. 486 - 490
Hlavní autori: Gesbert, Louis, Gava, Frédéric, Loulergue, Frédéric, Dabrowski, Frédéric
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 01.03.2010
Elsevier
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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