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


Ignore:
Timestamp:
Sep 29, 2006 1:31:35 AM (8 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