An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs

QI Xiao-fang,XU Bao-wen,ZHOU Xiao-yu
DOI: https://doi.org/10.3321/j.issn:0372-2112.2007.02.022
2007-01-01
Abstract:Dependence analysis is an important technique to analyze programs.This paper proposes a novel representation for multi-threaded programs with shared variables,which is called thread interaction reachability graph(tIRG).Based on tIRG,dependences in concurrent programs are analyzed globally and a new dependence graph called MSDG,which vertex is a 2-tuple composed of program state and statement,is constructed.Compared with traditional concurrent program dependence graph which vertex is statement,dependence relation in MSDG is precise and transitive.In contrast to other high-precision slicing methods,more precise slice will be obtained efficiently by traversing MSDG.
What problem does this paper attempt to address?