On the complexity of cache analysis for different replacement policies - Archive ouverte HAL
Article Dans Une Revue Journal of the ACM (JACM) Année : 2019

On the complexity of cache analysis for different replacement policies

David Monniaux
Valentin Touzeau

Résumé

Modern processors use cache memory: a memory access that “hits” the cache returns early, while a “miss” takes more time. Given a memory access in a program, cache analysis consists in deciding whether this access is always a hit, always a miss, or is a hit or a miss depending on execution. Such an analysis is of high importance for bounding the worst-case execution time of safety-critical real-time programs. There exist multiple possible policies for evicting old data from the cache when new data are brought in, and different policies, though apparently similar in goals and performance, may be very different from the analysis point of view. In this paper, we explore these differences from a complexity-theoretical point of view. Specifically, we show that, among the common replacement policies, LRU (Least Recently Used) is the only one whose analysis is NP-complete, whereas the analysis problems for the other policies are PSPACE-complete.
Fichier principal
Vignette du fichier
cache_analysis_complexity_article.pdf (330.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01910216 , version 1 (31-10-2018)
hal-01910216 , version 2 (20-09-2019)
hal-01910216 , version 3 (18-11-2019)

Identifiants

Citer

David Monniaux, Valentin Touzeau. On the complexity of cache analysis for different replacement policies. Journal of the ACM (JACM), 2019, 66 (6), pp.41. ⟨10.1145/3366018⟩. ⟨hal-01910216v3⟩
1160 Consultations
1122 Téléchargements

Altmetric

Partager

More