This Article 
 Bibliographic References 
 Add to: 
The I Test: An Improved Dependence Test for Automatic Parallelization and Vectorization
July 1991 (vol. 2 no. 3)
pp. 342-349

The I test is a subscript dependence test which extends both the range of applicability and the accuracy of the GCD and Banerjee tests (U. Banerjee, 1976), standard subscript dependence tests used to determine whether loops may be parallelized/vectorized. It is shown that the I test is useful when, in the event that a positive result must be reported, a definitive positive is of more use than a tentative positive and when insufficient loop iterations are known for the Banerjee test to apply.

[1] F. E. Allen, M. Burke, P. Charles, R. Cytron, and J. Ferrante, "An overview of the PTRAN analysis system for multiprocessing," inProc. First Int. Conf. Supercomput., June 1987, pp. 194-211.
[2] J. R. Allen, "Dependence analysis for subscripted variables and its application to program transformations," Ph.D. dissertation, Dept. Math. Sci., Rice Univ., May 1983.
[3] R. Allen and K. Kennedy, "Automatic translation of FORTRAN to vector form,"ACM Trans. Programming Languages Syst., vol. 9, no. 4, pp. 491-524, 1987.
[4] U. Banerjee, "Data dependence in ordinary programs," M.S. thesis, Univ. of Illinois at Urbana-Champaign, Nov., 1976.
[5] U. Banerjee, "Speedup of ordinary programs," Ph.D dissertation, Dep. Comput. Sci. Univ. Illinois, Urbana-Champaign, Rep. No. UIUCDCS-R-79-989, 1979.
[6] U. Banerjee,Dependence Analysis for Supercomputing, Kluwer Academic Publishers, Norwell, Mass., 1988.
[7] M. Burke and R. Cytron, "Interprocedural dependence analysis and parallelization," inProc. SIG-PLAN '86 Symp. Comp. Construct., Palo Alto, CA, June 1986, pp. 162-175.
[8] L. Lamport, "The parallel execution of DO loops,"Commun. ACM, vol. 17, no. 2, pp. 83-93, Feb. 1974.
[9] Z. Shen, Z. Li, and P. Yew, "An empirical study on array subscripts and data dependences," inProc. 1989 Int. Conf. Parallel Processing, Aug. 1989.
[10] R. A. Towle, "Control and data dependence for program transformations," Ph.D. dissertation, Univ. of Illinois at Urbana-Champaign, 1976.
[11] M. J. Wolfe, "Optimizing supercompilers for supercomputers," Ph.D. thesis, Ctr. Supercomput. Res. and Development, Univ. Illinois, Urbana-Champaign, 1980.
[12] M. Wolfe,Optimizing Supercompilers for Supercomputers. Cambridge MA: MIT Press, 1989.
[13] M. Wolfe and U. Banerjee, "Data Dependence and Its Application to Parallel Processing,"Int'l J. Parallel Programming, Vol. 16, No. 2, Apr. 1987, pp. 137-178.
[14] D. Klappholz, K. Psarris, and X. Kong, "On the perfect accuracy of an approximate subscript analysis test," inProc. 1990 ACM Int. Conf. Supercomput., Amsterdam, June 1990.

Index Terms:
Index Termsautomatic parallelization; vectorization; I test; subscript dependence test; GCD; Banerjee tests; loops; loop iterations; parallel programming; program compilers; program testing
X. Kong, D. Klappholz, K. Psarris, "The I Test: An Improved Dependence Test for Automatic Parallelization and Vectorization," IEEE Transactions on Parallel and Distributed Systems, vol. 2, no. 3, pp. 342-349, July 1991, doi:10.1109/71.86109
Usage of this product signifies your acceptance of the Terms of Use.