The performance of μ-kernel-based systems

  title={The performance of μ-kernel-based systems},
  author={H. H{\"a}rtig and Michael Hohmuth and J. Liedtke and S. Sch{\"o}nberg and J. Wolter},
  booktitle={SOSP '97},
  • H. Härtig, Michael Hohmuth, +2 authors J. Wolter
  • Published in SOSP '97 1997
  • Computer Science
  • 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… CONTINUE READING
    Live migration of virtual machines
    • 2,872
    • Open Access
    Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor
    • 750
    • Open Access
    Proactive fault tolerance for HPC with Xen virtualization
    • 369
    • Open Access
    Improving the reliability of commodity operating systems
    • 518
    • Open Access
    mTCP: a Highly Scalable User-level TCP Stack for Multicore Systems
    • 243
    • Open Access
    NOVA: a microhypervisor-based secure virtualization architecture
    • 335
    • Highly Influenced
    • Open Access
    Can we make operating systems reliable and secure?
    • 164
    • Open Access
    High Performance VMM-Bypass I/O in Virtual Machines
    • 316
    • Open Access
    The role of virtualization in embedded systems
    • 240
    • Open Access


    Publications referenced by this paper.
    Unix under Mach: The Lites Server
    • 16
    • Highly Influential
    S.Eggers,andC. Chambers.Extensibility, safetyandperformancein theSpinoperatingsystem.In 15thACM Symposiumon Operating SystemPrinciples(SOSP
    • 1995
    Exokernel, an o perating system architecture for application-level resource ma nagement
    • 1995
    Exokernel, an operating systemarchitecturefor application-level resourcemanagement
    • 1995
    Onμ-kernel construction. In15th ACM Symposium on Operating System Principles (SOSP
    • 1995
    Unix under Mach: The Lites
    • 1994
    Linux on the OSFMach3microkernel. In ConferenceonFreelyDistributableSoftware, Boston, MA, February1996
    • 1996