2Shavit N,Touitou D.Software Transactional Memory[C]//Proceedings of the 14th ACM Symposium on the Principles ofDistributed Computing.Ottowa,Canada:[s.n.],1995:204-213.
3Lu Shan,Park S,Seo Eunsoo,et al.Learning from Mistakes——AComprehensive Study on Real World Concurrency Bug Characte-ristics[C]//Proceedings of the 13th International Conference onArchitectural Support for Programming Languages and OperatingSystems.Seattle,USA:[s.n.],2008:329-339.
4Flanagan C,Freund S N,Lifshin M.Types for Atomicity:StaticChecking and Inference for Java[J].ACM Transactions onProgramming Languages and Systems,2008,30(4):1-53.
5Wang Liqiang,Stoller S D.Static Analysis of Atomicity forPrograms with Non-blocking Synchronization[C]//Proceedings of2005 ACM SIGPLAN Symposium on Principles and Practice ofParallel Programming.Chicago,USA:ACM Press,2005:61-71.
6Flanagan C,Freund S N.Atomizer:A Dynamic Atomicity Checkerfor Multithreaded Programs[C]//Proceedings of the 31st AnnualACM SIGPLAN-SIGACT Symposium on Principles ofProgramming Languages.Venice,Italy:ACM Press,2004:256-267.
7Park S,Lu Shan,Zhou Yuanyuan.CTrigger:Exposing AtomicityViolation Bugs from Their Hiding Places[C]//Proceedings of the14th International Conference on Architectural Support for Pro-gramming Languages and Operating Systems.Washington D.C.,USA:[s.n.],2009:25-36.
8Wang Yin,Kelly T,Kudlur M,et al.Gadara:Dynamic DeadlockAvoidance for Multithreaded Programs[C]//Proceedings of the 8thUSENIX Symposium on Operating Systems Design andImplementation.San Diego,USA:[s.n.],2008:1-14.
