2 ms·
"Data race which doesn't seem to modify the data" is actually often not a false positive, they're called "Benign data races" and well, go read the literature, i
by tialaramex 1y ago
"Data race which doesn't seem to modify the data" is actually often not a false positive, they're called "Benign data races" and well, go read the literature, it's often difficult to be sure they're truly "benign" and if there's a subtle reason why they aren't that's now a crazy hard to spot bug in your program.
So yeah, just fix 'em. Most of them you dodged a bullet, and even when you didn't it will now be easier for the next person to reason about the software.
- kiitos 1y agoYeah in fact there is no such thing as a benign data race -- https://web.archive.org/web/20181022150257/https://software.intel.com/en-us/blogs/2013/01/06/benign-data-races-what-could-possibly-go-wrong https://web.archive.org/web/20181022150257/https://software....
- vlovich123 1y agoI agree. That doesn’t mean that TSAN doesn’t have false positives even though they may be rare.
- kiitos 1y agoSure, but nobody is gonna rely on TSAN to determine data races in their code :)