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.