vm/full_collector.hpp

   1 namespace factor
   2 {
   3
   4 struct full_policy {
   5         factor_vm *parent;
   6         tenured_space *tenured;
   7
   8         explicit full_policy(factor_vm *parent_) : parent(parent_), tenured(parent->data->tenured) {}
   9
  10         bool should_copy_p(object *untagged)
  11         {
  12                 return !tenured->contains_p(untagged);
  13         }
  14
  15         void promoted_object(object *obj)
  16         {
  17                 tenured->set_marked_p(obj);
  18                 parent->mark_stack.push_back((cell)obj);
  19         }
  20
  21         void visited_object(object *obj)
  22         {
  23                 if(!tenured->marked_p(obj))
  24                         promoted_object(obj);
  25         }
  26 };
  27
  28 struct code_workhorse {
  29         factor_vm *parent;
  30         code_heap *code;
  31
  32         explicit code_workhorse(factor_vm *parent_) : parent(parent_), code(parent->code) {}
  33
  34         code_block *operator()(code_block *compiled)
  35         {
  36                 if(!code->marked_p(compiled))
  37                 {
  38                         code->set_marked_p(compiled);
  39                         parent->mark_stack.push_back((cell)compiled + 1);
  40                 }
  41
  42                 return compiled;
  43         }
  44 };
  45
  46 struct full_collector : collector<tenured_space,full_policy> {
  47         code_block_visitor<code_workhorse> code_visitor;
  48
  49         explicit full_collector(factor_vm *parent_);
  50         void trace_code_block(code_block *compiled);
  51         void trace_context_code_blocks();
  52         void trace_uninitialized_code_blocks();
  53         void trace_object_code_block(object *obj);
  54 };
  55
  56 }