3 * domain.c: MonoDomain functions
6 * Dietmar Maurer (dietmar@ximian.com)
9 * (C) 2001 Ximian, Inc.
16 #include <mono/os/gc_wrapper.h>
18 #include <mono/metadata/object.h>
19 #include <mono/metadata/appdomain.h>
20 #include <mono/metadata/assembly.h>
21 #include <mono/metadata/exception.h>
22 #include <mono/metadata/cil-coff.h>
23 #include <mono/metadata/rawbuffer.h>
25 //#define DEBUG_DOMAIN_UNLOAD
27 static guint32 appdomain_thread_id = -1;
28 static guint32 context_thread_id = -1;
30 static gint32 appdomain_id_counter = 0;
32 static MonoGHashTable * appdomains_list = NULL;
34 static CRITICAL_SECTION appdomains_mutex;
36 MonoDomain *mono_root_domain = NULL;
38 static MonoJitInfoTable *
39 mono_jit_info_table_new (void)
41 return g_array_new (FALSE, FALSE, sizeof (gpointer));
45 mono_jit_info_table_free (MonoJitInfoTable *table)
47 g_array_free (table, TRUE);
51 mono_jit_info_table_index (MonoJitInfoTable *table, char *addr)
53 int left = 0, right = table->len;
55 while (left < right) {
56 int pos = (left + right) / 2;
57 MonoJitInfo *ji = g_array_index (table, gpointer, pos);
58 char *start = ji->code_start;
59 char *end = start + ji->code_size;
73 mono_jit_info_table_find (MonoDomain *domain, char *addr)
75 MonoJitInfoTable *table = domain->jit_info_table;
78 mono_domain_lock (domain);
81 while (left < right) {
82 int pos = (left + right) / 2;
83 MonoJitInfo *ji = g_array_index (table, gpointer, pos);
84 char *start = ji->code_start;
85 char *end = start + ji->code_size;
92 mono_domain_unlock (domain);
96 mono_domain_unlock (domain);
98 /* maybe it is shared code, so we also search in the root domain */
99 if (domain != mono_root_domain)
100 return mono_jit_info_table_find (mono_root_domain, addr);
106 mono_jit_info_table_add (MonoDomain *domain, MonoJitInfo *ji)
108 MonoJitInfoTable *table = domain->jit_info_table;
109 gpointer start = ji->code_start;
112 mono_domain_lock (domain);
113 pos = mono_jit_info_table_index (table, start);
115 g_array_insert_val (table, pos, ji);
116 mono_domain_unlock (domain);
120 ldstr_hash (const char* str)
124 len = mono_metadata_decode_blob_size (str, &str) - 1;
126 /* if len == 0 *str will point to the mark byte */
129 * FIXME: The distribution may not be so nice with lots of
130 * null chars in the string.
132 for (str += 1; str < end; str++)
133 h = (h << 5) - h + *str;
138 ldstr_equal (const char *str1, const char *str2) {
142 len = mono_metadata_decode_blob_size (str1, NULL) - 1;
143 len2 = mono_metadata_decode_blob_size (str2, NULL) - 1;
146 return memcmp (str1, str2, len) == 0;
150 mono_string_equal (MonoString *s1, MonoString *s2)
152 int l1 = mono_string_length (s1);
153 int l2 = mono_string_length (s2);
158 return memcmp (mono_string_chars (s1), mono_string_chars (s2), l1) == 0;
162 mono_string_hash (MonoString *s)
164 const guint16 *p = mono_string_chars (s);
165 int i, len = mono_string_length (s);
168 for (i = 0; i < len; i++) {
169 h = (h << 5) - h + *p;
178 domain_finalizer (void *obj, void *data) {
179 g_print ("domain finalized\n");
184 mono_domain_create (void)
189 domain = GC_MALLOC (sizeof (MonoDomain));
190 GC_REGISTER_FINALIZER (domain, domain_finalizer, NULL, NULL, NULL);
192 domain = g_new0 (MonoDomain, 1);
194 domain->domain = NULL;
195 domain->setup = NULL;
196 domain->friendly_name = NULL;
197 domain->search_path = NULL;
199 domain->mp = mono_mempool_new ();
200 domain->code_mp = mono_code_manager_new ();
201 domain->env = mono_g_hash_table_new ((GHashFunc)mono_string_hash, (GCompareFunc)mono_string_equal);
202 domain->assemblies = g_hash_table_new (g_str_hash, g_str_equal);
203 domain->class_vtable_hash = mono_g_hash_table_new (NULL, NULL);
204 domain->proxy_vtable_hash = mono_g_hash_table_new ((GHashFunc)mono_string_hash, (GCompareFunc)mono_string_equal);
205 domain->static_data_hash = mono_g_hash_table_new (NULL, NULL);
206 domain->jit_code_hash = g_hash_table_new (NULL, NULL);
207 domain->ldstr_table = mono_g_hash_table_new ((GHashFunc)ldstr_hash, (GCompareFunc)ldstr_equal);
208 domain->jit_info_table = mono_jit_info_table_new ();
209 domain->class_init_trampoline_hash = mono_g_hash_table_new (NULL, NULL);
210 domain->finalizable_objects_hash = g_hash_table_new (NULL, NULL);
211 domain->domain_id = InterlockedIncrement (&appdomain_id_counter);
213 InitializeCriticalSection (&domain->lock);
215 EnterCriticalSection (&appdomains_mutex);
216 mono_g_hash_table_insert(appdomains_list, GINT_TO_POINTER(domain->domain_id), domain);
217 LeaveCriticalSection (&appdomains_mutex);
225 * Creates the initial application domain and initializes the mono_defaults
227 * This function is guaranteed to not run any IL code.
229 * Returns: the initial domain.
232 mono_init (const char *filename)
234 static MonoDomain *domain = NULL;
236 MonoImageOpenStatus status = MONO_IMAGE_OK;
237 MonoAssemblyName corlib_aname;
240 g_assert_not_reached ();
242 appdomain_thread_id = TlsAlloc ();
243 context_thread_id = TlsAlloc ();
245 InitializeCriticalSection (&appdomains_mutex);
247 mono_metadata_init ();
248 mono_raw_buffer_init ();
250 mono_assemblies_init ();
253 // FIXME: When should we release this memory?
254 appdomains_list = mono_g_hash_table_new (g_direct_hash, g_direct_equal);
256 domain = mono_domain_create ();
257 mono_root_domain = domain;
259 TlsSetValue (appdomain_thread_id, domain);
261 /* find the corlib */
262 corlib_aname.name = "mscorlib";
263 ass = mono_assembly_load (&corlib_aname, NULL, &status);
264 if ((status != MONO_IMAGE_OK) || (ass == NULL)) {
266 case MONO_IMAGE_ERROR_ERRNO:
267 g_print ("The assembly mscorlib.dll was not found or could not be loaded.\n");
268 g_print ("It should have been installed in the `%s' directory.\n", MONO_ASSEMBLIES);
270 case MONO_IMAGE_IMAGE_INVALID:
271 g_print ("The file %s/mscorlib.dll is an invalid CIL image\n", MONO_ASSEMBLIES);
273 case MONO_IMAGE_MISSING_ASSEMBLYREF:
274 g_print ("Minning assembly reference in %s/mscorlib.dll\n", MONO_ASSEMBLIES);
277 /* to suppress compiler warning */
283 mono_defaults.corlib = ass->image;
285 mono_defaults.object_class = mono_class_from_name (
286 mono_defaults.corlib, "System", "Object");
287 g_assert (mono_defaults.object_class != 0);
289 mono_defaults.void_class = mono_class_from_name (
290 mono_defaults.corlib, "System", "Void");
291 g_assert (mono_defaults.void_class != 0);
293 mono_defaults.boolean_class = mono_class_from_name (
294 mono_defaults.corlib, "System", "Boolean");
295 g_assert (mono_defaults.boolean_class != 0);
297 mono_defaults.byte_class = mono_class_from_name (
298 mono_defaults.corlib, "System", "Byte");
299 g_assert (mono_defaults.byte_class != 0);
301 mono_defaults.sbyte_class = mono_class_from_name (
302 mono_defaults.corlib, "System", "SByte");
303 g_assert (mono_defaults.sbyte_class != 0);
305 mono_defaults.int16_class = mono_class_from_name (
306 mono_defaults.corlib, "System", "Int16");
307 g_assert (mono_defaults.int16_class != 0);
309 mono_defaults.uint16_class = mono_class_from_name (
310 mono_defaults.corlib, "System", "UInt16");
311 g_assert (mono_defaults.uint16_class != 0);
313 mono_defaults.int32_class = mono_class_from_name (
314 mono_defaults.corlib, "System", "Int32");
315 g_assert (mono_defaults.int32_class != 0);
317 mono_defaults.uint32_class = mono_class_from_name (
318 mono_defaults.corlib, "System", "UInt32");
319 g_assert (mono_defaults.uint32_class != 0);
321 mono_defaults.uint_class = mono_class_from_name (
322 mono_defaults.corlib, "System", "UIntPtr");
323 g_assert (mono_defaults.uint_class != 0);
325 mono_defaults.int_class = mono_class_from_name (
326 mono_defaults.corlib, "System", "IntPtr");
327 g_assert (mono_defaults.int_class != 0);
329 mono_defaults.int64_class = mono_class_from_name (
330 mono_defaults.corlib, "System", "Int64");
331 g_assert (mono_defaults.int64_class != 0);
333 mono_defaults.uint64_class = mono_class_from_name (
334 mono_defaults.corlib, "System", "UInt64");
335 g_assert (mono_defaults.uint64_class != 0);
337 mono_defaults.single_class = mono_class_from_name (
338 mono_defaults.corlib, "System", "Single");
339 g_assert (mono_defaults.single_class != 0);
341 mono_defaults.double_class = mono_class_from_name (
342 mono_defaults.corlib, "System", "Double");
343 g_assert (mono_defaults.double_class != 0);
345 mono_defaults.char_class = mono_class_from_name (
346 mono_defaults.corlib, "System", "Char");
347 g_assert (mono_defaults.char_class != 0);
349 mono_defaults.string_class = mono_class_from_name (
350 mono_defaults.corlib, "System", "String");
351 g_assert (mono_defaults.string_class != 0);
353 mono_defaults.enum_class = mono_class_from_name (
354 mono_defaults.corlib, "System", "Enum");
355 g_assert (mono_defaults.enum_class != 0);
357 mono_defaults.array_class = mono_class_from_name (
358 mono_defaults.corlib, "System", "Array");
359 g_assert (mono_defaults.array_class != 0);
361 mono_defaults.delegate_class = mono_class_from_name (
362 mono_defaults.corlib, "System", "Delegate");
363 g_assert (mono_defaults.delegate_class != 0 );
365 mono_defaults.multicastdelegate_class = mono_class_from_name (
366 mono_defaults.corlib, "System", "MulticastDelegate");
367 g_assert (mono_defaults.multicastdelegate_class != 0 );
369 mono_defaults.asyncresult_class = mono_class_from_name (
370 mono_defaults.corlib, "System.Runtime.Remoting.Messaging",
372 g_assert (mono_defaults.asyncresult_class != 0 );
374 mono_defaults.waithandle_class = mono_class_from_name (
375 mono_defaults.corlib, "System.Threading", "WaitHandle");
376 g_assert (mono_defaults.waithandle_class != 0 );
378 mono_defaults.typehandle_class = mono_class_from_name (
379 mono_defaults.corlib, "System", "RuntimeTypeHandle");
380 g_assert (mono_defaults.typehandle_class != 0);
382 mono_defaults.methodhandle_class = mono_class_from_name (
383 mono_defaults.corlib, "System", "RuntimeMethodHandle");
384 g_assert (mono_defaults.methodhandle_class != 0);
386 mono_defaults.fieldhandle_class = mono_class_from_name (
387 mono_defaults.corlib, "System", "RuntimeFieldHandle");
388 g_assert (mono_defaults.fieldhandle_class != 0);
390 mono_defaults.monotype_class = mono_class_from_name (
391 mono_defaults.corlib, "System", "MonoType");
392 g_assert (mono_defaults.monotype_class != 0);
394 mono_defaults.exception_class = mono_class_from_name (
395 mono_defaults.corlib, "System", "Exception");
396 g_assert (mono_defaults.exception_class != 0);
398 mono_defaults.threadabortexception_class = mono_class_from_name (
399 mono_defaults.corlib, "System.Threading", "ThreadAbortException");
400 g_assert (mono_defaults.threadabortexception_class != 0);
402 mono_defaults.thread_class = mono_class_from_name (
403 mono_defaults.corlib, "System.Threading", "Thread");
404 g_assert (mono_defaults.thread_class != 0);
406 mono_defaults.appdomain_class = mono_class_from_name (
407 mono_defaults.corlib, "System", "AppDomain");
408 g_assert (mono_defaults.appdomain_class != 0);
410 mono_defaults.transparent_proxy_class = mono_class_from_name (
411 mono_defaults.corlib, "System.Runtime.Remoting.Proxies", "TransparentProxy");
412 g_assert (mono_defaults.transparent_proxy_class != 0);
414 mono_defaults.real_proxy_class = mono_class_from_name (
415 mono_defaults.corlib, "System.Runtime.Remoting.Proxies", "RealProxy");
416 g_assert (mono_defaults.real_proxy_class != 0);
418 mono_defaults.mono_method_message_class = mono_class_from_name (
419 mono_defaults.corlib, "System.Runtime.Remoting.Messaging", "MonoMethodMessage");
420 g_assert (mono_defaults.mono_method_message_class != 0);
422 mono_defaults.field_info_class = mono_class_from_name (
423 mono_defaults.corlib, "System.Reflection", "FieldInfo");
424 g_assert (mono_defaults.field_info_class != 0);
426 mono_defaults.method_info_class = mono_class_from_name (
427 mono_defaults.corlib, "System.Reflection", "MethodInfo");
428 g_assert (mono_defaults.method_info_class != 0);
430 mono_defaults.stringbuilder_class = mono_class_from_name (
431 mono_defaults.corlib, "System.Text", "StringBuilder");
432 g_assert (mono_defaults.stringbuilder_class != 0);
434 mono_defaults.math_class = mono_class_from_name (
435 mono_defaults.corlib, "System", "Math");
436 g_assert (mono_defaults.math_class != 0);
438 mono_defaults.stack_frame_class = mono_class_from_name (
439 mono_defaults.corlib, "System.Diagnostics", "StackFrame");
440 g_assert (mono_defaults.stack_frame_class != 0);
442 mono_defaults.stack_trace_class = mono_class_from_name (
443 mono_defaults.corlib, "System.Diagnostics", "StackTrace");
444 g_assert (mono_defaults.stack_trace_class != 0);
446 mono_defaults.marshal_class = mono_class_from_name (
447 mono_defaults.corlib, "System.Runtime.InteropServices", "Marshal");
448 g_assert (mono_defaults.marshal_class != 0);
450 mono_defaults.iserializeable_class = mono_class_from_name (
451 mono_defaults.corlib, "System.Runtime.Serialization", "ISerializable");
452 g_assert (mono_defaults.iserializeable_class != 0);
454 mono_defaults.serializationinfo_class = mono_class_from_name (
455 mono_defaults.corlib, "System.Runtime.Serialization", "SerializationInfo");
456 g_assert (mono_defaults.serializationinfo_class != 0);
458 mono_defaults.streamingcontext_class = mono_class_from_name (
459 mono_defaults.corlib, "System.Runtime.Serialization", "StreamingContext");
460 g_assert (mono_defaults.streamingcontext_class != 0);
462 mono_defaults.typed_reference_class = mono_class_from_name (
463 mono_defaults.corlib, "System", "TypedReference");
464 g_assert (mono_defaults.typed_reference_class != 0);
466 mono_defaults.argumenthandle_class = mono_class_from_name (
467 mono_defaults.corlib, "System", "RuntimeArgumentHandle");
468 g_assert (mono_defaults.argumenthandle_class != 0);
470 mono_defaults.marshalbyrefobject_class = mono_class_from_name (
471 mono_defaults.corlib, "System", "MarshalByRefObject");
472 g_assert (mono_defaults.marshalbyrefobject_class != 0);
474 mono_defaults.monitor_class = mono_class_from_name (
475 mono_defaults.corlib, "System.Threading", "Monitor");
476 g_assert (mono_defaults.monitor_class != 0);
478 mono_defaults.iremotingtypeinfo_class = mono_class_from_name (
479 mono_defaults.corlib, "System.Runtime.Remoting", "IRemotingTypeInfo");
480 g_assert (mono_defaults.iremotingtypeinfo_class != 0);
482 domain->friendly_name = g_path_get_basename (filename);
490 * Returns the current domain.
495 return ((MonoDomain *)TlsGetValue (appdomain_thread_id));
499 * mono_domain_set_internal:
500 * @domain: the new domain
502 * Sets the current domain to @domain.
505 mono_domain_set_internal (MonoDomain *domain)
507 TlsSetValue (appdomain_thread_id, domain);
508 TlsSetValue (context_thread_id, domain->default_context);
517 copy_hash_entry (gpointer key, gpointer data, gpointer user_data)
519 MonoGHashTable *dest = (MonoGHashTable*)user_data;
521 mono_g_hash_table_insert (dest, key, data);
525 foreach_domain (gpointer key, gpointer data, gpointer user_data)
527 DomainInfo *dom_info = user_data;
529 dom_info->func ((MonoDomain*)data, dom_info->user_data);
533 mono_domain_foreach (MonoDomainFunc func, gpointer user_data)
536 MonoGHashTable *copy;
539 * Create a copy of the hashtable to avoid calling the user callback
540 * inside the lock because that could lead to deadlocks.
541 * We can do this because this function is not perf. critical.
543 copy = mono_g_hash_table_new (NULL, NULL);
544 EnterCriticalSection (&appdomains_mutex);
545 mono_g_hash_table_foreach (appdomains_list, copy_hash_entry, copy);
546 LeaveCriticalSection (&appdomains_mutex);
548 dom_info.func = func;
549 dom_info.user_data = user_data;
550 mono_g_hash_table_foreach (copy, foreach_domain, &dom_info);
552 mono_g_hash_table_destroy (copy);
556 * mono_domain_assembly_open:
557 * @domain: the application domain
558 * @name: file name of the assembly
560 * fixme: maybe we should integrate this with mono_assembly_open ??
563 mono_domain_assembly_open (MonoDomain *domain, const char *name)
567 mono_domain_lock (domain);
568 if ((ass = g_hash_table_lookup (domain->assemblies, name))) {
569 mono_domain_unlock (domain);
572 mono_domain_unlock (domain);
574 if (!(ass = mono_assembly_open (name, NULL)))
581 remove_assembly (gpointer key, gpointer value, gpointer user_data)
583 mono_assembly_close ((MonoAssembly *)value);
587 delete_jump_list (gpointer key, gpointer value, gpointer user_data)
589 g_slist_free (value);
593 mono_domain_free (MonoDomain *domain, gboolean force)
595 if ((domain == mono_root_domain) && !force) {
596 g_warning ("cant unload root domain");
600 EnterCriticalSection (&appdomains_mutex);
601 mono_g_hash_table_remove (appdomains_list, GINT_TO_POINTER(domain->domain_id));
602 LeaveCriticalSection (&appdomains_mutex);
604 g_free (domain->friendly_name);
605 g_hash_table_foreach (domain->assemblies, remove_assembly, NULL);
607 mono_g_hash_table_destroy (domain->env);
608 g_hash_table_destroy (domain->assemblies);
609 mono_g_hash_table_destroy (domain->class_vtable_hash);
610 mono_g_hash_table_destroy (domain->proxy_vtable_hash);
611 mono_g_hash_table_destroy (domain->static_data_hash);
612 g_hash_table_destroy (domain->jit_code_hash);
613 mono_g_hash_table_destroy (domain->ldstr_table);
614 mono_jit_info_table_free (domain->jit_info_table);
615 #ifdef DEBUG_DOMAIN_UNLOAD
616 mono_mempool_invalidate (domain->mp);
617 mono_code_manager_invalidate (domain->code_mp);
619 mono_mempool_destroy (domain->mp);
620 mono_code_manager_destroy (domain->code_mp);
622 if (domain->jump_target_hash) {
623 g_hash_table_foreach (domain->jump_target_hash, delete_jump_list, NULL);
624 g_hash_table_destroy (domain->jump_target_hash);
626 mono_g_hash_table_destroy (domain->class_init_trampoline_hash);
627 g_hash_table_destroy (domain->finalizable_objects_hash);
628 if (domain->special_static_fields)
629 g_hash_table_destroy (domain->special_static_fields);
630 DeleteCriticalSection (&domain->lock);
631 domain->setup = NULL;
633 /* FIXME: anything else required ? */
640 if ((domain == mono_root_domain))
641 mono_root_domain = NULL;
645 * mono_domain_get_id:
647 * Returns the a domain for a specific domain id.
650 mono_domain_get_by_id (gint32 domainid)
654 EnterCriticalSection (&appdomains_mutex);
655 domain = mono_g_hash_table_lookup (appdomains_list, GINT_TO_POINTER(domainid));
656 LeaveCriticalSection (&appdomains_mutex);
662 mono_context_set (MonoAppContext * new_context)
664 TlsSetValue (context_thread_id, new_context);
670 return ((MonoAppContext *)TlsGetValue (context_thread_id));