Abstract:
The defining tragedy of the operating systems community has been the definition of an operating system as software that both multiplexes and abstracts physical resources. The view that the OS should abstract the hardware is based on the assumption that it is possible both to define abstractions that are appropriate for all areas and to implement them to perform efficiently in all situations. We believe that the fallacy of this quixotic goal is self-evident, and that the operating system problems of the last two decades (poor performance, poor reliability, poor adaptability, and inflexibility) can be traced back to it. The solution we propose is simple: complete elimination of operating system abstractions by lowering the operating system interface to the hardware level. 1
Citations
|
630
|
End-to-end arguments in system design
– SALTZER, REED, et al.
- 1984
|
|
558
|
Efficient software-based fault isolation
– Wahbe, Lucco, et al.
- 1993
|
|
390
|
Scheduler activations: Effective kernel support for the user-level management of parallelism
– Anderson, Bershad, et al.
- 1991
|
|
286
|
Why aren't operating systems getting faster as fast as hardware
– Ousterhout
- 1990
|
|
196
|
Operating system support for database management
– Stonebraker
- 1981
|
|
166
|
Virtual memory primitives for user programs
– Appel, Li
- 1991
|
|
130
|
Application-controlled physical memory using external page-cache management
– Harty, Cheriton
- 1992
|
|
98
|
A caching model of operating system kernel functionality
– Cheriton, Duda
- 1994
|
|
91
|
Avoiding conflict misses dynamically in large direct-mapped caches
– Bershad, Lee, et al.
- 1994
|
|
89
|
Pilot: An Operating System for a Personal Computer
– Redell, Dalal, et al.
|
|
81
|
Architectural support for translation table management in large address space machines
– Huck, Hays
- 1992
|
|
78
|
Synthesis: An Efficient Implementation of Fundamental Operating System Services
– MASSALIN
- 1992
|
|
71
|
Hardware and Software Support for Efficient Exception Handling
– Thekkath, Levy
- 1994
|
|
62
|
The origin of the VM/370 time-sharing system
– Creasy
- 1981
|
|
61
|
SPIN - An extensible microkernel for application-specific operating system services
– BERSHAD, CHAMBERS, et al.
- 1994
|
|
59
|
Fast Mutual Exclusion for Uniprocessors
– Bershad, Redell, et al.
- 1992
|
|
56
|
The nucleus of a multiprogramming system
– Hansen
- 1970
|
|
48
|
Software prefetching and caching for translation lookaside buffers
– Bala, Kaashoek, et al.
- 1994
|
|
34
|
The operating system kernel as a secure programmable machine
– Engler, Kaashoek, et al.
- 1994
|
|
29
|
An Open Operating System for a Single-user Machine
– Lampson, Sproull
- 1979
|
|
17
|
On reliable and extendable operating systems
– Lampson
- 1971
|
|
13
|
Scout: A communicationoriented operating system
– Hartman, Montz, et al.
- 1994
|
|
7
|
The design and implementation of a prototype exokernel operating system
– Engler
- 1995
|
|
5
|
High-performance microkernel systems (abstract
– Lucco
- 1994
|
|
3
|
et al. An introduction to the architecture of the VINO kernel
– Seltzer
- 1994
|