Mobile 274 Views

by Daeyoung Song on 2018-01-12 17:45:41

Title : The Performance of μ-Kernel-Based Systems

SOSP(Symposium on Operating Systems Principles) ‘97

Author : Hermann H¨artig, Michael Hohmuth, Sebastian Sch¨onberg Jean Wolter (Department of Computer Science, Dresden University of Technology, Germany), Jochen Liedtke (IBM T.J. Watson Research Center) 

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\ throughput which is only 5% lower than that of native Linux. The  corresponding penalty is 5 times higher for a co-located in-kernel version 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 personality 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.



Article source:μ-Kernel-Based-Systems.html