Decomposability, instabilities, and saturation in multiprogramming systems
Communications of the ACM
A simple linear model of demand paging performance
Communications of the ACM
Improving locality by critical working sets
Communications of the ACM
A study of storage partitioning using a mathematical model of locality
Communications of the ACM
Properties of the working-set model
Communications of the ACM
The distribution of a program in primary and fast buffer storage
Communications of the ACM
Dynamic space-sharing in computer systems
Communications of the ACM
Operating Systems Theory
Experimental data on how program behavior affects the choice of scheduler parameters
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
A page allocation strategy for multiprogramming systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
On reference string generation processes
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Comments on a linear paging model
SIGMETRICS '74 Proceedings of the 1974 ACM SIGMETRICS conference on Measurement and evaluation
Program locality and dynamic memory management.
Program locality and dynamic memory management.
Performance measurement of paging behavior in multiprogramming systems
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Characterising program behaviour with phases and transitions
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Parallel program behavioral study on a shared-memory multiprocessor
ICS '91 Proceedings of the 5th international conference on Supercomputing
Synthetic Traces for Trace-Driven Simulation of Cache Memories
IEEE Transactions on Computers
Empirical results on locality in database referencing
SIGMETRICS '85 Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Compiler directed memory management policy for numerical programs
Proceedings of the tenth ACM symposium on Operating systems principles
Generalized working sets for segment reference strings
Communications of the ACM
Cold-start vs. warm-start miss ratios
Communications of the ACM
Bibliography on paging and related topics
ACM SIGOPS Operating Systems Review
Paging on an object-oriented personal computer
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A generative model of working set dynamics
SIGMETRICS '81 Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Measurements of major locality phases in symbolic reference strings
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
An L=S criterion for optimal multiprogramming
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
Effect of program localities on memory management strategies
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
A simple reference string sampling method
ACM '80 Proceedings of the ACM 1980 annual conference
Instruction reference patterns in data flow programs
ACM '80 Proceedings of the ACM 1980 annual conference
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
On the Performance Enhancement of Paging Systems Through Program Analysis and Transformations
IEEE Transactions on Computers
| Hi-index | 0.05 |
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.