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

• Anderson et al. 92: 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]
• 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.
• Bershad et al. 90: B. Bershad , T. Anderson , E. Lazowska , H. Levy, Lightweight remote procedure call, Proceedings of the twelfth ACM symposium on Operating systems principles, p.102-113, November 1989
• Bershad et al. 92: 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
• Consel 90: 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]
• Draves et al. 91: 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
• Felten 92: Felten, E. The Case for Application-Specific Communication Protocols. In Proceedings of lntel Supercomputer Systems Division Technology Focus Conference, pages 171-181, 1992.
• 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.
• Jones et al. 93: Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
• Lampson 84: Lampson, B. W. Hints for Computer System Design. IEEE Software, 1(1):11-28, January 1984.
• Maeda & Bershad 93: 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
• 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 Math Symposium, pages 17-29, 1990.
• Savage & Bershad 94: Savage, S. and Bershad, B. N. Issues in the Design of an Extensible Operating System. 1994. Submitted for publication.
• Stodolsky et al. 93: 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
• Thekkath et al. 93: 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]
• Weise et al. 91: 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, June 1991, Cambridge, Massachusetts, United States
• Wheeler & Bershad 92: 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
• Young 89: Young, M. W. Exporting a User Interface to Memory Management from a Communicati0n-Oriented Operating System. Technical Report CMU-CS-89-202, Carnegie Mellon University, November 1989.
• Yuhara et al. 94: Ynhara, M., Bershad, B. N., Maeda, C., and Moss, J. E. B. Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages. In Proceedings of the 1994 Winter USENIX Conference, January 1994.