# Principles of Optimal Page Replacement

@article{Aho1971PrinciplesOO, title={Principles of Optimal Page Replacement}, author={A. Aho and P. Denning and J. Ullman}, journal={Journal of the ACM (JACM)}, year={1971}, volume={18}, pages={80 - 93} }

ABSTP~CT. [...] Key Method The minimum cost for /-order program behavior assumptions is expressed as a dynamic programming problem whose solution yields an optimal replacement algorithm. Solutions are exhibited in several 0-order cases of interest. Paging algorithms that implement and approximate the minimum cost are discussed. Expand

#### Topics from this paper

#### 287 Citations

Brief paper: Stochastic control of paging in a two-level computer memory

- Computer Science
- 1975

A compact expression for a performance index is derived and a computational procedure is given which makes it possible to determine the optimal performance index and optimal paging algorithm. Expand

Some Distribution-Free Aspects of Paging Algorithm Performance

- Computer Science
- JACM
- 1974

It is shown that simple algorithms exist which yield fault probabilities close to optimal with only a modest increase in memory, and performance bounds are obtained which are independent of the page request probabilities. Expand

On the Paging-Complexity of Periodic Arrangements

- Computer Science, Mathematics
- Theor. Comput. Sci.
- 1977

The main objectives are to prove a locality principle for this type of program structure: Given a pagination, generate as many references as possible to the same page in order to minimize page-traffic. Expand

Memory Management for B-Trees

- Computer Science
- Perform. Evaluation
- 1985

This paper provides the analysis for two paging policies denoted LAP and LEC respectively and shows that the first policy is not optimal but nearly so and that the second is the optimal policy among a class of algorithms for sequences of independently chosen key references. Expand

Priority Paging Algorithms and the Extension Problem

- Computer Science
- SWAT
- 1971

This paper formulated for demand paging systems shows that the class of replacement rules so defined is precisely that class of rules having the wellknown inclusion property. Expand

Computation of page fault probability from program transition diagram

- Computer Science
- CACM
- 1974

An algorithm is given for calculating page fault probability in a virtual memory system operating under demand paging with various memory sizes and replacement rules. A first order Markov model ofâ€¦ Expand

A decomposable model of program paging behaviour

- Computer Science
- Acta Informatica
- 2004

A model based on the distinction between short- and long-run equilibrium states in nearly completely decomposable systems is proposed to overcome this deficiency and is shown to give better estimations of the page fault rate and of the working set size distribution. Expand

The A0 inversion model of program paging behavior

- Computer Science
- 1976

A model based on the independent reference model with a new procedure for determining the page reference probabilities is presented, which should be especially useful for evaluating multilevel memory organizations based on newly emerging memory technologies. Expand

Finding Optimal Demand Paging Algorithms

- Computer Science
- JACM
- 1974

A cost is defined for demand paging algorithms with respect to a formal stochastic model of program behavior, and a computational procedure is given which makes it possible to determine the optimal cost and optimal policy for moderate size programs, when the formal model is known and not time dependent. Expand

Performance of "Least Reference Probability" Paging Algorithm under Locality in Program Behavior

- Computer Science
- GI Jahrestagung
- 1975

Least Reference Probability (LRP) paging algorithm, which replaces the page the least likely to be required at next time, is shown to be (nearly) optimal via two original probabilistic models. Expand

#### References

SHOWING 1-10 OF 27 REFERENCES

Dynamic program behavior under paging

- Computer Science
- ACM '66
- 1966

In May, 1965, System Development Corporation (SDC) proposed to do some research to study program organization with respect to dynamic program behavior. Further, the proposal suggested that simulationâ€¦ Expand

An anomaly in space-time characteristics of certain programs running in a paging machine

- Computer Science
- CACM
- 1969

The running time of programs in a paging machine generally increases as the store in which programs are constrained to run decreases. Experiment, however, have revealed cases in which the reverse isâ€¦ Expand

Complementary replacement: a meta scheduling principle

- Computer Science
- SOSP '69
- 1969

A principle of scheduling is presented that includes a wide class of time and space allocation problems met in time sharing and virtual systems and includes several known job dispatching rules as well as some page-replacement algorithms such as the MIN and LRU. Expand

Evaluation Techniques for Storage Hierarchies

- Computer Science
- IBM Syst. J.
- 1970

A new and efficient method of determining, in one pass of an address trace, performance measures for a large class of demand-paged, multilevel storage systems utilizing a variety of mapping schemes and replacement algorithms. Expand

Statistical Analysis of Paged and Segmented Computer Systems

- Computer Science
- IEEE Trans. Electron. Comput.
- 1966

It is argued that design optimization depends fundamentally on the statistics of the typical software load presented to the computer system, and also that the investigation requires the aid of a total system model. Expand

Further experimental data on the behavior of programs in a paging environment

- Computer Science
- CACM
- 1968

The data collected from the interpretive execution of a number of paged programs are used to describe the frequency of page faults and are used also for the evaluation of page replacement algorithms and for assessing the effects on performance of changes in the amount of storage allocated to executing programs. Expand

Virtual Memory

- Computer Science
- CSUR
- 1970

Two principal methods for implementing virtual memory, segmentation and paging, are compared and contrasted and are shown to be controllable by a proper combination of hardware and memory management policies. Expand

A Study of Replacement Algorithms for Virtual-Storage Computer

- Computer Science
- IBM Syst. J.
- 1966

One of the basic limitations of a digital computer is the size of its available memory; an approach that permits the programmer to use a sufficiently large address range can accomplish this objective, assuming that means are provided for automatic execution of the memory-overlay functions. Expand

Microprogamming under a page on demand strategy

- Computer Science
- CACM
- 1967

A model of multiprogramming for a particular computer system using a page on demand strategy is developed and performance is predicted when user programs are typical of those arising from an interactive time sharing environment. Expand

Segmentation and the Design of Multiprogrammed Computer Systems

- Computer Science
- JACM
- 1965

The segmentation of procedures and data forms a model of program structure that is the basis of an address mapping function which will be a valuable feature of future computer systems. Expand