Instrumentation and sampling strategies for cooperative concurrency bug isolation
RaceTrack: efficient detection of data race conditions via adaptive tracking