probabilistic pointer analysis for speculative optimizations.
Published: 2006
Language: eng
Number of pages: 106
ISBN-13: 9780494161210
Description: Pointer analysis is a critical compiler analysis used to disambiguate the indirect memory references that result from the use of pointers and pointer-based data structures. A conventional pointer analysis deduces for every pair of pointers, at any program point, whether a points-to relation between them (i) definitely exists, (ii) definitely does not exist, or (iii) maybe exists. Many compiler optimizations rely on accurate pointer analysis, and to ensure correctness cannot optimize in the maybe case. In contrast, recently-proposed  speculative optimizations can aggressively exploit the maybe  case, especially if the likelihood that two pointers alias could be quantified. This dissertation proposes a Probabilistic Pointer Analysis (PPA) algorithm that statically predicts the probability of each points-to relation at every program point. Building on simple control-flow edge profiling, the analysis is both one-level context and flow sensitive---yet can still scale to large programs.
Notes: Source: Masters Abstracts International, Volume: 44-06, page: 2910.

Thesis (M.A.Sc.)--University of Toronto, 2006.

Electronic version licensed for access by U. of T. users.

ROBARTS MICROTEXT copy on microfiche.