Paging and list update under bijective analysis

Spyros Angelopoulos 1 Pascal Schweitzer
1 RO - Recherche Opérationnelle
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : It has long been known that for the paging problem in its standard form, competitive analysis cannot adequately distinguish algorithms based on their performance: there exists a vast class of algorithms that achieve the same competitive ratio, ranging from extremely naive and inefficient strategies (such as Flush-When-Full), to strategies of excellent performance in practice (such as Least-Recently-Used and some of its variants). A similar situation arises in the list update problem: in particular, under the cost formulation studied by Martínez and Roura [2000] and Munro [2000] every list update algorithm has, asymptotically, the same competitive ratio. Several refinements of competitive analysis, as well as alternative performance measures have been introduced in the literature, with varying degrees of success in narrowing this disconnect between theoretical analysis and empirical evaluation. In this article, we study these two fundamental online problems under the framework of bijective analysis [Angelopoulos et al. 2007, 2008]. This is an intuitive technique that is based on pairwise comparison of the costs incurred by two algorithms on sets of request sequences of the same size. Coupled with a well-established model of locality of reference due to Albers et al. [2005], we show that Least-Recently-Used and Move-to-Front are the unique optimal algorithms for paging and list update, respectively. Prior to this work, only measures based on average-cost analysis have separated LRU and MTF from all other algorithms. Given that bijective analysis is a fairly stringent measure (and also subsumes average-cost analysis), we prove that in a strong sense LRU and MTF stand out as the best (deterministic) algorithms.
Type de document :
Article dans une revue
Journal of the ACM (JACM), Association for Computing Machinery, 2013, 60 (2), pp.7. 〈10.1145/2450142.2450143〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01185285
Contributeur : Lip6 Publications <>
Soumis le : mercredi 19 août 2015 - 17:32:51
Dernière modification le : mercredi 12 décembre 2018 - 01:35:50

Lien texte intégral

Identifiants

Collections

Citation

Spyros Angelopoulos, Pascal Schweitzer. Paging and list update under bijective analysis. Journal of the ACM (JACM), Association for Computing Machinery, 2013, 60 (2), pp.7. 〈10.1145/2450142.2450143〉. 〈hal-01185285〉

Partager

Métriques

Consultations de la notice

73