Symbolic Cache Analysis for Real-Time Systems

摘要

Caches impose a major problem for predicting execution times of real-time systems since the cache behavior depends on the history of previous memory references. Too pessimistic assumptions on cache hits can obtain worst-case execution time estimates that are prohibitive for real-time systems. This paper presents a novel approach for deriving a highly accurate analytical cache hit function for C-programs At compile-time based on the assumption that no external cache interference(e.g. process dispatching of DMA Activity) occurs.