Changeset 529


Ignore:
Timestamp:
Feb 16, 2011, 1:38:41 PM (6 years ago)
Author:
mulligan
Message:

wrote about cost labels

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r528 r529  
    537537\label{subsect.computation.cost.traces}
    538538
    539 The CerCo approach to inducing a cost model necessitates the introduction of \emph{cost labels}.
     539As mentioned in Subsection~\ref{subsect.labels.pseudoinstructions} we introduced a notion of \emph{cost label}.
     540Cost labels are inserted by the prototype C compiler in specific locations in the object code.
     541Roughly, for those familiar with control flow graphs, they are inserted at the start of every basic block.
     542
     543Cost labels are used to calculate a precise costing for a program by marking the location of basic blocks.
     544During the assembly phase, where labels and pseudoinstructions are eliminated, a map is generated associating cost labels with memory locations.
     545This map is later used in a separate analysis which computes the cost of a program by traversing through a program, fetching one instruction at a time, and computing the cost of blocks.
     546These block costings are stored in another map, and will later be passed back to the prototype compiler.
    540547
    541548%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Note: See TracChangeset for help on using the changeset viewer.