Changes between Version 3 and Version 4 of Commentary/Rts/Sanity


Ignore:
Timestamp:
Oct 20, 2006 9:22:06 AM (8 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/Sanity

    v3 v4  
    1111Sanity checking does a complete traversal of the heap after each GC to look for dangling pointers (see `checkHeap` in [[GhcFile(rts/Sanity.c)]]).  For this it needs to ensure that there is no [wiki:Commentary/Rts/Storage/Slop slop], which is why we can only do this in a `DEBUG` runtime: the slop-avoiding machinery is only on with `DEBUG`. 
    1212 
    13 Sanity checking also turns on some other expensive checks: for example in the generic apply code we check that the arguments point to valid closures. 
     13Sanity checking also turns on some other expensive checks: for example in the [wiki:Commentary/Rts/HaskellExecution#Genericapply generic apply] code we check that the arguments point to valid closures.