Skip to main content

Concurrent scheme

  • Part I Parallel Lisp Languages and Programming Models
  • Conference paper
  • First Online:

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

Abstract

This paper describes an evolution of the Scheme language to support parallelism with tight coupling of control and data. Mechanisms are presented to address the difficult and related problems of mutual exclusion and data sharing which arise in concurrent language systems. The mechanisms are tailored to preserve Scheme semantics as much as possible while allowing for efficient implementation. Prototype implementations of the resulting language are described which have been completed. A third implementation is underway for the Mayfly, a distributed memory, twisted-torus communication topology, parallel processor, under development at the Hewlett-Packard Research Laboratories. The language model is particularly well suited for the Mayfly processor, as will be shown.

Work supported by Hewlett-Packard Research Labs — Palo Alto.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Baker and C. Hewitt. The Incremental Garbage Collection of Processes. AI Memo AIM-454, MIT AI Laboratory, Cambridge MA, December 1977.

    Google Scholar 

  2. A. Davis. The Mayfly Parallel Processing System. Technical Report HPL-SAL-89-22, Hewlett-Packard Research Laboratory, March 1989.

    Google Scholar 

  3. A. L. Davis and S. V Robison. The Architecture of the FAIM-1 Symbolic Multiprocessing System. In Proc. IJCAI-85, pages 32–38, 1985.

    Google Scholar 

  4. E.J. Feinler, O.J. Jacobsen, M.K. Stahl, and C.A. Ward. DDN Protocol Handbook, Volume Two, DARPA Internet Protocols. Sri International, 1985.

    Google Scholar 

  5. R.P. Gabriel and J. McCarthy. Queue-based Multi-processing Lisp. In Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, pages 25–44, August 1984.

    Google Scholar 

  6. R.H. Halstead Jr. Multilisp: A Language for Concurrent Symbolic Computation. Transactions of Programming Languages and Systems, 7(4):501–538, October 1985.

    Google Scholar 

  7. C.A.R. Hoare. Monitors: An Operating System Structuring Concept. Communications of the ACM, 17(10):549–557, October 1974.

    Google Scholar 

  8. J. S. Miller. MultiScheme, A Parallel Processing System Based on MIT Scheme. PhD thesis, Department of Electrical Engineering and Computer Science, MIT, August 1987.

    Google Scholar 

  9. O. M. Nierstrasz. Active Objects in Hybrid. In Object-Oriented Programming Systems, Languages, and Applications 1987 Conference Proceedings, pages 243–253, 1987.

    Google Scholar 

  10. J. Rees and W. Clinger. Revised3 Report on the Algorithmic Language Scheme. SIGPLAN Notices, 21(12):37–79, December 1986.

    Google Scholar 

  11. K. Stevens, S. Robison, and A. L. Davis. The Post Office: Communications Support for Distributed Ensemble Architectures. In Proceedings of the 6th International Conference on Distributed Computing Systems, pages 160–166, May 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Takayasu Ito Robert H. Halstead Jr.

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kessler, R.R., Swanson, M.R. (1990). Concurrent scheme. In: Ito, T., Halstead, R.H. (eds) Parallel Lisp: Languages and Systems. PSC 1989. Lecture Notes in Computer Science, vol 441. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024156

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52782-4

  • Online ISBN: 978-3-540-47143-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics