###
DOI:
Journal of Software:2000.11(2):187-194

用计算函数模型增强数据流分析
胡世亮,臧斌宇,朱传琪
(复旦大学并行处理研究所,上海,200433)
Enhancing Dataflow Analysis with Computation Function Model
HU Shi-liang,ZANG Bin-yu,ZHU Chuan-qi
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2145   Download 2385
Received:September 21, 1998    Revised:March 09, 1999
> 中文摘要: 精确的数据流分析,需要充分利用条件分支语句的逻辑语义.为了简洁而有效地处理条件分支语句,该文提出了对应于程序段的计算函数模型,在该模型里表示条件分支语句的逻辑语义,并利用文中提出的不确定性消解方法,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题.而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金(No.69633030)、国家863高科持项目基金(No.863-306-ZT01-02-01)、教育部科学技术项目基金和国防科技重点实验室基金(No.97JS76.5.2JW0701)资助. 本文研究得到国家自然科学基金(No.69633030)、国家863高科持项目基金(No.863-306-ZT01-02-01)、教育部科学技术项目基金和国防科技重点实验室基金(No.97JS76.5.2JW0701)资助.
Foundation items:
Reference text:

胡世亮,臧斌宇,朱传琪.用计算函数模型增强数据流分析.软件学报,2000,11(2):187-194

HU Shi-liang,ZANG Bin-yu,ZHU Chuan-qi.Enhancing Dataflow Analysis with Computation Function Model.Journal of Software,2000,11(2):187-194