Using Types to Analyze and Optimize Object-Oriented Programs

Authors

Amer Diwan, University of Colorado at Boulder
Kathryn S. McKinley, University of Massachusetts - Amherst
J. Eliot B. Moss, University of Massachusetts - Amherst

Publication Date

2001

Abstract

Object-oriented programming languages provide many software engineering benefits, but these often come at a performance cost. Object-oriented programs make extensive use of method in- vocations and pointer dereferences, both of which are potentially costly on modern machines. We show how to use types to produce effective, yet simple, techniques that reduce the costs of these features in Modula-3, a statically typed, object-oriented language. Our compiler performs type-based alias analysis to disambiguate memory references. It uses the results of the type-based alias analysis to eliminate redundant memory references and to replace monomorphic method in- vocation sites with direct calls. Using limit, static, and running time evaluation, we demonstrate that these techniques are effective, and sometimes perfect for a set of Modula-3 benchmarks.

Comments

This paper was harvested from CiteSeer

Recommended Citation

Diwan, Amer; McKinley, Kathryn S.; and Moss, J. Eliot B., "Using Types to Analyze and Optimize Object-Oriented Programs" (2001). Computer Science Department Faculty Publication Series. 17.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/17