Comment 1 for bug 1284411

Looking at the documentation it seems to have multiple modes. There's a fast heuristic that can return false positives (useless for automation) and also a pure mode which is logically guaranteed to only report real errors. The latter sounds just like the Eraser algorithm used in Helgrind, but ThreadSanitizer might prove to be more usable somehow and maybe more productive.