Hard real-time systems must obey strict timing constraints. Therefore, one needs to derive guarantees on the worst-case execution
times of a system’s tasks. In this context, predictable behavior of system components is crucial for the derivation of tight
and thus useful bounds. This paper presents results about the predictability of common cache replacement policies. To this
end, we introduce three metrics,
evict,
fill, and
mls that capture aspects of cache-state predictability. A thorough analysis of the LRU, FIFO, MRU, and PLRU policies yields the
respective values under these metrics. To the best of our knowledge, this work presents the first quantitative, analytical
results for the predictability of replacement policies. Our results support empirical evidence in static cache analysis.
Keywords Predictability - Timing analysis - Cache analysis - Cache replacement policies - Hard real-time systems