Server operating systems
Published 9 September 1996Open access
M. Frans Kaashoek, Dawson Engler, Gregory R. Ganger, Deborah A. Wallach
Citations72
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A prototype server OS is designed and implemented with support for aggressive specialization, direct device-to-device access, an event-driven organization, and dynamic compiler-assisted ILP, and an HTTP server that outperforms servers running on a conventional OS by more than an order of magnitude.
Abstract
We introduce server operating systems, which are sets of abstractions and runtime support for specialized, high-performance server applications. We have designed and are implementing a prototype server OS with support for aggressive specialization, direct device-to-device access, an event-driven organization, and dynamic compiler-assisted ILP. Using this server OS, we have constructed an HTTP server that outperforms servers running on a conventional OS by more than an order of magnitude and that can safely timeshare the hardware platform with other applications.
Keywords
Computer Science
Exokernel
1,113 Citations1995Dawson Engler, M. Frans Kaashoek +1 more
The prototype exokernel system implemented here is at least five times faster on operations such as exception dispatching and interprocess communication, and allows applications to control machine resources in ways not possible in traditional operating systems.
Architectural considerations for a new generation of protocols
1,061 Citations1990Dav Clark, David L. Tennenhouse
This paper identifies two new design principles, Application Level Framing and Integrated Layer Processing, and identifies the presentation layer as a key aspect of overall protocol performance.
Extensibility safety and performance in the SPIN operating system
955 Citations1995Brian N. Bershad, Stefan Savage +6 more
This paper describes the motivation, architecture and performance of SPIN, an extensible operating system that provides an extension infrastructure together with a core set of extensible services that allow applications to safely change the operating system's interface and implementation.
ACM Transactions on Computer SystemsA fast file system for UNIX
745 Citations1984Marshall Kirk McKusick, William N. Joy +2 more
A reimplementation of the UNIX TM file system is described, which provides substantially higher throughput rates by using more flexible allocation policies that allow better locality of reference and can be adapted to a wide range of peripheral and processor characteristics.
A Hierarchical Internet Object Cache
691 Citations1995Anawat Chankhunthod, Peter B. Danzig +3 more
The design and performance of a hierarchical proxy-cache designed to make Internet information systems scale better are discussed, and performance measurements indicate that hierarchy does not measurably increase access latency.
The case for persistent-connection HTTP
217 Citations1995Jeffrey C. Mogul
The results of log-driven simulations of several variants of the proposed modifications to HTTP demonstrate the value of persistent connections.
Optimistic incremental specialization
193 Citations1995Calton Pu, Tito Autrey +7 more
The ideas outlined in this paper allow the conventional kernel design tenet of “optimi zing for the common case” to be extended to the domain of adaptive operating systems and it is shown that aggressive use of specialization can produce in-kernel implementations of operating system functionality with performance comparable to user-level implementations.
IEEE/ACM Transactions on NetworkingIncreasing network throughput by integrating protocol layers
132 Citations1993Mark B. Abbott, Larry Peterson
A widely-applicable technique for integrating protocols that not only improves performance, but also preserves the modularity of protocol layers by automatically integrating independently expressed protocols is introduced.
Operating Systems Design and ImplementationA caching model of operating system kernel functionality
106 Citations1994David R. Cheriton, Kenneth J. Duda
ComputerContainer shipping: operating system support for I/O-intensive applications
71 Citations1994Joseph Pasquale, Eric W. Anderson +1 more
An I/O pipeline model is presented, a model of a dynamic computation structure consisting of a sequence of domains: an input domain followed by one or more intermediate domains, and an output domain, and the design for such a facility is presented.
Digital Access to Scholarship at Harvard (DASH) (Harvard University)VINO: An Integrated Platform for Operating System and Database Research
33 Citations1994Christopher Small, Margo Seltzer
The design of a new system, the VINO kernel, is described, which addresses the limitation of standard operating systems and focuses on three key ideas: VINO's power and ability make it an ideal platform for the design and implementation of traditional and modern database management systems.
An overview of the NetWare operating system
21 Citations1994Drew Major, G. Wayne Minshall +1 more
This paper provides an overview of the NetWare operating system, with a detailed description of its kernel and its software-based approach to fault tolerance.
ACM SIGOPS Operating Systems ReviewA caching model of operating system kernel functionality
11 Citations1995David R. Cheriton, Kenneth J. Duda
A cache kernel is developed, a new type of micro-kernel that supports operating system configurations across these dimensions and is fault-tolerant because it is protected from the rest of the operating system (and applications), it is replicated in large-scale configurations and it includes audit and recovery mechanisms.