Practical dependence testing
- 1 May 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 26 (6), 15-29
- https://doi.org/10.1145/113446.113448
Abstract
Precise and efficient dependence tests are essential to theeffectivermss ofaparallelizing compiler. This paper proposes a dependence testing scheme based on classifyingpairs ofsubscripted variable references. Exact yet fast dependence tests are presented for certain classes ofarray references, as well as empirical results showing that these references dominate scientific Fortran codes. These dependence tests are being implemented at Rice University in both PFC, aparallelizing compiler, and ParaScope, a parallel programming environment,Keywords
This publication has 24 references indexed in Scilit:
- Interactive parallel programming using the ParaScope EditorIEEE Transactions on Parallel and Distributed Systems, 1991
- An empirical study of Fortran programs for parallelizing compilersIEEE Transactions on Parallel and Distributed Systems, 1990
- Structured dataflow analysis for arrays and its use in an optimizing compilerSoftware: Practice and Experience, 1990
- Improving register allocation for subscripted variablesPublished by Association for Computing Machinery (ACM) ,1990
- Data dependence analysis on multi-dimensional array referencesPublished by Association for Computing Machinery (ACM) ,1989
- Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizerPublished by Association for Computing Machinery (ACM) ,1988
- Automatic translation of FORTRAN programs to vector formACM Transactions on Programming Languages and Systems, 1987
- Loops skewing: The wavefront method revisitedInternational Journal of Parallel Programming, 1986
- Deciding Linear Inequalities by Computing Loop ResiduesJournal of the ACM, 1981
- The parallel execution of DO loopsCommunications of the ACM, 1974