/* * object.c: Object creation for the Mono runtime * * Author: * Miguel de Icaza (miguel@ximian.com) * * (C) 2001 Ximian, Inc. */ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include "mono/metadata/debug-helpers.h" #include "mono/metadata/marshal.h" #if HAVE_BOEHM_GC #include #endif void mono_runtime_object_init (MonoObject *this) { int i; MonoMethod *method = NULL; MonoClass *klass = this->vtable->klass; for (i = 0; i < klass->method.count; ++i) { if (!strcmp (".ctor", klass->methods [i]->name) && klass->methods [i]->signature->param_count == 0) { method = klass->methods [i]; break; } } g_assert (method); mono_runtime_invoke (method, this, NULL, NULL); } /* * runtime_class_init: * @klass: klass that needs to be initialized * * This routine calls the class constructor for @class. */ void mono_runtime_class_init (MonoClass *klass) { int i; for (i = 0; i < klass->method.count; ++i) { MonoMethod *method = klass->methods [i]; if ((method->flags & METHOD_ATTRIBUTE_SPECIAL_NAME) && (strcmp (".cctor", method->name) == 0)) { mono_runtime_invoke (method, NULL, NULL, NULL); return; } } /* No class constructor found */ } static gpointer default_trampoline (MonoMethod *method) { return method; } static gpointer default_remoting_trampoline (MonoMethod *method) { g_error ("remoting not installed"); return NULL; } static MonoTrampoline arch_create_jit_trampoline = default_trampoline; static MonoTrampoline arch_create_remoting_trampoline = default_remoting_trampoline; void mono_install_trampoline (MonoTrampoline func) { arch_create_jit_trampoline = func? func: default_trampoline; } void mono_install_remoting_trampoline (MonoTrampoline func) { arch_create_remoting_trampoline = func? func: default_remoting_trampoline; } static MonoCompileFunc default_mono_compile_method = NULL; void mono_install_compile_method (MonoCompileFunc func) { default_mono_compile_method = func; } gpointer mono_compile_method (MonoMethod *method) { if (!default_mono_compile_method) { g_error ("compile method called on uninitialized runtime"); return NULL; } return default_mono_compile_method (method); } #if 0 && HAVE_BOEHM_GC static void vtable_finalizer (void *obj, void *data) { g_print ("%s finalized (%p)\n", (char*)data, obj); } #endif /** * mono_class_vtable: * @domain: the application domain * @class: the class to initialize * * VTables are domain specific because we create domain specific code, and * they contain the domain specific static class data. */ MonoVTable * mono_class_vtable (MonoDomain *domain, MonoClass *class) { MonoClass *k; MonoVTable *vt; MonoClassField *field; guint32 cindex; guint32 cols [MONO_CONSTANT_SIZE]; const char *p; char *t; int i, len; g_assert (class); vt = class->cached_vtable; if (vt && vt->domain == domain) return vt; /* can interfaces have static fields? */ if (class->flags & TYPE_ATTRIBUTE_INTERFACE) g_assert_not_reached (); mono_domain_lock (domain); if ((vt = mono_g_hash_table_lookup (domain->class_vtable_hash, class))) { mono_domain_unlock (domain); return vt; } if (!class->inited) mono_class_init (class); mono_stats.used_class_count++; mono_stats.class_vtable_size += sizeof (MonoVTable) + class->vtable_size * sizeof (gpointer); vt = mono_mempool_alloc0 (domain->mp, sizeof (MonoVTable) + class->vtable_size * sizeof (gpointer)); vt->klass = class; vt->domain = domain; if (class->class_size) { #if HAVE_BOEHM_GC vt->data = GC_malloc (class->class_size + 8); /*vt->data = GC_debug_malloc (class->class_size + 8, class->name, 2);*/ /*GC_register_finalizer (vt->data, vtable_finalizer, class->name, NULL, NULL);*/ mono_g_hash_table_insert (domain->static_data_hash, class, vt->data); #else vt->data = mono_mempool_alloc0 (domain->mp, class->class_size + 8); #endif mono_stats.class_static_data_size += class->class_size + 8; } for (i = class->field.first; i < class->field.last; ++i) { field = &class->fields [i - class->field.first]; if (!(field->type->attrs & FIELD_ATTRIBUTE_STATIC)) continue; if ((field->type->attrs & FIELD_ATTRIBUTE_HAS_FIELD_RVA)) { MonoClass *fklass = mono_class_from_mono_type (field->type); t = (char*)vt->data + field->offset; g_assert (fklass->valuetype); memcpy (t, field->data, mono_class_value_size (fklass, NULL)); continue; } if (!(field->type->attrs & FIELD_ATTRIBUTE_HAS_DEFAULT)) continue; cindex = mono_metadata_get_constant_index (class->image, MONO_TOKEN_FIELD_DEF | (i + 1)); if (!cindex) { g_warning ("constant for field %s not found", field->name); continue; } mono_metadata_decode_row (&class->image->tables [MONO_TABLE_CONSTANT], cindex - 1, cols, MONO_CONSTANT_SIZE); p = mono_metadata_blob_heap (class->image, cols [MONO_CONSTANT_VALUE]); len = mono_metadata_decode_blob_size (p, &p); t = (char*)vt->data + field->offset; /* should we check that the type matches? */ switch (cols [MONO_CONSTANT_TYPE]) { case MONO_TYPE_BOOLEAN: case MONO_TYPE_U1: case MONO_TYPE_I1: *t = *p; break; case MONO_TYPE_CHAR: case MONO_TYPE_U2: case MONO_TYPE_I2: { guint16 *val = (guint16*)t; *val = read16 (p); break; } case MONO_TYPE_U4: case MONO_TYPE_I4: { guint32 *val = (guint32*)t; *val = read32 (p); break; } case MONO_TYPE_U8: case MONO_TYPE_I8: { guint64 *val = (guint64*)t; *val = read64 (p); break; } case MONO_TYPE_R4: { float *val = (float*)t; readr4 (p, val); break; } case MONO_TYPE_R8: { double *val = (double*)t; readr8 (p, val); break; } case MONO_TYPE_STRING: { gpointer *val = (gpointer*)t; #if G_BYTE_ORDER != G_LITTLE_ENDIAN gunichar2 *copy = g_malloc (len); int j; for (j = 0; j < len/2; j++) { copy [j] = read16 (p); p += 2; } *val = mono_string_new_utf16 (domain, copy, len/2); g_free (copy); #else *val = mono_string_new_utf16 (domain, (const guint16*)p, len/2); #endif break; } case MONO_TYPE_CLASS: /* nothing to do, we malloc0 the data and the value can be 0 only */ break; default: g_warning ("type 0x%02x should not be in constant table", cols [MONO_CONSTANT_TYPE]); } } vt->max_interface_id = class->max_interface_id; vt->interface_offsets = mono_mempool_alloc0 (domain->mp, sizeof (gpointer) * (class->max_interface_id + 1)); /* initialize interface offsets */ for (k = class; k ; k = k->parent) { for (i = 0; i < k->interface_count; i++) { int slot; MonoClass *ic = k->interfaces [i]; slot = class->interface_offsets [ic->interface_id]; vt->interface_offsets [ic->interface_id] = &vt->vtable [slot]; } } /* initialize vtable */ for (i = 0; i < class->vtable_size; ++i) { MonoMethod *cm; if ((cm = class->vtable [i])) vt->vtable [i] = arch_create_jit_trampoline (cm); } mono_g_hash_table_insert (domain->class_vtable_hash, class, vt); if (!class->cached_vtable) class->cached_vtable = vt; mono_domain_unlock (domain); /* make sure the the parent is initialized */ if (class->parent) mono_class_vtable (domain, class->parent); mono_runtime_class_init (class); return vt; } /** * mono_class_proxy_vtable: * @domain: the application domain * @class: the class to proxy * * Creates a vtable for transparent proxies. It is basically * a copy of the real vtable of @class, but all function pointers invoke * the remoting functions, and vtable->klass points to the * transparent proxy class, and not to @class. */ MonoVTable * mono_class_proxy_vtable (MonoDomain *domain, MonoClass *class) { MonoVTable *vt, *pvt; int i, vtsize; if ((pvt = mono_g_hash_table_lookup (domain->proxy_vtable_hash, class))) return pvt; vt = mono_class_vtable (domain, class); vtsize = sizeof (MonoVTable) + class->vtable_size * sizeof (gpointer); mono_stats.class_vtable_size += vtsize; pvt = mono_mempool_alloc (domain->mp, vtsize); memcpy (pvt, vt, vtsize); pvt->klass = mono_defaults.transparent_proxy_class; /* initialize vtable */ for (i = 0; i < class->vtable_size; ++i) { MonoMethod *cm; if ((cm = class->vtable [i])) pvt->vtable [i] = arch_create_remoting_trampoline (cm); } mono_g_hash_table_insert (domain->proxy_vtable_hash, class, pvt); return pvt; } static MonoInvokeFunc default_mono_runtime_invoke = NULL; MonoObject* mono_runtime_invoke (MonoMethod *method, void *obj, void **params, MonoObject **exc) { if (!default_mono_runtime_invoke) { g_error ("runtime invoke called on uninitialized runtime"); return NULL; } return default_mono_runtime_invoke (method, obj, params, exc); } static void set_value (MonoType *type, void *dest, void *value, int deref_pointer) { int t; if (type->byref) { gpointer *p = (gpointer*)dest; *p = value; return; } t = type->type; handle_enum: switch (t) { case MONO_TYPE_BOOLEAN: case MONO_TYPE_I1: case MONO_TYPE_U1: { guint8 *p = (guint8*)dest; *p = *(guint8*)value; return; } case MONO_TYPE_I2: case MONO_TYPE_U2: case MONO_TYPE_CHAR: { guint16 *p = (guint16*)dest; *p = *(guint16*)value; return; } #if SIZEOF_VOID_P == 4 case MONO_TYPE_I: case MONO_TYPE_U: #endif case MONO_TYPE_I4: case MONO_TYPE_U4: { gint32 *p = (gint32*)dest; *p = *(gint32*)value; return; } #if SIZEOF_VOID_P == 8 case MONO_TYPE_I: case MONO_TYPE_U: #endif case MONO_TYPE_I8: case MONO_TYPE_U8: { gint64 *p = (gint64*)dest; *p = *(gint64*)value; return; } case MONO_TYPE_R4: { float *p = (float*)dest; *p = *(float*)value; return; } case MONO_TYPE_R8: { double *p = (double*)dest; *p = *(double*)value; return; } case MONO_TYPE_STRING: case MONO_TYPE_SZARRAY: case MONO_TYPE_CLASS: case MONO_TYPE_OBJECT: case MONO_TYPE_ARRAY: case MONO_TYPE_PTR: { gpointer *p = (gpointer*)dest; *p = deref_pointer? *(gpointer*)value: value; return; } case MONO_TYPE_VALUETYPE: if (type->data.klass->enumtype) { t = type->data.klass->enum_basetype->type; goto handle_enum; } else { int size; size = mono_class_value_size (type->data.klass, NULL); memcpy (dest, value, size); } return; default: g_warning ("got type %x", type->type); g_assert_not_reached (); } } void mono_field_set_value (MonoObject *obj, MonoClassField *field, void *value) { void *dest; g_return_if_fail (!(field->type->attrs & FIELD_ATTRIBUTE_STATIC)); dest = (char*)obj + field->offset; set_value (field->type, dest, value, FALSE); } void mono_field_static_set_value (MonoVTable *vt, MonoClassField *field, void *value) { void *dest; g_return_if_fail (field->type->attrs & FIELD_ATTRIBUTE_STATIC); dest = (char*)vt->data + field->offset; set_value (field->type, dest, value, FALSE); } void mono_field_get_value (MonoObject *obj, MonoClassField *field, void *value) { void *src; g_return_if_fail (!(field->type->attrs & FIELD_ATTRIBUTE_STATIC)); src = (char*)obj + field->offset; set_value (field->type, value, src, TRUE); } void mono_field_static_get_value (MonoVTable *vt, MonoClassField *field, void *value) { void *src; g_return_if_fail (field->type->attrs & FIELD_ATTRIBUTE_STATIC); src = (char*)vt->data + field->offset; set_value (field->type, value, src, TRUE); } void mono_property_set_value (MonoProperty *prop, void *obj, void **params, MonoObject **exc) { default_mono_runtime_invoke (prop->set, obj, params, exc); } MonoObject* mono_property_get_value (MonoProperty *prop, void *obj, void **params, MonoObject **exc) { return default_mono_runtime_invoke (prop->get, obj, params, exc); } MonoMethod * mono_get_delegate_invoke (MonoClass *klass) { MonoMethod *im; int i; im = NULL; for (i = 0; i < klass->method.count; ++i) { if (klass->methods [i]->name[0] == 'I' && !strcmp ("Invoke", klass->methods [i]->name)) { im = klass->methods [i]; } } g_assert (im); return im; } MonoObject* mono_runtime_delegate_invoke (MonoObject *delegate, void **params, MonoObject **exc) { MonoMethod *im; im = mono_get_delegate_invoke (delegate->vtable->klass); g_assert (im); return mono_runtime_invoke (im, delegate, params, exc); } static MonoArray* main_args; MonoArray* mono_runtime_get_main_args (void) { return main_args; } MonoMethod *mono_start_method = NULL; /* * Execute a standard Main() method (argc/argv contains the * executable name). This method also sets the command line argument value * needed by System.Environment. */ int mono_runtime_run_main (MonoMethod *method, int argc, char* argv[], MonoObject **exc) { int i; MonoArray *args = NULL; MonoDomain *domain = mono_domain_get (); main_args = (MonoArray*)mono_array_new (domain, mono_defaults.string_class, argc); for (i = 0; i < argc; ++i) { MonoString *arg = mono_string_new (domain, argv [i]); mono_array_set (main_args, gpointer, i, arg); } argc--; argv++; if (method->signature->param_count) { args = (MonoArray*)mono_array_new (domain, mono_defaults.string_class, argc); for (i = 0; i < argc; ++i) { MonoString *arg = mono_string_new (domain, argv [i]); mono_array_set (args, gpointer, i, arg); } } else { args = (MonoArray*)mono_array_new (domain, mono_defaults.string_class, 0); } mono_assembly_set_main (method->klass->image->assembly); mono_start_method = mono_marshal_get_runtime_invoke (method); return mono_runtime_exec_main (method, args, exc); } /* * We call this function when we dectect an unhandled exception. It invokes the * UnhandledException event in AppDomain or print a warning to the console */ void mono_unhandled_exception (MonoObject *exc) { MonoDomain *domain = mono_domain_get (); MonoClassField *field; MonoObject *delegate; field=mono_class_get_field_from_name(mono_defaults.appdomain_class, "UnhandledException"); g_assert (field); if (exc->vtable->klass != mono_defaults.threadabortexception_class) { delegate = *(MonoObject **)(((char *)domain->domain) + field->offset); if (!delegate) { mono_print_unhandled_exception (exc); } else { MonoObject *e = NULL; gpointer pa [2]; /* fixme: pass useful arguments */ pa [0] = NULL; pa [1] = NULL; mono_runtime_delegate_invoke (delegate, pa, &e); if (e) g_warning ("exception inside UnhandledException handler!"); } } } /* * Execute a standard Main() method (args doesn't contain the * executable name). */ int mono_runtime_exec_main (MonoMethod *method, MonoArray *args, MonoObject **exc) { MonoDomain *domain; gpointer pa [1]; int rval; g_assert (args); pa [0] = args; domain = mono_object_domain (args); g_assert (!domain->entry_assembly); domain->entry_assembly = method->klass->image->assembly; /* FIXME: check signature of method */ if (method->signature->ret->type == MONO_TYPE_I4) { MonoObject *res; res = mono_runtime_invoke (method, NULL, pa, exc); if (!exc || !*exc) rval = *(guint32 *)((char *)res + sizeof (MonoObject)); else rval = -1; } else { mono_runtime_invoke (method, NULL, pa, exc); if (!exc || !*exc) rval = 0; else rval = -1; } return rval; } void mono_install_runtime_invoke (MonoInvokeFunc func) { default_mono_runtime_invoke = func; } MonoObject* mono_runtime_invoke_array (MonoMethod *method, void *obj, MonoArray *params, MonoObject **exc) { MonoMethodSignature *sig = method->signature; gpointer *pa = NULL; int i; if (NULL != params) { pa = alloca (sizeof (gpointer) * mono_array_length (params)); for (i = 0; i < mono_array_length (params); i++) { if (sig->params [i]->byref) { /* nothing to do */ } switch (sig->params [i]->type) { case MONO_TYPE_U1: case MONO_TYPE_I1: case MONO_TYPE_BOOLEAN: case MONO_TYPE_U2: case MONO_TYPE_I2: case MONO_TYPE_CHAR: case MONO_TYPE_U: case MONO_TYPE_I: case MONO_TYPE_U4: case MONO_TYPE_I4: case MONO_TYPE_U8: case MONO_TYPE_I8: case MONO_TYPE_VALUETYPE: pa [i] = (char *)(((gpointer *)params->vector)[i]) + sizeof (MonoObject); break; case MONO_TYPE_STRING: case MONO_TYPE_OBJECT: case MONO_TYPE_CLASS: case MONO_TYPE_ARRAY: case MONO_TYPE_SZARRAY: pa [i] = (char *)(((gpointer *)params->vector)[i]); break; default: g_error ("type 0x%x not handled in ves_icall_InternalInvoke", sig->params [i]->type); } } } if (!strcmp (method->name, ".ctor") && method->klass != mono_defaults.string_class) { obj = mono_object_new (mono_domain_get (), method->klass); mono_runtime_invoke (method, obj, pa, exc); return obj; } else return mono_runtime_invoke (method, obj, pa, exc); } /** * mono_object_allocate: * @size: number of bytes to allocate * * This is a very simplistic routine until we have our GC-aware * memory allocator. * * Returns: an allocated object of size @size, or NULL on failure. */ void * mono_object_allocate (size_t size) { #if HAVE_BOEHM_GC /* if this is changed to GC_debug_malloc(), we need to change also metadata/gc.c */ void *o = GC_malloc (size); #else void *o = calloc (1, size); #endif return o; } /** * mono_object_free: * * Frees the memory used by the object. Debugging purposes * only, as we will have our GC system. */ void mono_object_free (MonoObject *o) { #if HAVE_BOEHM_GC g_error ("mono_object_free called with boehm gc."); #else MonoClass *c = o->vtable->klass; memset (o, 0, c->instance_size); free (o); #endif } /** * mono_object_new: * @klass: the class of the object that we want to create * * Returns: A newly created object whose definition is * looked up using @klass */ MonoObject * mono_object_new (MonoDomain *domain, MonoClass *klass) { return mono_object_new_specific (mono_class_vtable (domain, klass)); } /** * mono_object_new_specific: * @vtable: the vtable of the object that we want to create * * Returns: A newly created object with class and domain specified * by @vtable */ MonoObject * mono_object_new_specific (MonoVTable *vtable) { MonoObject *o; mono_stats.new_object_count++; o = mono_object_allocate (vtable->klass->instance_size); o->vtable = vtable; if (vtable->klass->has_finalize) mono_object_register_finalizer (o); return o; } /** * mono_object_new_from_token: * @image: Context where the type_token is hosted * @token: a token of the type that we want to create * * Returns: A newly created object whose definition is * looked up using @token in the @image image */ MonoObject * mono_object_new_from_token (MonoDomain *domain, MonoImage *image, guint32 token) { MonoClass *class; class = mono_class_get (image, token); return mono_object_new (domain, class); } /** * mono_object_clone: * @obj: the object to clone * * Returns: A newly created object who is a shallow copy of @obj */ MonoObject * mono_object_clone (MonoObject *obj) { MonoObject *o; int size; size = obj->vtable->klass->instance_size; o = mono_object_allocate (size); memcpy (o, obj, size); if (obj->vtable->klass->has_finalize) mono_object_register_finalizer (o); return o; } /** * mono_array_clone: * @array: the array to clone * * Returns: A newly created array who is a shallow copy of @array */ MonoArray* mono_array_clone (MonoArray *array) { MonoArray *o; int size, i; guint32 *sizes; MonoClass *klass = array->obj.vtable->klass; if (array->bounds == NULL) { size = mono_array_length (array); o = mono_array_new_full (((MonoObject *)array)->vtable->domain, klass, &size, NULL); size *= mono_array_element_size (klass); memcpy (o, array, sizeof (MonoArray) + size); return o; } sizes = alloca (klass->rank * sizeof(guint32) * 2); size = mono_array_element_size (klass); for (i = 0; i < klass->rank; ++i) { sizes [i] = array->bounds [i].length; size *= array->bounds [i].length; sizes [i + klass->rank] = array->bounds [i].lower_bound; } o = mono_array_new_full (((MonoObject *)array)->vtable->domain, klass, sizes, sizes + klass->rank); memcpy (o, array, sizeof(MonoArray) + size); return o; } /* * mono_array_new_full: * @domain: domain where the object is created * @array_class: array class * @lengths: lengths for each dimension in the array * @lower_bounds: lower bounds for each dimension in the array (may be NULL) * * This routine creates a new array objects with the given dimensions, * lower bounds and type. */ MonoArray* mono_array_new_full (MonoDomain *domain, MonoClass *array_class, guint32 *lengths, guint32 *lower_bounds) { guint32 byte_len, len; MonoObject *o; MonoArray *array; MonoArrayBounds *bounds; int i; if (!array_class->inited) mono_class_init (array_class); byte_len = mono_array_element_size (array_class); len = 1; if (array_class->rank == 1 && (lower_bounds == NULL || lower_bounds [0] == 0)) { bounds = NULL; len = lengths [0]; } else { #if HAVE_BOEHM_GC bounds = GC_malloc (sizeof (MonoArrayBounds) * array_class->rank); #else bounds = g_malloc0 (sizeof (MonoArrayBounds) * array_class->rank); #endif for (i = 0; i < array_class->rank; ++i) { bounds [i].length = lengths [i]; len *= lengths [i]; } if (lower_bounds) for (i = 0; i < array_class->rank; ++i) bounds [i].lower_bound = lower_bounds [i]; } byte_len *= len; /* * Following three lines almost taken from mono_object_new (): * they need to be kept in sync. */ o = mono_object_allocate (sizeof (MonoArray) + byte_len); if (!o) G_BREAKPOINT (); o->vtable = mono_class_vtable (domain, array_class); array = (MonoArray*)o; array->bounds = bounds; array->max_length = len; return array; } /* * mono_array_new: * @domain: domain where the object is created * @eclass: element class * @n: number of array elements * * This routine creates a new szarray with @n elements of type @eclass. */ MonoArray * mono_array_new (MonoDomain *domain, MonoClass *eclass, guint32 n) { MonoClass *ac; ac = mono_array_class_get (&eclass->byval_arg, 1); g_assert (ac != NULL); return mono_array_new_specific (mono_class_vtable (domain, ac), n); } /* * mono_array_new_specific: * @vtable: a vtable in the appropriate domain for an initialized class * @n: number of array elements * * This routine is a fast alternative to mono_array_new() for code which * can be sure about the domain it operates in. */ MonoArray * mono_array_new_specific (MonoVTable *vtable, guint32 n) { MonoObject *o; MonoArray *ao; gsize byte_len; byte_len = n * mono_array_element_size (vtable->klass); o = mono_object_allocate (sizeof (MonoArray) + byte_len); if (!o) G_BREAKPOINT (); o->vtable = vtable; ao = (MonoArray *)o; ao->bounds = NULL; ao->max_length = n; return ao; } /** * mono_string_new_utf16: * @text: a pointer to an utf16 string * @len: the length of the string * * Returns: A newly created string object which contains @text. */ MonoString * mono_string_new_utf16 (MonoDomain *domain, const guint16 *text, gint32 len) { MonoString *s; s = mono_string_new_size (domain, len); g_assert (s != NULL); memcpy (mono_string_chars (s), text, len * 2); return s; } /** * mono_string_new_size: * @text: a pointer to an utf16 string * @len: the length of the string * * Returns: A newly created string object of @len */ MonoString * mono_string_new_size (MonoDomain *domain, gint32 len) { MonoString *s; /* * enable to get a good speedup: we still need to figure out * how the sync structure is freed. */ #if 0 s = GC_malloc_atomic (sizeof (MonoString) + ((len + 1) * 2)); s->object.synchronisation = 0; mono_string_chars (s) [len] = 0; #else s = (MonoString*)mono_object_allocate (sizeof (MonoString) + ((len + 1) * 2)); #endif if (!s) G_BREAKPOINT (); s->object.vtable = mono_class_vtable (domain, mono_defaults.string_class); s->length = len; return s; } /* * mono_string_new_len: * @text: a pointer to an utf8 string * @length: number of bytes in @text to consider * * Returns: A newly created string object which contains @text. */ MonoString* mono_string_new_len (MonoDomain *domain, const char *text, guint length) { GError *error = NULL; MonoString *o = NULL; guint16 *ut; glong items_written; ut = g_utf8_to_utf16 (text, length, NULL, &items_written, &error); if (!error) o = mono_string_new_utf16 (domain, ut, items_written); else g_error_free (error); g_free (ut); return o; } /** * mono_string_new: * @text: a pointer to an utf8 string * * Returns: A newly created string object which contains @text. */ MonoString* mono_string_new (MonoDomain *domain, const char *text) { GError *error = NULL; MonoString *o = NULL; guint16 *ut; glong items_written; int l; l = strlen (text); ut = g_utf8_to_utf16 (text, l, NULL, &items_written, &error); if (!error) o = mono_string_new_utf16 (domain, ut, items_written); else g_error_free (error); g_free (ut); return o; } /* * mono_string_new_wrapper: * @text: pointer to utf8 characters. * * Helper function to create a string object from @text in the current domain. */ MonoString* mono_string_new_wrapper (const char *text) { MonoDomain *domain = mono_domain_get (); if (text) return mono_string_new (domain, text); return NULL; } /** * mono_value_box: * @class: the class of the value * @value: a pointer to the unboxed data * * Returns: A newly created object which contains @value. */ MonoObject * mono_value_box (MonoDomain *domain, MonoClass *class, gpointer value) { MonoObject *res; int size; g_assert (class->valuetype); size = mono_class_instance_size (class); res = mono_object_allocate (size); res->vtable = mono_class_vtable (domain, class); size = size - sizeof (MonoObject); #if NO_UNALIGNED_ACCESS memcpy ((char *)res + sizeof (MonoObject), value, size); #else switch (size) { case 1: *((guint8 *) res + sizeof (MonoObject)) = *(guint8 *) value; break; case 2: *(guint16 *)((guint8 *) res + sizeof (MonoObject)) = *(guint16 *) value; break; case 4: *(guint32 *)((guint8 *) res + sizeof (MonoObject)) = *(guint32 *) value; break; case 8: *(guint64 *)((guint8 *) res + sizeof (MonoObject)) = *(guint64 *) value; break; default: memcpy ((char *)res + sizeof (MonoObject), value, size); } #endif if (class->has_finalize) mono_object_register_finalizer (res); return res; } /** * mono_object_isinst: * @obj: an object * @klass: a pointer to a class * * Returns: @obj if @obj is derived from @klass */ MonoObject * mono_object_isinst (MonoObject *obj, MonoClass *klass) { MonoVTable *vt; MonoClass *oklass; if (!obj) return NULL; vt = obj->vtable; oklass = vt->klass; if (!klass->inited) mono_class_init (klass); if (klass->flags & TYPE_ATTRIBUTE_INTERFACE) { if ((klass->interface_id <= oklass->max_interface_id) && vt->interface_offsets [klass->interface_id]) return obj; } else { if (oklass == mono_defaults.transparent_proxy_class) { /* fixme: add check for IRemotingTypeInfo */ oklass = ((MonoTransparentProxy *)obj)->klass; } if (klass->rank) { if (oklass->rank == klass->rank && (oklass->element_class->baseval - klass->element_class->baseval) <= klass->element_class->diffval) return obj; } else if ((oklass->baseval - klass->baseval) <= klass->diffval) return obj; } return NULL; } static MonoString* mono_string_is_interned_lookup (MonoString *str, int insert) { MonoGHashTable *ldstr_table; MonoString *res; MonoDomain *domain; char *ins = g_malloc (4 + str->length * 2); char *p; int bloblen; /* Encode the length */ p = ins; mono_metadata_encode_value (2 * str->length, p, &p); bloblen = p - ins; p = ins; mono_metadata_encode_value (bloblen + 2 * str->length, p, &p); bloblen = (p - ins) + 2 * str->length; /* * ins is stored in the hash table as a key and needs to have the same * representation as in the metadata: we swap the character bytes on big * endian boxes. */ #if G_BYTE_ORDER != G_LITTLE_ENDIAN { int i; char *p2 = mono_string_chars (str); for (i = 0; i < str->length; ++i) { *p++ = p2 [1]; *p++ = p2 [0]; p2 += 2; } } #else memcpy (p, mono_string_chars (str), str->length * 2); #endif domain = ((MonoObject *)str)->vtable->domain; ldstr_table = domain->ldstr_table; mono_domain_lock (domain); if ((res = mono_g_hash_table_lookup (ldstr_table, ins))) { mono_domain_unlock (domain); g_free (ins); return res; } if (insert) { mono_g_hash_table_insert (ldstr_table, ins, str); mono_domain_unlock (domain); return str; } mono_domain_unlock (domain); g_free (ins); return NULL; } MonoString* mono_string_is_interned (MonoString *o) { return mono_string_is_interned_lookup (o, FALSE); } MonoString* mono_string_intern (MonoString *str) { return mono_string_is_interned_lookup (str, TRUE); } /* * mono_ldstr: * @domain: the domain where the string will be used. * @image: a metadata context * @idx: index into the user string table. * * Implementation for the ldstr opcode. */ MonoString* mono_ldstr (MonoDomain *domain, MonoImage *image, guint32 idx) { const char *str, *sig; MonoString *o; size_t len2; sig = str = mono_metadata_user_string (image, idx); mono_domain_lock (domain); if ((o = mono_g_hash_table_lookup (domain->ldstr_table, sig))) { mono_domain_unlock (domain); return o; } len2 = mono_metadata_decode_blob_size (str, &str); len2 >>= 1; o = mono_string_new_utf16 (domain, (guint16*)str, len2); #if G_BYTE_ORDER != G_LITTLE_ENDIAN { int i; guint16 *p2 = (guint16*)mono_string_chars (o); for (i = 0; i < len2; ++i) { *p2 = GUINT16_FROM_LE (*p2); ++p2; } } #endif mono_g_hash_table_insert (domain->ldstr_table, (gpointer)sig, o); mono_domain_unlock (domain); return o; } /* * mono_string_to_utf8: * @s: a System.String * * Return the UTF8 representation for @s. * the resulting buffer nedds to be freed with g_free(). */ char * mono_string_to_utf8 (MonoString *s) { char *as; GError *error = NULL; if (s == NULL) return NULL; if (!s->length) return g_strdup (""); as = g_utf16_to_utf8 (mono_string_chars (s), s->length, NULL, NULL, &error); if (error) g_warning (error->message); return as; } /* * mono_string_to_utf16: * @s: a MonoString * * Return an null-terminated array of the utf-16 chars * contained in @s. The result must be freed with g_free(). * This is a temporary helper until our string implementation * is reworked to always include the null terminating char. */ gunichar2 * mono_string_to_utf16 (MonoString *s) { char *as; if (s == NULL) return NULL; as = g_malloc ((s->length * 2) + 2); as [(s->length * 2)] = '\0'; as [(s->length * 2) + 1] = '\0'; if (!s->length) { return (gunichar2 *)(as); } memcpy (as, mono_string_chars(s), s->length * 2); return (gunichar2 *)(as); } static void default_ex_handler (MonoException *ex) { MonoObject *o = (MonoObject*)ex; g_error ("Exception %s.%s raised in C code", o->vtable->klass->name_space, o->vtable->klass->name); } static MonoExceptionFunc ex_handler = default_ex_handler; void mono_install_handler (MonoExceptionFunc func) { ex_handler = func? func: default_ex_handler; } /* * mono_raise_exception: * @ex: exception object * * Signal the runtime that the exception @ex has been raised in unmanaged code. */ void mono_raise_exception (MonoException *ex) { ex_handler (ex); } MonoWaitHandle * mono_wait_handle_new (MonoDomain *domain, HANDLE handle) { MonoWaitHandle *res; res = (MonoWaitHandle *)mono_object_new (domain, mono_defaults.waithandle_class); res->handle = handle; return res; } MonoAsyncResult * mono_async_result_new (MonoDomain *domain, HANDLE handle, MonoObject *state, gpointer data) { MonoAsyncResult *res; res = (MonoAsyncResult *)mono_object_new (domain, mono_defaults.asyncresult_class); res->data = data; res->async_state = state; res->handle = (MonoObject *)mono_wait_handle_new (domain, handle); res->sync_completed = FALSE; res->completed = FALSE; return res; } void mono_message_init (MonoDomain *domain, MonoMethodMessage *this, MonoReflectionMethod *method, MonoArray *out_args) { MonoMethodSignature *sig = method->method->signature; MonoString *name; int i, j; char **names; guint8 arg_type; this->method = method; this->args = mono_array_new (domain, mono_defaults.object_class, sig->param_count); this->arg_types = mono_array_new (domain, mono_defaults.byte_class, sig->param_count); names = g_new (char *, sig->param_count); mono_method_get_param_names (method->method, (const char **) names); this->names = mono_array_new (domain, mono_defaults.string_class, sig->param_count); for (i = 0; i < sig->param_count; i++) { name = mono_string_new (domain, names [i]); mono_array_set (this->names, gpointer, i, name); } g_free (names); for (i = 0, j = 0; i < sig->param_count; i++) { if (sig->params [i]->byref) { if (out_args) { gpointer arg = mono_array_get (out_args, gpointer, j); mono_array_set (this->args, gpointer, i, arg); j++; } arg_type = 2; if (sig->params [i]->attrs & PARAM_ATTRIBUTE_IN) arg_type |= 1; } else { arg_type = 1; } mono_array_set (this->arg_types, guint8, i, arg_type); } } /** * mono_remoting_invoke: * @real_proxy: pointer to a RealProxy object * @msg: The MonoMethodMessage to execute * @exc: used to store exceptions * @out_args: used to store output arguments * * This is used to call RealProxy::Invoke(). RealProxy::Invoke() returns an * IMessage interface and it is not trivial to extract results from there. So * we call an helper method PrivateInvoke instead of calling * RealProxy::Invoke() directly. * * Returns: the result object. */ MonoObject * mono_remoting_invoke (MonoObject *real_proxy, MonoMethodMessage *msg, MonoObject **exc, MonoArray **out_args) { static MonoMethod *im = NULL; gpointer pa [4]; /*static MonoObject *(*invoke) (gpointer, gpointer, MonoObject **, MonoArray **) = NULL;*/ /* FIXME: make this domain dependent */ if (!im) { MonoClass *klass; int i; klass = mono_defaults.real_proxy_class; for (i = 0; i < klass->method.count; ++i) { if (!strcmp ("PrivateInvoke", klass->methods [i]->name) && klass->methods [i]->signature->param_count == 4) { im = klass->methods [i]; break; } } g_assert (im); } pa [0] = real_proxy; pa [1] = msg; pa [2] = exc; pa [3] = out_args; return mono_runtime_invoke (im, NULL, pa, exc); } MonoObject * mono_message_invoke (MonoObject *target, MonoMethodMessage *msg, MonoObject **exc, MonoArray **out_args) { if (target && target->vtable->klass == mono_defaults.transparent_proxy_class) { return mono_remoting_invoke ((MonoObject *)((MonoTransparentProxy *)target)->rp, msg, exc, out_args); } else { MonoDomain *domain = mono_domain_get (); MonoMethod *method = msg->method->method; MonoMethodSignature *sig = method->signature; int i, j, outarg_count = 0; for (i = 0; i < sig->param_count; i++) { if (sig->params [i]->byref) outarg_count++; } *out_args = mono_array_new (domain, mono_defaults.object_class, outarg_count); *exc = NULL; for (i = 0, j = 0; i < sig->param_count; i++) { if (sig->params [i]->byref) { gpointer arg; arg = mono_array_get (msg->args, gpointer, i); mono_array_set (*out_args, gpointer, j, arg); j++; } } return mono_runtime_invoke_array (method, target, msg->args, exc); } } void mono_print_unhandled_exception (MonoObject *exc) { char *message = (char *) ""; MonoString *str; MonoMethod *method; MonoClass *klass; gboolean free_message = FALSE; gint i; if (mono_object_isinst (exc, mono_defaults.exception_class)) { klass = exc->vtable->klass; method = NULL; while (klass && method == NULL) { for (i = 0; i < klass->method.count; ++i) { method = klass->methods [i]; if (!strcmp ("ToString", method->name) && method->signature->param_count == 0 && method->flags & METHOD_ATTRIBUTE_VIRTUAL && method->flags & METHOD_ATTRIBUTE_PUBLIC) { break; } method = NULL; } if (method == NULL) klass = klass->parent; } g_assert (method); str = (MonoString *) mono_runtime_invoke (method, exc, NULL, NULL); if (str) { message = mono_string_to_utf8 (str); free_message = TRUE; } } /* * g_printerr ("\nUnhandled Exception: %s.%s: %s\n", exc->vtable->klass->name_space, * exc->vtable->klass->name, message); */ g_printerr ("\nUnhandled Exception: %s\n", message); if (free_message) g_free (message); } /** * mono_delegate_ctor: * @this: pointer to an uninitialized delegate object * @target: target object * @addr: pointer to native code * * This is used to initialize a delegate. We also insert the method_info if * we find the info with mono_jit_info_table_find(). */ void mono_delegate_ctor (MonoObject *this, MonoObject *target, gpointer addr) { MonoDomain *domain = mono_domain_get (); MonoDelegate *delegate = (MonoDelegate *)this; MonoMethod *method = NULL; MonoClass *class; MonoJitInfo *ji; g_assert (this); g_assert (addr); class = this->vtable->klass; if ((ji = mono_jit_info_table_find (domain, addr))) { method = ji->method; delegate->method_info = mono_method_get_object (domain, method, NULL); } if (target && target->vtable->klass == mono_defaults.transparent_proxy_class) { g_assert (method); method = mono_marshal_get_remoting_invoke (method); delegate->method_ptr = mono_compile_method (method); delegate->target = target; } else { delegate->method_ptr = addr; delegate->target = target; } } /** * mono_method_call_message_new: * * Translates arguments pointers into a Message. */ MonoMethodMessage * mono_method_call_message_new (MonoMethod *method, gpointer *params, MonoMethod *invoke, MonoDelegate **cb, MonoObject **state) { MonoDomain *domain = mono_domain_get (); MonoMethodSignature *sig = method->signature; MonoMethodMessage *msg; int i, count, type; msg = (MonoMethodMessage *)mono_object_new (domain, mono_defaults.mono_method_message_class); if (invoke) { mono_message_init (domain, msg, mono_method_get_object (domain, invoke, NULL), NULL); count = sig->param_count - 2; } else { mono_message_init (domain, msg, mono_method_get_object (domain, method, NULL), NULL); count = sig->param_count; } for (i = 0; i < count; i++) { gpointer vpos; MonoClass *class; MonoObject *arg; if (sig->params [i]->byref) vpos = *((gpointer *)params [i]); else vpos = params [i]; type = sig->params [i]->type; class = mono_class_from_mono_type (sig->params [i]); if (class->valuetype) arg = mono_value_box (domain, class, vpos); else arg = *((MonoObject **)vpos); mono_array_set (msg->args, gpointer, i, arg); } if (invoke) { *cb = *((MonoDelegate **)params [i]); i++; *state = *((MonoObject **)params [i]); } return msg; } /** * mono_method_return_message_restore: * * Restore results from message based processing back to arguments pointers */ void mono_method_return_message_restore (MonoMethod *method, gpointer *params, MonoArray *out_args) { MonoMethodSignature *sig = method->signature; int i, j, type, size; for (i = 0, j = 0; i < sig->param_count; i++) { MonoType *pt = sig->params [i]; size = mono_type_stack_size (pt, NULL); if (pt->byref) { char *arg = mono_array_get (out_args, gpointer, j); type = pt->type; switch (type) { case MONO_TYPE_VOID: g_assert_not_reached (); break; case MONO_TYPE_U1: case MONO_TYPE_I1: case MONO_TYPE_BOOLEAN: case MONO_TYPE_U2: case MONO_TYPE_I2: case MONO_TYPE_CHAR: case MONO_TYPE_U4: case MONO_TYPE_I4: case MONO_TYPE_I8: case MONO_TYPE_U8: case MONO_TYPE_R4: case MONO_TYPE_R8: case MONO_TYPE_VALUETYPE: { memcpy (*((gpointer *)params [i]), arg + sizeof (MonoObject), size); break; } case MONO_TYPE_STRING: case MONO_TYPE_CLASS: case MONO_TYPE_ARRAY: case MONO_TYPE_SZARRAY: *((MonoObject **)params [i]) = (MonoObject *)arg; break; default: g_assert_not_reached (); } j++; } } } /** * mono_load_remote_field: * @this: pointer to an object * @klass: klass of the object containing @field * @field: the field to load * @res: a storage to store the result * * This method is called by the runtime on attempts to load fields of * transparent proxy objects. @this points to such TP, @klass is the class of * the object containing @field. @res is a storage location which can be * used to store the result. * * Returns: an address pointing to the value of field. */ gpointer mono_load_remote_field (MonoObject *this, MonoClass *klass, MonoClassField *field, gpointer *res) { static MonoMethod *getter = NULL; MonoDomain *domain = mono_domain_get (); MonoClass *field_class; MonoMethodMessage *msg; MonoArray *out_args; MonoObject *exc; gpointer tmp; g_assert (this->vtable->klass == mono_defaults.transparent_proxy_class); if (!res) res = &tmp; if (!getter) { int i; for (i = 0; i < mono_defaults.object_class->method.count; ++i) { MonoMethod *cm = mono_defaults.object_class->methods [i]; if (!strcmp (cm->name, "FieldGetter")) { getter = cm; break; } } g_assert (getter); } field_class = mono_class_from_mono_type (field->type); msg = (MonoMethodMessage *)mono_object_new (domain, mono_defaults.mono_method_message_class); out_args = mono_array_new (domain, mono_defaults.object_class, 1); mono_message_init (domain, msg, mono_method_get_object (domain, getter, NULL), out_args); mono_array_set (msg->args, gpointer, 0, mono_string_new (domain, klass->name)); mono_array_set (msg->args, gpointer, 1, mono_string_new (domain, field->name)); mono_remoting_invoke ((MonoObject *)((MonoTransparentProxy *)this)->rp, msg, &exc, &out_args); *res = mono_array_get (out_args, MonoObject *, 0); if (field_class->valuetype) { return ((char *)*res) + sizeof (MonoObject); } else return res; } /** * mono_store_remote_field: * @this: pointer to an object * @klass: klass of the object containing @field * @field: the field to load * @val: the value/object to store * * This method is called by the runtime on attempts to store fields of * transparent proxy objects. @this points to such TP, @klass is the class of * the object containing @field. @val is the new value to store in @field. */ void mono_store_remote_field (MonoObject *this, MonoClass *klass, MonoClassField *field, gpointer val) { static MonoMethod *setter = NULL; MonoDomain *domain = mono_domain_get (); MonoClass *field_class; MonoMethodMessage *msg; MonoArray *out_args; MonoObject *exc; MonoObject *arg; g_assert (this->vtable->klass == mono_defaults.transparent_proxy_class); if (!setter) { int i; for (i = 0; i < mono_defaults.object_class->method.count; ++i) { MonoMethod *cm = mono_defaults.object_class->methods [i]; if (!strcmp (cm->name, "FieldSetter")) { setter = cm; break; } } g_assert (setter); } field_class = mono_class_from_mono_type (field->type); if (field_class->valuetype) arg = mono_value_box (domain, field_class, val); else arg = *((MonoObject **)val); msg = (MonoMethodMessage *)mono_object_new (domain, mono_defaults.mono_method_message_class); mono_message_init (domain, msg, mono_method_get_object (domain, setter, NULL), NULL); mono_array_set (msg->args, gpointer, 0, mono_string_new (domain, klass->name)); mono_array_set (msg->args, gpointer, 1, mono_string_new (domain, field->name)); mono_array_set (msg->args, gpointer, 2, arg); mono_remoting_invoke ((MonoObject *)((MonoTransparentProxy *)this)->rp, msg, &exc, &out_args); }