Bulk Synchronous Parallel ML with Exceptions

Louis Gesbert 1 Frédéric Gava 1 Frédéric Loulergue 2 Frédéric Dabrowski 3
3 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Building 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 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.
Type de document :
Communication dans un congrès
Peter Kacsuk and Thomas Fahringer and Zsolt Nemeth. Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. Springer, pp.33-42, 2007, Distributed and Parallel Systems. 〈10.1007/978-0-387-69858-8_4〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00452559
Contributeur : Frédéric Loulergue <>
Soumis le : mardi 2 février 2010 - 16:10:17
Dernière modification le : jeudi 18 janvier 2018 - 02:28:48

Identifiants

Citation

Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Peter Kacsuk and Thomas Fahringer and Zsolt Nemeth. Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. Springer, pp.33-42, 2007, Distributed and Parallel Systems. 〈10.1007/978-0-387-69858-8_4〉. 〈inria-00452559〉

Partager

Métriques

Consultations de la notice

448