Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Loulergue Connect in order to contact the contributor
Submitted on : Tuesday, February 2, 2010 - 3:50:33 PM
Last modification on : Saturday, June 25, 2022 - 10:10:59 AM




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⟩



Record views