[1] |
Savage S, Burrows M, Nelson G, et al. Eraser:A dynamic data race detector for multithreaded programs[J]. ACM Transactions on Computer Systems (TOCS),1997, 15(4):391411.
|
[2] |
Erickson J, Musuvathi M, Burckhardt S, et al. Effective datarace detection for the Kernel[C]∥Proc of OSDI’10, 2010:116.
|
[3] |
Voung J W, Jhala R, Lerner S. RELAY:Static race detection on millions of lines of code[C]∥Proc of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2007:205214.
|
[4] |
Kasikci B, Zamfir C, Candea G. RaceMob:Crowd sourced data race detection[C]∥Proc of SOSP’13, 2013:406422.
|
[5] |
Wang L, Stoller S D. Runtime analysis of atomicity for multithreaded programs[J]. IEEE Transactions on Software Engineering, 2006, 32(2):93110.
|
[6] |
Xie X, Xue J, Zhang J. Acculock:Accurate and efficient detection of data races[J]. Software:Practice and Experience, 2013,43(5):543576.
|
[7] |
Wester B, Devecsery D, Chen P M, et al. Parallelizing data race detection[C]∥Proc of ASPLOS’13, 2013:2738.
|
[8] |
Serebryany K, Iskhodzhanov T. ThreadSanitizer:Data race detection in practice[C]∥Proc of WBIA’09, 2009:6271.
|
[9] |
Helgrind:A data race detector[EB/OL].[20070101].http://valgrind.org//docs/manual/hgmanual.html.
|
[10] |
Marino D, Musuvathi M, Narayanasamy S. LiteRace:Effective sampling for lightweight datarace detection[C]∥Proc of PLDI’09, 2009:134143.
|
[11] |
Flanagan C, Freund S N. FastTrack:Efficient and precise dynamic race detection[C]∥Proc of PLDI’09, 2009:121133.
|
[12] |
Dutertre B, De Moura L. A fast lineararithmetic solver for DPLL(T)[M]∥Computer Aided Verification, Berlin Heidelberg: Springer,2006:8194.
|
[13] |
Lattner C, Adve V. LLVM:A compilation framework for lifelong program analysis & transformation[C]∥Proc of TACAS’08, 2008:7586.
|
[14] |
Cordeiro L,Fischer B.Verifying multithreaded software using SMTbased contextbounded model checking[C]∥Proc of ICSE’11, 2011:331340.
|
[15] |
Gupta A,Popeea C,Rybalchenko A.Threader:A constraintbased verifier for multithreaded programs[M]∥Computer Aided Verification, Berlin Heidelberg:Springer, 2011:412417.
|
[16] |
Engler D,Ashcraft K.RacerX:Effective,static detection of race conditions and deadlocks[C]∥Proc of SOSP’03, 2003:237252.
|
[17] |
Von Praun C, Gross T R. Object race detection[C]∥Proc of OOPSLA’01, 2001:7082.
|
[18] |
Wang C, Limaye R, Ganai M, et al. Tracebased symbolic analysis for atomicity violations[M]∥Tools and Algorithms for the Construction and Analysis of Systems, Berlin:Springer, 2010:328342.
|
[19] |
Wang C, Kundu S, Limaye R, et al. Symbolic predictive analysis for concurrent programs[J]. Formal Aspects of Computing,2011,23(6):781805.
|
[20] |
Said M, Wang C, Yang Z, et al. Generating data race witnesses by an SMTbased analysis[C]∥Proc of NASA Formal Methods, 2011:313327.
|