Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler

Konrad Trifunovic 1
1 Parkas - Parallélisme de Kahn Synchrone
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : In order to take the performance advantages of the current multicore and heterogeneous architectures the compilers are required to perform more and more complex program transformations. The search space of the possible program optimizations is huge and unstructured. Selecting the best transformation and predicting the potential performance benefits of that transformation is the major problem in today's optimizing compilers. The promising approach to handling the program optimizations is to focus on the automatic loop optimizations expressed in the polyhedral model. The current approaches for optimizing programs in the polyhedral model broadly fall into two classes. The first class of the methods is based on the linear optimization of the analytical cost function. The second class is based on the exhaustive iterative search. While the first approach is fast, it can easily miss the optimal solution. The iterative approach is more precise, but its running time might be prohibitively expensive. In this thesis we present a novel search-based approach to program transformations in the polyhedral model. The new method combines the benefits - effectiveness and precision - of the current approaches, while it tries to minimize their drawbacks. Our approach is based on enumerating the evaluations of the precise, nonlinear performance predicting cost-function. The current practice is to use the polyhedral model in the context of source-to-source compilers. We have implemented our techniques in a GCC framework that is based on the low level three address code representation. We show that the chosen level of abstraction for the intermediate representation poses scalability challenges, and we show the ways to overcome those problems. On the other hand, it is shown that the low level IR abstraction opens new degrees of freedom that are beneficial for the search-based transformation strategies and for the polyhedral compilation in general.
Document type :
Theses
Complete list of metadatas

Cited literature [162 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00661334
Contributor : Abes Star <>
Submitted on : Thursday, January 19, 2012 - 11:23:07 AM
Last modification on : Wednesday, January 30, 2019 - 11:07:34 AM
Long-term archiving on : Friday, April 20, 2012 - 2:26:41 AM

File

VA_TRIFUNOVIC_KONRAD_04072011....
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00661334, version 1

Collections

Citation

Konrad Trifunovic. Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler. Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112096⟩. ⟨tel-00661334⟩

Share

Metrics

Record views

601

Files downloads

449