5 * Mono Project (http://www.mono-project.com)
7 * Copyright 2001-2003 Ximian, Inc (http://www.ximian.com)
8 * Copyright 2004-2009 Novell, Inc (http://www.novell.com)
9 * Copyright 2011 Xamarin Inc (http://www.xamarin.com)
13 #include <mono/metadata/assembly.h>
14 #include <mono/metadata/tabledefs.h>
15 #include <mono/metadata/tokentype.h>
16 #include <mono/metadata/appdomain.h>
17 #include <mono/metadata/class-internals.h>
18 #include <mono/metadata/mono-debug.h>
19 #include <mono/metadata/mono-debug-debugger.h>
20 #include <mono/metadata/mono-endian.h>
21 #include <mono/metadata/gc-internal.h>
22 #include <mono/metadata/mempool.h>
25 #define ALIGN_TO(val,align) ((((guint64)val) + ((align) - 1)) & ~((align) - 1))
27 #if NO_UNALIGNED_ACCESS
28 #define WRITE_UNALIGNED(type, addr, val) \
29 memcpy(addr, &val, sizeof(type))
30 #define READ_UNALIGNED(type, addr, val) \
31 memcpy(&val, addr, sizeof(type))
33 #define WRITE_UNALIGNED(type, addr, val) \
34 (*(type *)(addr) = (val))
35 #define READ_UNALIGNED(type, addr, val) \
36 val = (*(type *)(addr))
39 /* This contains per-domain info */
40 struct _MonoDebugDataTable {
42 GHashTable *method_address_hash;
45 /* This contains JIT debugging information about a method in serialized format */
46 struct _MonoDebugMethodAddress {
47 const guint8 *code_start;
49 guint8 data [MONO_ZERO_LEN_ARRAY];
52 static MonoDebugFormat mono_debug_format = MONO_DEBUG_FORMAT_NONE;
54 static gboolean mono_debug_initialized = FALSE;
55 /* Maps MonoImage -> MonoMonoDebugHandle */
56 static GHashTable *mono_debug_handles;
57 /* Maps MonoDomain -> MonoDataTable */
58 static GHashTable *data_table_hash;
60 static mono_mutex_t debugger_lock_mutex;
62 static int initialized = 0;
63 static gboolean is_attached = FALSE;
65 static MonoDebugHandle *mono_debug_open_image (MonoImage *image, const guint8 *raw_contents, int size);
67 static MonoDebugHandle *mono_debug_get_image (MonoImage *image);
68 static void mono_debug_add_assembly (MonoAssembly *assembly,
71 static MonoDebugHandle *open_symfile_from_bundle (MonoImage *image);
73 static MonoDebugDataTable *
74 create_data_table (MonoDomain *domain)
76 MonoDebugDataTable *table;
78 table = g_new0 (MonoDebugDataTable, 1);
80 table->mp = mono_mempool_new ();
81 table->method_address_hash = g_hash_table_new (NULL, NULL);
84 g_hash_table_insert (data_table_hash, domain, table);
90 free_data_table (MonoDebugDataTable *table)
92 mono_mempool_destroy (table->mp);
93 g_hash_table_destroy (table->method_address_hash);
98 static MonoDebugDataTable *
99 lookup_data_table (MonoDomain *domain)
101 MonoDebugDataTable *table;
103 table = g_hash_table_lookup (data_table_hash, domain);
105 g_error ("lookup_data_table () failed for %p\n", domain);
112 free_debug_handle (MonoDebugHandle *handle)
115 mono_debug_close_mono_symbol_file (handle->symfile);
116 /* decrease the refcount added with mono_image_addref () */
117 mono_image_close (handle->image);
122 * Initialize debugging support.
124 * This method must be called after loading corlib,
125 * but before opening the application's main assembly because we need to set some
129 mono_debug_init (MonoDebugFormat format)
131 g_assert (!mono_debug_initialized);
132 if (format == MONO_DEBUG_FORMAT_DEBUGGER)
133 g_error ("The mdb debugger is no longer supported.");
135 mono_debug_initialized = TRUE;
136 mono_debug_format = format;
138 mono_debugger_initialize ();
140 mono_debugger_lock ();
142 mono_debug_handles = g_hash_table_new_full
143 (NULL, NULL, NULL, (GDestroyNotify) free_debug_handle);
145 data_table_hash = g_hash_table_new_full (
146 NULL, NULL, NULL, (GDestroyNotify) free_data_table);
148 mono_install_assembly_load_hook (mono_debug_add_assembly, NULL);
150 mono_debugger_unlock ();
154 mono_debug_open_image_from_memory (MonoImage *image, const guint8 *raw_contents, int size)
156 if (!mono_debug_initialized)
159 mono_debug_open_image (image, raw_contents, size);
163 mono_debug_cleanup (void)
165 if (mono_debug_handles)
166 g_hash_table_destroy (mono_debug_handles);
167 mono_debug_handles = NULL;
169 if (data_table_hash) {
170 g_hash_table_destroy (data_table_hash);
171 data_table_hash = NULL;
176 mono_debug_domain_create (MonoDomain *domain)
178 MonoDebugDataTable *table;
180 if (!mono_debug_initialized)
183 mono_debugger_lock ();
185 table = create_data_table (domain);
187 mono_debugger_unlock ();
191 mono_debug_domain_unload (MonoDomain *domain)
193 MonoDebugDataTable *table;
195 if (!mono_debug_initialized)
198 mono_debugger_lock ();
200 table = g_hash_table_lookup (data_table_hash, domain);
202 g_warning (G_STRLOC ": unloading unknown domain %p / %d",
203 domain, mono_domain_get_id (domain));
204 mono_debugger_unlock ();
208 g_hash_table_remove (data_table_hash, domain);
210 mono_debugger_unlock ();
214 * LOCKING: Assumes the debug lock is held.
216 static MonoDebugHandle *
217 mono_debug_get_image (MonoImage *image)
219 return g_hash_table_lookup (mono_debug_handles, image);
223 mono_debug_close_image (MonoImage *image)
225 MonoDebugHandle *handle;
227 if (!mono_debug_initialized)
230 mono_debugger_lock ();
232 handle = mono_debug_get_image (image);
234 mono_debugger_unlock ();
238 g_hash_table_remove (mono_debug_handles, image);
240 mono_debugger_unlock ();
243 static MonoDebugHandle *
244 mono_debug_open_image (MonoImage *image, const guint8 *raw_contents, int size)
246 MonoDebugHandle *handle;
248 if (mono_image_is_dynamic (image))
251 mono_debugger_lock ();
253 handle = mono_debug_get_image (image);
254 if (handle != NULL) {
255 mono_debugger_unlock ();
259 handle = g_new0 (MonoDebugHandle, 1);
261 handle->image = image;
262 mono_image_addref (image);
264 handle->symfile = mono_debug_open_mono_symbols (
265 handle, raw_contents, size, FALSE);
267 g_hash_table_insert (mono_debug_handles, image, handle);
269 mono_debugger_unlock ();
275 mono_debug_add_assembly (MonoAssembly *assembly, gpointer user_data)
277 MonoDebugHandle *handle;
280 mono_debugger_lock ();
281 image = mono_assembly_get_image (assembly);
282 handle = open_symfile_from_bundle (image);
284 mono_debug_open_image (image, NULL, 0);
285 mono_debugger_unlock ();
288 struct LookupMethodData
290 MonoDebugMethodInfo *minfo;
295 lookup_method_func (gpointer key, gpointer value, gpointer user_data)
297 MonoDebugHandle *handle = (MonoDebugHandle *) value;
298 struct LookupMethodData *data = (struct LookupMethodData *) user_data;
304 data->minfo = mono_debug_symfile_lookup_method (handle, data->method);
307 static MonoDebugMethodInfo *
308 mono_debug_lookup_method_internal (MonoMethod *method)
310 struct LookupMethodData data;
313 data.method = method;
315 if (!mono_debug_handles)
318 g_hash_table_foreach (mono_debug_handles, lookup_method_func, &data);
323 * mono_debug_lookup_method:
325 * Lookup symbol file information for the method @method. The returned
326 * `MonoDebugMethodInfo' is a private structure, but it can be passed to
327 * mono_debug_symfile_lookup_location().
329 MonoDebugMethodInfo *
330 mono_debug_lookup_method (MonoMethod *method)
332 MonoDebugMethodInfo *minfo;
334 mono_debugger_lock ();
335 minfo = mono_debug_lookup_method_internal (method);
336 mono_debugger_unlock ();
347 lookup_image_func (gpointer key, gpointer value, gpointer user_data)
349 MonoDebugHandle *handle = (MonoDebugHandle *) value;
350 LookupImageData *data = (LookupImageData *) user_data;
355 if (handle->image == data->image && handle->symfile)
360 mono_debug_image_has_debug_info (MonoImage *image)
362 LookupImageData data;
364 if (!mono_debug_handles)
367 memset (&data, 0, sizeof (data));
370 mono_debugger_lock ();
371 g_hash_table_foreach (mono_debug_handles, lookup_image_func, &data);
372 mono_debugger_unlock ();
377 write_leb128 (guint32 value, guint8 *ptr, guint8 **rptr)
380 guint8 byte = value & 0x7f;
391 write_sleb128 (gint32 value, guint8 *ptr, guint8 **rptr)
396 guint8 byte = value & 0x7f;
399 if (((value == 0) && ((byte & 0x40) == 0)) || ((value == -1) && (byte & 0x40)))
410 write_variable (MonoDebugVarInfo *var, guint8 *ptr, guint8 **rptr)
412 write_leb128 (var->index, ptr, &ptr);
413 write_sleb128 (var->offset, ptr, &ptr);
414 write_leb128 (var->size, ptr, &ptr);
415 write_leb128 (var->begin_scope, ptr, &ptr);
416 write_leb128 (var->end_scope, ptr, &ptr);
417 WRITE_UNALIGNED (gpointer, ptr, var->type);
418 ptr += sizeof (gpointer);
422 MonoDebugMethodAddress *
423 mono_debug_add_method (MonoMethod *method, MonoDebugMethodJitInfo *jit, MonoDomain *domain)
425 MonoDebugDataTable *table;
426 MonoDebugMethodAddress *address;
427 MonoDebugMethodInfo *minfo;
428 MonoDebugHandle *handle;
429 guint8 buffer [BUFSIZ];
430 guint8 *ptr, *oldptr;
431 guint32 i, size, total_size, max_size;
433 mono_debugger_lock ();
435 table = lookup_data_table (domain);
437 handle = mono_debug_get_image (method->klass->image);
438 minfo = mono_debug_lookup_method_internal (method);
440 max_size = (5 * 5) + 1 + (10 * jit->num_line_numbers) +
441 (25 + sizeof (gpointer)) * (1 + jit->num_params + jit->num_locals);
443 if (max_size > BUFSIZ)
444 ptr = oldptr = g_malloc (max_size);
446 ptr = oldptr = buffer;
448 write_leb128 (jit->prologue_end, ptr, &ptr);
449 write_leb128 (jit->epilogue_begin, ptr, &ptr);
451 write_leb128 (jit->num_line_numbers, ptr, &ptr);
452 for (i = 0; i < jit->num_line_numbers; i++) {
453 MonoDebugLineNumberEntry *lne = &jit->line_numbers [i];
455 write_sleb128 (lne->il_offset, ptr, &ptr);
456 write_sleb128 (lne->native_offset, ptr, &ptr);
459 *ptr++ = jit->this_var ? 1 : 0;
461 write_variable (jit->this_var, ptr, &ptr);
463 write_leb128 (jit->num_params, ptr, &ptr);
464 for (i = 0; i < jit->num_params; i++)
465 write_variable (&jit->params [i], ptr, &ptr);
467 write_leb128 (jit->num_locals, ptr, &ptr);
468 for (i = 0; i < jit->num_locals; i++)
469 write_variable (&jit->locals [i], ptr, &ptr);
471 *ptr++ = jit->gsharedvt_info_var ? 1 : 0;
472 if (jit->gsharedvt_info_var) {
473 write_variable (jit->gsharedvt_info_var, ptr, &ptr);
474 write_variable (jit->gsharedvt_locals_var, ptr, &ptr);
478 g_assert (size < max_size);
479 total_size = size + sizeof (MonoDebugMethodAddress);
481 if (method_is_dynamic (method)) {
482 address = g_malloc0 (total_size);
484 address = mono_mempool_alloc (table->mp, total_size);
487 address->code_start = jit->code_start;
488 address->code_size = jit->code_size;
490 memcpy (&address->data, oldptr, size);
491 if (max_size > BUFSIZ)
494 g_hash_table_insert (table->method_address_hash, method, address);
496 mono_debugger_unlock ();
501 mono_debug_remove_method (MonoMethod *method, MonoDomain *domain)
503 MonoDebugDataTable *table;
504 MonoDebugMethodAddress *address;
506 if (!mono_debug_initialized)
509 g_assert (method_is_dynamic (method));
511 mono_debugger_lock ();
513 table = lookup_data_table (domain);
515 address = g_hash_table_lookup (table->method_address_hash, method);
519 g_hash_table_remove (table->method_address_hash, method);
521 mono_debugger_unlock ();
525 mono_debug_add_delegate_trampoline (gpointer code, int size)
529 static inline guint32
530 read_leb128 (guint8 *ptr, guint8 **rptr)
532 guint32 result = 0, shift = 0;
535 guint8 byte = *ptr++;
537 result |= (byte & 0x7f) << shift;
538 if ((byte & 0x80) == 0)
548 read_sleb128 (guint8 *ptr, guint8 **rptr)
554 guint8 byte = *ptr++;
556 result |= (byte & 0x7f) << shift;
562 if ((shift < 32) && (byte & 0x40))
563 result |= - (1 << shift);
572 read_variable (MonoDebugVarInfo *var, guint8 *ptr, guint8 **rptr)
574 var->index = read_leb128 (ptr, &ptr);
575 var->offset = read_sleb128 (ptr, &ptr);
576 var->size = read_leb128 (ptr, &ptr);
577 var->begin_scope = read_leb128 (ptr, &ptr);
578 var->end_scope = read_leb128 (ptr, &ptr);
579 READ_UNALIGNED (gpointer, ptr, var->type);
580 ptr += sizeof (gpointer);
585 mono_debug_free_method_jit_info (MonoDebugMethodJitInfo *jit)
589 g_free (jit->line_numbers);
590 g_free (jit->this_var);
591 g_free (jit->params);
592 g_free (jit->locals);
593 g_free (jit->gsharedvt_info_var);
594 g_free (jit->gsharedvt_locals_var);
598 static MonoDebugMethodJitInfo *
599 mono_debug_read_method (MonoDebugMethodAddress *address)
601 MonoDebugMethodJitInfo *jit;
605 jit = g_new0 (MonoDebugMethodJitInfo, 1);
606 jit->code_start = address->code_start;
607 jit->code_size = address->code_size;
609 ptr = (guint8 *) &address->data;
611 jit->prologue_end = read_leb128 (ptr, &ptr);
612 jit->epilogue_begin = read_leb128 (ptr, &ptr);
614 jit->num_line_numbers = read_leb128 (ptr, &ptr);
615 jit->line_numbers = g_new0 (MonoDebugLineNumberEntry, jit->num_line_numbers);
616 for (i = 0; i < jit->num_line_numbers; i++) {
617 MonoDebugLineNumberEntry *lne = &jit->line_numbers [i];
619 lne->il_offset = read_sleb128 (ptr, &ptr);
620 lne->native_offset = read_sleb128 (ptr, &ptr);
624 jit->this_var = g_new0 (MonoDebugVarInfo, 1);
625 read_variable (jit->this_var, ptr, &ptr);
628 jit->num_params = read_leb128 (ptr, &ptr);
629 jit->params = g_new0 (MonoDebugVarInfo, jit->num_params);
630 for (i = 0; i < jit->num_params; i++)
631 read_variable (&jit->params [i], ptr, &ptr);
633 jit->num_locals = read_leb128 (ptr, &ptr);
634 jit->locals = g_new0 (MonoDebugVarInfo, jit->num_locals);
635 for (i = 0; i < jit->num_locals; i++)
636 read_variable (&jit->locals [i], ptr, &ptr);
639 jit->gsharedvt_info_var = g_new0 (MonoDebugVarInfo, 1);
640 jit->gsharedvt_locals_var = g_new0 (MonoDebugVarInfo, 1);
641 read_variable (jit->gsharedvt_info_var, ptr, &ptr);
642 read_variable (jit->gsharedvt_locals_var, ptr, &ptr);
648 static MonoDebugMethodJitInfo *
649 find_method (MonoMethod *method, MonoDomain *domain)
651 MonoDebugDataTable *table;
652 MonoDebugMethodAddress *address;
654 table = lookup_data_table (domain);
655 address = g_hash_table_lookup (table->method_address_hash, method);
660 return mono_debug_read_method (address);
663 MonoDebugMethodJitInfo *
664 mono_debug_find_method (MonoMethod *method, MonoDomain *domain)
666 MonoDebugMethodJitInfo *res;
668 if (mono_debug_format == MONO_DEBUG_FORMAT_NONE)
671 mono_debugger_lock ();
672 res = find_method (method, domain);
673 mono_debugger_unlock ();
677 MonoDebugMethodAddressList *
678 mono_debug_lookup_method_addresses (MonoMethod *method)
680 g_assert_not_reached ();
685 il_offset_from_address (MonoMethod *method, MonoDomain *domain, guint32 native_offset)
687 MonoDebugMethodJitInfo *jit;
690 jit = find_method (method, domain);
691 if (!jit || !jit->line_numbers)
692 goto cleanup_and_fail;
694 for (i = jit->num_line_numbers - 1; i >= 0; i--) {
695 MonoDebugLineNumberEntry lne = jit->line_numbers [i];
697 if (lne.native_offset <= native_offset) {
698 mono_debug_free_method_jit_info (jit);
699 return lne.il_offset;
704 mono_debug_free_method_jit_info (jit);
709 * mono_debug_il_offset_from_address:
711 * Compute the IL offset corresponding to NATIVE_OFFSET inside the native
712 * code of METHOD in DOMAIN.
715 mono_debug_il_offset_from_address (MonoMethod *method, MonoDomain *domain, guint32 native_offset)
719 mono_debugger_lock ();
721 res = il_offset_from_address (method, domain, native_offset);
723 mono_debugger_unlock ();
729 * mono_debug_lookup_source_location:
730 * @address: Native offset within the @method's machine code.
732 * Lookup the source code corresponding to the machine instruction located at
733 * native offset @address within @method.
735 * The returned `MonoDebugSourceLocation' contains both file / line number
736 * information and the corresponding IL offset. It must be freed by
737 * mono_debug_free_source_location().
739 MonoDebugSourceLocation *
740 mono_debug_lookup_source_location (MonoMethod *method, guint32 address, MonoDomain *domain)
742 MonoDebugMethodInfo *minfo;
743 MonoDebugSourceLocation *location;
746 if (mono_debug_format == MONO_DEBUG_FORMAT_NONE)
749 mono_debugger_lock ();
750 minfo = mono_debug_lookup_method_internal (method);
751 if (!minfo || !minfo->handle || !minfo->handle->symfile || !mono_debug_symfile_is_loaded (minfo->handle->symfile)) {
752 mono_debugger_unlock ();
756 offset = il_offset_from_address (method, domain, address);
758 mono_debugger_unlock ();
762 location = mono_debug_symfile_lookup_location (minfo, offset);
763 mono_debugger_unlock ();
768 * mono_debug_lookup_locals:
770 * Return information about the local variables of MINFO.
771 * The result should be freed using mono_debug_symfile_free_locals ().
774 mono_debug_lookup_locals (MonoMethod *method)
776 MonoDebugMethodInfo *minfo;
777 MonoDebugLocalsInfo *res;
779 if (mono_debug_format == MONO_DEBUG_FORMAT_NONE)
782 mono_debugger_lock ();
783 minfo = mono_debug_lookup_method_internal (method);
784 if (!minfo || !minfo->handle || !minfo->handle->symfile || !mono_debug_symfile_is_loaded (minfo->handle->symfile)) {
785 mono_debugger_unlock ();
789 res = mono_debug_symfile_lookup_locals (minfo);
790 mono_debugger_unlock ();
796 * mono_debug_free_source_location:
797 * @location: A `MonoDebugSourceLocation'.
799 * Frees the @location.
802 mono_debug_free_source_location (MonoDebugSourceLocation *location)
805 g_free (location->source_file);
811 * mono_debug_print_stack_frame:
812 * @native_offset: Native offset within the @method's machine code.
814 * Conventient wrapper around mono_debug_lookup_source_location() which can be
815 * used if you only want to use the location to print a stack frame.
818 mono_debug_print_stack_frame (MonoMethod *method, guint32 native_offset, MonoDomain *domain)
820 MonoDebugSourceLocation *location;
821 gchar *fname, *ptr, *res;
824 fname = mono_method_full_name (method, TRUE);
825 for (ptr = fname; *ptr; ptr++) {
826 if (*ptr == ':') *ptr = '.';
829 location = mono_debug_lookup_source_location (method, native_offset, domain);
832 if (mono_debug_initialized) {
833 mono_debugger_lock ();
834 offset = il_offset_from_address (method, domain, native_offset);
835 mono_debugger_unlock ();
841 res = g_strdup_printf ("at %s <0x%05x>", fname, native_offset);
843 res = g_strdup_printf ("at %s <IL 0x%05x, 0x%05x>", fname, offset, native_offset);
848 res = g_strdup_printf ("at %s [0x%05x] in %s:%d", fname, location->il_offset,
849 location->source_file, location->row);
852 mono_debug_free_source_location (location);
857 mono_set_is_debugger_attached (gboolean attached)
859 is_attached = attached;
863 mono_is_debugger_attached (void)
872 typedef struct _BundledSymfile BundledSymfile;
874 struct _BundledSymfile {
875 BundledSymfile *next;
877 const mono_byte *raw_contents;
881 static BundledSymfile *bundled_symfiles = NULL;
884 mono_register_symfile_for_assembly (const char *assembly_name, const mono_byte *raw_contents, int size)
886 BundledSymfile *bsymfile;
888 bsymfile = g_new0 (BundledSymfile, 1);
889 bsymfile->aname = assembly_name;
890 bsymfile->raw_contents = raw_contents;
891 bsymfile->size = size;
892 bsymfile->next = bundled_symfiles;
893 bundled_symfiles = bsymfile;
896 static MonoDebugHandle *
897 open_symfile_from_bundle (MonoImage *image)
899 BundledSymfile *bsymfile;
901 for (bsymfile = bundled_symfiles; bsymfile; bsymfile = bsymfile->next) {
902 if (strcmp (bsymfile->aname, image->module_name))
905 return mono_debug_open_image (image, bsymfile->raw_contents, bsymfile->size);
912 mono_debugger_lock (void)
914 g_assert (initialized);
915 mono_mutex_lock (&debugger_lock_mutex);
919 mono_debugger_unlock (void)
921 g_assert (initialized);
922 mono_mutex_unlock (&debugger_lock_mutex);
926 mono_debugger_initialize ()
928 mono_mutex_init_recursive (&debugger_lock_mutex);
933 * mono_debug_enabled:
935 * Returns true is debug information is enabled. This doesn't relate if a debugger is present or not.
938 mono_debug_enabled (void)
940 return mono_debug_format != MONO_DEBUG_FORMAT_NONE;