search

PRUNERS / archer

Archer, a data race detection tool for large OpenMP applications
https://pruners.github.io/archer
Apache License 2.0
62 stars 13 forks source link

OpenMP task #55

Open peihunglin opened 6 years ago

peihunglin commented 6 years ago

I was able to use the Archer in tr4 branch with clang 4.0.1 to find race in this benchmark: https://github.com/LLNL/dataracebench/blob/master/micro-benchmarks/taskdependmissing-orig-yes.c But a later version of Archer with clang 3.9.1 (installed on LLNL LC system) does not find race in this same benchmark. Is that caused by different clang version or some other issue?

jprotze commented 6 years ago

This benchmark has a high chance to schedule both tasks on the same thread. In that case the tool currently will not detect a race. Only in the rare case where the task is actually scheduled on different threads, the tool can identify the race.