Merge remote branch 'upstream/master'
[mono.git] / mono / metadata / object.c
index e15bc7a61f4ec018a0438f6f2afa85469c465bb6..565285f5b14be303b2c164f5abbcdf6e19de70c4 100644 (file)
@@ -79,6 +79,9 @@ get_default_field_value (MonoDomain* domain, MonoClassField *field, void *value)
 static MonoString*
 mono_ldstr_metadata_sig (MonoDomain *domain, const char* sig);
 
+static void
+free_main_args (void);
+
 #define ldstr_lock() EnterCriticalSection (&ldstr_section)
 #define ldstr_unlock() LeaveCriticalSection (&ldstr_section)
 static CRITICAL_SECTION ldstr_section;
@@ -185,8 +188,14 @@ mono_type_initialization_cleanup (void)
         * mono_release_type_locks
         */
        DeleteCriticalSection (&type_initialization_section);
+       g_hash_table_destroy (type_initialization_hash);
+       type_initialization_hash = NULL;
 #endif
        DeleteCriticalSection (&ldstr_section);
+       g_hash_table_destroy (blocked_thread_hash);
+       blocked_thread_hash = NULL;
+
+       free_main_args ();
 }
 
 /**
@@ -267,7 +276,9 @@ mono_runtime_class_init_full (MonoVTable *vtable, gboolean raise_exception)
                        MonoVTable *module_vtable = mono_class_vtable_full (vtable->domain, module_klass, raise_exception);
                        if (!module_vtable)
                                return NULL;
-                       mono_runtime_class_init (module_vtable);
+                       exc = mono_runtime_class_init_full (module_vtable, raise_exception);
+                       if (exc)
+                               return exc;
                }
        }
        method = mono_class_get_cctor (klass);
@@ -633,6 +644,15 @@ compute_class_bitmap (MonoClass *class, gsize *bitmap, int size, int offset, int
                size = max_size;
        }
 
+#ifdef HAVE_SGEN_GC
+       /*An Ephemeron cannot be marked by sgen*/
+       if (!static_fields && class->image == mono_defaults.corlib && !strcmp ("Ephemeron", class->name)) {
+               *max_set = 0;
+               memset (bitmap, 0, size / 8);
+               return bitmap;
+       }
+#endif
+
        for (p = class; p != NULL; p = p->parent) {
                gpointer iter = NULL;
                while ((field = mono_class_get_fields (p, &iter))) {
@@ -985,22 +1005,6 @@ field_is_special_static (MonoClass *fklass, MonoClassField *field)
        return SPECIAL_STATIC_NONE;
 }
 
-static gpointer imt_trampoline = NULL;
-
-void
-mono_install_imt_trampoline (gpointer tramp_code)
-{
-       imt_trampoline = tramp_code;
-}
-
-static gpointer vtable_trampoline = NULL;
-
-void
-mono_install_vtable_trampoline (gpointer tramp_code)
-{
-       vtable_trampoline = tramp_code;
-}
-
 #define rot(x,k) (((x)<<(k)) | ((x)>>(32-(k))))
 #define mix(a,b,c) { \
        a -= c;  a ^= rot(c, 4);  c += b; \
@@ -1354,7 +1358,7 @@ build_imt_slots (MonoClass *klass, MonoVTable *vt, MonoDomain *domain, gpointer*
                                 * The IMT thunk might be called with an instance of one of the 
                                 * generic virtual methods, so has to fallback to the IMT trampoline.
                                 */
-                               imt [i] = initialize_imt_slot (vt, domain, imt_builder [i], imt_trampoline);
+                               imt [i] = initialize_imt_slot (vt, domain, imt_builder [i], callbacks.get_imt_trampoline ? callbacks.get_imt_trampoline (i) : NULL);
                        } else {
                                imt [i] = initialize_imt_slot (vt, domain, imt_builder [i], NULL);
                        }
@@ -1422,7 +1426,7 @@ mono_vtable_build_imt_slot (MonoVTable* vtable, int imt_slot)
        mono_loader_lock (); /*FIXME build_imt_slots requires the loader lock.*/
        mono_domain_lock (vtable->domain);
        /* we change the slot only if it wasn't changed from the generic imt trampoline already */
-       if (imt [imt_slot] == imt_trampoline)
+       if (imt [imt_slot] == callbacks.get_imt_trampoline (imt_slot))
                build_imt_slots (vtable->klass, vtable, vtable->domain, imt, NULL, imt_slot);
        mono_domain_unlock (vtable->domain);
        mono_loader_unlock ();
@@ -1435,7 +1439,11 @@ mono_vtable_build_imt_slot (MonoVTable* vtable, int imt_slot)
  * entry points to the last element.  That way appending and removing
  * the first element are both O(1) operations.
  */
+#ifdef MONO_SMALL_CONFIG
+#define NUM_FREE_LISTS         6
+#else
 #define NUM_FREE_LISTS         12
+#endif
 #define FIRST_FREE_LIST_SIZE   64
 #define MAX_WAIT_LENGTH        50
 #define THUNK_THRESHOLD                10
@@ -1670,11 +1678,19 @@ mono_method_add_generic_virtual_invocation (MonoDomain *domain, MonoVTable *vtab
 
        if (++gvc->count == THUNK_THRESHOLD) {
                gpointer *old_thunk = *vtable_slot;
+               gpointer vtable_trampoline = NULL;
+               gpointer imt_trampoline = NULL;
+
+               if ((gpointer)vtable_slot < (gpointer)vtable) {
+                       int displacement = (gpointer*)vtable_slot - (gpointer*)vtable;
+                       int imt_slot = MONO_IMT_SIZE + displacement;
 
-               if ((gpointer)vtable_slot < (gpointer)vtable)
                        /* Force the rebuild of the thunk at the next call */
+                       imt_trampoline = callbacks.get_imt_trampoline (imt_slot);
                        *vtable_slot = imt_trampoline;
-               else {
+               } else {
+                       vtable_trampoline = callbacks.get_vtable_trampoline ? callbacks.get_vtable_trampoline ((gpointer*)vtable_slot - (gpointer*)vtable->vtable) : NULL;
+
                        entries = get_generic_virtual_entries (domain, vtable_slot);
 
                        sorted = imt_sort_slot_entries (entries);
@@ -1693,8 +1709,12 @@ mono_method_add_generic_virtual_invocation (MonoDomain *domain, MonoVTable *vtab
                        g_ptr_array_free (sorted, TRUE);
                }
 
+#ifndef __native_client__
+               /* We don't re-use any thunks as there is a lot of overhead */
+               /* to deleting and re-using code in Native Client.          */
                if (old_thunk != vtable_trampoline && old_thunk != imt_trampoline)
                        invalidate_generic_virtual_thunk (domain, old_thunk);
+#endif
        }
 
        mono_domain_unlock (domain);
@@ -1828,6 +1848,9 @@ mono_class_create_runtime_vtable (MonoDomain *domain, MonoClass *class, gboolean
        if (!class->vtable_size)
                mono_class_setup_vtable (class);
 
+       if (class->generic_class && !class->vtable)
+               mono_class_check_vtable_constraints (class, NULL);
+
        if (class->exception_type) {
                mono_domain_unlock (domain);
                mono_loader_unlock ();
@@ -1913,11 +1936,29 @@ mono_class_create_runtime_vtable (MonoDomain *domain, MonoClass *class, gboolean
                        if (special_static != SPECIAL_STATIC_NONE) {
                                guint32 size, offset;
                                gint32 align;
+                               gsize default_bitmap [4] = {0};
+                               gsize *bitmap;
+                               int max_set = 0;
+                               MonoClass *fclass;
+                               if (mono_type_is_reference (field->type)) {
+                                       default_bitmap [0] = 1;
+                                       max_set = 1;
+                                       bitmap = default_bitmap;
+                               } else if (mono_type_is_struct (field->type)) {
+                                       fclass = mono_class_from_mono_type (field->type);
+                                       bitmap = compute_class_bitmap (fclass, default_bitmap, sizeof (default_bitmap) * 8, 0, &max_set, FALSE);
+                               } else {
+                                       default_bitmap [0] = 0;
+                                       max_set = 0;
+                                       bitmap = default_bitmap;
+                               }
                                size = mono_type_size (field->type, &align);
-                               offset = mono_alloc_special_static_data (special_static, size, align);
+                               offset = mono_alloc_special_static_data (special_static, size, align, bitmap, max_set);
                                if (!domain->special_static_fields)
                                        domain->special_static_fields = g_hash_table_new (NULL, NULL);
                                g_hash_table_insert (domain->special_static_fields, field, GUINT_TO_POINTER (offset));
+                               if (bitmap != default_bitmap)
+                                       g_free (bitmap);
                                /* 
                                 * This marks the field as special static to speed up the
                                 * checks in mono_field_static_get/set_value ().
@@ -1961,11 +2002,9 @@ mono_class_create_runtime_vtable (MonoDomain *domain, MonoClass *class, gboolean
                }
        }
 
-       /* FIXME: class_vtable_hash is basically obsolete now: remove as soon
-        * as we change the code in appdomain.c to invalidate vtables by
-        * looking at the possible MonoClasses created for the domain.
+       /*  class_vtable_array keeps an array of created vtables
         */
-       g_hash_table_insert (domain->class_vtable_hash, class, vt);
+       g_ptr_array_add (domain->class_vtable_array, vt);
        /* class->runtime_info is protected by the loader lock, both when
         * it it enlarged and when it is stored info.
         */
@@ -2001,10 +2040,10 @@ mono_class_create_runtime_vtable (MonoDomain *domain, MonoClass *class, gboolean
        }
 
        /* Initialize vtable */
-       if (vtable_trampoline) {
+       if (callbacks.get_vtable_trampoline) {
                // This also covers the AOT case
                for (i = 0; i < class->vtable_size; ++i) {
-                       vt->vtable [i] = vtable_trampoline;
+                       vt->vtable [i] = callbacks.get_vtable_trampoline (i);
                }
        } else {
                mono_class_setup_vtable (class);
@@ -2013,16 +2052,16 @@ mono_class_create_runtime_vtable (MonoDomain *domain, MonoClass *class, gboolean
                        MonoMethod *cm;
 
                        if ((cm = class->vtable [i]))
-                               vt->vtable [i] = vtable_trampoline? vtable_trampoline: arch_create_jit_trampoline (cm);
+                               vt->vtable [i] = arch_create_jit_trampoline (cm);
                }
        }
 
        if (ARCH_USE_IMT && imt_table_bytes) {
                /* Now that the vtable is full, we can actually fill up the IMT */
-               if (imt_trampoline) {
+               if (callbacks.get_imt_trampoline) {
                        /* lazy construction of the IMT entries enabled */
                        for (i = 0; i < MONO_IMT_SIZE; ++i)
-                               interface_offsets [i] = imt_trampoline;
+                               interface_offsets [i] = callbacks.get_imt_trampoline (i);
                } else {
                        build_imt (class, vt, domain, interface_offsets, NULL);
                }
@@ -2042,6 +2081,11 @@ mono_class_create_runtime_vtable (MonoDomain *domain, MonoClass *class, gboolean
 
        /*FIXME check for OOM*/
        vt->type = mono_type_get_object (domain, &class->byval_arg);
+       if (mono_object_get_class (vt->type) != mono_defaults.monotype_class)
+               /* This is unregistered in
+                  unregister_vtable_reflection_type() in
+                  domain.c. */
+               MONO_GC_REGISTER_ROOT_IF_MOVING(vt->type);
        if (class->contextbound)
                vt->remote = 1;
        else
@@ -2070,6 +2114,12 @@ mono_class_proxy_vtable (MonoDomain *domain, MonoRemoteClass *remote_class, Mono
        GSList *extra_interfaces = NULL;
        MonoClass *class = remote_class->proxy_class;
        gpointer *interface_offsets;
+       uint8_t *bitmap;
+       int bsize;
+       
+#ifdef COMPRESSED_INTERFACE_BITMAP
+       int bcsize;
+#endif
 
        vt = mono_class_vtable (domain, class);
        g_assert (vt); /*FIXME property handle failure*/
@@ -2157,7 +2207,12 @@ mono_class_proxy_vtable (MonoDomain *domain, MonoRemoteClass *remote_class, Mono
        }
 
        pvt->max_interface_id = max_interface_id;
-       pvt->interface_bitmap = mono_domain_alloc0 (domain, sizeof (guint8) * (max_interface_id/8 + 1 ));
+       bsize = sizeof (guint8) * (max_interface_id/8 + 1 );
+#ifdef COMPRESSED_INTERFACE_BITMAP
+       bitmap = g_malloc0 (bsize);
+#else
+       bitmap = mono_domain_alloc0 (domain, bsize);
+#endif
 
        if (! ARCH_USE_IMT) {
                /* initialize interface offsets */
@@ -2169,7 +2224,7 @@ mono_class_proxy_vtable (MonoDomain *domain, MonoRemoteClass *remote_class, Mono
        }
        for (i = 0; i < class->interface_offsets_count; ++i) {
                int interface_id = class->interfaces_packed [i]->interface_id;
-               pvt->interface_bitmap [interface_id >> 3] |= (1 << (interface_id & 7));
+               bitmap [interface_id >> 3] |= (1 << (interface_id & 7));
        }
 
        if (extra_interfaces) {
@@ -2186,7 +2241,7 @@ mono_class_proxy_vtable (MonoDomain *domain, MonoRemoteClass *remote_class, Mono
                        if (! ARCH_USE_IMT) {
                                interface_offsets [max_interface_id - interf->interface_id] = &pvt->vtable [slot];
                        }
-                       pvt->interface_bitmap [interf->interface_id >> 3] |= (1 << (interf->interface_id & 7));
+                       bitmap [interf->interface_id >> 3] |= (1 << (interf->interface_id & 7));
 
                        iter = NULL;
                        j = 0;
@@ -2208,6 +2263,14 @@ mono_class_proxy_vtable (MonoDomain *domain, MonoRemoteClass *remote_class, Mono
                }
        }
 
+#ifdef COMPRESSED_INTERFACE_BITMAP
+       bcsize = mono_compress_bitmap (NULL, bitmap, bsize);
+       pvt->interface_bitmap = mono_domain_alloc0 (domain, bcsize);
+       mono_compress_bitmap (pvt->interface_bitmap, bitmap, bsize);
+       g_free (bitmap);
+#else
+       pvt->interface_bitmap = bitmap;
+#endif
        return pvt;
 }
 
@@ -2230,6 +2293,25 @@ mono_class_field_is_special_static (MonoClassField *field)
        return FALSE;
 }
 
+/**
+ * mono_class_field_get_special_static_type:
+ * @field: The MonoClassField describing the field.
+ *
+ * Returns: SPECIAL_STATIC_THREAD if the field is thread static, SPECIAL_STATIC_CONTEXT if it is context static,
+ * SPECIAL_STATIC_NONE otherwise.
+ */
+guint32
+mono_class_field_get_special_static_type (MonoClassField *field)
+{
+       if (!(field->type->attrs & FIELD_ATTRIBUTE_STATIC))
+               return SPECIAL_STATIC_NONE;
+       if (mono_field_is_deleted (field))
+               return SPECIAL_STATIC_NONE;
+       if (!(field->type->attrs & FIELD_ATTRIBUTE_LITERAL))
+               return field_is_special_static (field->parent, field);
+       return SPECIAL_STATIC_NONE;
+}
+
 /**
  * mono_class_has_special_static_fields:
  * 
@@ -2845,7 +2927,11 @@ mono_field_static_set_value (MonoVTable *vt, MonoClassField *field, void *value)
 
        if (field->offset == -1) {
                /* Special static */
-               gpointer addr = g_hash_table_lookup (vt->domain->special_static_fields, field);
+               gpointer addr;
+
+               mono_domain_lock (vt->domain);
+               addr = g_hash_table_lookup (vt->domain->special_static_fields, field);
+               mono_domain_unlock (vt->domain);
                dest = mono_get_special_static_data (GPOINTER_TO_UINT (addr));
        } else {
                dest = (char*)vt->data + field->offset;
@@ -2860,6 +2946,30 @@ mono_vtable_get_static_field_data (MonoVTable *vt)
        return vt->data;
 }
 
+static guint8*
+mono_field_get_addr (MonoObject *obj, MonoVTable *vt, MonoClassField *field)
+{
+       guint8 *src;
+
+       if (field->type->attrs & FIELD_ATTRIBUTE_STATIC) {
+               if (field->offset == -1) {
+                       /* Special static */
+                       gpointer addr;
+
+                       mono_domain_lock (vt->domain);
+                       addr = g_hash_table_lookup (vt->domain->special_static_fields, field);
+                       mono_domain_unlock (vt->domain);
+                       src = mono_get_special_static_data (GPOINTER_TO_UINT (addr));
+               } else {
+                       src = (guint8*)vt->data + field->offset;
+               }
+       } else {
+               src = (guint8*)obj + field->offset;
+       }
+
+       return src;
+}
+
 /**
  * mono_field_get_value:
  * @obj: Object instance
@@ -2882,6 +2992,8 @@ mono_field_get_value (MonoObject *obj, MonoClassField *field, void *value)
 {
        void *src;
 
+       g_assert (obj);
+
        g_return_if_fail (!(field->type->attrs & FIELD_ATTRIBUTE_STATIC));
 
        src = (char*)obj + field->offset;
@@ -2907,8 +3019,15 @@ mono_field_get_value_object (MonoDomain *domain, MonoClassField *field, MonoObje
        gchar *v;
        gboolean is_static = FALSE;
        gboolean is_ref = FALSE;
+       gboolean is_literal = FALSE;
+       gboolean is_ptr = FALSE;
+       MonoError error;
+       MonoType *type = mono_field_get_type_checked (field, &error);
+
+       if (!mono_error_ok (&error))
+               mono_error_raise_exception (&error);
 
-       switch (field->type->type) {
+       switch (type->type) {
        case MONO_TYPE_STRING:
        case MONO_TYPE_OBJECT:
        case MONO_TYPE_CLASS:
@@ -2931,32 +3050,46 @@ mono_field_get_value_object (MonoDomain *domain, MonoClassField *field, MonoObje
        case MONO_TYPE_I8:
        case MONO_TYPE_R8:
        case MONO_TYPE_VALUETYPE:
-               is_ref = field->type->byref;
+               is_ref = type->byref;
                break;
        case MONO_TYPE_GENERICINST:
-               is_ref = !field->type->data.generic_class->container_class->valuetype;
+               is_ref = !mono_type_generic_inst_is_valuetype (type);
+               break;
+       case MONO_TYPE_PTR:
+               is_ptr = TRUE;
                break;
        default:
                g_error ("type 0x%x not handled in "
-                        "mono_field_get_value_object", field->type->type);
+                        "mono_field_get_value_object", type->type);
                return NULL;
        }
 
-       if (field->type->attrs & FIELD_ATTRIBUTE_STATIC) {
+       if (type->attrs & FIELD_ATTRIBUTE_LITERAL)
+               is_literal = TRUE;
+
+       if (type->attrs & FIELD_ATTRIBUTE_STATIC) {
                is_static = TRUE;
-               vtable = mono_class_vtable (domain, field->parent);
-               if (!vtable) {
-                       char *name = mono_type_get_full_name (field->parent);
-                       g_warning ("Could not retrieve the vtable for type %s in mono_field_get_value_object", name);
-                       g_free (name);
-                       return NULL;
+
+               if (!is_literal) {
+                       vtable = mono_class_vtable (domain, field->parent);
+                       if (!vtable) {
+                               char *name = mono_type_get_full_name (field->parent);
+                               /*FIXME extend this to use the MonoError api*/
+                               g_warning ("Could not retrieve the vtable for type %s in mono_field_get_value_object", name);
+                               g_free (name);
+                               return NULL;
+                       }
+                       if (!vtable->initialized)
+                               mono_runtime_class_init (vtable);
                }
-               if (!vtable->initialized)
-                       mono_runtime_class_init (vtable);
+       } else {
+               g_assert (obj);
        }
        
        if (is_ref) {
-               if (is_static) {
+               if (is_literal) {
+                       get_default_field_value (domain, field, &o);
+               } else if (is_static) {
                        mono_field_static_get_value (vtable, field, &o);
                } else {
                        mono_field_get_value (obj, field, &o);
@@ -2964,11 +3097,46 @@ mono_field_get_value_object (MonoDomain *domain, MonoClassField *field, MonoObje
                return o;
        }
 
+       if (is_ptr) {
+               static MonoMethod *m;
+               gpointer args [2];
+               gpointer *ptr;
+               gpointer v;
+
+               if (!m) {
+                       MonoClass *ptr_klass = mono_class_from_name_cached (mono_defaults.corlib, "System.Reflection", "Pointer");
+                       m = mono_class_get_method_from_name_flags (ptr_klass, "Box", 2, METHOD_ATTRIBUTE_STATIC);
+                       g_assert (m);
+               }
+
+               v = &ptr;
+               if (is_literal) {
+                       get_default_field_value (domain, field, v);
+               } else if (is_static) {
+                       mono_field_static_get_value (vtable, field, v);
+               } else {
+                       mono_field_get_value (obj, field, v);
+               }
+
+               /* MONO_TYPE_PTR is passed by value to runtime_invoke () */
+               args [0] = *ptr;
+               args [1] = mono_type_get_object (mono_domain_get (), type);
+
+               return mono_runtime_invoke (m, NULL, args, NULL);
+       }
+
        /* boxed value type */
-       klass = mono_class_from_mono_type (field->type);
+       klass = mono_class_from_mono_type (type);
+
+       if (mono_class_is_nullable (klass))
+               return mono_nullable_box (mono_field_get_addr (obj, vtable, field), klass);
+
        o = mono_object_new (domain, klass);
        v = ((gchar *) o) + sizeof (MonoObject);
-       if (is_static) {
+
+       if (is_literal) {
+               get_default_field_value (domain, field, v);
+       } else if (is_static) {
                mono_field_static_get_value (vtable, field, v);
        } else {
                mono_field_get_value (obj, field, v);
@@ -3032,6 +3200,28 @@ get_default_field_value (MonoDomain* domain, MonoClassField *field, void *value)
        mono_get_constant_value_from_blob (domain, def_type, data, value);
 }
 
+void
+mono_field_static_get_value_for_thread (MonoInternalThread *thread, MonoVTable *vt, MonoClassField *field, void *value)
+{
+       void *src;
+
+       g_return_if_fail (field->type->attrs & FIELD_ATTRIBUTE_STATIC);
+       
+       if (field->type->attrs & FIELD_ATTRIBUTE_LITERAL) {
+               get_default_field_value (vt->domain, field, value);
+               return;
+       }
+
+       if (field->offset == -1) {
+               /* Special static */
+               gpointer addr = g_hash_table_lookup (vt->domain->special_static_fields, field);
+               src = mono_get_special_static_data_for_thread (thread, GPOINTER_TO_UINT (addr));
+       } else {
+               src = (char*)vt->data + field->offset;
+       }
+       set_value (field->type, value, src, TRUE);
+}
+
 /**
  * mono_field_static_get_value:
  * @vt: vtable to the object
@@ -3051,23 +3241,7 @@ get_default_field_value (MonoDomain* domain, MonoClassField *field, void *value)
 void
 mono_field_static_get_value (MonoVTable *vt, MonoClassField *field, void *value)
 {
-       void *src;
-
-       g_return_if_fail (field->type->attrs & FIELD_ATTRIBUTE_STATIC);
-       
-       if (field->type->attrs & FIELD_ATTRIBUTE_LITERAL) {
-               get_default_field_value (vt->domain, field, value);
-               return;
-       }
-
-       if (field->offset == -1) {
-               /* Special static */
-               gpointer addr = g_hash_table_lookup (vt->domain->special_static_fields, field);
-               src = mono_get_special_static_data (GPOINTER_TO_UINT (addr));
-       } else {
-               src = (char*)vt->data + field->offset;
-       }
-       set_value (field->type, value, src, TRUE);
+       return mono_field_static_get_value_for_thread (mono_thread_internal_current (), vt, field, value);
 }
 
 /**
@@ -3179,7 +3353,7 @@ mono_nullable_box (guint8 *buf, MonoClass *klass)
  * mono_get_delegate_invoke:
  * @klass: The delegate class
  *
- * Returns: the MonoMethod for the "Invoke" method in the delegate klass
+ * Returns: the MonoMethod for the "Invoke" method in the delegate klass or NULL if @klass is a broken delegate type
  */
 MonoMethod *
 mono_get_delegate_invoke (MonoClass *klass)
@@ -3191,8 +3365,6 @@ mono_get_delegate_invoke (MonoClass *klass)
        if (klass->exception_type)
                return NULL;
        im = mono_class_get_method_from_name (klass, "Invoke", -1);
-       g_assert (im);
-
        return im;
 }
 
@@ -3247,26 +3419,13 @@ mono_runtime_get_main_args (void)
 }
 
 static void
-fire_process_exit_event (void)
+free_main_args (void)
 {
-       MonoClassField *field;
-       MonoDomain *domain = mono_domain_get ();
-       gpointer pa [2];
-       MonoObject *delegate, *exc;
-       
-       field = mono_class_get_field_from_name (mono_defaults.appdomain_class, "ProcessExit");
-       g_assert (field);
-
-       if (domain != mono_get_root_domain ())
-               return;
-
-       delegate = *(MonoObject **)(((char *)domain->domain) + field->offset); 
-       if (delegate == NULL)
-               return;
+       int i;
 
-       pa [0] = domain;
-       pa [1] = NULL;
-       mono_runtime_delegate_invoke (delegate, pa, &exc);
+       for (i = 0; i < num_main_args; ++i)
+               g_free (main_args [i]);
+       g_free (main_args);
 }
 
 /**
@@ -3290,7 +3449,7 @@ mono_runtime_run_main (MonoMethod *method, int argc, char* argv[],
        MonoArray *args = NULL;
        MonoDomain *domain = mono_domain_get ();
        gchar *utf8_fullpath;
-       int result;
+       MonoMethodSignature *sig;
 
        g_assert (method != NULL);
        
@@ -3345,7 +3504,14 @@ mono_runtime_run_main (MonoMethod *method, int argc, char* argv[],
        }
        argc--;
        argv++;
-       if (mono_method_signature (method)->param_count) {
+
+       sig = mono_method_signature (method);
+       if (!sig) {
+               g_print ("Unable to load Main method.\n");
+               exit (-1);
+       }
+
+       if (sig->param_count) {
                args = (MonoArray*)mono_array_new (domain, mono_defaults.string_class, argc);
                for (i = 0; i < argc; ++i) {
                        /* The encodings should all work, given that
@@ -3363,9 +3529,7 @@ mono_runtime_run_main (MonoMethod *method, int argc, char* argv[],
        
        mono_assembly_set_main (method->klass->image->assembly);
 
-       result = mono_runtime_exec_main (method, args, exc);
-       fire_process_exit_event ();
-       return result;
+       return mono_runtime_exec_main (method, args, exc);
 }
 
 static MonoObject*
@@ -3626,7 +3790,7 @@ mono_unhandled_exception (MonoObject *exc)
                gboolean abort_process = (main_thread && (mono_thread_internal_current () == main_thread->internal_thread)) ||
                                (mono_runtime_unhandled_exception_policy_get () == MONO_UNHANDLED_POLICY_CURRENT);
                root_appdomain_delegate = *(MonoObject **)(((char *)root_domain->domain) + field->offset);
-               if (current_domain != root_domain && (mono_framework_version () >= 2)) {
+               if (current_domain != root_domain) {
                        current_appdomain_delegate = *(MonoObject **)(((char *)current_domain->domain) + field->offset);
                } else {
                        current_appdomain_delegate = NULL;
@@ -3648,7 +3812,12 @@ mono_unhandled_exception (MonoObject *exc)
        }
 }
 
-/*
+/**
+ * mono_runtime_exec_managed_code:
+ * @domain: Application domain
+ * @main_func: function to invoke from the execution thread
+ * @main_args: parameter to the main_func
+ *
  * Launch a new thread to execute a function
  *
  * main_func is called back from the thread with main_args as the
@@ -3720,8 +3889,6 @@ mono_runtime_exec_main (MonoMethod *method, MonoArray *args, MonoObject **exc)
        }
        if (has_stathread_attribute) {
                thread->apartment_state = ThreadApartmentState_STA;
-       } else if (mono_framework_version () == 1) {
-               thread->apartment_state = ThreadApartmentState_Unknown;
        } else {
                thread->apartment_state = ThreadApartmentState_MTA;
        }
@@ -3918,6 +4085,7 @@ mono_runtime_invoke_array (MonoMethod *method, void *obj, MonoArray *params,
 
                if (!obj) {
                        obj = mono_object_new (mono_domain_get (), method->klass);
+                       g_assert (obj); /*maybe we should raise a TLE instead?*/
                        if (mono_object_class(obj) == mono_defaults.transparent_proxy_class) {
                                method = mono_marshal_get_remoting_invoke (method->slot == -1 ? method : method->klass->vtable [method->slot]);
                        }
@@ -4058,6 +4226,29 @@ mono_object_new (MonoDomain *domain, MonoClass *klass)
        return mono_object_new_specific (vtable);
 }
 
+/**
+ * mono_object_new_pinned:
+ *
+ *   Same as mono_object_new, but the returned object will be pinned.
+ * For SGEN, these objects will only be freed at appdomain unload.
+ */
+MonoObject *
+mono_object_new_pinned (MonoDomain *domain, MonoClass *klass)
+{
+       MonoVTable *vtable;
+
+       MONO_ARCH_SAVE_REGS;
+       vtable = mono_class_vtable (domain, klass);
+       if (!vtable)
+               return NULL;
+
+#ifdef HAVE_SGEN_GC
+       return mono_gc_alloc_pinned_obj (vtable, mono_class_instance_size (klass));
+#else
+       return mono_object_new_specific (vtable);
+#endif
+}
+
 /**
  * mono_object_new_specific:
  * @vtable: the vtable of the object that we want to create
@@ -4266,7 +4457,7 @@ mono_object_clone (MonoObject *obj)
 void
 mono_array_full_copy (MonoArray *src, MonoArray *dest)
 {
-       mono_array_size_t size;
+       uintptr_t size;
        MonoClass *klass = src->obj.vtable->klass;
 
        MONO_ARCH_SAVE_REGS;
@@ -4302,8 +4493,8 @@ MonoArray*
 mono_array_clone_in_domain (MonoDomain *domain, MonoArray *array)
 {
        MonoArray *o;
-       mono_array_size_t size, i;
-       mono_array_size_t *sizes;
+       uintptr_t size, i;
+       uintptr_t *sizes;
        MonoClass *klass = array->obj.vtable->klass;
 
        MONO_ARCH_SAVE_REGS;
@@ -4328,14 +4519,14 @@ mono_array_clone_in_domain (MonoDomain *domain, MonoArray *array)
                return o;
        }
        
-       sizes = alloca (klass->rank * sizeof(mono_array_size_t) * 2);
+       sizes = alloca (klass->rank * sizeof(intptr_t) * 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 (domain, klass, sizes, sizes + klass->rank);
+       o = mono_array_new_full (domain, klass, sizes, (intptr_t*)sizes + klass->rank);
 #ifdef HAVE_SGEN_GC
        if (klass->element_class->valuetype) {
                if (klass->element_class->has_references)
@@ -4384,9 +4575,9 @@ mono_array_clone (MonoArray *array)
 #endif
 
 gboolean
-mono_array_calc_byte_len (MonoClass *class, mono_array_size_t len, mono_array_size_t *res)
+mono_array_calc_byte_len (MonoClass *class, uintptr_t len, uintptr_t *res)
 {
-       mono_array_size_t byte_len;
+       uintptr_t byte_len;
 
        byte_len = mono_array_element_size (class);
        if (CHECK_MUL_OVERFLOW_UN (byte_len, len))
@@ -4412,9 +4603,9 @@ mono_array_calc_byte_len (MonoClass *class, mono_array_size_t len, mono_array_si
  * lower bounds and type.
  */
 MonoArray*
-mono_array_new_full (MonoDomain *domain, MonoClass *array_class, mono_array_size_t *lengths, mono_array_size_t *lower_bounds)
+mono_array_new_full (MonoDomain *domain, MonoClass *array_class, uintptr_t *lengths, intptr_t *lower_bounds)
 {
-       mono_array_size_t byte_len, len, bounds_size;
+       uintptr_t byte_len, len, bounds_size;
        MonoObject *o;
        MonoArray *array;
        MonoArrayBounds *bounds;
@@ -4514,7 +4705,7 @@ mono_array_new_full (MonoDomain *domain, MonoClass *array_class, mono_array_size
  * This routine creates a new szarray with @n elements of type @eclass.
  */
 MonoArray *
-mono_array_new (MonoDomain *domain, MonoClass *eclass, mono_array_size_t n)
+mono_array_new (MonoDomain *domain, MonoClass *eclass, uintptr_t n)
 {
        MonoClass *ac;
 
@@ -4535,11 +4726,11 @@ mono_array_new (MonoDomain *domain, MonoClass *eclass, mono_array_size_t n)
  * can be sure about the domain it operates in.
  */
 MonoArray *
-mono_array_new_specific (MonoVTable *vtable, mono_array_size_t n)
+mono_array_new_specific (MonoVTable *vtable, uintptr_t n)
 {
        MonoObject *o;
        MonoArray *ao;
-       guint32 byte_len;
+       uintptr_t byte_len;
 
        MONO_ARCH_SAVE_REGS;
 
@@ -5009,8 +5200,10 @@ mono_string_get_pinned (MonoString *str)
        MonoString *news;
        size = sizeof (MonoString) + 2 * (mono_string_length (str) + 1);
        news = mono_gc_alloc_pinned_obj (((MonoObject*)str)->vtable, size);
-       memcpy (mono_string_chars (news), mono_string_chars (str), mono_string_length (str) * 2);
-       news->length = mono_string_length (str);
+       if (news) {
+               memcpy (mono_string_chars (news), mono_string_chars (str), mono_string_length (str) * 2);
+               news->length = mono_string_length (str);
+       }
        return news;
 }
 
@@ -5034,7 +5227,8 @@ mono_string_is_interned_lookup (MonoString *str, int insert)
        }
        if (insert) {
                str = mono_string_get_pinned (str);
-               mono_g_hash_table_insert (ldstr_table, str, str);
+               if (str)
+                       mono_g_hash_table_insert (ldstr_table, str, str);
                ldstr_unlock ();
                return str;
        } else {
@@ -5099,8 +5293,6 @@ mono_ldstr (MonoDomain *domain, MonoImage *image, guint32 idx)
 
        if (image->dynamic) {
                MonoString *str = mono_lookup_dynamic_token (image, MONO_TOKEN_STRING | idx, NULL);
-               if (mono_profiler_events & MONO_PROFILE_STRING_ALLOC)
-                       mono_profiler_string_allocation (domain, str);
                return str;
        } else {
                if (!mono_verifier_verify_string_signature (image, idx, NULL))
@@ -5145,12 +5337,10 @@ mono_ldstr_metadata_sig (MonoDomain *domain, const char* sig)
        }
 
        o = mono_string_get_pinned (o);
-       mono_g_hash_table_insert (domain->ldstr_table, o, o);
+       if (o)
+               mono_g_hash_table_insert (domain->ldstr_table, o, o);
        ldstr_unlock ();
 
-       if (mono_profiler_events & MONO_PROFILE_STRING_ALLOC)
-               mono_profiler_string_allocation (domain, o);
-
        return o;
 }
 
@@ -5158,8 +5348,8 @@ mono_ldstr_metadata_sig (MonoDomain *domain, const char* sig)
  * mono_string_to_utf8:
  * @s: a System.String
  *
- * Return the UTF8 representation for @s.
- * the resulting buffer nedds to be freed with g_free().
+ * Returns the UTF8 representation for @s.
+ * The resulting buffer needs to be freed with mono_free().
  *
  * @deprecated Use mono_string_to_utf8_checked to avoid having an exception arbritraly raised.
  */
@@ -5174,6 +5364,15 @@ mono_string_to_utf8 (MonoString *s)
        return result;
 }
 
+/**
+ * mono_string_to_utf8_checked:
+ * @s: a System.String
+ * @error: a MonoError.
+ * 
+ * Converts a MonoString to its UTF8 representation. May fail; check 
+ * @error to determine whether the conversion was successful.
+ * The resulting buffer should be freed with mono_free().
+ */
 char *
 mono_string_to_utf8_checked (MonoString *s, MonoError *error)
 {
@@ -5216,7 +5415,7 @@ mono_string_to_utf8_checked (MonoString *s, MonoError *error)
  * This is a temporary helper until our string implementation
  * is reworked to always include the null terminating char.
  */
-gunichar2 *
+mono_unichar2*
 mono_string_to_utf16 (MonoString *s)
 {
        char *as;
@@ -5628,6 +5827,29 @@ mono_message_invoke (MonoObject *target, MonoMethodMessage *msg,
        return ret;
 }
 
+/**
+ * mono_object_to_string:
+ * @obj: The object
+ * @exc: Any exception thrown by ToString (). May be NULL.
+ *
+ * Returns: the result of calling ToString () on an object.
+ */
+MonoString *
+mono_object_to_string (MonoObject *obj, MonoObject **exc)
+{
+       static MonoMethod *to_string = NULL;
+       MonoMethod *method;
+
+       g_assert (obj);
+
+       if (!to_string)
+               to_string = mono_class_get_method_from_name_flags (mono_get_object_class (), "ToString", 0, METHOD_ATTRIBUTE_VIRTUAL | METHOD_ATTRIBUTE_PUBLIC);
+
+       method = mono_object_get_virtual_method (obj, to_string);
+
+       return (MonoString *) mono_runtime_invoke (method, obj, NULL, exc);
+}
+
 /**
  * mono_print_unhandled_exception:
  * @exc: The exception
@@ -5637,35 +5859,25 @@ mono_message_invoke (MonoObject *target, MonoMethodMessage *msg,
 void
 mono_print_unhandled_exception (MonoObject *exc)
 {
-       MonoError error;
-       char *message = (char *) "";
-       MonoString *str; 
-       MonoMethod *method;
-       MonoClass *klass;
+       MonoString * str;
+       char *message = (char*)"";
        gboolean free_message = FALSE;
+       MonoError error;
 
-       if (mono_object_isinst (exc, mono_defaults.exception_class)) {
-               klass = exc->vtable->klass;
-               method = NULL;
-               while (klass && method == NULL) {
-                       method = mono_class_get_method_from_name_flags (klass, "ToString", 0, METHOD_ATTRIBUTE_VIRTUAL | METHOD_ATTRIBUTE_PUBLIC);
-                       if (method == NULL)
-                               klass = klass->parent;
-               }
-
-               g_assert (method);
-
-               str = (MonoString *) mono_runtime_invoke (method, exc, NULL, NULL);
+       if (exc == (MonoObject*)mono_object_domain (exc)->out_of_memory_ex) {
+               message = g_strdup ("OutOfMemoryException");
+       } else {
+               str = mono_object_to_string (exc, NULL);
                if (str) {
                        message = mono_string_to_utf8_checked (str, &error);
                        if (!mono_error_ok (&error)) {
                                mono_error_cleanup (&error);
-                               message = (char *)"";
+                               message = (char *) "";
                        } else {
                                free_message = TRUE;
                        }
                }
-       }                               
+       }
 
        /*
         * g_printerr ("\nUnhandled Exception: %s.%s: %s\n", exc->vtable->klass->name_space, 
@@ -6117,7 +6329,6 @@ mono_get_addr_from_ftnptr (gpointer descr)
        return callbacks.get_addr_from_ftnptr (descr);
 }      
 
-#if 0
 /**
  * mono_string_chars:
  * @s: a MonoString
@@ -6125,9 +6336,9 @@ mono_get_addr_from_ftnptr (gpointer descr)
  * Returns a pointer to the UCS16 characters stored in the MonoString
  */
 gunichar2 *
-mono_string_chars(MonoString *s)
+mono_string_chars (MonoString *s)
 {
-       /* This method is here only for documentation extraction, this is a macro */
+       return s->chars;
 }
 
 /**
@@ -6139,7 +6350,33 @@ mono_string_chars(MonoString *s)
 int
 mono_string_length (MonoString *s)
 {
-       /* This method is here only for documentation extraction, this is a macro */
+       return s->length;
+}
+
+/**
+ * mono_array_length:
+ * @array: a MonoArray*
+ *
+ * Returns the total number of elements in the array. This works for
+ * both vectors and multidimensional arrays.
+ */
+uintptr_t
+mono_array_length (MonoArray *array)
+{
+       return array->max_length;
+}
+
+/**
+ * mono_array_addr_with_size:
+ * @array: a MonoArray*
+ * @size: size of the array elements
+ * @idx: index into the array
+ *
+ * Returns the address of the @idx element in the array.
+ */
+char*
+mono_array_addr_with_size (MonoArray *array, int size, uintptr_t idx)
+{
+       return ((char*)(array)->vector) + size * idx;
 }
 
-#endif