X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9189fe94c14ef9e31142d1603a1979ea7e731a0a..3c0619f4774180c94441d53b01f34257ad0853fa:/src/xbt/ex.c diff --git a/src/xbt/ex.c b/src/xbt/ex.c index 1f0c064e4a..8d1cba1bef 100644 --- a/src/xbt/ex.c +++ b/src/xbt/ex.c @@ -31,9 +31,13 @@ #include #include -#include +#include "portable.h" /* execinfo when available */ #include "xbt/ex.h" +#include "xbt/module.h" /* xbt_binary_name */ +#include "xbt/ex_interface.h" + +#include "gras/Virtu/virtu_interface.h" /* gras_os_myname */ /* default __ex_ctx callback function */ ex_ctx_t *__xbt_ex_ctx_default(void) { @@ -42,26 +46,101 @@ ex_ctx_t *__xbt_ex_ctx_default(void) { return &ctx; } -/* default __ex_terminate callback function */ -void __xbt_ex_terminate_default(xbt_ex_t *e) { - char **strings; - size_t i; +void xbt_ex_setup_backtrace(xbt_ex_t *e) { +#if defined(HAVE_EXECINFO_H) && defined(HAVE_POPEN) && defined(ADDR2LINE) + int i; + /* to get the backtrace from the libc */ + char **backtrace = backtrace_symbols (e->bt, e->used); + + /* To build the commandline of addr2line */ + char *cmd = xbt_new(char,strlen(ADDR2LINE)+strlen(xbt_binary_name)+20*e->used); + char *curr=cmd; + + /* to extract the addresses from the backtrace */ + char **addrs=xbt_new(char*,e->used); + char buff[256],*p; + + /* To read the output of addr2line */ + FILE *pipe; + char line_func[1024],line_pos[1024]; + + /* build the commandline */ + curr += sprintf(curr,"%s -f -e %s ",ADDR2LINE,xbt_binary_name); + for (i=0; iused;i++) { + /* retrieve this address */ + snprintf(buff,256,"%s",strchr(backtrace[i],'[')+1); + p=strchr(buff,']'); + *p='\0'; + addrs[i]=bprintf("%s",buff); + + /* Add it to the command line args */ + curr+=sprintf(curr,"%s ",addrs[i]); + } + + /* parse the output and build a new backtrace */ + e->bt_strings = xbt_new(char*,e->used); + + pipe = popen(cmd, "r"); + // xbt_assert(pipe);//,"Cannot fork addr2line to display the backtrace"); + for (i=0; iused; i++) { + fgets(line_func,1024,pipe); + line_func[strlen(line_func)-1]='\0'; + fgets(line_pos,1024,pipe); + line_pos[strlen(line_pos)-1]='\0'; + + if (strcmp("??",line_func)) { + e->bt_strings[i] = bprintf("** At %s: %s (%s)", addrs[i], line_func,line_pos); + } else { + char *p=bprintf("%s",backtrace[i]); + char *pos=strrchr(p,' '); + *pos = '\0'; + e->bt_strings[i] = bprintf("** At %s: ?? (%s)", addrs[i], p); + free(p); + } + free(addrs[i]); + } + free(addrs); + free(backtrace); + free(cmd); +#endif +} + +/** @brief shows an exception content and the associated stack if available */ +void xbt_ex_display(xbt_ex_t *e) { fprintf(stderr, - "** SimGrid: UNCAUGHT EXCEPTION: category: %s; value: %d\n" + "** SimGrid: UNCAUGHT EXCEPTION on %s: category: %s; value: %d\n" "** %s\n" - "** Thrown by %s%s%s at %s:%d:%s\n", + "** Thrown by %s%s%s", + gras_os_myname(), xbt_ex_catname(e->category), e->value, e->msg, - e->procname, (e->host?"@":""),(e->host?e->host:"localhost"), + e->procname, (e->host?"@":""),(e->host?e->host:"")); + + if (!e->remote && !e->bt_strings) + xbt_ex_setup_backtrace(e); + +#if defined(HAVE_EXECINFO_H) && defined(HAVE_POPEN) && defined(ADDR2LINE) + /* We have everything to build neat backtraces */ + { + int i; + + fprintf(stderr,"\n"); + for (i=0; iused; i++) + fprintf(stderr,"%s\n",e->bt_strings[i]); + + } +#else + fprintf(stderr," at %s:%d:%s (no backtrace available on that arch)\n", e->file,e->line,e->func); +#endif + xbt_ex_free(e); +} - fprintf(stderr,"** Backtrace:\n"); - strings = backtrace_symbols (e->bt, e->used); - for (i = 0; i < e->used; i++) - printf (" %s\n", strings[i]); +/* default __ex_terminate callback function */ +void __xbt_ex_terminate_default(xbt_ex_t *e) { + xbt_ex_display(e); - free (strings); abort(); } @@ -69,20 +148,234 @@ void __xbt_ex_terminate_default(xbt_ex_t *e) { ex_ctx_cb_t __xbt_ex_ctx = &__xbt_ex_ctx_default; ex_term_cb_t __xbt_ex_terminate = &__xbt_ex_terminate_default; -void xbt_ex_free(xbt_ex_t e) { - free(e.msg); +void xbt_ex_free(xbt_ex_t *e) { + int i; + + if (e->msg) free(e->msg); + if (e->remote) { + free(e->procname); + free(e->file); + free(e->func); + free(e->host); + } + + if (e->bt_strings) { + for (i=0; iused; i++) + free((char*)e->bt_strings[i]); + free((char **)e->bt_strings); + } + memset(e,0,sizeof(xbt_ex_t)); } /** \brief returns a short name for the given exception category */ const char * xbt_ex_catname(xbt_errcat_t cat) { switch (cat) { - case unknown_error: return "unknown_err"; - case arg_error: return "invalid_arg"; - case mismatch_error: return "mismatch"; - case system_error: return "system_err"; - case network_error: return "network_err"; - case timeout_error: return "timeout"; - case thread_error: return "thread_err"; - default: return "INVALID_ERR"; + case unknown_error: return "unknown_err"; + case arg_error: return "invalid_arg"; + case mismatch_error: return "mismatch"; + case not_found_error: return "not found"; + case system_error: return "system_err"; + case network_error: return "network_err"; + case timeout_error: return "timeout"; + case thread_error: return "thread_err"; + default: return "INVALID_ERR"; + } +} + +#ifndef HAVE_EXECINFO_H +/* dummy implementation. We won't use the result, but ex.h needs it to be defined */ +int backtrace (void **__array, int __size) { + return 0; +} + +#endif + +#ifdef SIMGRID_TEST +#include "xbt/ex.h" + +XBT_TEST_SUITE("xbt_ex","Exception Handling"); + +XBT_TEST_UNIT("controlflow",test_controlflow, "basic nested control flow") { + xbt_ex_t ex; + volatile int n=1; + + xbt_test_add0("basic nested control flow"); + + TRY { + if (n != 1) + xbt_test_fail1("M1: n=%d (!= 1)", n); + n++; + TRY { + if (n != 2) + xbt_test_fail1("M2: n=%d (!= 2)", n); + n++; + THROW0(unknown_error,0,"something"); + } CATCH (ex) { + if (n != 3) + xbt_test_fail1("M3: n=%d (!= 3)", n); + n++; + xbt_ex_free(&ex); + } + n++; + TRY { + if (n != 5) + xbt_test_fail1("M2: n=%d (!= 5)", n); + n++; + THROW0(unknown_error,0,"something"); + } CATCH (ex) { + if (n != 6) + xbt_test_fail1("M3: n=%d (!= 6)", n); + n++; + RETHROW; + n++; + } + xbt_test_fail1("MX: n=%d (shouldn't reach this point)", n); + } + CATCH(ex) { + if (n != 7) + xbt_test_fail1("M4: n=%d (!= 7)", n); + n++; + xbt_ex_free(&ex); + } + if (n != 8) + xbt_test_fail1("M5: n=%d (!= 8)", n); +} + +XBT_TEST_UNIT("value",test_value,"exception value passing") { + xbt_ex_t ex; + + TRY { + THROW0(unknown_error, 2, "toto"); + } CATCH(ex) { + xbt_test_add0("exception value passing"); + if (ex.category != unknown_error) + xbt_test_fail1("category=%d (!= 1)", ex.category); + if (ex.value != 2) + xbt_test_fail1("value=%d (!= 2)", ex.value); + if (strcmp(ex.msg,"toto")) + xbt_test_fail1("message=%s (!= toto)", ex.msg); + xbt_ex_free(&ex); + } +} + +XBT_TEST_UNIT("variables",test_variables,"variable value preservation") { + xbt_ex_t ex; + int r1, r2; + volatile int v1, v2; + + r1 = r2 = v1 = v2 = 1234; + TRY { + r2 = 5678; + v2 = 5678; + THROW0(unknown_error, 0, "toto"); + } CATCH(ex) { + xbt_test_add0("variable preservation"); + if (r1 != 1234) + xbt_test_fail1("r1=%d (!= 1234)", r1); + if (v1 != 1234) + xbt_test_fail1("v1=%d (!= 1234)", v1); + /* r2 is allowed to be destroyed because not volatile */ + if (v2 != 5678) + xbt_test_fail1("v2=%d (!= 5678)", v2); + xbt_ex_free(&ex); + } +} + +XBT_TEST_UNIT("cleanup",test_cleanup,"cleanup handling") { + xbt_ex_t ex; + volatile int v1; + int c; + + xbt_test_add0("cleanup handling"); + + v1 = 1234; + c = 0; + TRY { + v1 = 5678; + THROW0(1, 2, "blah"); + } CLEANUP { + if (v1 != 5678) + xbt_test_fail1("v1 = %d (!= 5678)", v1); + c = 1; + } CATCH(ex) { + if (v1 != 5678) + xbt_test_fail1("v1 = %d (!= 5678)", v1); + if (!(ex.category == 1 && ex.value == 2 && !strcmp(ex.msg,"blah"))) + xbt_test_fail0("unexpected exception contents"); + xbt_ex_free(&ex); + } + if (!c) + xbt_test_fail0("xbt_ex_free not executed"); +} + + +/* + * The following is the example included in the documentation. It's a good + * idea to check its syntax even if we don't try to run it. + * And actually, it allows to put comments in the code despite doxygen. + */ +static char *mallocex(int size) { + return NULL; +} +#define SMALLAMOUNT 10 +#define TOOBIG 100000000 + +#if 0 /* this contains syntax errors, actually */ +static void bad_example(void) { + struct {char*first;} *globalcontext; + ex_t ex; + + /* BAD_EXAMPLE */ + TRY { + char *cp1, *cp2, *cp3; + + cp1 = mallocex(SMALLAMOUNT); + globalcontext->first = cp1; + cp2 = mallocex(TOOBIG); + cp3 = mallocex(SMALLAMOUNT); + strcpy(cp1, "foo"); + strcpy(cp2, "bar"); + } CLEANUP { + if (cp3 != NULL) free(cp3); + if (cp2 != NULL) free(cp2); + if (cp1 != NULL) free(cp1); + } CATCH(ex) { + printf("cp3=%s", cp3); + RETHROW; + } + /* end_of_bad_example */ +} +#endif + +static void good_example(void) { + struct {char*first;} *globalcontext; + xbt_ex_t ex; + + /* GOOD_EXAMPLE */ + { /*01*/ + char * volatile /*03*/ cp1 = NULL /*02*/; + char * volatile /*03*/ cp2 = NULL /*02*/; + char * volatile /*03*/ cp3 = NULL /*02*/; + TRY { + cp1 = mallocex(SMALLAMOUNT); + globalcontext->first = cp1; + cp1 = NULL /*05 give away*/; + cp2 = mallocex(TOOBIG); + cp3 = mallocex(SMALLAMOUNT); + strcpy(cp1, "foo"); + strcpy(cp2, "bar"); + } CLEANUP { /*04*/ + printf("cp3=%s", cp3 == NULL /*02*/ ? "" : cp3); + if (cp3 != NULL) + free(cp3); + if (cp2 != NULL) + free(cp2); + /*05 cp1 was given away */ + } CATCH(ex) { + /*05 global context untouched */ + RETHROW; + } } + /* end_of_good_example */ } +#endif /* SIMGRID_TEST */