Transcript Eraser: A Dynamic Data Race Detector for Multithreaded Programs