Exokernel: an operating system architecture for application-level resource management

@article{Engler1995ExokernelAO,
  title={Exokernel: an operating system architecture for application-level resource management},
  author={Dawson R. Engler and M. Frans Kaashoek and James W. O'Toole},
  journal={Proceedings of the fifteenth ACM symposium on Operating systems principles},
  year={1995}
}
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess communication and virtual memory. The exokernel operating system architecture addresses this problem by providing application-level management of physical resources. In the exokernel architecture, a small kernel securely exports all hardware resources through a low-level interface to untrusted library… Expand
Shared libraries in an exokernel operating system
Exokernel operating systems export much of the raw hardware interface to applications , allowing each application to provide its own operating system abstractions and interfaces. While this removesExpand
Shared Libraries in an Exokernel Operating System by Douglas
Exokernel operating systems export much of the raw hardware interface to applications, allowing each application to provide its own operating system abstractions and interfaces. While this removesExpand
The exokernel operating system architecture
TLDR
This thesis proposes a new approach, the exokernel architecture, which makes resource management unprivileged but safe by separating management from protection: an exok Kernel protects resources, while untrusted application-level software manages them. Expand
A Survey of Microkernel Operating Systems
Introduction In a traditional, monolithic operating system, the kernel provides all the services to the application programs. As the demands on the operating system grow, the kernel becomes largerExpand
Applying exokernel principles to conventional operating systems
TLDR
This thesis demonstrates how two exokernel systems, XN for low level disk access and DPF for raw network access, are integrated into Linux and how these interfaces can be integrated with Unix abstractions so that they are available to applications without forcing the applications to abandon their use of normalUnix abstractions. Expand
Multiprocessing with the Exokernel Operating System
TLDR
This thesis presents a symmetric multiprocessing exokernel and demonstrates that unprivileged library implementation of operating system abstractions is viable on a multiprocessionor system. Expand
Usermode kernel : running the kernel in userspace in VM environments
TLDR
A new model for virtual machine deployments with operating systems that bypass this redundant protection offered by the traditional operating systems is proposed and illustrated with the design and implementation of such a system with the Xen hypervisor and the XenoLinux kernel. Expand
A High Performance Kernel-Less Operating System Architecture
TLDR
KLOS is a Kernel-Less Operating System built on the basis of such a design and the KLOS service call mechanism is an order of magnitude faster than the current widely implemented mechanisms for service or system calls with a 4x improvement over the traditional trap/interrupt and a 2x improved over the Intel SYSENTER/SYSEXIT fast system call models. Expand
Multiprocessing with the Exokernel Operating System by Benjie Chen
Exokernel is a minimal operating system kernel that safely m ultiplexes hardware resources, while leaving all system abstractions to applications. An exokernel exhibit s etter performance and offersExpand
Rethinking Operating System Interfaces to Support Robust Network Applications
TLDR
Ethos eases the burden on application programmers and system administrators by providing more abstract interfaces and reducing code duplication, and provides a number of security properties unavailable in other systems. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 87 REFERENCES
The operating system kernel as a secure programmable machine
TLDR
To put abstractions traditionally implemented by the kernel out into user-space, where user-level libraries and servers abstract the exposed hardware resources, a new operating system structure, exokernel, is defined that safely exports the resources defined by the underlying hardware. Expand
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. Expand
The case for application-specific operating systems
  • T. Anderson
  • Computer Science
  • [1992] Proceedings Third Workshop on Workstation Operating Systems
  • 1992
TLDR
An application-specific structure is proposed where as much of the operating system as possible is pushed into runtime library routines linked with each application, and the kernel is stripped to its bare minimum functionality. Expand
Extensibility safety and performance in the SPIN operating system
This paper describes the motivation, architecture and performance of SPIN, an extensible operating system. SPIN provides an extension infrastructure, together with a core set of extensible services,Expand
A caching model of operating system kernel functionality
TLDR
Experience with implementing the Cache Kernel and measurements of its performance on a multiprocessor suggest that the caching model can provide competitive performance with conventional monolithic operating systems, yet provides application-level control of system resources, better modularity, better scalability, smaller size and a basis for fault containment. Expand
Tools for the development of application-specific virtual memory management
TLDR
This work combines an extensible user-level virtual memory system based on a metaobject protocol with an innovative graphical performance monitor to make the task of implementing a new application-specific page replacement policy considerably simpler. Expand
SPIN—an extensible microkernel for application-specific operating system services
TLDR
The SPIN operating system enables system services to be defined in an application-specific fashion through an extensible microkernel and offers applications fine-grained control over a machine's logical and physical resources through run-time adaptation of the system to application requirements. Expand
Synthesis: an efficient implementation of fundamental operating system services
TLDR
The Synthesis kernel combines several new techniques to provide high performance without sacrificing the expressive power or security of the system, and is a significant performance improvement over traditional operating system implementations in addition to providing new services. Expand
Design tradeoffs for software-managed TLBs
TLDR
This work explores software-managed TLB design tradeoffs and their interaction with a range of operating systems including monolithic and microkernel designs and explores TLB performance for benchmarks running on a MIPS R2000-based workstation. Expand
SPACE: a new approach to operating system abstraction
TLDR
SPACE is an extensible operating system being developed for research into object-oriented and distributed systems design that uses capability mechanisms based on the manipulation of address spaces to provide low-level kernel primitives from which higher-level abstractions can be constructed. Expand
...
1
2
3
4
5
...