Enoki: High Velocity Linux Kernel Scheduler Development
Samantha Miller, Anirudh Kumar, Tanay Vakharia, Ang Chen, Danyang Zhuo, Thomas E. Anderson
Abstract
Kernel task scheduling is important for application performance, adaptability to new hardware, and complex user requirements. However, developing, testing, and debugging new scheduling algorithms in Linux, the most widely used cloud operating system, is slow and difficult. We developed Enoki, a framework for high velocity development of Linux kernel schedulers. Enoki schedulers are written in safe Rust, and the system supports live upgrade of new scheduling policies into the kernel, userspace debugging, and bidirectional communication with applications. A scheduler implemented with Enoki achieved near identical performance (within 1% on average) to the default Linux scheduler CFS on a wide range of benchmarks. Enoki is also able to support a range of research schedulers, specifically the Shinjuku scheduler, a locality aware scheduler, and the Arachne core arbiter, with good performance.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext d268a7c0-84aa-48a8-bf6d-d5cbd77124f9Cited by top-tier papers4
- ASTERINAS: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCBYuke Peng, Hongliang Tian, Junyang Zhang, Ruihan Li et al.USENIX ATC 2025 · 16 citations
- Skyloft: A General High-Efficient Scheduling Framework in User SpaceYuekai Jia, Kaifu Tian, Yuyang You, Yu Chen et al.SOSP 2024 · 3 citations
- Virtualizing eBPF with Late-BindingJing Zhang, Xiaguannan Song, Dong Du, Yubin Xia et al.OSDI 2026
- kSFS: Repurposing a Microkernel-like Interface for Fast and Secure In-Kernel Linux File SystemsDinglan Peng, Pedro FonsecaUSENIX Security 2026
Builds on8
- RedLeaf: Isolation and Communication in a Safe Operating SystemVikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel et al.OSDI 2020 · 86 citations
- Theseus: an Experiment in Operating System Structure and State ManagementKevin Boos, Namitha Liyanage, Ramla Ijaz, Lin ZhongOSDI 2020 · 67 citations
- ghOSt: Fast & Flexible User-Space Delegation of Linux SchedulingJack Tigar Humphries, Neel Natu, Ashwin Chaugule, Ofir Weisse et al.SOSP 2021 · 60 citations
- High Velocity Kernel File Systems with BentoSamantha Miller, Kaiyuan Zhang, Mengqi Chen, Ryan Jennings et al.FAST 2021 · 28 citations
- Cerebros: Evading the RPC Tax in DatacentersArash Pourhabibi Zarandi, Mark Sutherland, Alexandros Daglis, Babak FalsafiMICRO 2021 · 24 citations
Related papers
- Efficient Scheduler Live Update for Linux Kernel with ModularizationTeng Ma, Shanpei Chen, Yihao Wu, Erwei Deng et al.ASPLOS 2023 · 9 citations
- Syrup: User-Defined Scheduling Across the StackKostis Kaffes, Jack Tigar Humphries, David Mazières, Christos KozyrakisSOSP 2021 · 35 citations
- TickTock: Verified Isolation in a Production Embedded OSVivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy et al.SOSP 2025
- OS scheduling with nest: keeping tasks close together on warm coresJulia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste Lepers et al.EuroSys 2022 · 9 citations
- Beehive: A Scalable Disaggregated Memory Runtime Exploiting Asynchrony of Multithreaded ProgramsQuanxi Li, Hong Huang, Ying Liu, Yanwen Xia et al.NSDI 2025 · 7 citations
