The Semantic Foundations and a Landscape of Cache-Persistence Analyses

We clarify the notion of cache persistence and contribute to the understanding of persistence analysis for caches with least-recently-used replacement.To this end, we provide the first formal definition of persistence as a property of a trace semantics. Based on this trace semantics we introduce a s...

Full description

Bibliographic Details
Main Author: Reineke, Jan
Format: Article
Language:English
Published: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik 2018-05-01
Series:Leibniz Transactions on Embedded Systems
Subjects:
Online Access:https://drops.dagstuhl.de/storage/07lites/lites_vol005/lites_vol005_issue001/LITES-v005-i001-a003/LITES-v005-i001-a003.pdf