3 ms·
Rust is not race condition free unless it the compiler does formal verification like Ada/Sparks? It is data-race free however.
by mratsim 3y ago
Rust is not race condition free unless it the compiler does formal verification like Ada/Sparks?
It is data-race free however.