Fine-Grain Iterative Compilation for WCET Estimation

Abstract : Compiler optimizations, although reducing the execution times of programs, raise issues in static WCET estimation techniques and tools. Flow facts, such as loop bounds, may not be automatically found by static WCET analysis tools after aggressive code optimizations. In this paper, we explore the use of iterative compilation (WCET-directed program optimization to explore the optimization space), with the objective to (i) allow flow facts to be automatically found and (ii) select optimizations that result in the lowest WCET estimates. We also explore to which extent code outlining helps, by allowing the selection of different optimization options for different code snippets of the application.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01889944
Contributor : Isabelle Puaut <>
Submitted on : Monday, October 8, 2018 - 11:05:04 AM
Last modification on : Thursday, December 13, 2018 - 5:52:02 PM
Long-term archiving on : Wednesday, January 9, 2019 - 1:39:43 PM

File

WCET_2018.pdf
Files produced by the author(s)

Identifiers

Citation

Isabelle Puaut, Mickaël Dardaillon, Christoph Cullmann, Gernot Gebhard, Steven Derrien. Fine-Grain Iterative Compilation for WCET Estimation. WCET 2018 - 18th International Workshop on Worst-Case Execution Time Analysis, Jul 2018, Barcelona, Spain. pp.1-12, ⟨10.4230/OASIcs.WCET.2018.9⟩. ⟨hal-01889944⟩

Share

Metrics

Record views

162

Files downloads

66