@inproceedings{76053caf2b504df391820d7be17d0175,
title = "CARAT CAKE: Replacing Paging via Compiler/Kernel Cooperation",
abstract = "Virtual memory, specifically paging, is undergoing significant innovation due to being challenged by new demands from modern workloads. Recent work has demonstrated an alternative software only design that can result in simplified hardware requirements, even supporting purely physical addressing. While we have made the case for this Compiler-And Runtime-based Address Translation (CARAT) concept, its evaluation was based on a user-level prototype. We now report on incorporating CARAT into a kernel, forming Compiler-And Runtime-based Address Translation for CollAborative Kernel Environments (CARAT CAKE). In our implementation, a Linux-compatible x64 process abstraction can be based either on CARAT CAKE, or on a sophisticated paging implementation. Implementing CARAT CAKE involves kernel changes and compiler optimizations/transformations that must work on all code in the system, including kernel code. We evaluate CARAT CAKE in comparison with paging and find that CARAT CAKE is able to achieve the functionality of paging (protection, mapping, and movement properties) with minimal overhead. In turn, CARAT CAKE allows significant new benefits for systems including energy savings, larger L1 caches, and arbitrary granularity memory management.",
keywords = "kernel, memory management, runtime, virtual memory",
author = "Brian Suchy and Souradip Ghosh and Drew Kersnar and Siyuan Chai and Zhen Huang and Aaron Nelson and Michael Cuevas and Alex Bernat and Gaurav Chaudhary and Nikos Hardavellas and Simone Campanoni and Peter Dinda",
note = "Funding Information: This project was supported by the United States National Science Foundation via grants 1763743. 1908488, 2028851, 2119069. Publisher Copyright: {\textcopyright} 2022 ACM.; 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2022 ; Conference date: 28-02-2022 Through 04-03-2022",
year = "2022",
month = feb,
day = "28",
doi = "10.1145/3503222.3507771",
language = "English (US)",
series = "International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS",
publisher = "Association for Computing Machinery",
pages = "98--114",
editor = "Babak Falsafi and Michael Ferdman and Shan Lu and Wenisch, {Thomas F.}",
booktitle = "ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems",
}