A study of program locality and lifetime functions

作者: Peter J Denning , Kevin C Kahn , None

DOI: 10.1145/1067629.806539

关键词: Stack (abstract data type)Type (model theory)Reference patternsLocalityMicromodelSimple (abstract algebra)Computer scienceProgram modelAlgorithmParallel computingMicro levelHardware and Architecture

摘要: 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). micromodel patterns within phases. semi-Markov used at macro level, while one of simple early models (such random-reference or LRU stack) micro level. This paper shows that, even in simplest form, this type is capable reproducing known properties empirical lifetime functions. micromodel, alone without a macromodel, incapable doing so.

参考文章(25)
Donald D. Chamberlin, Leonard Y. Liu, Samuel H. Fuller, A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory. symposium on operating systems principles. pp. 66- 72 ,(1973)
Jeffrey Robert Spirn, Program locality and dynamic memory management. Princeton University. ,(1973)
E. G. Coffman, Thomas A. Ryan, A study of storage partitioning using a mathematical model of locality Communications of the ACM. ,vol. 15, pp. 185- 190 ,(1972) , 10.1145/361268.361280
Jerome H. Saltzer, A simple linear model of demand paging performance Communications of the ACM. ,vol. 17, pp. 181- 186 ,(1974) , 10.1145/360924.360926
Laszlo A Belady, CJ Kuehner, None, Dynamic space-sharing in computer systems Communications of The ACM. ,vol. 12, pp. 282- 288 ,(1969) , 10.1145/362946.363002
P. J. Courtois, Decomposability, instabilities, and saturation in multiprogramming systems Communications of the ACM. ,vol. 18, pp. 371- 377 ,(1975) , 10.1145/360881.360887
Y. Bard, Application of the page survival index (PSI) to virtual-memory system performance Ibm Journal of Research and Development. ,vol. 19, pp. 212- 220 ,(1975) , 10.1147/RD.193.0212
D. J. Hatfield, J. Gerald, Program restructuring for virtual memory IBM Systems Journal. ,vol. 10, pp. 168- 192 ,(1971) , 10.1147/SJ.103.0168
Domenico Ferrari, Improving locality by critical working sets Communications of the ACM. ,vol. 17, pp. 614- 620 ,(1974) , 10.1145/361179.361195