Accession Number : ADA259142


Title :   A Unified Model of Program Behavior


Descriptive Note : Master's thesis,


Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING


Personal Author(s) : Michel, Douglas T


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a259142.pdf


Report Date : Dec 1992


Pagination or Media Count : 169


Abstract : This thesis is an attempt to account for and unify the three types of locality: temporal, spatial, and structural. A diverse sample of traces are used in measuring program behavior with respect to these localities and a model is presented which represents the memory references a program generates as it goes through execution. The model is validated by estimating, the entropy of a synthetically generated trace and comparing it with actual traces. The results indicate that there is more predictability contained in the original trace than what the model was able to capture. Different variations of the model were tried and the results varied depending on the trace type being modeled. Various other measurements concerning temporal, spatial, and structural locality are used in building the model and provide interesting and useful insight into the memory referencing patterns of programs.... Program behavior, Locality of reference, Cache.


Descriptors :   *SOFTWARE ENGINEERING , *MEASUREMENT , *COMPUTER PROGRAM VERIFICATION , MODELS , BUILDINGS , ENTROPY , THESES , VARIATIONS , PATTERNS , BEHAVIOR


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE