2 * mini-exceptions.c: generic exception support
5 * Dietmar Maurer (dietmar@ximian.com)
7 * (C) 2001 Ximian, Inc.
15 #include <mono/metadata/appdomain.h>
16 #include <mono/metadata/tabledefs.h>
17 #include <mono/metadata/threads.h>
18 #include <mono/metadata/debug-helpers.h>
19 #include <mono/metadata/exception.h>
20 #include <mono/metadata/gc-internal.h>
21 #include <mono/metadata/mono-debug.h>
25 #define IS_ON_SIGALTSTACK(jit_tls) ((jit_tls) && ((guint8*)&(jit_tls) > (guint8*)(jit_tls)->signal_stack) && ((guint8*)&(jit_tls) < ((guint8*)(jit_tls)->signal_stack + (jit_tls)->signal_stack_size)))
28 ves_icall_get_trace (MonoException *exc, gint32 skip, MonoBoolean need_file_info)
30 MonoDomain *domain = mono_domain_get ();
32 MonoArray *ta = exc->trace_ips;
36 /* Exception is not thrown yet */
37 return mono_array_new (domain, mono_defaults.stack_frame_class, 0);
40 len = mono_array_length (ta);
42 res = mono_array_new (domain, mono_defaults.stack_frame_class, len > skip ? len - skip : 0);
44 for (i = skip; i < len; i++) {
46 MonoStackFrame *sf = (MonoStackFrame *)mono_object_new (domain, mono_defaults.stack_frame_class);
47 gpointer ip = mono_array_get (ta, gpointer, i);
49 ji = mono_jit_info_table_find (domain, ip);
52 mono_array_set (res, gpointer, i, sf);
56 g_assert (ji != NULL);
58 sf->method = mono_method_get_object (domain, ji->method, NULL);
59 sf->native_offset = (char *)ip - (char *)ji->code_start;
61 sf->il_offset = mono_debug_il_offset_from_address (ji->method, sf->native_offset, domain);
66 filename = mono_debug_source_location_from_address (ji->method, sf->native_offset, &sf->line, domain);
68 sf->filename = filename? mono_string_new (domain, filename): NULL;
74 mono_array_set (res, gpointer, i, sf);
81 mono_jit_walk_stack (MonoStackWalk func, gpointer user_data) {
82 MonoDomain *domain = mono_domain_get ();
83 MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
84 MonoLMF *lmf = jit_tls->lmf;
86 gint native_offset, il_offset;
89 MonoContext ctx, new_ctx;
91 mono_arch_flush_register_windows ();
93 MONO_CONTEXT_SET_IP (&ctx, __builtin_return_address (0));
94 MONO_CONTEXT_SET_BP (&ctx, __builtin_frame_address (1));
96 while (MONO_CONTEXT_GET_BP (&ctx) < jit_tls->end_of_stack) {
98 ji = mono_arch_find_jit_info (domain, jit_tls, &rji, NULL, &ctx, &new_ctx, NULL, &lmf, &native_offset, &managed);
101 if (ji == (gpointer)-1)
104 il_offset = mono_debug_il_offset_from_address (ji->method, native_offset, domain);
106 if (func (ji->method, native_offset, il_offset, managed, user_data))
114 ves_icall_get_frame_info (gint32 skip, MonoBoolean need_file_info,
115 MonoReflectionMethod **method,
116 gint32 *iloffset, gint32 *native_offset,
117 MonoString **file, gint32 *line, gint32 *column)
119 MonoDomain *domain = mono_domain_get ();
120 MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
121 MonoLMF *lmf = jit_tls->lmf;
122 MonoJitInfo *ji, rji;
123 MonoContext ctx, new_ctx;
125 MONO_CONTEXT_SET_IP (&ctx, ves_icall_get_frame_info);
126 MONO_CONTEXT_SET_BP (&ctx, __builtin_frame_address (0));
131 ji = mono_arch_find_jit_info (domain, jit_tls, &rji, NULL, &ctx, &new_ctx, NULL, &lmf, native_offset, NULL);
135 if (!ji || ji == (gpointer)-1 || MONO_CONTEXT_GET_BP (&ctx) >= jit_tls->end_of_stack)
138 /* skip all wrappers ??*/
139 if (ji->method->wrapper_type == MONO_WRAPPER_RUNTIME_INVOKE ||
140 ji->method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK ||
141 ji->method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE)
148 *method = mono_method_get_object (domain, ji->method, NULL);
149 *iloffset = mono_debug_il_offset_from_address (ji->method, *native_offset, domain);
151 if (need_file_info) {
154 filename = mono_debug_source_location_from_address (ji->method, *native_offset, line, domain);
156 *file = filename? mono_string_new (domain, filename): NULL;
166 glist_to_array (GList *list)
168 MonoDomain *domain = mono_domain_get ();
175 len = g_list_length (list);
176 res = mono_array_new (domain, mono_defaults.int_class, len);
178 for (i = 0; list; list = list->next, i++)
179 mono_array_set (res, gpointer, i, list->data);
185 * mono_handle_exception:
186 * @ctx: saved processor state
187 * @obj: the exception object
188 * @test_only: only test if the exception is caught, but dont call handlers
192 mono_handle_exception (MonoContext *ctx, gpointer obj, gboolean test_only)
194 MonoDomain *domain = mono_domain_get ();
195 MonoJitInfo *ji, rji;
196 static int (*call_filter) (MonoContext *, gpointer) = NULL;
197 static void (*restore_context) (struct sigcontext *);
198 MonoJitTlsData *jit_tls = TlsGetValue (mono_jit_tls_id);
199 MonoLMF *lmf = jit_tls->lmf;
200 GList *trace_ips = NULL;
201 MonoException *mono_ex;
202 gboolean stack_overflow = FALSE;
203 MonoContext initial_ctx;
205 gboolean gc_disabled = FALSE;
206 MonoString *initial_stack_trace;
209 * This function might execute on an alternate signal stack, and Boehm GC
211 * Also, since the altstack is small, stack space intensive operations like
212 * JIT compilation should be avoided.
214 if (IS_ON_SIGALTSTACK (jit_tls)) {
216 * FIXME: disabling/enabling GC while already on a signal stack might
217 * not be safe either.
219 /* Have to reenable it later */
224 g_assert (ctx != NULL);
226 MonoException *ex = mono_get_exception_null_reference ();
227 ex->message = mono_string_new (domain, "Object reference not set to an instance of an object");
228 obj = (MonoObject *)ex;
232 * Allocate a new exception object instead of the preconstructed ones.
233 * We can't do this in sigsegv_signal_handler, since GC is not yet
236 if (obj == domain->stack_overflow_ex) {
237 obj = mono_get_exception_stack_overflow ();
239 else if (obj == domain->null_reference_ex) {
240 obj = mono_get_exception_null_reference ();
243 if (mono_object_isinst (obj, mono_defaults.exception_class)) {
244 mono_ex = (MonoException*)obj;
245 initial_stack_trace = mono_ex->stack_trace;
250 if (obj == domain->stack_overflow_ex)
251 stack_overflow = TRUE;
254 call_filter = mono_arch_get_call_filter ();
256 if (!restore_context)
257 restore_context = mono_arch_get_restore_context ();
259 g_assert (jit_tls->end_of_stack);
260 g_assert (jit_tls->abort_func);
263 MonoContext ctx_cp = *ctx;
264 if (mono_jit_trace_calls != NULL)
265 g_print ("EXCEPTION handling: %s\n", mono_object_class (obj)->name);
266 if (!mono_handle_exception (&ctx_cp, obj, TRUE)) {
267 if (mono_break_on_exc)
269 mono_unhandled_exception (obj);
274 memset (&rji, 0, sizeof (rji));
279 gboolean need_trace = FALSE;
282 if (test_only && (frame_count < 1000))
285 ji = mono_arch_find_jit_info (domain, jit_tls, &rji, &rji, ctx, &new_ctx,
286 need_trace ? &trace : NULL, &lmf, NULL, NULL);
288 g_warning ("Exception inside function without unwind info");
289 g_assert_not_reached ();
292 if (ji != (gpointer)-1) {
294 //printf ("M: %s %p %p %d.\n", mono_method_full_name (ji->method, TRUE), jit_tls->end_of_stack, ctx->ebp, count);
296 if (test_only && ji->method->wrapper_type != MONO_WRAPPER_RUNTIME_INVOKE && mono_ex) {
300 * Avoid overwriting the stack trace if the exception is
301 * rethrown. Also avoid giant stack traces during a stack
304 if (!initial_stack_trace && (frame_count < 1000)) {
305 trace_ips = g_list_append (trace_ips, MONO_CONTEXT_GET_IP (ctx));
307 if (!mono_ex->stack_trace)
308 strace = g_strdup ("");
310 strace = mono_string_to_utf8 (mono_ex->stack_trace);
312 tmp = g_strdup_printf ("%s%s\n", strace, trace);
315 mono_ex->stack_trace = mono_string_new (domain, tmp);
322 free_stack = (guint8*)(MONO_CONTEXT_GET_BP (ctx)) - (guint8*)(MONO_CONTEXT_GET_BP (&initial_ctx));
324 free_stack = 0xffffff;
327 * During stack overflow, wait till the unwinding frees some stack
328 * space before running handlers/finalizers.
330 if ((free_stack > (64 * 1024)) && ji->num_clauses) {
333 g_assert (ji->clauses);
335 for (i = 0; i < ji->num_clauses; i++) {
336 MonoJitExceptionInfo *ei = &ji->clauses [i];
338 if (ei->try_start <= MONO_CONTEXT_GET_IP (ctx) &&
339 MONO_CONTEXT_GET_IP (ctx) <= ei->try_end) {
342 if ((ei->flags == MONO_EXCEPTION_CLAUSE_NONE) || (ei->flags == MONO_EXCEPTION_CLAUSE_FILTER)) {
343 /* store the exception object int cfg->excvar */
344 g_assert (ji->exvar_offset);
345 *((gpointer *)((char *)MONO_CONTEXT_GET_BP (ctx) + ji->exvar_offset)) = obj;
348 if ((ei->flags == MONO_EXCEPTION_CLAUSE_NONE &&
349 mono_object_isinst (obj, mono_class_get (ji->method->klass->image, ei->data.token))) ||
350 ((ei->flags == MONO_EXCEPTION_CLAUSE_FILTER &&
351 call_filter (ctx, ei->data.filter)))) {
354 mono_ex->trace_ips = glist_to_array (trace_ips);
355 g_list_free (trace_ips);
362 if (mono_jit_trace_calls != NULL && mono_trace_eval (ji->method))
363 g_print ("EXCEPTION: catch found at clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
364 MONO_CONTEXT_SET_IP (ctx, ei->handler_start);
372 if (!test_only && ei->try_start <= MONO_CONTEXT_GET_IP (ctx) &&
373 MONO_CONTEXT_GET_IP (ctx) < ei->try_end &&
374 (ei->flags & MONO_EXCEPTION_CLAUSE_FINALLY)) {
375 if (mono_jit_trace_calls != NULL && mono_trace_eval (ji->method))
376 g_print ("EXCEPTION: finally clause %d of %s\n", i, mono_method_full_name (ji->method, TRUE));
377 call_filter (ctx, ei->handler_start);
389 if ((ji == (gpointer)-1) || MONO_CONTEXT_GET_BP (ctx) >= jit_tls->end_of_stack) {
396 if (IS_ON_SIGALTSTACK (jit_tls)) {
397 /* Switch back to normal stack */
399 /* Free up some stack space */
400 MONO_CONTEXT_SET_SP (&initial_ctx, (guint32)(MONO_CONTEXT_GET_SP (&initial_ctx)) + (64 * 1024));
401 MONO_CONTEXT_SET_IP (&initial_ctx, (unsigned int)jit_tls->abort_func);
402 restore_context (&initial_ctx);
405 jit_tls->abort_func (obj);
406 g_assert_not_reached ();
409 mono_ex->trace_ips = glist_to_array (trace_ips);
410 g_list_free (trace_ips);
416 g_assert_not_reached ();