Optimal Prediction for Prefetching in the Worst Case
Authors:
- P. KrishnanPKP. Krishnan
- Jeffrey Scott VitterJVJeffrey Scott Vitter
- 1 December 1998
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 27 (6) , 1617-1636
Abstract
Response time delays caused by I/O are a major problem in many systems and database applications. Prefetching and cache replacement methods are attracting renewed attention because of their success in avoiding costly I/Os. Prefetching can be looked upon as a type of online sequential prediction, where the predictions must be accurate as well as made in a computationally efficient way. Unlike other online problems, prefetching cannot admit a competitive analysis, since the optimal offline prefetcher incurs no cost when it knows the future page requests. Previous analytical work on prefetching [. Vitter Krishnan 1991.] [J. Assoc. Comput. Mach., 143 (1996), pp. 771--793] consisted of modeling the user as a probabilistic Markov source. In this paper, we look at the much stronger form of worst-case analysis and derive a randomized algorithm for pure prefetching. We compare our algorithm for every page request sequence with the important class of finite state prefetchers, making no assumptions as to how the sequence of page requests is generated. We prove analytically that the fault rate of our online prefetching algorithm converges almost surely for every page request sequence to the fault rate of the optimal finite state prefetcher for the sequence. This analysis model can be looked upon as a generalization of the competitive framework, in that it compares an online algorithm in a worst-case manner over all sequences with a powerful yet nonclairvoyant opponent. We simultaneously achieve the computational goal of implementing our prefetcher in optimal constant expected time per prefetched page using the optimal dynamic discrete random variate generator of [. Matias Matias, Vitter, and Ni [Proc. 4th Annual SIAM/ACM Symposium on Discrete Algorithms, Austin, TX, January 1993].Keywords
This publication has 25 references indexed in Scilit:
- Strongly Competitive Algorithms for Paging with Locality of ReferenceSIAM Journal on Computing, 1996
- Competitive Paging with Locality of ReferenceJournal of Computer and System Sciences, 1995
- Large deviations for coding Markov chains and Gibbs random fieldsIEEE Transactions on Information Theory, 1993
- Analysis of arithmetic coding for data compressionInformation Processing & Management, 1992
- Universal prediction of individual sequencesIEEE Transactions on Information Theory, 1992
- Competitive paging algorithmsJournal of Algorithms, 1991
- Working Sets Past and PresentIEEE Transactions on Software Engineering, 1980
- Compound Bayes Predictors for Sequences with Apparent Markov StructureIEEE Transactions on Systems, Man, and Cybernetics, 1977
- A study of replacement algorithms for a virtual-storage computerIBM Systems Journal, 1966
- An analog of the minimax theorem for vector payoffsPacific Journal of Mathematics, 1956