vm/code_heap.cpp

   1 #include "master.hpp"
   2
   3 namespace factor
   4 {
   5
   6 code_heap::code_heap(cell size)
   7 {
   8         if(size > (1L << (sizeof(cell) * 8 - 6))) fatal_error("Heap too large",size);
   9         seg = new segment(align_page(size),true);
  10         if(!seg) fatal_error("Out of memory in heap allocator",size);
  11         allocator = new free_list_allocator<code_block>(size,seg->start);
  12 }
  13
  14 code_heap::~code_heap()
  15 {
  16         delete allocator;
  17         allocator = NULL;
  18         delete seg;
  19         seg = NULL;
  20 }
  21
  22 void code_heap::write_barrier(code_block *compiled)
  23 {
  24         points_to_nursery.insert(compiled);
  25         points_to_aging.insert(compiled);
  26 }
  27
  28 void code_heap::clear_remembered_set()
  29 {
  30         points_to_nursery.clear();
  31         points_to_aging.clear();
  32 }
  33
  34 bool code_heap::needs_fixup_p(code_block *compiled)
  35 {
  36         return needs_fixup.count(compiled) > 0;
  37 }
  38
  39 bool code_heap::marked_p(code_block *compiled)
  40 {
  41         return allocator->state.marked_p(compiled);
  42 }
  43
  44 void code_heap::set_marked_p(code_block *compiled)
  45 {
  46         allocator->state.set_marked_p(compiled);
  47 }
  48
  49 void code_heap::clear_mark_bits()
  50 {
  51         allocator->state.clear_mark_bits();
  52 }
  53
  54 void code_heap::code_heap_free(code_block *compiled)
  55 {
  56         points_to_nursery.erase(compiled);
  57         points_to_aging.erase(compiled);
  58         needs_fixup.erase(compiled);
  59         allocator->free(compiled);
  60 }
  61
  62 /* Allocate a code heap during startup */
  63 void factor_vm::init_code_heap(cell size)
  64 {
  65         code = new code_heap(size);
  66 }
  67
  68 bool factor_vm::in_code_heap_p(cell ptr)
  69 {
  70         return (ptr >= code->seg->start && ptr <= code->seg->end);
  71 }
  72
  73 /* Compile a word definition with the non-optimizing compiler. Allocates memory */
  74 void factor_vm::jit_compile_word(cell word_, cell def_, bool relocate)
  75 {
  76         data_root<word> word(word_,this);
  77         data_root<quotation> def(def_,this);
  78
  79         jit_compile(def.value(),relocate);
  80
  81         word->code = def->code;
  82
  83         if(to_boolean(word->pic_def)) jit_compile(word->pic_def,relocate);
  84         if(to_boolean(word->pic_tail_def)) jit_compile(word->pic_tail_def,relocate);
  85 }
  86
  87 struct word_updater {
  88         factor_vm *parent;
  89
  90         explicit word_updater(factor_vm *parent_) : parent(parent_) {}
  91
  92         void operator()(code_block *compiled, cell size)
  93         {
  94                 parent->update_word_references(compiled);
  95         }
  96 };
  97
  98 /* Update pointers to words referenced from all code blocks. Only after
  99 defining a new word. */
 100 void factor_vm::update_code_heap_words()
 101 {
 102         word_updater updater(this);
 103         iterate_code_heap(updater);
 104 }
 105
 106 /* After a full GC that did not grow the heap, we have to update references
 107 to literals and other words. */
 108 struct word_and_literal_code_heap_updater {
 109         factor_vm *parent;
 110
 111         explicit word_and_literal_code_heap_updater(factor_vm *parent_) : parent(parent_) {}
 112
 113         void operator()(code_block *block, cell size)
 114         {
 115                 parent->update_code_block_words_and_literals(block);
 116         }
 117 };
 118
 119 void factor_vm::update_code_heap_words_and_literals()
 120 {
 121         word_and_literal_code_heap_updater updater(this);
 122         iterate_code_heap(updater);
 123 }
 124
 125 /* After growing the heap, we have to perform a full relocation to update
 126 references to card and deck arrays. */
 127 struct code_heap_relocator {
 128         factor_vm *parent;
 129
 130         explicit code_heap_relocator(factor_vm *parent_) : parent(parent_) {}
 131
 132         void operator()(code_block *block, cell size)
 133         {
 134                 parent->relocate_code_block(block);
 135         }
 136 };
 137
 138 void factor_vm::relocate_code_heap()
 139 {
 140         code_heap_relocator relocator(this);
 141         code->allocator->sweep(relocator);
 142 }
 143
 144 void factor_vm::primitive_modify_code_heap()
 145 {
 146         data_root<array> alist(dpop(),this);
 147
 148         cell count = array_capacity(alist.untagged());
 149
 150         if(count == 0)
 151                 return;
 152
 153         for(cell i = 0; i < count; i++)
 154         {
 155                 data_root<array> pair(array_nth(alist.untagged(),i),this);
 156
 157                 data_root<word> word(array_nth(pair.untagged(),0),this);
 158                 data_root<object> data(array_nth(pair.untagged(),1),this);
 159
 160                 switch(data.type())
 161                 {
 162                 case QUOTATION_TYPE:
 163                         jit_compile_word(word.value(),data.value(),false);
 164                         break;
 165                 case ARRAY_TYPE:
 166                         {
 167                                 array *compiled_data = data.as<array>().untagged();
 168                                 cell owner = array_nth(compiled_data,0);
 169                                 cell literals = array_nth(compiled_data,1);
 170                                 cell relocation = array_nth(compiled_data,2);
 171                                 cell labels = array_nth(compiled_data,3);
 172                                 cell code = array_nth(compiled_data,4);
 173
 174                                 code_block *compiled = add_code_block(
 175                                         code_block_optimized,
 176                                         code,
 177                                         labels,
 178                                         owner,
 179                                         relocation,
 180                                         literals);
 181
 182                                 word->code = compiled;
 183                         }
 184                         break;
 185                 default:
 186                         critical_error("Expected a quotation or an array",data.value());
 187                         break;
 188                 }
 189
 190                 update_word_xt(word.untagged());
 191         }
 192
 193         update_code_heap_words();
 194 }
 195
 196 code_heap_room factor_vm::code_room()
 197 {
 198         code_heap_room room;
 199
 200         room.size             = code->allocator->size;
 201         room.occupied_space   = code->allocator->occupied_space();
 202         room.total_free       = code->allocator->free_space();
 203         room.contiguous_free  = code->allocator->largest_free_block();
 204         room.free_block_count = code->allocator->free_block_count();
 205
 206         return room;
 207 }
 208
 209 void factor_vm::primitive_code_room()
 210 {
 211         code_heap_room room = code_room();
 212         dpush(tag<byte_array>(byte_array_from_value(&room)));
 213 }
 214
 215 struct stack_trace_stripper {
 216         explicit stack_trace_stripper() {}
 217
 218         void operator()(code_block *compiled, cell size)
 219         {
 220                 compiled->owner = false_object;
 221         }
 222 };
 223
 224 void factor_vm::primitive_strip_stack_traces()
 225 {
 226         stack_trace_stripper stripper;
 227         iterate_code_heap(stripper);
 228 }
 229
 230 }