Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Theseus: A modern experimental OS written from scratch in Rust

github.com

Post reply on HN
Print view View original

21–30 of 153 posts

Re: Theseus: A modern experimental OS written from scratch in Rust

#21

Post by Shared404 »

netsec_burn wrote: post #16
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?

https://gitlab.redox-os.org/redox-os/redox/-/issues/1327

How does that apply?

Of course every OS is going to have vulnerabilities. No one claims otherwise.

Re: Theseus: A modern experimental OS written from scratch in Rust

#25

Post by kevin_thibedeau »

coldtea wrote: post #17
kev009 wrote: post #15

Earlier quoted context omitted.

IBM i (OS/400) has had single address space, tagged pointers, and an number of other "novel" things in the loop for eons. Many people interact with it daily, indirectly, in most of your big box retail stores (think stores like Costco, Lowes, etc).

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?

Re: Theseus: A modern experimental OS written from scratch in Rust

#26

Post by mcshaner1 »

User23 wrote: post #18
ipodopt wrote: post #7

Earlier quoted context omitted.

Thank you for the link! EDIT: End to end we do not give enough information from the application to OS to the hardware for perfect optimizations. We do not start with enough information and we lose too much down the stack. Especially around concurrency. I think that at the end of the day there is some atomic information needed by hardware and OS to make optimizes about all code running on the system. I see the approac…

I can't recall the details or find them searching online, but I recall reading back in around 2000 about an emulator that was actually faster than bare metal when emulating its own hardware. I think maybe it was a Sun Microsystems project, but I'm not sure. Does anyone else recall this?

Are you thinking of HP’s Dynamo? http://cseweb.ucsd.edu/classes/sp00/cse231/dynamopldi.pdf

Re: Theseus: A modern experimental OS written from scratch in Rust

#27

Post by CyberRabbi »

sweetsocks21 wrote: post #20
User23 wrote: post #18

Earlier quoted context omitted.

I can't recall the details or find them searching online, but I recall reading back in around 2000 about an emulator that was actually faster than bare metal when emulating its own hardware. I think maybe it was a Sun Microsystems project, but I'm not sure. Does anyone else recall this?

You might be thinking of the Taos Operating System? https://news.ycombinator.com/item?id=9806607 http://www.uruk.org/emu/Taos.html It had an object oriented assembly language that everything compiled to and it JIT'd/on-fly-compiled code IIRC. Sounded very cool.

These things always sound cool.

Re: Theseus: A modern experimental OS written from scratch in Rust

#29

Post by brod »

cosmotic wrote: post #3

What does modern mean in this context?

imo, "modern" would mean it removes or replaces features and characteristics which were exclusive to or popular in a previous time period but are not essential or can be replaced with "modern" alternatives.
Post reply on HN