Earlier quoted context omitted.
It’s being written in Rust in the year 2021.
That is a very weak definition of "modern"
I find that the word “modern” is usually meaningless marketing filler.
Theseus: A modern experimental OS written from scratch in Rust
31–40 of 153 posts
Re: Theseus: A modern experimental OS written from scratch in Rust
#32:) I've always have had a soft-spot for language-based designs. It's the only way we can get fearless refactoring throughout the stack. If I may plug, check out https://internals.rust-lang.org/t/dogfooding-z-build-std-in-... . I'm it can heave us over the fence for the types of things that will make having a no_std cargo ecosystem easier.
2021 is the year of the lisp machine, I just know it!!! :(
Re: Theseus: A modern experimental OS written from scratch in Rust
#33:) I've always have had a soft-spot for language-based designs. It's the only way we can get fearless refactoring throughout the stack. If I may plug, check out https://internals.rust-lang.org/t/dogfooding-z-build-std-in-... . I'm it can heave us over the fence for the types of things that will make having a no_std cargo ecosystem easier.
2021 is the year of the lisp machine, I just know it!!! :(
If you explained why you want it to be, someone might hear.
Re: Theseus: A modern experimental OS written from scratch in Rust
#34Earlier quoted context omitted.
Parent did say "it [single address space] feels reliant on hardware less defective than we presently have in commodity user gui performance systems". OS/400 and successors don't run on this kind of hardware.
Is that kind of hardware going to be available in 50 years?
Given how we don't even have ECC memory, we shouldn't hold our breaths...
Re: Theseus: A modern experimental OS written from scratch in Rust
#35One of the most interesting projects I've seen on here in a while. Thinking of the massive efforts of thousands of developers who get Linux to where it is today, its a daunting undertaking, but definitely one that could be worthwhile, though I think it will depend on rallying lots and lots of skilled engineers.
In the early days of Linux, getting something like your wifi to work could be a hassle, I wonder if enough have changed in the driver space that we can quickly power through some of these challenges today.
Re: Theseus: A modern experimental OS written from scratch in Rust
#36Re: Theseus: A modern experimental OS written from scratch in Rust
#37The name alludes to the Ship of Theseus, a thought experiment where, over the course of many repairs, every piece of a ship is eventually replaced. Given that, I found it interesting that this is applied to a novel greenfield OS effort, instead of a project to rewrite an existing OS in Rust piece-by-piece.
Re: Theseus: A modern experimental OS written from scratch in Rust
#38I was wondering how the project relates to the name - i.e. if there's some single holdover remnant or concept about it or if it's a hodgepodge of parts or something. Seems like it might be due to the modular nature of the kernel being spread across several Rust Crates. Clever reference!
From the "High Level Overview" doc (not the readme) :
> The Theseus kernel is composed of many small entities, each contained within a single Rust crate, and built all together as a cargo virtual workspace.
Re: Theseus: A modern experimental OS written from scratch in Rust
#39I did a ctrl+F for the word "redox" here, since that's already modern experimental OS being written in Rust that's existed for some time, and I was surprised not to see it mentioned at all; I figured there would be a section for modern OS neophytes like me comparing and constrasting the two. Anyone have any insight into how this project differs from Redox?
Redox is a unix style operating system with a unix style design and ABI. This operating system shares none of those goals, it seems to focus on a particular challenge related to the abstraction between subsystems of the operating system, following a term they call "state spilling". The goal appears to be to design an architecture that supports in-place updates of most components due to them having tightly constrained…
I wouldn't call micro-kernels a " unix style operating system with a unix style design", quite the opposite.
The only thing in common with UNIX from current Redox is the POSIX support.
Re: Theseus: A modern experimental OS written from scratch in Rust
#40Earlier quoted context omitted.
Is that kind of hardware going to be available in 50 years?
Given how we don't even have ECC memory, we shouldn't hold our breaths...
In what concerns ARM and SPARC platforms, memory tagging is happening and being adopted by Apple/Google platforms, in what concerns Intel, it was yet again another from their screwups.