4 ms·
Data races are violations of the memory model; of course any code which produces data races cannot be understood as memory safe?
by preseinger 4y ago
Data races are violations of the memory model; of course any code which produces data races cannot be understood as memory safe?
- int_19h 4y agoThat's part of what the Rust borrow checker does for you: tracking who owns what and enforcing single ownership makes data races that much harder to cause.
- ngrilly 4y agoAs far as I remember, some languages like Java are memory safe even if the code produces data races. That means you can't have a reference to a value supposed to be of type A being actually of type B.