dataracebench
dataracebench copied to clipboard
LLNL
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
Hello Sir/ Madam We are from a research group at Iowa State University, USA. We want to do a survey on Github developers on the methods they used for paralleling...
https://linux.die.net/man/1/time All tests currently fail, because time aborts for unknown flag.
the benchmark lists also needs updating. The good thing is that new tests are limited. https://github.com/LLNL/dataracebench/blob/master/benchmarkList.md https://github.com/LLNL/dataracebench/blob/master/benchmarkListFortran.md
https://github.com/LLNL/dataracebench/wiki/Tool-Evaluation-Dashboard
For LU, two tools (Intel Inspector and Archer)can analyze it without crashes or timeout. Both tools report that a function named blts has data races. Our investigation finds that blts...
https://github.com/LLNL/dataracebench/blob/master/micro-benchmarks/DRB136-taskdep-mutexinoutset-orig-yes.c pairs should be on c , instead of on variable d. Also multiple pairs.
For a LLVM-based tool Clang/LLVM-9.0.0 , the generated IR for DRB090 and DRB124, both with races optimized away by O1 and above. But the races do appear at O0 level.
to account for width of the variable access This alignes the annotation to annotations in other codes