LLNL/dataracebench
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
CNOASSERTION
Issues
- 1
DRB133: Why there is no data race for x
#156 opened by xyuwang21 - 0
mismatch between C vs. Fortran for some files
#155 opened by chunhualiao - 4
DRB189-barrier3-yes.c does not contain a data race
#145 opened by jprotze - 0
update dashboard based on the latest v1.4.0
#131 opened by chunhualiao - 0
updating benchmark lists
#132 opened by chunhualiao - 0
merge pending pull requests
#121 opened by chunhualiao - 2
- 1
impact of compiler optimizations
#98 opened by chunhualiao - 0
address paper review comments
#119 opened by chunhualiao - 0
Survey Question on the For loop in source file micro-benchmarks/DRB178-input-dependence-var-yes.c line 41
#138 opened by LChenGit - 2
DRB136: possible wrong comments
#120 opened by chunhualiao - 3
-q is not a gnu time flag
#134 opened by jprotze - 2
DRB181-SmithWaterman-yes.c uses abs with long
#135 opened by jprotze - 0
support C++ templates
#137 opened by chunhualiao - 0
ISCP project report
#126 opened by peihunglin - 0
a possible new pattern from NPB LU
#130 opened by chunhualiao - 3
add static tools: OMPRacer, LLOV
#92 opened by chunhualiao - 1
cascaded data races
#89 opened by chunhualiao - 1
another example showing thread sensitivity
#88 opened by chunhualiao - 1
an example showing strengh of static analysis
#87 opened by chunhualiao - 1
data races in smith-waterman code
#100 opened by chunhualiao - 0
static tools: may vs. must analysis
#118 opened by chunhualiao - 0
Adding CI into this repo
#40 opened by xintin - 0
make a new release 1.4.0
#117 opened by chunhualiao - 0
heat map of similarity analysis results
#95 opened by chunhualiao - 2
feature vector for similarity analysis
#94 opened by chunhualiao - 3
- 0
- 1
a potential paper
#103 opened by chunhualiao - 1
getSourceRaceInfo.py and read/write sets
#108 opened by jprotze - 1
regenerate the dashboard based on the latest correctness paper final version
#91 opened by chunhualiao - 0
- 1
- 9
DRB014-outofbounds-orig-yes.f95
#83 opened by jprotze - 2
metric.py misses first benchmark
#77 opened by jprotze - 4
- 0
- 5
polybench.o shouldn't be in the repository
#72 opened by jprotze - 1
Add custmized test list
#69 opened by Yaying-llnl-summer - 5
Correction in Ground Truth
#67 opened by xintin - 4
DRB047 has different ground truth between C/C++ file and Fortran file.
#66 opened by Yaying-llnl-summer - 3
- 4
refine DRB170-flush-orig-no.c
#58 opened by chunhualiao - 10
refine DRB169-nowait-orig-no.c
#57 opened by chunhualiao - 2
issues in DRB171-default-orig-no.c
#60 opened by chunhualiao - 1
double-check DRB172-parallel-orig-no.c
#61 opened by chunhualiao - 1
list fortran benchmark lists in https://github.com/LLNL/dataracebench/blob/master/README.md
#50 opened by chunhualiao - 1
- 1
DRB095 has an undocumented flaky data race
#41 opened by jprotze - 3