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ženo v:
Podrobná bibliografie
Vydáno v:Future generation computer systems Ročník 26; číslo 3; s. 486 - 490
Hlavní autoři: Gesbert, Louis, Gava, Frédéric, Loulergue, Frédéric, Dabrowski, Frédéric
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 01.03.2010
Elsevier
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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