Online Archive of University of Virginia Scholarship
Caches As Filters: A Framework for the473 views
Author
Weikle, Dee Ann Burgess, Department of Computer Science, University of Virginia
Advisors
Wulf, William, Department of Computer Science, University of Virginia
Abstract
This dissertation describes the Cache Filter Model, an analytical framework for cache system analysis. This framework provides a language and formal notation that enables researchers to reason and communicate about systems in an insightful new way. There are four major components that form the framework. First, the TSpec notation is a formal way for researchers to communicate with clarity about memory references generated by a processor. Second, the concept of an equivalence class of memory references provides an abstraction for eliminating artifacts due to chance address bindings or specific inputs. Third, the functional cache filter model uses the TSpec notation and equivalence class concept to allow designers to more clearly understand the effects of cache systems on particular memory references. Fourth, new metrics provide more insight into cache system behavior than current measures such as hit rate or average memory access time. This dissertation presents the cache filter framework in detail and demonstrates its use on several example kernels.
Degree
PHD (Doctor of Philosophy)
Keywords
Cache Filter Model; TSpec notation
Rights
All rights reserved (no additional license for public reuse)
Weikle, Dee Ann Burgess. Caches As Filters: A Framework for the. University of Virginia, Department of Computer Science, PHD (Doctor of Philosophy), 2001-05-31, https://doi.org/10.18130/V3P855.