Article

Free access

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

Authors:

Brian N. Bershad,

Craig Chambers,

Przemyslaw Pardyak,

Emin Gün SirerAuthors Info & Claims

EW 6: Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs

Pages 68 - 71

https://doi.org/10.1145/504390.504408

Published: 12 September 1994 Publication History

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]

Anderson, T. E., Bershad, B. N., Lazowska, E. D., and Levy, H. M. Scheduler Activations: Effective Kernel Support for the User-Level Mari~gement of Parallelism. ACM Transactions on Computer Systems, 10(1):53-79, February 1992.]]

Digital Library

[2]

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]

Bershad, B. N., Anderson, T. E., Lazowska, E. D., and Levy, H. M. Lightweight Remote Procedure Call. ACM Transactions on Computer Systems, 8(1):37-55, February 1990. Also appeared in Proceedings of the 12th A CM Symposium on Operating Systems Principles, December 1989.]]

Digital Library

[4]

Bershad, B. N., Redell, D. D., and Ellis, J. R. Fast Mutual Exclusion for Uniprocessors. In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V), pages 223-233, October 1992.]]

Digital Library

[5]

Consel, C. Binding Time Analysis for Higher Order Untyped Functional Languages. In Conference on Lisp and Functional Programming, pages 264-272, 1990.]]

Digital Library

[6]

Draves, R. P., Bershad, B. N., Rashid, R. F., and Dean, R. W. Using Continuations to Implement Thread Management and Communication in Operating Systems. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, pages 122-136, October 1991.]]

Digital Library

[7]

Felten, E. The Case for Application-Specific Communication Protocols. In Proceedings of lntel Supercomputer Systems Division Technology Focus Conference, pages 171-181, 1992.]]

[8]

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]

Jones, N., Gomard, C., and Sestoft, P. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.]]

Digital Library

[10]

Lampson, B. W. Hints for Computer System Design. IEEE Software, 1(1):11-28, January 1984.]]

Digital Library

[11]

Maeda, C. and Bershad, B. N. Protocol Service Decomposition for High-Performance Networking. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 244-255, December 1993.]]

Digital Library

[12]

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.]]

[13]

Savage, S. and Bershad, B. N. Issues in the Design of an Extensible Operating System. 1994. Submitted for publication.]]

[14]

Stodolsky, D., Bershad, B. N., and Chen, B. Fast interrupt Priority Management for Operating System Kernels. In Proceedings of the Second Usenix Workshop on Microkernels and Other Kernel Architectures, September 1993.]]

Digital Library

[15]

Thekkath, C. A., Nguyen, T. D., Moy, E., and Lazowska, E. D. Implementing network protocols at user level. 1EEE/ACM Transactions on Networking, 1(5):554-565, October 1993.]]

Digital Library

[16]

Weise, D., Conybeare, R., Ruf, E., and Seligman, S. Automatic Online Partial Evaluation. In Functional Programming Languages and Computer Architecture, pages 165-191. Springer-Verlag, August 1991. LNCS 202.]]

Digital Library

[17]

Wheeler, B. and Bershad, B. N. Consistency Management for Virtually Indexed Caches. In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS. V), October 1992.]]

Digital Library

[18]

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.]]

[19]

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.]]

Digital Library

Cited By

hu XHuang MXue YJiang LLiu YXie G(2023)Drootkit: Kernel-Level Rootkit Detection and Recovery Based on eBPFJournal of Circuits, Systems and Computers10.1142/S021812662450073733:04Online publication date: 30-Sep-2023
https://doi.org/10.1142/S0218126624500737
Wang SDu CChen JZhang YYang M(2021)Microservice Architecture for Embedded Systems2021 IEEE 5th Information Technology,Networking,Electronic and Automation Control Conference (ITNEC)10.1109/ITNEC52019.2021.9587154(544-549)Online publication date: 15-Oct-2021
https://doi.org/10.1109/ITNEC52019.2021.9587154
Findlay WSomayaji ABarrera DZhang YSion R(2020)bpfboxProceedings of the 2020 ACM SIGSAC Conference on Cloud Computing Security Workshop10.1145/3411495.3421358(91-103)Online publication date: 9-Nov-2020
https://dl.acm.org/doi/10.1145/3411495.3421358
Show More Cited By

SPIN: an extensible microkernel for application-specific operating system services
1. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains

Recommendations

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

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 ...
Towards Real-Time Fault-Tolerant CORBA Middleware

An increasing number of applications are being developed using Distributed Object Computing (DOC) middleware, such as CORBA. Many of these applications require the underlying middleware, operating systems, and networks to provide dependable end-to-end ...
Applying patterns to develop a pluggable protocols framework for ORB middleware
Design patterns in communications software

To be an effective platform for performance-sensitive applications, off-the-shelf CORBA middleware must preserve the communication-layer quality of service (QoS) properties of applications end-to-end. However, the standard CORBA GIOP/IIOP ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EW 6: Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs

September 1994

201 pages

ISBN:9781450373388

DOI:10.1145/504390

General Chair:
Jurgen Nehmer
University of Kaiserslautern, Germany
,
Program Chair:
Marc Shapiro
Cornell University, Ithaca, New York

Copyright © 1994 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 September 1994

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

EW94

Sponsor:

EW94: 1994 ACM SIGOPS European Workshop

September 12 - 14, 1994

Wadern, Germany

Acceptance Rates

Overall Acceptance Rate 37 of 37 submissions, 100%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

41
Total Citations
View Citations
791
Total Downloads

Downloads (Last 12 months)60
Downloads (Last 6 weeks)11

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

hu XHuang MXue YJiang LLiu YXie G(2023)Drootkit: Kernel-Level Rootkit Detection and Recovery Based on eBPFJournal of Circuits, Systems and Computers10.1142/S021812662450073733:04Online publication date: 30-Sep-2023
https://doi.org/10.1142/S0218126624500737
Wang SDu CChen JZhang YYang M(2021)Microservice Architecture for Embedded Systems2021 IEEE 5th Information Technology,Networking,Electronic and Automation Control Conference (ITNEC)10.1109/ITNEC52019.2021.9587154(544-549)Online publication date: 15-Oct-2021
https://doi.org/10.1109/ITNEC52019.2021.9587154
Findlay WSomayaji ABarrera DZhang YSion R(2020)bpfboxProceedings of the 2020 ACM SIGSAC Conference on Cloud Computing Security Workshop10.1145/3411495.3421358(91-103)Online publication date: 9-Nov-2020
https://dl.acm.org/doi/10.1145/3411495.3421358
Watada JRoy AKadikar RPham HXu B(2019)Emerging Trends, Techniques and Open Issues of Containerization: A ReviewIEEE Access10.1109/ACCESS.2019.29459307(152443-152472)Online publication date: 2019
https://doi.org/10.1109/ACCESS.2019.2945930
Kurmus AZippel RAhn GYung MLi N(2014)A Tale of Two KernelsProceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security10.1145/2660267.2660331(1366-1377)Online publication date: 3-Nov-2014
https://dl.acm.org/doi/10.1145/2660267.2660331
Frampton DBlackburn SCheng PGarner RGrove DMoss JSalishev SHosking ABacon DKrieger O(2009)Demystifying magicProceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments10.1145/1508293.1508305(81-90)Online publication date: 11-Mar-2009
https://dl.acm.org/doi/10.1145/1508293.1508305
Itoh JYokote YFeret M(2008)A new software architecture for evolvable multimedia softwareEuropean Transactions on Telecommunications10.1002/ett.44600804148:4(423-435)Online publication date: 12-Sep-2008
https://doi.org/10.1002/ett.4460080414
Zhang JCheng B(2007)Towards Re-engineering Legacy Systems for Assured Dynamic AdaptationProceedings of the International Workshop on Modeling in Software Engineering10.1109/MISE.2007.14Online publication date: 20-May-2007
https://dl.acm.org/doi/10.1109/MISE.2007.14
Huang PGu LZhang JYu XLv SYan ZZhang LZhou HDu X(2007)Virtual Surgery Deformable Modelling Employing GPU Based ComputationProceedings of the 17th International Conference on Artificial Reality and Telexistence10.1109/ICAT.2007.61(221-227)Online publication date: 28-Nov-2007
https://dl.acm.org/doi/10.1109/ICAT.2007.61
Fähndrich MAiken MHawblitzel CHodson OHunt GLarus JLevi S(2006)Language support for fast and reliable message-based communication in singularity OSACM SIGOPS Operating Systems Review10.1145/1218063.121795340:4(177-190)Online publication date: 18-Apr-2006
https://dl.acm.org/doi/10.1145/1218063.1217953
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents