SPIN—an extensible microkernel for application-specific operating system services

ABSTRACT

Application domains such as multimedia, databases, and parallel computing, require operating system services with high performance and high functionality. Existing operating systems provide fixed interfaces and implementations to system services and resources. This makes them inappropriate for applications whose resource demands and usage patterns are poorly matched by the services provided. The SPIN operating system enables system services to be defined in an application-specific fashion through an extensible microkernel. It offers applications fine-grained control over a machine's logical and physical resources through run-time adaptation of the system to application requirements.

REFERENCES

• 1: Thomas E. Anderson , Brian N. Bershad , Edward D. Lazowska , Henry M. Levy, Scheduler activations: effective kernel support for the user-level management of parallelism, ACM Transactions on Computer Systems (TOCS), v.10 n.1, p.53-79, Feb. 1992 [doi>10.1145/146941.146944]
• 2: [Bershad 93] Bershad, B. N. Practical Considerations for Non-Blocking Concurrent Objects. In Proceedings of the 13th International Conference on Distributed Computing Systems, pages 264-274, May 1993.
• 3: Brian N. Bershad , Thomas E. Anderson , Edward D. Lazowska , Henry M. Levy, Lightweight remote procedure call, ACM Transactions on Computer Systems (TOCS), v.8 n.1, p.37-55, Feb. 1990 [doi>10.1145/77648.77650]
• 4: Brian N. Bershad , David D. Redell , John R. Ellis, Fast mutual exclusion for uniprocessors, Proceedings of the fifth international conference on Architectural support for programming languages and operating systems, p.223-233, October 12-15, 1992, Boston, Massachusetts, United States
• 5: Charles Consel, Binding time analysis for high order untyped functional languages, Proceedings of the 1990 ACM conference on LISP and functional programming, p.264-272, June 27-29, 1990, Nice, France [doi>10.1145/91556.91668]
• 6: Richard P. Draves , Brian N. Bershad , Richard F. Rashid , Randall W. Dean, Using continuations to implement thread management and communication in operating systems, Proceedings of the thirteenth ACM symposium on Operating systems principles, p.122-136, October 13-16, 1991, Pacific Grove, California, United States
• 7: [Felten 92] Felten, E. The Case for Application-Specific Communication Protocols. In Proceedings of Intel Supercomputer Systems Division Technology Focus Conference, pages 171-181, 1992.
• 8: [Jones et al. 89] Jones, N., Sestoft, P., and Sondergaard, H. MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. Lisp & Symbolic Computing, 2(1):9-50, February 1989.
• 9: Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
• 10: [Lampson 84] Lampson, B. W. Hints for Computer System Design. IEEE Software, 1(1):11-28, January 1984.
• 11: Chris Maeda , Brian N. Bershad, Protocol service decomposition for high-performance networking, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.244-255, December 05-08, 1993, Asheville, North Carolina, United States
• 12: [McNamee & Armstrong 90] McNamee, D. and Armstrong, K. Extending the Mach External Pager Interface to Accommodate User-Level Page Replacement Policies. In Proceedings of the Usenix Mach Symposium, pages 17-29, 1990.
• 13: Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 14: [Savage & Bershad 94] Savage, S. and Bershad, B. N. Issues in the Design of an Extensible Operating System. http://www.cs.washington.edu/research/projects/spin/www/docs/issues_ext.ps, 1994.
• 15: Daniel Stodolsky , J. Bradley Chen , Brian N. Bershad, Fast Interrupt Priority Management in Operating System Kernels, USENIX Microkernels and Other Kernel Architectures Symposium, p.105-110, September 20-23, 1993
• 16: Chandramohan A. Thekkath , Thu D. Nguyen , Evelyn Moy , Edward D. Lazowska, Implementing network protocols at user level, IEEE/ACM Transactions on Networking (TON), v.1 n.5, p.554-565, Oct. 1993 [doi>10.1109/90.251914]
• 17: Daniel Weise , Roland Conybeare , Erik Ruf , Scott Seligman, Automatic Online Partial Evaluation, Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, p.165-191, August 26-30, 1991
• 18: Bob Wheeler , Brian N. Bershad, Consistency management for virtually indexed caches, Proceedings of the fifth international conference on Architectural support for programming languages and operating systems, p.124-136, October 12-15, 1992, Boston, Massachusetts, United States
• 19: [Young 89] Young, M. W. Exporting a User Interface to Memory Management from a Communication-Oriented Operating System. Technical Report CMU-CS-89-202, Carnegie Mellon University, November 1989.
• 20: Masanobu Yuhara , Brian N. Bershad , Chris Maeda , J. Eliot B. Moss, Efficient packet demultiplexing for multiple endpoints and large messages, Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, p.13-13, January 17-21, 1994, San Francisco, California

INDEX TERMS

Primary Classification:
  D. Software
  D.4 OPERATING SYSTEMS

General Terms:
Design, Performance, Theory