Using types to analyze and optimize object-oriented programs

by: Amer Diwan, Kathryn S Mckinley, Eliot

ACM Trans. Program. Lang. Syst., Vol. 23, No. 1. (January 2001), pp. 30-72.

View FullText article

ACM, DOI

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

pejo

Find related articles with these CiteULike tags

optimization, staticanalysis, type-based

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 invocations 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 invocation 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.

@article{citeulike:259567, 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 invocations 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 invocation 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.}, address = {New York, NY, USA}, author = {Diwan, Amer and Mckinley, Kathryn S. and Eliot}, citeulike-article-id = {259567}, doi = {http://dx.doi.org/10.1145/383721.383732}, issn = {0164-0925}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {optimization, staticanalysis, type-based}, month = {January}, number = {1}, pages = {30--72}, posted-at = {2005-07-19 18:37:00}, priority = {2}, publisher = {ACM Press}, title = {Using types to analyze and optimize object-oriented programs}, url = {http://dx.doi.org/10.1145/383721.383732}, volume = {23}, year = {2001} }

RIS record

TY - JOUR ID - citeulike:259567 L3 - citeulike-article-id:259567 TI - Using types to analyze and optimize object-oriented programs JF - ACM Trans. Program. Lang. Syst. VL - 23 IS - 1 SP - 30 EP - 72 AD - New York, NY, USA PB - ACM Press SN - 0164-0925 N2 - 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 invocations 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 invocation 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. KW - optimization KW - staticanalysis KW - type-based AU - Diwan, Amer AU - Mckinley, Kathryn AU - Eliot PY - 2001/01// UR - http://dx.doi.org/10.1145/383721.383732 ER -

RIS BibTeX