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 mono_defaults.iremotingtypeinfo_class = mono_class_from_name (
477 mono_defaults.corlib, "System.Runtime.Remoting", "IRemotingTypeInfo");
478 g_assert (mono_defaults.iremotingtypeinfo_class != 0);
480 domain->friendly_name = g_path_get_basename (filename);
488 * Returns the current domain.
493 return ((MonoDomain *)TlsGetValue (appdomain_thread_id));
497 * mono_domain_set_internal:
498 * @domain: the new domain
500 * Sets the current domain to @domain.
503 mono_domain_set_internal (MonoDomain *domain)
505 TlsSetValue (appdomain_thread_id, domain);
506 TlsSetValue (context_thread_id, domain->default_context);
515 copy_hash_entry (gpointer key, gpointer data, gpointer user_data)
517 MonoGHashTable *dest = (MonoGHashTable*)user_data;
519 mono_g_hash_table_insert (dest, key, data);
523 foreach_domain (gpointer key, gpointer data, gpointer user_data)
525 DomainInfo *dom_info = user_data;
527 dom_info->func ((MonoDomain*)data, dom_info->user_data);
531 mono_domain_foreach (MonoDomainFunc func, gpointer user_data)
534 MonoGHashTable *copy;
537 * Create a copy of the hashtable to avoid calling the user callback
538 * inside the lock because that could lead to deadlocks.
539 * We can do this because this function is not perf. critical.
541 copy = mono_g_hash_table_new (NULL, NULL);
542 EnterCriticalSection (&appdomains_mutex);
543 mono_g_hash_table_foreach (appdomains_list, copy_hash_entry, copy);
544 LeaveCriticalSection (&appdomains_mutex);
546 dom_info.func = func;
547 dom_info.user_data = user_data;
548 mono_g_hash_table_foreach (copy, foreach_domain, &dom_info);
550 mono_g_hash_table_destroy (copy);
554 * mono_domain_assembly_open:
555 * @domain: the application domain
556 * @name: file name of the assembly
558 * fixme: maybe we should integrate this with mono_assembly_open ??
561 mono_domain_assembly_open (MonoDomain *domain, const char *name)
565 mono_domain_lock (domain);
566 if ((ass = g_hash_table_lookup (domain->assemblies, name))) {
567 mono_domain_unlock (domain);
570 mono_domain_unlock (domain);
572 if (!(ass = mono_assembly_open (name, NULL)))
579 remove_assembly (gpointer key, gpointer value, gpointer user_data)
581 mono_assembly_close ((MonoAssembly *)value);
585 delete_jump_list (gpointer key, gpointer value, gpointer user_data)
587 g_slist_free (value);
591 mono_domain_free (MonoDomain *domain, gboolean force)
593 if ((domain == mono_root_domain) && !force) {
594 g_warning ("cant unload root domain");
598 EnterCriticalSection (&appdomains_mutex);
599 mono_g_hash_table_remove (appdomains_list, GINT_TO_POINTER(domain->domain_id));
600 LeaveCriticalSection (&appdomains_mutex);
602 g_free (domain->friendly_name);
603 g_hash_table_foreach (domain->assemblies, remove_assembly, NULL);
605 mono_g_hash_table_destroy (domain->env);
606 g_hash_table_destroy (domain->assemblies);
607 mono_g_hash_table_destroy (domain->class_vtable_hash);
608 mono_g_hash_table_destroy (domain->proxy_vtable_hash);
609 mono_g_hash_table_destroy (domain->static_data_hash);
610 g_hash_table_destroy (domain->jit_code_hash);
611 mono_g_hash_table_destroy (domain->ldstr_table);
612 mono_jit_info_table_free (domain->jit_info_table);
613 #ifdef DEBUG_DOMAIN_UNLOAD
614 mono_mempool_invalidate (domain->mp);
615 mono_mempool_invalidate (domain->code_mp);
617 mono_mempool_destroy (domain->mp);
618 mono_mempool_destroy (domain->code_mp);
620 if (domain->jump_target_hash) {
621 g_hash_table_foreach (domain->jump_target_hash, delete_jump_list, NULL);
622 g_hash_table_destroy (domain->jump_target_hash);
624 mono_g_hash_table_destroy (domain->class_init_trampoline_hash);
625 g_hash_table_destroy (domain->finalizable_objects_hash);
626 if (domain->special_static_fields)
627 g_hash_table_destroy (domain->special_static_fields);
628 DeleteCriticalSection (&domain->lock);
629 domain->setup = NULL;
631 /* FIXME: anything else required ? */
638 if ((domain == mono_root_domain))
639 mono_root_domain = NULL;
643 * mono_domain_get_id:
645 * Returns the a domain for a specific domain id.
648 mono_domain_get_by_id (gint32 domainid)
652 EnterCriticalSection (&appdomains_mutex);
653 domain = mono_g_hash_table_lookup (appdomains_list, GINT_TO_POINTER(domainid));
654 LeaveCriticalSection (&appdomains_mutex);
660 mono_context_set (MonoAppContext * new_context)
662 TlsSetValue (context_thread_id, new_context);
668 return ((MonoAppContext *)TlsGetValue (context_thread_id));