Abstract
In general, networked and distributed operating systems are still programmed using a sequential language like C, even though the underlying programming model is that of multithreaded programs that communicate using some form of message passing. In a distributed environment it is more natural to program using a distributed programming language. In addition, distributed languages do not map well to traditional operating systems. The new, minimal kernel, or micro-kernel, operating systems provide an opportunity to efficiently support distributed languages. This paper explores different ways to provide support for the SR concurrent programming language on the Mach microkemel.
This work is partially supported by the United States Department of Defense University Research Program.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Accetta et al. A new kernel foundation for UNIX development. In Proceedings of the Summer 1986 USENIX Conference, pages 93–112, June 1986.
G. R. Andrews. Concurrent Programming: Principles and Practice. Ben-jamin/Cummings, 1991.
G. R. Andrews and R. A. Olsson. The SR Programming Language: Concurrency in Practice. The Benjamin/Cummings Publishing Co., Redwood City, California, 1993.
G. R. Andrews, R. A. Olsson, M. Coffin, I. Elshoff, K. Nilsen, T. Purdin, and G. Townsend. An overview of the SR language and implementation. ACM Transactions on Programming Languages and Systems, 10(1):51–86, January 1988.
M. S. Atkins and R. A. Olsson. Performance of multi-tasking and synchronization mechanisms in the programming language SR. Software — Practice and Experience, 18(9):879–895, September 1988.
K. Bala, M. F. Kaashoek, and W. E. Weihl. Software prefetching and caching for translation lookaside buffers. In Operating Systems Design and Implementation, pages 243–253, Monterey, California, November 1994. USENIX.
G. D. Benson. Microkemel support for distributed programming languages: Issues in design and implementation. Technical Report CSE-95–3, University of California, Davis, Department of Computer Science, February 1995.
J. Boykin, D. Kirschen, A. Langerman, and S. LoVerso. Programming under Mach. Addison-Wesley, Reading, Massachusetts, 1993.
D. Golub, R. Dean, A. Forin, and R. Rashid. UNIX as an application program. In Proceedings of the Summer 1990 USENIX Conference, pages 87–95, June 1990.
E. Lazowska, H. Levy, G. Almes, M. Fischer, R. Fowler, and S. Vsetal. The architecture of the Eden system. In Proceedings of the 8th ACM Symposium on Operating System Principles, pages 148–159, December 1981.
NSA INFOSEC Research and Technology. Synergy: A Distributed, Microkernel-based Security Architecture,November 1993.
H. Orman, E. Menze III, S. O’Malley, and L. Peterson. A fast and general implementation of Mach IPC in a network. In Mach III Symposium, pages 75–88, Santa Fe, New Mexico, April 1993. USENIX.
J. K. Ousterhout. Why aren’t operating systems getting faster as fast as hardware? In Proceedings of the Summer USENIX Conference,pages 247–256, Anaheim, California, June 1990.
M. L. Scott. The interface between distributed operating system and high-level programming language. In Proceedings of the 1986 International Conference on Parallel Processing, August 1986.
D. C. Swinehart, P. T. Zellweger, R. J. Beach, and R. B. Hagmann. A structural view of the Cedar programming environment. ACM Transactions on Programming Languages and Systems, 8(4):419–490, October 1986.
C. A. Waldspurger and W. E. Weihl. Lottery scheduling: Flexible proportion-share resource management. In Operating Systems Design and Implementation, pages 1–11, Monterey, California, November 1994. USENIX.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media New York
About this chapter
Cite this chapter
Benson, G.D., Olsson, R.A. (1996). The Design of Microkernel Support for the Sr Concurrent Programming Language. In: Szymanski, B.K., Sinharoy, B. (eds) Languages, Compilers and Run-Time Systems for Scalable Computers. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2315-4_17
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2315-4_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5979-1
Online ISBN: 978-1-4615-2315-4
eBook Packages: Springer Book Archive