| 摘要: |
| 精确的数据流分析,需要充分利用条件分支语句的逻辑语义.为了简洁而有效地处理条件分支语句,该文提出了对应于程序段的计算函数模型,在该模型里表示条件分支语句的逻辑语义,并利用文中提出的不确定性消解方法,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题.而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法. |
| 关键词: 计算函数模型,数据流分析,条件分支语句,Omega区域. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金(No.69633030)、国家863高科持项目基金(No.863-306-ZT01-02-01)、教育部科学技术项目基金和国防科技重点实验室基金(No.97JS76.5.2JW0701)资助. |
|
| Enhancing Dataflow Analysis with Computation Function Model |
|
HU Shi-liang,ZANG Bin-yu,ZHU Chuan-qi
|
| Abstract: |
| 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. |
| Key words: Computation function model,dataflow analysis,conditional branch statement,omega region. |
