search

PRUNERS / archer

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

Fixed runningOnValgrind on OSX #83

Open simoatze opened 6 years ago

simoatze commented 6 years ago

@jprotze I fixed the driver for OSX since it was using the wrong library extension. Also I fix the runninOnValgrind function, however now it does not report any false alarm but it does not catch any racy. I verified that the "AnnotateHappens..." get called correctly but I can't figure out why on OSX it does not find any race.

simoatze commented 5 years ago

@jprotze With or without Archer is not working on OSX. I can't figure out if it's a Archer or a Tsan problem.

jprotze commented 5 years ago

Are the races detected, if you don't link the Archer runtime library?

simoatze commented 5 years ago

@jprotze I need to double check, but if I remember correctly when I don't link with Archer the races are detected but we get false positives on the tests with no races. If we link with Archer we get no false positives but not races are detected.