CacheQuery: Learning Replacement Policies from Hardware Caches
Abstract
We show how to infer deterministic cache replacement policies using off-the-shelf automata learning and program synthesis techniques. For this, we construct and chain two abstractions that expose the cache replacement policy of any set in the cache hierarchy as a membership oracle to the learning algorithm, based on timing measurements on a silicon CPU. Our experiments demonstrate an advantage in scope and scalability over prior art and uncover 2 previously undocumented cache replacement policies.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2019
- DOI:
- 10.48550/arXiv.1912.09770
- arXiv:
- arXiv:1912.09770
- Bibcode:
- 2019arXiv191209770V
- Keywords:
-
- Computer Science - Programming Languages;
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- 17 pages, 5 tables, 5 figures