Comment by kaba0
4 years ago
You do realize that data races can happen between multiple programs as well, when shared resources are used? Which is pretty much a requirement for many things.
4 years ago
You do realize that data races can happen between multiple programs as well, when shared resources are used? Which is pretty much a requirement for many things.
Yes, and rust can't prevent those.
It can prevent data races in memory shared between processes in the same way it can prevent them in memory shared between threads. Data race prevention isn't built into the Rust language, it is constructed using a combination of the borrow checker and the type system.
As I understand the borrow checker, it wouldn't detect races that result from the interaction of separate processes, since that would be out of the bounds of the compilation unit. But my knowledge is limited in this, so I maybe wrong.
1 reply →