Field Analysis: Getting Useful and Low-cost Interprocedural Information (2000) [26 citations — 2 self]
http://theory.lcs.mit.edu/~randall/papers/field.ps
http://www.research.compaq.com/wrl/projects/Compil
DBLP
CACHED:
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Sanjay Ghemawat and Keith H. Randall and Daniel J. Scales and All Daniel J. Scales},
title = {Field Analysis: Getting Useful and Low-cost Interprocedural Information},
year = {2000}
}
Bookmarks
OpenURL
Abstract:
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectoriented programming, automatic memory management, and run-time checks required for type safety. Unlike many previous interprocedural analyses, our analysis is cheap, and does not require access to the entire program. Field analysis exploits the declared access restrictions placed on fields in a modular language (e.g. field access modifiers in Java) in order to determine useful properties of fields of an object. We describe our implementation of field analysis in the Swift optimizing compiler for Java, as well a set of optimizations that exploit the results of field analysis. These optimizations include removal of run-time tests, compiletime resolution of method calls, object inlining, removal of unnecessary synchronization, and stack allocation. Our results demonstrate that field analysis is e#cient and e#ective. ...
