6 context::context(cell datastack_size, cell retainstack_size, cell callstack_size) :
8 callstack_bottom(NULL),
12 datastack_seg(new segment(datastack_size,false)),
13 retainstack_seg(new segment(retainstack_size,false)),
14 callstack_seg(new segment(callstack_size,false))
19 void context::reset_datastack()
21 datastack = datastack_seg->start - sizeof(cell);
24 void context::reset_retainstack()
26 retainstack = retainstack_seg->start - sizeof(cell);
29 void context::reset_callstack()
31 callstack_top = callstack_bottom = CALLSTACK_BOTTOM(this);
34 void context::reset_context_objects()
36 memset_cell(context_objects,false_object,context_object_count * sizeof(cell));
44 reset_context_objects();
47 void context::fix_stacks()
49 if(datastack + sizeof(cell) < datastack_seg->start
50 || datastack + stack_reserved >= datastack_seg->end)
53 if(retainstack + sizeof(cell) < retainstack_seg->start
54 || retainstack + stack_reserved >= retainstack_seg->end)
58 void context::scrub_stacks(gc_info *info, cell index)
60 u8 *bitmap = info->gc_info_bitmap();
63 cell base = info->scrub_d_base(index);
65 for(cell loc = 0; loc < info->scrub_d_count; loc++)
67 if(bitmap_p(bitmap,base + loc))
70 std::cout << "scrubbing datastack location " << loc << std::endl;
72 ((cell *)datastack)[-loc] = 0;
78 cell base = info->scrub_r_base(index);
80 for(cell loc = 0; loc < info->scrub_r_count; loc++)
82 if(bitmap_p(bitmap,base + loc))
85 std::cout << "scrubbing retainstack location " << loc << std::endl;
87 ((cell *)retainstack)[-loc] = 0;
96 delete retainstack_seg;
100 /* called on startup */
101 void factor_vm::init_contexts(cell datastack_size_, cell retainstack_size_, cell callstack_size_)
103 datastack_size = datastack_size_;
104 retainstack_size = retainstack_size_;
105 callstack_size = callstack_size_;
108 spare_ctx = new_context();
111 void factor_vm::delete_contexts()
114 std::vector<context *>::const_iterator iter = unused_contexts.begin();
115 std::vector<context *>::const_iterator end = unused_contexts.end();
123 context *factor_vm::new_context()
125 context *new_context;
127 if(unused_contexts.empty())
129 new_context = new context(datastack_size,
135 new_context = unused_contexts.back();
136 unused_contexts.pop_back();
139 new_context->reset();
141 active_contexts.insert(new_context);
146 void factor_vm::init_context(context *ctx)
148 ctx->context_objects[OBJ_CONTEXT] = allot_alien(ctx);
151 context *new_context(factor_vm *parent)
153 context *new_context = parent->new_context();
154 parent->init_context(new_context);
158 void factor_vm::delete_context(context *old_context)
160 unused_contexts.push_back(old_context);
161 active_contexts.erase(old_context);
164 VM_C_API void delete_context(factor_vm *parent, context *old_context)
166 parent->delete_context(old_context);
169 cell factor_vm::begin_callback(cell quot_)
171 data_root<object> quot(quot_,this);
174 spare_ctx = new_context();
175 callback_ids.push_back(callback_id++);
182 cell begin_callback(factor_vm *parent, cell quot)
184 return parent->begin_callback(quot);
187 void factor_vm::end_callback()
189 callback_ids.pop_back();
193 void end_callback(factor_vm *parent)
195 parent->end_callback();
198 void factor_vm::primitive_current_callback()
200 ctx->push(tag_fixnum(callback_ids.back()));
203 void factor_vm::primitive_context_object()
205 fixnum n = untag_fixnum(ctx->peek());
206 ctx->replace(ctx->context_objects[n]);
209 void factor_vm::primitive_set_context_object()
211 fixnum n = untag_fixnum(ctx->pop());
212 cell value = ctx->pop();
213 ctx->context_objects[n] = value;
216 void factor_vm::primitive_context_object_for()
218 context *other_ctx = (context *)pinned_alien_offset(ctx->pop());
219 fixnum n = untag_fixnum(ctx->pop());
220 ctx->push(other_ctx->context_objects[n]);
223 cell factor_vm::stack_to_array(cell bottom, cell top)
225 fixnum depth = (fixnum)(top - bottom + sizeof(cell));
231 array *a = allot_uninitialized_array<array>(depth / sizeof(cell));
232 memcpy(a + 1,(void*)bottom,depth);
233 return tag<array>(a);
237 cell factor_vm::datastack_to_array(context *ctx)
239 cell array = stack_to_array(ctx->datastack_seg->start,ctx->datastack);
240 if(array == false_object)
242 general_error(ERROR_DATASTACK_UNDERFLOW,false_object,false_object);
249 void factor_vm::primitive_datastack()
251 ctx->push(datastack_to_array(ctx));
254 void factor_vm::primitive_datastack_for()
256 context *other_ctx = (context *)pinned_alien_offset(ctx->pop());
257 ctx->push(datastack_to_array(other_ctx));
260 cell factor_vm::retainstack_to_array(context *ctx)
262 cell array = stack_to_array(ctx->retainstack_seg->start,ctx->retainstack);
263 if(array == false_object)
265 general_error(ERROR_RETAINSTACK_UNDERFLOW,false_object,false_object);
272 void factor_vm::primitive_retainstack()
274 ctx->push(retainstack_to_array(ctx));
277 void factor_vm::primitive_retainstack_for()
279 context *other_ctx = (context *)pinned_alien_offset(ctx->pop());
280 ctx->push(retainstack_to_array(other_ctx));
283 /* returns pointer to top of stack */
284 cell factor_vm::array_to_stack(array *array, cell bottom)
286 cell depth = array_capacity(array) * sizeof(cell);
287 memcpy((void*)bottom,array + 1,depth);
288 return bottom + depth - sizeof(cell);
291 void factor_vm::set_datastack(context *ctx, array *array)
293 ctx->datastack = array_to_stack(array,ctx->datastack_seg->start);
296 void factor_vm::primitive_set_datastack()
298 set_datastack(ctx,untag_check<array>(ctx->pop()));
301 void factor_vm::set_retainstack(context *ctx, array *array)
303 ctx->retainstack = array_to_stack(array,ctx->retainstack_seg->start);
306 void factor_vm::primitive_set_retainstack()
308 set_retainstack(ctx,untag_check<array>(ctx->pop()));
311 /* Used to implement call( */
312 void factor_vm::primitive_check_datastack()
314 fixnum out = to_fixnum(ctx->pop());
315 fixnum in = to_fixnum(ctx->pop());
316 fixnum height = out - in;
317 array *saved_datastack = untag_check<array>(ctx->pop());
318 fixnum saved_height = array_capacity(saved_datastack);
319 fixnum current_height = (ctx->datastack - ctx->datastack_seg->start + sizeof(cell)) / sizeof(cell);
320 if(current_height - height != saved_height)
321 ctx->push(false_object);
324 cell *ds_bot = (cell *)ctx->datastack_seg->start;
325 for(fixnum i = 0; i < saved_height - in; i++)
327 if(ds_bot[i] != array_nth(saved_datastack,i))
329 ctx->push(false_object);
333 ctx->push(true_object);
337 void factor_vm::primitive_load_locals()
339 fixnum count = untag_fixnum(ctx->pop());
340 memcpy((cell *)(ctx->retainstack + sizeof(cell)),
341 (cell *)(ctx->datastack - sizeof(cell) * (count - 1)),
342 sizeof(cell) * count);
343 ctx->datastack -= sizeof(cell) * count;
344 ctx->retainstack += sizeof(cell) * count;