search

LLNL / dataracebench

Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
Other
67 stars 29 forks source link

More than one team is necessary for a data race to be possible #152

Closed jprotze closed 1 year ago

jprotze commented 1 year ago

The presence of a race is still dependent on the implementation choice for locking on a device. With more than one team, there is at least the chance to have a race.

chunhualiao commented 1 year ago

Indeed more than one team is necessary for a data race to be possible. For dynamic tools, executing the code using such configuration is needed to catch the data races. However, for static analysis tools, there are no such requirements. A neutral benchmark may not need to explicitly specify thread or team counts in the source codes. Using environment variables for dynamic tools may be a better approach.