The operating system kernel as a secure programmable machine

@inproceedings{Engler1995TheOS,
  title={The operating system kernel as a secure programmable machine},
  author={Dawson R. Engler and M. Frans Kaashoek and James W. O'Toole},
  booktitle={OPSR},
  year={1995}
}
To provide modularity and performance, operating system kernels should have only minimal embedded functionality. Today's operating systems are large, inefficient and, most importantly, inflexible. In our view, most operating system performance and flexibility problems can be eliminated simply by pushing the operating system interface lower. Our goal is to put abstractions traditionally implemented by the kernel out into user-space, where user-level libraries and servers abstract the exposed… 

Exploring issues of operating systems structuring: from microkernel to extensible systems

The microkernel concept has once been the most advocated approach for operating system development. Unfortunately, before its publicized advantages have been fully realized in an operating system

Overview of the Exokernel Operating System

TLDR
The exokernel operating system architecture is an ideology which MIT thinks a eecient and reliable operating systems should be based on that places abstractions traditionally implemented by operating systems in the user space where user-level libraries abstract exposed resources.

Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel

TLDR
Examination of the trends in operating system design over the last few years and plans to produce a new persistent micro-kernel are described.

The network hardware is the operating system

TLDR
This paper express how adaptable distributed systems could be built and describes an example implementation named Off where the microkernel itself and its abstractions are both distributed and adaptable.

A caching model of operating system kernel functionality

TLDR
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.

Versatile Object-oriented Real-Time Operating System

TLDR
A component-based operating system, VORTOS, the Versatile Object-oriented Real-Time Operating System, which uses a virtual machine to abstract the hardware, eliminating the need for further portability abstractions within the operating system and application level components.

VINO : The 1994 Fall

TLDR
A new kernel architecture, the VINO kernel, is described, which addresses the limitations of conventional operating systems and is driven by three principles: Application Directed Policy, Kernel as Toolbox, and Universal Resource Access.

User-level threads on a general hardware interface

TLDR
The present paper deals with the Arena approach to the provision of pure user-level threads and the compromise between reducing policy and maintaining integrity in the HWO implementations is discussed.

Fine-grained dynamic instrumentation of commodity operating system kernels

TLDR
Fine-grained dynamic instrumentation of commodity kernels, which can splice (insert) dynamically generated code before almost any machine code instruction of a completely unmodified running commodity operating system kernel, is developed.

Structuring the kernel as a toolkit of extensible, reusable components

  • C. SmallM. Seltzer
  • Computer Science
    Proceedings of International Workshop on Object Orientation in Operating Systems
  • 1995
TLDR
The advantage of structuring the kernel as a set of reusable, extensible tools is that applications can avoid re-implementing functionality that is already present in the kernel, which will lead to smaller applications, fewer lines of total code, and a more unified computing environment that will be easier to maintain and perform better.