X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fbacktrace.c;h=b4503ad8b37a08764724b75a479f6f2b054de71b;hb=077b294463eb6819c0eba67bb8ce71ec66d61ba8;hp=1b300ba5849849b7915c9ba2f18da9c0f30bf57f;hpb=1419c1d2d50f039be46a8667351b7738ac4965e4;p=sbcl.git diff --git a/src/runtime/backtrace.c b/src/runtime/backtrace.c index 1b300ba..b4503ad 100644 --- a/src/runtime/backtrace.c +++ b/src/runtime/backtrace.c @@ -15,43 +15,54 @@ #include #include -#include "runtime.h" #include "sbcl.h" +#include "runtime.h" #include "globals.h" #include "os.h" #include "interrupt.h" #include "lispregs.h" #ifdef LISP_FEATURE_GENCGC +#include +#include "arch.h" #include "gencgc-alloc-region.h" +#include "genesis/compiled-debug-fun.h" +#include "genesis/compiled-debug-info.h" +#include "genesis/package.h" #endif #include "genesis/static-symbols.h" #include "genesis/primitive-objects.h" #include "thread.h" -#ifndef __i386__ +#ifdef LISP_FEATURE_OS_PROVIDES_DLADDR +/* __USE_GNU needed if we want dladdr() and Dl_Info from glibc. */ +#define __USE_GNU +#include "dlfcn.h" +#endif + +#if !(defined(LISP_FEATURE_X86) || defined(LISP_FEATURE_X86_64)) /* KLUDGE: Sigh ... I know what the call frame looks like and it had * better not change. */ struct call_frame { -#ifndef alpha - struct call_frame *old_cont; +#ifndef LISP_FEATURE_ALPHA + struct call_frame *old_cont; #else u32 old_cont; #endif - lispobj saved_lra; + lispobj saved_lra; lispobj code; - lispobj other_state[5]; + lispobj other_state[5]; }; struct call_info { -#ifndef alpha +#ifndef LISP_FEATURE_ALPHA struct call_frame *frame; #else u32 frame; #endif int interrupted; -#ifndef alpha +#ifndef LISP_FEATURE_ALPHA struct code *code; #else u32 code; @@ -79,7 +90,6 @@ code_pointer(lispobj object) break; case RETURN_PC_HEADER_WIDETAG: case SIMPLE_FUN_HEADER_WIDETAG: - case CLOSURE_FUN_HEADER_WIDETAG: len = HEADER_LENGTH(header); if (len == 0) headerp = NULL; @@ -98,7 +108,7 @@ cs_valid_pointer_p(struct call_frame *pointer) { struct thread *thread=arch_os_get_current_thread(); return (((char *) thread->control_stack_start <= (char *) pointer) && - ((char *) pointer < (char *) current_control_stack_pointer)); + ((char *) pointer < (char *) current_control_stack_pointer)); } static void @@ -120,27 +130,28 @@ call_info_from_context(struct call_info *info, os_context_t *context) info->interrupted = 1; if (lowtag_of(*os_context_register_addr(context, reg_CODE)) - == FUN_POINTER_LOWTAG) { + == FUN_POINTER_LOWTAG) { /* We tried to call a function, but crapped out before $CODE could * be fixed up. Probably an undefined function. */ info->frame = - (struct call_frame *)(*os_context_register_addr(context, - reg_OCFP)); + (struct call_frame *)(unsigned long) + (*os_context_register_addr(context, reg_OCFP)); info->lra = (lispobj)(*os_context_register_addr(context, reg_LRA)); info->code = code_pointer(info->lra); pc = (unsigned long)native_pointer(info->lra); } else { info->frame = - (struct call_frame *)(*os_context_register_addr(context, reg_CFP)); + (struct call_frame *)(unsigned long) + (*os_context_register_addr(context, reg_CFP)); info->code = - code_pointer(*os_context_register_addr(context, reg_CODE)); + code_pointer(*os_context_register_addr(context, reg_CODE)); info->lra = NIL; pc = *os_context_pc_addr(context); } if (info->code != NULL) info->pc = pc - (unsigned long) info->code - -#ifndef alpha +#ifndef LISP_FEATURE_ALPHA (HEADER_LENGTH(info->code->header) * sizeof(lispobj)); #else (HEADER_LENGTH(((struct code *)info->code)->header) * sizeof(lispobj)); @@ -154,10 +165,10 @@ previous_info(struct call_info *info) { struct call_frame *this_frame; struct thread *thread=arch_os_get_current_thread(); - int free; + int free_ici; if (!cs_valid_pointer_p(info->frame)) { - printf("Bogus callee value (0x%08x).\n", (unsigned long)info->frame); + printf("Bogus callee value (0x%08lx).\n", (unsigned long)info->frame); return 0; } @@ -171,13 +182,13 @@ previous_info(struct call_info *info) if (info->lra == NIL) { /* We were interrupted. Find the correct signal context. */ - free = SymbolValue(FREE_INTERRUPT_CONTEXT_INDEX,thread)>>2; - while (free-- > 0) { - os_context_t *context = - thread->interrupt_contexts[free]; - if ((struct call_frame *)(*os_context_register_addr(context, - reg_CFP)) - == info->frame) { + free_ici = fixnum_value(SymbolValue(FREE_INTERRUPT_CONTEXT_INDEX,thread)); + while (free_ici-- > 0) { + os_context_t *context = + thread->interrupt_contexts[free_ici]; + if ((struct call_frame *)(unsigned long) + (*os_context_register_addr(context, reg_CFP)) + == info->frame) { call_info_from_context(info, context); break; } @@ -188,7 +199,7 @@ previous_info(struct call_info *info) if (info->code != NULL) info->pc = (unsigned long)native_pointer(info->lra) - (unsigned long)info->code - -#ifndef alpha +#ifndef LISP_FEATURE_ALPHA (HEADER_LENGTH(info->code->header) * sizeof(lispobj)); #else (HEADER_LENGTH(((struct code *)info->code)->header) * sizeof(lispobj)); @@ -204,19 +215,19 @@ void backtrace(int nframes) { struct call_info info; - + call_info_from_lisp_state(&info); do { - printf("entry_points; #else function = ((struct code *)info.code)->entry_points; @@ -239,12 +250,13 @@ backtrace(int nframes) symbol = (struct symbol *) object; object = (lispobj *) native_pointer(symbol->name); } - if (widetag_of(*object) == SIMPLE_STRING_WIDETAG) { + if (widetag_of(*object) == SIMPLE_BASE_STRING_WIDETAG) { struct vector *string; string = (struct vector *) object; printf("%s, ", (char *) string->data); } else + /* FIXME: broken from (VECTOR NIL) */ printf("(Not simple string??\?), "); } else printf("(Not other pointer??\?), "); @@ -257,7 +269,7 @@ backtrace(int nframes) printf("CODE: ???, "); if (info.lra != NIL) - printf("LRA: 0x%08x, ", (unsigned long)info.lra); + printf("LRA: 0x%08lx, ", (unsigned long)info.lra); else printf(", "); @@ -271,10 +283,284 @@ backtrace(int nframes) #else +static int +stack_pointer_p (void *p) +{ + /* we are using sizeof(long) here, because that is the right value on both + * x86 and x86-64. (But note that false positives would not cause much harm + * given the heuristical nature of x86_call_context.) */ + unsigned long stack_alignment = sizeof(long); + return (p < (void *) arch_os_get_current_thread()->control_stack_end + && p > (void *) &p + && (((unsigned long) p) & (stack_alignment-1)) == 0); +} + +static int +ra_pointer_p (void *ra) +{ + /* the check against 4096 is still a mystery to everyone interviewed about + * it, but recent changes to sb-sprof seem to suggest that such values + * do occur sometimes. */ + return ((unsigned long) ra) > 4096 && !stack_pointer_p (ra); +} + +static int +x86_call_context (void *fp, void **ra, void **ocfp) +{ + void *lisp_ocfp; + void *lisp_ra; + void *c_ocfp; + void *c_ra; + int lisp_valid_p, c_valid_p; + + if (!stack_pointer_p(fp)) + return 0; + + c_ocfp = *((void **) fp); + c_ra = *((void **) fp + 1); + lisp_ocfp = *((void **) fp - 1); + lisp_ra = *((void **) fp - 2); + + lisp_valid_p = (lisp_ocfp > fp + && stack_pointer_p(lisp_ocfp) + && ra_pointer_p(lisp_ra)); + c_valid_p = (c_ocfp > fp + && stack_pointer_p(c_ocfp) + && ra_pointer_p(c_ra)); + + if (lisp_valid_p && c_valid_p) { + void *lisp_path_fp; + void *c_path_fp; + void *dummy; + + int lisp_path_p = x86_call_context(lisp_ocfp, &lisp_path_fp, &dummy); + int c_path_p = x86_call_context(c_ocfp, &c_path_fp, &dummy); + + if (lisp_path_p && c_path_p) { +#if defined __FreeBSD__ && __FreeBSD_version > 400000 + if (lisp_ocfp > c_ocfp) + *ra = lisp_ra, *ocfp = lisp_ocfp; + else + *ra = c_ra, *ocfp = c_ocfp; +#else + *ra = lisp_ra, *ocfp = lisp_ocfp; +#endif + } + else if (lisp_path_p) + *ra = lisp_ra, *ocfp = lisp_ocfp; + else if (c_path_p) + *ra = c_ra, *ocfp = c_ocfp; + else + return 0; + } + else if (lisp_valid_p) + *ra = lisp_ra, *ocfp = lisp_ocfp; + else if (c_valid_p) + *ra = c_ra, *ocfp = c_ocfp; + else + return 0; + + return 1; +} + +struct compiled_debug_fun * +debug_function_from_pc (struct code* code, void *pc) +{ + unsigned long code_header_len = sizeof(lispobj) * HeaderValue(code->header); + unsigned long offset + = (unsigned long) pc - (unsigned long) code - code_header_len; + struct compiled_debug_fun *df; + struct compiled_debug_info *di; + struct vector *v; + int i, len; + + if (lowtag_of(code->debug_info) != INSTANCE_POINTER_LOWTAG) + return 0; + + di = (struct compiled_debug_info *) native_pointer(code->debug_info); + v = (struct vector *) native_pointer(di->fun_map); + len = fixnum_value(v->length); + df = (struct compiled_debug_fun *) native_pointer(v->data[0]); + + if (len == 1) + return df; + + for (i = 1;; i += 2) { + unsigned next_pc; + + if (i == len) + return ((struct compiled_debug_fun *) native_pointer(v->data[i - 1])); + + if (offset >= fixnum_value(df->elsewhere_pc)) { + struct compiled_debug_fun *p + = ((struct compiled_debug_fun *) native_pointer(v->data[i + 1])); + next_pc = fixnum_value(p->elsewhere_pc); + } else + next_pc = fixnum_value(v->data[i]); + + if (offset < next_pc) + return ((struct compiled_debug_fun *) native_pointer(v->data[i - 1])); + } + + return NULL; +} + +static void +sbcl_putwc(wchar_t c, FILE *file) +{ +#ifdef LISP_FEATURE_OS_PROVIDES_PUTWC + putwc(c, file); +#else + if (c < 256) { + fputc(c, file); + } else { + fputc('?', file); + } +#endif +} + +static void +print_string (lispobj *object) +{ + int tag = widetag_of(*object); + struct vector *vector = (struct vector *) object; + +#define doit(TYPE) \ + do { \ + int i; \ + int n = fixnum_value(vector->length); \ + TYPE *data = (TYPE *) vector->data; \ + for (i = 0; i < n; i++) { \ + wchar_t c = (wchar_t) data[i]; \ + if (c == '\\' || c == '"') \ + putchar('\\'); \ + sbcl_putwc(c, stdout); \ + } \ + } while (0) + + switch (tag) { + case SIMPLE_BASE_STRING_WIDETAG: + doit(unsigned char); + break; +#ifdef SIMPLE_CHARACTER_STRING_WIDETAG + case SIMPLE_CHARACTER_STRING_WIDETAG: + doit(unsigned int); + break; +#endif + default: + printf("", tag); + } +#undef doit +} + +static void +print_entry_name (lispobj name) +{ + if (lowtag_of (name) == LIST_POINTER_LOWTAG) { + putchar('('); + while (name != NIL) { + struct cons *cons = (struct cons *) native_pointer(name); + print_entry_name(cons->car); + name = cons->cdr; + if (name != NIL) + putchar(' '); + } + putchar(')'); + } else if (lowtag_of(name) == OTHER_POINTER_LOWTAG) { + lispobj *object = (lispobj *) native_pointer(name); + if (widetag_of(*object) == SYMBOL_HEADER_WIDETAG) { + struct symbol *symbol = (struct symbol *) object; + if (symbol->package != NIL) { + struct package *pkg + = (struct package *) native_pointer(symbol->package); + lispobj pkg_name = pkg->_name; + print_string(native_pointer(pkg_name)); + fputs("::", stdout); + } + print_string(native_pointer(symbol->name)); + } else if (widetag_of(*object) == SIMPLE_BASE_STRING_WIDETAG) { + putchar('"'); + print_string(object); + putchar('"'); +#ifdef SIMPLE_CHARACTER_STRING_WIDETAG + } else if (widetag_of(*object) == SIMPLE_CHARACTER_STRING_WIDETAG) { + putchar('"'); + print_string(object); + putchar('"'); +#endif + } else { + printf("", (int) widetag_of(*object)); + } + } else { + printf("", (int) lowtag_of(name)); + } +} + +static void +print_entry_points (struct code *code) +{ + lispobj function = code->entry_points; + + while (function != NIL) { + struct simple_fun *header = (struct simple_fun *) native_pointer(function); + print_entry_name(header->name); + + function = header->next; + if (function != NIL) + printf (", "); + } +} + void backtrace(int nframes) { - printf("Can't backtrace on this hardware platform.\n"); + void *fp; + int i; + +#if defined(LISP_FEATURE_X86) + asm("movl %%ebp,%0" : "=g" (fp)); +#elif defined (LISP_FEATURE_X86_64) + asm("movq %%rbp,%0" : "=g" (fp)); +#else +#error "How did we get here?" +#endif + + for (i = 0; i < nframes; ++i) { + lispobj *p; + void *ra; + void *next_fp; + + if (!x86_call_context(fp, &ra, &next_fp)) + break; + + printf("%4d: ", i); + + p = (lispobj *) component_ptr_from_pc((lispobj *) ra); + if (p) { + struct code *cp = (struct code *) p; + struct compiled_debug_fun *df = debug_function_from_pc(cp, ra); + if (df) + print_entry_name(df->name); + else + print_entry_points(cp); + } else { +#ifdef LISP_FEATURE_OS_PROVIDES_DLADDR + Dl_info info; + if (dladdr(ra, &info)) { + printf("Foreign function %s, fp = 0x%lx, ra = 0x%lx", + info.dli_sname, + (unsigned long) next_fp, + (unsigned long) ra); + } else +#endif + printf("Foreign fp = 0x%lx, ra = 0x%lx", + (unsigned long) next_fp, + (unsigned long) ra); + } + + putchar('\n'); + fp = next_fp; + } } #endif