News for hackers. Stuff that matters.

A comment on Writing an OS in Rust: Advanced Paging. Parent comment

Re:Writing an OS in Rust: Advanced Paging by JoeAltmaier on Monday January 28, 2019 @11:09AM (#19018543)
C++ can bring very little baggage. That's why its widely used in Embedded environments.

And I'd wager that C++ can write far better optimized abstractions than a human in C every could. In most cases.

Writing memory-safe C is clearly possible - many other enviroments are written in C. It come down to using a safe subset.

[ Parent | on HN ]
Re:Writing an OS in Rust: Advanced Paging by TheCoelacanth on Monday January 28, 2019 @11:52AM (#19018957)
> Writing memory-safe C is clearly possible - many other enviroments are written in C

Show me one major piece of C software that does not have frequent memory-safety bugs and I might believe that.

[ Parent | on HN ]
Re:Writing an OS in Rust: Advanced Paging by richardwhiuk on Monday January 28, 2019 @03:53PM (#19020979)
djbdns/qmail might qualify here.
[ Parent | on HN ]
Re:Writing an OS in Rust: Advanced Paging by tptacek on Tuesday January 29, 2019 @12:31AM (#19024005)
qmail had LP64 memory corruption bugs.
[ Parent | on HN ]
Re:Writing an OS in Rust: Advanced Paging by JoachimSchipper on Tuesday January 29, 2019 @02:26AM (#19024477)
One ever right? I wouldn't count that as "frequent" - lots of programs in memory-safe languages have more/worse bugs than qmail.

Of course, the existence of one significant not-too-vulnerable C program doesn't really prove a lot either way...

[ Parent | on HN ]
Re:Writing an OS in Rust: Advanced Paging by tptacek on Tuesday January 29, 2019 @03:24PM (#19029511)
I though Georgi Guninski found several.
[ Parent | on HN ]