Skip to Main content Skip to Navigation
Conference papers

Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling

Abstract : The construction of effective loop nest optimizers and par-allelizers remains challenging despite decades of work in the area. Due to the increasing diversity of loop-intensive applications and to the complex memory/computation hierarchies in modern processors, optimization heuristics are pulled towards conflicting goals, highlighting the lack of a systematic approach to optimizing locality and parallelism. Acknowledging these conflicting demands on loop nest optimization , we propose an algorithmic template capable of modeling the multi-level parallelism and the temporal/spatial locality of multiprocessors and accelerators. This algorithmic template orchestrates a collection of parameterizable, linear optimization problems over a polyhedral space of semantics-preserving transformations. While the overall problem is not convex, effective algorithms can be derived from this template delivering unprecedented performance portability over GPU and multicore CPU. We discuss the rationale for this algorithmic template and validate it on representative computational kernels/benchmarks.
Complete list of metadata

Cited literature [36 references]  Display  Hide  Download
Contributor : Oleksandr Zinenko Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 2:41:43 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:04 PM


Files produced by the author(s)




Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, et al.. Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling. CC'18 - 27th International Conference on Compiler Construction, Feb 2018, Vienna, Austria. ⟨10.1145/3178372.3179507⟩. ⟨hal-01751823⟩



Record views


Files downloads