Thermite OS : Memory Safety in Operating Systems Development
Thermite OS, a minimal operating system in the Rust programming language, is developed to evaluate the benefits to memory safety it claims to provide and attempts to leverage the type and memory safety guarantees of the Rust language.
Abstract
Memory safety in current commercial operating systems is left to the developer to manage because of language constraints. We have developed Thermite OS, a minimal operating system in the Rust programming language, to evaluate the benefits to memory safety it claims to provide. Rust is a statically-typed programming language that encodes memory lifetimes in its type system to eliminate double free errors, use after free errors, and memory leaks. Thermite OS attempts to leverage the type and memory safety guarantees of the Rust language.