2Ranganath V P,Hatcliff J.Slicing concurrent Java programs using Indus and Kaveri[J].International Journal on Software Tools for Technology Transfer,2007,9(5-6):489-504.
3Adve S V,Hill M D,Miller B P,et al.Detecting data races on weak memory systems[C]//Proc of the 18th Annual In ternational Symposium on Computer Architecture,1991:234-243.
4Christiaens M,Brosschere K.TRaDe:A topological approach to on-the-fly race detection in Java programs[C]//Proc of the 1st Java Virtual Machine Research and Technology Symposium,2001:105-116.
5Agarwal R,Sasturkar A,Wang L,et al.Optimized run time race detection and atomicity checking using partial discovered types[C]//Proc of the 20th IEEE/ACM International Conference on Automated Software Engineering,2005:233-242.
6Cheng G,Feng M,Leiserson C,et al.Detecting data races in Cilk programs that use locks[C]// Proc of the 10th Annual ACM Symposium on Parallel Algorithms and Architectures,1998:298-309.
7Yu Y,Rodeheffer T,Chen W.RaceTrack:Efficient detection of data race conditions via adaptive tracking[C]//Proc of the 20th ACM Symposium on Operating Systems Principles,2005:221-234.
8Naik M.Effective static race detection for Java[D].Stanford,CA:Stanford University,2008.
9Landi W.Undecidability of static analysis[J].ACM Letters on Programming Languages and Systems,1992,1 (4):323-337.
10Netzer R H B,Miller B P.What are race conditions- some issues and formalizations[J].ACM Letters on Programming Languages and Systems,1992,1(1):74-88.