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

Authors:
Brian N. Bershad;Craig Chambers;Susan Eggers;Chris Maeda;Dylan McNamee;Przemyslaw Pardyak;Stefan Savage;Emin Gün Sirer
Affiliations:
University of Washington, Seattle, WA;University of Washington, Seattle, WA;University of Washington, Seattle, WA;University of Washington, Seattle, WA;University of Washington, Seattle, WA;University of Washington, Seattle, WA;University of Washington, Seattle, WA;University of Washington, Seattle, WA
Venue:
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Year:
1994

Citing 11
Cited 12

Lightweight remote procedure call

SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Binding time analysis for high order untyped functional languages

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Using continuations to implement thread management and communication in operating systems

SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Automatic online partial evaluation

Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Consistency management for virtually indexed caches

ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Fast mutual exclusion for uniprocessors

ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Scheduler activations: effective kernel support for the user-level management of parallelism

ACM Transactions on Computer Systems (TOCS)
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
Protocol service decomposition for high-performance networking

SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Implementing network protocols at user level

IEEE/ACM Transactions on Networking (TON)
Fast Interrupt Priority Management in Operating System Kernels

USENIX Microkernels and Other Kernel Architectures Symposium

SCONE: using concurrent objects for low-level operating system programming

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
On micro-kernel construction

SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
A Network Protocol Stack in Standard ML

Higher-Order and Symbolic Computation
A survey of customizability in operating systems research

ACM Computing Surveys (CSUR)
Making Meta-Object Protocols Practial for Operating Systems

IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Capriccio: scalable threads for internet services

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
A high performance Kernel-Less Operating System architecture

ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Zikimi: A Case Study in Micro Kernel Design for Multimedia Applications

Multimedia Tools and Applications
Deconstructing process isolation

Proceedings of the 2006 workshop on Memory system performance and correctness
Language support for fast and reliable message-based communication in singularity OS

Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Using meta-objects to support optimisation in the Apertos operating system

COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Demystifying magic: high-level low-level programming

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments

Quantified Score

Hi-index	0.01

Visualization

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.