License
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://drops.dagstuhl.de/opus/volltexte/2012/3554/

Wegener, Simon

Computing Same Block Relations for Relational Cache Analysis

pdf-format:
Dokument 1.pdf (488 KB)


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 =		{http://dx.doi.org/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
Seminar: 12th International Workshop on Worst-Case Execution Time Analysis
Issue date: 2012
Date of publication: 28.06.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI