Bulk synchronous parallel ML with exceptions

Authors:
Louis Gesbert;Frédéric Gava;Frédéric Loulergue;Frédéric Dabrowski
Affiliations:
Laboratory of Algorithms, Complexity and Logic, University Paris XII, France;Laboratory of Algorithms, Complexity and Logic, University Paris XII, France;Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, France;Institut de Recherche en Informatique et Automatique, Sophia-Antipolis, France
Venue:
Future Generation Computer Systems
Year:
2010

Citing 17
Cited 2

Algorithmic skeletons: structured management of parallel computation

Algorithmic skeletons: structured management of parallel computation
Scalability, portability and predictability: the BSP approach to parallel programming

Future Generation Computer Systems - Special issue: parallel computing applications
Lessons learned from implementing BSP

Future Generation Computer Systems - Special issue on HPCN '97
A two-way BSP algorithm for tridiagonal systems

Future Generation Computer Systems - Special issue on HPCN '97
Using the BSP cost model to optimise parallel neural network training

Future Generation Computer Systems - Special issue: Bio-inspired solutions to parallel processing problems
BSPlib: The BSP programming library

Parallel Computing
Type-based analysis of uncaught exceptions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Asynchronous exceptions in Haskell

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
JBSP: a BSP programming library in Java

Journal of Parallel and Distributed Computing
MPI-The Complete Reference, Volume 1: The MPI Core

MPI-The Complete Reference, Volume 1: The MPI Core
A Simple Calculus of Exception Handling

TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
The Paderborn University BSP (PUB) library

Parallel Computing
Parallel Scientific Computation: A Structured Approach Using BSP and MPI

Parallel Scientific Computation: A Structured Approach Using BSP and MPI
A static analysis for bulk synchronous parallel ML to avoid parallel nesting

Future Generation Computer Systems - Special issue: Parallel computing technologies
Communication-efficient parallel generic pairwise elimination

Future Generation Computer Systems - Special section: Information engineering and enterprise architecture in distributed computing environments
Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML

PDCAT '07 Proceedings of the Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies
Bulk synchronous parallel ML: modular implementation and performance prediction

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part II

Hybrid bulk synchronous parallelism library for clustered smp architectures

Proceedings of the fourth international workshop on High-level parallel programming and applications
Type system for a safe execution of parallel programs in BSML

Proceedings of the fifth international workshop on High-level parallel programming and applications

Quantified Score

Hi-index	0.00

Visualization

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. 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.