4 ms·
A data race does not necessarily imply a bug, even within your definition (which is only relevant for classical multithreaded applications).
by jfkebwjsbx 6y ago
A data race does not necessarily imply a bug, even within your definition (which is only relevant for classical multithreaded applications).
- steerablesafe 6y agoIn C++ a data race is UB, so it is most definitely always a bug there.
- CodesInChaos 6y agoThe C++ standard's definition of a datarace only applies to ordinary memory access and rules those cases UB. But if you port such code to use relaxed load/store operations it's just as racey, but no longer UB. I'd consider still consider those cases data races, even though they don't meet the C++ standard's definition of them.
- steerablesafe 6y agoThen you probably don't consider Rust datarace free as well.