Name
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. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1109/TPDS.2012.73 | IEEE Trans. Parallel Distrib. Syst. |
Keywords | Field | DocType |
control flow graph (cfg),transformation profitability,profiling version measures branch,probabilistic points-to relationship,compact graph,pointer analysis,spec cpu2006,open64 compiler,compiler optimization,static single assignment form,pointer relation graph,ssa form,compiler,reduction operations,points-to relationship,ppa technique,specific pointer,static single assignment (ssa) form,compile-time analysis method,profiling version,static single assignment,compiler parallelization,possible points-to relationship,prg,program diagnostics,probabilistic points-to relationships,graph theory,optimising compilers,static version,probabilistic pointer analysis,probability,algorithm design and analysis,benchmark testing,probabilistic logic | Pointer (computer programming),Pointer analysis,Escape analysis,Profiling (computer programming),Computer science,Algorithm,Theoretical computer science,Probabilistic logic,Static single assignment form,Benchmark (computing),Distributed computing,Source lines of code | Journal |
Volume | Issue | ISSN |
23 | 12 | 1045-9219 |
Citations | PageRank | References |
6 | 0.46 | 14 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ming-Yu Hung | 1 | 53 | 7.68 |
| Peng-Sheng Chen | 2 | 59 | 3.47 |
| Yuan-Shin Hwang | 3 | 403 | 40.55 |
| Roy Dz-ching Ju | 4 | 326 | 21.37 |
| Jenq-Kuen Lee | 5 | 120 | 17.98 |