Using Randomized Caches in Probabilistic Real-Time Systems

被引:20
|
作者
Quinones, Eduardo [1 ]
Berger, Emery D. [2 ]
Bernat, Guillem [3 ]
Cazorla, Francisco J. [1 ]
机构
[1] Barcelona Supercomp Ctr, Barcelona, Spain
[2] Univ Massachusetts, Dept Comp Sci, Amherst, MA 01003 USA
[3] Rapita Syst, York, N Yorkshire, England
关键词
hard real-time systems; randomized hardware; cache replacement policies; timing analysis;
D O I
10.1109/ECRTS.2009.30
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
While hardware caches are generally effective at improving application performance, they greatly complicate performance prediction. Slight changes in memory layout or data access patterns can lead to large and systematic increases in cache misses, degrading performance. In the worst case, these misses can effectively render the cache useless. These pathological cases, or "cache risk patterns", are difficult to predict, test or debug, and their presence limits the usefulness of caches in safety critical real-time systems, especially in hard real-time environments. In this paper, we explore the effect of randomized cache replacement policies in real-time systems with stringent timing constrains. We present simulation-based results on representative examples that illustrate the problem of performance anomalies with standard cache replacement policies. We show that, by eliminating dependencies on access history, randomized replacement greatly reduces the risk of these cache-based performance anomalies, enabling probabilistic worst-case execution time analysis.
引用
收藏
页码:129 / +
页数:2
相关论文
共 50 条
  • [1] Static probabilistic timing analysis for real-time systems using random replacement caches
    Sebastian Altmeyer
    Liliana Cucu-Grosjean
    Robert I. Davis
    [J]. Real-Time Systems, 2015, 51 : 77 - 123
  • [2] Static probabilistic timing analysis for real-time systems using random replacement caches
    Altmeyer, Sebastian
    Cucu-Grosjean, Liliana
    Davis, Robert I.
    [J]. REAL-TIME SYSTEMS, 2015, 51 (01) : 77 - 123
  • [3] On using locking caches in embedded real-time systems
    Campoy, AM
    Tamura, E
    Sáez, S
    Rodríguez, F
    Busquets-Mataix, J
    [J]. EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 150 - 159
  • [4] A Probabilistic Calculus for Probabilistic Real-Time Systems
    Santinelli, Luca
    Cucu-Grosjean, Liliana
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
  • [5] Data caches in multitasking hard real-time systems
    Vera, X
    Lisper, B
    Xue, JL
    [J]. RTSS 2003: 24TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2003, : 154 - 165
  • [6] Real-time and probabilistic systems - Foreword
    Katoen, JP
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 282 (01) : 1 - 3
  • [7] Timing analysis for preemptive multitasking real-time systems with caches
    Tan, Yudong
    Mooney, Vincent
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2007, 6 (01) : 7
  • [8] Specification Theories for Probabilistic and Real-Time Systems
    Fahrenberg, Uli
    Legay, Axel
    Traonouez, Louis-Marie
    [J]. FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 98 - 117
  • [9] Deductive verification of probabilistic real-time systems
    Yamane, S
    [J]. 24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 622 - 627
  • [10] Probabilistic analysis of real-time dependable systems
    Moser, LE
    MelliarSmith, PM
    Thomopoulos, E
    [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 306 - 313