Semantics and Implementation of Minimally Synchronous Parallel ML

Frederic Loulergue, Frederic Gava, Myrto Arapinis, Frederic Dabrowski

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

This paper presents a new functional parallel language: Minimally Synchronous Parallel ML (MSPML). The execution time can be estimated, dead-locks and indeterminism are avoided. Programs are written as usual ML programs but using a small set of additional functions. Provided functions are used to access the parameters of the parallel machine and to create and operate on a parallel data structure. It follows the execution and cost model of the Message Passing Machine model (MPM). It shares with Bulk Synchronous Parallel ML its syntax and high-level semantics but it has a minimally synchronous distributed semantics. Experiments have been run on a cluster of PC using an implementation of the Diffusion algorithmic skeleton.
Original languageEnglish
Number of pages18
JournalInternational Journal of Computer and Information Science (IJCIS)
Issue number3
Publication statusPublished - 3 Sept 2004


Dive into the research topics of 'Semantics and Implementation of Minimally Synchronous Parallel ML'. Together they form a unique fingerprint.

Cite this