Tile Merging Technique to Generate Valid Tiled Code by Means of the Transitive Closure of a Dependence Graph

2016 ◽  
pp. 315-327
Author(s):  
Włodzimierz Bielecki ◽  
Piotr Skotnicki
Keyword(s):  
Transitive Closure ◽  
Dependence Graph

scholarly journals Tiling arbitrarily nested loops by means of the transitive

2016 ◽  
Vol 26 (4) ◽  
pp. 919-939 ◽  
Author(s):  
Włodzimierz Bielecki ◽  
Marek Pałkowski
Keyword(s):  
Transitive Closure ◽  
Lexicographic Order ◽  
Dependence Graph ◽  
Program Transformations ◽  
Affine Transformations ◽  
Loop Nest ◽  
Loop Nests ◽  
Novel Approach ◽  
Nested Loops ◽  
Affine Functions

Abstract A novel approach to generation of tiled code for arbitrarily nested loops is presented. It is derived via a combination of the polyhedral and iteration space slicing frameworks. Instead of program transformations represented by a set of affine functions, one for each statement, it uses the transitive closure of a loop nest dependence graph to carry out corrections of original rectangular tiles so that all dependences of the original loop nest are preserved under the lexicographic order of target tiles. Parallel tiled code can be generated on the basis of valid serial tiled code by means of applying affine transformations or transitive closure using on input an inter-tile dependence graph whose vertices are represented by target tiles while edges connect dependent target tiles. We demonstrate how a relation describing such a graph can be formed. The main merit of the presented approach in comparison with the well-known ones is that it does not require full permutability of loops to generate both serial and parallel tiled codes; this increases the scope of loop nests to be tiled.

Non-well-founded Proof Theory of Transitive Closure Logic

2020 ◽  
Vol 21 (4) ◽  
pp. 1-31
Author(s):  
Liron Cohen ◽  
Reuben N. S. Rowe
Keyword(s):  
Proof Theory ◽  
Transitive Closure

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

2020 ◽  
Vol 89 ◽  
pp. 101467 ◽  
Author(s):  
Jelle Hellings ◽  
Marc Gyssens ◽  
Yuqing Wu ◽  
Dirk Van Gucht ◽  
Jan Van den Bussche ◽  
...  
Keyword(s):  
Transitive Closure ◽  
Relation Algebra

scholarly journals Trade-offs for fully dynamic transitive closure on DAGs: breaking through the O ( n 2 barrier

2005 ◽  
Vol 52 (2) ◽  
pp. 147-156 ◽  
Author(s):  
Camil Demetrescu ◽  
Giuseppe F. Italiano
Keyword(s):  
Transitive Closure ◽  
Trade Offs
Sign in / Sign up

Export Citation Format

Share Document