This one is not just written in Rust – its design is based on Rust features
Tim Anderson
Thu 14 Jan 2021 // 11:03 UTC
Share
Copy
Rust, a modern system programming language focused on performance, safety and concurrency, seems an ideal choice for creating a new operating system, and several such projects already exist. Now there is a new one, Theseus, described by creator Kevin Boos as "an Experiment in Operating System Structure and State Management."
The key thinking behind Theseus is to avoid what Boos and three other contributors from Rice and Yale universities call "state spill".
In a paper presented at the USENIX symposium on operating systems design and implementation last November, the researchers defined this as when "one software component harboring changed states as a result of handling an interaction from another component, such that their future correctness depends on said states."