2010-01-18 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / mini-exceptions.c
index 365097d734fbf51d6d944f4a1f83c5e38a904de2..c48fe0955440e0e133d99c9f030488157eca5401 100644 (file)
@@ -48,6 +48,7 @@
 #include "mini.h"
 #include "debug-mini.h"
 #include "trace.h"
+#include "debugger-agent.h"
 
 #ifndef MONO_ARCH_CONTEXT_DEF
 #define MONO_ARCH_CONTEXT_DEF
@@ -187,6 +188,69 @@ mono_get_throw_corlib_exception (void)
        return throw_corlib_exception_func;
 }
 
+#ifdef MONO_ARCH_HAVE_FIND_JIT_INFO_EXT
+
+/*
+ * find_jit_info_no_ext:
+ *
+ * If the target has the find_jit_info_ext version of this function, define the old
+ * version here which translates between the old and new APIs.
+ */
+static MonoJitInfo *
+find_jit_info_no_ext (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInfo *res, MonoJitInfo *prev_ji, MonoContext *ctx, 
+                          MonoContext *new_ctx, MonoLMF **lmf, gboolean *managed)
+{
+       StackFrameInfo frame;
+       MonoJitInfo *ji;
+       gboolean err;
+       gpointer ip = MONO_CONTEXT_GET_IP (ctx);
+
+       /* Avoid costly table lookup during stack overflow */
+       if (prev_ji && (ip > prev_ji->code_start && ((guint8*)ip < ((guint8*)prev_ji->code_start) + prev_ji->code_size)))
+               ji = prev_ji;
+       else
+               ji = mini_jit_info_table_find (domain, ip, NULL);
+
+       if (managed)
+               *managed = FALSE;
+
+       err = mono_arch_find_jit_info_ext (domain, jit_tls, ji, ctx, new_ctx, lmf, &frame);
+       if (!err)
+               return (gpointer)-1;
+
+       /* Convert between the new and the old APIs */
+       switch (frame.type) {
+       case FRAME_TYPE_MANAGED:
+               if (managed)
+                       *managed = TRUE;
+               return ji;
+       case FRAME_TYPE_MANAGED_TO_NATIVE:
+               if (frame.ji)
+                       return frame.ji;
+               else {
+                       memset (res, 0, sizeof (MonoJitInfo));
+                       res->method = frame.method;
+                       return res;
+               }
+       case FRAME_TYPE_DEBUGGER_INVOKE: {
+               MonoContext tmp_ctx;
+
+               /*
+                * The normal exception handling code can't handle this frame, so just
+                * skip it.
+                */
+               ji = find_jit_info_no_ext (domain, jit_tls, res, NULL, new_ctx, &tmp_ctx, lmf, managed);
+               memcpy (new_ctx, &tmp_ctx, sizeof (MonoContext));
+               return ji;
+       }
+       default:
+               g_assert_not_reached ();
+               return NULL;
+       }
+}
+
+#endif
+
 /* mono_find_jit_info:
  *
  * This function is used to gather information from @ctx. It return the 
@@ -214,12 +278,16 @@ mono_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInfo *re
        if (managed)
                *managed = FALSE;
 
+#ifdef MONO_ARCH_HAVE_FIND_JIT_INFO_EXT
+       ji = find_jit_info_no_ext (domain, jit_tls, res, prev_ji, ctx, new_ctx, lmf, &managed2);
+#else
        ji = mono_arch_find_jit_info (domain, jit_tls, res, prev_ji, ctx, new_ctx, lmf, &managed2);
+#endif
 
        if (ji == (gpointer)-1)
                return ji;
 
-       if (managed2 || ji->method->wrapper_type) {
+       if (managed2 || (ji && ji->method->wrapper_type)) {
                const char *real_ip, *start;
                gint32 offset;
 
@@ -255,6 +323,76 @@ mono_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls, MonoJitInfo *re
        return ji;
 }
 
+#ifdef MONO_ARCH_HAVE_FIND_JIT_INFO_EXT
+
+/*
+ * mono_find_jit_info_ext:
+ *
+ *   A version of mono_find_jit_info which returns all data in the StackFrameInfo
+ * structure.
+ */
+gboolean
+mono_find_jit_info_ext (MonoDomain *domain, MonoJitTlsData *jit_tls, 
+                                               MonoJitInfo *prev_ji, MonoContext *ctx,
+                                               MonoContext *new_ctx, char **trace, MonoLMF **lmf,
+                                               StackFrameInfo *frame)
+{
+       gboolean err;
+       gpointer ip = MONO_CONTEXT_GET_IP (ctx);
+       MonoJitInfo *ji;
+       MonoDomain *target_domain;
+
+       if (trace)
+               *trace = NULL;
+
+       /* Avoid costly table lookup during stack overflow */
+       if (prev_ji && (ip > prev_ji->code_start && ((guint8*)ip < ((guint8*)prev_ji->code_start) + prev_ji->code_size)))
+               ji = prev_ji;
+       else
+               ji = mini_jit_info_table_find (domain, ip, &target_domain);
+
+       if (!target_domain)
+               target_domain = domain;
+
+       err = mono_arch_find_jit_info_ext (target_domain, jit_tls, ji, ctx, new_ctx, lmf, frame);
+       if (!err)
+               return FALSE;
+
+       frame->native_offset = -1;
+       frame->domain = target_domain;
+
+       ji = frame->ji;
+
+       if (ji && (frame->managed || ji->method->wrapper_type)) {
+               const char *real_ip, *start;
+
+               start = (const char *)ji->code_start;
+               if (!frame->managed)
+                       /* ctx->ip points into native code */
+                       real_ip = (const char*)MONO_CONTEXT_GET_IP (new_ctx);
+               else
+                       real_ip = (const char*)ip;
+
+               if ((real_ip >= start) && (real_ip <= start + ji->code_size))
+                       frame->native_offset = real_ip - start;
+               else
+                       frame->native_offset = -1;
+
+               if (trace)
+                       *trace = mono_debug_print_stack_frame (ji->method, frame->native_offset, domain);
+       } else {
+               if (trace && frame->method) {
+                       char *fname = mono_method_full_name (frame->method, TRUE);
+                       *trace = g_strdup_printf ("in (unmanaged) %s", fname);
+                       g_free (fname);
+               }
+       }
+
+       return TRUE;
+}
+
+#endif /* MONO_ARCH_HAVE_FIND_JIT_INFO_EXT */
+
 static gpointer
 get_generic_info_from_stack_frame (MonoJitInfo *ji, MonoContext *ctx)
 {
@@ -562,6 +700,73 @@ mono_jit_walk_stack (MonoStackWalk func, gboolean do_il_offset, gpointer user_da
        mono_jit_walk_stack_from_ctx (func, NULL, do_il_offset, user_data);
 }
 
+void
+mono_jit_walk_stack_from_ctx_in_thread (MonoJitStackWalk func, MonoDomain *domain, MonoContext *start_ctx, gboolean do_il_offset, MonoInternalThread *thread, MonoLMF *lmf, gpointer user_data)
+{
+       MonoJitTlsData *jit_tls = thread->jit_data;
+       gint il_offset;
+       MonoContext ctx, new_ctx;
+       StackFrameInfo frame;
+#ifndef MONO_ARCH_HAVE_FIND_JIT_INFO_EXT
+       gint native_offset;
+       gboolean managed;
+       MonoJitInfo *ji, rji;
+#else
+       gboolean res;
+#endif
+       
+       MONO_ARCH_CONTEXT_DEF
+
+       mono_arch_flush_register_windows ();
+
+       if (start_ctx) {
+               memcpy (&ctx, start_ctx, sizeof (MonoContext));
+       } else {
+#ifdef MONO_INIT_CONTEXT_FROM_CURRENT
+               MONO_INIT_CONTEXT_FROM_CURRENT (&ctx);
+#else
+               MONO_INIT_CONTEXT_FROM_FUNC (&ctx, mono_jit_walk_stack_from_ctx);
+#endif
+               g_assert (thread == mono_thread_internal_current ());
+       }
+
+       while (MONO_CONTEXT_GET_SP (&ctx) < jit_tls->end_of_stack) {
+               frame.lmf = lmf;
+#ifdef MONO_ARCH_HAVE_FIND_JIT_INFO_EXT
+               res = mono_find_jit_info_ext (domain, jit_tls, NULL, &ctx, &new_ctx, NULL, &lmf, &frame);
+               if (!res)
+                       return;
+#else
+               ji = mono_find_jit_info (domain, jit_tls, &rji, NULL, &ctx, &new_ctx, NULL, &lmf, &native_offset, &managed);
+               g_assert (ji);
+               frame.type = FRAME_TYPE_MANAGED;
+               frame.ji = ji;
+               frame.managed = managed;
+               frame.native_offset = native_offset;
+
+               if (ji == (gpointer)-1)
+                       return;
+#endif
+
+               if (do_il_offset && frame.ji) {
+                       MonoDebugSourceLocation *source;
+
+                       source = mono_debug_lookup_source_location (frame.ji->method, frame.native_offset, domain);
+                       il_offset = source ? source->il_offset : -1;
+                       mono_debug_free_source_location (source);
+               } else
+                       il_offset = -1;
+
+               frame.il_offset = il_offset;
+
+               if (func (&frame, &ctx, user_data))
+                       return;
+               
+               ctx = new_ctx;
+       }
+}
+
+
 MonoBoolean
 ves_icall_get_frame_info (gint32 skip, MonoBoolean need_file_info, 
                          MonoReflectionMethod **method, 
@@ -626,7 +831,7 @@ ves_icall_get_frame_info (gint32 skip, MonoBoolean need_file_info,
 
        actual_method = get_method_from_stack_frame (ji, get_generic_info_from_stack_frame (ji, &ji_ctx));
 
-       *method = mono_method_get_object (domain, actual_method, NULL);
+       mono_gc_wbarrier_generic_store (method, (MonoObject*) mono_method_get_object (domain, actual_method, NULL));
 
        location = mono_debug_lookup_source_location (ji->method, *native_offset, domain);
        if (location)
@@ -636,7 +841,7 @@ ves_icall_get_frame_info (gint32 skip, MonoBoolean need_file_info,
 
        if (need_file_info) {
                if (location) {
-                       *file = mono_string_new (domain, location->source_file);
+                       mono_gc_wbarrier_generic_store (file, (MonoObject*) mono_string_new (domain, location->source_file));
                        *line = location->row;
                        *column = location->column;
                } else {
@@ -851,6 +1056,44 @@ get_exception_catch_class (MonoJitExceptionInfo *ei, MonoJitInfo *ji, MonoContex
        return catch_class;
 }
 
+/*
+ * mini_jit_info_table_find:
+ *
+ *   Same as mono_jit_info_table_find, but search all the domains of the current thread
+ * if ADDR is not found in DOMAIN. The domain where the method was found is stored into
+ * OUT_DOMAIN if it is not NULL.
+ */
+MonoJitInfo*
+mini_jit_info_table_find (MonoDomain *domain, char *addr, MonoDomain **out_domain)
+{
+       MonoJitInfo *ji;
+       MonoInternalThread *t = mono_thread_internal_current ();
+       GSList *l;
+
+       if (out_domain)
+               *out_domain = NULL;
+
+       ji = mono_jit_info_table_find (domain, addr);
+       if (ji) {
+               if (out_domain)
+                       *out_domain = domain;
+               return ji;
+       }
+
+       for (l = t->appdomain_refs; l; l = l->next) {
+               if (l->data != domain) {
+                       ji = mono_jit_info_table_find ((MonoDomain*)l->data, addr);
+                       if (ji) {
+                               if (out_domain)
+                                       *out_domain = (MonoDomain*)l->data;
+                               return ji;
+                       }
+               }
+       }
+
+       return NULL;
+}
+
 /**
  * mono_handle_exception_internal:
  * @ctx: saved processor state
@@ -858,9 +1101,10 @@ get_exception_catch_class (MonoJitExceptionInfo *ei, MonoJitInfo *ji, MonoContex
  * @test_only: only test if the exception is caught, but dont call handlers
  * @out_filter_idx: out parameter. if test_only is true, set to the index of 
  * the first filter clause which caught the exception.
+ * @resume: whenever to resume unwinding based on the state in MonoJitTlsData.
  */
 static gboolean
-mono_handle_exception_internal (MonoContext *ctx, gpointer obj, gpointer original_ip, gboolean test_only, gint32 *out_filter_idx, MonoJitInfo **out_ji)
+mono_handle_exception_internal (MonoContext *ctx, gpointer obj, gpointer original_ip, gboolean test_only, gboolean resume, gint32 *out_filter_idx, MonoJitInfo **out_ji)
 {
        MonoDomain *domain = mono_domain_get ();
        MonoJitInfo *ji, rji;
@@ -884,6 +1128,9 @@ mono_handle_exception_internal (MonoContext *ctx, gpointer obj, gpointer origina
                obj = (MonoObject *)ex;
        } 
 
+       if (!test_only)
+               mono_debugger_agent_handle_exception (obj, ctx);
+
        /*
         * Allocate a new exception object instead of the preconstructed ones.
         */
@@ -929,11 +1176,12 @@ mono_handle_exception_internal (MonoContext *ctx, gpointer obj, gpointer origina
                if (mono_trace_is_enabled ())
                        g_print ("[%p:] EXCEPTION handling: %s\n", (void*)GetCurrentThreadId (), mono_object_class (obj)->name);
                mono_profiler_exception_thrown (obj);
-               if (!mono_handle_exception_internal (&ctx_cp, obj, original_ip, TRUE, &first_filter_idx, out_ji)) {
+               if (!mono_handle_exception_internal (&ctx_cp, obj, original_ip, TRUE, FALSE, &first_filter_idx, out_ji)) {
                        if (mono_break_on_exc)
                                G_BREAKPOINT ();
                        // FIXME: This runs managed code so it might cause another stack overflow when
                        // we are handling a stack overflow
+                       mono_debugger_agent_handle_unhandled_exception (obj, ctx);
                        mono_unhandled_exception (obj);
                }
        }
@@ -1021,8 +1269,16 @@ mono_handle_exception_internal (MonoContext *ctx, gpointer obj, gpointer origina
                                                MonoClass *catch_class = get_exception_catch_class (ei, ji, ctx);
 
                                                if ((ei->flags == MONO_EXCEPTION_CLAUSE_NONE) || (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER)) {
-                                                       /* store the exception object in bp + ei->exvar_offset */
-                                                       *((gpointer *)(gpointer)((char *)MONO_CONTEXT_GET_BP (ctx) + ei->exvar_offset)) = obj;
+                                                       if (ji->from_llvm) {
+#ifdef MONO_CONTEXT_SET_LLVM_EXC_REG
+                                                               MONO_CONTEXT_SET_LLVM_EXC_REG (ctx, obj);
+#else
+                                                               g_assert_not_reached ();
+#endif
+                                                       } else {
+                                                               /* store the exception object in bp + ei->exvar_offset */
+                                                               *((gpointer *)(gpointer)((char *)MONO_CONTEXT_GET_BP (ctx) + ei->exvar_offset)) = obj;
+                                                       }
                                                }
 
                                                if (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER) {
@@ -1088,7 +1344,24 @@ mono_handle_exception_internal (MonoContext *ctx, gpointer obj, gpointer origina
                                                        mono_profiler_exception_clause_handler (ji->method, ei->flags, i);
                                                        mono_debugger_call_exception_handler (ei->handler_start, MONO_CONTEXT_GET_SP (ctx), obj);
                                                        mono_perfcounters->exceptions_finallys++;
-                                                       call_filter (ctx, ei->handler_start);
+                                                       *(mono_get_lmf_addr ()) = lmf;
+                                                       if (ji->from_llvm) {
+                                                               /* 
+                                                                * LLVM compiled finally handlers follow the design
+                                                                * of the c++ ehabi, i.e. they call a resume function
+                                                                * at the end instead of returning to the caller.
+                                                                * So save the exception handling state,
+                                                                * mono_resume_unwind () will call us again to continue
+                                                                * the unwinding.
+                                                                */
+                                                               MONO_CONTEXT_SET_IP (ctx, ei->handler_start);
+                                                               *(mono_get_lmf_addr ()) = lmf;
+                                                               jit_tls->ex_ctx = new_ctx;
+                                                               jit_tls->ex_obj = obj;
+                                                               return 0;
+                                                       } else {
+                                                               call_filter (ctx, ei->handler_start);
+                                                       }
                                                }
                                                
                                        }
@@ -1165,7 +1438,7 @@ mono_debugger_handle_exception (MonoContext *ctx, MonoObject *obj)
                 * The debugger wants us to stop only if this exception is user-unhandled.
                 */
 
-               ret = mono_handle_exception_internal (&ctx_cp, obj, MONO_CONTEXT_GET_IP (ctx), TRUE, NULL, &ji);
+               ret = mono_handle_exception_internal (&ctx_cp, obj, MONO_CONTEXT_GET_IP (ctx), TRUE, FALSE, NULL, &ji);
                if (ret && (ji != NULL) && (ji->method->wrapper_type == MONO_WRAPPER_RUNTIME_INVOKE)) {
                        /*
                         * The exception is handled in a runtime-invoke wrapper, that means that it's unhandled
@@ -1243,7 +1516,8 @@ mono_handle_exception (MonoContext *ctx, gpointer obj, gpointer original_ip, gbo
 {
        if (!test_only)
                mono_perfcounters->exceptions_thrown++;
-       return mono_handle_exception_internal (ctx, obj, original_ip, test_only, NULL, NULL);
+
+       return mono_handle_exception_internal (ctx, obj, original_ip, test_only, FALSE, NULL, NULL);
 }
 
 #ifdef MONO_ARCH_SIGSEGV_ON_ALTSTACK
@@ -1520,14 +1794,12 @@ mono_handle_native_sigsegv (int signal, void *ctx)
 
        /* Try to get more meaningful information using gdb */
 
-#if !defined(PLATFORM_WIN32) && defined(HAVE_SYS_SYSCALL_H) && defined(SYS_fork)
+#if !defined(HOST_WIN32) && defined(HAVE_SYS_SYSCALL_H) && defined(SYS_fork)
        if (!mini_get_debug_options ()->no_gdb_backtrace && !mono_debug_using_mono_debugger ()) {
                /* From g_spawn_command_line_sync () in eglib */
                int res;
                int stdout_pipe [2] = { -1, -1 };
                pid_t pid;
-               const char *argv [16];
-               char buf1 [128];
                int status;
                char buffer [1024];
 
@@ -1539,7 +1811,8 @@ mono_handle_native_sigsegv (int signal, void *ctx)
                 * glibc fork acquires some locks, so if the crash happened inside malloc/free,
                 * it will deadlock. Call the syscall directly instead.
                 */
-               pid = syscall (SYS_fork);
+               pid = mono_runtime_syscall_fork ();
+
                if (pid == 0) {
                        close (stdout_pipe [0]);
                        dup2 (stdout_pipe [1], STDOUT_FILENO);
@@ -1547,23 +1820,9 @@ mono_handle_native_sigsegv (int signal, void *ctx)
                        for (i = getdtablesize () - 1; i >= 3; i--)
                                close (i);
 
-                       argv [0] = g_find_program_in_path ("gdb");
-                       if (argv [0] == NULL) {
+                       if (!mono_gdb_render_native_backtraces ())
                                close (STDOUT_FILENO);
-                               exit (1);
-                       }
 
-                       argv [1] = "-ex";
-                       sprintf (buf1, "attach %ld", (long)getpid ());
-                       argv [2] = buf1;
-                       argv [3] = "--ex";
-                       argv [4] = "info threads";
-                       argv [5] = "--ex";
-                       argv [6] = "thread apply all bt";
-                       argv [7] = "--batch";
-                       argv [8] = 0;
-
-                       execv (argv [0], (char**)argv);
                        exit (1);
                }
 
@@ -1613,16 +1872,10 @@ mono_handle_native_sigsegv (int signal, void *ctx)
        abort ();
 }
 
-/*
- * mono_print_thread_dump:
- *
- *   Print information about the current thread to stdout.
- * SIGCTX can be NULL, allowing this to be called from gdb.
- */
-void
-mono_print_thread_dump (void *sigctx)
+static void
+mono_print_thread_dump_internal (void *sigctx, MonoContext *start_ctx)
 {
-       MonoThread *thread = mono_thread_current ();
+       MonoInternalThread *thread = mono_thread_internal_current ();
 #if defined(__i386__) || defined(__x86_64__)
        MonoContext ctx;
 #endif
@@ -1641,14 +1894,16 @@ mono_print_thread_dump (void *sigctx)
        else
                g_string_append (text, "\n\"<unnamed thread>\"");
 
-#ifndef PLATFORM_WIN32
+#ifndef HOST_WIN32
        wapi_desc = wapi_current_thread_desc ();
        g_string_append_printf (text, " tid=0x%p this=0x%p %s\n", (gpointer)(gsize)thread->tid, thread,  wapi_desc);
        free (wapi_desc);
 #endif
 
 #ifdef MONO_ARCH_HAVE_SIGCTX_TO_MONOCTX
-       if (!sigctx)
+       if (start_ctx) {
+               memcpy (&ctx, start_ctx, sizeof (MonoContext));
+       } else if (!sigctx)
                MONO_INIT_CONTEXT_FROM_FUNC (&ctx, mono_print_thread_dump);
        else
                mono_arch_sigctx_to_monoctx (sigctx, &ctx);
@@ -1658,7 +1913,48 @@ mono_print_thread_dump (void *sigctx)
        printf ("\t<Stack traces in thread dumps not supported on this platform>\n");
 #endif
 
-       fprintf (stdout, text->str);
+       fprintf (stdout, "%s", text->str);
        g_string_free (text, TRUE);
        fflush (stdout);
 }
+
+/*
+ * mono_print_thread_dump:
+ *
+ *   Print information about the current thread to stdout.
+ * SIGCTX can be NULL, allowing this to be called from gdb.
+ */
+void
+mono_print_thread_dump (void *sigctx)
+{
+       mono_print_thread_dump_internal (sigctx, NULL);
+}
+
+void
+mono_print_thread_dump_from_ctx (MonoContext *ctx)
+{
+       mono_print_thread_dump_internal (NULL, ctx);
+}
+
+/*
+ * mono_resume_unwind:
+ *
+ *   This is called by code at the end of LLVM compiled finally clauses to continue
+ * unwinding.
+ */
+void
+mono_resume_unwind (void)
+{
+       MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
+       static void (*restore_context) (MonoContext *);
+       MonoContext ctx;
+
+       memcpy (&ctx, &jit_tls->ex_ctx, sizeof (MonoContext));
+
+       mono_handle_exception_internal (&ctx, jit_tls->ex_obj, NULL, FALSE, TRUE, NULL, NULL);
+
+       if (!restore_context)
+               restore_context = mono_get_restore_context ();
+
+       restore_context (&ctx);
+}