Please use this identifier to cite or link to this item:
|Title:||Modeling control speculation for timing analysis|
Worst case execution time
|Citation:||Li, X., Mitra, T., Roychoudhury, A. (2005). Modeling control speculation for timing analysis. Real-Time Systems 29 (1) : 27-58. ScholarBank@NUS Repository. https://doi.org/10.1023/B:TIME.0000048933.15922.f9|
|Abstract:||The schedulability analysis of real-time embedded systems requires worst case execution time (WCET) analysis for the individual tasks. Bounding WCET involves not only language-level program path analysis, but also modeling the performance impact of complex micro-architectural features present in modern processors. In this paper, we statically analyze the execution time of embedded software on processors with speculative execution. The speculation of conditional branch outcomes (branch prediction) significantly improves a program's execution time. Thus, accurate modeling of control speculation is important for calculating tight WCET estimates. We present a parameterized framework to model the different branch prediction schemes. We further consider the complex interaction between speculative execution and instruction cache performance, that is, the fact that speculatively executed blocks can generate additional cache hits/misses. We extend our modeling to capture this effect of branch prediction on cache performance. Starting with the control flow graph of a program, our technique uses integer linear programming to estimate the program's WCET. The accuracy of our method is demonstrated by tight estimates obtained on realistic benchmarks.|
|Source Title:||Real-Time Systems|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 13, 2018
WEB OF SCIENCETM
checked on Dec 5, 2018
checked on Dec 8, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.