41 ms·
When you write an operating system you eventually will have to go down into the boiler room and write assembly and such. This is most likely where the bugs occu
by UltraViolence 4y ago
When you write an operating system you eventually will have to go down into the boiler room and write assembly and such. This is most likely where the bugs occur.
Also, you need unsafe() blocks once in a while to interoperate with the extremely low-level assembler parts.
So I'm not in the least surprised there are still memory corruption errors in Redox.
Mind you the bug occurred in the memory paging code and was eventually fixed.
- richard_todd 4y agoYou literally said in another comment that rust is a "magic bullet" that will "put an end" to memory and thread bugs. That is clearly too much hype, when you can turn around and say you're not surprised that a rust microkernel still has memory corruption errors. Whether it's an unsafe() block, or that in a kernel a logic-bug can also be a memory-corrupting bug (and apparently a use-after-free bug), the fact remains: there's no magic bullet here. Just hopefully an overall improvement. We'll see.