os_word collect_rest(os_thread_info* self_info, os_word arg) { collect_args* args = (collect_args*)arg; gc_heap* heap = args->heap; int max_zone = args->max_zone; os_thread_info* other_info = 0; int other_info_count; os_other_thread_info(&other_info, &other_info_count); sync_thread_contexts(heap, other_info, other_info_count, self_info); gc_trace trace; initialize_trace(heap, &trace, max_zone); trace_heap(heap, &trace, self_info, other_info, other_info_count); if(trace.did_mark_objects) { gc_compaction cpt; initialize_compaction(heap, &cpt); compact_heap(heap, &trace, &cpt); finalize_compaction(&cpt); } finalize_trace(heap, &trace); return 0; }
void initialize_util_module() { initialize_debug(); initialize_trace(); initialize_serializer(); initialize_thread(); initialize_ascii(); initialize_thread_script_state(); initialize_script_state(); initialize_name(); initialize_name_generator(); initialize_lean_path(); }
void initialize_library_module() { initialize_attribute_manager(); initialize_trace(); initialize_constants(); initialize_fingerprint(); initialize_print(); initialize_placeholder(); initialize_idx_metavar(); initialize_io_state(); initialize_unifier(); initialize_kernel_serializer(); initialize_let(); initialize_typed_expr(); initialize_choice(); initialize_string(); initialize_resolve_macro(); initialize_annotation(); initialize_explicit(); initialize_module(); initialize_protected(); initialize_private(); initialize_scoped_ext(); initialize_reducible(); initialize_aliases(); initialize_coercion(); initialize_unifier_plugin(); initialize_sorry(); initialize_class(); initialize_library_util(); initialize_pp_options(); initialize_projection(); initialize_normalize(); initialize_abbreviation(); initialize_relation_manager(); initialize_user_recursors(); initialize_composition_manager(); initialize_noncomputable(); initialize_aux_recursors(); initialize_class_instance_resolution(); initialize_type_context(); initialize_light_rule_set(); initialize_congr_lemma_manager(); initialize_app_builder(); initialize_fun_info_manager(); initialize_unification_hint(); }