Changes between Version 11 and Version 12 of Commentary/ResourceLimits


Ignore:
Timestamp:
Mar 15, 2013 6:50:55 PM (2 years ago)
Author:
ezyang
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/ResourceLimits

    v11 v12  
    44
    55== Front-end changes ==
     6
     7The basic idea behind this patch is that data collected during **profiling** can also be used at runtime to enforce limits. So most of the API involves (1) dynamically setting cost-centres, which GHC uses to do profiling, and (2) querying and receiving callbacks when certain events happen during profiling.  Costs can be collected anywhere you could have placed an {{{SCC}}} annotation statically.
    68
    79{{{