Expressing cross-loop dependencies through hyperplane data dependence analysis
- Univ. of British Columbia, Vancouver, British Columbia (Canada). Dept. of Electrical Engineering
Traditional dependence analysis techniques usually attempt to recognize the existence of dependencies between iterations of a loop and, in some cases, characterize these dependencies by finding direction vectors or distance vectors. In this paper, a more general form of data dependence called hyperplane dependence is introduced. It is a dependence whose source and destination are subspaces of the iteration space. This dependence form can be useful mainly for expressing dependencies across loop-nests, and consequently better understand the interaction between the loops. In order to be able to express across loop dependencies and analyze all loops in the code simultaneously, a global iteration space for all loops in the code is formed. Hyperplane dependence analysis is used in this paper to improve automatic generation of communication statements across loops and index alignment for n-dimensional grid target machines.
- OSTI ID:
- 87655
- Report Number(s):
- CONF-941118-; ISBN 0-8186-6605-6; TRN: IM9535%%287
- Resource Relation:
- Conference: Supercomputing `94 meeting, Washington, DC (United States), 14-18 Nov 1994; Other Information: PBD: 1994; Related Information: Is Part Of Supercomputing `94: Proceedings; PB: 849 p.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Parametric Multi-Level Tiling of Imperfectly Nested Loops
An efficient algorithm for the run-time parallelization of DOACROSS loops