On list update with locality of reference

Abstract We present a comprehensive study of the list update problem with locality of reference. More specifically, we present a combined theoretical and experimental study in which the theoretically proven and experimentally observed performance guarantees of algorithms match or nearly match. Firstly, we introduce a new model of locality of reference that closely captures the concept of runs. Using this model we develop refined theoretical analyses of popular list update algorithms. Secondly, we present an extensive experimental study in which we have tested the algorithms on traces from benchmark libraries. The theoretical and experimental bounds differ by just a few percent. Our new theoretical bounds are substantially lower than those provided by standard competitive analysis. It shows that the well-known Move-To-Front strategy exhibits the best performance. Its refined competitive ratio tends to 1 as the degree of locality increases. This confirms that Move-To-Front is the method of choice in practice.

[1]  Alejandro López-Ortiz,et al.  Parameterized Analysis of Paging and List Update Algorithms , 2009, Algorithmica.

[2]  Anna R. Karlin,et al.  Markov Paging , 2000, SIAM J. Comput..

[3]  E TarjanRobert,et al.  A locally adaptive data compression scheme , 1986 .

[4]  Allan Borodin,et al.  On the power of randomization in on-line algorithms , 2005, Algorithmica.

[5]  Christoph Ambühl Offline List Update is NP-Hard , 2000, ESA.

[6]  Ran El-Yaniv,et al.  Online list accessing algorithms and their applications: recent empirical evidence , 1997, SODA '97.

[7]  Robert E. Tarjan,et al.  A Locally Adaptive Data , 1986 .

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

[9]  Sandy Irani,et al.  Two Results on the List Update Problem , 1991, Inf. Process. Lett..

[10]  Gaston H. Gonnet,et al.  Toward self-organizing linear search , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

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

[12]  Jeffery R. Westbrook,et al.  Randomized competitive algorithms for the list update problem , 1991, SODA '91.

[13]  Robert E. Tarjan,et al.  Self-adjusting binary search trees , 1985, JACM.

[14]  Susanne Albers,et al.  Average Case Analyses of List Update Algorithms, with Applications to Data Compression , 1996, Algorithmica.

[15]  Eric Torng A Unified Analysis of Paging and Caching , 1998, Algorithmica.

[16]  L BentleyJon,et al.  Amortized analyses of self-organizing sequential search heuristics , 1985 .

[17]  Alejandro López-Ortiz,et al.  A New Perspective on List Update: Probabilistic Locality and Working Set , 2011, WAOA.

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

[19]  Susanne Albers,et al.  Improved randomized on-line algorithms for the list update problem , 1995, SODA '95.

[20]  Bernhard von Stengel,et al.  A new lower bound for the list update problem in the partial cost model , 2001, Theor. Comput. Sci..

[21]  Ronald L. Rivest,et al.  On self-organizing sequential search heuristics , 1976, CACM.

[22]  Paul D. Seymour,et al.  Self-organizing sequential search and Hilbert's inequalities , 1985, Symposium on the Theory of Computing.

[23]  D. J. Wheeler,et al.  A Block-sorting Lossless Data Compression Algorithm , 1994 .

[24]  Bernhard von Stengel,et al.  A Combined BIT and TIMESTAMP Algorithm for the List Update Problem , 1995, Inf. Process. Lett..

[25]  Alejandro López-Ortiz,et al.  An Application of Self-organizing Data Structures to Compression , 2009, SEA.

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

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

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

[29]  Jon Louis Bentley,et al.  Amortized analyses of self-organizing sequential search heuristics , 1985, CACM.

[30]  Daniel S. Hirschberg,et al.  Self-organizing linear search , 1985, CSUR.

[31]  Alejandro López-Ortiz,et al.  List update with probabilistic locality of reference , 2012, Inf. Process. Lett..

[32]  Alejandro López-Ortiz,et al.  List Update Algorithms for Data Compression , 2008, Data Compression Conference (dcc 2008).

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

[34]  D. Cheriton,et al.  List Update with Locality of Reference : MTF Outperforms All Other Algorithms , 2006 .

[36]  Amos Fiat,et al.  Randomized and multipointer paging with locality of reference , 1995, STOC '95.

[37]  Paul D. Seymour,et al.  Self-organizing sequential search and Hilbert's inequalities , 1985, STOC '85.

[38]  Jeffery R. Westbrook,et al.  Off-Line Algorithms for the List Update Problem , 1996, Inf. Process. Lett..

[39]  Martin Reinst On the Competitive Theory and Practice of Online List Accessing Algorithms , 1998 .

[40]  Ramarathnam Venkatesan,et al.  Splay trees for data compression , 1995, SODA '95.