HotOS 2021: An Incremental Path Towards a Safe OS Kernel (Fun Kernel Design)
HotOS 2021 — https://sigops.org/s/conferences/hotos/2021/
“An Incremental Path Towards a Safe OS Kernel”
Jialin Li, Samantha Miller (University of Washington), Danyang Zhuo (Duke University), Ang Chen (Rice University), Jon Howell (VMware Research), Thomas Anderson (University of Washington)
Session: Fun Kernel Design — 12pm, 2021 June 3
Linux has become the de-facto operating system of our age, but its vulnerabilities are a constant threat to service availability, user privacy, and data integrity. While one might scrap Linux and start over, the cost of that would be prohibitive due to Linux’s ubiquitous deployment. In this paper, we propose an alternative, incremental route to a safer Linux through proper modularization and gradual replacement module by module. We lay out the research challenges and potential solutions for this route, and discuss the open questions ahead.
by ACM SIGOPS
linux foundation
