Academic Journal
View in EDS

A Unified Model of Program Behavior

Bibliographic Details
Title: A Unified Model of Program Behavior
Authors: Michel, Douglas T.
Source: Theses and Dissertations
Publisher Information: AFIT Scholar
Publication Year: 1992
Collection: AFTI Scholar (Air Force Institute of Technology)
Subject Terms: Computer programs--Validation, Program behavior, Locality of reference, Cache, Software Engineering
Description: 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.
Document Type: text
File Description: application/pdf
Language: unknown
Relation: https://scholar.afit.edu/etd/7105; https://scholar.afit.edu/context/etd/article/8108/viewcontent/AFIT_GCS_ENG_92D_09_Michel_D_ADA259142_no_vita.pdf
Availability: https://scholar.afit.edu/etd/7105
https://scholar.afit.edu/context/etd/article/8108/viewcontent/AFIT_GCS_ENG_92D_09_Michel_D_ADA259142_no_vita.pdf
Accession Number: edsbas.A006F3D
Database: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://scholar.afit.edu/etd/7105#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.A006F3D
RelevancyScore: 816
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 815.809631347656
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A Unified Model of Program Behavior
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Michel%2C+Douglas+T%2E%22">Michel, Douglas T.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Theses and Dissertations
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: AFIT Scholar
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 1992
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: AFTI Scholar (Air Force Institute of Technology)
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+programs--Validation%22">Computer programs--Validation</searchLink><br /><searchLink fieldCode="DE" term="%22Program+behavior%22">Program behavior</searchLink><br /><searchLink fieldCode="DE" term="%22Locality+of+reference%22">Locality of reference</searchLink><br /><searchLink fieldCode="DE" term="%22Cache%22">Cache</searchLink><br /><searchLink fieldCode="DE" term="%22Software+Engineering%22">Software Engineering</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: 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.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: text
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: unknown
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: https://scholar.afit.edu/etd/7105; https://scholar.afit.edu/context/etd/article/8108/viewcontent/AFIT_GCS_ENG_92D_09_Michel_D_ADA259142_no_vita.pdf
– Name: URL
  Label: Availability
  Group: URL
  Data: https://scholar.afit.edu/etd/7105<br />https://scholar.afit.edu/context/etd/article/8108/viewcontent/AFIT_GCS_ENG_92D_09_Michel_D_ADA259142_no_vita.pdf
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.A006F3D
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.A006F3D
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: unknown
    Subjects:
      – SubjectFull: Computer programs--Validation
        Type: general
      – SubjectFull: Program behavior
        Type: general
      – SubjectFull: Locality of reference
        Type: general
      – SubjectFull: Cache
        Type: general
      – SubjectFull: Software Engineering
        Type: general
    Titles:
      – TitleFull: A Unified Model of Program Behavior
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Michel, Douglas T.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 1992
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
          Titles:
            – TitleFull: Theses and Dissertations
              Type: main
ResultId 1