Any null pointer deference, overflow so far and how if so?
There have been overflow bugs, usually logic errors during subtraction.
I encourage the use of checked subtraction and addition to prevent these from becoming issues.
Show HN: Redox Rust OS – v0.3.3 release
51–60 of 80 posts
Re: Show HN: Redox Rust OS – v0.3.3 release
#52Earlier quoted context omitted.
I have added it. The username is `user` with an empty password, or `root` with a password of `password`. The only way to change this at the moment is to edit `/etc/passwd`, where they are stored after being encrypted using argon2.
>after being encrypted using argon2. Nitpick: s/encrypted/hashed/
True
Re: Show HN: Redox Rust OS – v0.3.3 release
#53I am the creator of Redox OS. It is a microkernel based operating system mostly written in Rust. Please ask any questions or make any comments you have about Redox! EDIT: I am going to sleep soon. I will be up in 8 hours, 7 A.M. Mountain Time.
Is Orbital the desktop for Redox, or are there plans for a modular DE/WM system where other desktops can be slotted in and selected from the login screen, or wherever? If it is going to be modular, are there any plans for compatibility with Linux DEs?
Yes, there are plans for others. Orbital is not tied to the lower level framebuffer driver, so it would be possible to write or port other GUI stacks.
Re: Show HN: Redox Rust OS – v0.3.3 release
#54I am the creator of Redox OS. It is a microkernel based operating system mostly written in Rust. Please ask any questions or make any comments you have about Redox! EDIT: I am going to sleep soon. I will be up in 8 hours, 7 A.M. Mountain Time.
How long until emacs ? or I should say remacs (rust ported emacs by Wilfred Hughes :)
Not sure. We just got termios support, and pthreads is WIP, so many programs like emacs should be portable.
Re: Show HN: Redox Rust OS – v0.3.3 release
#55I am the creator of Redox OS. It is a microkernel based operating system mostly written in Rust. Please ask any questions or make any comments you have about Redox! EDIT: I am going to sleep soon. I will be up in 8 hours, 7 A.M. Mountain Time.
i watched an interview you did on a podcast some time ago. i found it to be very interesting! in that interview you said that redox was not going to become a viable desktop operating system for a long time. you seemed to even dismiss the sentiment. is that still so?
I personally will use Redox once it is self-hosting as a desktop. However, there is a long, long way to go - wireless, graphics, and audio drivers must be improved.
Re: Show HN: Redox Rust OS – v0.3.3 release
#56I am the creator of Redox OS. It is a microkernel based operating system mostly written in Rust. Please ask any questions or make any comments you have about Redox! EDIT: I am going to sleep soon. I will be up in 8 hours, 7 A.M. Mountain Time.
What is your background? Like how many OSs have you written not in Rust?
I wrote a toy OS in 32-bit assembler when I was younger. It was terrible. Unikernel, basically, with no memory protection.
I then rewrote it in 64-bit assembler, for fun.
After learning about Rust, I immediately went to work on Redox. The bootloader and framebuffer initialization code were lifted from the old toy OS's.
Re: Show HN: Redox Rust OS – v0.3.3 release
#57I am the creator of Redox OS. It is a microkernel based operating system mostly written in Rust. Please ask any questions or make any comments you have about Redox! EDIT: I am going to sleep soon. I will be up in 8 hours, 7 A.M. Mountain Time.
any plans to port it to mobile phones? If anyone worked on porting a touch-based input drivers I could contribute!
Mobile phones are extremely diverse. Attempting to target any more than one model would be very difficult, and that one model would need to be owned by all contributors.
Re: Show HN: Redox Rust OS – v0.3.3 release
#58I am the creator of Redox OS. It is a microkernel based operating system mostly written in Rust. Please ask any questions or make any comments you have about Redox! EDIT: I am going to sleep soon. I will be up in 8 hours, 7 A.M. Mountain Time.
Your works are very amazing! I have three questions :) 1. Could you say your opinion about future of Rust. Will it become mainstream? 2. Pros/cons between Rust and C for system programming? 3. I heard many times that implementation of standart data structures like RBTree, Graphs without recursion traversal in Rust it's very difficult and painful tasks with unsafe hack code. So if i am Rust beginner i should avoid lea…
Not OP, but maybe can help:
1. I can definitely see its future in drivers, filesystems, codecs (areas where both performance and correctness is required).
2.
+ Rust has fantastic error handling. No null pointers. Mandatory error checking, but with very light syntax.
+ Dependencies and modularization in Rust are soooo much easier than in C.
+ You never have to write `free()` again.
+ Thread-safety can be guaranteed at compile time.
- Significant learning curve. You need to "get" Rust's ownership approach before you even manage to compile a non-trivial program.
- It's still "new", so it may be hard to convince people to use it. C is 45 years old, so it seems like a safe bet (it has flaws, but the flaws are well-known).
3. What Rust calls "unsafe" is what all of C is, so it's never worse than C. The idea is that you carefully implement these structures using raw ("unsafe") pointers, and wrap them in a safe Rust API. This way you need get it right once, and rest of the code doesn't have to worry about breaking things.
Re: Show HN: Redox Rust OS – v0.3.3 release
#59Earlier quoted context omitted.
Your works are very amazing! I have three questions :) 1. Could you say your opinion about future of Rust. Will it become mainstream? 2. Pros/cons between Rust and C for system programming? 3. I heard many times that implementation of standart data structures like RBTree, Graphs without recursion traversal in Rust it's very difficult and painful tasks with unsafe hack code. So if i am Rust beginner i should avoid lea…
Not OP, but maybe can help: 1. I can definitely see its future in drivers, filesystems, codecs (areas where both performance and correctness is required). 2. + Rust has fantastic error handling. No null pointers. Mandatory error checking, but with very light syntax. + Dependencies and modularization in Rust are soooo much easier than in C. + You never have to write `free()` again. + Thread-safety can be guaranteed at…
> You need to "get" Rust's ownership approach before you even manage to compile a non-trivial program.
I'm not entirely certain that's true. I wrote a useful (to me) cli script and only have the vaguest understanding of how the ownership model works. I think for text processing sorts of tasks, it's not too difficult to use.
Re: Show HN: Redox Rust OS – v0.3.3 release
#60I am the creator of Redox OS. It is a microkernel based operating system mostly written in Rust. Please ask any questions or make any comments you have about Redox! EDIT: I am going to sleep soon. I will be up in 8 hours, 7 A.M. Mountain Time.
How much unsafe code is in redox and the core utils and what are you doing to ensure that you don't end up with the same bugs in your unsafe code that you find in C codebases?