A practical automatic polyhedral parallelizer and locality optimizer

Abstract

We present the design and implementation of an automatic polyhedral source-to-source transformation framework that can optimize regular programs (sequences of possibly imperfectly nested loops) for parallelism and locality simultaneously. Through this work, we show the practicality of analytical model-driven automatic transformation in the polyhedral model -- far beyond what is possible by current production compilers. Unlike previous works, our approach is an end-to-end fully automatic one driven by an integer linear optimization framework that takes an explicit view of finding good ways of tiling for parallelism and locality using affine transformations. The framework has been implemented into a tool to automatically generate OpenMP parallel code from C program sections. Experimental results from the tool show very high speedups for local and parallel execution on multi-cores over state-of-the-art compiler frameworks from the research community as well as the best native production compilers. The system also enables the easy use of powerful empirical/iterative optimization for general arbitrarily nested loop sequences.

DOI: 10.1145/1375581.1375595

Extracted Key Phrases

13 Figures and Tables

0204060802008200920102011201220132014201520162017
Citations per Year

421 Citations

Semantic Scholar estimates that this publication has 421 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Bondhugula2008APA, title={A practical automatic polyhedral parallelizer and locality optimizer}, author={Uday Bondhugula and Albert Hartono and J. Ramanujam and P. Sadayappan}, booktitle={PLDI}, year={2008} }