The performance of μ-kernel-based systems
- 1 October 1997
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 31 (5), 66-77
- https://doi.org/10.1145/268998.266660
Abstract
First-generation p-kernels have a reputation for being too slow and lacking sufficient flexibility. To determine whether LA, a lean second-generation p-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 p-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 p-kernel. For L4Linux, the AIM benchmarks report a maximum through- put which is only 5% lower than that of native Linux. The corre- sponding penalty is 5 times higher for a co-located in-kernel ver- sion of MkLinux, and 7 times higher for a user-level version of MkLinux. These numbers demonstrate both that it is possible to implement a high-performance conventional operating system per- sonality above a p-kernel, and that the performance of the p-kernel is crucial to achieve this. Further experiments illustrate that the resulting system is highly extensible and that the extensions perform well. Even real-time memory management including second-level cache allocation can be implemented at user-level, coexisting with L4Linux.Keywords
This publication has 14 references indexed in Scilit:
- Making paths explicit in the Scout operating systemPublished by Association for Computing Machinery (ACM) ,1996
- Dealing with disasterPublished by Association for Computing Machinery (ACM) ,1996
- Toward real microkernelsCommunications of the ACM, 1996
- Optimistic incremental specializationPublished by Association for Computing Machinery (ACM) ,1995
- Extensibility safety and performance in the SPIN operating systemPublished by Association for Computing Machinery (ACM) ,1995
- ExokernelPublished by Association for Computing Machinery (ACM) ,1995
- On micro-kernel constructionPublished by Association for Computing Machinery (ACM) ,1995
- The impact of operating system structure on memory system performancePublished by Association for Computing Machinery (ACM) ,1993
- Clans & ChiefsPublished by Springer Science and Business Media LLC ,1992
- Generic virtual memory management for operating system kernelsPublished by Association for Computing Machinery (ACM) ,1989