Survey of Cache analysis for worst-case execution time estimation

Research output: Journal Publications and ReviewsRGC 21 - Publication in refereed journalpeer-review

8 Scopus Citations
View graph of relations

Author(s)

Detail(s)

Original languageEnglish
Pages (from-to)179-199
Journal / PublicationRuan Jian Xue Bao/Journal of Software
Volume25
Issue number2
Publication statusPublished - Feb 2014
Externally publishedYes

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.

Research output: Journal Publications and ReviewsRGC 21 - Publication in refereed journalpeer-review