Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Probabilistic Points-to Analysis
| |
|
Probabilistic Points-to Analysis
Yuan-Shin Hwang5, Peng-Sheng Chen6, Jenq Kuen Lee6 and Roy Dz-Ching Ju7
| (5) |
Department of Computer Science, National Taiwan Ocean University, Keelung, 202, Taiwan |
| (6) |
Department of Computer Science, National Tsing Hua University, Hsinchu, 300, Taiwan |
| (7) |
Microprocessor Research Lab., Intel Corporation, Santa Clara, CA 95052, USA |
Abstract
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may aliases or possibly-points-to relationships, which might hold for some executions. Such information does not provide quantitative descriptions
to tell how likely the conditions will hold for the executions, which are needed for modern compiler optimizations, and thus
has hindered compilers from more aggressive optimizations. This paper addresses this issue by proposing a probabilistic points-to
analysis technique to compute the probability of each points-to relationship. Initial experiments are done by incorporating
the probabilistic data flow analysis algorithm into SUIF and MachSUIF, and preliminary experimental results show the probability
distributions of points-to relationships in several benchmark programs. This work presents a major enhancement for pointer
analysis to keep up with modern compiler optimizations.
The work was supported in part by NSC of Taiwan under grant no. NSC-89-2213-E-019-019, NSC-90-2213-E-019-016, NSC-89-2218-E-007-023,
NSC-89-2219-E-007-012, and MOE research excellent project under grant no. 89-E-FA04-1-4.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|