Facilitating worst-case execution times analysis for optimized code

被引：9

作者：

Engblom, J ^{[1
]}

Ermedahl, A ^{[1
]}

Altenbernd, P ^{[1
]}

机构：

[1] Univ Uppsala, Dept Comp Syst, S-75105 Uppsala, Sweden

来源：

10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS | 1998年

关键词：

D O I：

10.1109/EMWRTS.1998.685079

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-case execution time (WCET) analysis. Our approach is designed to handle the problems introduced by optimizing compilers, i.e. that the structure of the object code is very different from the structure of the source code. The co-transformer allows us to keep track of how different compiler transformations, including optimizations, influence the execution time of a program. This allows us to statically calculate the execution time of a program at the object code level, using information about the program execution obtained at the source code level.

引用

页码：146 / 153

页数：8