Skip to main content
SpringerLink
Log in

Explicit Message Passing for Concurrent Clean

  • Conference paper
  • First Online:
Implementation of Functional Languages (IFL 1998)

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

Included in the following conference series:

  • 176 Accesses

Abstract

In this paper, a message passing extension for Concurrent Clean is proposed which provides efficient and flexible communication. In contrast to other solutions in functional languages, we chose to have an asynchronous system. We discuss design decisions with respect to concurrent evaluation and communication of unique messages. Furthermore, we show some examples and implementation aspects.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P.M. Achten. Interactive Functional Programs-Models, Methods and Implementation. PhD thesis, University of Nijmegen, February 1996.

    Google Scholar 

  2. P.M. Achten and M.J. Plasmeijer. Interactive Functional Objects in Clean. In C. Clack, T. Davie, and K. Hammond, editors, Proc. 9th. International Workshop on Implementation of Functional Languages, St Andrews, Scotland, September 1997, volume 1467 of LNCS, pages 305–322. Springer-Verlag, 1998.

    Google Scholar 

  3. E. Barendsen and J.E.W. Smetsers. Uniqueness Type Inference. In M. Hermenegildo and D. Swierstra, editors, Proc. Programming Languages: Implementations, Logics and Programs (PLILP’95), volume 982 of LNCS, pages 189–207. Springer-Verlag, 1995.

    Google Scholar 

  4. K.P. Birman and R. van Renesse. Reliable Distributed Computing with the Isis Toolkit. IEEE Computer Society Press, Los Alamitos, CA, 1994.

    Google Scholar 

  5. Hoare C.A.R. Communicating Sequential Processes. Communications of the ACM, 21:666–671, Aug. 1978.

    Article  MATH  Google Scholar 

  6. D. Dolev and D. Malki. The Transis Approach to High Availability Cluster Communication. Communications of the ACM, 39(4):64–70, April 1996.

    Article  Google Scholar 

  7. I. Holyer and D. Carter. Deterministic Concurrency. In Proc. 1993 Glasgow Workshop on Functional Programming, pages 113–126. Springer-Verlag, July 1993.

    Google Scholar 

  8. M.P. Jones and P. Hudak. Implicit and Explicit Parallel Programming in Haskell. Technical Report YALEU/DCS/RR-982, Yale University, 1993.

    Google Scholar 

  9. M.H.G. Kesseler. Uniqueness and Lazy Graph Copying-Copyright for the Unique. In Proc. 6th. International Workshop on the Implementation of Functional Languages (IFL’94), Norwich, UK, 1994. University of East Anglia.

    Google Scholar 

  10. U. Klusik, Y. Ortega, and R. Peña. Implementing Eden, or Dreams Become Reality. In This Proceedings.

    Google Scholar 

  11. L.E. Moser, P.M. Melliar-Smith, D.A. Agarwal, Budhia R.K., and C.C. Lingley-Papadopoulos. Totem: A Fault-Tolerant Multicast Group Communication System. Communications of the ACM, 39(4):54–63, April 1996.

    Article  Google Scholar 

  12. Gehani N.H. Broadcasting Sequential Processes (BSP). IEEE Transactions on Software Engineering, 10(4), July 1984.

    Google Scholar 

  13. E.G.J.M.H. Nöocker, J.E.W. Smetsers, M.C.J.D. van Eekelen, and M.J. Plasmeijer. Concurrent Clean. In Proc. PARLE’91 — Parallel Architectures and Languages Europe, volume 506 of LNCS, pages 202–219, Eindhoven, The Netherlands, June 1991. Spinger-Verlag.

    Google Scholar 

  14. S. Paul, Sabnani K.K, J.C. Lin, and S. Bhattacharyya. Reliable Multicast Transport Protocol (RMTP). IEEE Journal on Selected Areas in Communications, 15(3):407–421, April 1997.

    Article  Google Scholar 

  15. S.L. Peyton Jones, A.D. Gordon, and S.O. Finne. Concurrent Haskell. In Proc. 23rd. ACM Symposium on Principles of Programming Languages (POPL’96), pages 295–308, St Petersburg Beach, Florida, January 1996. ACM Press.

    Chapter  Google Scholar 

  16. M.R.C. Pil. First Class File I/O. In W. Kluge, editor, Proc. 8th. International Workshop on the Implementation of Functional Languages (IFL’96), Bad Godesberg, Germany, September 1996, volume 1268 of LNCS, pages 233–246. Springer-Verlag, 1997.

    Google Scholar 

  17. J. H. Reppy. Concurrent ML: Design, Application and Semantics. In P. E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning, pages 165–198. Springer-Verlag, 1993.

    Google Scholar 

  18. E. Scholz. Four Concurrency Primitives for Haskell. In ACM/IFIP Haskell Workshop, La Jolla, Colifornia, 1995. Research Report YALEU/DCS/RR-1075.

    Google Scholar 

  19. B. Thomsen, L. Leth, S. Prasad, T-M. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile Antigua Release Programming Guide. Technical Report ECRC-93-20, European Computer-Industry Research Centre, 1993.

    Google Scholar 

  20. D.N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Edinburgh University, 1995.

    Google Scholar 

  21. R. van Renesse, K.P. Birman, and S. Maffeis. Horus: A flexible Group Communications System. Communications of the ACM, 39(4), April 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Institute, University of Nijmegen, The Netherlands

    Pascal R. Serrarens & Rinus Plasmeijer

Authors
  1. Pascal R. Serrarens
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rinus Plasmeijer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Division of Computer Science, University of St Andrews, North Haugh, St Andrews, KY16 9SS, UK

    Kevin Hammond  & Tony Davie  & 

  2. Department of Computer Science, University College London, Gower Street, London, WC1E 6BT, UK

    Chris Clack

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Serrarens, P.R., Plasmeijer, R. (1999). Explicit Message Passing for Concurrent Clean. In: Hammond, K., Davie, T., Clack, C. (eds) Implementation of Functional Languages. IFL 1998. Lecture Notes in Computer Science, vol 1595. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48515-5_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-48515-5_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66229-7

  • Online ISBN: 978-3-540-48515-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation