Literature Database Entry

ott2023justintime

Maximilian Ott, Phillip Raffeck, Volkmar Sieh and Wolfgang Schröder-Preikschat, "Towards Just-In-Time Compiling of Operating Systems," Proceedings of ACM Symposium on Operating Systems Principles (SOSP), 12th Workshop on Programming Languages and Operating Systems (PLOS 2023), Koblenz, Germany, October 2023, pp. 41–48.

Abstract

Operating systems are crucial for the performance of the overall system. Any inefficiency leads to a suboptimal use of the available resources and causes performance loss. The wide range of processors in use today makes it challenging to generate the most efficient code for the current hardware ahead of time. Just-in-time compilation, on the other hand, is able to generate efficient code tailored to the current execution context going beyond the processor, also including operating-system configuration or application demands. Moreover, its configuration can even be adapted at runtime to match the current external and internal requirements. Unfortunately, on-demand compilation of operating-system code has not found widespread use due to inherent difficulties stemming from the fact that any just-in-time approach requires extensive runtime support (e.g., for memory allocation for the generated code) usually provided by the operating system itself. A chicken-and-egg problem is found.We believe that this problem of mutual dependency can be resolved and that on-demand compilation of operating-system code can yield the most suitable code for the actual execution context by exploiting runtime knowledge. In this paper, we outline the DOSY approach for just-in-time compilation of operating systems, focusing on the necessary means of overcoming all resource restrictions in the form of a standalone auxiliary interpreter. We implement an interpreter prototype in the memory-safe programming language Rust. Initial measurements indicate promising performance results, encouraging further work towards complete just-in-time compilation of operating systems.

Quick access

Original Version DOI (at publishers web site)
BibTeX BibTeX

Contact

Maximilian Ott
Phillip Raffeck
Volkmar Sieh
Wolfgang Schröder-Preikschat

BibTeX reference

@inproceedings{ott2023justintime,
    author = {Ott, Maximilian and Raffeck, Phillip and Sieh, Volkmar and Schr{\"{o}}der-Preikschat, Wolfgang},
    doi = {10.1145/3623759.3624551},
    title = {{Towards Just-In-Time Compiling of Operating Systems}},
    pages = {41--48},
    publisher = {ACM},
    address = {Koblenz, Germany},
    booktitle = {ACM Symposium on Operating Systems Principles (SOSP), 12th Workshop on Programming Languages and Operating Systems (PLOS 2023)},
    month = {10},
    year = {2023},
   }
   
   

Copyright notice

Links to final or draft versions of papers are presented here to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted or distributed for commercial purposes without the explicit permission of the copyright holder.

The following applies to all papers listed above that have IEEE copyrights: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

The following applies to all papers listed above that are in submission to IEEE conference/workshop proceedings or journals: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible.

The following applies to all papers listed above that have ACM copyrights: ACM COPYRIGHT NOTICE. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept., ACM, Inc., fax +1 (212) 869-0481, or permissions@acm.org.

The following applies to all SpringerLink papers listed above that have Springer Science+Business Media copyrights: The original publication is available at www.springerlink.com.

This page was automatically generated using BibDB and bib2web.

Last modified: 2026-04-30