Multithread technology has got extensive development in applications for recen t years, it is important to get a full analysis of this technology. This paper i ntroduces basic fault patterns of multithread program, and then summarizes sev eral algorithms for multithread program analysis along with comparison of thei r advantages and limits. These multithread program analysis benefit a lot for the formulation of the new testing tools, and will promote the development of so ftware testing in multithread technology field.
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}
References
[1]TAYLOR R. Complexity of analyzing the synchronization structure o f concurrent programs[J]. Acta Informatica, 1983, 19: 57-84.
[2]RAMALINGAM G. Contextsensitive synchronization sensitive analysis i s undecidable[J].
[3]吴萍, 陈逸云, 张健. 多线程数据竞争的静态检测[J]. 计算机研究与发展, 2006 , 43(2): 329-335.
[4]章隆兵, 张福新, 吴少刚,等. 基于锁集合的动态数据竞争检测方法[J]. 计算机 学报, 2003, 26(10): 1217-1223.
[5]von PRAUN C, GROSS T R. Static conflict analysis for multithreaded obje ctoriented programs[M]. ACM SIGPLAN notices, 2003.
[6]戎玫,张广泉. 模型检测新技术研究[J]. 计算机科学, 2003, 30(5):101-104.
[7]杨宇,张健. 程序静态分析技术与工具[J]. 计算机科学, 2004, 31(2):171-174.
{{custom_fnGroup.title_en}}
Footnotes
{{custom_fn.content}}