The Banerjee–Wolfe and GCD Tests on Exact Data Dependence Information

The GCD test and the Banerjee–Wolfe test are the two tests traditionally used to determine statement data dependence, subject to direction vectors, in automatic vectorization/parallelization of loops. In an earlier study, a sufficient condition for the accuracy of the Banerjee–Wolfe test was stated...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of parallel and distributed computing Ročník 32; číslo 2; s. 119 - 138
Hlavní autor: Psarris, Kleanthis
Médium: Journal Article
Jazyk:angličtina
Vydáno: San Diego, CA Elsevier Inc 01.02.1996
Elsevier
Témata:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Programming theory
Software
Software engineering
Theoretical computing
Program loop
Constraint
Theorem proving
Dependence
Parallelization
Vectorization
Program verification
Mathematical programming
ISSN:0743-7315, 1096-0848
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The GCD test and the Banerjee–Wolfe test are the two tests traditionally used to determine statement data dependence, subject to direction vectors, in automatic vectorization/parallelization of loops. In an earlier study, a sufficient condition for the accuracy of the Banerjee–Wolfe test was stated and proved. In that work, we only considered the case of general data dependence, i.e., the case of data dependence without direction vector information. In this paper, we extend the previous result to the case of data dependence subject to an arbitrary direction vector. We also state and prove a sufficient condition for the accuracy of a combination of the GCD and Banerjee–Wolfe tests. Furthermore, we show that the sufficient conditions, for the accuracy of the Banerjee–Wolfe test and the accuracy of a combination of the GCD and Banerjee–Wolfe tests are necessary conditions as well. Finally, we demonstrate how these results can be used in actual practice to obtain exact data dependence information.
ISSN:0743-7315
1096-0848
DOI:10.1006/jpdc.1996.0009