janAkali@lemmy.sdf.org to Programmer Humor@programming.dev · 2 days agoUnsafe Rust: living up to its namelemmy.sdf.orgimagemessage-square11fedilinkarrow-up152arrow-down164
arrow-up1-12arrow-down1imageUnsafe Rust: living up to its namelemmy.sdf.orgjanAkali@lemmy.sdf.org to Programmer Humor@programming.dev · 2 days agomessage-square11fedilink
minus-squarejanAkali@lemmy.sdf.orgOPlinkfedilinkarrow-up7arrow-down33·2 days agohttps://doc.rust-lang.org/nomicon/races.html Safe Rust guarantees an absence of data races I know that it was unsafe block in this CVE, but the irony of the situation is funny.
minus-squarexylogx@lemmy.worldlinkfedilinkEnglisharrow-up64arrow-down1·2 days agoNot only unironic but explained in the doc you referenced: “However Rust does not prevent general race conditions. This is mathematically impossible in situations where you do not control the scheduler, which is true for the normal OS environment.”
https://doc.rust-lang.org/nomicon/races.html
I know that it was unsafe block in this CVE, but the irony of the situation is funny.
Not only unironic but explained in the doc you referenced:
“However Rust does not prevent general race conditions.
This is mathematically impossible in situations where you do not control the scheduler, which is true for the normal OS environment.”