hesela.devCache inclusion property
The cache inclusion property requires the resident set at a smaller capacity to be contained in that at a larger capacity after each shared request prefix under the same replacement policy.
Fully associative, equal-size demand LRU has this property, so a hit at the smaller capacity remains a hit at the larger one. This is a capacity-comparison property, not a claim that a physical multi-level cache hierarchy is inclusive. [1]
Passing a finite trace sweep does not prove the property for an arbitrary policy. [2]
Relations
- related
- lru-replacement, fifo-replacement, belady-anomaly