gboolean mono_class_is_magic_int (MonoClass *klass) { static MonoClass *magic_nint_class; static MonoClass *magic_nuint_class; if (klass == magic_nint_class) return TRUE; if (klass == magic_nuint_class) return TRUE; if (magic_nint_class && magic_nuint_class) return FALSE; if (!mono_class_is_magic_assembly (klass)) return FALSE; if (strcmp ("System", m_class_get_name_space (klass)) != 0) return FALSE; if (strcmp ("nint", m_class_get_name (klass)) == 0) { magic_nint_class = klass; return TRUE; } if (strcmp ("nuint", m_class_get_name (klass)) == 0){ magic_nuint_class = klass; return TRUE; } return FALSE; }
static guint constant_pool_hash (ConstantPoolEntry *entry) { switch (entry->pt) { case PT_STRING: return g_str_hash (entry->data); case PT_METHOD: { MonoMethod *method = (MonoMethod *) entry->data; return g_str_hash (method->name) ^ g_str_hash (method->klass); } case PT_KLASS: return g_str_hash (m_class_get_name ((MonoClass *) entry->data)); case PT_OPTYPE: return instruction_hash ((MonoInst *) entry->data); case PT_SIGNATURE: { MonoMethodSignature *sig = (MonoMethodSignature *) entry->data; guint ret = GPOINTER_TO_UINT (sig->ret); for (int i = 0; i < sig->param_count; i++) { ret ^= GPOINTER_TO_UINT (sig->params [i]) << (i + 1); } return ret; } case PT_INPUTTYPE: // TODO: singleton. case PT_ENUMKLASS: return GPOINTER_TO_UINT (entry->data); } g_assert (FALSE); return FALSE; }
gboolean mono_class_is_magic_float (MonoClass *klass) { static MonoClass *magic_nfloat_class; if (klass == magic_nfloat_class) return TRUE; if (magic_nfloat_class) return FALSE; if (!mono_class_is_magic_assembly (klass)) return FALSE; if (strcmp ("System", m_class_get_name_space (klass)) != 0) return FALSE; if (strcmp ("nfloat", m_class_get_name (klass)) == 0) { magic_nfloat_class = klass; /* Assert that we are using the matching assembly */ MonoClassField *value_field = mono_class_get_field_from_name_full (klass, "v", NULL); g_assert (value_field); MonoType *t = mono_field_get_type (value_field); MonoType *native = mini_native_type_replace_type (m_class_get_byval_arg (klass)); if (t->type != native->type) g_error ("Assembly used for native types '%s' doesn't match this runtime, %s is mapped to %s, expecting %s.\n", m_class_get_image (klass)->name, m_class_get_name (klass), mono_type_full_name (t), mono_type_full_name (native)); return TRUE; } return FALSE; }
/* * mono_dynamic_image_register_token: * * Register the TOKEN->OBJ mapping in the mapping table in ASSEMBLY. This is required for * the Module.ResolveXXXToken () methods to work. */ void mono_dynamic_image_register_token (MonoDynamicImage *assembly, guint32 token, MonoObjectHandle obj, int how_collide) { MONO_REQ_GC_UNSAFE_MODE; g_assert (!MONO_HANDLE_IS_NULL (obj)); g_assert (strcmp (m_class_get_name (mono_handle_class (obj)), "EnumBuilder")); dynamic_image_lock (assembly); MonoObject *prev = (MonoObject *)mono_g_hash_table_lookup (assembly->tokens, GUINT_TO_POINTER (token)); if (prev) { switch (how_collide) { case MONO_DYN_IMAGE_TOK_NEW: g_warning ("%s: Unexpected previous object when called with MONO_DYN_IMAGE_TOK_NEW", __func__); break; case MONO_DYN_IMAGE_TOK_SAME_OK: if (prev != MONO_HANDLE_RAW (obj)) { g_warning ("%s: condition `prev == MONO_HANDLE_RAW (obj)' not met", __func__); } break; case MONO_DYN_IMAGE_TOK_REPLACE: break; default: g_assert_not_reached (); } } mono_g_hash_table_insert (assembly->tokens, GUINT_TO_POINTER (token), MONO_HANDLE_RAW (obj)); dynamic_image_unlock (assembly); }
static const char* get_type_name (MonoErrorInternal *error) { if (error->type_name) return error->type_name; MonoClass *klass = get_class (error); if (klass) return m_class_get_name (klass); return "<unknown type>"; }
void mono_cfg_dump_begin_group (MonoCompile *cfg) { if (cfg->gdump_ctx == NULL) return; write_byte (cfg, BEGIN_GROUP); char *title = (char *) mono_mempool_alloc0 (cfg->mempool, 0x2000); sprintf (title, "%s::%s", m_class_get_name (cfg->method->klass), cfg->method->name); write_pool (cfg, create_cp_entry (cfg, (void *) title, PT_STRING)); write_pool (cfg, create_cp_entry (cfg, (void *) cfg->method->name, PT_STRING)); write_pool (cfg, create_cp_entry (cfg, (void *) cfg->method, PT_METHOD)); write_int (cfg, 0); // TODO: real bytecode index. }
MonoInst* mono_emit_native_types_intrinsics (MonoCompile *cfg, MonoMethod *cmethod, MonoMethodSignature *fsig, MonoInst **args) { if (mono_class_is_magic_int (cmethod->klass)) { const char *class_name = m_class_get_name (cmethod->klass); if (!strcmp ("nint", class_name)) return emit_intrinsics (cfg, cmethod, fsig, args, &type_info [0]); else return emit_intrinsics (cfg, cmethod, fsig, args, &type_info [1]); } else if (mono_class_is_magic_float (cmethod->klass)) return emit_intrinsics (cfg, cmethod, fsig, args, &type_info [2]); return NULL; }
void mono_error_set_field_missing (MonoError *error, MonoClass *klass, const char *field_name, MonoType *sig, const char *reason, ...) { char *result; GString *res; res = g_string_new ("Field not found: "); if (sig) { mono_type_get_desc (res, sig, TRUE); g_string_append_c (res, ' '); } if (klass) { if (m_class_get_name_space (klass)) { g_string_append (res, m_class_get_name_space (klass)); g_string_append_c (res, '.'); } g_string_append (res, m_class_get_name (klass)); } else { g_string_append (res, "<unknown type>"); } g_string_append_c (res, '.'); if (field_name) g_string_append (res, field_name); else g_string_append (res, "<unknown field>"); if (reason && *reason) { va_list args; va_start (args, reason); g_string_append (res, " Due to: "); g_string_append_vprintf (res, reason, args); va_end (args); } result = res->str; g_string_free (res, FALSE); mono_error_set_specific (error, MONO_ERROR_MISSING_FIELD, result); }
void mono_cfg_dump_create_context (MonoCompile *cfg) { cfg->gdump_ctx = NULL; if (!cfg_dump_method_inited) { cfg_dump_method_name = g_getenv ("MONO_JIT_DUMP_METHOD"); cfg_dump_method_inited = TRUE; } if (!cfg_dump_method_name) return; const char *name = cfg_dump_method_name; if ((strchr (name, '.') > name) || strchr (name, ':')) { MonoMethodDesc *desc = mono_method_desc_new (name, TRUE); gboolean failed = !mono_method_desc_full_match (desc, cfg->method); mono_method_desc_free (desc); if (failed) return; } else if (strcmp (cfg->method->name, name) != 0) return; g_debug ("cfg_dump: create context for \"%s::%s\"", m_class_get_name (cfg->method->klass), cfg->method->name); int fd = create_socket (DEFAULT_HOST, DEFAULT_PORT); if (fd < 0) { g_warning ("cfg_dump: couldn't create socket: %s::%d", DEFAULT_HOST, DEFAULT_PORT); return; } MonoGraphDumper *ctx = (MonoGraphDumper *) mono_mempool_alloc0 (cfg->mempool, sizeof (MonoGraphDumper)); ctx->fd = fd; ctx->constant_pool = g_hash_table_new ((GHashFunc) constant_pool_hash, constant_pool_equal); ctx->insn2id = g_hash_table_new ((GHashFunc) instruction_hash, instruction_equal); ctx->next_cp_id = 1; ctx->next_insn_id = 0; cfg->gdump_ctx = ctx; }
/* * Sets @error to a method missing error. */ void mono_error_set_method_missing (MonoError *error, MonoClass *klass, const char *method_name, MonoMethodSignature *sig, const char *reason, ...) { int i; char *result; GString *res; res = g_string_new ("Method not found: "); if (sig) { mono_type_get_desc (res, sig->ret, TRUE); g_string_append_c (res, ' '); } if (klass) { if (m_class_get_name_space (klass)) { g_string_append (res, m_class_get_name_space (klass)); g_string_append_c (res, '.'); } g_string_append (res, m_class_get_name (klass)); } else { g_string_append (res, "<unknown type>"); } g_string_append_c (res, '.'); if (method_name) g_string_append (res, method_name); else g_string_append (res, "<unknown method>"); if (sig) { if (sig->generic_param_count) { g_string_append_c (res, '<'); for (i = 0; i < sig->generic_param_count; ++i) { if (i > 0) g_string_append (res, ","); g_string_append_printf (res, "!%d", i); } g_string_append_c (res, '>'); } g_string_append_c (res, '('); for (i = 0; i < sig->param_count; ++i) { if (i > 0) g_string_append_c (res, ','); mono_type_get_desc (res, sig->params [i], TRUE); } g_string_append_c (res, ')'); } if (reason && *reason) { va_list args; va_start (args, reason); g_string_append (res, " Due to: "); g_string_append_vprintf (res, reason, args); va_end (args); } result = res->str; g_string_free (res, FALSE); mono_error_set_specific (error, MONO_ERROR_MISSING_METHOD, result); }
static void add_pool_entry (MonoCompile *cfg, ConstantPoolEntry *entry) { int *cp_id= (int *) mono_mempool_alloc0 (cfg->mempool, sizeof (int)); *cp_id = cfg->gdump_ctx->next_cp_id; g_hash_table_insert (cfg->gdump_ctx->constant_pool, entry, cp_id); write_byte (cfg, POOL_NEW); write_short (cfg, cfg->gdump_ctx->next_cp_id++); switch (entry->pt) { case PT_STRING: write_byte (cfg, POOL_STRING); write_string (cfg, (char *) entry->data); break; case PT_METHOD: { MonoMethod *method = (MonoMethod *) entry->data; write_byte (cfg, POOL_METHOD); write_pool (cfg, create_cp_entry (cfg, (void *) method->klass, PT_KLASS)); write_pool (cfg, create_cp_entry (cfg, (void *) method->name, PT_STRING)); write_pool (cfg, create_cp_entry (cfg, (void *) method->signature, PT_SIGNATURE)); write_int (cfg, (int) method->flags); write_int (cfg, -1); // don't transmit bytecode. break; } case PT_KLASS: { MonoClass *klass = (MonoClass *) entry->data; write_byte (cfg, POOL_KLASS); write_string (cfg, m_class_get_name (klass)); write_byte (cfg, KLASS); break; } case PT_SIGNATURE: { write_byte (cfg, POOL_SIGNATURE); MonoMethodSignature *sig = (MonoMethodSignature *) entry->data; write_short (cfg, sig->param_count); for (int i = 0; i < sig->param_count; i++) { GString *sbuf = g_string_new (NULL); mono_type_get_desc (sbuf, sig->params [i], TRUE); write_pool (cfg, create_cp_entry (cfg, (void *) sbuf->str, PT_STRING)); g_string_free (sbuf, TRUE); } GString *sbuf = g_string_new (NULL); mono_type_get_desc (sbuf, sig->ret, TRUE); write_pool (cfg, create_cp_entry (cfg, (void *) sbuf->str, PT_STRING)); g_string_free (sbuf, TRUE); break; } case PT_OPTYPE: { MonoInst *insn = (MonoInst *) entry->data; write_byte (cfg, POOL_NODE_CLASS); write_string (cfg, mono_inst_name (insn->opcode)); GString *insndesc = mono_print_ins_index_strbuf (-1, insn); int len = strnlen (insndesc->str, 0x2000); #define CUTOFF 40 if (len > CUTOFF) { insndesc->str[CUTOFF] = '\0'; insndesc->str[CUTOFF - 1] = '.'; insndesc->str[CUTOFF - 2] = '.'; } write_string (cfg, insndesc->str); if (len > CUTOFF) insndesc->str[CUTOFF] = ' '; g_string_free (insndesc, TRUE); // one predecessor write_short (cfg, 1); write_byte (cfg, 0); write_pool (cfg, create_cp_entry (cfg, (void *) "predecessor", PT_STRING)); write_pool (cfg, create_cp_entry (cfg, (void *) NULL, PT_INPUTTYPE)); // make NUM_SUCCESSOR successor edges, not everyone will be used. #define NUM_SUCCESSOR 5 write_short (cfg, NUM_SUCCESSOR); for (int i = 0; i < NUM_SUCCESSOR; i++) { char *str = g_strdup ("successor1"); str[9] = '0' + i; write_byte (cfg, 0); write_pool (cfg, create_cp_entry (cfg, (void *) str, PT_STRING)); } break; } case PT_INPUTTYPE: { write_byte (cfg, POOL_ENUM); write_pool (cfg, create_cp_entry (cfg, (void *) NULL, PT_ENUMKLASS)); write_int (cfg, 0); break; } case PT_ENUMKLASS: { write_byte (cfg, POOL_KLASS); write_string (cfg, "InputType"); write_byte (cfg, ENUM_KLASS); write_int (cfg, 1); write_pool (cfg, create_cp_entry (cfg, (void *) "fixed", PT_STRING)); break; } } }
static int verify_image_file (const char *fname) { ERROR_DECL (error); MonoImage *image; MonoTableInfo *table; MonoAssembly *assembly; MonoImageOpenStatus status; int i, count = 0; if (!strstr (fname, "mscorlib.dll")) { image = mono_image_open_raw (fname, &status); if (!image) { printf ("Could not open %s\n", fname); return 1; } if (!mono_verifier_verify_pe_data (image, error)) goto invalid_image; if (!mono_image_load_pe_data (image)) { printf ("Could not load pe data for assembly %s\n", fname); return 1; } if (!mono_verifier_verify_cli_data (image, error)) goto invalid_image; if (!mono_image_load_cli_data (image)) { printf ("Could not load cli data for assembly %s\n", fname); return 1; } if (!mono_verifier_verify_table_data (image, error)) goto invalid_image; mono_image_load_names (image); /*fake an assembly for class loading to work*/ assembly = g_new0 (MonoAssembly, 1); assembly->in_gac = FALSE; assembly->image = image; image->assembly = assembly; mono_assembly_fill_assembly_name (image, &assembly->aname); /*Finish initializing the runtime*/ mono_install_assembly_load_hook (pedump_assembly_load_hook, NULL); mono_install_assembly_search_hook (pedump_assembly_search_hook, NULL); mono_init_version ("pedump", image->version); mono_install_assembly_preload_hook (pedump_preload, GUINT_TO_POINTER (FALSE)); mono_icall_init (); mono_marshal_init (); } else { /*Finish initializing the runtime*/ mono_install_assembly_load_hook (pedump_assembly_load_hook, NULL); mono_install_assembly_search_hook (pedump_assembly_search_hook, NULL); mono_init_version ("pedump", NULL); mono_install_assembly_preload_hook (pedump_preload, GUINT_TO_POINTER (FALSE)); mono_icall_init (); mono_marshal_init (); image = mono_get_corlib (); if (!mono_verifier_verify_pe_data (image, error)) goto invalid_image; if (!mono_image_load_pe_data (image)) { printf ("Could not load pe data for assembly %s\n", fname); return 1; } if (!mono_verifier_verify_cli_data (image, error)) goto invalid_image; if (!mono_image_load_cli_data (image)) { printf ("Could not load cli data for assembly %s\n", fname); return 1; } if (!mono_verifier_verify_table_data (image, error)) goto invalid_image; } if (!verify_partial_md && !mono_verifier_verify_full_table_data (image, error)) goto invalid_image; table = &image->tables [MONO_TABLE_TYPEDEF]; for (i = 1; i <= table->rows; ++i) { ERROR_DECL (error); guint32 token = i | MONO_TOKEN_TYPE_DEF; MonoClass *klass = mono_class_get_checked (image, token, error); if (!klass) { printf ("Could not load class with token %x due to %s\n", token, mono_error_get_message (error)); mono_error_cleanup (error); continue; } mono_class_init_internal (klass); if (mono_class_has_failure (klass)) { ERROR_DECL (type_load_error); mono_error_set_for_class_failure (type_load_error, klass); printf ("Could not initialize class(0x%08x) %s.%s due to %s\n", token, m_class_get_name_space (klass), m_class_get_name (klass), mono_error_get_message (type_load_error)); mono_error_cleanup (type_load_error); ++count; } mono_class_setup_vtable (klass); if (mono_class_has_failure (klass)) { ERROR_DECL (type_load_error); mono_error_set_for_class_failure (type_load_error, klass); printf ("Could not initialize vtable of class(0x%08x) %s.%s due to %s\n", token, m_class_get_name_space (klass), m_class_get_name (klass), mono_error_get_message (type_load_error)); mono_error_cleanup (type_load_error); ++count; } } if (count) return 5; return 0; invalid_image: if (!is_ok (error)) { g_print ("FAIL: %s\n", mono_error_get_message (error)); mono_error_cleanup (error); ++count; } if (count) g_print ("Error count: %d\n", count); return 1; }
/* * actually, we might want to queue the finalize requests in a separate thread, * but we need to be careful about the execution domain of the thread... */ void mono_gc_run_finalize (void *obj, void *data) { ERROR_DECL (error); MonoObject *exc = NULL; MonoObject *o; #ifndef HAVE_SGEN_GC MonoObject *o2; #endif MonoMethod* finalizer = NULL; MonoDomain *caller_domain = mono_domain_get (); MonoDomain *domain; // This function is called from the innards of the GC, so our best alternative for now is to do polling here mono_threads_safepoint (); o = (MonoObject*)((char*)obj + GPOINTER_TO_UINT (data)); const char *o_ns = m_class_get_name_space (mono_object_class (o)); const char *o_name = m_class_get_name (mono_object_class (o)); if (mono_do_not_finalize) { if (!mono_do_not_finalize_class_names) return; size_t namespace_len = strlen (o_ns); for (int i = 0; mono_do_not_finalize_class_names [i]; ++i) { const char *name = mono_do_not_finalize_class_names [i]; if (strncmp (name, o_ns, namespace_len)) break; if (name [namespace_len] != '.') break; if (strcmp (name + namespace_len + 1, o_name)) break; return; } } if (mono_log_finalizers) g_log ("mono-gc-finalizers", G_LOG_LEVEL_DEBUG, "<%s at %p> Starting finalizer checks.", o_name, o); if (suspend_finalizers) return; domain = o->vtable->domain; #ifndef HAVE_SGEN_GC mono_domain_finalizers_lock (domain); o2 = (MonoObject *)g_hash_table_lookup (domain->finalizable_objects_hash, o); mono_domain_finalizers_unlock (domain); if (!o2) /* Already finalized somehow */ return; #endif /* make sure the finalizer is not called again if the object is resurrected */ object_register_finalizer ((MonoObject *)obj, NULL); if (mono_log_finalizers) g_log ("mono-gc-finalizers", G_LOG_LEVEL_MESSAGE, "<%s at %p> Registered finalizer as processed.", o_name, o); if (o->vtable->klass == mono_defaults.internal_thread_class) { MonoInternalThread *t = (MonoInternalThread*)o; if (mono_gc_is_finalizer_internal_thread (t)) /* Avoid finalizing ourselves */ return; } if (m_class_get_image (mono_object_class (o)) == mono_defaults.corlib && !strcmp (o_name, "DynamicMethod") && finalizing_root_domain) { /* * These can't be finalized during unloading/shutdown, since that would * free the native code which can still be referenced by other * finalizers. * FIXME: This is not perfect, objects dying at the same time as * dynamic methods can still reference them even when !shutdown. */ return; } if (mono_runtime_get_no_exec ()) return; /* speedup later... and use a timeout */ /* g_print ("Finalize run on %p %s.%s\n", o, mono_object_class (o)->name_space, mono_object_class (o)->name); */ /* Use _internal here, since this thread can enter a doomed appdomain */ mono_domain_set_internal (mono_object_domain (o)); /* delegates that have a native function pointer allocated are * registered for finalization, but they don't have a Finalize * method, because in most cases it's not needed and it's just a waste. */ if (m_class_is_delegate (mono_object_class (o))) { MonoDelegate* del = (MonoDelegate*)o; if (del->delegate_trampoline) mono_delegate_free_ftnptr ((MonoDelegate*)o); mono_domain_set_internal (caller_domain); return; } finalizer = mono_class_get_finalizer (o->vtable->klass); /* If object has a CCW but has no finalizer, it was only * registered for finalization in order to free the CCW. * Else it needs the regular finalizer run. * FIXME: what to do about ressurection and suppression * of finalizer on object with CCW. */ if (mono_marshal_free_ccw (o) && !finalizer) { mono_domain_set_internal (caller_domain); return; } /* * To avoid the locking plus the other overhead of mono_runtime_invoke_checked (), * create and precompile a wrapper which calls the finalize method using * a CALLVIRT. */ if (mono_log_finalizers) g_log ("mono-gc-finalizers", G_LOG_LEVEL_MESSAGE, "<%s at %p> Compiling finalizer.", o_name, o); #ifndef HOST_WASM if (!domain->finalize_runtime_invoke) { MonoMethod *finalize_method = mono_class_get_method_from_name_checked (mono_defaults.object_class, "Finalize", 0, 0, error); mono_error_assert_ok (error); MonoMethod *invoke = mono_marshal_get_runtime_invoke (finalize_method, TRUE); domain->finalize_runtime_invoke = mono_compile_method_checked (invoke, error); mono_error_assert_ok (error); /* expect this not to fail */ } RuntimeInvokeFunction runtime_invoke = (RuntimeInvokeFunction)domain->finalize_runtime_invoke; #endif mono_runtime_class_init_full (o->vtable, error); goto_if_nok (error, unhandled_error); if (G_UNLIKELY (MONO_GC_FINALIZE_INVOKE_ENABLED ())) { MONO_GC_FINALIZE_INVOKE ((unsigned long)o, mono_object_get_size_internal (o), o_ns, o_name); } if (mono_log_finalizers) g_log ("mono-gc-finalizers", G_LOG_LEVEL_MESSAGE, "<%s at %p> Calling finalizer.", o_name, o); MONO_PROFILER_RAISE (gc_finalizing_object, (o)); #ifdef HOST_WASM if (finalizer) { // null finalizers work fine when using the vcall invoke as Object has an empty one gpointer params [1]; params [0] = NULL; mono_runtime_try_invoke (finalizer, o, params, &exc, error); } #else runtime_invoke (o, NULL, &exc, NULL); #endif MONO_PROFILER_RAISE (gc_finalized_object, (o)); if (mono_log_finalizers) g_log ("mono-gc-finalizers", G_LOG_LEVEL_MESSAGE, "<%s at %p> Returned from finalizer.", o_name, o); unhandled_error: if (!is_ok (error)) exc = (MonoObject*)mono_error_convert_to_exception (error); if (exc) mono_thread_internal_unhandled_exception (exc); mono_domain_set_internal (caller_domain); }
static void mono_native_state_add_managed_exc (MonoStateWriter *writer, MonoExcSummary *exc) { mono_state_writer_indent (writer); mono_state_writer_printf(writer, "{\n"); writer->indent++; assert_has_space (writer); mono_state_writer_indent (writer); mono_state_writer_object_key (writer, "type"); mono_state_writer_printf(writer, "\"%s.%s\",\n", m_class_get_name_space (exc->managed_exc_type), m_class_get_name (exc->managed_exc_type)); mono_native_state_add_frames (writer, exc->num_managed_frames, exc->managed_frames, "managed_frames"); mono_state_writer_indent (writer); writer->indent--; mono_state_writer_printf(writer, "}\n"); }