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

Redox – A Unix-Like Operating System Written in Rust

redox-os.org

Post reply on HN
Print view View original

31–40 of 215 posts

Re: Redox – A Unix-Like Operating System Written in Rust

#31

Post by steveklabnik »

caipre wrote: post #23
Manishearth wrote: post #16

Earlier quoted context omitted.

Btw, if anyone is interested in learning how to write an OS, and interested in Rust, check out https://intermezzos.github.io/ . It's a "learning OS" in Rust, with a companion book. Incomplete, but a good start.

This looks outstanding, thanks for the link.

Project lead here. I haven't had time in the last few weeks to work on this, so the book is pretty far behind the kernel itself at the moment. Playing the long game. I was hoping to do some more today, in fact...

Re: Redox – A Unix-Like Operating System Written in Rust

#32

Post by steveklabnik »

yincrash wrote: post #26

I wonder why they decided to write their own coreutils instead of using https://github.com/uutils/coreutils

That project is attempting to re-create GNU-style coreutils, they wanted a slimmer, BSD style one, from what I understand.

Re: Redox – A Unix-Like Operating System Written in Rust

#33

Post by k__ »

bluecmd wrote: post #22
iagooar wrote: post #18

Earlier quoted context omitted.

Warning: I have no idea about systems programming. I understand that the amount of lines of driver code comes from the variety of devices. But still, it looks completely unbalanced, when compared to the kernel code itself. So I have some questions here: 1) Shouldn't there be common interfaces / abstractions for most of the devices? 2) If they exist, could they be improved somehow? 3) A bit unrelated, but how fun / in…

There are. USB, SATA, SCSI and such share a lot of code between the drivers - but drivers are huge.

I would guess, that most of the size comes from history.

Like, once it seemed a good idea to have it like that and later people found out there are a bunch of things missing. Now many of them have to be implemented on the driver side over and over again.

Re: Redox – A Unix-Like Operating System Written in Rust

#34

Post by Manishearth »

amelius wrote: post #25

I was reading this: http://www.redox-os.org/book/book/design/urls_schemes_resour... and I really got interested in the "everything is a URL" idea. But then I noticed that the most important parts of this text were missing :/ Perhaps somebody can clarify here.

There's a bit more info here: https://github.com/redox-os/redox/wiki/URL

Re: Redox – A Unix-Like Operating System Written in Rust

#35

Post by fche »

progman wrote: post #24
fche wrote: post #17

How many "unsafe" declarations should one expect in regions of the code that will need to deal with untrusted data (like networks, syscalls)?

I guess not very much if Redox will support open hardware. http://www.xda-developers.com/risc-v-cores-and-why-they-matt... http://hackaday.com/2014/08/19/open-source-gpu-released/ http://www.openfpga.org http://hackaday.com/2014/08/19/open-source-gpu-released/ http://open-ethernet.com Some compelling projects (GPU) failed for lack of interest. The concepts behind those projects did not fail because most of the projec…

rust "unsafe" is not about proprietariness of the hardware. It's about doing lower level operations that, in order to express, the rust compiler's safety logic must be disabled.

Re: Redox – A Unix-Like Operating System Written in Rust

#36

Post by Manishearth »

fche wrote: post #17

How many "unsafe" declarations should one expect in regions of the code that will need to deal with untrusted data (like networks, syscalls)?

I don't know about Redox, but Phil's Rust OS (http://os.phil-opp.com/) seems to manage to minimize unsafe Rust and only use it to create some low level OS abstractions that can be safely used. It's pretty neat.

Re: Redox – A Unix-Like Operating System Written in Rust

#38

Post by progman »

fche wrote: post #35
progman wrote: post #24

Earlier quoted context omitted.

I guess not very much if Redox will support open hardware. http://www.xda-developers.com/risc-v-cores-and-why-they-matt... http://hackaday.com/2014/08/19/open-source-gpu-released/ http://www.openfpga.org http://hackaday.com/2014/08/19/open-source-gpu-released/ http://open-ethernet.com Some compelling projects (GPU) failed for lack of interest. The concepts behind those projects did not fail because most of the projec…

rust "unsafe" is not about proprietariness of the hardware. It's about doing lower level operations that, in order to express, the rust compiler's safety logic must be disabled.

You are right. Barebone stuff is usually unsafe.

The point I'm trying to make is that open hardware could also be programmed in Rust, reducing the number of "unsafe" blocks in user applications. Software for proprietary hardware is usually written in unsafe C/C++.

Re: Redox – A Unix-Like Operating System Written in Rust

#40

Post by BinaryIdiot »

steveklabnik wrote: post #31
caipre wrote: post #23

Earlier quoted context omitted.

This looks outstanding, thanks for the link.

Project lead here. I haven't had time in the last few weeks to work on this, so the book is pretty far behind the kernel itself at the moment. Playing the long game. I was hoping to do some more today, in fact...

It looks really interesting! I'm going to be looking at it probably next weekend :)
Post reply on HN