Changes between Version 18 and Version 19 of Commentary/Rts/HeapObjects


Ignore:
Timestamp:
Oct 17, 2006 1:43:44 PM (8 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/HeapObjects

    v18 v19  
    185185 * X_{{{info}}}: the ''wrapper'' for X (a function, equivalent to the 
    186186   curried function {{{X}}} in Haskell, see 
    187    [wiki:Commentary/Compiler/DataCon]).   
     187   [wiki:Commentary/Compiler/EntityTypes]).   
    188188 * X_{{{closure}}}: static closure for X's wrapper 
    189189 
     
    272272indirection to the selected field.  If it is not evaluated, it 
    273273treats the selector thunk like any other thunk of that shape. 
     274 
     275This technique comes from the Phil Wadler paper [http://homepages.inf.ed.ac.uk/wadler/topics/garbage-collection.html Fixing some space leaks with a garbage collector], and later Christina von Dorrien who called it "Stingy Evaluation". 
    274276 
    275277There is a fixed set of pre-compiled selector thunks built into the