Garbage Collection

• Reference counts for all objects

  • Function and VM opcode granularity
  • Deallocation controlled by type
  • Lots of gotos to handle refcounts on error

• Cycle detection: unmark and sweep

  • Collector does not know roots
  • Visit all containers to to account for refcounts
  • Object is unreachable if all refs found

• Implementation uses 3 generations

Notes: