Coping with Data Dependencies of Multi-dimensional Array References

• Published in: Lecture notes in computer science pp. 278 - 284
• Main Authors: Qiao, Lin, Huang, Weitong, Tang, Zhizhong
• Format: Book Chapter Conference Proceeding
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2005; Springer
• Series: Lecture Notes in Computer Science
• Subjects: Applied sciences; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Exact sciences and technology; Software; Parallel algorithm; Data analysis; Multidimensional analysis; Nested loop; Static analysis; Inequality constraint; Dependence; Program analysis; Time analysis; Distributed computing; Program verification
• ISBN: 9783540298106; 354029810X
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/11577188_40

This paper presents a new static data dependence analysis approach, Dependence Difference Inequality Test, which can deal with coupled subscripts for multi-dimensional array references for software pipelining techniques for nested loops. The Dependence Difference Inequality Test (DDIT) replaces direction vectors with dependence difference inequalities as constraints to variables in a linear system. The method presented in this paper extends the applicable range of the Generalized Lambda Test and seems to be a practical scheme to analyze data dependence. Experimental results show that the number of data independences checked by the DDIT algorithm is slightly smaller than that manually. It is also shown that our method is better than other traditional data dependence analysis methods without increasing time cost: it increases the success rate of the Generalized Lambda Test by approximately 14.19%.