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.
Type de document :
Communication dans un congrès
International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), Dec 2007, Adelaide, Australia. IEEE Computer Society, pp.201-208, 2007, 〈10.1109/PDCAT.2007.77〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00452532
Contributeur : Frédéric Loulergue <>
Soumis le : mardi 2 février 2010 - 15:50:33
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

Collections

Citation

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. IEEE Computer Society, pp.201-208, 2007, 〈10.1109/PDCAT.2007.77〉. 〈inria-00452532〉

Partager

Métriques

Consultations de la notice

130