Corpus ID: 2684885

The KeyKOS Nanokernel Architecture

  title={The KeyKOS Nanokernel Architecture},
  author={Allen C. Bomberger and W. S. Frantz and Ann C. Hardy and N. Hardy and C. R. Landau and J. Shapiro},
  booktitle={USENIX Workshop on Microkernels and Other Kernel Architectures},
The KeyKOS nanokernel is a capability-based object-oriented operating system that has been in production use since 1983. [...] Key Method In addition, a journaling mechanism provides support for high-performance transaction processing. On restart, all processes are restored to their exact state at the time of checkpoint, including registers and virtual memory. This paper describes the KeyKOS architecture, and the binary compatible UNIX implementation that it supports.Expand
Microkernels meet recursive virtual machines
A software-based virtualizable architecture called Fluke that allows recursive virtual machines (virtual machines running on other virtual machines) to be implemented efficiently by a microkernel running on generic hardware. Expand
UUCS-96-004 Microkernels Meet Recursive Virtual Machines
This paper describes a novel approach to providing modular and extensible operating system functionality, and encapsulated environments, based on a synthesis of microkernel and virtual machineExpand
Hybrid Runtime Systems
This dissertation claims that the hybrid runtime model can provide significant benefits to parallel runtimes and the applications that run on top of them and introduces an event system called Nemo, which allows runtimes to leverage events both with a familiar interface and with mechanisms that are much closer to the hardware. Expand
mmapx: uniform memory protection in a heterogeneous world
It is shown how mmapx can eliminate bugs caused by device drivers programming IOMMUs directly, but also the detail captured by the underlying model has further benefits while incurring minimal overhead. Expand
Enabling Hybrid Parallel Runtimes Through Kernel and Virtualization Support
The design and implementation of two new tools that support the HRT model are described, including the Nautilus Aerokernel, a kernel framework specifically designed to enable HRTs for x64 and Xeon Phi hardware and the hybrid virtual machine, an extension to the Palacios virtual machine monitor that allows a single virtual machine to simultaneously support a traditional OS and software stack alongside an HRT with specialized hardware access. Expand
L4 Microkernels: The Lessons from 20 Years of Research and Deployment
It is demonstrated that while much has changed, the fundamental principles of minimality, generality, and high inter-process communication (IPC) performance remain the main drivers of design and implementation decisions. Expand
Eros: a capability system
An architectural overview of EROS, the Extremely Reliable Operating System is provided, which provides complete accountability for persistent, consumable and multiplexed resources and a fast pure capability architecture can be demonstrated. Expand
Sirius: Enabling System-Wide Isolation for Trusted Execution Environments
Sirius is introduced, the first OS and TEE system to achieve system-wide isolation in TEEs and enables fine-grained compartmentalization, strong isolation, and secure interactions between enclaves and kernel objects. Expand
Systems Support for Emerging Memory Technologies
A new persistence model, called the hypervisor-based model of persistence, was developed and evaluated by the NV-Hypervisor, which offers transparent persistence for legacy and proprietary software, and supports virtualisation of persistent memory. Expand
Trusted Real Time Operating System: Identifying its characteristics
Real Time Operating System (RTOS) had emerged in the market for the past few decades to provide solutions over various platforms that range from embedded devices to more sophisticated electronicExpand


The UNIX Time-sharing System
UNIX is a general-purpose, interactive time-sharing operating system for the DEC PDP-11 and Interdata 8/32 computers. Since it became operational in 1971, it has become quite widely used. This paperExpand
Operating System Structures to Support Security and Reliable Software
This survey focuses on two system structuring concepts that support security: small protection domains and extended-type objects and explains one approach toward implementing these concepts thoroughly and efficiently. Expand
KeyKOS architecture
The Architecture of KeyKOS ~M* is introduced, a capability-based operating system for the I B M System 13 70, and the description attempts to be essentially complete concerning the function of the kernel** which comprises the privileged-mode code. Expand
HYDRA/C.Mmp, An Experimental Computer System
It's important for you to start having that hobby that will lead you to join in better concept of life and reading will be a positive activity to do every time. Expand
A note on the confinement problem
A set of examples attempts to stake out the boundaries of the problem by defining a program during its execution so that it cannot transmit information to any other program except its caller. Expand
KeyKOS/370 Principles of Operation, KL002, Key Logic
  • KeyKOS/370 Principles of Operation, KL002, Key Logic
  • 1988
The Keykos Architecture Operating Systems Review Introduction to KeyKOS Concepts
  • The Keykos Architecture Operating Systems Review Introduction to KeyKOS Concepts
  • 1985
Capability-Based Computer Systems
System/370 Principles of Operation, GA22-7000-9
  • System/370 Principles of Operation, GA22-7000-9
  • 1983
The UNIX Time-sharing System." Communications of the ACM
  • 1974