Java语言程序例化中的扩展对象别名分析

Extended object alias analysis in program specialization of Java programs

为了提高 Java 语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对 Java 程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特性,以及对象成员等复杂数据结构的绑定时间特性。这种多变异方式的例化策略可提高对象类及其成员函数的部分求值深度,已经用于 Java 程序部分求值器中绑定时间分析的实现。

The paper proposes an extended alias analysis method for improving the binding time analysis （BTA） precision in the implementation of automatic program specialization for Java programs. In the object alias analysis, a class specialization model is generated by tracing uses of reference variables across classes and methods in Java to represent the BTA features of multi-dispatch and complex data structures such as member reference variables. The poly-variant specialization approach can improve accuracy of partial evaluation on Java classes and their methods, and has been applied to implementation of the binding time analysis in a partial evaluator for Java programs.