This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Support of Probabilistic Pointer Analysis in the SSA Form
Dec. 2012 (vol. 23 no. 12)
pp. 2366-2379
Ming-Yu Hung, National Tsing Hua University, Hsinchu
Peng-Sheng Chen, National Chung Cheng University, Chiayi
Yuan-Shin Hwang, National Taiwan University of Science and Technology, Taipei
Roy Dz-Ching Ju, Advanced Micro Devices, San Francisco
Jenq-Kuen Lee, National Tsing Hua University, Hsinchu
Probabilistic pointer analysis (PPA) is a compile-time analysis method that estimates the probability that a points-to relationship will hold at a particular program point. The results are useful for optimizing and parallelizing compilers, which need to quantitatively assess the profitability of transformations when performing aggressive optimizations and parallelization. This paper presents a PPA technique using the static single assignment (SSA) form. When computing the probabilistic points-to relationships of a specific pointer, a pointer relation graph (PRG) is first built to represent all of the possible points-to relationships of the pointer. The PRG is transformed by a sequence of reduction operations into a compact graph, from which the probabilistic points-to relationships of the pointer can be determined. In addition, PPA is further extended to interprocedural cases by considering function related statements. We have implemented our proposed scheme including static and profiling versions in the Open64 compiler, and performed experiments to obtain the accuracy and scalability. The static version estimates branch probabilities by assuming that every conditional is equally likely to be true or false, and that every loop executes 10 times before terminating. The profiling version measures branch probabilities dynamically from past program executions using a default workload provided with the benchmark. The average errors for selected benchmarks were 3.80 percent in the profiling version and 9.13 percent in the static version. Finally, SPEC CPU2006 is used to evaluate the scalability, and the result indicates that our scheme is sufficiently efficient in practical use. The average analysis time was 35.59 seconds for an average of 98,696 lines of code.
Index Terms:
Algorithm design and analysis,Probabilistic logic,Program processors,Benchmark testing,Complexity theory,Flow graphs,static single assignment (SSA) form,Compiler,pointer analysis,control flow graph (CFG)
Citation:
Ming-Yu Hung, Peng-Sheng Chen, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq-Kuen Lee, "Support of Probabilistic Pointer Analysis in the SSA Form," IEEE Transactions on Parallel and Distributed Systems, vol. 23, no. 12, pp. 2366-2379, Dec. 2012, doi:10.1109/TPDS.2012.73
Usage of this product signifies your acceptance of the Terms of Use.