* roottypes.cs: Rename from tree.cs.
[mono.git] / mono / metadata / domain.c
index e3734ccdd4526871201bf4891c3abfb8b76dc2e6..59098db4706daabf1952e0f5685c4ac0aa6ebe9c 100644 (file)
@@ -1,4 +1,3 @@
-
 /*
  * domain.c: MonoDomain functions
  *
@@ -17,6 +16,7 @@
 #include <mono/os/gc_wrapper.h>
 
 #include <mono/utils/mono-compiler.h>
+#include <mono/utils/mono-logger.h>
 #include <mono/metadata/object.h>
 #include <mono/metadata/object-internals.h>
 #include <mono/metadata/domain-internals.h>
@@ -27,8 +27,8 @@
 #include <mono/metadata/rawbuffer.h>
 #include <mono/metadata/metadata-internals.h>
 #include <mono/metadata/gc-internal.h>
-#include <mono/metadata/mono-debug-debugger.h>
 #include <mono/metadata/appdomain.h>
+#include <mono/metadata/mono-debug-debugger.h>
 #include <metadata/threads.h>
 
 /* #define DEBUG_DOMAIN_UNLOAD */
@@ -56,12 +56,14 @@ static __thread MonoDomain * tls_appdomain MONO_TLS_FAST;
 #endif
 
 #define GET_APPCONTEXT() (mono_thread_current ()->current_appcontext)
-#define SET_APPCONTEXT(x) mono_thread_current ()->current_appcontext = (x)
+#define SET_APPCONTEXT(x) MONO_OBJECT_SETREF (mono_thread_current (), current_appcontext, (x))
 
 static guint16 appdomain_list_size = 0;
 static guint16 appdomain_next = 0;
 static MonoDomain **appdomains_list = NULL;
 
+#define mono_appdomains_lock() EnterCriticalSection (&appdomains_mutex)
+#define mono_appdomains_unlock() LeaveCriticalSection (&appdomains_mutex)
 static CRITICAL_SECTION appdomains_mutex;
 
 static MonoDomain *mono_root_domain = NULL;
@@ -76,14 +78,30 @@ typedef struct {
        int startup_count;
 } AppConfigInfo;
 
+/*
+ * AotModuleInfo: Contains information about AOT modules.
+ */
+typedef struct {
+       MonoImage *image;
+       gpointer start, end;
+} AotModuleInfo;
+
 static const MonoRuntimeInfo *current_runtime = NULL;
 
+static MonoJitInfoFindInAot jit_info_find_in_aot_func = NULL;
+
+/*
+ * Contains information about AOT loaded code.
+ */
+static MonoJitInfoTable *aot_modules = NULL;
+
 /* This is the list of runtime versions supported by this JIT.
  */
 static const MonoRuntimeInfo supported_runtimes[] = {
        {"v1.0.3705", "1.0", { {1,0,5000,0}, {7,0,5000,0} }     },
        {"v1.1.4322", "1.0", { {1,0,5000,0}, {7,0,5000,0} }     },
-       {"v2.0.40607","2.0", { {2,0,3600,0}, {8,0,3600,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} }        }
 };
 
 
@@ -96,6 +114,9 @@ get_runtimes_from_exe (const char *exe_file, const MonoRuntimeInfo** runtimes);
 static const MonoRuntimeInfo*
 get_runtime_by_version (const char *version);
 
+static MonoImage*
+mono_jit_info_find_aot_module (guint8* addr);
+
 guint32
 mono_domain_get_tls_key (void)
 {
@@ -150,6 +171,7 @@ MonoJitInfo *
 mono_jit_info_table_find (MonoDomain *domain, char *addr)
 {
        MonoJitInfoTable *table = domain->jit_info_table;
+       MonoJitInfo *ji;
        guint left = 0, right;
 
        mono_domain_lock (domain);
@@ -157,7 +179,7 @@ mono_jit_info_table_find (MonoDomain *domain, char *addr)
        right = table->len;
        while (left < right) {
                guint pos = (left + right) / 2;
-               MonoJitInfo *ji = g_array_index (table, gpointer, pos);
+               ji = g_array_index (table, gpointer, pos);
 
                if (addr < (char*)ji->code_start)
                        right = pos;
@@ -171,10 +193,18 @@ mono_jit_info_table_find (MonoDomain *domain, char *addr)
        mono_domain_unlock (domain);
 
        /* maybe it is shared code, so we also search in the root domain */
+       ji = NULL;
        if (domain != mono_root_domain)
-               return mono_jit_info_table_find (mono_root_domain, addr);
+               ji = mono_jit_info_table_find (mono_root_domain, addr);
 
-       return NULL;
+       if (ji == NULL) {
+               /* Maybe its an AOT module */
+               MonoImage *image = mono_jit_info_find_aot_module ((guint8*)addr);
+               if (image)
+                       ji = jit_info_find_in_aot_func (domain, image, addr);
+       }
+       
+       return ji;
 }
 
 void
@@ -200,12 +230,114 @@ mono_jit_info_table_remove (MonoDomain *domain, MonoJitInfo *ji)
 
        mono_domain_lock (domain);
        pos = mono_jit_info_table_index (table, start);
+       if (g_array_index (table, gpointer, pos) != ji) {
+               MonoJitInfo *ji2 = g_array_index (table, gpointer, pos);
+               g_assert (ji == ji2);
+       }
        g_assert (g_array_index (table, gpointer, pos) == ji);
 
        g_array_remove_index (table, pos);
        mono_domain_unlock (domain);
 }      
 
+static int
+aot_info_table_index (MonoJitInfoTable *table, char *addr)
+{
+       int left = 0, right = table->len;
+
+       while (left < right) {
+               int pos = (left + right) / 2;
+               AotModuleInfo *ainfo = g_array_index (table, gpointer, pos);
+               char *start = ainfo->start;
+               char *end = ainfo->end;
+
+               if (addr < start)
+                       right = pos;
+               else if (addr >= end) 
+                       left = pos + 1;
+               else
+                       return pos;
+       }
+
+       return left;
+}
+
+void
+mono_jit_info_add_aot_module (MonoImage *image, gpointer start, gpointer end)
+{
+       AotModuleInfo *ainfo = g_new0 (AotModuleInfo, 1);
+       int pos;
+
+       ainfo->image = image;
+       ainfo->start = start;
+       ainfo->end = end;
+
+       mono_appdomains_lock ();
+
+       if (!aot_modules)
+               aot_modules = mono_jit_info_table_new ();
+
+       pos = aot_info_table_index (aot_modules, start);
+
+       g_array_insert_val (aot_modules, pos, ainfo);
+
+       mono_appdomains_unlock ();
+}
+
+static MonoImage*
+mono_jit_info_find_aot_module (guint8* addr)
+{
+       guint left = 0, right;
+
+       if (!aot_modules)
+               return NULL;
+
+       mono_appdomains_lock ();
+
+       right = aot_modules->len;
+       while (left < right) {
+               guint pos = (left + right) / 2;
+               AotModuleInfo *ai = g_array_index (aot_modules, gpointer, pos);
+
+               if (addr < (guint8*)ai->start)
+                       right = pos;
+               else if (addr >= (guint8*)ai->end)
+                       left = pos + 1;
+               else {
+                       mono_appdomains_unlock ();
+                       return ai->image;
+               }
+       }
+
+       mono_appdomains_unlock ();
+
+       return NULL;
+}
+
+void
+mono_install_jit_info_find_in_aot (MonoJitInfoFindInAot func)
+{
+       jit_info_find_in_aot_func = func;
+}
+
+gpointer
+mono_jit_info_get_code_start (MonoJitInfo* ji)
+{
+       return ji->code_start;
+}
+
+int
+mono_jit_info_get_code_size (MonoJitInfo* ji)
+{
+       return ji->code_size;
+}
+
+MonoMethod*
+mono_jit_info_get_method (MonoJitInfo* ji)
+{
+       return ji->method;
+}
+
 gboolean
 mono_string_equal (MonoString *s1, MonoString *s2)
 {
@@ -235,6 +367,29 @@ mono_string_hash (MonoString *s)
        return h;       
 }
 
+static gboolean
+mono_ptrarray_equal (gpointer *s1, gpointer *s2)
+{
+       int len = GPOINTER_TO_INT (s1 [0]);
+       if (len != GPOINTER_TO_INT (s2 [0]))
+               return FALSE;
+
+       return memcmp (s1 + 1, s2 + 1, len * sizeof(gpointer)) == 0; 
+}
+
+static guint
+mono_ptrarray_hash (gpointer *s)
+{
+       int i;
+       int len = GPOINTER_TO_INT (s [0]);
+       guint hash = 0;
+       
+       for (i = 1; i < len; i++)
+               hash += GPOINTER_TO_UINT (s [i]);
+
+       return hash;    
+}
+
 /*
  * Allocate an id for domain and set domain->domain_id.
  * LOCKING: must be called while holding appdomains_mutex.
@@ -285,12 +440,26 @@ domain_id_alloc (MonoDomain *domain)
        return id;
 }
 
+static guint32 domain_gc_bitmap [sizeof(MonoDomain)/4/32 + 1];
+static gpointer domain_gc_desc = NULL;
+
 MonoDomain *
 mono_domain_create (void)
 {
        MonoDomain *domain;
 
-       domain = mono_gc_alloc_fixed (sizeof (MonoDomain), NULL);
+       mono_appdomains_lock ();
+       if (!domain_gc_desc) {
+               unsigned int i, bit = 0;
+               for (i = G_STRUCT_OFFSET (MonoDomain, MONO_DOMAIN_FIRST_OBJECT); i < G_STRUCT_OFFSET (MonoDomain, MONO_DOMAIN_FIRST_GC_TRACKED); i += sizeof (gpointer)) {
+                       bit = i / sizeof (gpointer);
+                       domain_gc_bitmap [bit / 32] |= 1 << (bit % 32);
+               }
+               domain_gc_desc = mono_gc_make_descr_from_bitmap (domain_gc_bitmap, bit + 1);
+       }
+       mono_appdomains_unlock ();
+
+       domain = mono_gc_alloc_fixed (sizeof (MonoDomain), domain_gc_desc);
        domain->domain = NULL;
        domain->setup = NULL;
        domain->friendly_name = NULL;
@@ -298,11 +467,11 @@ mono_domain_create (void)
 
        domain->mp = mono_mempool_new ();
        domain->code_mp = mono_code_manager_new ();
-       domain->env = mono_g_hash_table_new ((GHashFunc)mono_string_hash, (GCompareFunc)mono_string_equal);
+       domain->env = mono_g_hash_table_new_type ((GHashFunc)mono_string_hash, (GCompareFunc)mono_string_equal, MONO_HASH_KEY_VALUE_GC);
        domain->domain_assemblies = NULL;
        domain->class_vtable_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
-       domain->proxy_vtable_hash = mono_g_hash_table_new ((GHashFunc)mono_string_hash, (GCompareFunc)mono_string_equal);
-       domain->static_data_hash = mono_g_hash_table_new (mono_aligned_addr_hash, NULL);
+       domain->proxy_vtable_hash = g_hash_table_new ((GHashFunc)mono_ptrarray_hash, (GCompareFunc)mono_ptrarray_equal);
+       domain->static_data_array = NULL;
        domain->jit_code_hash = g_hash_table_new (mono_aligned_addr_hash, NULL);
        domain->ldstr_table = mono_g_hash_table_new ((GHashFunc)mono_string_hash, (GCompareFunc)mono_string_equal);
        domain->jit_info_table = mono_jit_info_table_new ();
@@ -310,12 +479,14 @@ mono_domain_create (void)
        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);
 
        InitializeCriticalSection (&domain->lock);
+       InitializeCriticalSection (&domain->assemblies_lock);
 
-       EnterCriticalSection (&appdomains_mutex);
+       mono_appdomains_lock ();
        domain_id_alloc (domain);
-       LeaveCriticalSection (&appdomains_mutex);
+       mono_appdomains_unlock ();
 
        return domain;
 }
@@ -355,6 +526,7 @@ mono_init_internal (const char *filename, const char *exe_filename, const char *
        mono_raw_buffer_init ();
        mono_images_init ();
        mono_assemblies_init ();
+       mono_classes_init ();
        mono_loader_init ();
 
        /* FIXME: When should we release this memory? */
@@ -520,6 +692,10 @@ mono_init_internal (const char *filename, const char *exe_filename, const char *
                 mono_defaults.corlib, "System", "RuntimeFieldHandle");
        g_assert (mono_defaults.fieldhandle_class != 0);
 
+       mono_defaults.systemtype_class = mono_class_from_name (
+                mono_defaults.corlib, "System", "Type");
+       g_assert (mono_defaults.systemtype_class != 0);
+
        mono_defaults.monotype_class = mono_class_from_name (
                 mono_defaults.corlib, "System", "MonoType");
        g_assert (mono_defaults.monotype_class != 0);
@@ -615,6 +791,28 @@ mono_init_internal (const char *filename, const char *exe_filename, const char *
        mono_defaults.runtimesecurityframe_class = mono_class_from_name (
                mono_defaults.corlib, "System.Security", "RuntimeSecurityFrame");
 
+       mono_defaults.executioncontext_class = mono_class_from_name (
+               mono_defaults.corlib, "System.Threading", "ExecutionContext");
+
+       mono_defaults.internals_visible_class = mono_class_from_name (
+               mono_defaults.corlib, "System.Runtime.CompilerServices", "InternalsVisibleToAttribute");
+
+       mono_defaults.variant_class = mono_class_from_name (
+               mono_defaults.corlib, "System", "Variant");
+
+       mono_defaults.com_object_class = mono_class_from_name (
+               mono_defaults.corlib, "System", "__ComObject");
+
+       /*
+        * Note that mono_defaults.generic_*_class is only non-NULL if we're
+        * using the 2.0 corlib.
+        */
+       mono_class_init (mono_defaults.array_class);
+       mono_defaults.generic_array_class = mono_class_from_name (
+               mono_defaults.corlib, "System", "Array/InternalArray`1");
+       mono_defaults.generic_nullable_class = mono_class_from_name (
+               mono_defaults.corlib, "System", "Nullable`1");
+
        domain->friendly_name = g_path_get_basename (filename);
 
        return domain;
@@ -670,6 +868,30 @@ mono_init_version (const char *domain_name, const char *version)
        return mono_init_internal (domain_name, NULL, version);
 }
 
+/**
+ * mono_cleanup:
+ *
+ * Cleans up all metadata modules. 
+ */
+void
+mono_cleanup (void)
+{
+       mono_loader_cleanup ();
+       mono_classes_cleanup ();
+       mono_assemblies_cleanup ();
+       mono_images_cleanup ();
+       mono_raw_buffer_cleanup ();
+       mono_metadata_cleanup ();
+
+       TlsFree (appdomain_thread_id);
+       DeleteCriticalSection (&appdomains_mutex);
+}
+
+/**
+ * mono_get_root_domain:
+ *
+ * Returns: the root appdomain.
+ */
 MonoDomain*
 mono_get_root_domain (void)
 {
@@ -711,11 +933,11 @@ mono_domain_foreach (MonoDomainFunc func, gpointer user_data)
         * inside the lock because that could lead to deadlocks.
         * We can do this because this function is not perf. critical.
         */
-       EnterCriticalSection (&appdomains_mutex);
+       mono_appdomains_lock ();
        size = appdomain_list_size;
        copy = mono_gc_alloc_fixed (appdomain_list_size * sizeof (void*), NULL);
        memcpy (copy, appdomains_list, appdomain_list_size * sizeof (void*));
-       LeaveCriticalSection (&appdomains_mutex);
+       mono_appdomains_unlock ();
 
        for (i = 0; i < size; ++i) {
                if (copy [i])
@@ -738,15 +960,15 @@ mono_domain_assembly_open (MonoDomain *domain, const char *name)
        MonoAssembly *ass;
        GSList *tmp;
 
-       mono_domain_lock (domain);
+       mono_domain_assemblies_lock (domain);
        for (tmp = domain->domain_assemblies; tmp; tmp = tmp->next) {
                ass = tmp->data;
                if (strcmp (name, ass->aname.name) == 0) {
-                       mono_domain_unlock (domain);
+                       mono_domain_assemblies_unlock (domain);
                        return ass;
                }
        }
-       mono_domain_unlock (domain);
+       mono_domain_assemblies_unlock (domain);
 
        if (!(ass = mono_assembly_open (name, NULL)))
                return NULL;
@@ -777,9 +999,9 @@ mono_domain_free (MonoDomain *domain, gboolean force)
                return;
        }
 
-       EnterCriticalSection (&appdomains_mutex);
+       mono_appdomains_lock ();
        appdomains_list [domain->domain_id] = NULL;
-       LeaveCriticalSection (&appdomains_mutex);
+       mono_appdomains_unlock ();
 
        /* FIXME: free delegate_hash_table when it's used */
        if (domain->search_path) {
@@ -793,24 +1015,26 @@ mono_domain_free (MonoDomain *domain, gboolean force)
        domain->null_reference_ex = NULL;
        domain->stack_overflow_ex = NULL;
        domain->entry_assembly = NULL;
-       g_free (domain->friendly_name);
-       domain->friendly_name = NULL;
        for (tmp = domain->domain_assemblies; tmp; tmp = tmp->next) {
                MonoAssembly *ass = tmp->data;
-               /*g_print ("Unloading domain %p, assembly %s, refcount: %d\n", domain, ass->aname.name, ass->ref_count);*/
+               mono_trace (G_LOG_LEVEL_INFO, MONO_TRACE_ASSEMBLY, "Unloading domain %s %p, assembly %s %p, refcount=%d\n", domain->friendly_name, domain, ass->aname.name, ass, ass->ref_count);
                mono_assembly_close (ass);
        }
        g_slist_free (domain->domain_assemblies);
        domain->domain_assemblies = NULL;
 
+       g_free (domain->friendly_name);
+       domain->friendly_name = NULL;
        mono_g_hash_table_destroy (domain->env);
        domain->env = NULL;
        g_hash_table_destroy (domain->class_vtable_hash);
        domain->class_vtable_hash = NULL;
-       mono_g_hash_table_destroy (domain->proxy_vtable_hash);
+       g_hash_table_destroy (domain->proxy_vtable_hash);
        domain->proxy_vtable_hash = NULL;
-       mono_g_hash_table_destroy (domain->static_data_hash);
-       domain->static_data_hash = NULL;
+       if (domain->static_data_array) {
+               mono_gc_free_fixed (domain->static_data_array);
+               domain->static_data_array = NULL;
+       }
        g_hash_table_destroy (domain->jit_code_hash);
        domain->jit_code_hash = NULL;
        if (domain->dynamic_code_hash) {
@@ -852,10 +1076,13 @@ mono_domain_free (MonoDomain *domain, gboolean force)
        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->special_static_fields) {
                g_hash_table_destroy (domain->special_static_fields);
                domain->special_static_fields = NULL;
        }
+       DeleteCriticalSection (&domain->assemblies_lock);
        DeleteCriticalSection (&domain->lock);
        domain->setup = NULL;
 
@@ -877,12 +1104,12 @@ mono_domain_get_by_id (gint32 domainid)
 {
        MonoDomain * domain;
 
-       EnterCriticalSection (&appdomains_mutex);
+       mono_appdomains_lock ();
        if (domainid < appdomain_list_size)
                domain = appdomains_list [domainid];
        else
                domain = NULL;
-       LeaveCriticalSection (&appdomains_mutex);
+       mono_appdomains_unlock ();
 
        return domain;
 }
@@ -905,6 +1132,37 @@ mono_context_get (void)
        return GET_APPCONTEXT ();
 }
 
+/* LOCKING: the caller holds the lock for this domain */
+void
+mono_domain_add_class_static_data (MonoDomain *domain, MonoClass *klass, gpointer data, guint32 *bitmap)
+{
+       /* The first entry in the array is the index of the next free slot
+        * and the total size of the array
+        */
+       int next;
+       if (domain->static_data_array) {
+               int size = GPOINTER_TO_INT (domain->static_data_array [1]);
+               next = GPOINTER_TO_INT (domain->static_data_array [0]);
+               if (next >= size) {
+                       gpointer *new_array = mono_gc_alloc_fixed (sizeof (gpointer) * (size * 2), NULL);
+                       memcpy (new_array, domain->static_data_array, sizeof (gpointer) * size);
+                       size *= 2;
+                       new_array [1] = GINT_TO_POINTER (size);
+                       mono_gc_free_fixed (domain->static_data_array);
+                       domain->static_data_array = new_array;
+               }
+       } else {
+               int size = 32;
+               gpointer *new_array = mono_gc_alloc_fixed (sizeof (gpointer) * size, NULL);
+               next = 2;
+               new_array [0] = GINT_TO_POINTER (next);
+               new_array [1] = GINT_TO_POINTER (size);
+               domain->static_data_array = new_array;
+       }
+       domain->static_data_array [next++] = data;
+       domain->static_data_array [0] = GINT_TO_POINTER (next);
+}
+
 MonoImage*
 mono_get_corlib (void)
 {
@@ -1211,6 +1469,12 @@ get_runtimes_from_exe (const char *exe_file, const MonoRuntimeInfo** runtimes)
                return;
        }
 
+       /* 
+        * FIXME: This would cause us to unload the image, and it will be loaded again later.
+        * Disabling it will mean the initial exe will not be unloaded on shutdown.
+        */
+       //mono_image_close (image);
+
        runtimes [0] = get_runtime_by_version (image->version);
        runtimes [1] = NULL;
 }