Sciweavers

EMSOFT
2007
Springer

WCET estimation for executables in the presence of data caches

13 years 9 months ago
WCET estimation for executables in the presence of data caches
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation, which is used for the dual purposes of tracking address computations and cache behavior. A simultaneous nud pointer analysis using an abstraction for discrete sets of values computes safe approximations of access addresses which are then used to predict cache behavior using Must Analysis. A heuristic is also proposed which generates likely worst case estimates. It can be used in soft real time systems and also for reasoning about the tightness of the safe estimate. The analysis methods can handle programs with non-affine access patterns, for which conventional Presburger Arithmetic formulations or Cache Miss Equations do not apply. The precision of the estimates is user-controlled and can be traded off against analysis time. Executables are analyzed directly, which, apart from enhancing precision, renders ...
Rathijit Sen, Y. N. Srikant
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where EMSOFT
Authors Rathijit Sen, Y. N. Srikant
Comments (0)