Preview
Unable to display preview. Download preview PDF.
References
Harold Abelson and Gerald Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, Mass., 1985.
Thomas Anderson, Edward Lazowska, and Henry Levy. The Performance Implications of Thread Management Alternatives for Shared Memory MultiProcessors. IEEE Transactions on Computers, 38(12):1631–1644, December 1989.
Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy. Scheduler activations: effective kernel support for the user-level management of parallelism. In Proceedings of 13th ACM Symposium on Operating Systems Principles, pages 95–109. Association for Computing Machinery SIGOPS, October 1991.
Andrew Appel. A Runtime System. Journal of Lisp and Symbolic Computation, 3(4):343–380, November 1990.
John K. Bennett, John B.Carter, and Willy Zwaenepoel. Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence. In Symposium on Principles and Practice of Parallel Programming, March 1990.
A.D. Birrell, J.V. Guttag, J.J. Horning, and R. Levi. Synchronization Primitives for a Multiprocessor: A Formal Specification. In Proceedings of the 11th Symposium on Operating Systems Principles, pages 94–102, November 1987.
David L. Black, David B. Golub, Daniel P. Julin, Richard Rashid, Richard P. Draves, Randall W. Dean, Alessandro Forin, Joseph Barrera, Hideyuki Tokuda, Gerald Malan, and David Bohman. Microkernel Operating System Architecture and Mach. In Workshop Proceedings Micro-Kenels and other Kernel Architectures, pages 11–30, April 1992.
Eric Cooper and Richard Draves. C Threads. Technical Report CMU-CS-88-154, Carnegie-Mellon University, June.
Eric Cooper and J.Gregory Morrisett. Adding Threads to Standard ML. Technical Report CMU-CS-90-186, Carnegie-Mellon University, 1990.
William Clinger et. al. The Revised Revised Revised Report on Scheme or An UnCommon Lisp. Technical Report AI-TM 848, MIT Artificial Intelligence Laboratory, 1985.
Raphael Finkel and John Fishburn. Parallelism in Alpha-Beta Search. Artificial Intelligence, 19(1):89–106, 1982.
David Saks Greenberg. Full Utilization of Communication Resources. PhD thesis, Yale University, June 1991.
Christopher Haynes and Daniel Friedman. Embedding Continuations in Procedural Objects. ACM Transactions on Programming Languages and Systems, 9(4):582–598, 1987.
Wilson Hsieh, Paul Wang, and William Weihl. Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems. In Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 239–249, May 1993. Also appears as ACM SIGPLAN Notices, Vol. 28, number 7, July, 1993.
Feng hsiung Hsu. Large Scale Parallelization of Alpha-Beta Search: An Algorithmic and Architectural Studywith Computer Chess. PhD thesis, Carnegie-Mellon University, 1990. Published as Technical Report CMU-CS-90-108.
Paul Hudak. Para-Functional Programming. IEEE Computer, 19(8):60–70, August 1986.
Suresh Jagannathan and James Philbin. A Customizable Substrate for Concurrent Languages. In ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, June 1992.
Suresh Jagannathan and James Philbin. A Foundation for an Efficient Multi-Threaded Scheme System. In Proceedings of the 1992 Conf. on Lisp and Functional Programming, June 1992.
David Kranz, Robert Halstead, and Eric Mohr. Mul-T: A High Performance Parallel Lisp. In Proceedings of the ACM Symposium on Programming Language Design and Implementation, pages 81–91, June 1989.
David Kranz, Kirk Johnson, Anant Agarwal, John Kubiatowicz, and Beng-Hon Lim. Integrating Message-Passing and Shared-Memory: Early Experience. In Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 54–63, 1993.
Peter J. Landin. The Mechanical Evaluation of Languages. Computer Journal, 6(4):308–320, January 1964.
Kai Li and Paul Hudak. Memory Coherence in Shared Virtual Memory Systems. ACM Transactions on Computer Systems, 7(4):321–359, November 1989.
Brian D. Marsh, Michael L. Scott, Thomas J. LeBlanc, and Evangelos P. Markatos. Firstclass user-level threads. In Proceedings of 13th ACM Symposium on Operating Systems Principles, pages 110–21. Association for Computing Machinery SIGOPS, October 1991.
Sun Microsystems. Lightweight Processes, 1990. In SunOS Programming Utilities and Libraries.
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
James Philbin. An Operating System for Modern Languages. PhD thesis, Dept. of Computer Science, Yale University, 1993.
M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrman, C. Kaiser, S. Langlois, P. Leonard, and W. Newhauser. Overview of the Chorus Distributed Operating System. In Workshop Proceedings Micro-Kenels and other Kernel Architectures, pages 39–69, April 1992.
Guy Steele Jr. Rabbit: A Compiler for Scheme. Master's thesis, Massachusetts Institute of Technology, 1978.
A. Tevanian, R. Rashid, D. Golub, D. Black, E. Cooper, and M. Young. Mach Treads and the UNIX Kernel: The Battle for Control. In 1987 USENIX Summer Conference, pages 185–197, 1987.
David Ungar. Generation Scavenging: A Non-Disruptive High Performance Storage Reclamation Algorithm. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 157–167, 1984.
Thorsten Von Eicken, David Culler, Seth Goldstein, and Klaus Schauser. Active Messages: A Mechanism for Integrated Communication and Compuation. In Proceedings of the 19th International Symposium on Computer Architecture, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jagannathan, S., Philbin, J. (1994). High-level abstractions for efficient concurrent systems. In: Gutknecht, J. (eds) Programming Languages and System Architectures. Lecture Notes in Computer Science, vol 782. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57840-4_31
Download citation
DOI: https://doi.org/10.1007/3-540-57840-4_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57840-6
Online ISBN: 978-3-540-48356-4
eBook Packages: Springer Book Archive