SPIN —an extensible microkernel for application-specific operating system services
- 11 January 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review
- Vol. 29 (1), 74-77
- https://doi.org/10.1145/202453.202472
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.Keywords
This publication has 9 references indexed in Scilit:
- Protocol service decomposition for high-performance networkingPublished by Association for Computing Machinery (ACM) ,1993
- Implementing network protocols at user levelIEEE/ACM Transactions on Networking, 1993
- Fast mutual exclusion for uniprocessorsPublished by Association for Computing Machinery (ACM) ,1992
- Consistency management for virtually indexed cachesPublished by Association for Computing Machinery (ACM) ,1992
- Scheduler activationsACM Transactions on Computer Systems, 1992
- Using continuations to implement thread management and communication in operating systemsPublished by Association for Computing Machinery (ACM) ,1991
- Binding time analysis for high order untyped functional languagesPublished by Association for Computing Machinery (ACM) ,1990
- Lightweight remote procedure callACM Transactions on Computer Systems, 1990
- Hints for Computer System DesignIEEE Software, 1984