# The performance of μ-kernel-based systems

@article{Hrtig1997ThePO,
title={The performance of $\mu$-kernel-based systems},
author={Hermann H{\"a}rtig and Michael Hohmuth and Jochen Liedtke and Sebastian Sch{\"o}nberg and Jean Wolter},
journal={Proceedings of the sixteenth ACM symposium on Operating systems principles},
year={1997}
}
• Hermann Härtig, +2 authors J. Wolter
• Published 1997
• Computer Science
• Proceedings of the sixteenth ACM symposium on Operating systems principles
First-generation μ-kernels have a reputation for being too slow and lacking sufficient flexibility. To determine whether L4, a lean second-generation μ-kernel, has overcome these limitations, we have repeated several earlier experiments and conducted some novel ones. Moreover, we ported the Linux operating system to run on top of the L4 μ-kernel and compared the resulting system with both Linux running native, and MkLinux, a Linux version that executes on top of a first-generation Mach-derived… Expand
402 Citations
The Cost of IPC : an Architectural Analysis
μ-kernels based operating systems provide a modular design enabling scalability, extensibility, and portability not typically found in monolithic or conventional operating systems, and, even moreExpand
L4/Darwin: Evolving UNIX
• Computer Science
• 2006
The on-going design and implementation of the Darbat project and the experiences of bringing the strengths of UNIX into the UNIX kernel itself are covered. Expand
Hijack COSLINUX : Toward Practical , Predictable , and Efficient OS Co-Location using Linux ∗
Three of Linux’s greatest assets, especially in embedded systems, are its extensive corpus of device drivers, its hardware compatibility layer that spans many architectures and platforms, and theExpand
A lightweight virtual machine monitor for Blue Gene/P
• Computer Science
• Int. J. High Perform. Comput. Appl.
• 2012
This paper presents a lightweight, micro-kernel-based virtual machine monitor (VMM) for the Blue Gene/P supercomputer, providing the convenience of a fully featured commodity software stack, while also promising to deliver the scalability and low latency of an HPC operating system. Expand
Composition Kernel: A Software Solution for Constructing a Multi-OS Embedded System
• Computer Science
• EURASIP J. Embed. Syst.
• 2010
A method called a composition kernel is introduced which uses a thin abstraction layer for accommodating kernels without making direct dependencies between them and was significantly smaller than that in related work. Expand
KLOS : A High Performance Kernel-Less Operating System
Operating Systems provide services that are accessed by processes via mechanisms that involve a ring transition to transfer control to the kernel where the required function is performed. This hasExpand
Providing Protected Execution Environments for Embedded Operating Systems Using a µ-Kernel
• Computer Science
• EUC
• 2004
This paper presents an approach, in which a microkernel is employed to provide protected execution environments for the existing embedded kernels, and develops the system that consists of TL4 microkernel and a μITRON embedded kernel, and shows the feasibility of the approach through evaluations. Expand
Using the OSKit as a base for L4 applications
This paper describes the port of the OSKit to L4, and shows ways of using the OS Kit and assess their difficulty, and aims at making L4 developers more accustomed with the OSkit. Expand
A High Performance Kernel-Less Operating System Architecture
• Computer Science, Engineering
• ACSC
• 2005
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
Think: A Software Framework for Component-based Operating System Kernels
• Computer Science
• USENIX Annual Technical Conference, General Track
• 2002
Performance measurements show no degradation due to componentization and the systematic use of the binding framework, and that application-specific kernels can achieve speed-ups over standard general-purpose operating systems such as Linux. Expand

#### References

SHOWING 1-10 OF 111 REFERENCES
On micro-kernel construction
Contradictory to this belief, it is shown and support by documentary evidence that inefficiency and inflexibility of current μ-kernels is not inherited from the basic idea but mostly from overloading the kernel and/or from improper implementation. Expand
The impact of operating system structure on memory system performance
• Computer Science
• SOSP '93
• 1993
This paper evaluates the memory system behavior of two distinctly different implementations of the UNIX operating system: DEC's Ultrix, a monolithic system, and Mach 3.0 with CMU's UNIX server, a microkernel-based system, showing that the micro kernel- based system executes substantially more non-idle system instructions for an equivalent workload than themonolithic system. Expand
Improving IPC by kernel design
The main ideas are to guide the complete kernel design by the ipc requirements, and to make heavy use of the concept of virtual address space inside the &mu;-kernel itself. Expand
Linux on the OSF Mach3 microkernel
• Computer Science
• 1996
The architecture of the Linux server is described, emphasizing the areas requiring interaction between the Linux code and the microkernel, and some performance improvements are presented. Expand
Toward real microkernels
The second-generation microkernels may be a basis for all types of operating systems, including timesharing, mul-timedia, and soft and hard real time. Expand
Dealing with disaster: surviving misbehaved kernel extensions
• Computer Science
• OSDI '96
• 1996
This paper explains how VINO uses software fault isolation as its safety mechanism and a lightweight transaction system to cope with resource-hoarding and finds that while the overhead of these techniques is high relative to the cost of the extensions themselves, it is lowrelative to the benefits that extensibility brings. Expand
Operating system benchmarking in the wake of lmbench: a case study of the performance of NetBSD on the Intel x86 architecture
• Computer Science
• SIGMETRICS '97
• 1997
Modifications to lmbench are described, and a new benchmark suite, hbench:OS, is used to examine how the performance of operating system primitives under NetBSD has scaled with the processor evolution of the Intel x86 architecture. Expand
Optimistic incremental specialization: streamlining a commercial operating system
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. Expand
Generic virtual memory management for operating system kernels
• Computer Science
• SOSP '89
• 1989
The rationale and design of a Generic Memory management Interface is discussed, for a family of scalable operating systems, which provides abstractions for support of a single, consistent cache for both mapped objects and explicit I/O, and control of data caching in real memory. Expand
Exokernel: an operating system architecture for application-level resource management
• Computer Science
• SOSP
• 1995
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. Expand