Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML

Abstract

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. After a precise definition of the problems that arise and an informal description of the solutions, an extension of BSML is proposed. Formal semantics define the behaviour in all possible cases, followed by a short description of the implementation.
No file

Dates and versions

inria-00452532 , version 1 (02-02-2010)

Identifiers

Cite

Louis Gesbert, Frédéric Loulergue. Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), Dec 2007, Adelaide, Australia. pp.201-208, ⟨10.1109/PDCAT.2007.77⟩. ⟨inria-00452532⟩
54 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More