The Study of Dynamic Caching via State Transition Field -- the Case of Time-Invariant Popularity

TL;DR

This paper introduces the concept of a state transition field (STF) to analyze cache replacement schemes under time-invariant popularity, providing a unified framework to understand their dynamics and steady states.

Contribution

It develops a general model using STF to analyze various cache replacement schemes with time-invariant content popularity, offering new insights into their behavior and differences.

Findings

STFs are static for time-invariant popularity.

Each replacement scheme has a unique STF determined by content popularity.

STFs can be used to analyze steady states and differences among schemes.

Abstract

This two-part paper investigates cache replacement schemes with the objective of developing a general model to unify the analysis of various replacement schemes and illustrate their features. To achieve this goal, we study the dynamic process of caching in the vector space and introduce the concept of state transition field (STF) to model and characterize replacement schemes. In the first part of this work, we consider the case of time-invariant content popularity based on the independent reference model (IRM). In such case, we demonstrate that the resulting STFs are static, and each replacement scheme leads to a unique STF. The STF determines the expected trace of the dynamic change in the cache state distribution, as a result of content requests and replacements, from any initial point. Moreover, given the replacement scheme, the STF is only determined by the content popularity. Using four example schemes including random replacement (RR) and least recently used (LRU), we show that the STF can be used to analyze replacement schemes such as finding their steady states, highlighting their differences, and revealing insights regarding the impact of knowledge of content popularity. Based on the above results, STF is shown to be useful for characterizing and illustrating replacement schemes. Extensive numeric results are presented to demonstrate analytical STFs and STFs from simulations for the considered example replacement schemes.