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;
* - 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) {
+ if (!frame->ji->method->wrapper_type || frame->ji->method->wrapper_type == MONO_WRAPPER_DYNAMIC_METHOD)
+ frame->managed = TRUE;
+ }
+
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
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);
}
}
void
-mono_jit_walk_stack_from_ctx (MonoStackWalk func, MonoContext *start_ctx, gboolean do_il_offset, gpointer user_data)
+mono_jit_walk_stack_from_ctx (MonoStackWalk func, MonoContext *start_ctx, MonoUnwindOptions unwind_options, gpointer user_data)
{
StackWalkUserData d;
d.func = func;
d.user_data = user_data;
- mono_walk_stack (stack_walk_adapter, mono_domain_get (), start_ctx, do_il_offset, mono_thread_internal_current (), mono_get_lmf (), &d);
+ mono_walk_stack (stack_walk_adapter, mono_domain_get (), start_ctx, unwind_options, mono_thread_internal_current (), mono_get_lmf (), &d);
}
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);
+ MonoUnwindOptions unwind_options = do_il_offset ? MONO_UNWIND_LOOKUP_ALL : MONO_UNWIND_DEFAULT;
+ if (jit_tls && jit_tls->orig_ex_ctx_set)
+ mono_jit_walk_stack_from_ctx (func, &jit_tls->orig_ex_ctx, unwind_options, user_data);
+ else
+ mono_jit_walk_stack_from_ctx (func, NULL, unwind_options, user_data);
}
/**
* mono_walk_stack:
* @func: callback to call for each stack frame
* @domain: starting appdomain, can be NULL to use the current domain
- * @do_il_offsets: whenever to compute IL offsets
+ * @unwind_options: what extra information the unwinder should gather
* @start_ctx: starting state of the stack walk, can be NULL.
* @thread: the thread whose stack to walk, can be NULL to use the current thread
* @lmf: the LMF of @thread, can be NULL to use the LMF of the current thread
* managed stack frames are found or when the callback returns a TRUE value.
*/
void
-mono_walk_stack (MonoJitStackWalk func, MonoDomain *domain, MonoContext *start_ctx, gboolean do_il_offset, MonoInternalThread *thread, MonoLMF *lmf, gpointer user_data)
+mono_walk_stack (MonoJitStackWalk func, MonoDomain *domain, MonoContext *start_ctx, MonoUnwindOptions unwind_options, MonoInternalThread *thread, MonoLMF *lmf, gpointer user_data)
{
MonoJitTlsData *jit_tls;
gint il_offset;
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;
- if (do_il_offset && frame.ji) {
+ if ((unwind_options & MONO_UNWIND_LOOKUP_IL_OFFSET) && frame.ji) {
MonoDebugSourceLocation *source;
source = mono_debug_lookup_source_location (frame.ji->method, frame.native_offset, domain);
frame.il_offset = il_offset;
- if (frame.ji) {
+ if ((unwind_options & MONO_UNWIND_LOOKUP_ACTUAL_METHOD) && frame.ji) {
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;
+ MonoJitInfo *ji = NULL;
MonoContext ctx, new_ctx;
MonoDebugSourceLocation *location;
MonoMethod *actual_method;
new_ctx = ctx;
do {
ctx = new_ctx;
- 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 FALSE;
si.skips = skip;
si.frame = NULL;
- mono_walk_stack (callback_get_first_frame_security_info, domain, NULL, FALSE, NULL, NULL, &si);
+ mono_walk_stack (callback_get_first_frame_security_info, domain, NULL, MONO_UNWIND_DEFAULT, NULL, NULL, &si);
return (si.skips == 0) ? si.frame : NULL;
}
ss.count = 0;
ss.maximum = MONO_CAS_INITIAL_STACK_SIZE;
ss.stack = mono_array_new (domain, mono_defaults.runtimesecurityframe_class, ss.maximum);
- mono_walk_stack (callback_get_stack_frames_security_info, domain, NULL, FALSE, NULL, NULL, &ss);
+ mono_walk_stack (callback_get_stack_frames_security_info, domain, NULL, MONO_UNWIND_DEFAULT, NULL, NULL, &ss);
/* g_warning ("STACK RESULT: %d out of %d", ss.count, ss.maximum); */
return ss.stack;
}
/* 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);
+
+ if (out_ji)
+ *out_ji = ji;
+
+ /* 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;
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, &ji, non_exception);
+
+ if (!res) {
if (mono_break_on_exc)
G_BREAKPOINT ();
mono_debugger_agent_handle_exception (obj, ctx, NULL);
+
+ if (mini_get_debug_options ()->suspend_on_unhandled) {
+ fprintf (stderr, "Unhandled exception, suspending...");
+ while (1)
+ ;
+ }
+
// FIXME: This runs managed code so it might cause another stack overflow when
// we are handling a stack overflow
mono_unhandled_exception (obj);
} else {
- mono_debugger_agent_handle_exception (obj, ctx, &ctx_cp);
+ //
+ // Treat exceptions that are "handled" by mono_runtime_invoke() as unhandled.
+ // See bug #669836.
+ //
+ if (ji && ji->method->wrapper_type == MONO_WRAPPER_RUNTIME_INVOKE)
+ mono_debugger_agent_handle_exception (obj, ctx, NULL);
+ else
+ mono_debugger_agent_handle_exception (obj, ctx, &ctx_cp);
}
}
- if (out_filter_idx)
- *out_filter_idx = -1;
if (out_ji)
*out_ji = NULL;
filter_idx = 0;
} else {
StackFrameInfo frame;
- unwind_res = mono_find_jit_info_ext (domain, jit_tls, NULL, ctx, &new_ctx, NULL, &lmf, &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;
}
if (!unwind_res) {
- if (!test_only) {
- *(mono_get_lmf_addr ()) = lmf;
+ *(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;
- }
+ jit_tls->abort_func (obj);
+ g_assert_not_reached ();
}
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 (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));
- }
- }
-
- if (ji->method->dynamic)
- has_dynamic_methods = TRUE;
+ //printf ("M: %s %d.\n", mono_method_full_name (ji->method, TRUE), frame_count);
- if (stack_overflow)
-#ifndef MONO_ARCH_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
+ 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];
else
ex_obj = obj;
- if ((ei->flags == MONO_EXCEPTION_CLAUSE_NONE) || (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER)) {
+ 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);
}
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 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
*/
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 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) {
* 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));
+ g_assert (ji == mini_jit_info_table_find (domain, MONO_CONTEXT_GET_IP (&jit_tls->handler_block_context), NULL));
if (!is_address_protected (ji, jit_tls->handler_block, ei->handler_start)) {
is_outside = TRUE;
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;
return 0;
}
- if (!test_only && is_address_protected (ji, ei, MONO_CONTEXT_GET_IP (ctx)) &&
+ 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 (!test_only && is_address_protected (ji, ei, MONO_CONTEXT_GET_IP (ctx)) &&
+ 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 (!test_only)
- mono_profiler_exception_method_leave (ji->method);
+
+ jit_tls->orig_ex_ctx_set = TRUE;
+ mono_profiler_exception_method_leave (ji->method);
+ jit_tls->orig_ex_ctx_set = FALSE;
*ctx = new_ctx;
}
* 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;
return FALSE;
}
+typedef struct {
+ FILE *stream;
+ MonoMethod *omethod;
+ int count;
+} PrintOverflowUserData;
+
+static gboolean
+print_overflow_stack_frame (MonoMethod *method, gint32 native_offset, gint32 il_offset, gboolean managed, gpointer data)
+{
+ PrintOverflowUserData *user_data = data;
+ FILE *stream = user_data->stream;
+ gchar *location;
+
+ if (method) {
+ if (user_data->count == 0) {
+ /* The first frame is in its prolog, so a line number cannot be computed */
+ user_data->count ++;
+ return FALSE;
+ }
+
+ /* If this is a one method overflow, skip the other instances */
+ if (method == user_data->omethod)
+ return FALSE;
+
+ location = mono_debug_print_stack_frame (method, native_offset, mono_domain_get ());
+ fprintf (stream, " %s\n", location);
+ g_free (location);
+
+ if (user_data->count == 1) {
+ fprintf (stream, " <...>\n");
+ user_data->omethod = method;
+ } else {
+ user_data->omethod = NULL;
+ }
+
+ user_data->count ++;
+ } else
+ fprintf (stream, " at <unknown> <0x%05x>\n", native_offset);
+
+ return FALSE;
+}
+
+void
+mono_handle_hard_stack_ovf (MonoJitTlsData *jit_tls, MonoJitInfo *ji, void *ctx, guint8* fault_addr)
+{
+ PrintOverflowUserData ud;
+ MonoContext mctx;
+
+ /* we don't do much now, but we can warn the user with a useful message */
+ fprintf (stderr, "Stack overflow: IP: %p, fault addr: %p\n", mono_arch_ip_from_context (ctx), fault_addr);
+
+#ifdef MONO_ARCH_HAVE_SIGCTX_TO_MONOCTX
+ mono_arch_sigctx_to_monoctx (ctx, &mctx);
+
+ fprintf (stderr, "Stacktrace:\n");
+
+ memset (&ud, 0, sizeof (ud));
+ ud.stream = stderr;
+
+ mono_jit_walk_stack_from_ctx (print_overflow_stack_frame, &mctx, MONO_UNWIND_LOOKUP_ACTUAL_METHOD, &ud);
+#else
+ if (ji && ji->method)
+ fprintf (stderr, "At %s\n", mono_method_full_name (ji->method, TRUE));
+ else
+ fprintf (stderr, "At <unmanaged>.\n");
+#endif
+
+ _exit (1);
+}
+
static gboolean
print_stack_frame (MonoMethod *method, gint32 native_offset, gint32 il_offset, gboolean managed, gpointer data)
{
else
mono_arch_sigctx_to_monoctx (sigctx, &ctx);
- mono_jit_walk_stack_from_ctx (print_stack_frame_to_string, &ctx, TRUE, text);
+ mono_jit_walk_stack_from_ctx (print_stack_frame_to_string, &ctx, MONO_UNWIND_LOOKUP_ALL, text);
#else
printf ("\t<Stack traces in thread dumps not supported on this platform>\n");
#endif
fprintf (stdout, "%s", text->str);
+
+#if PLATFORM_WIN32 && TARGET_WIN32 && _DEBUG
+ OutputDebugStringA(text->str);
+#endif
+
g_string_free (text, TRUE);
fflush (stdout);
}
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 (!jit_tls || jit_tls->handler_block_return_address)
return FALSE;
- mono_walk_stack (find_last_handler_block, domain, ctx, FALSE, NULL, NULL, &data);
+ mono_walk_stack (find_last_handler_block, domain, ctx, MONO_UNWIND_SIGNAL_SAFE, NULL, NULL, &data);
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)
#endif
+void
+mono_set_cast_details (MonoClass *from, MonoClass *to)
+{
+ MonoJitTlsData *jit_tls = NULL;
+
+ if (mini_get_debug_options ()->better_cast_details) {
+ jit_tls = TlsGetValue (mono_jit_tls_id);
+ jit_tls->class_cast_from = from;
+ jit_tls->class_cast_to = to;
+ }
+}
+
projects / mono.git / blobdiff