ABCE:Java冗余数组越界检查消除

摘要：

作为一个类型安全的程序语言,Java要求对每次数组访问提供越界检查.这些检查指令减慢了Java程序的运行速度.算法ABCE维护着一张不等式图,并在图中不断更新记录变量的取值信息,然后根据这些信息识另q出那些冗余的数组边界检查,最后删除它们,从而达到提高程序性能的目的.科学计算类测试集SciMark2.0的测试表明ABCE算法平均删除了76%的越界检查指令,其中LU子程序,该算法的加速近似达到理论最大值.

关键词：Java、数组越界检查消除、静态编译器、优化、性能

所属期刊栏目：31

分类号：TP314(计算技术、计算机技术)

在线出版日期：2011-03-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2138-2144