TY - JOUR
T1 - Survey of Cache analysis for worst-case execution time estimation
AU - Lü, Ming Song
AU - Guan, Nan
AU - Wang, Yi
PY - 2014/2
Y1 - 2014/2
N2 - The main task of real-time system design is to analyze the timing behaviors of a system at design time in order to guarantee that the given timing constraints are met at run time. The key issue is to estimate the Worst-Case Execution Time (WCET) of a program. Typically the WCET is heavily influenced by the hardware features of the target processor, among which Cache is the most influential factor. This article presents a survey on Cache analysis for WCET estimation. It introduces main research problems and challenges in different dimensions, such as the analysis of loops, data caches, multi-level caches, multi-core shared caches, non-LRU replacement policies, etc. The mainstream analysis techniques with their pros and cons are evaluated. An outlook for future research directions of Cache analysis is given in the end.
AB - The main task of real-time system design is to analyze the timing behaviors of a system at design time in order to guarantee that the given timing constraints are met at run time. The key issue is to estimate the Worst-Case Execution Time (WCET) of a program. Typically the WCET is heavily influenced by the hardware features of the target processor, among which Cache is the most influential factor. This article presents a survey on Cache analysis for WCET estimation. It introduces main research problems and challenges in different dimensions, such as the analysis of loops, data caches, multi-level caches, multi-core shared caches, non-LRU replacement policies, etc. The mainstream analysis techniques with their pros and cons are evaluated. An outlook for future research directions of Cache analysis is given in the end.
KW - Abstract interpretation
KW - Cache analysis
KW - Real-time system
KW - Timing analysis
KW - WCET (worst-case execution time)
UR - https://www.scopus.com/pages/publications/84894858069
U2 - 10.13328/j.cnki.jos.004529
DO - 10.13328/j.cnki.jos.004529
M3 - 文章
AN - SCOPUS:84894858069
SN - 1000-9825
VL - 25
SP - 179
EP - 199
JO - Ruan Jian Xue Bao/Journal of Software
JF - Ruan Jian Xue Bao/Journal of Software
IS - 2
ER -