3 ms·
My point: - Redox is built in Rust and had serious memory bugs triggered by userspace applications, people claim that we should build OS in Rust because it's "
by Thaxll 8y ago
My point:
- Redox is built in Rust and had serious memory bugs triggered by userspace applications, people claim that we should build OS in Rust because it's "memory" safe, in reality it's much more complex than that
- mmstick 8y agoIt did not have serious memory bugs. All of the unsafe code in Redox, of which only a small fraction is unsafe, is neatly compartmentalized so that it's easy to audit.
- Thaxll 8y agoIt was a year ago: https://gitlab.redox-os.org/redox-os/redox/issues/1136 https://gitlab.redox-os.org/redox-os/redox/issues/1136 https://gitlab.redox-os.org/redox-os/redox/issues/681 https://gitlab.redox-os.org/redox-os/redox/issues/681 And we're talking about a bunch of people randomly clicking / trying things, so imagine what's really inside Redox.