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->callsite_scrub_d(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->callsite_scrub_r(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::list<context *>::const_iterator iter = unused_contexts.begin();
115 std::list<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);
163 while(unused_contexts.size() > 10)
165 context *stale_context = unused_contexts.front();
166 unused_contexts.pop_front();
167 delete stale_context;
171 VM_C_API void delete_context(factor_vm *parent, context *old_context)
173 parent->delete_context(old_context);
176 VM_C_API void reset_context(factor_vm *parent, context *ctx)
179 parent->init_context(ctx);
182 cell factor_vm::begin_callback(cell quot_)
184 data_root<object> quot(quot_,this);
187 spare_ctx = new_context();
188 callback_ids.push_back(callback_id++);
195 cell begin_callback(factor_vm *parent, cell quot)
197 return parent->begin_callback(quot);
200 void factor_vm::end_callback()
202 callback_ids.pop_back();
206 void end_callback(factor_vm *parent)
208 parent->end_callback();
211 void factor_vm::primitive_current_callback()
213 ctx->push(tag_fixnum(callback_ids.back()));
216 void factor_vm::primitive_context_object()
218 fixnum n = untag_fixnum(ctx->peek());
219 ctx->replace(ctx->context_objects[n]);
222 void factor_vm::primitive_set_context_object()
224 fixnum n = untag_fixnum(ctx->pop());
225 cell value = ctx->pop();
226 ctx->context_objects[n] = value;
229 void factor_vm::primitive_context_object_for()
231 context *other_ctx = (context *)pinned_alien_offset(ctx->pop());
232 fixnum n = untag_fixnum(ctx->pop());
233 ctx->push(other_ctx->context_objects[n]);
236 cell factor_vm::stack_to_array(cell bottom, cell top)
238 fixnum depth = (fixnum)(top - bottom + sizeof(cell));
244 array *a = allot_uninitialized_array<array>(depth / sizeof(cell));
245 memcpy(a + 1,(void*)bottom,depth);
246 return tag<array>(a);
250 cell factor_vm::datastack_to_array(context *ctx)
252 cell array = stack_to_array(ctx->datastack_seg->start,ctx->datastack);
253 if(array == false_object)
255 general_error(ERROR_DATASTACK_UNDERFLOW,false_object,false_object);
262 void factor_vm::primitive_datastack()
264 ctx->push(datastack_to_array(ctx));
267 void factor_vm::primitive_datastack_for()
269 context *other_ctx = (context *)pinned_alien_offset(ctx->pop());
270 ctx->push(datastack_to_array(other_ctx));
273 cell factor_vm::retainstack_to_array(context *ctx)
275 cell array = stack_to_array(ctx->retainstack_seg->start,ctx->retainstack);
276 if(array == false_object)
278 general_error(ERROR_RETAINSTACK_UNDERFLOW,false_object,false_object);
285 void factor_vm::primitive_retainstack()
287 ctx->push(retainstack_to_array(ctx));
290 void factor_vm::primitive_retainstack_for()
292 context *other_ctx = (context *)pinned_alien_offset(ctx->pop());
293 ctx->push(retainstack_to_array(other_ctx));
296 /* returns pointer to top of stack */
297 cell factor_vm::array_to_stack(array *array, cell bottom)
299 cell depth = array_capacity(array) * sizeof(cell);
300 memcpy((void*)bottom,array + 1,depth);
301 return bottom + depth - sizeof(cell);
304 void factor_vm::set_datastack(context *ctx, array *array)
306 ctx->datastack = array_to_stack(array,ctx->datastack_seg->start);
309 void factor_vm::primitive_set_datastack()
311 set_datastack(ctx,untag_check<array>(ctx->pop()));
314 void factor_vm::set_retainstack(context *ctx, array *array)
316 ctx->retainstack = array_to_stack(array,ctx->retainstack_seg->start);
319 void factor_vm::primitive_set_retainstack()
321 set_retainstack(ctx,untag_check<array>(ctx->pop()));
324 /* Used to implement call( */
325 void factor_vm::primitive_check_datastack()
327 fixnum out = to_fixnum(ctx->pop());
328 fixnum in = to_fixnum(ctx->pop());
329 fixnum height = out - in;
330 array *saved_datastack = untag_check<array>(ctx->pop());
331 fixnum saved_height = array_capacity(saved_datastack);
332 fixnum current_height = (ctx->datastack - ctx->datastack_seg->start + sizeof(cell)) / sizeof(cell);
333 if(current_height - height != saved_height)
334 ctx->push(false_object);
337 cell *ds_bot = (cell *)ctx->datastack_seg->start;
338 for(fixnum i = 0; i < saved_height - in; i++)
340 if(ds_bot[i] != array_nth(saved_datastack,i))
342 ctx->push(false_object);
346 ctx->push(true_object);
350 void factor_vm::primitive_load_locals()
352 fixnum count = untag_fixnum(ctx->pop());
353 memcpy((cell *)(ctx->retainstack + sizeof(cell)),
354 (cell *)(ctx->datastack - sizeof(cell) * (count - 1)),
355 sizeof(cell) * count);
356 ctx->datastack -= sizeof(cell) * count;
357 ctx->retainstack += sizeof(cell) * count;