2026-07-20T07:17:20Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3554 2024-03-06T10:29:00Z ddc:004 open_access

Computing Same Block Relations for Relational Cache Analysis Wegener, Simon Cache Analysis WCET Analysis Real-time Systems Static Program Analysis Abstract Interpretation In contrast to the classical cache analysis of Ferdinand, the relational cache analysis does not rely on precise address information. Instead, it uses same block relations between memory accesses to predict cache hits. The relational data cache analysis can thus also predict cache hits if fully unrolling a loop is not feasible during analysis, for example due to high memory consumption or long computation time. This paper proposes a static analysis based on abstract interpretation which is able to compute same block relations for relational cache analysis. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Simon Wegener 2012 Is Part Of OASIcs, Volume 23, 12th International Workshop on Worst-Case Execution Time Analysis (2012) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2012.25 urn:nbn:de:0030-drops-35544 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2012.25 eng https://creativecommons.org/licenses/by-nd/3.0/legalcode