SciDok

Eingang zum Volltext in SciDok

Hinweis zum Urheberrecht

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-3836
URL: http://scidok.sulb.uni-saarland.de/volltexte/2005/383/


A fast and efficient cache persistence analysis

Ferdinand, Christian

pdf-Format:
Dokument 1.pdf (3.073 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
SWD-Schlagwörter: Technische Informatik
Freie Schlagwörter (Deutsch): cache persistence analysis
Institut: Fachrichtung 6.2 - Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Sprache: Englisch
Erstellungsjahr: 1997
Publikationsdatum: 23.06.2005
Kurzfassung auf Englisch: In this paper, abstract interpretation is applied to the problem of predicting the cache behavior of programs. The goal of our analysis is to apporximate the set of all cache states for each program point, i.e., the collecting of semantics. We take a two step approach: First, we define an auxiliary semantics of machine programs called the cache semantics that determines the contents of caches. Then, from the cache semantics one simple analysis by abstract interpretation is deleloped that allowes to determine memory blocks that will be persistent in the cache. This is in contrast to former approaches [1, 6] that required two different analyses and specific interprocedural analysis methods. The persistence analysis is designed generic with the cache logic as parameter. Experimental results are presented that demonstrate the applicability of the analysis.

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English