On paging with locality of reference

Motivated by the fact that competitive analysis yields too pessimistic results when applied to the paging problem, there has been considerable research interest in refining competitive analysis and in developing alternative models for studying online paging. The goal is to devise models in which theoretical results capture phenomena observed in practice.In this paper we propose a new, simple model for studying paging with locality of reference. The model is closely related to Denning's working set concept and directly reflects the amount of locality that request sequences exhibit. We demonstrate that our model is reasonable from a practical point of view.We use the page fault rate to evaluate the quality of paging algorithms, which is the performance measure used in practice. We develop tight or nearly tight bounds on the fault rates achieved by popular paging algorithms such as LRU, FIFO, deterministic Marking strategies and LFD. It shows that LRU is an optimal online algorithm, whereas FIFO and Marking strategies are not optimal in general. We present an experimental study comparing the page fault rates proven in our analyses to the page fault rates observed in practice. This is the first such study for an alternative/refined paging model.

[1]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[2]  Marek Chrobak,et al.  LRU Is Better than FIFO , 1999, SODA '98.

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

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

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

[6]  Harvey M. Deitel,et al.  An introduction to operating systems , 1984 .

[7]  Harvey M. Deitel,et al.  An introduction to operating systems (2. ed.) , 1990 .

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

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

[10]  Andrew S. Tanenbaum,et al.  Modern Operating Systems , 1992 .

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

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

[13]  Neal E. Young,et al.  On-Line File Caching , 2002, SODA '98.

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

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

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

[17]  Peter A. Franaszek,et al.  Some Distribution-Free Aspects of Paging Algorithm Performance , 1974, JACM.

[18]  Anna R. Karlin,et al.  Markov paging , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

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

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