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) {
140 len = mono_metadata_decode_blob_size (str1, NULL) - 1;
141 len2 = mono_metadata_decode_blob_size (str2, NULL) - 1;
144 return memcmp (str1, str2, len) == 0;
148 mono_string_equal (MonoString *s1, MonoString *s2)
150 int l1 = mono_string_length (s1);
151 int l2 = mono_string_length (s2);
156 return memcmp (mono_string_chars (s1), mono_string_chars (s2), l1) == 0;
160 mono_string_hash (MonoString *s)
162 const guint16 *p = mono_string_chars (s);
163 int i, len = mono_string_length (s);
166 for (i = 0; i < len; i++) {
167 h = (h << 5) - h + *p;
176 domain_finalizer (void *obj, void *data) {
177 g_print ("domain finalized\n");
182 mono_domain_create (void)
187 domain = GC_MALLOC (sizeof (MonoDomain));
188 GC_REGISTER_FINALIZER (domain, domain_finalizer, NULL, NULL, NULL);
190 domain = g_new0 (MonoDomain, 1);
192 domain->domain = NULL;
193 domain->setup = NULL;
194 domain->friendly_name = NULL;
195 domain->search_path = NULL;
197 domain->mp = mono_mempool_new ();
198 domain->code_mp = mono_mempool_new ();
199 domain->env = mono_g_hash_table_new ((GHashFunc)mono_string_hash, (GCompareFunc)mono_string_equal);
200 domain->assemblies = g_hash_table_new (g_str_hash, g_str_equal);
201 domain->class_vtable_hash = mono_g_hash_table_new (NULL, NULL);
202 domain->proxy_vtable_hash = mono_g_hash_table_new (NULL, NULL);
203 domain->static_data_hash = mono_g_hash_table_new (NULL, NULL);
204 domain->jit_code_hash = g_hash_table_new (NULL, NULL);
205 domain->ldstr_table = mono_g_hash_table_new ((GHashFunc)ldstr_hash, (GCompareFunc)ldstr_equal);
206 domain->jit_info_table = mono_jit_info_table_new ();
207 domain->class_init_trampoline_hash = mono_g_hash_table_new (NULL, NULL);
208 domain->finalizable_objects_hash = g_hash_table_new (NULL, NULL);
209 domain->domain_id = InterlockedIncrement (&appdomain_id_counter);
211 InitializeCriticalSection (&domain->lock);
213 EnterCriticalSection (&appdomains_mutex);
214 mono_g_hash_table_insert(appdomains_list, GINT_TO_POINTER(domain->domain_id), domain);
215 LeaveCriticalSection (&appdomains_mutex);
223 * Creates the initial application domain and initializes the mono_defaults
225 * This function is guaranteed to not run any IL code.
227 * Returns: the initial domain.
230 mono_init (const char *filename)
232 static MonoDomain *domain = NULL;
234 MonoImageOpenStatus status = MONO_IMAGE_OK;
235 MonoAssemblyName corlib_aname;
238 g_assert_not_reached ();
240 appdomain_thread_id = TlsAlloc ();
241 context_thread_id = TlsAlloc ();
243 InitializeCriticalSection (&appdomains_mutex);
245 mono_metadata_init ();
246 mono_raw_buffer_init ();
248 mono_assemblies_init ();
251 // FIXME: When should we release this memory?
252 appdomains_list = mono_g_hash_table_new (g_direct_hash, g_direct_equal);
254 domain = mono_domain_create ();
255 mono_root_domain = domain;
257 TlsSetValue (appdomain_thread_id, domain);
259 /* find the corlib */
260 corlib_aname.name = "mscorlib";
261 ass = mono_assembly_load (&corlib_aname, NULL, &status);
262 if ((status != MONO_IMAGE_OK) || (ass == NULL)) {
264 case MONO_IMAGE_ERROR_ERRNO:
265 g_print ("The assembly mscorlib.dll was not found or could not be loaded.\n");
266 g_print ("It should have been installed in the `%s' directory.\n", MONO_ASSEMBLIES);
268 case MONO_IMAGE_IMAGE_INVALID:
269 g_print ("The file %s/mscorlib.dll is an invalid CIL image\n", MONO_ASSEMBLIES);
271 case MONO_IMAGE_MISSING_ASSEMBLYREF:
272 g_print ("Minning assembly reference in %s/mscorlib.dll\n", MONO_ASSEMBLIES);
275 /* to suppress compiler warning */
281 mono_defaults.corlib = ass->image;
283 mono_defaults.object_class = mono_class_from_name (
284 mono_defaults.corlib, "System", "Object");
285 g_assert (mono_defaults.object_class != 0);
287 mono_defaults.void_class = mono_class_from_name (
288 mono_defaults.corlib, "System", "Void");
289 g_assert (mono_defaults.void_class != 0);
291 mono_defaults.boolean_class = mono_class_from_name (
292 mono_defaults.corlib, "System", "Boolean");
293 g_assert (mono_defaults.boolean_class != 0);
295 mono_defaults.byte_class = mono_class_from_name (
296 mono_defaults.corlib, "System", "Byte");
297 g_assert (mono_defaults.byte_class != 0);
299 mono_defaults.sbyte_class = mono_class_from_name (
300 mono_defaults.corlib, "System", "SByte");
301 g_assert (mono_defaults.sbyte_class != 0);
303 mono_defaults.int16_class = mono_class_from_name (
304 mono_defaults.corlib, "System", "Int16");
305 g_assert (mono_defaults.int16_class != 0);
307 mono_defaults.uint16_class = mono_class_from_name (
308 mono_defaults.corlib, "System", "UInt16");
309 g_assert (mono_defaults.uint16_class != 0);
311 mono_defaults.int32_class = mono_class_from_name (
312 mono_defaults.corlib, "System", "Int32");
313 g_assert (mono_defaults.int32_class != 0);
315 mono_defaults.uint32_class = mono_class_from_name (
316 mono_defaults.corlib, "System", "UInt32");
317 g_assert (mono_defaults.uint32_class != 0);
319 mono_defaults.uint_class = mono_class_from_name (
320 mono_defaults.corlib, "System", "UIntPtr");
321 g_assert (mono_defaults.uint_class != 0);
323 mono_defaults.int_class = mono_class_from_name (
324 mono_defaults.corlib, "System", "IntPtr");
325 g_assert (mono_defaults.int_class != 0);
327 mono_defaults.int64_class = mono_class_from_name (
328 mono_defaults.corlib, "System", "Int64");
329 g_assert (mono_defaults.int64_class != 0);
331 mono_defaults.uint64_class = mono_class_from_name (
332 mono_defaults.corlib, "System", "UInt64");
333 g_assert (mono_defaults.uint64_class != 0);
335 mono_defaults.single_class = mono_class_from_name (
336 mono_defaults.corlib, "System", "Single");
337 g_assert (mono_defaults.single_class != 0);
339 mono_defaults.double_class = mono_class_from_name (
340 mono_defaults.corlib, "System", "Double");
341 g_assert (mono_defaults.double_class != 0);
343 mono_defaults.char_class = mono_class_from_name (
344 mono_defaults.corlib, "System", "Char");
345 g_assert (mono_defaults.char_class != 0);
347 mono_defaults.string_class = mono_class_from_name (
348 mono_defaults.corlib, "System", "String");
349 g_assert (mono_defaults.string_class != 0);
351 mono_defaults.enum_class = mono_class_from_name (
352 mono_defaults.corlib, "System", "Enum");
353 g_assert (mono_defaults.enum_class != 0);
355 mono_defaults.array_class = mono_class_from_name (
356 mono_defaults.corlib, "System", "Array");
357 g_assert (mono_defaults.array_class != 0);
359 mono_defaults.delegate_class = mono_class_from_name (
360 mono_defaults.corlib, "System", "Delegate");
361 g_assert (mono_defaults.delegate_class != 0 );
363 mono_defaults.multicastdelegate_class = mono_class_from_name (
364 mono_defaults.corlib, "System", "MulticastDelegate");
365 g_assert (mono_defaults.multicastdelegate_class != 0 );
367 mono_defaults.asyncresult_class = mono_class_from_name (
368 mono_defaults.corlib, "System.Runtime.Remoting.Messaging",
370 g_assert (mono_defaults.asyncresult_class != 0 );
372 mono_defaults.waithandle_class = mono_class_from_name (
373 mono_defaults.corlib, "System.Threading", "WaitHandle");
374 g_assert (mono_defaults.waithandle_class != 0 );
376 mono_defaults.typehandle_class = mono_class_from_name (
377 mono_defaults.corlib, "System", "RuntimeTypeHandle");
378 g_assert (mono_defaults.typehandle_class != 0);
380 mono_defaults.methodhandle_class = mono_class_from_name (
381 mono_defaults.corlib, "System", "RuntimeMethodHandle");
382 g_assert (mono_defaults.methodhandle_class != 0);
384 mono_defaults.fieldhandle_class = mono_class_from_name (
385 mono_defaults.corlib, "System", "RuntimeFieldHandle");
386 g_assert (mono_defaults.fieldhandle_class != 0);
388 mono_defaults.monotype_class = mono_class_from_name (
389 mono_defaults.corlib, "System", "MonoType");
390 g_assert (mono_defaults.monotype_class != 0);
392 mono_defaults.exception_class = mono_class_from_name (
393 mono_defaults.corlib, "System", "Exception");
394 g_assert (mono_defaults.exception_class != 0);
396 mono_defaults.threadabortexception_class = mono_class_from_name (
397 mono_defaults.corlib, "System.Threading", "ThreadAbortException");
398 g_assert (mono_defaults.threadabortexception_class != 0);
400 mono_defaults.thread_class = mono_class_from_name (
401 mono_defaults.corlib, "System.Threading", "Thread");
402 g_assert (mono_defaults.thread_class != 0);
404 mono_defaults.appdomain_class = mono_class_from_name (
405 mono_defaults.corlib, "System", "AppDomain");
406 g_assert (mono_defaults.appdomain_class != 0);
408 mono_defaults.transparent_proxy_class = mono_class_from_name (
409 mono_defaults.corlib, "System.Runtime.Remoting.Proxies", "TransparentProxy");
410 g_assert (mono_defaults.transparent_proxy_class != 0);
412 mono_defaults.real_proxy_class = mono_class_from_name (
413 mono_defaults.corlib, "System.Runtime.Remoting.Proxies", "RealProxy");
414 g_assert (mono_defaults.real_proxy_class != 0);
416 mono_defaults.mono_method_message_class = mono_class_from_name (
417 mono_defaults.corlib, "System.Runtime.Remoting.Messaging", "MonoMethodMessage");
418 g_assert (mono_defaults.mono_method_message_class != 0);
420 mono_defaults.field_info_class = mono_class_from_name (
421 mono_defaults.corlib, "System.Reflection", "FieldInfo");
422 g_assert (mono_defaults.field_info_class != 0);
424 mono_defaults.method_info_class = mono_class_from_name (
425 mono_defaults.corlib, "System.Reflection", "MethodInfo");
426 g_assert (mono_defaults.method_info_class != 0);
428 mono_defaults.stringbuilder_class = mono_class_from_name (
429 mono_defaults.corlib, "System.Text", "StringBuilder");
430 g_assert (mono_defaults.stringbuilder_class != 0);
432 mono_defaults.math_class = mono_class_from_name (
433 mono_defaults.corlib, "System", "Math");
434 g_assert (mono_defaults.math_class != 0);
436 mono_defaults.stack_frame_class = mono_class_from_name (
437 mono_defaults.corlib, "System.Diagnostics", "StackFrame");
438 g_assert (mono_defaults.stack_frame_class != 0);
440 mono_defaults.stack_trace_class = mono_class_from_name (
441 mono_defaults.corlib, "System.Diagnostics", "StackTrace");
442 g_assert (mono_defaults.stack_trace_class != 0);
444 mono_defaults.marshal_class = mono_class_from_name (
445 mono_defaults.corlib, "System.Runtime.InteropServices", "Marshal");
446 g_assert (mono_defaults.marshal_class != 0);
448 mono_defaults.iserializeable_class = mono_class_from_name (
449 mono_defaults.corlib, "System.Runtime.Serialization", "ISerializable");
450 g_assert (mono_defaults.iserializeable_class != 0);
452 mono_defaults.serializationinfo_class = mono_class_from_name (
453 mono_defaults.corlib, "System.Runtime.Serialization", "SerializationInfo");
454 g_assert (mono_defaults.serializationinfo_class != 0);
456 mono_defaults.streamingcontext_class = mono_class_from_name (
457 mono_defaults.corlib, "System.Runtime.Serialization", "StreamingContext");
458 g_assert (mono_defaults.streamingcontext_class != 0);
460 mono_defaults.typed_reference_class = mono_class_from_name (
461 mono_defaults.corlib, "System", "TypedReference");
462 g_assert (mono_defaults.typed_reference_class != 0);
464 mono_defaults.argumenthandle_class = mono_class_from_name (
465 mono_defaults.corlib, "System", "RuntimeArgumentHandle");
466 g_assert (mono_defaults.argumenthandle_class != 0);
468 mono_defaults.marshalbyrefobject_class = mono_class_from_name (
469 mono_defaults.corlib, "System", "MarshalByRefObject");
470 g_assert (mono_defaults.marshalbyrefobject_class != 0);
472 mono_defaults.monitor_class = mono_class_from_name (
473 mono_defaults.corlib, "System.Threading", "Monitor");
474 g_assert (mono_defaults.monitor_class != 0);
476 domain->friendly_name = g_path_get_basename (filename);
484 * Returns the current domain.
489 return ((MonoDomain *)TlsGetValue (appdomain_thread_id));
493 * mono_domain_set_internal:
494 * @domain: the new domain
496 * Sets the current domain to @domain.
499 mono_domain_set_internal (MonoDomain *domain)
501 TlsSetValue (appdomain_thread_id, domain);
502 TlsSetValue (context_thread_id, domain->default_context);
511 copy_hash_entry (gpointer key, gpointer data, gpointer user_data)
513 MonoGHashTable *dest = (MonoGHashTable*)user_data;
515 mono_g_hash_table_insert (dest, key, data);
519 foreach_domain (gpointer key, gpointer data, gpointer user_data)
521 DomainInfo *dom_info = user_data;
523 dom_info->func ((MonoDomain*)data, dom_info->user_data);
527 mono_domain_foreach (MonoDomainFunc func, gpointer user_data)
530 MonoGHashTable *copy;
533 * Create a copy of the hashtable to avoid calling the user callback
534 * inside the lock because that could lead to deadlocks.
535 * We can do this because this function is not perf. critical.
537 copy = mono_g_hash_table_new (NULL, NULL);
538 EnterCriticalSection (&appdomains_mutex);
539 mono_g_hash_table_foreach (appdomains_list, copy_hash_entry, copy);
540 LeaveCriticalSection (&appdomains_mutex);
542 dom_info.func = func;
543 dom_info.user_data = user_data;
544 mono_g_hash_table_foreach (copy, foreach_domain, &dom_info);
546 mono_g_hash_table_destroy (copy);
550 * mono_domain_assembly_open:
551 * @domain: the application domain
552 * @name: file name of the assembly
554 * fixme: maybe we should integrate this with mono_assembly_open ??
557 mono_domain_assembly_open (MonoDomain *domain, const char *name)
561 mono_domain_lock (domain);
562 if ((ass = g_hash_table_lookup (domain->assemblies, name))) {
563 mono_domain_unlock (domain);
566 mono_domain_unlock (domain);
568 if (!(ass = mono_assembly_open (name, NULL)))
575 remove_assembly (gpointer key, gpointer value, gpointer user_data)
577 mono_assembly_close ((MonoAssembly *)value);
581 delete_jump_list (gpointer key, gpointer value, gpointer user_data)
583 g_slist_free (value);
587 mono_domain_free (MonoDomain *domain, gboolean force)
589 if ((domain == mono_root_domain) && !force) {
590 g_warning ("cant unload root domain");
594 EnterCriticalSection (&appdomains_mutex);
595 mono_g_hash_table_remove (appdomains_list, GINT_TO_POINTER(domain->domain_id));
596 LeaveCriticalSection (&appdomains_mutex);
598 g_free (domain->friendly_name);
599 g_hash_table_foreach (domain->assemblies, remove_assembly, NULL);
601 mono_g_hash_table_destroy (domain->env);
602 g_hash_table_destroy (domain->assemblies);
603 mono_g_hash_table_destroy (domain->class_vtable_hash);
604 mono_g_hash_table_destroy (domain->proxy_vtable_hash);
605 mono_g_hash_table_destroy (domain->static_data_hash);
606 g_hash_table_destroy (domain->jit_code_hash);
607 mono_g_hash_table_destroy (domain->ldstr_table);
608 mono_jit_info_table_free (domain->jit_info_table);
609 #ifdef DEBUG_DOMAIN_UNLOAD
610 mono_mempool_invalidate (domain->mp);
611 mono_mempool_invalidate (domain->code_mp);
613 mono_mempool_destroy (domain->mp);
614 mono_mempool_destroy (domain->code_mp);
616 if (domain->jump_target_hash) {
617 g_hash_table_foreach (domain->jump_target_hash, delete_jump_list, NULL);
618 g_hash_table_destroy (domain->jump_target_hash);
620 mono_g_hash_table_destroy (domain->class_init_trampoline_hash);
621 g_hash_table_destroy (domain->finalizable_objects_hash);
622 if (domain->special_static_fields)
623 g_hash_table_destroy (domain->special_static_fields);
624 DeleteCriticalSection (&domain->lock);
625 domain->setup = NULL;
627 /* FIXME: anything else required ? */
634 if ((domain == mono_root_domain))
635 mono_root_domain = NULL;
639 * mono_domain_get_id:
641 * Returns the a domain for a specific domain id.
644 mono_domain_get_by_id (gint32 domainid)
648 EnterCriticalSection (&appdomains_mutex);
649 domain = mono_g_hash_table_lookup (appdomains_list, GINT_TO_POINTER(domainid));
650 LeaveCriticalSection (&appdomains_mutex);
656 mono_context_set (MonoAppContext * new_context)
658 TlsSetValue (context_thread_id, new_context);
664 return ((MonoAppContext *)TlsGetValue (context_thread_id));