2-2017 Lightweight data race detection for production runs
Pin: building customized program analysis tools with dynamic instrumentation