The Community for Technology Leaders
2006 International Conference on Parallel Architectures and Compilation Techniques (PACT) (2006)
Seattle, WA, USA
Sept. 16, 2006 to Sept. 20, 2006
ISBN: 978-1-5090-3022-4
pp: 295-304
J. Birch , Department of Computer Science and School of Computational Science, Florida State University, Tallahassee, FL 32306-4530
R. A. van Engelen , Department of Computer Science and School of Computational Science, Florida State University, Tallahassee, FL 32306-4530
K. A. Gallivan , Department of Computer Science and School of Computational Science, Florida State University, Tallahassee, FL 32306-4530
Y. Shou , Department of Computer Science and School of Computational Science, Florida State University, Tallahassee, FL 32306-4530
ABSTRACT
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instances in the iteration space of a loop nest impose ordering constraints that must be preserved in order to produce valid optimized, vectorized, and parallelized loop nests. This paper evaluates a new approach for fast and accurate nonlinear array dependence testing using Chains of Recurrences (CRs). A flow-sensitive loop analysis algorithm is presented for constructing the CR forms of array index expressions. Unlike other approaches, the CR forms are directly integrated into a standard dependence test to solve nonlinear CR-based dependence equations. To study the coverage and performance of the proposed CR-based enhancements of a standard test, we chose the inexact Banerjee test. We implemented a new CR-based Banerjee test in the Polaris compiler and compared the results to the Omega test and Range test on a set of SPEC and LAPACK Benchmark programs. The experimental results suggest that a CR enhancement can dramatically increase the effectiveness of a dependence test without a significant cost increase. More surprisingly, the findings indicate that the enhanced test exceeds the capabilities of the Omega and Range tests for many nonlinear dependence relations detected in the PERFECT Club and LAPACK Benchmark programs.
INDEX TERMS
Chains of Recurrences, Dependence Testing, Loop Optimization
CITATION
J. Birch, R. A. van Engelen, K. A. Gallivan, Y. Shou, "An empirical evaluation of chains of recurrences for array dependence testing", 2006 International Conference on Parallel Architectures and Compilation Techniques (PACT), vol. 00, no. , pp. 295-304, 2006, doi:
224 ms
(Ver 3.3 (11022016))