Communication Primitives for Minimally Synchronous Parallel ML

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.

[1]  Frédéric Loulergue,et al.  A Polymorphic Type System for Bulk Synchronous Parallel ML , 2003, PaCT.

[2]  Leslie G. Valiant,et al.  A bridging model for parallel computation , 1990, CACM.

[3]  David B. Skillicorn,et al.  Questions and Answers about BSP , 1997, Sci. Program..

[4]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[5]  Francisco Almeida,et al.  Predicting the execution time of message passing models , 1999, Concurr. Pract. Exp..

[6]  Abdelsalam A. Heddaya,et al.  Communicable Memory and Lazy Barriers for Bulk Synchronous Parallelism in BSPk , 1996 .

[7]  Olaf Bonorden,et al.  The Paderborn University BSP (PUB) library , 2003, Parallel Comput..

[8]  Jin-Soo Kim,et al.  Relaxed Barrier Synchronization for the BSP Model of Computation on Message-Passing Architectures , 1998, Inf. Process. Lett..

[9]  Frédéric Loulergue,et al.  A calculus of functional BSP programs , 2000, Sci. Comput. Program..

[10]  Stephen A. Jarvis,et al.  Portable and architecture independent parallel performance tuning using BSP , 2002, Parallel Comput..

[11]  José Luis Roda García,et al.  A new parallel model for the analysis of asynchronous algorithms , 2000, Parallel Comput..

[12]  Xavier Rebeuf.  Un modèle de coût symbolique pour les programmes parallèles asynchrones à dépendances structurées , 2000 .

[13]  Frédéric Gava,et al.  Formal Proofs of Functional BSP Programs , 2003, Parallel Process. Lett..

[14]  Frédéric Loulergue,et al.  Semantics of Minimally Synchronous Parallel ML , 2003, SNPD.

[15]  Torsten Suel,et al.  BSPlib: The BSP programming library , 1998, Parallel Comput..

[16]  Frédéric Loulergue,et al.  Parallel Juxtaposition for Bulk Synchronous Parllel ML , 2003, Euro-Par.

[17]  Frédéric Loulergue,et al.  Parallel Superposition for Bulk Synchronous Parallel ML , 2003, International Conference on Computational Science.