Facilitating the Search for Compositions of Program Transformations

DMCA

Facilitating the Search for Compositions of Program Transformations (2005)

Cached

Download Links

[www-rocq.inria.fr]
[pages.saclay.inria.fr]

Other Repositories/Bibliography

DBLP

by Albert Cohen , Marc Sigler , David Parello , Sylvain Girbal , Olivier Temam , Nicolas Vasilache

Venue:	In ACM Int. Conf. on Supercomputing (ICS’05
Citations:	37 - 11 self

BibTeX

@INPROCEEDINGS{Cohen05facilitatingthe,
    author = {Albert Cohen and Marc Sigler and David Parello and Sylvain Girbal and Olivier Temam and Nicolas Vasilache},
    title = {Facilitating the Search for Compositions of Program Transformations},
    booktitle = {In ACM Int. Conf. on Supercomputing (ICS’05},
    year = {2005},
    pages = {151--160}
}

OpenURL

Abstract

Static compiler optimizations can hardly cope with the complex run-time behavior and hardware components interplay of modern processor architectures. Multiple architectural phenomena occur and interact simultaneously, which requires the optimizer to combine multiple program transformations. Whether these transformations are selected through static analysis and models, runtime feedback, or both, the underlying infrastructure must have the ability to perform long and complex compositions of program transformations in a flexible manner. Existing compilers are ill-equipped to perform that task because of rigid phase ordering, fragile selection rules using pattern matching, and cumbersome expression of loop transformations on syntax trees. Moreover, iterative optimization emerges as a pragmatic and general means to select an optimization strategy via machine learning and operations research. Searching for the composition of dozens of complex, dependent, parameterized transformations is a challenge for iterative approaches.

Keyphrases

program transformation hardware component interplay static compiler optimization iterative optimization operation research complex composition syntax tree machine learning optimization strategy parameterized transformation iterative approach general mean multiple program transformation underlying infrastructure fragile selection rule runtime feedback complex run-time behavior pattern matching multiple architectural phenomenon occur rigid phase ordering flexible manner static analysis loop transformation cumbersome expression modern processor architecture

DMCA