DREAM: The DistRibuted Eden Abstract Machine

Eden is being implemented by extending the Glasgow Haskell Compiler (GHC) which is based on the Spineless Tagless G-Machine (STGM). In this paper we present a parallel abstract machine which embodies the STGM for sequential computations and describes a distributed runtime environment for Eden programs on an abstract level.

[1]  Simon L. Peyton Jones,et al.  GUM: a portable parallel implementation of Haskell , 1996, PLDI '96.

[2]  Guy E. Blelloch,et al.  Implementation of a portable nested data-parallel language , 1993, PPOPP '93.

[3]  M.H.G. Kesseler,et al.  The implementation of functional languages on parallel machines with distributed memory , 1996 .

[4]  Rita Loogen,et al.  The Eden coordination model for distributed memory systems , 1997, Proceedings Second International Workshop on High-Level Parallel Programming Models and Supportive Environments.

[5]  Simon L. Peyton Jones,et al.  Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[6]  Simon L. Peyton Jones,et al.  Concurrent Haskell , 1996, POPL '96.

[7]  Yike Guo,et al.  Functional Skeletons for Parallel Coordination , 1995, Euro-Par.

[8]  Pieter H. Hartel,et al.  A pragmatic approach to the analysis and compilation of lazy functional languages , 1991 .

[9]  Paul Hudak,et al.  Para-functional programming in Haskell , 1991 .

[10]  Lennart Augustsson,et al.  PH Language Reference Manual, Version 1.0---preliminary , 1995 .

[11]  Joe Armstrong,et al.  Concurrent programming in ERLANG , 1993 .

[12]  Manuel M. T. Chakravarty.  Integrating Multithreading into the Spineless Tagless G-machine , 1995, Functional Programming.

[13]  Rita Loogen,et al.  An Implementation of Eden on Top of Concurrent Haskell , 1996, Implementation of Functional Languages.

[14]  John H. Reppy,et al.  CML: A Higher-Order Concurrent Language , 1991, PLDI.

[15]  Guy E. Blelloch,et al.  Programming parallel algorithms , 1996, CACM.

[16]  Paul Hudak.  Para-Functional Programming , 1986, Computer.

[17]  Paul H. J. Kelly.  Functional programming for loosely-coupled multiprocessors , 1989, Research monographs in parallel and distributed computing.

[18]  Simon L. Peyton Jones,et al.  Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine , 1992, Journal of Functional Programming.

[19]  John H. Reppy,et al.  CML: A higher concurrent language , 1991, PLDI '91.

[20]  Rita Loogen,et al.  Eden: language definition and operational semantics , 1996 .

[21]  Silvia Breitinger.  Channel Structures in the Parallel Functional Language Eden , 1997 .

[22]  Tsung-Min Kuo,et al.  FACILE—From Toy to Tool , 1997 .