One-dimensional I test and direction vector I test with array references by induction variable

Authors:
Minyi Guo;Weng-Long Chang;Jian Lu;Minglu Li
Affiliations:
School of Computer Science and Engineering, University of Aizu, Aizu-Wakamatsu City, 965 8580 Fukushima, Japan, and State Key Lab for Novel Software Technology, Nanjing University, PR China.;Department of Computer Science and Information Engineering, National Kaohsiung University of Applied Sciences, 415 Chien Kung Road, 807 Kaohsiung, Taiwan.;State Key Lab for Novel Software Technology, Nanjing University, PR China.;Department of Computer Science and Engineering, Shanghai JiaoTong University, Shanghai, China
Venue:
International Journal of High Performance Computing and Networking
Year:
2005

Citing 21
Cited 0

On the accuracy of the Banerjee test

Journal of Parallel and Distributed Computing - Special issue on shared-memory multiprocessors
A practical algorithm for exact array dependence analysis

Communications of the ACM
Evaluation of programs and parallelizing compilers using dynamic analysis techniques

Evaluation of programs and parallelizing compilers using dynamic analysis techniques
Compiling for distributed memory multiprocessors based on access region analysis

Compiling for distributed memory multiprocessors based on access region analysis
On the Automatic Parallelization of the Perfect Benchmarks®

IEEE Transactions on Parallel and Distributed Systems
Nonlinear and Symbolic Data Dependence Testing

IEEE Transactions on Parallel and Distributed Systems
The extension of the I test

Parallel Computing
Data dependence analysis for array references

Journal of Systems and Software
The infinity Lambda test: a multi-dimensional version of Banerjee infinity test

Parallel Computing
Dependence Analysis

Dependence Analysis
Loop Transformations for Restructuring Compilers: The Foundations

Loop Transformations for Restructuring Compilers: The Foundations
Dependence Analysis for Supercomputing

Dependence Analysis for Supercomputing
A multi-dimensional version of the I test

Parallel Computing
An Efficient Data Dependence Analysis for Parallelizing Compilers

IEEE Transactions on Parallel and Distributed Systems
An Empirical Study of Fortran Programs for Parallelizing Compilers

IEEE Transactions on Parallel and Distributed Systems
The I Test: An Improved Dependence Test for Automatic Parallelization and Vectorization

IEEE Transactions on Parallel and Distributed Systems
The Power Test for Data Dependence

IEEE Transactions on Parallel and Distributed Systems
The Direction Vector I Test

IEEE Transactions on Parallel and Distributed Systems
Data Dependence Testing in Practice

PACT '99 Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques
Interprocedural parallelization using memory classification analysis

Interprocedural parallelization using memory classification analysis
Analyses of pointers, induction variables, and container objects for dependence testing

Analyses of pointers, induction variables, and container objects for dependence testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated above is presented. Also, it is proved from the proposed theoretical aspects that under a specific direction vector there are integer-valued solutions for one-dimensional arrays with subscripts formed by induction variable and under other specific direction vectors there are no integer-valued solutions. Experiments with benchmarks, cited from Parallel loop, Vector loop and TRFD (Perfect benchmark), reveal that our framework can properly enhance the precision of data dependence analysis for one-dimensional arrays with subscripts mentioned above.