点间确定别名及其在Java程序数据依赖分析中的应用

• 作者: 周毓明 徐宝文 钱巨
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 数据依赖 指针分析 别名分析 确定别名 强更新
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 419-430
• 页数: 12页
• 分类号: TP311
• 字数: 13350字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2008.03.007

摘要

堆内存的大量使用使得Java程序上数据依赖关系的精确提取仍存在许多困难.对于堆空间上的依赖提取,通常的做法是先对堆上空间进行命名,再据此分析依赖关系.然而该方法不能在多个定义间进行强更新.故分精度不够理想.针对此问题,该文首先提出了一种点问确定别名的概念,然后用它生成强更新和相对更新来精化数据依赖分析.实验表明,与不进行强更新和相对更新的数据依赖分析方法相比,新算法能够在相对较少的额外时间消耗内,有效地提高堆空间上依赖分析的精度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文		54	1273	19.0	34.0
2	周毓明	东南大学计算机科学与工程学院	7	60	4.0	7.0
3	钱巨	东南大学计算机科学与工程学院	2	7	2.0	2.0