MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Exterminate All Operating System Abstractions (1995) [41 citations — 0 self]

by Dawson R. Engler ,  M. Frans Kaashoek
In the 5 th IEEE Workshop on Hot Topics in Operating Systems, Orcas Island
Add To MetaCart

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