Title :
Dataflow frequency analysis based on whole program paths
Author :
Scholz, Bernhard ; Mehofer, Eduard
Author_Institution :
Inst. of Comput. Languages, Technische Univ. Wien, Vienna, Austria
Abstract :
Efficient use of machine resources in high-performance computer systems requires highly optimizing compilers with sophisticated analyses. Static analysis often fails to identify frequently executed portions of a program which are the places where optimizations achieve the greatest benefit. This paper introduces a novel data flow frequency analysis framework that computes the frequency with which a data flow fact will hold at some program point based on profiling information. Several approaches which approximate the frequencies based on k-edge profiling have been presented. However, no feasible approach for obtaining the accurate solution exists so far. Recently, efficient techniques for recording whole program paths (WPPs) have been developed. Our approach for computing data flow frequencies results in an accurate solution and utilizes WPPs to obtain the solution in reasonable time. In our experiments we show that the execution time of WPP-based frequency analysis is in case of the SPEC benchmark suite only a fraction of the overall compilation time.
Keywords :
computational complexity; data flow analysis; optimising compilers; program testing; SPEC benchmark suite; dataflow frequency analysis; high-performance computer systems; k-edge profiling; machine resources; optimizing compilers; static analysis; whole program paths; Computer languages; Data analysis; Data flow computing; Feedback; Frequency; History; Information analysis; Instruments; Open loop systems; Optimizing compilers;
Conference_Titel :
Parallel Architectures and Compilation Techniques, 2002. Proceedings. 2002 International Conference on
Print_ISBN :
0-7695-1620-3
DOI :
10.1109/PACT.2002.1106007