Type system for a safe execution of parallel programs in BSML

Authors:
Frédéric Gava;Louis Gesbert;Frédéric Loulergue
Affiliations:
LACL, University Paris-East Créteil, Créteil, France;MLstate, Paris, France;LIFO, University of Orléans, Orléans, France
Venue:
Proceedings of the fifth international workshop on High-level parallel programming and applications
Year:
2011

Citing 21
Cited 0

A bridging model for parallel computation

Communications of the ACM
Algorithmic skeletons: structured management of parallel computation

Algorithmic skeletons: structured management of parallel computation
Implementation of a portable nested data-parallel language

Journal of Parallel and Distributed Computing - Special issue on data parallel algorithms and programming
The type and effect discipline

Information and Computation
A syntactic approach to type soundness

Information and Computation
Scalability, portability and predictability: the BSP approach to parallel programming

Future Generation Computer Systems - Special issue: parallel computing applications
Structured development of parallel programs

Structured development of parallel programs
Type inference with constrained types

Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
Type-based analysis of uncaught exceptions

ACM Transactions on Programming Languages and Systems (TOPLAS)
MPI: The Complete Reference

MPI: The Complete Reference
BSP in a lazy functional context

Trends in functional programming
Patterns and skeletons for parallel and distributed computing

Patterns and skeletons for parallel and distributed computing
Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development
Parallel Scientific Computation: A Structured Approach Using BSP and MPI

Parallel Scientific Computation: A Structured Approach Using BSP and MPI
Parallel functional programming in Eden

Journal of Functional Programming
Data parallel Haskell: a status report

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Type Safe Algorithmic Skeletons

PDP '08 Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008)
Bulk synchronous parallel ML with exceptions

Future Generation Computer Systems
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting

Future Generation Computer Systems - Special issue: Parallel computing technologies
CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons

International Journal of Parallel, Emergent and Distributed Systems - Advances in Parallel and Distributed Computational Models
Bulk synchronous parallel ML: modular implementation and performance prediction

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

BSML, or Bulk Synchronous Parallel ML, is a high-level language based on ML and dedicated to parallel computation. In this paper, an extended type system that guarantees the safety of parallel programs is presented. It prevents non-determinism and deadlocks by ensuring that the invariants needed to preserve the structured parallelism are verified. Imperative extensions (references, exceptions) are included, and the system is designed for compatibility with modules.