Huber, B., Hepp, S., & Schöberl, M. (2014). Scope-based Method Cache Analysis. In H. Falk (Ed.), 14th International Workshop on Worst-Case Execution Time Analysis (pp. 73–82). OpenAccess Series in Informatics (OASIcs). https://doi.org/10.4230/OASIcs.WCET.2014.73
The quest for time-predictable systems has led to the exploration of new hardware architectures
that simplify analysis and reasoning in the temporal domain, while still providing competitive
performance. For the instruction memory, the method cache is a conceptually attractive solution,
as it requests memory transfers at well-defined instructions only. In this article, we present a
new cache analysis framework that generalizes and improves work on cache persistence analysis.
The analysis demonstrates that a global view on the cache behavior permits the precise analyses
of caches which are hard to analyze by inspecting cache state locally.
Computer Engineering and Software-Intensive Systems: 100%