Online Weighted Paging with Unknown Weights

Online paging is a fundamental problem in the field of online algorithms, in which one maintains a cache of $k$ slots as requests for fetching pages arrive online. In the weighted variant of this problem, each page has its own fetching cost; a substantial line of work on this problem culminated in an (optimal) $O(\log k)$-competitive randomized algorithm, due to Bansal, Buchbinder and Naor (FOCS'07). Existing work for weighted paging assumes that page weights are known in advance, which is not always the case in practice. For example, in multi-level caching architectures, the expected cost of fetching a memory block is a function of its probability of being in a mid-level cache rather than the main memory. This complex property cannot be predicted in advance; over time, however, one may glean information about page weights through sampling their fetching cost multiple times. We present the first algorithm for online weighted paging that does not know page weights in advance, but rather learns from weight samples. In terms of techniques, this requires providing (integral) samples to a fractional solver, requiring a delicate interface between this solver and the randomized rounding scheme; we believe that our work can inspire online algorithms to other problems that involve cost sampling.

Paper

Similar papers

Peer review

Reviewer VdxB7/10 · confidence 4/52024-07-10

Summary

This paper considers a generalization of the classical online paging problem. In classical online paging, one needs to maintain a cache of k slots as requests for fetching pages arrive online. If the requested pages are in the cache, there is no charged cost; otherwise, w_p cost will be charged for page p. The goal is to maintain a cache of k slots such that the total fetching cost is minimized. This paper extends this classical setting to the case where the weight of all pages is not known prior to algorithms. Instead, the algorithm needs to sample a value from an unknown distribution, and such a value will be an estimated value of the actual weight. The goal is still to minimize the total fetching cost. The main contribution of this work is an online algorithm that achieves alg$\leq O(\log k)$ opt + $O(\sqrt{nT})$, where k is the size of the cache, n is the number of pages and T is the number requests. The main technique is fractional solution+rounding. To bridge these two phases, the authors design an interface, which aims to learn an estimation of weights for each page.

Strengths

1. The studied problem is well-motivated and it should be interested in the ML community. I expect that the studied problem will have a positive impact on practice. 2. I like the interface idea to bridge the fractional solution and rounding. The main purpose of the interface is to learn the weights. Although all these ideas are not novel, it is interesting to see that a simple combination works well. 3. The paper is well-structured. I appreciate that the authors give a very clear statement for the algorithmic framework in Section 3. This is very helpful for readers.

Weaknesses

There is no lower bound in the paper. The regret bound might be far from tight, but this is expected in the first paper.

Questions

Could you comment on how tight the regret bound O(\sqrt{nT}) is? This seems to be a large number.

Rating

7

Confidence

4

Soundness

3

Presentation

3

Contribution

3

Limitations

This is a theoretical paper, there is no potential negative societal impact.

Reviewer MmEo6/10 · confidence 4/52024-07-11

Summary

This paper is the first to model and study to the online weighted paging problem with unknown weights. In this model, the weights $w_p$ of pages are initially unknown, and the eviction cost is drawn from an unknown distribution with an expectation equal to $w_p$. This study extends previous research on online weighted paging with unknown weights by integrating concepts from online learning. The authors present an algorithm that achieves the performance bound as follows: $$ E[ALG]\ \leq O(\log k) OPT + \tilde{O}(\sqrt{nT}). $$ Remark that $O(\log k) is the competitive ratio in the known-weight setting. The proposed solution comprises two main components: a fractional algorithm and a rounding framework. The fractional algorithm is designed to approximate the optimal cost, while the rounding framework ensures consistency with the fractional solution through a rebalancing routine. The methodology for the fractional algorithm and the rounding and rebalancing framework are from [Bansal et al. 2010] and [Bansal et al. 2012]. Additionally, the weight estimation utilizes a classical Upper Confidence Bound (UCB) method from the multi-armed bandit problem in online learning. It is a non-trivial combination of the two techniques.

Strengths

This paper presents their motivation for studying the new model clearly, using the example of multi-level cache structure as a compelling rationale. The proposed model is clean, providing a robust foundation that is likely to inspire future research.

Weaknesses

The presentation in section 5 is not clear and may only be reader-friendly to those familiar with it [Bansal et al. 2012]. We may need a high-level idea and some introductions, like anti-cache, before presenting the pseudocode.

Questions

In section 5, the author mentions that they need a more robust rebalancing procedure. What is the detailed difference between it and the previous approach? Can you give some more explanations? It seems that the algorithm runs really slow because of the continuous rebalancing step. Can you remark on the running time of the algorithm?

Rating

6

Confidence

4

Soundness

3

Presentation

2

Contribution

3

Limitations

The author does not address the limitations of the proposed algorithm. The efficiency of the algorithm is not considered. Given that the algorithm maintains an exponential number of subsets $S \subset P$ and may adjust some $\mu(S)$ each time an $\epsilon$ fraction of $\mu(S)$ changes, the running time may be quite large.

Reviewer WtQQ7/10 · confidence 4/52024-07-11

Summary

The paper addresses the problem of online weighted paging with eviction costs drawn from unknown page-dependent distributions. As evictions occur, the authors demonstrate how to learn an effective eviction strategy online using previous cost samples, framing this as a multi-armed bandit problem. They first approach a fractional relaxation of the problem, then apply a rounding technique to derive a randomized algorithm for the original problem. The resulting algorithm incurs an expected cost of $O(\log k) \cdot \text{OPT} + O(\sqrt{nT})$, where $k$ is the cache size, $n$ is the number of pages, and $T$ is the number of time steps.

Strengths

* The paper is well-written and well-organized. * The setting is both well-motivated and theoretically interesting, as it combines techniques from competitive analysis and regret analysis. * The main result is strong and might inspire future work in the field of online algorithm design.

Weaknesses

I do not see any major weaknesses in this paper, but there are a few minor ones: * Although the setting is different, the paper is closely related to the framework of learning-augmented algorithms. I suggest that the authors mention this connection in the related work section. * A very similar setting has been studied in "On Preemption and Learning in Stochastic Scheduling" (ICML 2023) for the non-clairvoyant scheduling problem, which also couples the analyses of the competitive ratio and regret. Maybe this should be cited as a related work. * While the main contribution is theoretical, it would be nice to conduct a few experiments to demonstrate how the proposed algorithms compare to other benchmark algorithms where the weights are known

Questions

Since the algorithm only chooses which of the $k$ pages in the cache to evict, would it be possible to improve the regret term in Theorem 1.1 and have instead a term of the form $O(\sqrt{f(k,n) T})$, with $k \leq f(k,n) < n$? If not, can you prove that the bound $O(\sqrt{nT})$ is the best possible for any values of $n$ and $k$?

Rating

7

Confidence

4

Soundness

4

Presentation

3

Contribution

4

Limitations

The assumptions of the theorems are clearly stated.

Reviewer qj5j4/10 · confidence 2/52024-07-12

Summary

The paper studies a the online paging problem where the weights to retrieve a items are independent random variables with potentially different distributions. The paper introduces an algorithm whose expected performance differ from the optimal one by a multiplicative factor (logarithmic in the size of the cache) and an additive term (sublinear in the number of the requests).

Strengths

If correct, the paper makes a very interesting advance on an important theoretical topic. The authors position well the paper in the existing literature.

Weaknesses

I found this paper the most difficult to evaluate. I feel NeurIPS may not be the most suited venue for such work, both for its theoretical focus (it seems more a STOC-paper) and the 9-page limit which forced the authors to compress much their reasoning. Probably for this reason, as well as some disorganization in the presentation, I was not able to figure out how the algorithm really works as well as to follow some more technical arguments. I provide some specific comments below Doubts - about algorithm 1, what is really behind "continually increase" at line 4, should we assume that that y_p and m_p are updated according to differential equations? This seems to be supported also by later statements like at line 276 "upon any (infinitesimally small) change to a fractional variable" - I was not able to understand the reasoning about why the problem may not exhibit sublinear regret without a competitive ratio (point b at page 2) - in section 1.2, the paper argues that the solution cannot be built in the standard way by combining a solution to the fractional problem and a rounding scheme. I was not able to follow the reasoning in lines 86-94. Even more, because the proposed solution combines a solution to the fractional problem and a rounding scheme - in footnote 2, "note that k \le \sqrt{nT}", I did not get if this follows from the previous reasoning or it is an implicit assumption that T is large enough. - algorithm 2, what does it mean line 9 "add p' to the anti-cache in an \epsilon-measure of states without p'"? If find this kind of expressions too vague. - lines 254-255, there is probably an error, how can be UCB_p between 6^i and 6^{i+1} if, as observed in the same line UCB_p is between 0 and 1? Motivation - I find the motivation in terms of a cache inserted in the a hierarchy of caches quite weak. The content stored at caches of higher level would be determined by the caching decisions at lower levels. It would the not lead to the random weights considered in this paper. Confused presentation - the fact that costs may be considered to be paid upon eviction rather than upon fetching is mentioned in footnote 2 at page 4, but it is already implicitly used at page 2 when explaining why the problem cannot admit logarithmic competitive ratio without regret - the paper starts talking about moving fraction and servers at line 166 before referring to the parallel with the k-server problem - the (huge) caption of figure 1 refers to the "consistency property" and the "subset property". The first one is never really formally defined. The second one is only introduced two page later. - in the caption of figure 2, there is a reference to "class i" but this is only introduced at page 8. Also note that there are two classes i P_i and P_{\ge i} Minor - the problem is sometimes referred to as OWP-UW, others as UW-OWP - line 95: "the and rounding scheme" - footnote 1: "known in advanced" - in the figures the lables of the different subfigures (e.g. a, b, c, d in figure 1 are missing) Update after rebuttal - the authors have addressed some of my technical questions and I have increased the score.

Questions

See questions above.

Rating

4

Confidence

2

Soundness

2

Presentation

2

Contribution

3

Limitations

The computational complexity of the algorithm is not discussed. This is important, in particular if, as I think, the algorithm relies on solving some differential equations.

Reviewer Yutu4/10 · confidence 4/52024-07-12

Summary

Author consider caching with stochastic weights. In particular, the cost incurred by the algorithm at eviction of a page p is drawn independently from a fixed distribution D_p which is different for every page and is not known to the algorithm in advance. Authors propose an algorithm with guarantees which combine both competitive ratio and regret. Authors claim that neither regret nor competitive ratio are possible on their own. Their algorithm is a modification of the classical algorithm by Bansal et al. for weighted paging, incorporating upper and lower confidence bounds on the average weight of the page. The more challenging part seems to be randomized rounding, where they have to deal with the changes of the upper confidence bounds and such element was not present in the original paper of Bansal et al.

Strengths

* Problem seems interesting * Result is non-trivial from technical point of view

Weaknesses

* I find the framing of their result in the context of hierarchical caching and CPU caches very unfortunate for several reasons: (1) hierarchical caching is already studied (see work of Bansal, Buchbinder, Naor SICOMP'12). Authors do not seem to be aware of this. (2) It is completely unclear why should there be an underlying distribution of the cost of loading each page in a hierarchical (or multi-level) cache: It is enough that the algorithm operating on different levels of the cache are mis-aligned in some way to make weights of the pages adversarial instead of stochastic. (3) I cannot imagine implementing anything resembling their approach in CPU caches. * Provided justification of the optimality of the presented results is very informal. It is just a few lines. In particular, authors argue about the necessity of the regret term using using lower bounds for bandits. However, their input is stochastic which allows much better regret bounds when the mean weights of the pages differ significantly. On the other hand, if the weights of the pages are similar, it is easy to achieve good competitive ratio. * Statements of their results are not completely clear: E.g., what is Q in Theorem 1.1? Theorem says it is an "input": Is it composed of the request sequence and the distribution of page weights, or does it contain also the realization of the page weights? What is OPT(Q) then? I do not see these things explained even in preliminaries.

Questions

* Please comment on the last two weaknesses mentioned above.

Rating

4

Confidence

4

Soundness

3

Presentation

2

Contribution

3

Limitations

Authors do not discuss possible difficulties in implementing their algorithm in CPU caches although they use such use case as a main motivation.

Reviewer WtQQ2024-08-07

I thank the authors for their response, and I strongly encourage them to add the necessary discussion on the relation with learning-augmented algorithms, and in particular the works where the unknown variables are learned during the algorithm execution. I would have liked to see experiments mostly because I am curious to observe if the asymptotic behavior, when T is very large, aligns with that of prior algorithms that have knowledge of the weights, in terms of the multiplicative constant in $O(\log k)$. However, I agree that this is not a major weakness of the paper, but a suggestion instead, as the theoretical contribution is sufficiently interesting.

Reviewer Yutu2024-08-09

* reference [1] shows how to model the hierarchical cache where the cost of a page load depends on what layer of the cache contains the page as a generalized caching problem. * what algorithm do you expect to be maintaining the L2 cache? Which algorithm satisfies the property that a given page is in the cache with some probability dependent only on the page itself? I do not find expecting such property reasonable at all. Does your algorithm satisfy this property? * Yes, there are many theoretical papers on caching but it is definitely not common motivating a complicated and resource demanding algorithm by CPU caches. to sum up, I am still not happy about the framing of your result. Now about the tightness of your result. You provide a bound which combines a competitive ratio with a regret term depending on T. You claim that sometimes you may need the regret term and sometimes competitive ratio. But your bound contains both at the same time, which is pretty weak in the context of the competitive analysis as well regret analysis. Do you have a lower bound showing that you need both terms at the time? I have explained my doubts about the existence of such bound in my review. thank you for explaining the statement of your theorem. your problem is partially adversarial and partially stochastic which is not a particularly common setting. I believe that this deserves a proper explanation in the paper.

Authorsrebuttal2024-08-09

Thank you for your comment, Regarding motivation: 1. Suppose that the L2 cache fetches any page requested by a core, and evicts uniformly at random. Then, if a page is requested twice as often by the cores than another page, the probability of that page appearing in the cache at a given point in time is roughly twice as large. 2. Perhaps more importantly than the specifics of the CPU cache example, we note that the motivation for our work is not different from that of any paper in the significant line of work on weighted caching. In fact, the assumption made in these previous papers that the page weights are known is often unjustified. For example, as you've mentioned [1], they use as motivation hierarchical caching for web pages: *"This version of the problem is called weighted caching and it models scenarios in which the cost of fetching a page is not the same due to different locations of the pages (e.g., main memory, disk, Internet)"*. The cost of fetching a page from the internet cannot be assumed to be constant, and can be modeled much more realistically as drawn from some unknown distribution. This assumption made in all prior weighted paging papers ([1] included) is the one that our paper addresses. Regarding the lower bounds: \ You have perhaps misunderstood the claim reflected in our lower bounds. We did *not* merely claim that either a competitive ratio or a regret term are needed. We claimed that (a) In the absence of a competitive ratio, a terrible regret term is needed (much worse than our regret bound), and (b) in the absence of a regret term, a terrible competitive ratio is needed (much worse than our competitive ratio). The conclusion to draw is that **both** a competitive ratio term and a regret term are needed. We will ensure that this point is emphasized well in the paper. *"Your problem is partially adversarial and partially stochastic which is not a particularly common setting"*: \ In fact, the majority of works in the field of multiarmed bandits use this setting. For example, in arguably the most well-known variant of MAB, each arm has a value distribution chosen adversarially, while the samples from this distribution are obtained stochastically. We nevertheless value the writing feedback and will ensure that our paper makes this clear.

Reviewer Yutu2024-08-12

> Suppose that the L2 cache fetches any page requested by a core, and evicts uniformly at random. Then, if a page is requested twice as often by the cores than another page, the probability of that page appearing in the cache at a given point in time is roughly twice as large. this cannot be true unless you have some very strong assumptions about the request sequence. But the request sequence is adversarial in your setting, right?

Authorsrebuttal2024-08-12

Our algorithm indeed handles even adversarial inputs, and does not rely on stochasticity in the request sequence. Of course, our algorithm can handle stochastic input sequences as well. Zooming out, it appears that your remaining concern is with the CPU cache motivating example. The goal of this example was merely demonstrating how sampled weighted instances can arise from seemingly unweighted instances. The motivation for studying OWP-UW is wider; in fact, we gave one such motivation in our previous comment regarding [1]. (We'll integrate this additional motivating case into the camera ready paper.) If indeed the only remaining concern is with the motivating paragraph, we hope that you'll consider revising your score accordingly. If there are any additional concerns, we'll be happy to address them.

Area Chair 245g2024-08-12

Please comment on the rebuttal

Dear reviewer qj5j, MmEo and VdxB, Can you please read and comment on the rebuttal from the authors? Please also try to take other reviews and responses into consideration. Regards, Area Chair

Reviewer qj5j2024-08-13

I thank the authors for their explanations. I was convinced by the technical answers. I still maintain that the motivation is quite weak (and I went through the discussion with the reviewer Yutu), the main text is packing too much information, and the presentation is quite disorganized. I am (slightly) increasing the original score.

Authorsrebuttal2024-08-13

We appreciate your feedback and would like to thank you for your consideration of our comments. Regarding motivation, as stated in our response to Reviewer Yutu, there are multiple motivations for studying OWP-UW, as in essence the deterministic-weights assumption in previous papers is often unjustified. One specific example is stated in our comment to Reviewer Yutu (handling stochastic weights, e.g., when retrieving data from the internet). In the final version of the paper, we'll be sure to expand our motivation segment; e.g., through including this additional motivating case. Regarding writing, we thank you again for your feedback. We'll ensure that our final version has a clear presentation that addresses your concerns.

Reviewer VdxB2024-08-14

I'd like to thank the authors for addressing my concerns. The rebuttal addresses my concerns and I will keep my score.

Program Chairsdecision2024-09-25

Decision

Accept (poster)

© 2026 NYSGPT2525 LLC