ThreadSanitizer: data race detection in practice
暂无分享,去创建一个
[1] Jerry J. Harrow. Runtime Checking of Multithreaded Applications with Visual Threads , 2000, SPIN.
[2] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[3] Barton P. Miller,et al. What are race conditions?: Some issues and formalizations , 1992, LOPL.
[4] Jong-Deok Choi,et al. Hybrid dynamic data race detection , 2003, PPoPP '03.
[5] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[6] Zhiqiang Ma,et al. A theory of data race detection , 2006, PADTAD '06.
[7] Scott Meyers,et al. C++ and the Perils of Double-Checked Locking ∗ , 2004 .
[8] Dawson R. Engler,et al. RacerX: effective, static detection of race conditions and deadlocks , 2003, SOSP '03.
[9] Paul Petersen,et al. Unraveling Data Race Detection in the Intel ® Thread Checker , 2006 .
[10] Satish Narayanasamy,et al. Automatically classifying benign and harmful data races using replay analysis , 2007, PLDI '07.
[11] Satish Narayanasamy,et al. LiteRace: effective sampling for lightweight data-race detection , 2009, PLDI '09.
[12] Nicholas Nethercote,et al. Valgrind: a framework for heavyweight dynamic binary instrumentation , 2007, PLDI '07.
[13] Félix García,et al. POSIX thread libraries , 2000 .
[14] Harish Patil,et al. Pin: building customized program analysis tools with dynamic instrumentation , 2005, PLDI '05.