I'm curious why you seem to think that Rust makes new OS architectures possible. Rust is a language, and languages have nothing to do with OSes. Do you mean new kernel structures?
Because you can write more complex systems with it. E.g. asynchrony is much easier, therefore you can use it more frequently. Like you can write pretty complex kernel code without worrying about anything.
Similarly, some of the errors that are commonly handled by the OS are made impossible to express in Rust. Your OS can me made much leaner without loosing anything.
That's just not true. You don't get any of Rust's threading guarantees at the kernel level because a gigantic portion of your code is `unsafe` anyway, and has to be. (See Redox).
And 'some of the errors that are commonly handled by the OS' might be theoretically impossible to express in Rust, but they can still happen, so they still need to be handled.
> You don't get any of Rust's threading guarantees at the kernel level because a gigantic portion of your code is `unsafe` anyway, and has to be. (See Redox).
How do you not get "any"? You might lose some, because of unsafe code, but not all.
> And 'some of the errors that are commonly handled by the OS' might be theoretically impossible to express in Rust, but they can still happen, so they still need to be handled.
Sure but it's a fundamentally different situation. The types of errors might be pretty different.
reply