The fault pattern analysis and arithmetic of multithread program

LIU YuXuan1;GONG YunZhan1;YANG ZhaoHong2

Journal of Beijing University of Chemical Technology ›› 2007, Vol. 34 ›› Issue (s1) : 81-84.

PDF(402 KB)
Welcome to Journal of Beijing University of Chemical Technology, Today is June 2, 2025
Email Alert  RSS
PDF(402 KB)
Journal of Beijing University of Chemical Technology ›› 2007, Vol. 34 ›› Issue (s1) : 81-84.
研究论文

The fault pattern analysis and arithmetic of multithread program

  • LIU YuXuan1;GONG YunZhan1;YANG ZhaoHong2

Author information +
History +

Abstract

Multithread 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 multithread program, and then summarizes sev eral algorithms for multithread program analysis along with comparison of thei r advantages and limits. These multithread program analysis benefit a lot for the formulation of the new testing tools, and will promote the development of so ftware testing in multithread technology field.

Cite this article

Download Citations

LIU YuXuan1;GONG YunZhan1;YANG ZhaoHong2

.
The fault pattern analysis and arithmetic of multithread program[J]. Journal of Beijing University of Chemical Technology, 2007, 34(s1): 81-84

References

[1]TAYLOR R. Complexity of analyzing the synchronization structure o f concurrent programs[J]. Acta Informatica, 1983, 19: 57-84. 
[2]RAMALINGAM G. Contextsensitive 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 multithreaded obje ctoriented programs[M]. ACM SIGPLAN notices, 2003. 
[6]戎玫,张广泉. 模型检测新技术研究[J]. 计算机科学, 2003, 30(5):101-104. 
[7]杨宇,张健. 程序静态分析技术与工具[J]. 计算机科学, 2004, 31(2):171-174.
PDF(402 KB)

3248

Accesses

0

Citation

Detail

Sections
Recommended

/