janAkali@lemmy.sdf.org to Programmer Humor@programming.dev · 1 month agoUnsafe Rust: living up to its namelemmy.sdf.orgimagemessage-square11fedilinkarrow-up153arrow-down171
arrow-up1-18arrow-down1imageUnsafe Rust: living up to its namelemmy.sdf.orgjanAkali@lemmy.sdf.org to Programmer Humor@programming.dev · 1 month agomessage-square11fedilink
minus-squaretyler@programming.devlinkfedilinkarrow-up87·1 month agoIt’s not. It’s literally code in an unsafe block. The OP is either trolling or actually ignorant.
minus-squarejanAkali@lemmy.sdf.orgOPlinkfedilinkarrow-up7arrow-down37·1 month 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-up67arrow-down1·1 month 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.”
It’s not. It’s literally code in an
unsafeblock. The OP is either trolling or actually ignorant.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.”