just another copy of  https://code.google.com/p/thread-sanitizer/