]> gitweb.factorcode.org Git - factor.git/blob - vm/vm.hpp
Merge remote-tracking branch 'ex-rzr/fixes'
[factor.git] / vm / vm.hpp
1 namespace factor
2 {
3
4 struct growable_array;
5 struct code_root;
6
7 struct factor_vm
8 {
9         // First 5 fields accessed directly by compiler. See basis/vm/vm.factor
10
11         /* Current context */
12         context *ctx;
13
14         /* Spare context -- for callbacks */
15         context *spare_ctx;
16
17         /* New objects are allocated here */
18         nursery_space nursery;
19
20         /* Add this to a shifted address to compute write barrier offsets */
21         cell cards_offset;
22         cell decks_offset;
23
24         /* Various special objects, accessed by special-object and
25         set-special-object primitives */
26         cell special_objects[special_object_count];
27
28         /* Data stack and retain stack sizes */
29         cell datastack_size, retainstack_size, callstack_size;
30
31         /* Stack of callback IDs */
32         std::vector<int> callback_ids;
33
34         /* Next callback ID */
35         int callback_id;
36
37         /* List of callback function descriptors for PPC */
38         std::list<void **> function_descriptors;
39
40         /* Pooling unused contexts to make context allocation cheaper */
41         std::list<context *> unused_contexts;
42
43         /* Active contexts, for tracing by the GC */
44         std::set<context *> active_contexts;
45
46         /* Canonical truth value. In Factor, 't' */
47         cell true_object;
48
49         /* External entry points */
50         c_to_factor_func_type c_to_factor_func;
51
52         /* Is call counting enabled? */
53         bool profiling_p;
54
55         /* Global variables used to pass fault handler state from signal handler
56         to VM */
57         cell signal_number;
58         cell signal_fault_addr;
59         unsigned int signal_fpu_status;
60
61         /* GC is off during heap walking */
62         bool gc_off;
63
64         /* Data heap */
65         data_heap *data;
66
67         /* Code heap */
68         code_heap *code;
69
70         /* Pinned callback stubs */
71         callback_heap *callbacks;
72
73         /* Only set if we're performing a GC */
74         gc_state *current_gc;
75
76         /* Mark stack */
77         std::vector<cell> mark_stack;
78
79         /* If not NULL, we push GC events here */
80         std::vector<gc_event> *gc_events;
81
82         /* If a runtime function needs to call another function which potentially
83            allocates memory, it must wrap any references to the data and code
84            heaps with data_root and code_root smart pointers, which register
85            themselves here. See data_roots.hpp and code_roots.hpp */
86         std::vector<data_root_range> data_roots;
87         std::vector<cell> bignum_roots;
88         std::vector<code_root *> code_roots;
89
90         /* Debugger */
91         bool fep_disabled;
92         bool full_output;
93
94         /* Canonical bignums */
95         cell bignum_zero;
96         cell bignum_pos_one;
97         cell bignum_neg_one;
98
99         /* Method dispatch statistics */
100         dispatch_statistics dispatch_stats;
101
102         /* Number of entries in a polymorphic inline cache */
103         cell max_pic_size;
104
105         /* Incrementing object counter for identity hashing */
106         cell object_counter;
107
108         /* Sanity check to ensure that monotonic counter doesn't
109         decrease */
110         u64 last_nano_count;
111
112         /* Stack for signal handlers, only used on Unix */
113         segment *signal_callstack_seg;
114
115         // contexts
116         context *new_context();
117         void init_context(context *ctx);
118         void delete_context(context *old_context);
119         void init_contexts(cell datastack_size_, cell retainstack_size_, cell callstack_size_);
120         void delete_contexts();
121         cell begin_callback(cell quot);
122         void end_callback();
123         void primitive_current_callback();
124         void primitive_context_object();
125         void primitive_context_object_for();
126         void primitive_set_context_object();
127         cell stack_to_array(cell bottom, cell top);
128         cell datastack_to_array(context *ctx);
129         void primitive_datastack();
130         void primitive_datastack_for();
131         cell retainstack_to_array(context *ctx);
132         void primitive_retainstack();
133         void primitive_retainstack_for();
134         cell array_to_stack(array *array, cell bottom);
135         void set_datastack(context *ctx, array *array);
136         void primitive_set_datastack();
137         void set_retainstack(context *ctx, array *array);
138         void primitive_set_retainstack();
139         void primitive_check_datastack();
140         void primitive_load_locals();
141
142         template<typename Iterator> void iterate_active_callstacks(Iterator &iter)
143         {
144                 std::set<context *>::const_iterator begin = active_contexts.begin();
145                 std::set<context *>::const_iterator end = active_contexts.end();
146                 while(begin != end) iterate_callstack(*begin++,iter);
147         }
148
149         // run
150         void primitive_exit();
151         void primitive_nano_count();
152         void primitive_sleep();
153         void primitive_set_slot();
154
155         // objects
156         void primitive_special_object();
157         void primitive_set_special_object();
158         void primitive_identity_hashcode();
159         void compute_identity_hashcode(object *obj);
160         void primitive_compute_identity_hashcode();
161         cell object_size(cell tagged);
162         cell clone_object(cell obj_);
163         void primitive_clone();
164         void primitive_become();
165
166         // profiler
167         void init_profiler();
168         code_block *compile_profiling_stub(cell word_);
169         void set_profiling(bool profiling);
170         void primitive_profiling();
171
172         // errors
173         void general_error(vm_error_type error, cell arg1, cell arg2);
174         void type_error(cell type, cell tagged);
175         void not_implemented_error();
176         void memory_protection_error(cell addr);
177         void signal_error(cell signal);
178         void divide_by_zero_error();
179         void fp_trap_error(unsigned int fpu_status);
180         void primitive_unimplemented();
181         void memory_signal_handler_impl();
182         void misc_signal_handler_impl();
183         void fp_signal_handler_impl();
184
185         // bignum
186         int bignum_equal_p(bignum * x, bignum * y);
187         enum bignum_comparison bignum_compare(bignum * x, bignum * y);
188         bignum *bignum_add(bignum * x, bignum * y);
189         bignum *bignum_subtract(bignum * x, bignum * y);
190         bignum *bignum_multiply(bignum * x, bignum * y);
191         void bignum_divide(bignum * numerator, bignum * denominator, bignum * * quotient, bignum * * remainder);
192         bignum *bignum_quotient(bignum * numerator, bignum * denominator);
193         bignum *bignum_remainder(bignum * numerator, bignum * denominator);
194         cell bignum_to_cell(bignum * bignum);
195         fixnum bignum_to_fixnum(bignum * bignum);
196         s64 bignum_to_long_long(bignum * bignum);
197         u64 bignum_to_ulong_long(bignum * bignum);
198         bignum *double_to_bignum(double x);
199         int bignum_equal_p_unsigned(bignum * x, bignum * y);
200         enum bignum_comparison bignum_compare_unsigned(bignum * x, bignum * y);
201         bignum *bignum_add_unsigned(bignum * x, bignum * y, int negative_p);
202         bignum *bignum_subtract_unsigned(bignum * x, bignum * y);
203         bignum *bignum_multiply_unsigned(bignum * x, bignum * y, int negative_p);
204         bignum *bignum_multiply_unsigned_small_factor(bignum * x, bignum_digit_type y,int negative_p);
205         void bignum_destructive_add(bignum * bignum, bignum_digit_type n);
206         void bignum_destructive_scale_up(bignum * bignum, bignum_digit_type factor);
207         void bignum_divide_unsigned_large_denominator(bignum * numerator, bignum * denominator,
208                                                         bignum * * quotient, bignum * * remainder, int q_negative_p, int r_negative_p);
209         void bignum_divide_unsigned_normalized(bignum * u, bignum * v, bignum * q);
210         bignum_digit_type bignum_divide_subtract(bignum_digit_type * v_start, bignum_digit_type * v_end,
211                                                         bignum_digit_type guess, bignum_digit_type * u_start);
212         void bignum_divide_unsigned_medium_denominator(bignum * numerator,bignum_digit_type denominator,
213                                                         bignum * * quotient, bignum * * remainder,int q_negative_p, int r_negative_p);
214         void bignum_destructive_normalization(bignum * source, bignum * target, int shift_left);
215         void bignum_destructive_unnormalization(bignum * bignum, int shift_right);
216         bignum_digit_type bignum_digit_divide(bignum_digit_type uh, bignum_digit_type ul,
217                                                         bignum_digit_type v, bignum_digit_type * q) /* return value */;
218         bignum_digit_type bignum_digit_divide_subtract(bignum_digit_type v1, bignum_digit_type v2,
219                                                         bignum_digit_type guess, bignum_digit_type * u);
220         void bignum_divide_unsigned_small_denominator(bignum * numerator, bignum_digit_type denominator,
221                                                         bignum * * quotient, bignum * * remainder,int q_negative_p, int r_negative_p);
222         bignum_digit_type bignum_destructive_scale_down(bignum * bignum, bignum_digit_type denominator);
223         bignum * bignum_remainder_unsigned_small_denominator(bignum * n, bignum_digit_type d, int negative_p);
224         bignum *bignum_digit_to_bignum(bignum_digit_type digit, int negative_p);
225         bignum *allot_bignum(bignum_length_type length, int negative_p);
226         bignum * allot_bignum_zeroed(bignum_length_type length, int negative_p);
227         bignum *bignum_shorten_length(bignum * bignum, bignum_length_type length);
228         bignum *bignum_trim(bignum * bignum);
229         bignum *bignum_new_sign(bignum * x, int negative_p);
230         bignum *bignum_maybe_new_sign(bignum * x, int negative_p);
231         void bignum_destructive_copy(bignum * source, bignum * target);
232         bignum *bignum_bitwise_not(bignum * x);
233         bignum *bignum_arithmetic_shift(bignum * arg1, fixnum n);
234         bignum *bignum_bitwise_and(bignum * arg1, bignum * arg2);
235         bignum *bignum_bitwise_ior(bignum * arg1, bignum * arg2);
236         bignum *bignum_bitwise_xor(bignum * arg1, bignum * arg2);
237         bignum *bignum_magnitude_ash(bignum * arg1, fixnum n);
238         bignum *bignum_pospos_bitwise_op(int op, bignum * arg1, bignum * arg2);
239         bignum *bignum_posneg_bitwise_op(int op, bignum * arg1, bignum * arg2);
240         bignum *bignum_negneg_bitwise_op(int op, bignum * arg1, bignum * arg2);
241         void bignum_negate_magnitude(bignum * arg);
242         bignum *bignum_integer_length(bignum * x);
243         int bignum_logbitp(int shift, bignum * arg);
244         int bignum_unsigned_logbitp(int shift, bignum * bignum);
245         bignum *digit_stream_to_bignum(unsigned int n_digits, unsigned int (*producer)(unsigned int, factor_vm *), unsigned int radix, int negative_p);
246
247         //data heap
248         void init_card_decks();
249         void set_data_heap(data_heap *data_);
250         void init_data_heap(cell young_size, cell aging_size, cell tenured_size);
251         void primitive_size();
252         data_heap_room data_room();
253         void primitive_data_room();
254         void begin_scan();
255         void end_scan();
256         cell instances(cell type);
257         void primitive_all_instances();
258
259         template<typename Generation, typename Iterator>
260         inline void each_object(Generation *gen, Iterator &iterator)
261         {
262                 cell obj = gen->first_object();
263                 while(obj)
264                 {
265                         iterator((object *)obj);
266                         obj = gen->next_object_after(obj);
267                 }
268         }
269
270         template<typename Iterator> inline void each_object(Iterator &iterator)
271         {
272                 gc_off = true;
273
274                 each_object(data->tenured,iterator);
275                 each_object(data->aging,iterator);
276                 each_object(data->nursery,iterator);
277
278                 gc_off = false;
279         }
280
281         /* the write barrier must be called any time we are potentially storing a
282            pointer from an older generation to a younger one */
283         inline void write_barrier(cell *slot_ptr)
284         {
285                 *(char *)(cards_offset + ((cell)slot_ptr >> card_bits)) = card_mark_mask;
286                 *(char *)(decks_offset + ((cell)slot_ptr >> deck_bits)) = card_mark_mask;
287         }
288
289         inline void write_barrier(object *obj, cell size)
290         {
291                 cell start = (cell)obj & (~card_size + 1);
292                 cell end = ((cell)obj + size + card_size - 1) & (~card_size + 1);
293
294                 for(cell offset = start; offset < end; offset += card_size)
295                         write_barrier((cell *)offset);
296         }
297
298         // data heap checker
299         void check_data_heap();
300
301         // gc
302         void end_gc();
303         void set_current_gc_op(gc_op op);
304         void start_gc_again();
305         void update_code_heap_for_minor_gc(std::set<code_block *> *remembered_set);
306         void collect_nursery();
307         void collect_aging();
308         void collect_to_tenured();
309         void update_code_roots_for_sweep();
310         void update_code_roots_for_compaction();
311         void collect_mark_impl(bool trace_contexts_p);
312         void collect_sweep_impl();
313         void collect_full(bool trace_contexts_p);
314         void collect_compact_impl(bool trace_contexts_p);
315         void collect_compact_code_impl(bool trace_contexts_p);
316         void collect_compact(bool trace_contexts_p);
317         void collect_growing_heap(cell requested_bytes, bool trace_contexts_p);
318         void gc(gc_op op, cell requested_bytes, bool trace_contexts_p);
319         void scrub_context(context *ctx);
320         void scrub_contexts();
321         void primitive_minor_gc();
322         void primitive_full_gc();
323         void primitive_compact_gc();
324         void primitive_enable_gc_events();
325         void primitive_disable_gc_events();
326         object *allot_object(cell type, cell size);
327         object *allot_large_object(cell type, cell size);
328
329         template<typename Type> Type *allot(cell size)
330         {
331                 return (Type *)allot_object(Type::type_number,size);
332         }
333
334         inline bool in_data_heap_p(cell pointer)
335         {
336                 return (pointer >= data->seg->start && pointer < data->seg->end);
337         }
338
339         inline void check_data_pointer(object *pointer)
340         {
341         #ifdef FACTOR_DEBUG
342                 if(!(current_gc && current_gc->op == collect_growing_heap_op))
343                         assert(in_data_heap_p((cell)pointer));
344         #endif
345         }
346
347         // generic arrays
348         template<typename Array> Array *allot_uninitialized_array(cell capacity);
349         template<typename Array> bool reallot_array_in_place_p(Array *array, cell capacity);
350         template<typename Array> Array *reallot_array(Array *array_, cell capacity);
351
352         // debug
353         void print_chars(string* str);
354         void print_word(word* word, cell nesting);
355         void print_factor_string(string* str);
356         void print_array(array* array, cell nesting);
357         void print_tuple(tuple *tuple, cell nesting);
358         void print_nested_obj(cell obj, fixnum nesting);
359         void print_obj(cell obj);
360         void print_objects(cell *start, cell *end);
361         void print_datastack();
362         void print_retainstack();
363         void print_callstack();
364         void dump_cell(cell x);
365         void dump_memory(cell from, cell to);
366         template<typename Generation> void dump_generation(const char *name, Generation *gen);
367         void dump_generations();
368         void dump_objects(cell type);
369         void find_data_references_step(cell *scan);
370         void find_data_references(cell look_for_);
371         void dump_code_heap();
372         void factorbug();
373         void primitive_die();
374
375         // arrays
376         inline void set_array_nth(array *array, cell slot, cell value);
377         array *allot_array(cell capacity, cell fill_);
378         void primitive_array();
379         cell allot_array_1(cell obj_);
380         cell allot_array_2(cell v1_, cell v2_);
381         cell allot_array_4(cell v1_, cell v2_, cell v3_, cell v4_);
382         void primitive_resize_array();
383         cell std_vector_to_array(std::vector<cell> &elements);
384
385         // strings
386         string *allot_string_internal(cell capacity);
387         void fill_string(string *str_, cell start, cell capacity, cell fill);
388         string *allot_string(cell capacity, cell fill);
389         void primitive_string();
390         bool reallot_string_in_place_p(string *str, cell capacity);
391         string* reallot_string(string *str_, cell capacity);
392         void primitive_resize_string();
393         void primitive_set_string_nth_fast();
394
395         // booleans
396         cell tag_boolean(cell untagged)
397         {
398                 return (untagged ? true_object : false_object);
399         }
400
401         // byte arrays
402         byte_array *allot_byte_array(cell size);
403         void primitive_byte_array();
404         void primitive_uninitialized_byte_array();
405         void primitive_resize_byte_array();
406
407         template<typename Type> byte_array *byte_array_from_value(Type *value);
408
409         // tuples
410         void primitive_tuple();
411         void primitive_tuple_boa();
412
413         // words
414         word *allot_word(cell name_, cell vocab_, cell hashcode_);
415         void primitive_word();
416         void primitive_word_code();
417         void update_word_entry_point(word *w_);
418         void primitive_optimized_p();
419         void primitive_wrapper();
420         void jit_compile_word(cell word_, cell def_, bool relocating);
421         cell find_all_words();
422         void compile_all_words();
423
424         // math
425         void primitive_bignum_to_fixnum();
426         void primitive_float_to_fixnum();
427         void primitive_fixnum_divint();
428         void primitive_fixnum_divmod();
429         bignum *fixnum_to_bignum(fixnum);
430         bignum *cell_to_bignum(cell);
431         bignum *long_long_to_bignum(s64 n);
432         bignum *ulong_long_to_bignum(u64 n);
433         inline fixnum sign_mask(fixnum x);
434         inline fixnum branchless_max(fixnum x, fixnum y);
435         inline fixnum branchless_abs(fixnum x);
436         void primitive_fixnum_shift();
437         void primitive_fixnum_to_bignum();
438         void primitive_float_to_bignum();
439         void primitive_bignum_eq();
440         void primitive_bignum_add();
441         void primitive_bignum_subtract();
442         void primitive_bignum_multiply();
443         void primitive_bignum_divint();
444         void primitive_bignum_divmod();
445         void primitive_bignum_mod();
446         void primitive_bignum_and();
447         void primitive_bignum_or();
448         void primitive_bignum_xor();
449         void primitive_bignum_shift();
450         void primitive_bignum_less();
451         void primitive_bignum_lesseq();
452         void primitive_bignum_greater();
453         void primitive_bignum_greatereq();
454         void primitive_bignum_not();
455         void primitive_bignum_bitp();
456         void primitive_bignum_log2();
457         unsigned int bignum_producer(unsigned int digit);
458         void primitive_byte_array_to_bignum();
459         inline cell unbox_array_size();
460         cell unbox_array_size_slow();
461         void primitive_fixnum_to_float();
462         void primitive_format_float();
463         void primitive_float_eq();
464         void primitive_float_add();
465         void primitive_float_subtract();
466         void primitive_float_multiply();
467         void primitive_float_divfloat();
468         void primitive_float_less();
469         void primitive_float_lesseq();
470         void primitive_float_greater();
471         void primitive_float_greatereq();
472         void primitive_float_bits();
473         void primitive_bits_float();
474         void primitive_double_bits();
475         void primitive_bits_double();
476         fixnum to_fixnum(cell tagged);
477         cell to_cell(cell tagged);
478         cell from_signed_8(s64 n);
479         s64 to_signed_8(cell obj);
480         cell from_unsigned_8(u64 n);
481         u64 to_unsigned_8(cell obj);
482         float to_float(cell value);
483         double to_double(cell value);
484         inline void overflow_fixnum_add(fixnum x, fixnum y);
485         inline void overflow_fixnum_subtract(fixnum x, fixnum y);
486         inline void overflow_fixnum_multiply(fixnum x, fixnum y);
487         inline cell from_signed_cell(fixnum x);
488         inline cell from_unsigned_cell(cell x);
489         inline cell allot_float(double n);
490         inline bignum *float_to_bignum(cell tagged);
491         inline double untag_float(cell tagged);
492         inline double untag_float_check(cell tagged);
493         inline fixnum float_to_fixnum(cell tagged);
494         inline double fixnum_to_float(cell tagged);
495
496         // tagged
497         template<typename Type> Type *untag_check(cell value);
498
499         // io
500         void init_c_io();
501         void io_error();
502         FILE* safe_fopen(char *filename, char *mode);
503         int safe_fgetc(FILE *stream);
504         size_t safe_fread(void *ptr, size_t size, size_t nitems, FILE *stream);
505         void safe_fputc(int c, FILE* stream);
506         size_t safe_fwrite(void *ptr, size_t size, size_t nitems, FILE *stream);
507         int safe_ftell(FILE *stream);
508         void safe_fseek(FILE *stream, off_t offset, int whence);
509         void safe_fflush(FILE *stream);
510         void safe_fclose(FILE *stream);
511         void primitive_fopen();
512         FILE *pop_file_handle();
513         void primitive_fgetc();
514         void primitive_fread();
515         void primitive_fputc();
516         void primitive_fwrite();
517         void primitive_ftell();
518         void primitive_fseek();
519         void primitive_fflush();
520         void primitive_fclose();
521
522         // code_block
523         cell compute_entry_point_address(cell obj);
524         cell compute_entry_point_pic_address(word *w, cell tagged_quot);
525         cell compute_entry_point_pic_address(cell w_);
526         cell compute_entry_point_pic_tail_address(cell w_);
527         cell code_block_owner(code_block *compiled);
528         void update_word_references(code_block *compiled, bool reset_inline_caches);
529         void undefined_symbol();
530         cell compute_dlsym_address(array *literals, cell index);
531 #ifdef FACTOR_PPC
532         cell compute_dlsym_toc_address(array *literals, cell index);
533 #endif
534         cell compute_vm_address(cell arg);
535         void store_external_address(instruction_operand op);
536         cell compute_here_address(cell arg, cell offset, code_block *compiled);
537         void initialize_code_block(code_block *compiled, cell literals);
538         void initialize_code_block(code_block *compiled);
539         void fixup_labels(array *labels, code_block *compiled);
540         code_block *allot_code_block(cell size, code_block_type type);
541         code_block *add_code_block(code_block_type type, cell code_, cell labels_, cell owner_, cell relocation_, cell parameters_, cell literals_);
542
543         //code heap
544         inline void check_code_pointer(cell ptr) { }
545
546         template<typename Iterator> void each_code_block(Iterator &iter)
547         {
548                 code->allocator->iterate(iter);
549         }
550
551         void init_code_heap(cell size);
552         bool in_code_heap_p(cell ptr);
553         void update_code_heap_words(bool reset_inline_caches);
554         void initialize_code_blocks();
555         void primitive_modify_code_heap();
556         code_heap_room code_room();
557         void primitive_code_room();
558         void primitive_strip_stack_traces();
559         cell code_blocks();
560         void primitive_code_blocks();
561
562         // callbacks
563         void init_callbacks(cell size);
564         void primitive_callback();
565
566         // image
567         void init_objects(image_header *h);
568         void load_data_heap(FILE *file, image_header *h, vm_parameters *p);
569         void load_code_heap(FILE *file, image_header *h, vm_parameters *p);
570         bool save_image(const vm_char *saving_filename, const vm_char *filename);
571         void primitive_save_image();
572         void primitive_save_image_and_exit();
573         void fixup_data(cell data_offset, cell code_offset);
574         void fixup_code(cell data_offset, cell code_offset);
575         void load_image(vm_parameters *p);
576
577         // callstack
578         template<typename Iterator> void iterate_callstack_object(callstack *stack_, Iterator &iterator);
579         void check_frame(stack_frame *frame);
580         callstack *allot_callstack(cell size);
581         stack_frame *fix_callstack_top(stack_frame *top);
582         stack_frame *second_from_top_stack_frame(context *ctx);
583         cell capture_callstack(context *ctx);
584         void primitive_callstack();
585         void primitive_callstack_for();
586         code_block *frame_code(stack_frame *frame);
587         code_block_type frame_type(stack_frame *frame);
588         cell frame_executing(stack_frame *frame);
589         cell frame_executing_quot(stack_frame *frame);
590         stack_frame *frame_successor(stack_frame *frame);
591         cell frame_scan(stack_frame *frame);
592         cell frame_offset(stack_frame *frame);
593         void set_frame_offset(stack_frame *frame, cell offset);
594         void scrub_return_address();
595         void primitive_callstack_to_array();
596         stack_frame *innermost_stack_frame(callstack *stack);
597         void primitive_innermost_stack_frame_executing();
598         void primitive_innermost_stack_frame_scan();
599         void primitive_set_innermost_stack_frame_quot();
600         void primitive_callstack_bounds();
601         template<typename Iterator> void iterate_callstack(context *ctx, Iterator &iterator);
602
603         // alien
604         char *pinned_alien_offset(cell obj);
605         cell allot_alien(cell delegate_, cell displacement);
606         cell allot_alien(void *address);
607         void primitive_displaced_alien();
608         void primitive_alien_address();
609         void *alien_pointer();
610         void primitive_dlopen();
611         void primitive_dlsym();
612         void primitive_dlsym_raw();
613         void primitive_dlclose();
614         void primitive_dll_validp();
615         char *alien_offset(cell obj);
616
617         // quotations
618         void primitive_jit_compile();
619         code_block *lazy_jit_compile_block();
620         void primitive_array_to_quotation();
621         void primitive_quotation_code();
622         void set_quot_entry_point(quotation *quot, code_block *code);
623         code_block *jit_compile_quot(cell owner_, cell quot_, bool relocating);
624         void jit_compile_quot(cell quot_, bool relocating);
625         fixnum quot_code_offset_to_scan(cell quot_, cell offset);
626         cell lazy_jit_compile(cell quot);
627         bool quot_compiled_p(quotation *quot);
628         void primitive_quot_compiled_p();
629         cell find_all_quotations();
630         void initialize_all_quotations();
631
632         // dispatch
633         cell search_lookup_alist(cell table, cell klass);
634         cell search_lookup_hash(cell table, cell klass, cell hashcode);
635         cell nth_superclass(tuple_layout *layout, fixnum echelon);
636         cell nth_hashcode(tuple_layout *layout, fixnum echelon);
637         cell lookup_tuple_method(cell obj, cell methods);
638         cell lookup_method(cell obj, cell methods);
639         void primitive_lookup_method();
640         cell object_class(cell obj);
641         cell method_cache_hashcode(cell klass, array *array);
642         void update_method_cache(cell cache, cell klass, cell method);
643         void primitive_mega_cache_miss();
644         void primitive_reset_dispatch_stats();
645         void primitive_dispatch_stats();
646
647         // inline cache
648         void init_inline_caching(int max_size);
649         void deallocate_inline_cache(cell return_address);
650         cell determine_inline_cache_type(array *cache_entries);
651         void update_pic_count(cell type);
652         code_block *compile_inline_cache(fixnum index,cell generic_word_,cell methods_,cell cache_entries_,bool tail_call_p);
653         void *megamorphic_call_stub(cell generic_word);
654         cell inline_cache_size(cell cache_entries);
655         cell add_inline_cache_entry(cell cache_entries_, cell klass_, cell method_);
656         void update_pic_transitions(cell pic_size);
657         void *inline_cache_miss(cell return_address);
658
659         // entry points
660         void c_to_factor(cell quot);
661         template<typename Func> Func get_entry_point(cell n);
662         void unwind_native_frames(cell quot, stack_frame *to);
663         cell get_fpu_state();
664         void set_fpu_state(cell state);
665
666         // factor
667         void default_parameters(vm_parameters *p);
668         bool factor_arg(const vm_char *str, const vm_char *arg, cell *value);
669         void init_parameters_from_args(vm_parameters *p, int argc, vm_char **argv);
670         void prepare_boot_image();
671         void init_factor(vm_parameters *p);
672         void pass_args_to_factor(int argc, vm_char **argv);
673         void start_factor(vm_parameters *p);
674         void stop_factor();
675         void start_embedded_factor(vm_parameters *p);
676         void start_standalone_factor(int argc, vm_char **argv);
677         char *factor_eval_string(char *string);
678         void factor_eval_free(char *result);
679         void factor_yield();
680         void factor_sleep(long us);
681
682         // os-*
683         void primitive_existsp();
684         void move_file(const vm_char *path1, const vm_char *path2);
685         void init_ffi();
686         void ffi_dlopen(dll *dll);
687         void *ffi_dlsym(dll *dll, symbol_char *symbol);
688         void *ffi_dlsym_raw(dll *dll, symbol_char *symbol);
689  #ifdef FACTOR_PPC
690         void *ffi_dlsym_toc(dll *dll, symbol_char *symbol);
691  #endif
692         void ffi_dlclose(dll *dll);
693         void c_to_factor_toplevel(cell quot);
694         void init_signals();
695
696         // os-windows
697   #if defined(WINDOWS)
698         const vm_char *vm_executable_path();
699         const vm_char *default_image_path();
700         void windows_image_path(vm_char *full_path, vm_char *temp_path, unsigned int length);
701         BOOL windows_stat(vm_char *path);
702
703   #if defined(WINNT)
704         void open_console();
705         LONG exception_handler(PEXCEPTION_RECORD e, void *frame, PCONTEXT c, void *dispatch);
706   #endif
707
708   #else  // UNIX
709         void dispatch_signal(void *uap, void (handler)());
710         void unix_init_signals();
711   #endif
712
713   #ifdef __APPLE__
714         void call_fault_handler(exception_type_t exception, exception_data_type_t code, MACH_EXC_STATE_TYPE *exc_state, MACH_THREAD_STATE_TYPE *thread_state, MACH_FLOAT_STATE_TYPE *float_state);
715   #endif
716
717         factor_vm();
718         ~factor_vm();
719 };
720
721 }