Skip to main content
SpringerLink
Log in

DREAM: The distributed Eden abstract machine

  • Conference paper
  • First Online:
Book cover Implementation of Functional Languages (IFL 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1467))

Included in the following conference series:

Abstract

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.

Work partially supported by the German-Spanish Acción Integrada HA1996-147 and the Spanish projects CAM-06T/033/96 and CICYT-TIC97-0672.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.L. Armstrong, M.C. Williams, and S.R. Virding. Concurrent Programming in Erlang. Prentice Hall, 1996.

    Google Scholar 

  2. Guy E. Blelloch, Siddhartha Chatterjee, Jonathan C. Hardwick, Jay Sipelstein, and Marco Zagha. Implementation of a portable nested data-parallel language. Journal of Parallel and Distributed Computing, 21(1): 4–14, 1994.

    Article  Google Scholar 

  3. Silvia Breitinger, Ulrike Klusik, and Rita Loogen. An Implementation of Eden on Top of Concurrent Haskell. In W. Kluge, editor, Implementation of Functional Languages, Bonn 1996, LNCS 1268. Springer, 1997.

    Google Scholar 

  4. Silvia Breitinger and Rita Loogen. Channel Structures in the Parallel Functional Language Eden. In Glasgow Workshop on Funct. Prg., 1997.

    Google Scholar 

  5. Guy E. Blelloch. Programming Parallel Algorithms. Communications of the ACM March 1996/Vol. 39, No. 3, pages 85–97, 1996.

    Article  Google Scholar 

  6. Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, and Ricardo Peña. Eden — Language Definition and Operational Semantics. Technical Report 96-10, Philipps-Universität Marburg, 1996.

    Google Scholar 

  7. Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, and Ricardo Peña. The Eden coordination model for distributed memory systems. In High-Level Parallel Progr. Models and Supportive Env. (HIPS). IEEE Press, 1997.

    Google Scholar 

  8. Manuel M.T. Chakravarty. Integrating Multithreading into the Spineless Tagless G-machine. In D. N. Turner, editor, Glasgow Workshop on Functional Programming, Workshops in Computing. Springer Verlag, 1995.

    Google Scholar 

  9. J. Darlington, Y.-K. Guo, H.W. To, and J. Yang. Functional skeletons for parallel coordination. In Euro-Par, LNCS 966. Springer, 1995.

    Google Scholar 

  10. H. Glaser, P. Hartel, and J. Wild. A pragmatic approach to the analysis and compilation of lazy functional languages. In Proceedings of the 2nd Conf. on Parallel and Distributed Processing, pages 169–184. North Holland, 1990.

    Google Scholar 

  11. Kevin Hammond. Parallel Functional Programming: an Introduction. In PASCO, Linz, Austria. World Scientific, 1994.

    Google Scholar 

  12. Matthias Horn. A Different Integration of Multithreading into the STGM. In W. Kluge, editor, Impl. of Funct. Lang. Kiel University, 1996.

    Google Scholar 

  13. Paul Hudak. Para-Functional Programming in Haskell. In B. Szymanski, editor, Parallel Functional Languages and Compilers. ACM Press, 1991.

    Google Scholar 

  14. Paul Kelly. Functional Programming for Loosely Coupled Multiprocessors. Pitman, 1989.

    Google Scholar 

  15. Marco Kesseler. The Implementation of Functional Languages on Parallel Machines with Distributed Memory. PhD thesis, Katholieke Universiteit Nijmegen, 1996.

    Google Scholar 

  16. R.S. Nikhil, Arvind, J. Hicks, Sh. Aditya, L. Augustsson, J.-W. Maessen, and Y. Zhou. pH Language Reference Manual, Version 1.0 — preliminary. Technical report, Computation Structures Group Memo 369, Laboratory for Computer Science, MIT, 1995.

    Google Scholar 

  17. S. L. Peyton Jones. Implementing lazy functional languages on stock hardware: The spineless tagless G-machine. J. of Funct. Prog., 2(2), 1992.

    Google Scholar 

  18. John Peterson and Kevin Hammond (eds.). Report on the programming language Haskell: a non-strict, purely functional language, version 1.4. Technical report, Yale University, 1997.

    Google Scholar 

  19. Simon Peyton Jones, Andrew Gordon, and Sigbjørn Finne. Concurrent Haskell. In ACM Symp. on Principles of Progr. Lang. (POPL), 1996.

    Google Scholar 

  20. J. Reppy. CML: A higher-order concurrent language. In ACM PLDI, 1991.

    Google Scholar 

  21. Stephen K. Skedzielewski. Sisal. In B. Szymanski, editor, Parallel Functional Languages and Compilers. ACM Press, 1991.

    Google Scholar 

  22. P. W. Trinder, K. Hammond, J. S. Mattson, Jr., A. S. Partridge, and S. L. Peyton Jones. GUM: A portable parallel implementation of Haskell. In ACM PLDI, 1996.

    Google Scholar 

  23. B. Thomsen, L. Leth, and T.-M. Kuo. FACILE — From Toy to Tool. In F. Nielson, editor, ML With Concurrency. Springer, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philipps-Universität Marburg, D-35032, Marburg, Germany

    Silvia Breitinger, Ulrike Klusik & Rita Loogen

  2. Universidad Complutense de Madrid, E-28040, Madrid, Spain

    Yolanda Ortega-Mallén & Ricardo Peña

Authors
  1. Silvia Breitinger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ulrike Klusik
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rita Loogen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yolanda Ortega-Mallén
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ricardo Peña
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Chris Clack Kevin Hammond Tony Davie

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Breitinger, S., Klusik, U., Loogen, R., Ortega-Mallén, Y., Peña, R. (1998). DREAM: The distributed Eden abstract machine. In: Clack, C., Hammond, K., Davie, T. (eds) Implementation of Functional Languages. IFL 1997. Lecture Notes in Computer Science, vol 1467. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055435

Download citation

  • DOI: https://doi.org/10.1007/BFb0055435

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64849-9

  • Online ISBN: 978-3-540-68528-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation