[1]Ranganath V P, Hatcliff J. Slicing concurrent Java programs using Indus and Kaveri [J].International Journal on Software Tools for Technology Transfer,2007, 9(56):489504.
[2]Adve S V, Hill M D, Miller B P, et al.Detecting data races on weak memory systems[C]∥Proc of the 18th Annual International Symposium on Computer Architecture,1991:234243.
[3]Christiaens M, Brosschere K.TRaDe:A topological approach to onthefly race detection in Java programs[C]∥Proc of the 1st Java Virtual Machine Research and Technology Symposium, 2001:105116.
[4]Agarwal R, Sasturkar A, Wang L, et al. Optimized runtime race detection and atomicity checking using partial discovered types[C]∥Proc of the 20th IEEE/ACM International Conference on Automated Software Engineering, 2005:233242.
[5]Cheng 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:298309.
[6]Yu 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:221234.
[7]Zhang Yu,Hao Yunyun.Incremental detection of data race for java programs[J].JournaL of Xi’an Jiaotong University,2009,43(8):2227.(in Chinese)
[8]Naik M. Effective static race detection for Java[D].Stanford, CA:Stanford University,2008.
[9]Landi W. Undecidability of static analysis [J].ACM Letters on Programming Languages and Systems,1992,1(4):323337.
[10]Mei Hong,Wang Qianxiang, Zhang Lu, et al. Software analysis:A road map[J].Chinese Journal of Computers, 2009,32(9):16971710.(in Chinese)
[11]Netzer 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):7488.
[12]Choi J D, Loginov A, Sarkar K.Static data race analysis for multithreaded objectoriented programs[R].IBM Research:Technical Report RC22146,2001.
[13]Cheng J. Slicing concurrent programsA graph theoretical approach[C]∥Proc of the 1st International Workshop on Automated and Algorithmic Debugging,1993:223240.
[14]Krnke J.Static slicing of threaded programs[J].ACM SIGPLAN Notices ,1998,33(7):3542.
[15]Qi Xiaofang, Xu Baowen, Zhou Xiaoyu. An approach to analyzing dependence of concurrent programs based on program reachability graphs[J].Acta Electronica Sinica,2007,35(2):287291.(in Chinese)
[16]Zhang Longbing, Zhang FuXin, Wu Shaogang, et al. A locksetbased dynamic data race detection approach[J].Chinese Journal of Computers, 2003,26(10):12171223.(in Chinese)
[17]Fu Hao, Cai Ming, Dong Jinxiang, et al. Enhanced data race detection approach based on lockset algorithm[J].Journal of Zhejiang University:Engineering Science,2009,43(2):328333.(in Chinese)
[18]Li Keqing, Chen Xinmeng, Zheng Wuji.A dynamic detective algorithm based on lockset to solve multithreaded data race[J].Wuhan University Journal of Natural Sciences,2000,46(3):289292.(in Chinese)
附中文参考文献:
[7]张昱,郝允允.Java程序数据竞争的增量式检测[J].西安交通大学学报,2009,43(8):2227.
[10]梅宏,王千祥,张路,等.软件分析技术进展[J].计算机学报, 2009,32(9):16971710.
[15]戚晓芳,徐宝文,周晓宇.一种基于程序可达图的并发程序依赖性分析方法[J].电子学报.2007,35(2):287291.
[16]章隆兵,张福新,吴少刚,等.基于锁集合的动态数据竞争检测方法[J].计算机学报, 2003,26(10):12171223.
[17]富浩,蔡铭,董金祥,等.基于锁集合算法的增强型数据竞争检测方法[J].浙江大学学报(工学版),2009,43(2):328333.
[18]李克清,陈莘荫,郑无疾.一种基于锁集合的多线程数据竞争的动态检测算法[J].武汉大学学报(自然科学版),2000,46(3):289292. |