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.
References
H. Baker and C. Hewitt. The Incremental Garbage Collection of Processes. AI Memo AIM-454, MIT AI Laboratory, Cambridge MA, December 1977.
A. Davis. The Mayfly Parallel Processing System. Technical Report HPL-SAL-89-22, Hewlett-Packard Research Laboratory, March 1989.
A. L. Davis and S. V Robison. The Architecture of the FAIM-1 Symbolic Multiprocessing System. In Proc. IJCAI-85, pages 32–38, 1985.
E.J. Feinler, O.J. Jacobsen, M.K. Stahl, and C.A. Ward. DDN Protocol Handbook, Volume Two, DARPA Internet Protocols. Sri International, 1985.
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.
R.H. Halstead Jr. Multilisp: A Language for Concurrent Symbolic Computation. Transactions of Programming Languages and Systems, 7(4):501–538, October 1985.
C.A.R. Hoare. Monitors: An Operating System Structuring Concept. Communications of the ACM, 17(10):549–557, October 1974.
J. S. Miller. MultiScheme, A Parallel Processing System Based on MIT Scheme. PhD thesis, Department of Electrical Engineering and Computer Science, MIT, August 1987.
O. M. Nierstrasz. Active Objects in Hybrid. In Object-Oriented Programming Systems, Languages, and Applications 1987 Conference Proceedings, pages 243–253, 1987.
J. Rees and W. Clinger. Revised3 Report on the Algorithmic Language Scheme. SIGPLAN Notices, 21(12):37–79, December 1986.
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.
Author information
Authors and Affiliations
Editor information
Rights 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