1Yu J, Narayanasamy S. A case for an interleaving constrained shared-memory multi-processor[ C ]. International Symposium on Computer Architecture ,2009:325-336.
2Shi Y ,Park S ,Yin Z,et al. DefUse:definition-use invariants for de- tecting concurrency and sequential bugs[ C]. Systems Programming Languages and Applications : Software for Humanity, 2010 : 160- 174.
3SPECjvm2008 [ EB/OL]. www. spec. org/jvm,2008.
4Lu S, Tucek J, Qin F, et al. AVIO: detecting atomicity violations via access interleaving invariants [ C ]. Architectural Support for Programming Languages and Operating Systems,2006:37-48.
5Lucia B,Devietti J, Strauss K,et al. Atom-Aid:detecting and survi- ving atomicity violations [ C ]. International Symposium on Com- puter Architecture ,2008:277-288.
6Lu S, Park S, Flu C, et al. MUVI: automatically inferring multi- variable access correlations and detecting related semantic and con- currency bugs [ C ]. Symposium on Operating Systems Principles, 2007 : 103-116.
7Flanagan C,Qadeer S. A type and effect system for atomicity[ C]. Programming Language Design and Implementation, 2003: 338- 349.
8Lu S,Park S, Seo E, et al. Learning from mistakes:a comprehen- sive study on real world concurrency bug characteristics[ C]. Archi- tectural Support for Programming Languages and Operating Sys- tems ,2008:329-339.
9Nethereote N, Seward J. Valgrind: a framework for heavyweight dy- namic binary instrumentation [ C ]. Architectural Support for Pro- gramming Languages and Operating Systems,2006:89-100.