Theseus: A modern experimental OS written from scratch in Rust

Post by piaste » Tue, Jan 12, 2021, 10:05 AM UTC

raggi wrote: post #12

saghm wrote: post #9

I 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…

Post by agumonkey » Tue, Jan 12, 2021, 10:10 AM UTC

Post by scotty79 » Tue, Jan 12, 2021, 10:44 AM UTC

Blikkentrekker wrote: post #61

scotty79 wrote: post #57

Earlier quoted context omitted.

Are they really useful or are they just easy to copy and to rember? Staying power of memes in culture has little to do with their usefulness. Whole lot of popular narratives distract us from the nature of reality rather than helps us interact with it. I would gladly see introduction to particle physics that doesn't show a single sharp rigid sphere.

This is also an argument that is worth considering. Many such distinctions that cannot be made rigorous that stick in various cultures but never existed in others simply exist because a man copies his fellow man, not because they are useful in achieving any goals. Though, as I said, they exist to simplify reality. I assume he human brain works so it does, simply to conserve energy and admit an inaccurate though usual…

Post by pjmlp » Tue, Jan 12, 2021, 10:47 AM UTC

monocasa wrote: post #94

pjmlp wrote: post #89

Earlier quoted context omitted.

IBM and Unisys mainframes also support POSIX filesystems, as does Windows, so now they are UNIXes?

z/OS is a full blown, certified UNIX. WSL1 makes NT a unix kernel if they wanted to get the certification. And redox goes beyond them in that the only user mode env it supports is posix with some extensions. But how is this line germane to the original point again? That somehow being a microkernel means that it can't be a unix like design OS?

Post by cbozeman » Tue, Jan 12, 2021, 11:14 AM UTC

Blikkentrekker wrote: post #60

Erlich_Bachman wrote: post #54

Earlier quoted context omitted.

By that logic you would need to call like half of all useful phenomena that most people's lives consist of and depend on, as "man-made delusion". We still need to interact with our lives, and many of the abstractions help us do that. BTW if you just replace the word "delusion" with "abstraction" you'll probably see how it makes a lot of sense. Every abstraction is a delusion by definition, is it not? Because the abst…

> By that logic you would need to call like half of all useful phenomena that most people's lives consist of and depend on, as "man-made delusion". We still need to interact with our lives, and many of the abstractions help us do that. And they are, and they might help you, but trying to ask scientific or metaphysical quæstions about it, is an exercise in futility. > BTW if you just replace the word "delusion" with "…