4 ms·
How do you know a program is free of data races?
by nyanpasu64 2y ago
How do you know a program is free of data races?
- aoli-al 2y agoFray does not know if a program is free of data races. Even if there are data races in a program, Fray can still find bugs, but this violates the soundness guarantee, so Fray may miss data race bugs.