Merge pull request #298 from ermshiperete/4921
[mono.git] / mono / mini / exceptions-x86.c
index b2067bb1ab6a385e9ad38f891e3b859330d6cc20..d0adec98f0d26e16cc06c667142727ea0cd86d46 100644 (file)
@@ -39,14 +39,16 @@ static MonoW32ExceptionHandler fpe_handler;
 static MonoW32ExceptionHandler ill_handler;
 static MonoW32ExceptionHandler segv_handler;
 
-static LPTOP_LEVEL_EXCEPTION_FILTER old_handler;
+LPTOP_LEVEL_EXCEPTION_FILTER mono_old_win_toplevel_exception_filter;
+guint64 mono_win_chained_exception_filter_result;
+gboolean mono_win_chained_exception_filter_didrun;
 
 #ifndef PROCESS_CALLBACK_FILTER_ENABLED
 #      define PROCESS_CALLBACK_FILTER_ENABLED 1
 #endif
 
 #define W32_SEH_HANDLE_EX(_ex) \
-       if (_ex##_handler) _ex##_handler(0, er, sctx)
+       if (_ex##_handler) _ex##_handler(0, ep, sctx)
 
 /*
  * mono_win32_get_handle_stackoverflow (void):
@@ -81,8 +83,7 @@ mono_win32_get_handle_stackoverflow (void)
        /* get stack overflow exception from domain object */
        x86_mov_reg_membase (code, X86_EAX, X86_EAX, G_STRUCT_OFFSET (MonoDomain, stack_overflow_ex), 4);
 
-       /* call mono_arch_handle_exception (sctx, stack_overflow_exception_obj, FALSE) */
-       x86_push_imm (code, 0);
+       /* call mono_arch_handle_exception (sctx, stack_overflow_exception_obj) */
        x86_push_reg (code, X86_EAX);
        x86_push_reg (code, X86_EBX);
        x86_call_code (code, mono_arch_handle_exception);
@@ -116,7 +117,7 @@ win32_handle_stack_overflow (EXCEPTION_POINTERS* ep, struct sigcontext *sctx)
        DWORD page_size;
        MonoDomain *domain = mono_domain_get ();
        MonoJitInfo rji;
-       MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
+       MonoJitTlsData *jit_tls = mono_native_tls_get_value (mono_jit_tls_id);
        MonoLMF *lmf = jit_tls->lmf;            
        MonoContext initial_ctx;
        MonoContext ctx;
@@ -176,6 +177,7 @@ LONG CALLBACK seh_handler(EXCEPTION_POINTERS* ep)
        struct sigcontext* sctx;
        LONG res;
 
+       mono_win_chained_exception_filter_didrun = FALSE;
        res = EXCEPTION_CONTINUE_EXECUTION;
 
        er = ep->ExceptionRecord;
@@ -228,6 +230,9 @@ LONG CALLBACK seh_handler(EXCEPTION_POINTERS* ep)
 
        g_free (sctx);
 
+       if (mono_win_chained_exception_filter_didrun)
+               res = mono_win_chained_exception_filter_result;
+
        return res;
 }
 
@@ -237,12 +242,12 @@ void win32_seh_init()
        if (!restore_stack)
                restore_stack = mono_win32_get_handle_stackoverflow ();
 
-       old_handler = SetUnhandledExceptionFilter(seh_handler);
+       mono_old_win_toplevel_exception_filter = SetUnhandledExceptionFilter(seh_handler);
 }
 
 void win32_seh_cleanup()
 {
-       if (old_handler) SetUnhandledExceptionFilter(old_handler);
+       if (mono_old_win_toplevel_exception_filter) SetUnhandledExceptionFilter(mono_old_win_toplevel_exception_filter);
 }
 
 void win32_seh_set_handler(int type, MonoW32ExceptionHandler handler)
@@ -457,7 +462,7 @@ mono_x86_throw_exception (mgreg_t *regs, MonoObject *exc,
        /* adjust eip so that it point into the call instruction */
        ctx.eip -= 1;
 
-       mono_handle_exception (&ctx, exc, (gpointer)eip, FALSE);
+       mono_handle_exception (&ctx, exc);
 
        restore_context (&ctx);
 
@@ -807,12 +812,8 @@ mono_arch_find_jit_info (MonoDomain *domain, MonoJitTlsData *jit_tls,
                 * the caller.
                 */
 #ifndef ENABLE_LLVM
-               {
-                       MonoJitArgumentInfo *arg_info = g_newa (MonoJitArgumentInfo, mono_method_signature (ji->method)->param_count + 1);
-
-                       guint32 stack_to_pop = mono_arch_get_argument_info (mono_method_signature (ji->method), mono_method_signature (ji->method)->param_count, arg_info);
-                       new_ctx->esp += stack_to_pop;
-               }
+               if (ji->has_arch_eh_info)
+                       new_ctx->esp += mono_jit_info_get_arch_eh_info (ji)->stack_size;
 #endif
 
                return TRUE;
@@ -926,7 +927,7 @@ mono_arch_ip_from_context (void *sigctx)
 static void
 handle_signal_exception (gpointer obj)
 {
-       MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
+       MonoJitTlsData *jit_tls = mono_native_tls_get_value (mono_jit_tls_id);
        MonoContext ctx;
        static void (*restore_context) (MonoContext *);
 
@@ -938,7 +939,7 @@ handle_signal_exception (gpointer obj)
        if (mono_debugger_handle_exception (&ctx, (MonoObject *)obj))
                return;
 
-       mono_handle_exception (&ctx, obj, MONO_CONTEXT_GET_IP (&ctx), FALSE);
+       mono_handle_exception (&ctx, obj);
 
        restore_context (&ctx);
 }
@@ -990,10 +991,30 @@ mono_x86_get_signal_exception_trampoline (MonoTrampInfo **info, gboolean aot)
        return start;
 }
 
+
+void
+mono_arch_setup_async_callback (MonoContext *ctx, void (*async_cb)(void *fun), gpointer user_data)
+{
+       /*
+        * Can't pass the obj on the stack, since we are executing on the
+        * same stack. Can't save it into MonoJitTlsData, since it needs GC tracking.
+        * So put it into a register, and branch to a trampoline which
+        * pushes it.
+        */
+       ctx->eax = (mgreg_t)user_data;
+       ctx->ecx = ctx->eip;
+       ctx->edx = (mgreg_t)async_cb;
+
+       /*align the stack*/
+       ctx->esp = (ctx->esp - 16) & ~15;
+       ctx->eip = (mgreg_t)signal_exception_trampoline;
+}
+
 gboolean
-mono_arch_handle_exception (void *sigctx, gpointer obj, gboolean test_only)
+mono_arch_handle_exception (void *sigctx, gpointer obj)
 {
 #if defined(MONO_ARCH_USE_SIGACTION)
+       MonoContext mctx;
        ucontext_t *ctx = (ucontext_t*)sigctx;
 
        /*
@@ -1001,54 +1022,26 @@ mono_arch_handle_exception (void *sigctx, gpointer obj, gboolean test_only)
         * signal is disabled, and we could run arbitrary code though the debugger. So
         * resume into the normal stack and do most work there if possible.
         */
-       MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
-       guint64 sp = UCONTEXT_REG_ESP (ctx);
+       MonoJitTlsData *jit_tls = mono_native_tls_get_value (mono_jit_tls_id);
 
        /* Pass the ctx parameter in TLS */
        mono_arch_sigctx_to_monoctx (ctx, &jit_tls->ex_ctx);
-       /*
-        * Can't pass the obj on the stack, since we are executing on the
-        * same stack. Can't save it into MonoJitTlsData, since it needs GC tracking.
-        * So put it into a register, and branch to a trampoline which
-        * pushes it.
-        */
-       g_assert (!test_only);
-       UCONTEXT_REG_EAX (ctx) = (gsize)obj;
-       UCONTEXT_REG_ECX (ctx) = UCONTEXT_REG_EIP (ctx);
-       UCONTEXT_REG_EDX (ctx) = (gsize)handle_signal_exception;
 
-       /* Allocate a stack frame, align it to 16 bytes which is needed on apple */
-       sp -= 16;
-       sp &= ~15;
-       UCONTEXT_REG_ESP (ctx) = sp;
-
-       UCONTEXT_REG_EIP (ctx) = (gsize)signal_exception_trampoline;
+       mctx = jit_tls->ex_ctx;
+       mono_setup_async_callback (&mctx, handle_signal_exception, obj);
+       mono_monoctx_to_sigctx (&mctx, sigctx);
 
        return TRUE;
 #elif defined (TARGET_WIN32)
-       MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
+       MonoContext mctx;
+       MonoJitTlsData *jit_tls = mono_native_tls_get_value (mono_jit_tls_id);
        struct sigcontext *ctx = (struct sigcontext *)sigctx;
-       guint64 sp = ctx->SC_ESP;
 
        mono_arch_sigctx_to_monoctx (sigctx, &jit_tls->ex_ctx);
 
-       /*
-        * Can't pass the obj on the stack, since we are executing on the
-        * same stack. Can't save it into MonoJitTlsData, since it needs GC tracking.
-        * So put it into a register, and branch to a trampoline which
-        * pushes it.
-        */
-       g_assert (!test_only);
-       ctx->SC_EAX = (gsize)obj;
-       ctx->SC_ECX = ctx->SC_EIP;
-       ctx->SC_EDX = (gsize)handle_signal_exception;
-
-       /* Allocate a stack frame, align it to 16 bytes which is needed on apple */
-       sp -= 16;
-       sp &= ~15;
-       ctx->SC_ESP = sp;
-
-       ctx->SC_EIP = (gsize)signal_exception_trampoline;
+       mctx = jit_tls->ex_ctx;
+       mono_setup_async_callback (&mctx, handle_signal_exception, obj);
+       mono_monoctx_to_sigctx (&mctx, sigctx);
 
        return TRUE;
 #else
@@ -1059,7 +1052,7 @@ mono_arch_handle_exception (void *sigctx, gpointer obj, gboolean test_only)
        if (mono_debugger_handle_exception (&mctx, (MonoObject *)obj))
                return TRUE;
 
-       mono_handle_exception (&mctx, obj, (gpointer)mctx.eip, test_only);
+       mono_handle_exception (&mctx, obj);
 
        mono_arch_monoctx_to_sigctx (&mctx, sigctx);
 
@@ -1070,7 +1063,7 @@ mono_arch_handle_exception (void *sigctx, gpointer obj, gboolean test_only)
 static void
 restore_soft_guard_pages (void)
 {
-       MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
+       MonoJitTlsData *jit_tls = mono_native_tls_get_value (mono_jit_tls_id);
        if (jit_tls->stack_ovf_guard_base)
                mono_mprotect (jit_tls->stack_ovf_guard_base, jit_tls->stack_ovf_guard_size, MONO_MMAP_NONE);
 }
@@ -1094,13 +1087,13 @@ prepare_for_guard_pages (MonoContext *mctx)
 }
 
 static void
-altstack_handle_and_restore (void *sigctx, gpointer obj, gboolean stack_ovf)
+altstack_handle_and_restore (MonoContext *ctx, gpointer obj, gboolean stack_ovf)
 {
        void (*restore_context) (MonoContext *);
        MonoContext mctx;
 
        restore_context = mono_get_restore_context ();
-       mono_arch_sigctx_to_monoctx (sigctx, &mctx);
+       mctx = *ctx;
 
        if (mono_debugger_handle_exception (&mctx, (MonoObject *)obj)) {
                if (stack_ovf)
@@ -1108,7 +1101,7 @@ altstack_handle_and_restore (void *sigctx, gpointer obj, gboolean stack_ovf)
                restore_context (&mctx);
        }
 
-       mono_handle_exception (&mctx, obj, (gpointer)mctx.eip, FALSE);
+       mono_handle_exception (&mctx, obj);
        if (stack_ovf)
                prepare_for_guard_pages (&mctx);
        restore_context (&mctx);
@@ -1149,7 +1142,8 @@ mono_arch_handle_altstack_exception (void *sigctx, gpointer fault_addr, gboolean
         *   ctx arg
         *   return ip
         */
-       frame_size = sizeof (ucontext_t) + sizeof (gpointer) * 4;
+       // FIXME: test_only is no more.
+       frame_size = sizeof (MonoContext) + sizeof (gpointer) * 4;
        frame_size += 15;
        frame_size &= ~15;
        sp = (gpointer)(UCONTEXT_REG_ESP (ctx) & ~15);
@@ -1161,8 +1155,7 @@ mono_arch_handle_altstack_exception (void *sigctx, gpointer fault_addr, gboolean
        sp [0] = sp + 4;
        sp [1] = exc;
        sp [2] = (gpointer)stack_ovf;
-       /* may need to adjust pointers in the new struct copy, depending on the OS */
-       memcpy (sp + 4, ctx, sizeof (ucontext_t));
+       mono_sigctx_to_monoctx (sigctx, (MonoContext*)(sp + 4));
        /* at the return form the signal handler execution starts in altstack_handle_and_restore() */
        UCONTEXT_REG_EIP (ctx) = (unsigned long)altstack_handle_and_restore;
        UCONTEXT_REG_ESP (ctx) = (unsigned long)(sp - 1);
@@ -1185,6 +1178,9 @@ mono_tasklets_arch_restore (void)
        /* the signature is: restore (MonoContinuation *cont, int state, MonoLMF **lmf_addr) */
        /* put cont in edx */
        x86_mov_reg_membase (code, X86_EDX, X86_ESP, 4, 4);
+        /* state in eax, so it's setup as the return value */
+        x86_mov_reg_membase (code, X86_EAX, X86_ESP, 8, 4);
+
        /* setup the copy of the stack */
        x86_mov_reg_membase (code, X86_ECX, X86_EDX, G_STRUCT_OFFSET (MonoContinuation, stack_used_size), 4);
        x86_shift_reg_imm (code, X86_SHR, X86_ECX, 2);
@@ -1205,8 +1201,6 @@ mono_tasklets_arch_restore (void)
        /*x86_mov_reg_membase (code, X86_ECX, X86_ESP, 12, 4);
        x86_mov_membase_reg (code, X86_ECX, 0, X86_EDX, 4);*/
 
-       /* state in eax, so it's setup as the return value */
-       x86_mov_reg_membase (code, X86_EAX, X86_ESP, 8, 4);
        x86_jump_membase (code, X86_EDX, G_STRUCT_OFFSET (MonoContinuation, return_ip));
        g_assert ((code - start) <= 48);
        saved = start;