License: Creative Commons Attribution-NoDerivs 3.0 Unported license (CC BY-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2012.25
URN: urn:nbn:de:0030-drops-35544
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3554/
Go to the corresponding OASIcs Volume Portal

Wegener, Simon

Computing Same Block Relations for Relational Cache Analysis

pdf-format:
p025-wegener.pdf (0.5 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{wegener:OASIcs:2012:3554,
  author =	{Simon Wegener},
  title =	{{Computing Same Block Relations for Relational Cache Analysis}},
  booktitle =	{12th International Workshop on Worst-Case Execution Time Analysis},
  pages =	{25--37},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-41-5},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{23},
  editor =	{Tullio Vardanega},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3554},
  URN =		{urn:nbn:de:0030-drops-35544},
  doi =		{10.4230/OASIcs.WCET.2012.25},
  annote =	{Keywords: Cache Analysis, WCET Analysis, Real-time Systems, Static Program Analysis, Abstract Interpretation}
}

Keywords: Cache Analysis, WCET Analysis, Real-time Systems, Static Program Analysis, Abstract Interpretation
Collection: 12th International Workshop on Worst-Case Execution Time Analysis
Issue Date: 2012
Date of publication: 10.07.2012

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI