文章基本信息

标题：Fine-Grain Iterative Compilation for WCET Estimation
本地全文：下载
作者：Isabelle Puaut ; Micka{\"e}l Dardaillon ; Christoph Cullmann 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2018
卷号：63
页码：1-12
DOI：10.4230/OASIcs.WCET.2018.9
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Worst-Case Execution Time Estimation; Compiler optimizations; Iterative Compilation; Flow fact extraction; Outlining