News for hackers. Stuff that matters.

A comment on Smart pointers for the kernel. Parent comment

Re:Smart pointers for the kernel by uecker on Saturday October 19, 2024 @01:07AM (#41885767)
The bug that can lead to a violation of assumptions required for safety of the unsafe block can be elsewhere. One can hope that it is near the bloc, but there is nothing in Rust enforcing this.
[ Parent | on HN ]
Re:Smart pointers for the kernel by Dylan16807 on Saturday October 19, 2024 @03:58PM (#41890304)
When you write "unsafe", you are promising to the compiler that the unsafe code enforces the assumptions it is making.

Unsafe code needs to keep its assumption-laden variables private, and it needs to verify the parameters that safe code sends it. If it doesn't do those things, it's breaking that promise.

[ Parent | on HN ]