1. 13 Nov, 2015 1 commit
    • Kunshan Wang's avatar
      Use frame cursors in stack introspection. · 868f8fd4
      Kunshan Wang authored
      Introduced the framecursorref type. This is to solve performance problem
      when the stack is very deep. The API is still stateless, but a frame
      cursor is mutable. A frame cursor can only be created from a stack in
      the READY<Ts> state, may iterate downwards, and must be explicitly
      closed. Concurrent introspection that races with stack modification (pop
      frames/push frames/resuming a stack) has undefined behaviour.
      
      Also used "resumption point" to simplify the description of stack
      binding. The semantics is not changed. In the concrete syntax,
      resumption points are "beginning of function", "OSR point instruction"
      or "the appropriate place for native function". The Mu cases can be
      mapped to the resumption points in the formal model: entry of the %entry
      block, and the exit of the block where the OSR point instruction is in.
      868f8fd4
  2. 27 Oct, 2015 1 commit
  3. 21 Oct, 2015 2 commits
  4. 20 Oct, 2015 1 commit
  5. 09 Oct, 2015 1 commit
  6. 07 Oct, 2015 2 commits
  7. 01 Oct, 2015 1 commit
  8. 30 Sep, 2015 1 commit
  9. 24 Sep, 2015 1 commit
    • Kunshan Wang's avatar
      Renamed types. · 4199116d
      Kunshan Wang authored
      func->funcref, thread->threadref, stack->stackref,
      ptr->uptr, funcptr->ufuncptr.
      4199116d
  10. 01 Sep, 2015 1 commit
  11. 31 Aug, 2015 1 commit
  12. 24 Aug, 2015 1 commit
  13. 19 Mar, 2015 1 commit
  14. 12 Feb, 2015 1 commit
  15. 16 Jan, 2015 1 commit
  16. 15 Jan, 2015 1 commit
  17. 28 Oct, 2014 1 commit