一种改进的计算控制依赖的算法  

AN IMPROVED ALGORITHM FOR COMPUTING CONTROL DEPENDENCE

作　　者：姚辉萍[1] 赵雷[1] 李蓥[1] 杨季文[1] 

机构地区：[1]苏州大学计算机科学与技术学院江苏苏州215006

出　　处：《计算机应用与软件》2010年第11期13-15,34,共4页Computer Applications and Software

基　　金：国家自然科学基金项目(60873047);江苏省自然科学基金(BK2008154)

摘　　要：控制依赖是分析程序和程序并行化的基础。针对现有的计算控制依赖方法的不足,提出了一种改进的算法。该改进算法通过引入函数调用和返回引起的控制转移来计算函数间的控制依赖关系。最后通过实例验证了该改进算法比原算法更能准确地计算程序的控制依赖关系,比传统的内联方法更易于理解。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.

关 键 词：控制流图 后必经结点树 控制依赖 控制依赖图 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]