Communication primitives for minimally synchronous parallel ML. (English) Zbl 1095.68559

Loulergue, Frédéric

Bubak, Marian (ed.) et al., Computational science – ICCS 2004. 4th international conference, Kraków, Poland, June 6–9, 2004. Proceedings, Part I. Berlin: Springer (ISBN 3-540-22114-X/pbk). Lecture Notes in Computer Science 3036, 401-404 (2004).

Summary: Minimally Synchronous Parallel ML is a functional parallel language whose execution time can then be estimated and dead-locks and indeterminism are avoided. Programs are written as usual ML programs but using a small set of additional primitives. It follows the cost model of the Message Passing Machine model (MPM). This paper explore two versions of an additional communication function: one uses this small set of primitives, the other one is considered as a primitive and implemented at a lower level.
For the entire collection see [Zbl 1051.68008].

MSC:

68N15	Theory of programming languages
68N18	Functional programming and lambda calculus

Software:

BSPlib; OCaml