Simple optimality proofs for Least Recently Used in the presence of locality of reference

It is well known that competitive analysis yields results that do not reflect the observed performance of online paging algorithms. Many deterministic paging algorithms achieve the same competitive ratio, ranging from inefficient strategies as flush-when-full to the well-performing least-recently-used (LRU). In this paper, we study this fundamental online problem from the viewpoint of stochastic dominance. We give simple proofs that whensequences are drawn from distributions modelling locality of reference, LRU stochastically dominates any other online paging algorithm. As a byproduct, we obtain simple proofs of some earlier results.

[1]  Neal Young,et al.  The K-Server Dual and Loose Competitiveness for Paging , 1991, On-Line Algorithms.

[2]  Susanne Albers,et al.  On paging with locality of reference , 2002, STOC '02.

[3]  Neal E. Young,et al.  On-Line Paging Against Adversarially Biased Random Inputs , 2000, J. Algorithms.

[4]  Joan Boyar,et al.  The relative worst order ratio applied to paging , 2005, SODA '05.

[5]  Alfred V. Aho,et al.  Principles of Optimal Page Replacement , 1971, J. ACM.

[6]  Alejandro López-Ortiz,et al.  On the Separation and Equivalence of Paging Strategies and Other Online Algorithms , 2018, Algorithmica.

[7]  Luca Becchetti,et al.  Modeling Locality: A Probabilistic Analysis of LRU and FWF , 2004, ESA.

[8]  Alejandro López-Ortiz,et al.  On Certain New Models for Paging with Locality of Reference , 2008, WALCOM.

[9]  Sandy Irani,et al.  Strongly competitive algorithms for paging with locality of reference , 1992, SODA '92.

[10]  Peter J. Denning,et al.  The working set model for program behavior , 1968, CACM.

[11]  Allan Borodin,et al.  Competitive paging with locality of reference , 1991, STOC '91.

[12]  Laszlo A. Belady,et al.  A Study of Replacement Algorithms for Virtual-Storage Computer , 1966, IBM Syst. J..

[13]  Allan Borodin,et al.  Online computation and competitive analysis , 1998 .

[14]  Christos H. Papadimitriou,et al.  Beyond competitive analysis [on-line algorithms] , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[15]  Alexander Souza,et al.  On adequate performance measures for paging , 2006, STOC '06.

[16]  Amos Fiat,et al.  Truly online paging with locality of reference , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[17]  Eric Torng,et al.  A Unified Analysis of Paging and Caching , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[18]  Peter J. Denning,et al.  Working Sets Past and Present , 1980, IEEE Transactions on Software Engineering.

[19]  Tjark Vredeveld,et al.  Probabilistic Analysis of Online Bin Coloring Algorithms Via Stochastic Comparison , 2008, ESA.

[20]  Robert E. Tarjan,et al.  Amortized efficiency of list update and paging rules , 1985, CACM.

[21]  Peter J. Denning,et al.  Operating Systems Theory , 1973 .