guint32 offset;
guint16 clause;
- /*FIXME check if under s390 it should be ei->try_start >= ip*/
if (ei->try_start > ip || ip >= ei->try_end)
return FALSE;
if (managed)
*managed = FALSE;
- err = mono_arch_find_jit_info (domain, jit_tls, ji, ctx, new_ctx, lmf, &frame);
+ err = mono_arch_find_jit_info (domain, jit_tls, ji, ctx, new_ctx, lmf, NULL, &frame);
if (!err)
return (gpointer)-1;
*
* A version of mono_find_jit_info which returns all data in the StackFrameInfo
* structure.
+ * A note about frames of type FRAME_TYPE_MANAGED_TO_NATIVE:
+ * - These frames are used to mark managed-to-native transitions, so CTX will refer to native
+ * code, and new_ctx will refer to the last managed frame. The caller should unwind once more
+ * to obtain the last managed frame.
+ * If SAVE_LOCATIONS is not NULL, it should point to an array of size MONO_MAX_IREGS.
+ * On return, it will be filled with the locations where callee saved registers are saved
+ * by the current frame. This is returned outside of StackFrameInfo because it can be
+ * quite large on some platforms.
*/
gboolean
mono_find_jit_info_ext (MonoDomain *domain, MonoJitTlsData *jit_tls,
MonoJitInfo *prev_ji, MonoContext *ctx,
MonoContext *new_ctx, char **trace, MonoLMF **lmf,
+ mgreg_t **save_locations,
StackFrameInfo *frame)
{
gboolean err;
if (!target_domain)
target_domain = domain;
- err = mono_arch_find_jit_info (target_domain, jit_tls, ji, ctx, new_ctx, lmf, frame);
+ if (save_locations)
+ memset (save_locations, 0, MONO_MAX_IREGS * sizeof (mgreg_t*));
+
+ err = mono_arch_find_jit_info (target_domain, jit_tls, ji, ctx, new_ctx, lmf, save_locations, frame);
if (!err)
return FALSE;
+ if (frame->type == FRAME_TYPE_MANAGED_TO_NATIVE) {
+ /*
+ * This type of frame is just a marker, the caller should unwind once more to get the
+ * last managed frame.
+ */
+ frame->ji = NULL;
+ frame->method = NULL;
+ }
+
frame->native_offset = -1;
frame->domain = target_domain;
method_container_class = ji->method->klass;
/* class might refer to a subclass of ji->method's class */
- while (class->generic_class && class->generic_class->container_class != method_container_class) {
+ while (!(class == ji->method->klass || (class->generic_class && class->generic_class->container_class == method_container_class))) {
class = class->parent;
g_assert (class);
}
switch (frame->type) {
case FRAME_TYPE_DEBUGGER_INVOKE:
+ case FRAME_TYPE_MANAGED_TO_NATIVE:
return FALSE;
case FRAME_TYPE_MANAGED:
- case FRAME_TYPE_MANAGED_TO_NATIVE:
- return d->func (frame->ji ? frame->ji->method : frame->method, frame->native_offset, frame->il_offset, frame->managed, d->user_data);
+ g_assert (frame->ji);
+ return d->func (frame->ji->method, frame->native_offset, frame->il_offset, frame->managed, d->user_data);
break;
default:
g_assert_not_reached ();
void
mono_jit_walk_stack (MonoStackWalk func, gboolean do_il_offset, gpointer user_data)
{
- mono_jit_walk_stack_from_ctx (func, NULL, do_il_offset, user_data);
+ MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
+
+ if (jit_tls && jit_tls->orig_ex_ctx_set)
+ mono_jit_walk_stack_from_ctx (func, &jit_tls->orig_ex_ctx, do_il_offset, user_data);
+ else
+ mono_jit_walk_stack_from_ctx (func, NULL, do_il_offset, user_data);
}
/**
lmf = mono_get_lmf ();
}
+ /* A NULL thread->jit_data can happen in a small window during thread startup: the thread
+ * allocation happens, we do a stack walk (for example with
+ * --profile=log:nocalls and xsp) but the jit is not fully setup for the thread
+ * yet. Of course there are no stack frames, so just returning is ok.
+ * A NULL thread can happen during domain unload with the same test.
+ */
+ if (!thread || !thread->jit_data)
+ return;
jit_tls = thread->jit_data;
if (start_ctx) {
while (MONO_CONTEXT_GET_SP (&ctx) < jit_tls->end_of_stack) {
frame.lmf = lmf;
- res = mono_find_jit_info_ext (domain, jit_tls, NULL, &ctx, &new_ctx, NULL, &lmf, &frame);
+ res = mono_find_jit_info_ext (domain, jit_tls, NULL, &ctx, &new_ctx, NULL, &lmf, NULL, &frame);
if (!res)
return;
frame.il_offset = il_offset;
if (frame.ji) {
- if (frame.ji->has_generic_jit_info && frame.type == FRAME_TYPE_MANAGED_TO_NATIVE) {
- /*
- * FIXME: These frames show up twice, and ctx could refer to native code.
- */
- ctx = new_ctx;
- continue;
- }
frame.actual_method = get_method_from_stack_frame (frame.ji, get_generic_info_from_stack_frame (frame.ji, &ctx));
} else {
frame.actual_method = frame.method;
MonoDomain *domain = mono_domain_get ();
MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
MonoLMF *lmf = mono_get_lmf ();
- MonoJitInfo *ji, rji;
- MonoContext ctx, new_ctx, ji_ctx;
+ MonoJitInfo *ji = NULL;
+ MonoContext ctx, new_ctx;
MonoDebugSourceLocation *location;
- MonoMethod *last_method = NULL, *actual_method;
+ MonoMethod *actual_method;
+ StackFrameInfo frame;
+ gboolean res;
MONO_ARCH_CONTEXT_DEF;
MONO_INIT_CONTEXT_FROM_FUNC (&ctx, ves_icall_get_frame_info);
#endif
+ new_ctx = ctx;
do {
- ji_ctx = ctx;
- ji = mono_find_jit_info (domain, jit_tls, &rji, NULL, &ctx, &new_ctx, NULL, &lmf, (int*) native_offset, NULL);
ctx = new_ctx;
+ res = mono_find_jit_info_ext (domain, jit_tls, NULL, &ctx, &new_ctx, NULL, &lmf, NULL, &frame);
+ if (!res)
+ return FALSE;
- if (ji && ji != (gpointer)-1 &&
- MONO_CONTEXT_GET_IP (&ctx) >= ji->code_start &&
- (guint8*)MONO_CONTEXT_GET_IP (&ctx) < (guint8*)ji->code_start + ji->code_size) {
- ji_ctx = ctx;
- }
+ if (frame.type == FRAME_TYPE_MANAGED_TO_NATIVE || frame.type == FRAME_TYPE_DEBUGGER_INVOKE)
+ continue;
- if (!ji || ji == (gpointer)-1 || MONO_CONTEXT_GET_SP (&ctx) >= jit_tls->end_of_stack)
- return FALSE;
+ ji = frame.ji;
+ *native_offset = frame.native_offset;
/* skip all wrappers ??*/
if (ji->method->wrapper_type == MONO_WRAPPER_RUNTIME_INVOKE ||
ji->method->wrapper_type == MONO_WRAPPER_NATIVE_TO_MANAGED)
continue;
- if (ji->method->wrapper_type == MONO_WRAPPER_MANAGED_TO_NATIVE && ji->method == last_method) {
- /*
- * FIXME: Native-to-managed wrappers sometimes show up twice.
- * Probably the whole mono_find_jit_info () stuff needs to be fixed so this
- * isn't needed.
- */
- continue;
- }
-
- last_method = ji->method;
-
skip--;
-
} while (skip >= 0);
- actual_method = get_method_from_stack_frame (ji, get_generic_info_from_stack_frame (ji, &ji_ctx));
+ actual_method = get_method_from_stack_frame (ji, get_generic_info_from_stack_frame (ji, &ctx));
mono_gc_wbarrier_generic_store (method, (MonoObject*) mono_method_get_object (domain, actual_method, NULL));
/* The value is a BOOLEAN */
val = *p;
}
+ mono_custom_attrs_free (attrs);
}
ass->wrap_non_exception_throws = val;
return val;
}
+#ifndef MONO_ARCH_STACK_GROWS_UP
+#define DOES_STACK_GROWS_UP 1
+#else
+#define DOES_STACK_GROWS_UP 0
+#endif
+
+/*
+ * mono_handle_exception_internal_first_pass:
+ *
+ * The first pass of exception handling. Unwind the stack until a catch clause which can catch
+ * OBJ is found. Run the index of the filter clause which caught the exception into
+ * OUT_FILTER_IDX. Return TRUE if the exception is caught, FALSE otherwise.
+ */
+static gboolean
+mono_handle_exception_internal_first_pass (MonoContext *ctx, gpointer obj, gpointer original_ip, gint32 *out_filter_idx, MonoJitInfo **out_ji, MonoObject *non_exception)
+{
+ MonoDomain *domain = mono_domain_get ();
+ MonoJitInfo *ji;
+ static int (*call_filter) (MonoContext *, gpointer) = NULL;
+ MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
+ MonoLMF *lmf = mono_get_lmf ();
+ MonoArray *initial_trace_ips = NULL;
+ GList *trace_ips = NULL;
+ MonoException *mono_ex;
+ gboolean stack_overflow = FALSE;
+ MonoContext initial_ctx;
+ int frame_count = 0;
+ gboolean has_dynamic_methods = FALSE;
+ gint32 filter_idx;
+ int i;
+ MonoObject *ex_obj;
+
+ g_assert (ctx != NULL);
+
+ if (obj == domain->stack_overflow_ex)
+ stack_overflow = TRUE;
+
+ mono_ex = (MonoException*)obj;
+ initial_trace_ips = mono_ex->trace_ips;
+
+ if (mono_object_isinst (obj, mono_defaults.exception_class)) {
+ mono_ex = (MonoException*)obj;
+ initial_trace_ips = mono_ex->trace_ips;
+ } else {
+ mono_ex = NULL;
+ }
+
+ if (!call_filter)
+ call_filter = mono_get_call_filter ();
+
+ g_assert (jit_tls->end_of_stack);
+ g_assert (jit_tls->abort_func);
+
+ if (out_filter_idx)
+ *out_filter_idx = -1;
+ if (out_ji)
+ *out_ji = NULL;
+ filter_idx = 0;
+ initial_ctx = *ctx;
+
+ while (1) {
+ MonoContext new_ctx;
+ guint32 free_stack;
+ int clause_index_start = 0;
+ gboolean unwind_res = TRUE;
+
+ StackFrameInfo frame;
+
+ unwind_res = mono_find_jit_info_ext (domain, jit_tls, NULL, ctx, &new_ctx, NULL, &lmf, NULL, &frame);
+ if (unwind_res) {
+ if (frame.type == FRAME_TYPE_DEBUGGER_INVOKE || frame.type == FRAME_TYPE_MANAGED_TO_NATIVE) {
+ *ctx = new_ctx;
+ continue;
+ }
+ g_assert (frame.type == FRAME_TYPE_MANAGED);
+ ji = frame.ji;
+ }
+
+ if (!unwind_res) {
+ if (mono_ex && !initial_trace_ips) {
+ trace_ips = g_list_reverse (trace_ips);
+ MONO_OBJECT_SETREF (mono_ex, trace_ips, glist_to_array (trace_ips, mono_defaults.int_class));
+ if (has_dynamic_methods)
+ /* These methods could go away anytime, so compute the stack trace now */
+ MONO_OBJECT_SETREF (mono_ex, stack_trace, ves_icall_System_Exception_get_trace (mono_ex));
+ }
+ g_list_free (trace_ips);
+ return FALSE;
+ }
+
+ frame_count ++;
+ //printf ("M: %s %d.\n", mono_method_full_name (ji->method, TRUE), frame_count);
+
+ if (mini_get_debug_options ()->reverse_pinvoke_exceptions && ji->method->wrapper_type == MONO_WRAPPER_NATIVE_TO_MANAGED) {
+ g_error ("A native frame was found while unwinding the stack after an exception.\n"
+ "The native frame called the managed method:\n%s\n",
+ mono_method_full_name (ji->method, TRUE));
+ }
+
+ if (ji->method->wrapper_type != MONO_WRAPPER_RUNTIME_INVOKE && mono_ex) {
+ /*
+ * Avoid overwriting the stack trace if the exception is
+ * rethrown. Also avoid giant stack traces during a stack
+ * overflow.
+ */
+ if (!initial_trace_ips && (frame_count < 1000)) {
+ trace_ips = g_list_prepend (trace_ips, MONO_CONTEXT_GET_IP (ctx));
+ trace_ips = g_list_prepend (trace_ips,
+ get_generic_info_from_stack_frame (ji, ctx));
+ }
+ }
+
+ if (ji->method->dynamic)
+ has_dynamic_methods = TRUE;
+
+ if (stack_overflow) {
+ if (DOES_STACK_GROWS_UP)
+ free_stack = (guint8*)(MONO_CONTEXT_GET_SP (ctx)) - (guint8*)(MONO_CONTEXT_GET_SP (&initial_ctx));
+ else
+ free_stack = (guint8*)(MONO_CONTEXT_GET_SP (&initial_ctx)) - (guint8*)(MONO_CONTEXT_GET_SP (ctx));
+ } else {
+ free_stack = 0xffffff;
+ }
+
+ for (i = clause_index_start; i < ji->num_clauses; i++) {
+ MonoJitExceptionInfo *ei = &ji->clauses [i];
+ gboolean filtered = FALSE;
+
+ /*
+ * During stack overflow, wait till the unwinding frees some stack
+ * space before running handlers/finalizers.
+ */
+ if (free_stack <= (64 * 1024))
+ continue;
+
+ if (is_address_protected (ji, ei, MONO_CONTEXT_GET_IP (ctx))) {
+ /* catch block */
+ MonoClass *catch_class = get_exception_catch_class (ei, ji, ctx);
+
+ /*
+ * Have to unwrap RuntimeWrappedExceptions if the
+ * method's assembly doesn't have a RuntimeCompatibilityAttribute.
+ */
+ if (non_exception && !wrap_non_exception_throws (ji->method))
+ ex_obj = non_exception;
+ else
+ ex_obj = obj;
+
+ if (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER) {
+ mono_perfcounters->exceptions_filters++;
+ mono_debugger_call_exception_handler (ei->data.filter, MONO_CONTEXT_GET_SP (ctx), ex_obj);
+ if (mono_ex && !initial_trace_ips) {
+ trace_ips = g_list_reverse (trace_ips);
+ MONO_OBJECT_SETREF (mono_ex, trace_ips, glist_to_array (trace_ips, mono_defaults.int_class));
+
+ if (has_dynamic_methods)
+ /* These methods could go away anytime, so compute the stack trace now */
+ MONO_OBJECT_SETREF (mono_ex, stack_trace, ves_icall_System_Exception_get_trace (mono_ex));
+ }
+ g_list_free (trace_ips);
+ trace_ips = NULL;
+
+ if (ji->from_llvm) {
+#ifdef MONO_CONTEXT_SET_LLVM_EXC_REG
+ MONO_CONTEXT_SET_LLVM_EXC_REG (ctx, ex_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)) = ex_obj;
+ }
+
+ mono_debugger_agent_begin_exception_filter (mono_ex, ctx, &initial_ctx);
+ filtered = call_filter (ctx, ei->data.filter);
+ mono_debugger_agent_end_exception_filter (mono_ex, ctx, &initial_ctx);
+ if (filtered && out_filter_idx)
+ *out_filter_idx = filter_idx;
+ if (out_ji)
+ *out_ji = ji;
+ filter_idx ++;
+
+ if (filtered) {
+ /* mono_debugger_agent_handle_exception () needs this */
+ MONO_CONTEXT_SET_IP (ctx, ei->handler_start);
+ return TRUE;
+ }
+ }
+
+ if (ei->flags == MONO_EXCEPTION_CLAUSE_NONE && mono_object_isinst (ex_obj, catch_class)) {
+ if (mono_ex && !initial_trace_ips) {
+ trace_ips = g_list_reverse (trace_ips);
+ MONO_OBJECT_SETREF (mono_ex, trace_ips, glist_to_array (trace_ips, mono_defaults.int_class));
+ if (has_dynamic_methods)
+ /* These methods could go away anytime, so compute the stack trace now */
+ MONO_OBJECT_SETREF (mono_ex, stack_trace, ves_icall_System_Exception_get_trace (mono_ex));
+ }
+ g_list_free (trace_ips);
+
+ /* mono_debugger_agent_handle_exception () needs this */
+ MONO_CONTEXT_SET_IP (ctx, ei->handler_start);
+ return TRUE;
+ }
+ }
+ }
+
+ *ctx = new_ctx;
+ }
+
+ g_assert_not_reached ();
+}
+
/**
* mono_handle_exception_internal:
* @ctx: saved processor state
* @obj: the exception object
- * @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, gboolean resume, gint32 *out_filter_idx, MonoJitInfo **out_ji, MonoObject *non_exception)
+mono_handle_exception_internal (MonoContext *ctx, gpointer obj, gpointer original_ip, gboolean resume, MonoJitInfo **out_ji)
{
MonoDomain *domain = mono_domain_get ();
- MonoJitInfo *ji, rji;
+ MonoJitInfo *ji;
static int (*call_filter) (MonoContext *, gpointer) = NULL;
static void (*restore_context) (void *);
MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
MonoLMF *lmf = mono_get_lmf ();
- MonoArray *initial_trace_ips = NULL;
- GList *trace_ips = NULL;
MonoException *mono_ex;
gboolean stack_overflow = FALSE;
MonoContext initial_ctx;
int frame_count = 0;
- gboolean has_dynamic_methods = FALSE;
gint32 filter_idx, first_filter_idx;
+ int i;
+ MonoObject *ex_obj;
+ MonoObject *non_exception = NULL;
g_assert (ctx != NULL);
if (!obj) {
obj = mono_get_exception_null_reference ();
}
- if (!test_only && !mono_object_isinst (obj, mono_defaults.exception_class)) {
+ if (!mono_object_isinst (obj, mono_defaults.exception_class)) {
non_exception = obj;
obj = mono_get_exception_runtime_wrapped (obj);
}
mono_ex = (MonoException*)obj;
- initial_trace_ips = mono_ex->trace_ips;
if (mono_object_isinst (obj, mono_defaults.exception_class)) {
mono_ex = (MonoException*)obj;
- initial_trace_ips = mono_ex->trace_ips;
} else {
mono_ex = NULL;
}
g_assert (jit_tls->end_of_stack);
g_assert (jit_tls->abort_func);
- if (!test_only && !resume) {
+ /*
+ * We set orig_ex_ctx_set to TRUE/FALSE around profiler calls to make sure it doesn't
+ * end up being TRUE on any code path.
+ */
+ memcpy (&jit_tls->orig_ex_ctx, ctx, sizeof (MonoContext));
+
+ if (!resume) {
+ gboolean res;
+
MonoContext ctx_cp = *ctx;
if (mono_trace_is_enabled ()) {
MonoMethod *system_exception_get_message = mono_class_get_method_from_name (mono_defaults.exception_class, "get_Message", 0);
if (mono_ex && mono_trace_eval_exception (mono_object_class (mono_ex)))
mono_print_thread_dump_from_ctx (ctx);
}
+ jit_tls->orig_ex_ctx_set = TRUE;
mono_profiler_exception_thrown (obj);
- if (!mono_handle_exception_internal (&ctx_cp, obj, original_ip, TRUE, FALSE, &first_filter_idx, out_ji, non_exception)) {
+ jit_tls->orig_ex_ctx_set = FALSE;
+
+ res = mono_handle_exception_internal_first_pass (&ctx_cp, obj, original_ip, &first_filter_idx, out_ji, non_exception);
+
+ if (!res) {
if (mono_break_on_exc)
G_BREAKPOINT ();
mono_debugger_agent_handle_exception (obj, ctx, NULL);
}
}
- if (out_filter_idx)
- *out_filter_idx = -1;
if (out_ji)
*out_ji = NULL;
filter_idx = 0;
initial_ctx = *ctx;
- memset (&rji, 0, sizeof (rji));
while (1) {
MonoContext new_ctx;
guint32 free_stack;
int clause_index_start = 0;
-
+ gboolean unwind_res = TRUE;
+
if (resume) {
resume = FALSE;
ji = jit_tls->resume_state.ji;
first_filter_idx = jit_tls->resume_state.first_filter_idx;
filter_idx = jit_tls->resume_state.filter_idx;
} else {
- ji = mono_find_jit_info (domain, jit_tls, &rji, &rji, ctx, &new_ctx,
- NULL, &lmf, NULL, NULL);
- if (!ji) {
- g_warning ("Exception inside function without unwind info");
- g_assert_not_reached ();
- }
- }
+ StackFrameInfo frame;
- if (ji != (gpointer)-1 && !(ji->code_start <= MONO_CONTEXT_GET_IP (ctx) && (((guint8*)ji->code_start + ji->code_size >= (guint8*)MONO_CONTEXT_GET_IP (ctx))))) {
- /*
- * The exception was raised in native code and we got back to managed code
- * using the LMF.
- */
- *ctx = new_ctx;
- continue;
+ unwind_res = mono_find_jit_info_ext (domain, jit_tls, NULL, ctx, &new_ctx, NULL, &lmf, NULL, &frame);
+ if (unwind_res) {
+ if (frame.type == FRAME_TYPE_DEBUGGER_INVOKE || frame.type == FRAME_TYPE_MANAGED_TO_NATIVE) {
+ *ctx = new_ctx;
+ continue;
+ }
+ g_assert (frame.type == FRAME_TYPE_MANAGED);
+ ji = frame.ji;
+ }
}
- if (ji != (gpointer)-1) {
- frame_count ++;
- //printf ("M: %s %d %d.\n", mono_method_full_name (ji->method, TRUE), frame_count, test_only);
-
- if (mini_get_debug_options ()->reverse_pinvoke_exceptions && ji->method->wrapper_type == MONO_WRAPPER_NATIVE_TO_MANAGED) {
- g_error ("A native frame was found while unwinding the stack after an exception.\n"
- "The native frame called the managed method:\n%s\n",
- mono_method_full_name (ji->method, TRUE));
- }
+ if (!unwind_res) {
+ *(mono_get_lmf_addr ()) = lmf;
- if (test_only && ji->method->wrapper_type != MONO_WRAPPER_RUNTIME_INVOKE && mono_ex) {
- /*
- * Avoid overwriting the stack trace if the exception is
- * rethrown. Also avoid giant stack traces during a stack
- * overflow.
- */
- if (!initial_trace_ips && (frame_count < 1000)) {
- trace_ips = g_list_prepend (trace_ips, MONO_CONTEXT_GET_IP (ctx));
- trace_ips = g_list_prepend (trace_ips,
- get_generic_info_from_stack_frame (ji, ctx));
- }
- }
+ jit_tls->abort_func (obj);
+ g_assert_not_reached ();
+ }
- if (ji->method->dynamic)
- has_dynamic_methods = TRUE;
+ frame_count ++;
+ //printf ("M: %s %d.\n", mono_method_full_name (ji->method, TRUE), frame_count);
- if (stack_overflow)
-#ifndef MONO_ARCH_STACK_GROWS_UP
+ if (stack_overflow) {
+ if (DOES_STACK_GROWS_UP)
free_stack = (guint8*)(MONO_CONTEXT_GET_SP (ctx)) - (guint8*)(MONO_CONTEXT_GET_SP (&initial_ctx));
-#else
- free_stack = (guint8*)(MONO_CONTEXT_GET_SP (&initial_ctx)) - (guint8*)(MONO_CONTEXT_GET_SP (ctx));
-#endif
else
- free_stack = 0xffffff;
+ free_stack = (guint8*)(MONO_CONTEXT_GET_SP (&initial_ctx)) - (guint8*)(MONO_CONTEXT_GET_SP (ctx));
+ } else {
+ free_stack = 0xffffff;
+ }
+
+ for (i = clause_index_start; i < ji->num_clauses; i++) {
+ MonoJitExceptionInfo *ei = &ji->clauses [i];
+ gboolean filtered = FALSE;
/*
* During stack overflow, wait till the unwinding frees some stack
* space before running handlers/finalizers.
*/
- if ((free_stack > (64 * 1024)) && ji->num_clauses) {
- int i;
- MonoObject *ex_obj;
-
- for (i = clause_index_start; i < ji->num_clauses; i++) {
- MonoJitExceptionInfo *ei = &ji->clauses [i];
- gboolean filtered = FALSE;
+ if (free_stack <= (64 * 1024))
+ continue;
-#if defined(__s390__)
- /*
- * This is required in cases where a try block starts immediately after
- * a call which causes an exception. Testcase: tests/exception8.cs.
- * FIXME: Clean this up.
- */
- if (ei->try_start < MONO_CONTEXT_GET_IP (ctx) && MONO_CONTEXT_GET_IP (ctx) <= ei->try_end) {
-#else
- if (is_address_protected (ji, ei, MONO_CONTEXT_GET_IP (ctx))) {
-#endif
- /* catch block */
- MonoClass *catch_class = get_exception_catch_class (ei, ji, ctx);
+ if (is_address_protected (ji, ei, MONO_CONTEXT_GET_IP (ctx))) {
+ /* catch block */
+ MonoClass *catch_class = get_exception_catch_class (ei, ji, ctx);
- /*
- * Have to unwrap RuntimeWrappedExceptions if the
- * method's assembly doesn't have a RuntimeCompatibilityAttribute.
- */
- if (non_exception && !wrap_non_exception_throws (ji->method))
- ex_obj = non_exception;
- else
- ex_obj = obj;
+ /*
+ * Have to unwrap RuntimeWrappedExceptions if the
+ * method's assembly doesn't have a RuntimeCompatibilityAttribute.
+ */
+ if (non_exception && !wrap_non_exception_throws (ji->method))
+ ex_obj = non_exception;
+ else
+ ex_obj = obj;
- if ((ei->flags == MONO_EXCEPTION_CLAUSE_NONE) || (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER)) {
- if (ji->from_llvm) {
+ if (((ei->flags == MONO_EXCEPTION_CLAUSE_NONE) || (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER))) {
+ if (ji->from_llvm) {
#ifdef MONO_CONTEXT_SET_LLVM_EXC_REG
- MONO_CONTEXT_SET_LLVM_EXC_REG (ctx, ex_obj);
+ MONO_CONTEXT_SET_LLVM_EXC_REG (ctx, ex_obj);
#else
- g_assert_not_reached ();
+ 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)) = ex_obj;
- }
- }
+ } else {
+ /* store the exception object in bp + ei->exvar_offset */
+ *((gpointer *)(gpointer)((char *)MONO_CONTEXT_GET_BP (ctx) + ei->exvar_offset)) = ex_obj;
+ }
+ }
- if (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER) {
- if (test_only) {
- mono_perfcounters->exceptions_filters++;
- mono_debugger_call_exception_handler (ei->data.filter, MONO_CONTEXT_GET_SP (ctx), ex_obj);
- filtered = call_filter (ctx, ei->data.filter);
- if (filtered && out_filter_idx)
- *out_filter_idx = filter_idx;
- if (out_ji)
- *out_ji = ji;
- }
- else {
- /*
- * Filter clauses should only be run in the
- * first pass of exception handling.
- */
- filtered = (filter_idx == first_filter_idx);
- }
- filter_idx ++;
- }
+ if (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER) {
+ /*
+ * Filter clauses should only be run in the
+ * first pass of exception handling.
+ */
+ filtered = (filter_idx == first_filter_idx);
+ filter_idx ++;
+ }
- if ((ei->flags == MONO_EXCEPTION_CLAUSE_NONE &&
- mono_object_isinst (ex_obj, catch_class)) || filtered) {
- if (test_only) {
- if (mono_ex && !initial_trace_ips) {
- trace_ips = g_list_reverse (trace_ips);
- MONO_OBJECT_SETREF (mono_ex, trace_ips, glist_to_array (trace_ips, mono_defaults.int_class));
- if (has_dynamic_methods)
- /* These methods could go away anytime, so compute the stack trace now */
- MONO_OBJECT_SETREF (mono_ex, stack_trace, ves_icall_System_Exception_get_trace (mono_ex));
- }
- g_list_free (trace_ips);
-
- return TRUE;
- }
- /*
- * This guards against the situation that we abort a thread that is executing a finally clause
- * that was called by the EH machinery. It won't have a guard trampoline installed, so we must
- * check for this situation here and resume interruption if we are below the guarded block.
+ if ((ei->flags == MONO_EXCEPTION_CLAUSE_NONE &&
+ mono_object_isinst (ex_obj, catch_class)) || filtered) {
+ /*
+ * This guards against the situation that we abort a thread that is executing a finally clause
+ * that was called by the EH machinery. It won't have a guard trampoline installed, so we must
+ * check for this situation here and resume interruption if we are below the guarded block.
+ */
+ if (G_UNLIKELY (jit_tls->handler_block_return_address)) {
+ gboolean is_outside = FALSE;
+ gpointer prot_bp = MONO_CONTEXT_GET_BP (&jit_tls->handler_block_context);
+ gpointer catch_bp = MONO_CONTEXT_GET_BP (ctx);
+ //FIXME make this stack direction aware
+ if (catch_bp > prot_bp) {
+ is_outside = TRUE;
+ } else if (catch_bp == prot_bp) {
+ /* Can be either try { try { } catch {} } finally {} or try { try { } finally {} } catch {}
+ * So we check if the catch handler_start is protected by the guarded handler protected region
+ *
+ * Assumptions:
+ * If there is an outstanding guarded_block return address, it means the current thread must be aborted.
+ * This is the only way to reach out the guarded block as other cases are handled by the trampoline.
+ * There aren't any further finally/fault handler blocks down the stack over this exception.
+ * This must be ensured by the code that installs the guard trampoline.
*/
- if (G_UNLIKELY (jit_tls->handler_block_return_address)) {
- gboolean is_outside = FALSE;
- gpointer prot_bp = MONO_CONTEXT_GET_BP (&jit_tls->ex_ctx);
- gpointer catch_bp = MONO_CONTEXT_GET_BP (ctx);
- //FIXME make this stack direction aware
- if (catch_bp > prot_bp) {
- is_outside = TRUE;
- } else if (catch_bp == prot_bp) {
- /* Can be either try { try { } catch {} } finally {} or try { try { } finally {} } catch {}
- * So we check if the catch handler_start is protected by the guarded handler protected region
- *
- * Assumptions:
- * If there is an outstanding guarded_block return address, it means the current thread must be aborted.
- * This is the only way to reach out the guarded block as other cases are handled by the trampoline.
- * There aren't any further finally/fault handler blocks down the stack over this exception.
- * This must be ensured by the code that installs the guard trampoline.
- */
- g_assert (ji == mini_jit_info_table_find (domain, MONO_CONTEXT_GET_IP (&jit_tls->ex_ctx), NULL));
-
- if (!is_address_protected (ji, jit_tls->handler_block, ei->handler_start)) {
- is_outside = TRUE;
- }
- }
- if (is_outside) {
- jit_tls->handler_block_return_address = NULL;
- jit_tls->handler_block = NULL;
- mono_thread_resume_interruption (); /*We ignore the exception here, it will be raised later*/
- }
- }
+ g_assert (ji == mini_jit_info_table_find (domain, MONO_CONTEXT_GET_IP (&jit_tls->handler_block_context), NULL));
- if (mono_trace_is_enabled () && mono_trace_eval (ji->method))
- g_print ("EXCEPTION: catch found at clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
- mono_profiler_exception_clause_handler (ji->method, ei->flags, i);
- mono_debugger_call_exception_handler (ei->handler_start, MONO_CONTEXT_GET_SP (ctx), ex_obj);
- MONO_CONTEXT_SET_IP (ctx, ei->handler_start);
- *(mono_get_lmf_addr ()) = lmf;
- mono_perfcounters->exceptions_depth += frame_count;
- if (obj == domain->stack_overflow_ex)
- jit_tls->handling_stack_ovf = FALSE;
-
- return 0;
- }
- if (!test_only && is_address_protected (ji, ei, MONO_CONTEXT_GET_IP (ctx)) &&
- (ei->flags == MONO_EXCEPTION_CLAUSE_FAULT)) {
- if (mono_trace_is_enabled () && mono_trace_eval (ji->method))
- g_print ("EXCEPTION: fault clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
- mono_profiler_exception_clause_handler (ji->method, ei->flags, i);
- mono_debugger_call_exception_handler (ei->handler_start, MONO_CONTEXT_GET_SP (ctx), ex_obj);
- call_filter (ctx, ei->handler_start);
- }
- if (!test_only && is_address_protected (ji, ei, MONO_CONTEXT_GET_IP (ctx)) &&
- (ei->flags == MONO_EXCEPTION_CLAUSE_FINALLY)) {
- if (mono_trace_is_enabled () && mono_trace_eval (ji->method))
- g_print ("EXCEPTION: finally clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
- mono_profiler_exception_clause_handler (ji->method, ei->flags, i);
- mono_debugger_call_exception_handler (ei->handler_start, MONO_CONTEXT_GET_SP (ctx), ex_obj);
- mono_perfcounters->exceptions_finallys++;
- *(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.
- */
- jit_tls->resume_state.ex_obj = obj;
- jit_tls->resume_state.ji = ji;
- jit_tls->resume_state.clause_index = i + 1;
- jit_tls->resume_state.ctx = *ctx;
- jit_tls->resume_state.new_ctx = new_ctx;
- jit_tls->resume_state.lmf = lmf;
- jit_tls->resume_state.first_filter_idx = first_filter_idx;
- jit_tls->resume_state.filter_idx = filter_idx;
- MONO_CONTEXT_SET_IP (ctx, ei->handler_start);
- return 0;
- } else {
- call_filter (ctx, ei->handler_start);
+ if (!is_address_protected (ji, jit_tls->handler_block, ei->handler_start)) {
+ is_outside = TRUE;
}
}
-
+ if (is_outside) {
+ jit_tls->handler_block_return_address = NULL;
+ jit_tls->handler_block = NULL;
+ mono_thread_resume_interruption (); /*We ignore the exception here, it will be raised later*/
+ }
+ }
+
+ if (mono_trace_is_enabled () && mono_trace_eval (ji->method))
+ g_print ("EXCEPTION: catch found at clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
+ jit_tls->orig_ex_ctx_set = TRUE;
+ mono_profiler_exception_clause_handler (ji->method, ei->flags, i);
+ jit_tls->orig_ex_ctx_set = FALSE;
+ mono_debugger_call_exception_handler (ei->handler_start, MONO_CONTEXT_GET_SP (ctx), ex_obj);
+ MONO_CONTEXT_SET_IP (ctx, ei->handler_start);
+ *(mono_get_lmf_addr ()) = lmf;
+ mono_perfcounters->exceptions_depth += frame_count;
+ if (obj == domain->stack_overflow_ex)
+ jit_tls->handling_stack_ovf = FALSE;
+
+ return 0;
+ }
+ if (is_address_protected (ji, ei, MONO_CONTEXT_GET_IP (ctx)) &&
+ (ei->flags == MONO_EXCEPTION_CLAUSE_FAULT)) {
+ if (mono_trace_is_enabled () && mono_trace_eval (ji->method))
+ g_print ("EXCEPTION: fault clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
+ jit_tls->orig_ex_ctx_set = TRUE;
+ mono_profiler_exception_clause_handler (ji->method, ei->flags, i);
+ jit_tls->orig_ex_ctx_set = FALSE;
+ mono_debugger_call_exception_handler (ei->handler_start, MONO_CONTEXT_GET_SP (ctx), ex_obj);
+ call_filter (ctx, ei->handler_start);
+ }
+ if (is_address_protected (ji, ei, MONO_CONTEXT_GET_IP (ctx)) &&
+ (ei->flags == MONO_EXCEPTION_CLAUSE_FINALLY)) {
+ if (mono_trace_is_enabled () && mono_trace_eval (ji->method))
+ g_print ("EXCEPTION: finally clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
+ jit_tls->orig_ex_ctx_set = TRUE;
+ mono_profiler_exception_clause_handler (ji->method, ei->flags, i);
+ jit_tls->orig_ex_ctx_set = FALSE;
+ mono_debugger_call_exception_handler (ei->handler_start, MONO_CONTEXT_GET_SP (ctx), ex_obj);
+ mono_perfcounters->exceptions_finallys++;
+ *(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.
+ */
+ jit_tls->resume_state.ex_obj = obj;
+ jit_tls->resume_state.ji = ji;
+ jit_tls->resume_state.clause_index = i + 1;
+ jit_tls->resume_state.ctx = *ctx;
+ jit_tls->resume_state.new_ctx = new_ctx;
+ jit_tls->resume_state.lmf = lmf;
+ jit_tls->resume_state.first_filter_idx = first_filter_idx;
+ jit_tls->resume_state.filter_idx = filter_idx;
+ MONO_CONTEXT_SET_IP (ctx, ei->handler_start);
+ return 0;
+ } else {
+ call_filter (ctx, ei->handler_start);
}
}
}
- if (!test_only)
- mono_profiler_exception_method_leave (ji->method);
}
- *ctx = new_ctx;
+ jit_tls->orig_ex_ctx_set = TRUE;
+ mono_profiler_exception_method_leave (ji->method);
+ jit_tls->orig_ex_ctx_set = FALSE;
- if (ji == (gpointer)-1) {
-
- if (!test_only) {
- *(mono_get_lmf_addr ()) = lmf;
-
- jit_tls->abort_func (obj);
- g_assert_not_reached ();
- } else {
- if (mono_ex && !initial_trace_ips) {
- trace_ips = g_list_reverse (trace_ips);
- MONO_OBJECT_SETREF (mono_ex, trace_ips, glist_to_array (trace_ips, mono_defaults.int_class));
- if (has_dynamic_methods)
- /* These methods could go away anytime, so compute the stack trace now */
- MONO_OBJECT_SETREF (mono_ex, stack_trace, ves_icall_System_Exception_get_trace (mono_ex));
- }
- g_list_free (trace_ips);
- return FALSE;
- }
- }
+ *ctx = new_ctx;
}
g_assert_not_reached ();
* 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, FALSE, NULL, &ji, NULL);
+ ret = mono_handle_exception_internal_first_pass (&ctx_cp, obj, MONO_CONTEXT_GET_IP (ctx), NULL, &ji, NULL);
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
if (!test_only)
mono_perfcounters->exceptions_thrown++;
- return mono_handle_exception_internal (ctx, obj, original_ip, test_only, FALSE, NULL, NULL, NULL);
+ g_assert (!test_only);
+ return mono_handle_exception_internal (ctx, obj, original_ip, FALSE, NULL);
}
#ifdef MONO_ARCH_SIGSEGV_ON_ALTSTACK
g_assert (staddr);
tls->end_of_stack = staddr + stsize;
+ tls->stack_size = stsize;
/*g_print ("thread %p, stack_base: %p, stack_size: %d\n", (gpointer)pthread_self (), staddr, stsize);*/
tls->stack_ovf_valloced = TRUE;
}
- /*
- * threads created by nptl does not seem to have a guard page, and
- * since the main thread is not created by us, we can't even set one.
- * Increasing stsize fools the SIGSEGV signal handler into thinking this
- * is a stack overflow exception.
- */
- tls->stack_size = stsize + mono_pagesize ();
-
/* Setup an alternate signal stack */
tls->signal_stack = mono_valloc (0, MONO_ARCH_SIGNAL_STACK_SIZE, MONO_MMAP_READ|MONO_MMAP_WRITE|MONO_MMAP_PRIVATE|MONO_MMAP_ANON);
tls->signal_stack_size = MONO_ARCH_SIGNAL_STACK_SIZE;
MONO_CONTEXT_SET_SP (ctx, MONO_CONTEXT_GET_SP (&jit_tls->resume_state.ctx));
new_ctx = *ctx;
- mono_handle_exception_internal (&new_ctx, jit_tls->resume_state.ex_obj, NULL, FALSE, TRUE, NULL, NULL, NULL);
+ mono_handle_exception_internal (&new_ctx, jit_tls->resume_state.ex_obj, NULL, TRUE, NULL);
if (!restore_context)
restore_context = mono_get_restore_context ();
if (!data.ji)
return FALSE;
- memcpy (&jit_tls->ex_ctx, &data.ctx, sizeof (MonoContext));
+ memcpy (&jit_tls->handler_block_context, &data.ctx, sizeof (MonoContext));
resume_ip = install_handler_block_guard (data.ji, &data.ctx);
if (resume_ip == NULL)
projects / mono.git / blobdiff