-
/*
* domain.c: MonoDomain functions
*
#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>
#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 */
#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;
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} } }
};
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)
{
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);
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;
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
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)
{
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.
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;
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 ();
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;
}
mono_raw_buffer_init ();
mono_images_init ();
mono_assemblies_init ();
+ mono_classes_init ();
mono_loader_init ();
/* FIXME: When should we release this memory? */
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);
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;
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)
{
* 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])
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;
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) {
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) {
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;
{
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;
}
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)
{
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;
}