Comment by SkiFire13
2 days ago
> One of the basic ideas behind Rust's memory safety story is that eliminating race conditions
Rust does not prevent race conditions. You're getting confused with data races.
However GC's solution to data races (make every load/store act as very relaxed atomic instructions) makes race conditions much easier to write.
Rust does prevent race conditions.
Is this the classic "split out obviously wrong facts to get corrected"?
I'll take the bait then. Here's rust official documentation stating that it doesn't prevent race conditions: https://doc.rust-lang.org/nomicon/races.html
Rust helps prevent some race conditions, but an unqualified "prevents race conditions" sounds like it eliminates them, hence why GP says it does not.
It prevents "user A kicked B" and "user B revoked moderator permission from A" from arriving in a queue near the same moment?