Survey of Cache analysis for worst-case execution time estimation
Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review
Author(s)
Detail(s)
Original language | English |
---|---|
Pages (from-to) | 179-199 |
Journal / Publication | Ruan Jian Xue Bao/Journal of Software |
Volume | 25 |
Issue number | 2 |
Publication status | Published - Feb 2014 |
Externally published | Yes |
Link(s)
Abstract
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. © Copyright 2014, Institute of Software, the Chinese Academy of Sciences. All rights reserved.
Research Area(s)
- Abstract interpretation, Cache analysis, Real-time system, Timing analysis, WCET (worst-case execution time)
Bibliographic Note
Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].
Citation Format(s)
Survey of Cache analysis for worst-case execution time estimation. / Lü, Ming-Song; Guan, Nan; Wang, Yi.
In: Ruan Jian Xue Bao/Journal of Software, Vol. 25, No. 2, 02.2014, p. 179-199.
In: Ruan Jian Xue Bao/Journal of Software, Vol. 25, No. 2, 02.2014, p. 179-199.
Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review