2002-10-01 Martin Baulig <martin@gnome.org>
[mono.git] / mono / jit / debug.c
index f8bdd5060ea268ce2f2c0e9830dba7800204ff6f..7ae84dec6d0253f84e865bffb5276641bd59533b 100644 (file)
@@ -1,31 +1,84 @@
 #include <stdlib.h>
 #include <string.h>
 #include <errno.h>
+#include <signal.h>
 #include <sys/stat.h>
 #include <mono/metadata/class.h>
+#include <mono/metadata/assembly.h>
 #include <mono/metadata/tabledefs.h>
 #include <mono/metadata/tokentype.h>
+#include <mono/metadata/debug-helpers.h>
 #include <mono/metadata/debug-mono-symfile.h>
 #include <mono/jit/codegen.h>
 #include <mono/jit/debug.h>
 
 #include "debug-private.h"
+#include "helpers.h"
 
-/* See debug.h for documentation. */
-guint32 mono_debugger_symbol_file_table_generation = 0;
-guint8 *mono_debugger_symbol_file_table = NULL;
+/* This is incremented each time the symbol table is modified.
+ * The debugger looks at this variable and if it has a higher value than its current
+ * copy of the symbol table, it must call debugger_update_symbol_file_table().
+ */
+static guint32 debugger_symbol_file_table_generation = 0;
+
+/* Caution: This variable may be accessed at any time from the debugger;
+ *          it is very important not to modify the memory it is pointing to
+ *          without previously setting this pointer back to NULL.
+ */
+static MonoDebuggerSymbolFileTable *debugger_symbol_file_table = NULL;
 
 /* Caution: This function MUST be called before touching the symbol table! */
 static void release_symbol_file_table (void);
 
-static MonoDebugHandle *mono_debug_handles = NULL;
-static MonoDebugHandle *mono_default_debug_handle = NULL;
+static void initialize_debugger_support (void);
+
+static MonoDebugHandle *mono_debug_handle = NULL;
+
+static guint64 debugger_insert_breakpoint (guint64 method_argument, const gchar *string_argument);
+static guint64 debugger_remove_breakpoint (guint64 breakpoint);
+static int debugger_update_symbol_file_table (void);
+
+static void mono_debug_add_assembly (MonoAssembly *assembly, gpointer user_data);
+static void mono_debug_close_assembly (AssemblyDebugInfo* info);
+static AssemblyDebugInfo *mono_debug_open_image (MonoDebugHandle* debug, MonoImage *image);
+
+/*
+ * This is a global data symbol which is read by the debugger.
+ */
+MonoDebuggerInfo MONO_DEBUGGER__debugger_info = {
+       MONO_SYMBOL_FILE_DYNAMIC_MAGIC,
+       MONO_SYMBOL_FILE_DYNAMIC_VERSION,
+       sizeof (MonoDebuggerInfo),
+       &mono_generic_trampoline_code,
+       &mono_breakpoint_trampoline_code,
+       &debugger_symbol_file_table_generation,
+       &debugger_symbol_file_table,
+       &debugger_update_symbol_file_table,
+       &mono_compile_method,
+       &debugger_insert_breakpoint,
+       &debugger_remove_breakpoint,
+       &mono_runtime_invoke
+};
 
 static void
-free_method_info (DebugMethodInfo *minfo)
+free_method_info (MonoDebugMethodInfo *minfo)
 {
-       if (minfo->line_numbers)
-               g_ptr_array_free (minfo->line_numbers, TRUE);
+       DebugMethodInfo *priv = minfo->user_data;
+
+       if (priv) {
+               g_free (priv->name);
+               g_free (priv);
+       }
+
+       if (minfo->jit) {
+               g_array_free (minfo->jit->line_numbers, TRUE);
+               g_free (minfo->jit->this_var);
+               g_free (minfo->jit->params);
+               g_free (minfo->jit->locals);
+               g_free (minfo->jit);
+       }
+
+       g_free (minfo->il_offsets);
        g_free (minfo);
 }
 
@@ -53,15 +106,17 @@ replace_suffix (const char *filename, const char *new_suffix)
 }
 
 MonoDebugHandle*
-mono_debug_open (const char *name, MonoDebugFormat format, const char **args)
+mono_debug_open (MonoAssembly *assembly, MonoDebugFormat format, const char **args)
 {
        MonoDebugHandle *debug;
        const char **ptr;
 
+       g_assert (!mono_debug_handle);
+
        release_symbol_file_table ();
-       
+
        debug = g_new0 (MonoDebugHandle, 1);
-       debug->name = g_strdup (name);
+       debug->name = g_strdup (assembly->image->name);
        debug->format = format;
        debug->producer_name = g_strdup_printf ("Mono JIT compiler version %s", VERSION);
        debug->next_idx = 100;
@@ -70,6 +125,9 @@ mono_debug_open (const char *name, MonoDebugFormat format, const char **args)
        debug->type_hash = g_hash_table_new (NULL, NULL);
        debug->source_files = g_ptr_array_new ();
 
+       debug->images = g_hash_table_new_full (NULL, NULL, NULL,
+                                              (GDestroyNotify) mono_debug_close_assembly);
+
        for (ptr = args; ptr && *ptr; ptr++) {
                const char *arg = *ptr;
                gchar *message;
@@ -117,6 +175,7 @@ mono_debug_open (const char *name, MonoDebugFormat format, const char **args)
                } else {
                        if (!strcmp (arg, "internal_mono_debugger")) {
                                debug->flags |= MONO_DEBUG_FLAGS_MONO_DEBUGGER;
+                               initialize_debugger_support ();
                                continue;
                        }
                }
@@ -145,15 +204,68 @@ mono_debug_open (const char *name, MonoDebugFormat format, const char **args)
                g_assert_not_reached ();
        }
 
-       debug->next = mono_debug_handles;
-       mono_debug_handles = debug;
-
-       if (!mono_default_debug_handle)
-               mono_default_debug_handle = debug;
+       mono_debug_handle = debug;
+       mono_install_assembly_load_hook (mono_debug_add_assembly, NULL);
+
+       mono_debug_open_image (mono_debug_handle, assembly->image);
+       mono_debug_open_image (mono_debug_handle, mono_defaults.corlib);
+
+       mono_debug_add_type (mono_defaults.object_class);
+       mono_debug_add_type (mono_defaults.object_class);
+       mono_debug_add_type (mono_defaults.byte_class);
+       mono_debug_add_type (mono_defaults.void_class);
+       mono_debug_add_type (mono_defaults.boolean_class);
+       mono_debug_add_type (mono_defaults.sbyte_class);
+       mono_debug_add_type (mono_defaults.int16_class);
+       mono_debug_add_type (mono_defaults.uint16_class);
+       mono_debug_add_type (mono_defaults.int32_class);
+       mono_debug_add_type (mono_defaults.uint32_class);
+       mono_debug_add_type (mono_defaults.int_class);
+       mono_debug_add_type (mono_defaults.uint_class);
+       mono_debug_add_type (mono_defaults.int64_class);
+       mono_debug_add_type (mono_defaults.uint64_class);
+       mono_debug_add_type (mono_defaults.single_class);
+       mono_debug_add_type (mono_defaults.double_class);
+       mono_debug_add_type (mono_defaults.char_class);
+       mono_debug_add_type (mono_defaults.string_class);
+       mono_debug_add_type (mono_defaults.enum_class);
+       mono_debug_add_type (mono_defaults.array_class);
+       mono_debug_add_type (mono_defaults.multicastdelegate_class);
+       mono_debug_add_type (mono_defaults.asyncresult_class);
+       mono_debug_add_type (mono_defaults.waithandle_class);
+       mono_debug_add_type (mono_defaults.typehandle_class);
+       mono_debug_add_type (mono_defaults.fieldhandle_class);
+       mono_debug_add_type (mono_defaults.methodhandle_class);
+       mono_debug_add_type (mono_defaults.monotype_class);
+       mono_debug_add_type (mono_defaults.exception_class);
+       mono_debug_add_type (mono_defaults.threadabortexception_class);
+       mono_debug_add_type (mono_defaults.thread_class);
+       mono_debug_add_type (mono_defaults.transparent_proxy_class);
+       mono_debug_add_type (mono_defaults.real_proxy_class);
+       mono_debug_add_type (mono_defaults.mono_method_message_class);
+       mono_debug_add_type (mono_defaults.appdomain_class);
+       mono_debug_add_type (mono_defaults.field_info_class);
+       mono_debug_add_type (mono_defaults.stringbuilder_class);
+       mono_debug_add_type (mono_defaults.math_class);
+       mono_debug_add_type (mono_defaults.stack_frame_class);
+       mono_debug_add_type (mono_defaults.stack_trace_class);
+       mono_debug_add_type (mono_defaults.marshal_class);
+       mono_debug_add_type (mono_defaults.iserializeable_class);
+       mono_debug_add_type (mono_defaults.serializationinfo_class);
+       mono_debug_add_type (mono_defaults.streamingcontext_class);
 
        return debug;
 }
 
+static void
+mono_debug_add_assembly (MonoAssembly *assembly, gpointer user_data)
+{
+       if (!mono_debug_handle)
+               return;
+
+       mono_debug_open_image (mono_debug_handle, assembly->image);
+}
+
 static void
 generate_il_offsets (AssemblyDebugInfo *info, MonoMethod *method)
 {
@@ -212,6 +324,9 @@ generate_il_offsets (AssemblyDebugInfo *info, MonoMethod *method)
 
        priv->last_line = i;
 
+       minfo->start_line = priv->first_line;
+       minfo->end_line = priv->last_line;
+
        minfo->num_il_offsets = il_offsets->len;
        minfo->il_offsets = g_new0 (MonoSymbolFileLineNumberEntry, il_offsets->len);
        for (i = 0; i < il_offsets->len; i++) {
@@ -249,15 +364,36 @@ debug_load_method_lines (AssemblyDebugInfo* info)
 
                /* If the stat() failed or the file is older. */
                if (stat (info->ilfile, &statb)) {
-                       /* Don't create any new *.il files if the user told us not to do so. */
-                       if (!(info->handle->flags & MONO_DEBUG_FLAGS_DONT_CREATE_IL_FILES))
-                               need_update = TRUE;
+                       need_update = TRUE;
                } else if (statb.st_mtime < stata.st_mtime)
                        need_update = TRUE;
 
                if (need_update) {
+#ifndef PLATFORM_WIN32
+                       struct sigaction act, oldact;
+                       sigset_t old_set;
+#endif
+                       int ret;
+
+#ifndef PLATFORM_WIN32
+                       act.sa_handler = SIG_IGN;
+                       act.sa_flags = SA_NOCLDSTOP | SA_RESTART;
+                       sigemptyset (&act.sa_mask);
+                       sigaddset (&act.sa_mask, SIGCHLD);
+                       sigprocmask (SIG_BLOCK, &act.sa_mask, &old_set);
+                       sigaction (SIGCHLD, &act, &oldact);
+#endif
+                       
                        g_print ("Recreating %s from %s.\n", info->ilfile, info->image->name);
-                       if (system (command)) {
+
+                       ret = system (command);
+
+#ifndef PLATFORM_WIN32
+                       sigaction (SIGCHLD, &oldact, NULL);
+                       sigprocmask (SIG_SETMASK, &old_set, NULL);
+#endif
+
+                       if (ret) {
                                g_warning ("cannot create IL assembly file (%s): %s",
                                           command, g_strerror (errno));
                                g_free (command);
@@ -339,16 +475,15 @@ debug_load_method_lines (AssemblyDebugInfo* info)
 }
 
 static void
-record_line_number (DebugMethodInfo *priv, gconstpointer address, guint32 line, int is_basic_block)
+record_line_number (MonoDebugMethodInfo *minfo, guint32 address, guint32 offset, guint32 line)
 {
-       DebugLineNumberInfo *lni = g_new0 (DebugLineNumberInfo, 1);
+       MonoDebugLineNumberEntry *lne = g_new0 (MonoDebugLineNumberEntry, 1);
 
-       lni->address = address;
-       lni->line = line;
-       lni->is_basic_block = is_basic_block;
-       lni->source_file = priv->source_file;
+       lne->address = address;
+       lne->offset = offset;
+       lne->line = line;
 
-       g_ptr_array_add (priv->line_numbers, lni);
+       g_array_append_val (minfo->jit->line_numbers, *lne);
 }
 
 static void
@@ -358,19 +493,16 @@ debug_generate_method_lines (AssemblyDebugInfo *info, MonoDebugMethodInfo *minfo
        DebugMethodInfo *priv = minfo->user_data;
        int i;
 
-       if (!priv)
+       if (!priv || !info->moffsets)
                return;
 
-       priv->line_numbers = g_ptr_array_new ();
+       minfo->jit->line_numbers = g_array_new (FALSE, TRUE, sizeof (MonoDebugLineNumberEntry));
 
        st_line = priv->first_line;
        st_address = minfo->jit->prologue_end;
 
-       /* record_line_number takes absolute memory addresses. */
-       record_line_number (priv, minfo->jit->code_start, priv->start_line, FALSE);
-
        /* This is the first actual code line of the method. */
-       record_line_number (priv, minfo->jit->code_start + st_address, st_line, TRUE);
+       record_line_number (minfo, st_address, 0, st_line);
 
        /* start lines of basic blocks */
        for (i = 0; i < cfg->block_count; ++i) {
@@ -383,16 +515,11 @@ debug_generate_method_lines (AssemblyDebugInfo *info, MonoDebugMethodInfo *minfo
                        if (!i && !j) {
                                st_line = priv->first_line;
                                st_address = t->addr;
-
-                               record_line_number (priv, cfg->start + st_address, st_line, TRUE);
                        }
 
                        addr_inc = t->addr - st_address;
                        st_address += addr_inc;
 
-                       if (!info->moffsets)
-                               continue;
-
                        if (t->cli_addr != -1) {
                                int *lines = info->moffsets + st_line;
                                int *k = lines;
@@ -405,27 +532,78 @@ debug_generate_method_lines (AssemblyDebugInfo *info, MonoDebugMethodInfo *minfo
 
                        st_line += line_inc;
 
-                       record_line_number (priv, minfo->jit->code_start + st_address,
-                                           st_line, j == 0);
+                       if (t->cli_addr != -1)
+                               record_line_number (minfo, st_address, t->cli_addr, st_line);
                }
        }
 }
 
+static void
+generate_line_number (MonoDebugMethodInfo *minfo, guint32 address, guint32 offset)
+{
+       int i;
+
+       for (i = minfo->num_il_offsets - 1; i >= 0; i--) {
+               MonoDebugLineNumberEntry *lne;
+
+               if (minfo->il_offsets [i].offset > offset)
+                       continue;
+
+               if (minfo->jit->line_numbers->len) {
+                       MonoDebugLineNumberEntry last = g_array_index (
+                               minfo->jit->line_numbers, MonoDebugLineNumberEntry,
+                               minfo->jit->line_numbers->len - 1);
+
+                       if (minfo->il_offsets [i].row <= last.line)
+                               continue;
+               }
+
+               lne = g_new0 (MonoDebugLineNumberEntry, 1);
+               lne->address = address;
+               lne->offset = offset;
+               lne->line = minfo->il_offsets [i].row;
+
+               g_array_append_val (minfo->jit->line_numbers, *lne);
+               return;
+       }
+}
+
 static void
 debug_update_il_offsets (AssemblyDebugInfo *info, MonoDebugMethodInfo *minfo, MonoFlowGraph* cfg)
 {
-       guint32 old_address, st_address;
-       int index, i;
+       MonoMethodHeader *header;
+       guint32 address, offset;
+       int debug = 0;
+       int i;
 
-       minfo->jit->il_addresses = g_new0 (guint32, minfo->num_il_offsets);
-       if (minfo->num_il_offsets < 2)
+       g_assert (info->symfile);
+       if (info->symfile->is_dynamic)
                return;
 
-       st_address = old_address = minfo->jit->prologue_end;
+       g_assert (!minfo->jit->line_numbers);
+       minfo->jit->line_numbers = g_array_new (FALSE, TRUE, sizeof (MonoDebugLineNumberEntry));
+
+       address = minfo->jit->prologue_end;
+       offset = 0;
+
+       g_assert (((MonoMethodNormal*)minfo->method)->header);
+       header = ((MonoMethodNormal*)minfo->method)->header;
 
-       minfo->jit->il_addresses [0] = 0;
-       minfo->jit->il_addresses [1] = st_address;
-       index = 2;
+#if 0
+       if (!strcmp (minfo->method->name, "Main")) {
+               MonoMethodHeader *header = ((MonoMethodNormal*)minfo->method)->header;
+
+               debug = 1;
+               mono_disassemble_code (minfo->jit->code_start, minfo->jit->code_size,
+                                      minfo->method->name);
+
+               printf ("\nDisassembly:\n%s\n", mono_disasm_code (
+                       NULL, minfo->method, header->code, header->code + header->code_size));
+               g_message (G_STRLOC ": %x - %x", minfo->jit->prologue_end, minfo->jit->epilogue_begin);
+       }
+#endif
+
+       generate_line_number (minfo, address, offset);
 
        /* start lines of basic blocks */
        for (i = 0; i < cfg->block_count; ++i) {
@@ -433,65 +611,45 @@ debug_update_il_offsets (AssemblyDebugInfo *info, MonoDebugMethodInfo *minfo, Mo
 
                for (j = 0; cfg->bblocks [i].forest && (j < cfg->bblocks [i].forest->len); ++j) {
                        MBTree *t = (MBTree *) g_ptr_array_index (cfg->bblocks [i].forest, j);
-                       gint32 addr_inc;
-
-                       if (!i && !j)
-                               st_address = t->addr;
-
-                       addr_inc = t->addr - st_address;
-                       st_address += addr_inc;
 
-                       if (t->cli_addr == -1)
+                       if ((t->cli_addr == -1) || (t->cli_addr == offset) || (t->addr == address))
                                continue;
 
-                       while (minfo->il_offsets [index].offset < t->cli_addr) {
-                               minfo->jit->il_addresses [index] = old_address;
-                               if (index++ >= minfo->num_il_offsets)
-                                       return;
-                       }
+                       offset = t->cli_addr;
+                       address = t->addr;
 
-                       minfo->jit->il_addresses [index] = st_address;
-                       old_address = st_address;
+                       generate_line_number (minfo, address, offset);
                }
        }
 
-       while (index < minfo->num_il_offsets)
-               minfo->jit->il_addresses [index++] = minfo->jit->epilogue_begin;
+       generate_line_number (minfo, minfo->jit->epilogue_begin, header->code_size);
+
+       if (debug) {
+               for (i = 0; i < minfo->jit->line_numbers->len; i++) {
+                       MonoDebugLineNumberEntry lne = g_array_index (
+                               minfo->jit->line_numbers, MonoDebugLineNumberEntry, i);
+
+                       g_message (G_STRLOC ": %x,%x,%d", lne.address, lne.offset, lne.line);
+               }
+       }
 }
 
 static AssemblyDebugInfo *
 mono_debug_get_image (MonoDebugHandle* debug, MonoImage *image)
 {
-       GList *tmp;
-       AssemblyDebugInfo *info;
-
-       if (debug->format == MONO_DEBUG_FORMAT_NONE)
-               return NULL;
-
-       for (tmp = debug->info; tmp; tmp = tmp->next) {
-               info = (AssemblyDebugInfo*)tmp->data;
-
-               if (info->image == image)
-                       return info;
-       }
-
-       return NULL;
+       return g_hash_table_lookup (debug->images, image);
 }
 
 static AssemblyDebugInfo *
 mono_debug_open_image (MonoDebugHandle* debug, MonoImage *image)
 {
        AssemblyDebugInfo *info;
+       MonoAssembly **ptr;
 
        info = mono_debug_get_image (debug, image);
        if (info != NULL)
                return info;
 
-#if 0
-       if (!strcmp (image->assembly_name, "corlib"))
-               return NULL;
-#endif
-
        debug->dirty = TRUE;
 
        info = g_new0 (AssemblyDebugInfo, 1);
@@ -506,11 +664,14 @@ mono_debug_open_image (MonoDebugHandle* debug, MonoImage *image)
        info->source_file = debug->source_files->len;
        g_ptr_array_add (debug->source_files, g_strdup_printf ("%s.il", image->assembly_name));
 
-       debug->info = g_list_prepend (debug->info, info);
+       g_hash_table_insert (debug->images, image, info);
 
        info->nmethods = image->tables [MONO_TABLE_METHOD].rows + 1;
        info->mlines = g_new0 (int, info->nmethods);
 
+       for (ptr = image->references; ptr && *ptr; ptr++)
+               mono_debug_add_assembly (*ptr, NULL);
+
        switch (info->format) {
        case MONO_DEBUG_FORMAT_STABS:
        case MONO_DEBUG_FORMAT_DWARF2:
@@ -525,9 +686,19 @@ mono_debug_open_image (MonoDebugHandle* debug, MonoImage *image)
                info->filename = replace_suffix (image->name, "dbg");
                if (g_file_test (info->filename, G_FILE_TEST_EXISTS))
                        info->symfile = mono_debug_open_mono_symbol_file (info->image, info->filename, TRUE);
-               else if (debug->flags & MONO_DEBUG_FLAGS_MONO_DEBUGGER)
-                       info->symfile = mono_debug_create_mono_symbol_file (info->image);
-               mono_debugger_symbol_file_table_generation++;
+               else if (debug->flags & MONO_DEBUG_FLAGS_MONO_DEBUGGER) {
+#if 0
+                       if (!strcmp (info->name, "corlib"))
+                               break;
+#endif
+                       info->ilfile = g_strdup_printf ("%s.il", info->name);
+                       info->always_create_il = TRUE;
+                       debug_load_method_lines (info);
+                       g_assert (info->methods);
+                       info->symfile = mono_debug_create_mono_symbol_file (
+                               info->image, info->ilfile, info->methods);
+               }
+               debugger_symbol_file_table_generation++;
                break;
 
        default:
@@ -540,17 +711,9 @@ mono_debug_open_image (MonoDebugHandle* debug, MonoImage *image)
        return info;
 }
 
-void
-mono_debug_add_image (MonoDebugHandle* debug, MonoImage *image)
-{
-       mono_debug_open_image (debug, image);
-}
-
 void
 mono_debug_write_symbols (MonoDebugHandle *debug)
 {
-       GList *tmp;
-
        if (!debug || !debug->dirty)
                return;
 
@@ -564,14 +727,6 @@ mono_debug_write_symbols (MonoDebugHandle *debug)
                mono_debug_write_dwarf2 (debug);
                break;
        case MONO_DEBUG_FORMAT_MONO:
-               for (tmp = debug->info; tmp; tmp = tmp->next) {
-                       AssemblyDebugInfo *info = (AssemblyDebugInfo*)tmp->data;
-
-                       if (!info->symfile)
-                               continue;
-
-                       mono_debug_update_mono_symbol_file (info->symfile);
-               }
                break;
        default:
                g_assert_not_reached ();
@@ -583,10 +738,26 @@ mono_debug_write_symbols (MonoDebugHandle *debug)
 void
 mono_debug_make_symbols (void)
 {
-       MonoDebugHandle *debug;
+       release_symbol_file_table ();
+
+       if (!mono_debug_handle || !mono_debug_handle->dirty)
+               return;
+       
+       switch (mono_debug_handle->format) {
+       case MONO_DEBUG_FORMAT_STABS:
+               mono_debug_write_stabs (mono_debug_handle);
+               break;
+       case MONO_DEBUG_FORMAT_DWARF2:
+               mono_debug_write_dwarf2 (mono_debug_handle);
+               break;
+       case MONO_DEBUG_FORMAT_MONO:
+               debugger_update_symbol_file_table ();
+               break;
+       default:
+               g_assert_not_reached ();
+       }
 
-       for (debug = mono_debug_handles; debug; debug = debug->next)
-               mono_debug_write_symbols (debug);
+       mono_debug_handle->dirty = FALSE;
 }
 
 static void
@@ -613,34 +784,22 @@ mono_debug_close_assembly (AssemblyDebugInfo* info)
 void
 mono_debug_cleanup (void)
 {
-       MonoDebugHandle *debug, *temp;
-
        release_symbol_file_table ();
-       
-       for (debug = mono_debug_handles; debug; debug = temp) {
-               GList *tmp;
-
-               if (debug->flags & MONO_DEBUG_FLAGS_UPDATE_ON_EXIT)
-                       mono_debug_write_symbols (debug);
 
+       if (!mono_debug_handle)
+               return;
 
-               for (tmp = debug->info; tmp; tmp = tmp->next) {
-                       AssemblyDebugInfo* info = (AssemblyDebugInfo*)tmp->data;
-
-                       mono_debug_close_assembly (info);
-               }
+       if (mono_debug_handle->flags & MONO_DEBUG_FLAGS_UPDATE_ON_EXIT)
+               mono_debug_write_symbols (mono_debug_handle);
 
-               g_ptr_array_free (debug->source_files, TRUE);
-               g_hash_table_destroy (debug->type_hash);
-               g_free (debug->producer_name);
-               g_free (debug->name);
+       g_hash_table_destroy (mono_debug_handle->images);
+       g_ptr_array_free (mono_debug_handle->source_files, TRUE);
+       g_hash_table_destroy (mono_debug_handle->type_hash);
+       g_free (mono_debug_handle->producer_name);
+       g_free (mono_debug_handle->name);
+       g_free (mono_debug_handle);
 
-               temp = debug->next;
-               g_free (debug);
-       }
-
-       mono_debug_handles = NULL;
-       mono_default_debug_handle = NULL;
+       mono_debug_handle = NULL;
 }
 
 guint32
@@ -704,38 +863,21 @@ mono_debug_get_type (MonoDebugHandle *debug, MonoClass *klass)
        return index;
 }
 
-MonoDebugHandle *
-mono_debug_handle_from_class (MonoClass *klass)
-{
-       MonoDebugHandle *debug;
-
-       mono_class_init (klass);
-
-       for (debug = mono_debug_handles; debug; debug = debug->next) {
-               GList *tmp;
-
-               for (tmp = debug->info; tmp; tmp = tmp->next) {
-                       AssemblyDebugInfo *info = (AssemblyDebugInfo*)tmp->data;
-
-                       if (info->image == klass->image)
-                               return debug;
-               }
-       }
-
-       return NULL;
-}
-
 static gint32
 il_offset_from_address (MonoDebugMethodInfo *minfo, guint32 address)
 {
        int i;
 
-       if (!minfo->jit)
+       if (!minfo->jit || !minfo->jit->line_numbers)
                return -1;
 
-       for (i = 0; i < minfo->num_il_offsets; i++)
-               if (minfo->jit->il_addresses [i] > address)
-                       return minfo->il_offsets [i].offset;
+       for (i = minfo->jit->line_numbers->len - 1; i >= 0; i--) {
+               MonoDebugLineNumberEntry lne = g_array_index (
+                       minfo->jit->line_numbers, MonoDebugLineNumberEntry, i);
+
+               if (lne.address <= address)
+                       return lne.offset;
+       }
 
        return -1;
 }
@@ -745,12 +887,16 @@ address_from_il_offset (MonoDebugMethodInfo *minfo, guint32 il_offset)
 {
        int i;
 
-       if (!minfo->jit)
+       if (!minfo->jit || !minfo->jit->line_numbers)
                return -1;
 
-       for (i = 0; i < minfo->num_il_offsets; i++)
-               if (minfo->il_offsets [i].offset > il_offset)
-                       return minfo->jit->il_addresses [i];
+       for (i = minfo->jit->line_numbers->len - 1; i >= 0; i--) {
+               MonoDebugLineNumberEntry lne = g_array_index (
+                       minfo->jit->line_numbers, MonoDebugLineNumberEntry, i);
+
+               if (lne.offset <= il_offset)
+                       return lne.address;
+       }
 
        return -1;
 }
@@ -758,11 +904,19 @@ address_from_il_offset (MonoDebugMethodInfo *minfo, guint32 il_offset)
 void
 mono_debug_add_type (MonoClass *klass)
 {
-       MonoDebugHandle *debug = mono_debug_handle_from_class (klass);
+       AssemblyDebugInfo* info;
+
+       if (!mono_debug_handle)
+               return;
+
+       info = mono_debug_get_image (mono_debug_handle, klass->image);
+       g_assert (info);
 
-       g_assert (debug != NULL);
+       if (mono_debug_handle->format != MONO_DEBUG_FORMAT_MONO)
+               return;
 
-       mono_debug_get_type (debug, klass);
+       if (info->symfile)
+               mono_debug_symfile_add_type (info->symfile, klass);
 }
 
 static gint32
@@ -786,29 +940,37 @@ il_offset_from_position (MonoFlowGraph *cfg, MonoPosition *pos)
        return tree->cli_addr;
 }
 
-static MonoDebugMethodInfo *
-lookup_method (MonoMethod *method)
+struct LookupMethodData
 {
-       MonoDebugHandle *debug;
+       MonoDebugMethodInfo *minfo;
+       MonoMethod *method;
+};
 
-       for (debug = mono_debug_handles; debug; debug = debug->next) {
-               GList *tmp;
+static void
+lookup_method_func (gpointer key, gpointer value, gpointer user_data)
+{
+       AssemblyDebugInfo *info = (AssemblyDebugInfo *) value;
+       struct LookupMethodData *data = (struct LookupMethodData *) user_data;
 
-               for (tmp = debug->info; tmp; tmp = tmp->next) {
-                       AssemblyDebugInfo *info = (AssemblyDebugInfo*)tmp->data;
-                       MonoDebugMethodInfo *minfo;
+       if (data->minfo)
+               return;
 
-                       if (info->symfile)
-                               minfo = mono_debug_find_method (info->symfile, method);
-                       else
-                               minfo = g_hash_table_lookup (info->methods, method);
+       if (info->symfile)
+               data->minfo = mono_debug_find_method (info->symfile, data->method);
+       else
+               data->minfo = g_hash_table_lookup (info->methods, data->method);
+}
 
-                       if (minfo)
-                               return minfo;
-               }
-       }
+static MonoDebugMethodInfo *
+lookup_method (MonoMethod *method)
+{
+       struct LookupMethodData data = { NULL, method };
 
-       return NULL;
+       if (!mono_debug_handle)
+               return NULL;
+
+       g_hash_table_foreach (mono_debug_handle->images, lookup_method_func, &data);
+       return data.minfo;
 }
 
 void
@@ -816,39 +978,33 @@ mono_debug_add_method (MonoFlowGraph *cfg)
 {
        MonoMethod *method = cfg->method;
        MonoClass *klass = method->klass;
-       MonoDebugHandle* debug;
        AssemblyDebugInfo* info;
        MonoDebugMethodJitInfo *jit;
        MonoDebugMethodInfo *minfo;
        int i;
 
+       if (!mono_debug_handle)
+               return;
+
        mono_class_init (klass);
 
        if ((method->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) ||
            (method->iflags & METHOD_IMPL_ATTRIBUTE_RUNTIME) ||
-           (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL))
+           (method->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL) ||
+           (method->flags & METHOD_ATTRIBUTE_ABSTRACT))
                return;
 
        if (method->wrapper_type != MONO_WRAPPER_NONE)
                return;
 
-       debug = mono_debug_handle_from_class (klass);
-       if (!debug) {
-               if (mono_default_debug_handle)
-                       debug = mono_default_debug_handle;
-               else
-                       return;
-       }
-
-       release_symbol_file_table ();
-
-       info = mono_debug_open_image (debug, klass->image);
+       info = mono_debug_get_image (mono_debug_handle, klass->image);
+       g_assert (info);
 
        minfo = lookup_method (method);
        if (!minfo || minfo->jit)
                return;
 
-       debug->dirty = TRUE;
+       mono_debug_handle->dirty = TRUE;
 
        minfo->jit = jit = g_new0 (MonoDebugMethodJitInfo, 1);
        jit->code_start = cfg->start;
@@ -863,6 +1019,7 @@ mono_debug_add_method (MonoFlowGraph *cfg)
 
                jit->this_var = g_new0 (MonoDebugVarInfo, 1);
                jit->this_var->offset = ptr->offset;
+               jit->this_var->size = ptr->size;
        }
 
        for (i = 0; i < jit->num_params; i++) {
@@ -870,10 +1027,12 @@ mono_debug_add_method (MonoFlowGraph *cfg)
                        method->signature->hasthis;
 
                jit->params [i].offset = ptr [i].offset;
+               jit->params [i].size = ptr [i].size;
        }
 
        debug_generate_method_lines (info, minfo, cfg);
-       debug_update_il_offsets (info, minfo, cfg);
+       if (info->format == MONO_DEBUG_FORMAT_MONO)
+               debug_update_il_offsets (info, minfo, cfg);
 
        if (!method->iflags & (METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL | METHOD_IMPL_ATTRIBUTE_RUNTIME)) {
                MonoMethodHeader *header = ((MonoMethodNormal*)method)->header;
@@ -891,6 +1050,8 @@ mono_debug_add_method (MonoFlowGraph *cfg)
                        } else
                                locals [i].offset = ptr [i].offset;
 
+                       locals [i].size = ptr [i].size;
+
                        begin_offset = il_offset_from_position (cfg, &ptr [i].range.first_use);
                        end_offset = il_offset_from_position (cfg, &ptr [i].range.last_use);
                        if (end_offset >= 0)
@@ -912,6 +1073,9 @@ mono_debug_add_method (MonoFlowGraph *cfg)
                jit->num_locals = header->num_locals;
                jit->locals = locals;
        }
+
+       if (info->symfile)
+               mono_debug_symfile_add_method (info->symfile, method);
 }
 
 gchar *
@@ -967,9 +1131,9 @@ mono_debug_address_from_il_offset (MonoMethod *method, gint32 il_offset)
 static void
 release_symbol_file_table ()
 {
-       guint8 *temp;
+       MonoDebuggerSymbolFileTable *temp;
 
-       if (!mono_debugger_symbol_file_table)
+       if (!debugger_symbol_file_table)
                return;
 
        /*
@@ -978,70 +1142,179 @@ release_symbol_file_table ()
         *          before freeing the area.
         */
 
-       temp = mono_debugger_symbol_file_table;
-       mono_debugger_symbol_file_table = NULL;
-       g_free (mono_debugger_symbol_file_table);
+       temp = debugger_symbol_file_table;
+       debugger_symbol_file_table = NULL;
+       g_free (debugger_symbol_file_table);
 }
 
-int
-mono_debugger_update_symbol_file_table (void)
+static void
+update_symbol_file_table_count_func (gpointer key, gpointer value, gpointer user_data)
 {
-       MonoDebugHandle *debug;
-       int dirty = 0, count = 0;
-       guint8 *ptr, *symfiles;
-       guint32 size;
+       AssemblyDebugInfo *info = (AssemblyDebugInfo *) value;
 
-       for (debug = mono_debug_handles; debug; debug = debug->next) {
-               GList *tmp;
+       if (!info->symfile || (info->format != MONO_DEBUG_FORMAT_MONO))
+               return;
 
-               if (debug->format != MONO_DEBUG_FORMAT_MONO)
-                       continue;
+       ++ (* (int *) user_data);
+}
 
-               if (debug->dirty)
-                       dirty = TRUE;
+struct SymfileTableData
+{
+       MonoDebuggerSymbolFileTable *symfile_table;
+       int index;
+};
 
-               for (tmp = debug->info; tmp; tmp = tmp->next) {
-                       AssemblyDebugInfo *info = (AssemblyDebugInfo*)tmp->data;
-                       MonoSymbolFile *symfile = info->symfile;
+static void
+update_symbol_file_table_func (gpointer key, gpointer value, gpointer user_data)
+{
+       AssemblyDebugInfo *info = (AssemblyDebugInfo *) value;
+       struct SymfileTableData *data = (struct SymfileTableData *) user_data;
 
-                       if (!symfile)
-                               continue;
+       if (!info->symfile || (info->format != MONO_DEBUG_FORMAT_MONO))
+               return;
 
-                       count++;
-               }
-       }
+       data->symfile_table->symfiles [data->index++] = info->symfile;
+}
 
-       if (!dirty)
+static int
+debugger_update_symbol_file_table (void)
+{
+       int count = 0;
+       MonoDebuggerSymbolFileTable *symfile_table;
+       struct SymfileTableData data;
+       guint32 size;
+
+       if (!mono_debug_handle)
                return FALSE;
 
+       g_hash_table_foreach (mono_debug_handle->images, update_symbol_file_table_count_func, &count);
+
        release_symbol_file_table ();
 
-       size = 2 * sizeof (guint32) + count * sizeof (MonoSymbolFile);
-       symfiles = ptr = g_malloc0 (size);
-       *((guint32 *) ptr)++ = size;
-       *((guint32 *) ptr)++ = count;
-       *((guint32 *) ptr)++ = mono_debugger_symbol_file_table_generation;
+       size = sizeof (MonoDebuggerSymbolFileTable) + count * sizeof (MonoSymbolFile *);
+       symfile_table = g_malloc0 (size);
+       symfile_table->magic = MONO_SYMBOL_FILE_DYNAMIC_MAGIC;
+       symfile_table->version = MONO_SYMBOL_FILE_DYNAMIC_VERSION;
+       symfile_table->total_size = size;
+       symfile_table->count = count;
+       symfile_table->generation = debugger_symbol_file_table_generation;
+
+       data.symfile_table = symfile_table;
+       data.index = 0;
+
+       g_hash_table_foreach (mono_debug_handle->images, update_symbol_file_table_func, &data);
+
+       debugger_symbol_file_table = symfile_table;
+       return TRUE;
+}
+
+extern void (*mono_debugger_class_init_func) (MonoClass *klass);
+
+static gboolean has_mono_debugger_support = FALSE;
+
+static void
+initialize_debugger_support ()
+{
+       if (has_mono_debugger_support)
+               return;
+       has_mono_debugger_support = TRUE;
+
+       mono_debugger_class_init_func = mono_debug_add_type;
+}
+
+static GPtrArray *breakpoints = NULL;
+
+int
+mono_insert_breakpoint_full (MonoMethodDesc *desc, gboolean use_trampoline)
+{
+       static int last_breakpoint_id = 0;
+       MonoDebuggerBreakpointInfo *info;
+
+       info = g_new0 (MonoDebuggerBreakpointInfo, 1);
+       info->desc = desc;
+       info->use_trampoline = use_trampoline;
+       info->index = ++last_breakpoint_id;
+
+       if (!breakpoints)
+               breakpoints = g_ptr_array_new ();
 
-       for (debug = mono_debug_handles; debug; debug = debug->next) {
-               GList *tmp;
+       g_ptr_array_add (breakpoints, info);
+
+       return info->index;
+}
 
-               if (debug->format != MONO_DEBUG_FORMAT_MONO)
+static guint64
+debugger_insert_breakpoint (guint64 method_argument, const gchar *string_argument)
+{
+       MonoMethodDesc *desc;
+
+       desc = mono_method_desc_new (string_argument, FALSE);
+       if (!desc)
+               return 0;
+
+       return mono_insert_breakpoint_full (desc, TRUE);
+}
+
+static guint64
+debugger_remove_breakpoint (guint64 breakpoint)
+{
+       int i;
+
+       if (!breakpoints)
+               return 0;
+
+       for (i = 0; i < breakpoints->len; i++) {
+               MonoDebuggerBreakpointInfo *info = g_ptr_array_index (breakpoints, i);
+
+               if (info->index != breakpoint)
                        continue;
 
-               for (tmp = debug->info; tmp; tmp = tmp->next) {
-                       AssemblyDebugInfo *info = (AssemblyDebugInfo*)tmp->data;
-                       MonoSymbolFile *symfile = info->symfile;
+               mono_method_desc_free (info->desc);
+               g_ptr_array_remove (breakpoints, info);
+               g_free (info);
+               return 1;
+       }
 
-                       if (!symfile)
-                               continue;
+       return 0;
+}
 
-                       if (debug->dirty)
-                               mono_debug_update_mono_symbol_file (info->symfile);
+int
+mono_remove_breakpoint (int breakpoint_id)
+{
+       return debugger_remove_breakpoint (breakpoint_id);
+}
 
-                       *((MonoSymbolFile *) ptr)++ = *symfile;
-               }
+int
+mono_insert_breakpoint (const gchar *method_name, gboolean include_namespace)
+{
+       MonoMethodDesc *desc;
+
+       desc = mono_method_desc_new (method_name, include_namespace);
+       if (!desc)
+               return 0;
+
+       return mono_insert_breakpoint_full (desc, has_mono_debugger_support);
+}
+
+int
+mono_method_has_breakpoint (MonoMethod* method, gboolean use_trampoline)
+{
+       int i;
+
+       if (!breakpoints || (method->wrapper_type != MONO_WRAPPER_NONE))
+               return 0;
+
+       for (i = 0; i < breakpoints->len; i++) {
+               MonoDebuggerBreakpointInfo *info = g_ptr_array_index (breakpoints, i);
+
+               if (info->use_trampoline != use_trampoline)
+                       continue;
+
+               if (!mono_method_desc_full_match (info->desc, method))
+                       continue;
+
+               return info->index;
        }
-       
-       mono_debugger_symbol_file_table = symfiles;
-       return TRUE;
+
+       return 0;
 }