Loading...
Please wait, while we are loading the content...
Similar Documents
On the Validity Problem for Unimodular Transformations (1994)
| Content Provider | CiteSeerX |
|---|---|
| Author | Knijnenburg, Peter |
| Abstract | In this paper a new approach to the validity problem of unimodualr transformations is proposed. First, we define a representation of data dependences by means of convex polytopes. Second, it is shown how this representation can be used to test the validity of unimodular transformations. This method is strictly more powerful than methods based on dependence direction vectors, as proposed by Wolfe, or interval vector, as proposed by Wolf and Lam. We show how our method can be extended to cover the situations where affine guards are present in the loop body, where multiple transformations or displacements are used to transform the loop, as well. 1 Introduction The application of loop level transformations is one of the major techniques for restructuring programs in order to exploit their inherent parallelism and achieve high performance on current vector and massively parallel architectures [Ban93, PW86, Pol88, Wol91, ZC90]. Recently significant progress was made by the recognition that ... |
| File Format | |
| Publisher Date | 1994-01-01 |
| Access Restriction | Open |
| Subject Keyword | Unimodualr Transformation Parallel Architecture Ban93 Interval Vector Inherent Parallelism Major Technique Loop Level Transformation Convex Polytopes Dependence Direction Vector Multiple Transformation Unimodular Transformation Loop Body Current Vector Data Dependence Affine Guard Significant Progress Validity Problem |
| Content Type | Text |
| Resource Type | Article |
