3 ms·
GCs don't enforce temporal safety, no GC will ever prevent a race condition. The fact that the ownership concept in Rust prevents use-after-free bugs is just al
by eptcyka 4y ago
GCs don't enforce temporal safety, no GC will ever prevent a race condition. The fact that the ownership concept in Rust prevents use-after-free bugs is just almost a side-effect of achieving fearless concurrency.
- azakai 4y agoYou're right that Rust also prevents data races (which is great!), but "temporal memory safety" is usually used to mean use-after-free and related issues, not type-safe data races. That was the context here.
- pjmlp 4y agoNeither does Rust prevent all kind of race conditions, only the very special case of data races in the same process memory. Concurrency related races accessing external resources, nope.