位置:成果数据库 > 期刊 > 期刊详情页
基于包含的指针分析优化技术综述
  • ISSN号:0254-4164
  • 期刊名称:《计算机学报》
  • 时间:0
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]中国科学院计算技术研究所计算机系统结构重点实验室,北京100190, [2]中国科学院研究生院,北京100190
  • 相关基金:国家“八六三”高技术研究发展计划项目基金(2008AA01Z115); 国家“九七三”重点基础研究规划项目基金(2011CB302504); 国家核高基重大专项基金(2009ZX01036-001-002); 国家自然科学基金创新研究群体科学基金(60921002)资助~~
中文摘要:

指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向.

英文摘要:

Pointer analysis is the basis of program analysis and compiler optimization.Improvement of inclusion-based pointer analysis is one of the most important research areas in pointer analysis.This paper summarizes two classes of improvement methods of inclusion-based analysis in recently twenty years,including: on-line optimizing technology such as online cycle detection and elimination etc,off-line optimization such as variable substitution.The authors compare seven principal analysis algorithms and three offline optimizing algorithms by significant experiments;evaluated each algorithm from performance and memory consumption.The authors also discuss some further improvements and research points of inclusion-based pointer analysis in the end of this paper.

同期刊论文项目
期刊论文 143 会议论文 81 获奖 3 专利 9 著作 4
同项目期刊论文
期刊信息
  • 《计算机学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编:孙凝晖
  • 地址:北京中关村科学院南路6号
  • 邮编:100190
  • 邮箱:cjc@ict.ac.cn
  • 电话:010-62620695
  • 国际标准刊号:ISSN:0254-4164
  • 国内统一刊号:ISSN:11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:48433