More Web Proxy on the site http://driver.im/

article

Free access

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

Authors:

Brian N. Bershad,

Craig Chambers,

Przemysław Pardyak,

Emin Gün SirerAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 29, Issue 1

Pages 74 - 77

https://doi.org/10.1145/202453.202472

Published: 11 January 1995 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 et al. 92] Anderson, T. E., Bershad, B. N., Lazowska, E. D., and Levy, H. M. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. ACM Transactions on Computer Systems, 10(1):53-79, February 1992.

Digital Library

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

[Bershad et al. 90] 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 ACM Symposium on Operating Systems Principles, December 1989.

Digital Library

[4]

[Bershad et al. 92] 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 90] 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 et al. 91] 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 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]

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

Digital Library

[10]

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

Digital Library

[11]

[Maeda & Bershad 93] 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 & 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]

[Nelson 91] Nelson, G., editor. System Programming in Modula-3. Prentice Hall, 1991.

Digital Library

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

[Stodolsky et al. 93] Stodolsky, D., Bershad, B. N., and Chen, B. Fast Interrupt Priority Management for Operating System Kernels. In Proceedings of the Second Usenix Workshop on Microkerneis and Other Kernel Architectures, September 1993.

Digital Library

[16]

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

Digital Library

[17]

[Weise et al. 91] 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

[18]

[Wheeler & Bershad 92] 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

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

[Yuhara et al. 94] Yuhara, 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

Bakir FWang SEkaireb TPearson JKrintz CWolski R(2024)Ambience: an operating system for IoT microservicesJournal of Edge Computing10.55056/jec.786Online publication date: 5-Sep-2024
https://doi.org/10.55056/jec.786
Hu JLu EHolland DKawaguchi MChong SSeltzer M(2023)Towards Porting Operating Systems with Program SynthesisACM Transactions on Programming Languages and Systems10.1145/356394345:1(1-70)Online publication date: 3-Mar-2023
https://dl.acm.org/doi/10.1145/3563943
Kell S(2019)Unix, Plan 9 and the Lurking SmalltalkReflections on Programming Systems10.1007/978-3-319-97226-8_6(189-213)Online publication date: 11-Jan-2019
https://doi.org/10.1007/978-3-319-97226-8_6
Show More Cited By

Index Terms

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

Recommendations

Measures to improve security in a microkernel operating system
InfoSecCD '11: Proceedings of the 2011 Information Security Curriculum Development Conference

An operating system forms the foundation for all of the user's computer activities. Therefore, it should be trustworthy and function flawlessly. Unfortunately, today's operating systems, such as Windows and Linux, fail to deliver to this ideal, because ...
Design of the Operating System Virtualization on L4 Microkernel
NCM '08: Proceedings of the 2008 Fourth International Conference on Networked Computing and Advanced Information Management - Volume 01

The importance of the virtualization in embedded computing area is currently emerging. The virtualization can enhance system flexibility by enabling the concurrent execution of an application OS and a real-time OS (RTOS) on the same processor. L4 ...
THE LINUX OPERATING SYSTEM: AN INTRODUCTION

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review

ACM SIGOPS Operating Systems Review Volume 29, Issue 1

Jan. 1995

94 pages

ISSN:0163-5980

DOI:10.1145/202453

Editor:
William M. Waite
Univ. of Colorado, Boulder

Issue’s Table of Contents

Copyright © 1995 Copyright is held by the owner/author(s).

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 January 1995

Published in SIGOPS Volume 29, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

26
Total Citations
View Citations
157
Total Downloads

Downloads (Last 12 months)77
Downloads (Last 6 weeks)8

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bakir FWang SEkaireb TPearson JKrintz CWolski R(2024)Ambience: an operating system for IoT microservicesJournal of Edge Computing10.55056/jec.786Online publication date: 5-Sep-2024
https://doi.org/10.55056/jec.786
Hu JLu EHolland DKawaguchi MChong SSeltzer M(2023)Towards Porting Operating Systems with Program SynthesisACM Transactions on Programming Languages and Systems10.1145/356394345:1(1-70)Online publication date: 3-Mar-2023
https://dl.acm.org/doi/10.1145/3563943
Kell S(2019)Unix, Plan 9 and the Lurking SmalltalkReflections on Programming Systems10.1007/978-3-319-97226-8_6(189-213)Online publication date: 11-Jan-2019
https://doi.org/10.1007/978-3-319-97226-8_6
Schatzberg DCadden JDong HKrieger OAppavoo JKeeton KRoscoe T(2016)EbbRTProceedings of the 12th USENIX conference on Operating Systems Design and Implementation10.5555/3026877.3026929(671-688)Online publication date: 2-Nov-2016
https://dl.acm.org/doi/10.5555/3026877.3026929
Yanok INystrom N(2016)TapirACM SIGOPS Operating Systems Review10.1145/2883591.288360249:2(51-56)Online publication date: 20-Jan-2016
https://dl.acm.org/doi/10.1145/2883591.2883602
Kumar PRaj RReyaz ARajiv P(2016)Operating systems: Demand based modularity2016 International Conference on Computing, Communication and Automation (ICCCA)10.1109/CCAA.2016.7813839(878-883)Online publication date: Apr-2016
https://doi.org/10.1109/CCAA.2016.7813839
SIVARAMAKRISHNAN KHARRIS TMARLOW SPEYTON JONES S(2016)Composable scheduler activations for HaskellJournal of Functional Programming10.1017/S095679681600007126Online publication date: 27-Jun-2016
https://doi.org/10.1017/S0956796816000071
Zhao XYin JChen ZHe S(2016)vSpec: workload-adaptive operating system specialization for virtual machines in cloud computing云计算环境下负载自适应的虚拟机操作系统定制化Science China Information Sciences10.1007/s11432-015-5387-659:9Online publication date: 23-Aug-2016
https://doi.org/10.1007/s11432-015-5387-6
Levy AAndersen MCampbell BCuller DDutta PGhena BLevis PPannuto PLu S(2015)Ownership is theftProceedings of the 8th Workshop on Programming Languages and Operating Systems10.1145/2818302.2818306(21-26)Online publication date: 4-Oct-2015
https://dl.acm.org/doi/10.1145/2818302.2818306
Yanok INystrom NLu S(2015)TapirProceedings of the 8th Workshop on Programming Languages and Operating Systems10.1145/2818302.2818303(33-38)Online publication date: 4-Oct-2015
https://dl.acm.org/doi/10.1145/2818302.2818303
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 Issue’s Table of Contents