Re:Is it time to rewrite the operating system in Rust? [slides]
by pjmlp on Thursday November 08, 2018 @04:06PM
(#18410028)
Because it is a big difference to have 100% of the code unsafe or just a set of visible code regions marked as such.
[ Parent
| on HN ]
Re:Is it time to rewrite the operating system in Rust? [slides]
by paavoova on Thursday November 08, 2018 @04:46PM
(#18410345)
Hyperbole, or do really believe every line of C is unsafe, in the literal sense, by default? Pray tell me what is the difference between
// safe, tested, C
...
// potentially dangerous C deemed thus for whatever arbitrary reason
And // "safe" Rust
...
// "unsafe" Rust
Re:Is it time to rewrite the operating system in Rust? [slides]
by pjmlp on Friday November 09, 2018 @01:41AM
(#18412769)
Life experience since I touched C for the first time in 1992.
So yes I do belive, given the quality of the code bases I have seen in production.
And as discussed at Linux Kernel Security Summit 2018, which videos are freely available for you to watch as well, even with the rigorous process to accept patchs into the kernel, CVEs keep increasing.
68% of them were caused by memory corruption, something mostly unique to C and languages that are copy-paste compatible with it.
Then another good chunk was related to UB, something that even Linus already ranted a few times.
So yeah, Safe C is an oxymoron, unless we are talking about a new variant with safety turned on by default, where warnings are dealt as errors and everyone uses static analysers that break their CI builds on error.
Re:Is it time to rewrite the operating system in Rust? [slides]
by steveklabnik on Thursday November 08, 2018 @08:31PM
(#18411707)
Static analysis.