Scalable Optimization of Generic Java

Java程序员依赖于笨拙的“擦除”习惯用法来定义泛型操作：泛型类由传统类表示，其中所有对类型参数的引用都被Object类型替换。 依赖于此习惯用法的程序必须重复地将泛型操作的结果强制转换为省略的类型参数的类型。 Java中的泛型操作比它们的非泛型操作慢，因为这种习惯用法在作为原始类型实例化的类型参数的表示中引入了一定程度的间接性。调查员最近完成了NexGen的原型编译器的构建，NexGen是一个支持调查员和Guy Steele设计的泛型的Java扩展。 编译器依赖于擦除习惯用法来实现泛型，因此不会提高涉及泛型类的计算的性能。要为泛型Java提供良好的性能，编译器必须消除泛型类实例表示中的间接性。 必要的转换被称为{\em whole program analysis}，因为如果任何程序操作都依赖于内联对象的地址，那么它就是无效的。 幸运的是，有一个接近线性的算法，基于以前的工作的研究人员对具体类型分析，可以确定是否一个给定的对象字段可以inlined.This项目将开发一个新的优化编译器的NextGen使用具体类型分析，以内联泛型类的参数字段。

Java programmers rely on clumsy "erasure" idiom to define generic operations: a generic class is represented by conventional classes where all references to type parameters have been replaced by the type Object. Programs that rely on this idiom must repeatedly cast the results of generic operations to the types of omitted type parameters. Generic operations in Java are slower than their non-generic counterparts because this idiom introduces a level of indirection in the representation of type parameters instantiated as primitive types.The investigator has recently completed the construction of a prototype compiler for NexGen, a Java extension supporting genericity designed by the investigator and Guy Steele. The compiler relies on the erasure idiom to implement genericity and hence does not improve the performance of computations involving generic classes.To produce good performance for generic Java, a compiler must eliminate indirection in the representation of generic class instances. The requisite transformation is called {\em whole program analysis} because it is invalid if any program operation depends on the address of an inlined object. Fortunately, there is a nearly linear algorithm based on previous work by the investigator on concrete type analysis that can determine if a given object field can be inlined.This project will develop a new optimizing compiler for NextGen that uses concrete type analysis to inline the parametric fields of generic classes.