Cocoon: Custom-fitted kernel compiled on demand

Heinloth B, Ammon M, Nguyen DT, Hönig T, Sieh V, Schröder-Preikschat W (2019)

Publication Type: Conference contribution

Publication year: 2019

Publisher: Association for Computing Machinery, Inc

Pages Range: 1-7

Conference Proceedings Title: PLOS 2019 - Proceedings of the 10th Workshop on Programming Languages and Operating Systems, Part of SOSP 2019

Event location: Huntsville, ON CA

ISBN: 9781450370172

DOI: 10.1145/3365137.3365398

Abstract

As computer processors and their hardware designs continuously evolve, operating systems provide many different assembly-level implementations for the same functionality. This enables support for new platforms and ensures backward compatibility for older ones at the same time. However, the source code of operating systems grows more complex and becomes much harder to maintain. In this paper we explore ways to build made-to-measure system software by relegating work to the compiler which has necessary knowledge about the system at hand. We propose Cocoon, an approach for compiling a system-tailored and -optimized kernel at boot time. For two operating systems (i.e., Linux and FreeBSD) we demonstrate the soundness of the approach by hands of a prototypical implementation. The implementation shows various aspects of Cocoon, such as the ability to remove hard-to-maintain code while preserving and even increasing the system performance.

Authors with CRIS profile

Bernhard Heinloth Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Dustin Tien Nguyen Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Timo Hönig Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Volkmar Sieh Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Wolfgang Schröder-Preikschat Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

How to cite

APA:

Heinloth, B., Ammon, M., Nguyen, D.T., Hönig, T., Sieh, V., & Schröder-Preikschat, W. (2019). Cocoon: Custom-fitted kernel compiled on demand. In PLOS 2019 - Proceedings of the 10th Workshop on Programming Languages and Operating Systems, Part of SOSP 2019 (pp. 1-7). Huntsville, ON, CA: Association for Computing Machinery, Inc.

MLA:

Heinloth, Bernhard, et al. "Cocoon: Custom-fitted kernel compiled on demand." Proceedings of the 10th Workshop on Programming Languages and Operating Systems, PLOS 2019, held in conjunction with the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville, ON Association for Computing Machinery, Inc, 2019. 1-7.

BibTeX: Download