Affiliation:
1. Purdue University, USA
Abstract
Scheduling transformations reorder operations in a program to improve locality and/or parallelism. There are mature loop transformation frameworks such as the polyhedral model for composing and applying instance-wise scheduling transformations for loop nests.In recent years, there have been efforts to build frameworks for composing and applying scheduling transformations for nested recursion and loops, but these frameworks cannot employ the full power of transformations for loop nests since they have overly-restrictive representations. This paper describes a new framework, UniRec, that not only generalizes prior frameworks for reasoning about transformations on recursion, but also generalizes the unimodular framework, and hence unifies reasoning about perfectly-nested loops and recursion.
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Reference28 articles.
1. [n. d.]. PolyBench: Polyhedral Benchmark Suite. https://web.cse.ohio-state.edu/~pouchet.2/software/polybench/ Accessed: 2022-04-14. [n. d.]. PolyBench: Polyhedral Benchmark Suite. https://web.cse.ohio-state.edu/~pouchet.2/software/polybench/ Accessed: 2022-04-14.
2. Beyond Iteration Vectors: Instancewise Relational Abstract Domains
3. Tiling stencil computations to maximize parallelism
4. Utpal Banerjee. 1991. Unimodular Transformations of Double Loops. In Languages and Compilers for Parallel Computing. Utpal Banerjee. 1991. Unimodular Transformations of Double Loops. In Languages and Compilers for Parallel Computing.
5. Parameterized Diamond Tiling for Stencil Computations with Chapel parallel iterators