Changes between Version 10 and Version 11 of Commentary/Rts/HaskellExecution


Ignore:
Timestamp:
Sep 29, 2006 1:31:35 AM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/HaskellExecution

    v10 v11  
    1717 * `Hp` points to the byte before the first free byte in the (contiguous) allocation space.
    1818
    19  * `HpLim` points to the last avaiable byte in the current chunk of allocation space (see [[ref(Heap/Stack check failures)]]).
     19 * `HpLim` points to the last available byte in the current chunk of allocation space (see [[ref(Heap/Stack check failures)]]).
    2020
    21  * `Sp` points to the youngest allocated byte of stack.  The stack grows downwards.  Why?  Because that means that a return address is at a lower address than the stack frame it "knows about", and that in turn means that we can treat a stack frame very like a heap object, with an info pointer (return address) as its first word.
     21 * `Sp` points to the youngest allocated byte of stack.  The stack grows downwards.  Why?  Because that means a return address is at a lower address than the stack frame it "knows about", and that in turn means that we can treat a stack frame very like a heap object, with an info pointer (return address) as its first word.
    2222
    2323 * `SpLim` points to the last (youngest) available byte in the current stack.
     
    4646
    4747  * A '''known call''' is a call of a function whose binding site is statically visible:
    48     * The function is bound at top level in this module
    49     * The function is bound at top level in another module, and optimistion is on, so we can see the details (notably arity) of the function in the module's interface file.
     48    * The function is bound at top level in this module; or,
     49    * The function is bound at top level in another module, and optimistion is on, so we can see the details (notably arity) of the function in the module's interface file; or,
    5050    * The function is bound by an `let` binding that encloses the call.
    5151