How to Fillet a Penguin:Runtime Data Driven Partitioning of Linux Code

Schwahn, O. and Winter, S. and Coppik, N. and Suri, Neeraj (2018) How to Fillet a Penguin:Runtime Data Driven Partitioning of Linux Code. IEEE Transactions on Dependable and Secure Computing, 15 (6). pp. 945-958. ISSN 1545-5971

Full text not available from this repository.


In many modern operating systems (OSs), there exists no isolation between different kernel components, i.e., the failure of one component can affect the whole kernel. While microkernel OSs introduce address space separation for large parts of the OS, their improved fault isolation comes at the cost of performance. Despite significant improvements in modern microkernels, monolithic OSs like Linux are still prevalent in many systems. To achieve fault isolation in addition to high performance and code reuse in these systems, approaches to move only fractions of kernel code into user mode have been proposed. These approaches solely rely on static code analyses for deciding which code to isolate, neglecting dynamic properties like invocation frequencies. We propose to augment static code analyses with runtime data to achieve better estimates of dynamic properties for common case operation. We assess the impact of runtime data on the decision what code to isolate and the impact of that decision on the performance of such 'microkernelized' systems. We extend an existing tool chain to implement automated code partitioning for existing monolithic kernel code and validate our approach in a case study of two widely used Linux device drivers and a file system. © 2004-2012 IEEE.

Item Type:
Journal Article
Journal or Publication Title:
IEEE Transactions on Dependable and Secure Computing
Uncontrolled Keywords:
ID Code:
Deposited By:
Deposited On:
11 Oct 2019 14:40
Last Modified:
22 Nov 2022 08:11