Characteristics of program localities

ABSTRACT

The term “locality” has been used to denote that subset of a program's segments which are referenced during a particular phase of its execution. A program's behavior can be characterized in terms of its residence in localities of various sizes and lifetimes, and the transitions between these localities. In this paper the concept of a locality is made more explicit through a formal definition of what constitutes a phase of localized reference behavior, and by a corresponding mechanism for the detection of localities in actual reference strings. This definition provides for the existence of a hierarchy of localities at any given time, and the reasonableness of the definition is supported by examples taken from actual programs. Empirical data from a sample of production Algol 60 programs is used to display distributions of locality sizes and lifetimes, and these results are discussed in terms of their implications for the modeling of program behavior and memory management in virtual memory systems.

REFERENCES

• 1: Belady, L.A. A Study of replacement algorithms for a virtual storage computer. IBM Systems J. 5 (1966), 78-101.
• 2: Denning, P.J. On modeling program behavior. AFIPS Conf. Proc., Vol. 40, 1972 SJCC, AFIPS Press, Montvale, N.J., 1972, pp. 937-945.
• 3: Spirn, J.R., and Denning, P.J. Experiments with program locality. AFIPS Conf. Proc., Vol. 41, 1972 FJCC, AFIPS Press, Montvale, N.J., 1972, pp. 611-621.
• 4: Hatfield, D.J., and Gerald, J. Program restructuring for virtual memory. IBM Systems J. 10, (1971), 168-192.
• 5: Domenico Ferrari, Improving locality by critical working sets, Communications of the ACM, v.17 n.11, p.614-620, Nov. 1974 [doi>10.1145/361179.361195]
• 6: Denning, P.J. A Note on a definition of program locality. Memorandum PD 75.5, Purdue U., available from the author.
• 7: A. P. Batson , R. E. Brundage, Measurements of the virtual memory demands of Algol-60 programs (Extended Abstract), Proceedings of the 1974 ACM SIGMETRICS conference on Measurement and evaluation, p.121-126, January 1974
• 8: Brundage, R.E., Ph.D. Th., U. of Virginia, 1974.
• 9: R. E. Brundage , A. P. Batson, The performance enhancement of descriptor-based virtual memory systems through the use of associative registers, Proceedings of the 2nd annual symposium on Computer architecture, p.85-90, January 20-22, 1975
• 10: Brundage, R.E., and Batson, A.P. The use of associative memory in symbolically segmented virtual memory systems. To appear in Revue Francaise d'Automatique, Informatique et Recherche Operationelle (serie bleue), 1976.
• 11: Knuth, D.E. An empirical study of FORTRAN programs. Software-Practice and Experience 1 (1971), 105-133.

INDEX TERMS

Keywords:
locality, memory management, program behavior