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
Liste complète des métadonnées
Contributor : Frédéric Loulergue <>
Submitted on : Tuesday, February 2, 2010 - 3:50:33 PM
Last modification on : Thursday, January 17, 2019 - 3:06:04 PM




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