Several fixes for existing kernels - Githubissues

LLNL / dataracebench

Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.

Other

67 stars 29 forks source link

Several fixes for existing kernels #144

Open jprotze opened 1 year ago

jprotze commented 1 year ago

This is the artifact for an HPC Bugfest submission. The PR can be split into parts for review, if necessary.

This PR fixes several issues with current kernels:

exhaustive execution time for some kernels (infinite loop in a data-race-free kernel ?!?)
kernels without data race labeled with yes
result for some kernels depends on random input or scheduling decisions, making the classification result random/non-reproducible, especially for tasking kernels
-> introduce variants of these benchmarks that explicitly trigger the different choices

chunhualiao commented 1 year ago

@jprotze Could you please split this pull request into several smaller, independent ones?