1976 · 53 citations · 8 references
ComputingComputer ScienceComputer SystemsCompilersComputer ArchitectureProgramming LanguagesData-flow AnalysisMemory ManagementMemory ModelingSymbolic ExecutionVirtual MemoryExperimental Results InterpretationLocality Of ReferenceMemory Access LocalityMemory Access PatternsProgram ModelsSpatial LocalityVirtual Memory Systems
Previous studies have shown that a program's behavior can be characterized as a sequence of transitions between phases of execution during which some subset of the program's segments is referenced. The nature of the phases (sometimes called localities or regimes), and the characteristics of the transitions between neighboring phases, will determine the performance of the program on a virtual memory system. We here investigate methods for identifying those “major” phases in programs which correspond to intervals of distinctive referencing behavior. Experimental measurements on symbolic reference strings generated by production Algol-60 programs are used to determine the properties of these phases and the transitions between them. The experimental results are discussed in terms of current models for program behavior and also with regard to their implications for memory management systems.
8
A study of replacement algorithms for a virtual-storage computer
L. A. Belady · IBM Systems Journal · 1966 · 1.7K citations
Program restructuring for virtual memory
D. J. Hatfield, J. Gerald · IBM Systems Journal · 1971 · 167 citations
Characteristics of program localities
A. Wayne Madison, A. P. Batson · Communications of the ACM · 1976 · 120 citations · Full text
Experiments with program locality
Jeffrey R. Spirn, Peter J. Denning · 1972 · 90 citations · Full text