关键词: 多线程程序, 数据竞争, 程序切片, 静态分析, 竞争检测

Abstract:

The widespread use of multithread concurrent programs induces more detrimental data race problems, race detection is very important for improving software quality. Combining  data race static detection with static program slicing, a classbased  data race static detection algorithm for Java multithread programs is proposed. The algorithm obtains function callchains by using function calls, analyzes every field of a class, finds out possible data race, reduces the range of program analysis through static program slicing, and removes the impossible data race by considering the necessity of data race. An example demonstrates that the proposed algorithm can guide programmers to fix software data race defects.

Key words: multithread program;data race;program slice;static analysis;race detection