Analysis and Optimization of Object-Oriented Languages

面向对象语言提供了一种很有前途的方法，使程序更容易编写，更容易修改和扩展。不幸的是，面向对象的语言结构通常会导致大量的运行时成本。为了提高面向对象语言的运行时性能，以前的研究应用过程内类分析和编译时类预测来确定编译时动态绑定调用的实际参数类，从而将调用静态地绑定到目标过程，并启用内联扩展以消除调用的开销。这项工作主要是在纯面向对象语言的环境中完成的。这个项目的目标是在三个方向上扩展以前的工作。首先，分析的范围将扩大到整个应用程序。这就需要开发和评估为面向对象语言构建调用图和执行过程间类分析的技术。其次，将剖面信息纳入分析和优化过程。特别是，概要信息可以提供比静态估计技术更准确的类预测信息。第三，过程专门化将有选择地应用于面向对象语言的优化。我们的目标是研究面向对象语言的内联扩展、过程专门化和过程间分析之间的成本和收益的相对权衡。这些技术在一系列面向对象编程语言（包括纯的和混合的）中的适用性将在此工作中进行评估。

Object-oriented languages offer one promising approach to making programs easier to write and easier to modify and extend. Unfortunately, object-oriented language constructs often incur a substantial run-time cost. To improve the run-time performance of object-oriented languages, previous research applied intraprocedural class analysis and compile-time class prediction to determine the actual classes of arguments to a dynamically bound call at compile-time, thereby statically binding the call to the target procedure and enabling inline expansion to eliminate the overhead of the call. This work was performed primarily in the context of purely object-oriented languages. The goal of this project is to extend previous work in three directions. First, the scope of analysis will be expanded to the whole application program. This necessitates developing and evaluating techniques for constructing call graphs for object-oriented languages and performing interprocedural class analysis. Second, profile information will be incorporated into the analysis and optimization process. In particular, profile information can provide much more accurate class prediction information than can static estimation techniques. Third, procedure specialization will be selectively applied to the optimization of object-oriented languages. The goal will be to investigate the relative trade-offs in cost and benefit among inline expansion, procedure specialization, and interprocedural analysis for object-oriented languages. The suitability of these techniques across a range of object-oriented programming languages, both pure and hybrid, will be evaluated in this effort.