Changes between Version 12 and Version 13 of Commentary/ResourceLimits


Ignore:
Timestamp:
Mar 15, 2013 9:16:10 PM (13 months ago)
Author:
ezyang
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/ResourceLimits

    v12 v13  
    103103== Commentary == 
    104104 
     105=== CAFs === 
     106 
     107A CAF is never attributed to a dynamic CCs, because CAFs are always get their own cost-centre for their evaluation.  This is correct in a sense, because multiple dynamic CCs can attempt to evaluate a CAF, and we should not unduly penalize the first one to evaluate the CAF.  However, this means you have to be very careful about optimizations that introduce CAFs that were not present at the source level, e.g. `-ffull-laziness`. Dynamically loaded CAFs from untrusted code, of course, need to be relabeled appropriately. 
     108 
    105109=== Interaction with traditional profiling === 
    106110