vm/objects.cpp

   1 #include "master.hpp"
   2
   3 namespace factor {
   4
   5 /* Size of the object pointed to by a tagged pointer */
   6 cell object_size(cell tagged) {
   7   if (immediate_p(tagged))
   8     return 0;
   9   return untag<object>(tagged)->size();
  10 }
  11
  12 void factor_vm::primitive_special_object() {
  13   fixnum n = untag_fixnum(ctx->peek());
  14   ctx->replace(special_objects[n]);
  15 }
  16
  17 void factor_vm::primitive_set_special_object() {
  18   fixnum n = untag_fixnum(ctx->pop());
  19   cell value = ctx->pop();
  20   special_objects[n] = value;
  21 }
  22
  23 void factor_vm::primitive_identity_hashcode() {
  24   cell tagged = ctx->peek();
  25   object* obj = untag<object>(tagged);
  26   ctx->replace(tag_fixnum(obj->hashcode()));
  27 }
  28
  29 void factor_vm::primitive_compute_identity_hashcode() {
  30   object* obj = untag<object>(ctx->pop());
  31   object_counter++;
  32   if (object_counter == 0)
  33     object_counter++;
  34   obj->set_hashcode((cell)obj ^ object_counter);
  35 }
  36
  37 void factor_vm::primitive_set_slot() {
  38   fixnum slot = untag_fixnum(ctx->pop());
  39   object* obj = untag<object>(ctx->pop());
  40   cell value = ctx->pop();
  41
  42   cell* slot_ptr = &obj->slots()[slot];
  43   *slot_ptr = value;
  44   write_barrier(slot_ptr);
  45 }
  46
  47 /* Allocates memory */
  48 cell factor_vm::clone_object(cell obj_) {
  49   data_root<object> obj(obj_, this);
  50
  51   if (immediate_p(obj.value()))
  52     return obj.value();
  53   cell size = object_size(obj.value());
  54   object* new_obj = allot_object(obj.type(), size);
  55   memcpy(new_obj, obj.untagged(), size);
  56   new_obj->set_hashcode(0);
  57   return tag_dynamic(new_obj);
  58 }
  59
  60 /* Allocates memory */
  61 void factor_vm::primitive_clone() { ctx->replace(clone_object(ctx->peek())); }
  62
  63 /* Allocates memory */
  64 void factor_vm::primitive_size() {
  65   ctx->replace(from_unsigned_cell(object_size(ctx->peek())));
  66 }
  67
  68 struct slot_become_fixup : no_fixup {
  69   std::map<object*, object*>* become_map;
  70
  71   slot_become_fixup(std::map<object*, object*>* become_map)
  72       : become_map(become_map) {}
  73
  74   object* fixup_data(object* old) {
  75     std::map<object*, object*>::const_iterator iter = become_map->find(old);
  76     if (iter != become_map->end())
  77       return iter->second;
  78     return old;
  79   }
  80 };
  81
  82 /* classes.tuple uses this to reshape tuples; tools.deploy.shaker uses this
  83    to coalesce equal but distinct quotations and wrappers. */
  84 /* Calls gc */
  85 void factor_vm::primitive_become() {
  86   primitive_minor_gc();
  87   array* new_objects = untag_check<array>(ctx->pop());
  88   array* old_objects = untag_check<array>(ctx->pop());
  89
  90   cell capacity = array_capacity(new_objects);
  91   if (capacity != array_capacity(old_objects))
  92     critical_error("bad parameters to become", 0);
  93
  94   /* Build the forwarding map */
  95   std::map<object*, object*> become_map;
  96
  97   for (cell i = 0; i < capacity; i++) {
  98     cell old_ptr = array_nth(old_objects, i);
  99     cell new_ptr = array_nth(new_objects, i);
 100     if (old_ptr != new_ptr)
 101       become_map[untag<object>(old_ptr)] = untag<object>(new_ptr);
 102   }
 103
 104   /* Update all references to old objects to point to new objects */
 105   {
 106     slot_visitor<slot_become_fixup> visitor(this,
 107                                             slot_become_fixup(&become_map));
 108     visitor.visit_all_roots();
 109
 110     auto object_become_func = [&](object* obj) {
 111       visitor.visit_slots(obj);
 112     };
 113     each_object(object_become_func);
 114
 115     auto code_block_become_func = [&](code_block* compiled, cell size) {
 116       visitor.visit_code_block_objects(compiled);
 117       visitor.visit_embedded_literals(compiled);
 118       code->write_barrier(compiled);
 119     };
 120     each_code_block(code_block_become_func);
 121   }
 122
 123   /* Since we may have introduced old->new references, need to revisit
 124      all objects and code blocks on a minor GC. */
 125   data->mark_all_cards();
 126 }
 127
 128 }