Abstract | ||
---|---|---|
We are interested in the computing frontier around an essential question about compiler construction: having a program P and a set M of non parametric compiler optimization modules (called also phases), is it possible to find a sequence s of these phases such that the performance (execution time for instance) of the final generated program P′ is "optimal" ? We prove in this article that this problem is undecidable in two general schemes of optimizing compilation: iterative compilation and library optimization/generation. Fortunately, we give some simplified cases when this problem be-comes decidable, and we provide some algorithms (not necessary efficient) that can answer our main question. Another essential question that we are interested in is parame-ters space exploration in optimizing compilation (tuning optimizing compilation parameters). In this case, we assume a fixed sequence of optimization, but each optimization phase is allowed to have a parameter. We try to figure out how to compute the best parameter values for all program transformations when the compilation sequence is given. We also prove that this general problem is undecidable and we provide some simplified decidable instances. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1145/1128022.1128042 | Conf. Computing Frontiers |
Keywords | Field | DocType |
iterative compilation,general problem,program p,fixed sequence,optimization phase,essential question,library optimization,compilation sequence,optimizing compilation parameter,optimizing compilation,compiler construction,optimizing compiler,compiler optimization | Dynamic compilation,Programming language,Computer science,Parallel computing,Optimizing compiler,Theoretical computer science,Decidability,Compiler construction,Space exploration,Single Compilation Unit,Just-in-time compilation,Undecidable problem | Conference |
ISBN | Citations | PageRank |
1-59593-302-6 | 13 | 0.66 |
References | Authors | |
21 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sid-Ahmed-Ali Touati | 1 | 91 | 12.27 |
Denis Barthou | 2 | 238 | 26.14 |