This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Citation:
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.