A parallel virtual machine for bulk synchronous parallel ML

Authors:
Frédéric Gava;Frédéric Loulergue
Affiliations:
Laboratory of Algorithms, Complexity and Logic, University Paris Val-de-Marne, Créteil cedex, France;Laboratory of Algorithms, Complexity and Logic, University Paris Val-de-Marne, Créteil cedex, France
Venue:
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Year:
2003

Citing 8
Cited 1

A bridging model for parallel computation

Communications of the ACM
Compiling with continuations

Compiling with continuations
A calculus of functional BSP programs

Science of Computer Programming - Special issue on mathematics of program construction
MPI-The Complete Reference, Volume 1: The MPI Core

MPI-The Complete Reference, Volume 1: The MPI Core
The Definition of Standard ML

The Definition of Standard ML
Compiling a functional language

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Functional runtime systems within the lambda-sigma calculus

Journal of Functional Programming
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

Skeleton-based parallel programming: Functional and parallel semantics in a single shot

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and indeterminism are avoided. The BSMLlib library has been implemented for the Objective Caml language. But there is currently no full implementation of such a language and an abstract machine is needed to validate such an implementation. Our approach is based on a bytecode compilation to a parallel abstract machine performing exchange of data and synchronous requests derived from the ZAM, the efficient abstract machine of the Objective Caml language.