Changes between Version 13 and Version 14 of Commentary/Rts/Storage/CAFs


Ignore:
Timestamp:
Oct 8, 2009 10:10:34 PM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/Storage/CAFs

    v13 v14  
    77Constant Applicative Forms, or CAFs for short, are top-level values defined in a program. 
    88Essentially, they are objects that are not allocated dynamically at run-time but, instead, 
    9 are part of the static data of the program.  Sometimes, a CAF may refer to many values in the heap.  This is why, we need to know when a CAF is never going to be used again by the program, and 
    10 hence the values to which it refers may be garbage collected. 
     9are part of the static data of the program.  Sometimes, a CAF may refer to many values in the heap.  To avoid memory leaks in such situations, we need to know when a CAF is never going to be used 
     10again, and so we can deallocate the values that it refers to. 
    1111 
    1212