2009-08-10 Gonzalo Paniagua Javier <gonzalo@novell.com>
[mono.git] / mono / metadata / domain.c
index bdfd0be32eb19d31560fd02169a74f1d7ccb4eb6..ebe13ad5568b4122f417702af92ce394563b8917 100644 (file)
@@ -5,7 +5,8 @@
  *     Dietmar Maurer (dietmar@ximian.com)
  *     Patrik Torstensson
  *
- * (C) 2001 Ximian, Inc.
+ * Copyright 2001-2003 Ximian, Inc (http://www.ximian.com)
+ * Copyright 2004-2009 Novell, Inc (http://www.novell.com)
  */
 
 #include <config.h>
@@ -25,7 +26,6 @@
 #include <mono/metadata/class-internals.h>
 #include <mono/metadata/assembly.h>
 #include <mono/metadata/exception.h>
-#include <mono/metadata/rawbuffer.h>
 #include <mono/metadata/metadata-internals.h>
 #include <mono/metadata/gc-internal.h>
 #include <mono/metadata/appdomain.h>
  * but we can't depend on this).
  */
 static guint32 appdomain_thread_id = -1;
+
+/* 
+ * Avoid calling TlsSetValue () if possible, since in the io-layer, it acquires
+ * a global lock (!) so it is a contention point.
+ */
+#if (defined(__i386__) || defined(__x86_64__)) && !defined(PLATFORM_WIN32)
+#define NO_TLS_SET_VALUE
+#endif
  
 #ifdef HAVE_KW_THREAD
+
 static __thread MonoDomain * tls_appdomain MONO_TLS_FAST;
+
 #define GET_APPDOMAIN() tls_appdomain
+
+#ifdef NO_TLS_SET_VALUE
+#define SET_APPDOMAIN(x) do { \
+       tls_appdomain = x; \
+} while (FALSE)
+#else
 #define SET_APPDOMAIN(x) do { \
        tls_appdomain = x; \
        TlsSetValue (appdomain_thread_id, x); \
 } while (FALSE)
+#endif
 
-#else
+#else /* !HAVE_KW_THREAD */
 
 #define GET_APPDOMAIN() ((MonoDomain *)TlsGetValue (appdomain_thread_id))
 #define SET_APPDOMAIN(x) TlsSetValue (appdomain_thread_id, x);
@@ -115,6 +132,7 @@ static const MonoRuntimeInfo supported_runtimes[] = {
        {"v1.1.4322", "1.0", { {1,0,5000,0}, {7,0,5000,0} }     },
        {"v2.0.50215","2.0", { {2,0,0,0},    {8,0,0,0} }        },
        {"v2.0.50727","2.0", { {2,0,0,0},    {8,0,0,0} }        },
+       {"v4.0.20506","4.0", { {4,0,0,0},    {10,0,0,0} }   },
        {"moonlight", "2.1", { {2,0,5,0},    {9,0,0,0} }    },
 };
 
@@ -122,6 +140,10 @@ static const MonoRuntimeInfo supported_runtimes[] = {
 /* The stable runtime version */
 #define DEFAULT_RUNTIME_VERSION "v1.1.4322"
 
+/* Callbacks installed by the JIT */
+static MonoCreateDomainFunc create_domain_hook;
+static MonoFreeDomainFunc free_domain_hook;
+
 /* This is intentionally not in the header file, so people don't misuse it. */
 extern void _mono_debug_init_corlib (MonoDomain *domain);
 
@@ -137,7 +159,12 @@ mono_jit_info_find_aot_module (guint8* addr);
 guint32
 mono_domain_get_tls_key (void)
 {
+#ifdef NO_TLS_SET_VALUE
+       g_assert_not_reached ();
+       return 0;
+#else
        return appdomain_thread_id;
+#endif
 }
 
 gint32
@@ -398,13 +425,14 @@ mono_jit_info_table_find (MonoDomain *domain, char *addr)
                           beyond what we're looking for, we have to end the
                           search. */
                        if ((gint8*)addr < (gint8*)ji->code_start)
-                               break;
+                               goto not_found;
                }
 
                ++chunk_pos;
                pos = 0;
-        } while (chunk_pos < table->num_chunks);
+       } while (chunk_pos < table->num_chunks);
 
+ not_found:
        mono_hazard_pointer_clear (hp, JIT_INFO_TABLE_HAZARD_INDEX);
        mono_hazard_pointer_clear (hp, JIT_INFO_HAZARD_INDEX);
 
@@ -997,6 +1025,18 @@ mono_jit_info_set_generic_sharing_context (MonoJitInfo *ji, MonoGenericSharingCo
 
        gi->generic_sharing_context = gsctx;
 }
+void
+mono_install_create_domain_hook (MonoCreateDomainFunc func)
+{
+       create_domain_hook = func;
+}
+
+void
+mono_install_free_domain_hook (MonoFreeDomainFunc func)
+{
+       free_domain_hook = func;
+}
 
 /**
  * mono_string_equal:
@@ -1143,6 +1183,8 @@ mono_domain_create (void)
        domain->friendly_name = NULL;
        domain->search_path = NULL;
 
+       mono_gc_register_root ((char*)&(domain->MONO_DOMAIN_FIRST_GC_TRACKED), G_STRUCT_OFFSET (MonoDomain, MONO_DOMAIN_LAST_GC_TRACKED) - G_STRUCT_OFFSET (MonoDomain, MONO_DOMAIN_FIRST_GC_TRACKED), NULL);
+
        mono_profiler_appdomain_event (domain, MONO_PROFILE_START_LOAD);
 
        domain->mp = mono_mempool_new ();
@@ -1153,28 +1195,34 @@ mono_domain_create (void)
        domain->proxy_vtable_hash = g_hash_table_new ((GHashFunc)mono_ptrarray_hash, (GCompareFunc)mono_ptrarray_equal);
        domain->static_data_array = NULL;
        mono_jit_code_hash_init (&domain->jit_code_hash);
-       domain->ldstr_table = mono_g_hash_table_new ((GHashFunc)mono_string_hash, (GCompareFunc)mono_string_equal);
+       domain->ldstr_table = mono_g_hash_table_new_type ((GHashFunc)mono_string_hash, (GCompareFunc)mono_string_equal, MONO_HASH_KEY_VALUE_GC);
        domain->num_jit_info_tables = 1;
        domain->jit_info_table = jit_info_table_new (domain);
        domain->jit_info_free_queue = NULL;
-       domain->class_init_trampoline_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
-       domain->jump_trampoline_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
        domain->finalizable_objects_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
-       domain->jit_trampoline_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
-       domain->delegate_trampoline_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
+#ifndef HAVE_SGEN_GC
+       domain->track_resurrection_handles_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
+#endif
 
        InitializeCriticalSection (&domain->lock);
        InitializeCriticalSection (&domain->assemblies_lock);
+       InitializeCriticalSection (&domain->jit_code_hash_lock);
+       InitializeCriticalSection (&domain->finalizable_objects_hash_lock);
 
-       domain->shared_generics_hash = NULL;
        domain->method_rgctx_hash = NULL;
 
        mono_appdomains_lock ();
        domain_id_alloc (domain);
        mono_appdomains_unlock ();
 
+       mono_perfcounters->loader_appdomains++;
+       mono_perfcounters->loader_total_appdomains++;
+
        mono_debug_domain_create (domain);
 
+       if (create_domain_hook)
+               create_domain_hook (domain);
+
        mono_profiler_appdomain_loaded (domain, MONO_PROFILE_OK);
        
        return domain;
@@ -1225,7 +1273,6 @@ mono_init_internal (const char *filename, const char *exe_filename, const char *
        InitializeCriticalSection (&appdomains_mutex);
 
        mono_metadata_init ();
-       mono_raw_buffer_init ();
        mono_images_init ();
        mono_assemblies_init ();
        mono_classes_init ();
@@ -1279,8 +1326,8 @@ mono_init_internal (const char *filename, const char *exe_filename, const char *
        }
        
        /* Now that we have a runtime, set the policy for unhandled exceptions */
-       if (mono_get_runtime_info ()->framework_version [0] < '2') {
-               mono_runtime_unhandled_exception_policy_set (MONO_UNHANLED_POLICY_LEGACY);
+       if (mono_framework_version () < 2) {
+               mono_runtime_unhandled_exception_policy_set (MONO_UNHANDLED_POLICY_LEGACY);
        }
 
        if ((status != MONO_IMAGE_OK) || (ass == NULL)) {
@@ -1519,6 +1566,9 @@ mono_init_internal (const char *filename, const char *exe_filename, const char *
        mono_defaults.internals_visible_class = mono_class_from_name (
                mono_defaults.corlib, "System.Runtime.CompilerServices", "InternalsVisibleToAttribute");
 
+       mono_defaults.critical_finalizer_object = mono_class_from_name (
+               mono_defaults.corlib, "System.Runtime.ConstrainedExecution", "CriticalFinalizerObject");
+
        /*
         * mscorlib needs a little help, only now it can load its friends list (after we have
         * loaded the InternalsVisibleToAttribute), load it now
@@ -1666,7 +1716,6 @@ mono_cleanup (void)
        mono_assemblies_cleanup ();
        mono_images_cleanup ();
        mono_debug_cleanup ();
-       mono_raw_buffer_cleanup ();
        mono_metadata_cleanup ();
 
        TlsFree (appdomain_thread_id);
@@ -1708,6 +1757,28 @@ mono_domain_get ()
        return GET_APPDOMAIN ();
 }
 
+void
+mono_domain_set_internal_with_options (MonoDomain *domain, gboolean migrate_exception)
+{
+       MonoThread *thread;
+
+       if (mono_domain_get () == domain)
+               return;
+
+       SET_APPDOMAIN (domain);
+       SET_APPCONTEXT (domain->default_context);
+
+       if (migrate_exception) {
+               thread = mono_thread_current ();
+               if (!thread->abort_exc)
+                       return;
+
+               g_assert (thread->abort_exc->object.vtable->domain != domain);
+               MONO_OBJECT_SETREF (thread, abort_exc, mono_get_exception_thread_abort ());
+               g_assert (thread->abort_exc->object.vtable->domain == domain);
+       }
+}
+
 /**
  * mono_domain_set_internal:
  * @domain: the new domain
@@ -1717,8 +1788,7 @@ mono_domain_get ()
 void
 mono_domain_set_internal (MonoDomain *domain)
 {
-       SET_APPDOMAIN (domain);
-       SET_APPCONTEXT (domain->default_context);
+       mono_domain_set_internal_with_options (domain, TRUE);
 }
 
 void
@@ -1756,6 +1826,7 @@ mono_domain_foreach (MonoDomainFunc func, gpointer user_data)
 MonoAssembly *
 mono_domain_assembly_open (MonoDomain *domain, const char *name)
 {
+       MonoDomain *current;
        MonoAssembly *ass;
        GSList *tmp;
 
@@ -1769,42 +1840,21 @@ mono_domain_assembly_open (MonoDomain *domain, const char *name)
        }
        mono_domain_assemblies_unlock (domain);
 
-       if (!(ass = mono_assembly_open (name, NULL)))
-               return NULL;
+       if (domain != mono_domain_get ()) {
+               current = mono_domain_get ();
 
-       return ass;
-}
-
-MonoJitInfo*
-mono_domain_lookup_shared_generic (MonoDomain *domain, MonoMethod *method)
-{
-       if (!domain->shared_generics_hash)
-               return NULL;
-
-       return g_hash_table_lookup (domain->shared_generics_hash, method);
-}
-
-void
-mono_domain_register_shared_generic (MonoDomain *domain, MonoMethod *method, MonoJitInfo *jit_info)
-{
-       if (!domain->shared_generics_hash)
-               domain->shared_generics_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
-
-       g_assert (domain->shared_generics_hash);
-
-       g_hash_table_insert (domain->shared_generics_hash, method, jit_info);
-}
+               mono_domain_set (domain, FALSE);
+               ass = mono_assembly_open (name, NULL);
+               mono_domain_set (current, FALSE);
+       } else {
+               ass = mono_assembly_open (name, NULL);
+       }
 
-static void
-dynamic_method_info_free (gpointer key, gpointer value, gpointer user_data)
-{
-       MonoJitDynamicMethodInfo *di = value;
-       mono_code_manager_destroy (di->code_mp);
-       g_free (di);
+       return ass;
 }
 
 static void
-delete_jump_list (gpointer key, gpointer value, gpointer user_data)
+free_slist (gpointer key, gpointer value, gpointer user_data)
 {
        g_slist_free (value);
 }
@@ -1824,8 +1874,13 @@ mono_domain_free (MonoDomain *domain, gboolean force)
 
        mono_profiler_appdomain_event (domain, MONO_PROFILE_START_UNLOAD);
 
+       if (free_domain_hook)
+               free_domain_hook (domain);
+
        mono_debug_domain_unload (domain);
 
+       mono_gc_clear_domain (domain);
+
        mono_appdomains_lock ();
        appdomains_list [domain->domain_id] = NULL;
        mono_appdomains_unlock ();
@@ -1869,11 +1924,6 @@ mono_domain_free (MonoDomain *domain, gboolean force)
                domain->static_data_array = NULL;
        }
        mono_internal_hash_table_destroy (&domain->jit_code_hash);
-       if (domain->dynamic_code_hash) {
-               g_hash_table_foreach (domain->dynamic_code_hash, dynamic_method_info_free, NULL);
-               g_hash_table_destroy (domain->dynamic_code_hash);
-               domain->dynamic_code_hash = NULL;
-       }
        mono_g_hash_table_destroy (domain->ldstr_table);
        domain->ldstr_table = NULL;
 
@@ -1898,48 +1948,45 @@ mono_domain_free (MonoDomain *domain, gboolean force)
        mono_mempool_invalidate (domain->mp);
        mono_code_manager_invalidate (domain->code_mp);
 #else
+       mono_perfcounters->loader_bytes -= mono_mempool_get_allocated (domain->mp);
        mono_mempool_destroy (domain->mp);
        domain->mp = NULL;
        mono_code_manager_destroy (domain->code_mp);
        domain->code_mp = NULL;
 #endif 
-       if (domain->jump_target_hash) {
-               g_hash_table_foreach (domain->jump_target_hash, delete_jump_list, NULL);
-               g_hash_table_destroy (domain->jump_target_hash);
-               domain->jump_target_hash = NULL;
-       }
+
+       mono_reflection_cleanup_domain (domain);
+       
        if (domain->type_hash) {
                mono_g_hash_table_destroy (domain->type_hash);
                domain->type_hash = NULL;
        }
-       if (domain->refobject_hash) {
-               mono_g_hash_table_destroy (domain->refobject_hash);
-               domain->refobject_hash = NULL;
-       }
        if (domain->type_init_exception_hash) {
                mono_g_hash_table_destroy (domain->type_init_exception_hash);
                domain->type_init_exception_hash = NULL;
        }
-       g_hash_table_destroy (domain->class_init_trampoline_hash);
-       domain->class_init_trampoline_hash = NULL;
-       g_hash_table_destroy (domain->jump_trampoline_hash);
-       domain->jump_trampoline_hash = NULL;
        g_hash_table_destroy (domain->finalizable_objects_hash);
        domain->finalizable_objects_hash = NULL;
-       g_hash_table_destroy (domain->jit_trampoline_hash);
-       domain->jit_trampoline_hash = NULL;
-       g_hash_table_destroy (domain->delegate_trampoline_hash);
-       domain->delegate_trampoline_hash = NULL;
-       if (domain->shared_generics_hash) {
-               g_hash_table_destroy (domain->shared_generics_hash);
-               domain->shared_generics_hash = NULL;
+#ifndef HAVE_SGEN_GC
+       if (domain->track_resurrection_objects_hash) {
+               g_hash_table_foreach (domain->track_resurrection_objects_hash, free_slist, NULL);
+               g_hash_table_destroy (domain->track_resurrection_objects_hash);
        }
+       if (domain->track_resurrection_handles_hash)
+               g_hash_table_destroy (domain->track_resurrection_handles_hash);
+#endif
        if (domain->method_rgctx_hash) {
                g_hash_table_destroy (domain->method_rgctx_hash);
                domain->method_rgctx_hash = NULL;
        }
+       if (domain->generic_virtual_cases) {
+               g_hash_table_destroy (domain->generic_virtual_cases);
+               domain->generic_virtual_cases = NULL;
+       }
 
+       DeleteCriticalSection (&domain->finalizable_objects_hash_lock);
        DeleteCriticalSection (&domain->assemblies_lock);
+       DeleteCriticalSection (&domain->jit_code_hash_lock);
        DeleteCriticalSection (&domain->lock);
        domain->setup = NULL;
 
@@ -1949,6 +1996,8 @@ mono_domain_free (MonoDomain *domain, gboolean force)
 
        mono_gc_free_fixed (domain);
 
+       mono_perfcounters->loader_appdomains--;
+
        if ((domain == mono_root_domain))
                mono_root_domain = NULL;
 }
@@ -1980,6 +2029,107 @@ mono_domain_get_id (MonoDomain *domain)
        return domain->domain_id;
 }
 
+/*
+ * mono_domain_alloc:
+ *
+ * LOCKING: Acquires the domain lock.
+ */
+gpointer
+mono_domain_alloc (MonoDomain *domain, guint size)
+{
+       gpointer res;
+
+       mono_domain_lock (domain);
+       mono_perfcounters->loader_bytes += size;
+       res = mono_mempool_alloc (domain->mp, size);
+       mono_domain_unlock (domain);
+
+       return res;
+}
+
+/*
+ * mono_domain_alloc0:
+ *
+ * LOCKING: Acquires the domain lock.
+ */
+gpointer
+mono_domain_alloc0 (MonoDomain *domain, guint size)
+{
+       gpointer res;
+
+       mono_domain_lock (domain);
+       mono_perfcounters->loader_bytes += size;
+       res = mono_mempool_alloc0 (domain->mp, size);
+       mono_domain_unlock (domain);
+
+       return res;
+}
+
+/*
+ * mono_domain_code_reserve:
+ *
+ * LOCKING: Acquires the domain lock.
+ */
+void*
+mono_domain_code_reserve (MonoDomain *domain, int size)
+{
+       gpointer res;
+
+       mono_domain_lock (domain);
+       res = mono_code_manager_reserve (domain->code_mp, size);
+       mono_domain_unlock (domain);
+
+       return res;
+}
+
+/*
+ * mono_domain_code_reserve_align:
+ *
+ * LOCKING: Acquires the domain lock.
+ */
+void*
+mono_domain_code_reserve_align (MonoDomain *domain, int size, int alignment)
+{
+       gpointer res;
+
+       mono_domain_lock (domain);
+       res = mono_code_manager_reserve_align (domain->code_mp, size, alignment);
+       mono_domain_unlock (domain);
+
+       return res;
+}
+
+/*
+ * mono_domain_code_commit:
+ *
+ * LOCKING: Acquires the domain lock.
+ */
+void
+mono_domain_code_commit (MonoDomain *domain, void *data, int size, int newsize)
+{
+       mono_domain_lock (domain);
+       mono_code_manager_commit (domain->code_mp, data, size, newsize);
+       mono_domain_unlock (domain);
+}
+
+/*
+ * mono_domain_code_foreach:
+ * Iterate over the code thunks of the code manager of @domain.
+ * 
+ * The @func callback MUST not take any locks. If it really needs to, it must respect
+ * the locking rules of the runtime: http://www.mono-project.com/Mono:Runtime:Documentation:ThreadSafety 
+ * LOCKING: Acquires the domain lock.
+ */
+
+void
+mono_domain_code_foreach (MonoDomain *domain, MonoCodeManagerFunc func, void *user_data)
+{
+       mono_domain_lock (domain);
+       mono_code_manager_foreach (domain->code_mp, func, user_data);
+       mono_domain_unlock (domain);
+}
+
+
 void 
 mono_context_set (MonoAppContext * new_context)
 {
@@ -2227,7 +2377,6 @@ app_config_parse (const char *exe_filename)
        GMarkupParseContext *context;
        char *text;
        gsize len;
-       struct stat buf;
        const char *bundled_config;
        char *config_filename;
 
@@ -2239,11 +2388,6 @@ app_config_parse (const char *exe_filename)
        } else {
                config_filename = g_strconcat (exe_filename, ".config", NULL);
 
-               if (stat (config_filename, &buf) != 0) {
-                       g_free (config_filename);
-                       return NULL;
-               }
-       
                if (!g_file_get_contents (config_filename, &text, &len, NULL)) {
                        g_free (config_filename);
                        return NULL;
@@ -2384,3 +2528,15 @@ mono_debugger_check_runtime_version (const char *filename)
 
        return NULL;
 }
+
+/**
+ * mono_framework_version:
+ *
+ * Return the major version of the framework curently executing.
+ */
+int
+mono_framework_version (void)
+{
+       return current_runtime->framework_version [0] - '0';
+}
+