作者: Peter J Denning , Kevin C Kahn , None
关键词: Stack (abstract data type) 、 Type (model theory) 、 Reference patterns 、 Locality 、 Micromodel 、 Simple (abstract algebra) 、 Computer science 、 Program model 、 Algorithm 、 Parallel computing 、 Micro level 、 Hardware 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.