A study of program locality and lifetime functions
- 1 November 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review
- Vol. 9 (5) , 207-216
- https://doi.org/10.1145/1067629.806539
Abstract
A program model can be regarded as decomposible into two main parts. The macromodel captures the phase-transition behavior by specifying locality sets and their associated reference intervals (phases). The micromodel captures the reference patterns within phases. A semi-Markov model can be used at the macro level, while one of the simple early models (such as the random-reference or LRU stack) can be used at the micro level. This paper shows that, even in simplest form, this type of model is capable of reproducing known properties of empirical lifetime functions. A micromodel, alone without a macromodel, is incapable of doing so.Keywords
This publication has 19 references indexed in Scilit:
- Decomposability, instabilities, and saturation in multiprogramming systemsCommunications of the ACM, 1975
- Improving locality by critical working setsCommunications of the ACM, 1974
- A simple linear model of demand paging performanceCommunications of the ACM, 1974
- A model of a time sharing virtual memory system solved using equivalence and decomposition methodsActa Informatica, 1974
- The distribution of a program in primary and fast buffer storageCommunications of the ACM, 1973
- Locality in Page Reference StringsSIAM Journal on Computing, 1972
- A study of storage partitioning using a mathematical model of localityCommunications of the ACM, 1972
- Properties of the working-set modelCommunications of the ACM, 1972
- Experimental data on how program behavior affects the choice of scheduler parametersPublished by Association for Computing Machinery (ACM) ,1971
- Dynamic space-sharing in computer systemsCommunications of the ACM, 1969