Subscribe

Issue No.12 - Dec. (2012 vol.23)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TPDS.2012.73

ABSTRACT

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 & Distributed Systems*, vol.23, no. 12, pp. 2366-2379, Dec. 2012, doi:10.1109/TPDS.2012.73REFERENCES