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",
269 mono_assembly_getrootdir ());
271 case MONO_IMAGE_IMAGE_INVALID:
272 g_print ("The file %s/mscorlib.dll is an invalid CIL image\n",
273 mono_assembly_getrootdir ());
275 case MONO_IMAGE_MISSING_ASSEMBLYREF:
276 g_print ("Missing assembly reference in %s/mscorlib.dll\n",
277 mono_assembly_getrootdir ());
280 /* to suppress compiler warning */
286 mono_defaults.corlib = ass->image;
288 mono_defaults.object_class = mono_class_from_name (
289 mono_defaults.corlib, "System", "Object");
290 g_assert (mono_defaults.object_class != 0);
292 mono_defaults.void_class = mono_class_from_name (
293 mono_defaults.corlib, "System", "Void");
294 g_assert (mono_defaults.void_class != 0);
296 mono_defaults.boolean_class = mono_class_from_name (
297 mono_defaults.corlib, "System", "Boolean");
298 g_assert (mono_defaults.boolean_class != 0);
300 mono_defaults.byte_class = mono_class_from_name (
301 mono_defaults.corlib, "System", "Byte");
302 g_assert (mono_defaults.byte_class != 0);
304 mono_defaults.sbyte_class = mono_class_from_name (
305 mono_defaults.corlib, "System", "SByte");
306 g_assert (mono_defaults.sbyte_class != 0);
308 mono_defaults.int16_class = mono_class_from_name (
309 mono_defaults.corlib, "System", "Int16");
310 g_assert (mono_defaults.int16_class != 0);
312 mono_defaults.uint16_class = mono_class_from_name (
313 mono_defaults.corlib, "System", "UInt16");
314 g_assert (mono_defaults.uint16_class != 0);
316 mono_defaults.int32_class = mono_class_from_name (
317 mono_defaults.corlib, "System", "Int32");
318 g_assert (mono_defaults.int32_class != 0);
320 mono_defaults.uint32_class = mono_class_from_name (
321 mono_defaults.corlib, "System", "UInt32");
322 g_assert (mono_defaults.uint32_class != 0);
324 mono_defaults.uint_class = mono_class_from_name (
325 mono_defaults.corlib, "System", "UIntPtr");
326 g_assert (mono_defaults.uint_class != 0);
328 mono_defaults.int_class = mono_class_from_name (
329 mono_defaults.corlib, "System", "IntPtr");
330 g_assert (mono_defaults.int_class != 0);
332 mono_defaults.int64_class = mono_class_from_name (
333 mono_defaults.corlib, "System", "Int64");
334 g_assert (mono_defaults.int64_class != 0);
336 mono_defaults.uint64_class = mono_class_from_name (
337 mono_defaults.corlib, "System", "UInt64");
338 g_assert (mono_defaults.uint64_class != 0);
340 mono_defaults.single_class = mono_class_from_name (
341 mono_defaults.corlib, "System", "Single");
342 g_assert (mono_defaults.single_class != 0);
344 mono_defaults.double_class = mono_class_from_name (
345 mono_defaults.corlib, "System", "Double");
346 g_assert (mono_defaults.double_class != 0);
348 mono_defaults.char_class = mono_class_from_name (
349 mono_defaults.corlib, "System", "Char");
350 g_assert (mono_defaults.char_class != 0);
352 mono_defaults.string_class = mono_class_from_name (
353 mono_defaults.corlib, "System", "String");
354 g_assert (mono_defaults.string_class != 0);
356 mono_defaults.enum_class = mono_class_from_name (
357 mono_defaults.corlib, "System", "Enum");
358 g_assert (mono_defaults.enum_class != 0);
360 mono_defaults.array_class = mono_class_from_name (
361 mono_defaults.corlib, "System", "Array");
362 g_assert (mono_defaults.array_class != 0);
364 mono_defaults.delegate_class = mono_class_from_name (
365 mono_defaults.corlib, "System", "Delegate");
366 g_assert (mono_defaults.delegate_class != 0 );
368 mono_defaults.multicastdelegate_class = mono_class_from_name (
369 mono_defaults.corlib, "System", "MulticastDelegate");
370 g_assert (mono_defaults.multicastdelegate_class != 0 );
372 mono_defaults.asyncresult_class = mono_class_from_name (
373 mono_defaults.corlib, "System.Runtime.Remoting.Messaging",
375 g_assert (mono_defaults.asyncresult_class != 0 );
377 mono_defaults.waithandle_class = mono_class_from_name (
378 mono_defaults.corlib, "System.Threading", "WaitHandle");
379 g_assert (mono_defaults.waithandle_class != 0 );
381 mono_defaults.typehandle_class = mono_class_from_name (
382 mono_defaults.corlib, "System", "RuntimeTypeHandle");
383 g_assert (mono_defaults.typehandle_class != 0);
385 mono_defaults.methodhandle_class = mono_class_from_name (
386 mono_defaults.corlib, "System", "RuntimeMethodHandle");
387 g_assert (mono_defaults.methodhandle_class != 0);
389 mono_defaults.fieldhandle_class = mono_class_from_name (
390 mono_defaults.corlib, "System", "RuntimeFieldHandle");
391 g_assert (mono_defaults.fieldhandle_class != 0);
393 mono_defaults.monotype_class = mono_class_from_name (
394 mono_defaults.corlib, "System", "MonoType");
395 g_assert (mono_defaults.monotype_class != 0);
397 mono_defaults.exception_class = mono_class_from_name (
398 mono_defaults.corlib, "System", "Exception");
399 g_assert (mono_defaults.exception_class != 0);
401 mono_defaults.threadabortexception_class = mono_class_from_name (
402 mono_defaults.corlib, "System.Threading", "ThreadAbortException");
403 g_assert (mono_defaults.threadabortexception_class != 0);
405 mono_defaults.thread_class = mono_class_from_name (
406 mono_defaults.corlib, "System.Threading", "Thread");
407 g_assert (mono_defaults.thread_class != 0);
409 mono_defaults.appdomain_class = mono_class_from_name (
410 mono_defaults.corlib, "System", "AppDomain");
411 g_assert (mono_defaults.appdomain_class != 0);
413 mono_defaults.transparent_proxy_class = mono_class_from_name (
414 mono_defaults.corlib, "System.Runtime.Remoting.Proxies", "TransparentProxy");
415 g_assert (mono_defaults.transparent_proxy_class != 0);
417 mono_defaults.real_proxy_class = mono_class_from_name (
418 mono_defaults.corlib, "System.Runtime.Remoting.Proxies", "RealProxy");
419 g_assert (mono_defaults.real_proxy_class != 0);
421 mono_defaults.mono_method_message_class = mono_class_from_name (
422 mono_defaults.corlib, "System.Runtime.Remoting.Messaging", "MonoMethodMessage");
423 g_assert (mono_defaults.mono_method_message_class != 0);
425 mono_defaults.field_info_class = mono_class_from_name (
426 mono_defaults.corlib, "System.Reflection", "FieldInfo");
427 g_assert (mono_defaults.field_info_class != 0);
429 mono_defaults.method_info_class = mono_class_from_name (
430 mono_defaults.corlib, "System.Reflection", "MethodInfo");
431 g_assert (mono_defaults.method_info_class != 0);
433 mono_defaults.stringbuilder_class = mono_class_from_name (
434 mono_defaults.corlib, "System.Text", "StringBuilder");
435 g_assert (mono_defaults.stringbuilder_class != 0);
437 mono_defaults.math_class = mono_class_from_name (
438 mono_defaults.corlib, "System", "Math");
439 g_assert (mono_defaults.math_class != 0);
441 mono_defaults.stack_frame_class = mono_class_from_name (
442 mono_defaults.corlib, "System.Diagnostics", "StackFrame");
443 g_assert (mono_defaults.stack_frame_class != 0);
445 mono_defaults.stack_trace_class = mono_class_from_name (
446 mono_defaults.corlib, "System.Diagnostics", "StackTrace");
447 g_assert (mono_defaults.stack_trace_class != 0);
449 mono_defaults.marshal_class = mono_class_from_name (
450 mono_defaults.corlib, "System.Runtime.InteropServices", "Marshal");
451 g_assert (mono_defaults.marshal_class != 0);
453 mono_defaults.iserializeable_class = mono_class_from_name (
454 mono_defaults.corlib, "System.Runtime.Serialization", "ISerializable");
455 g_assert (mono_defaults.iserializeable_class != 0);
457 mono_defaults.serializationinfo_class = mono_class_from_name (
458 mono_defaults.corlib, "System.Runtime.Serialization", "SerializationInfo");
459 g_assert (mono_defaults.serializationinfo_class != 0);
461 mono_defaults.streamingcontext_class = mono_class_from_name (
462 mono_defaults.corlib, "System.Runtime.Serialization", "StreamingContext");
463 g_assert (mono_defaults.streamingcontext_class != 0);
465 mono_defaults.typed_reference_class = mono_class_from_name (
466 mono_defaults.corlib, "System", "TypedReference");
467 g_assert (mono_defaults.typed_reference_class != 0);
469 mono_defaults.argumenthandle_class = mono_class_from_name (
470 mono_defaults.corlib, "System", "RuntimeArgumentHandle");
471 g_assert (mono_defaults.argumenthandle_class != 0);
473 mono_defaults.marshalbyrefobject_class = mono_class_from_name (
474 mono_defaults.corlib, "System", "MarshalByRefObject");
475 g_assert (mono_defaults.marshalbyrefobject_class != 0);
477 mono_defaults.monitor_class = mono_class_from_name (
478 mono_defaults.corlib, "System.Threading", "Monitor");
479 g_assert (mono_defaults.monitor_class != 0);
481 mono_defaults.iremotingtypeinfo_class = mono_class_from_name (
482 mono_defaults.corlib, "System.Runtime.Remoting", "IRemotingTypeInfo");
483 g_assert (mono_defaults.iremotingtypeinfo_class != 0);
485 domain->friendly_name = g_path_get_basename (filename);
493 * Returns the current domain.
498 return ((MonoDomain *)TlsGetValue (appdomain_thread_id));
502 * mono_domain_set_internal:
503 * @domain: the new domain
505 * Sets the current domain to @domain.
508 mono_domain_set_internal (MonoDomain *domain)
510 TlsSetValue (appdomain_thread_id, domain);
511 TlsSetValue (context_thread_id, domain->default_context);
520 copy_hash_entry (gpointer key, gpointer data, gpointer user_data)
522 MonoGHashTable *dest = (MonoGHashTable*)user_data;
524 mono_g_hash_table_insert (dest, key, data);
528 foreach_domain (gpointer key, gpointer data, gpointer user_data)
530 DomainInfo *dom_info = user_data;
532 dom_info->func ((MonoDomain*)data, dom_info->user_data);
536 mono_domain_foreach (MonoDomainFunc func, gpointer user_data)
539 MonoGHashTable *copy;
542 * Create a copy of the hashtable to avoid calling the user callback
543 * inside the lock because that could lead to deadlocks.
544 * We can do this because this function is not perf. critical.
546 copy = mono_g_hash_table_new (NULL, NULL);
547 EnterCriticalSection (&appdomains_mutex);
548 mono_g_hash_table_foreach (appdomains_list, copy_hash_entry, copy);
549 LeaveCriticalSection (&appdomains_mutex);
551 dom_info.func = func;
552 dom_info.user_data = user_data;
553 mono_g_hash_table_foreach (copy, foreach_domain, &dom_info);
555 mono_g_hash_table_destroy (copy);
559 * mono_domain_assembly_open:
560 * @domain: the application domain
561 * @name: file name of the assembly
563 * fixme: maybe we should integrate this with mono_assembly_open ??
566 mono_domain_assembly_open (MonoDomain *domain, const char *name)
570 mono_domain_lock (domain);
571 if ((ass = g_hash_table_lookup (domain->assemblies, name))) {
572 mono_domain_unlock (domain);
575 mono_domain_unlock (domain);
577 if (!(ass = mono_assembly_open (name, NULL)))
584 remove_assembly (gpointer key, gpointer value, gpointer user_data)
586 mono_assembly_close ((MonoAssembly *)value);
590 delete_jump_list (gpointer key, gpointer value, gpointer user_data)
592 g_slist_free (value);
596 mono_domain_free (MonoDomain *domain, gboolean force)
598 if ((domain == mono_root_domain) && !force) {
599 g_warning ("cant unload root domain");
603 EnterCriticalSection (&appdomains_mutex);
604 mono_g_hash_table_remove (appdomains_list, GINT_TO_POINTER(domain->domain_id));
605 LeaveCriticalSection (&appdomains_mutex);
607 g_free (domain->friendly_name);
608 g_hash_table_foreach (domain->assemblies, remove_assembly, NULL);
610 mono_g_hash_table_destroy (domain->env);
611 g_hash_table_destroy (domain->assemblies);
612 mono_g_hash_table_destroy (domain->class_vtable_hash);
613 mono_g_hash_table_destroy (domain->proxy_vtable_hash);
614 mono_g_hash_table_destroy (domain->static_data_hash);
615 g_hash_table_destroy (domain->jit_code_hash);
616 mono_g_hash_table_destroy (domain->ldstr_table);
617 mono_jit_info_table_free (domain->jit_info_table);
618 #ifdef DEBUG_DOMAIN_UNLOAD
619 mono_mempool_invalidate (domain->mp);
620 mono_code_manager_invalidate (domain->code_mp);
622 mono_mempool_destroy (domain->mp);
623 mono_code_manager_destroy (domain->code_mp);
625 if (domain->jump_target_hash) {
626 g_hash_table_foreach (domain->jump_target_hash, delete_jump_list, NULL);
627 g_hash_table_destroy (domain->jump_target_hash);
629 mono_g_hash_table_destroy (domain->class_init_trampoline_hash);
630 g_hash_table_destroy (domain->finalizable_objects_hash);
631 if (domain->special_static_fields)
632 g_hash_table_destroy (domain->special_static_fields);
633 DeleteCriticalSection (&domain->lock);
634 domain->setup = NULL;
636 /* FIXME: anything else required ? */
643 if ((domain == mono_root_domain))
644 mono_root_domain = NULL;
648 * mono_domain_get_id:
650 * Returns the a domain for a specific domain id.
653 mono_domain_get_by_id (gint32 domainid)
657 EnterCriticalSection (&appdomains_mutex);
658 domain = mono_g_hash_table_lookup (appdomains_list, GINT_TO_POINTER(domainid));
659 LeaveCriticalSection (&appdomains_mutex);
665 mono_context_set (MonoAppContext * new_context)
667 TlsSetValue (context_thread_id, new_context);
673 return ((MonoAppContext *)TlsGetValue (context_thread_id));