janAkali@lemmy.sdf.org to Programmer Humor@programming.dev · 8 days agoUnsafe Rust: living up to its namelemmy.sdf.orgimagemessage-square11fedilinkarrow-up154
arrow-up154imageUnsafe Rust: living up to its namelemmy.sdf.orgjanAkali@lemmy.sdf.org to Programmer Humor@programming.dev · 8 days agomessage-square11fedilink
minus-squarejanAkali@lemmy.sdf.orgOPlinkfedilinkarrow-up8·8 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-up68·8 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.”