用计算函数模型增强数据流分析  

Enhancing Dataflow Analysis with Computation Function Model

作　　者：胡世亮 臧斌宇[1] 朱传琪[1] 

机构地区：[1]复旦大学并行处理研究所,上海200433

出　　处：《软件学报》2000年第2期187-194,共8页Journal of Software

基　　金：国家自然科学基金! (No.6 96 330 30 );国家 86 3高科技项目基金! (No.86 3- 30 6 - ZT0 1- 0 2 - 0 1);教育部科学技术项目基金

摘　　要：精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题 .而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法 .A precise dataflow analysis should effectively exploit the semantic information presented by conditional branch statements. Most traditional systems, however, either ignore the logical conditions, or try hard to handle logical conditions with logical reasoning which is rather difficult and infeasible for paralleling systems. With the aim to solve this problem efficiently and effectively, the authors introduce the computation function model and then successfully convert the logical reasoning problems into problems of deciding the coverage relationship of Omega regions which are substantially more feasible to be solved by contemporary paralleling compilers.

关 键 词：计算函数模型 数据流分析 并行化编译器 

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