摘要
控制依赖是分析程序和程序并行化的基础。针对现有的计算控制依赖方法的不足,提出了一种改进的算法。该改进算法通过引入函数调用和返回引起的控制转移来计算函数间的控制依赖关系。最后通过实例验证了该改进算法比原算法更能准确地计算程序的控制依赖关系,比传统的内联方法更易于理解。
Control dependence is the basis of program analysis and parallelization.This paper proposes an improved algorithm for computing control dependence to solve the deficiency of existing computation method of control dependence.The improved algorithm computes inter-procedural control dependence by introducing the control transfer caused by function calls and returns.Finally,this paper validates that the improved algorithm is more accurate in computing the control dependences of programs than the original algorithm and more comprehensive than the traditional inline method through examples.
出处
《计算机应用与软件》
CSCD
2010年第11期13-15,34,共4页
Computer Applications and Software
基金
国家自然科学基金项目(60873047)
江苏省自然科学基金(BK2008154)
关键词
控制流图
后必经结点树
控制依赖
控制依赖图
Control flow graph
Forward dominance tree
Control dependence
Control dependence graph
