Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Break the API once again so that we can reset the struct in this function (and not...
[simgrid.git] / include / xbt / ex.h
index 9a457b9..597ce19 100644 (file)
@@ -32,8 +32,8 @@
 #ifndef __XBT_EX_H__
 #define __XBT_EX_H__
 
-#include <xbt/misc.h>
 #include <xbt/sysdep.h>
+#include <xbt/misc.h>
 
 /* do not include execinfo.h directly since it's not always available. 
    Instead, copy the parts we need (and fake when it's not there) */
@@ -43,6 +43,33 @@ extern int backtrace (void **__array, int __size);
 #include <errno.h>
 #include <stdio.h>
 
+
+/*-*-* Emergency debuging: define this when the exceptions get crazy *-*-*/
+#undef __EX_MAYDAY
+
+#ifdef __EX_MAYDAY
+int gras_os_getpid(void);
+#  define MAYDAY_SAVE(m)    printf("%d %s:%d save %p\n",                \
+                                   gras_os_getpid(),__FILE__,__LINE__,  \
+                                   (m)->jb                              \
+                                  ),
+#  define MAYDAY_RESTORE(m) printf("%d %s:%d restore %p\n",             \
+                                   gras_os_getpid(),__FILE__,__LINE__,  \
+                                   (m)->jb                              \
+                                  ),
+#  define MAYDAY_CATCH(e)   printf("%d %s:%d Catched '%s'\n",           \
+                                   gras_os_getpid(),__FILE__,__LINE__,  \
+                                   e.msg                                \
+                                 ),
+#else
+#  define MAYDAY_SAVE(m)
+#  define MAYDAY_RESTORE(m)
+#  define MAYDAY_CATCH(e)
+#endif
+
+/*-*-* end of debugging stuff *-*-*/
+
+
 /* the machine context */
 #if defined(__EX_MCTX_MCSC__)
 #include <ucontext.h>            /* POSIX.1 ucontext(3) */
@@ -58,24 +85,20 @@ extern int backtrace (void **__array, int __size);
 #define __ex_mctx_restored(mctx) /* noop */
 #define __ex_mctx_restore(mctx)  (void)siglongjmp((mctx)->jb, 1)
 
-#elif defined(__EX_MCTX_SJLJ__) || !defined(__EX_MCTX_CUSTOM__)
+#elif defined(__EX_MCTX_SJLJ__) || !defined(__EX_MCTX_CUSTOM__) || defined(__EX_MAYDAY)
 #include <setjmp.h>              /* ISO-C jmp_buf(3) */
 #define __ex_mctx_struct         jmp_buf jb;
-#define __ex_mctx_save(mctx)     (setjmp((mctx)->jb) == 0)
+#define __ex_mctx_save(mctx)     ( MAYDAY_SAVE(mctx) setjmp((mctx)->jb) == 0)
 #define __ex_mctx_restored(mctx) /* noop */
-#define __ex_mctx_restore(mctx)  (void)longjmp((mctx)->jb, 1)
+#define __ex_mctx_restore(mctx)  ( MAYDAY_RESTORE(mctx) (void)longjmp((mctx)->jb, 1))
 #endif
 
 /* declare the machine context type */
 typedef struct { __ex_mctx_struct } __ex_mctx_t;
+
 /** @addtogroup XBT_ex
  *  @brief A set of macros providing exception a la C++ in ANSI C (grounding feature)
  *
- * <center><table><tr><td><b>Top</b>    <td> [\ref index]::[\ref XBT_API]
- *                <tr><td><b>Prev</b>   <td> [\ref XBT_syscall]
- *                <tr><td><b>Next</b>   <td> [\ref XBT_log]            </table></center>
- *
  * This module is a small ISO-C++ style exception handling library
  * for use in the ISO-C language. It allows you to use the paradigm 
  * of throwing and catching exceptions in order to reduce the amount
@@ -92,12 +115,16 @@ typedef struct { __ex_mctx_struct } __ex_mctx_t;
  * These features are brought to you by a modified version of the libex 
  * library, one of the numerous masterpiece of Ralf S. Engelschall.
  *
+ * \htmlonly <div class="toc">\endhtmlonly
+ *
  * @section XBT_ex_toc TABLE OF CONTENTS
  *
  *  - \ref XBT_ex_intro
  *  - \ref XBT_ex_base
  *  - \ref XBT_ex_pitfalls
  *
+ * \htmlonly </div> \endhtmlonly
+ *
  * @section XBT_ex_intro DESCRIPTION
  * 
  * In SimGrid, an exception is a triple <\a msg , \a category , \a value> 
@@ -139,9 +166,13 @@ typedef struct { __ex_mctx_struct } __ex_mctx_t;
  *    CATCH clauses.
  *  - it is possible to nest TRY clauses.
  *
- * The TRY block is a regular ISO-C language statement block, but it is not
+ * The TRY block is a regular ISO-C language statement block, but
+ * 
+ * <center><b>it is not
  * allowed to jump into it via "goto" or longjmp(3) or out of it via "break",
- * "return", "goto" or longjmp(3) because there is some hidden setup and
+ * "return", "goto" or longjmp(3)</b>.</center>
+ *
+ * This is because there is some hidden setup and
  * cleanup that needs to be done regardless of whether an exception is
  * caught. Bypassing these steps will break the exception handling facility.
  *     
@@ -211,6 +242,7 @@ typedef struct { __ex_mctx_struct } __ex_mctx_t;
  * @{
  */
 
+/** @brief different kind of errors */
 typedef enum {
   unknown_error=0,  /**< unknown error */
   arg_error,        /**< Invalid argument */
@@ -231,51 +263,56 @@ typedef struct {
   xbt_errcat_t category; /**< category like HTTP (what went wrong) */
   int          value;    /**< like errno (why did it went wrong) */
   /* throw point */
-  char *host;     /* NULL for localhost; hostname:port if remote */
+  short int remote; /* whether it was raised remotely */
+  char *host;     /* NULL for localhost; hostname if remote */
+  /* FIXME: host should be hostname:port[#thread] */
   char *procname; 
   char *file;     /**< to be freed only for remote exceptions */
   int   line;     
   char *func;     /**< to be freed only for remote exceptions */
   /* Backtrace */
-  void *bt[10];
   int   used;
+  char **bt_strings; /* only filed on display (or before the network propagation) */
+  void *bt[XBT_BACKTRACE_SIZE];
 } xbt_ex_t;
 
 /* declare the context type (private) */
 typedef struct {
     __ex_mctx_t  *ctx_mctx;     /* permanent machine context of enclosing try/catch */
-    int           ctx_caught;   /* temporary flag whether exception was caught */
-    volatile xbt_ex_t ctx_ex;       /* temporary exception storage */
+    volatile int ctx_caught;    /* temporary flag whether exception was caught */
+    volatile xbt_ex_t ctx_ex;   /* temporary exception storage */
 } ex_ctx_t;
 
 /* the static and dynamic initializers for a context structure */
 #define XBT_CTX_INITIALIZER \
     { NULL, 0, { /* content */ NULL, unknown_error, 0, \
-                 /* throw point*/ NULL, NULL, NULL, 0, NULL,\
-                 /* backtrace */ {NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL},0 } }
+                 /* throw point*/ 0,NULL, NULL, NULL, 0, NULL,\
+                 /* backtrace */ 0,NULL,{NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL} } }
 #define XBT_CTX_INITIALIZE(ctx) \
     do { \
-        (ctx)->ctx_mctx        = NULL; \
-        (ctx)->ctx_caught      = 0;    \
-        (ctx)->ctx_ex.msg      = NULL; \
-        (ctx)->ctx_ex.category = 0;    \
-        (ctx)->ctx_ex.value    = 0;    \
-        (ctx)->ctx_ex.host     = NULL; \
-        (ctx)->ctx_ex.procname = NULL; \
-        (ctx)->ctx_ex.file     = NULL; \
-        (ctx)->ctx_ex.line     = 0;    \
-        (ctx)->ctx_ex.func     = NULL; \
-        (ctx)->ctx_ex.bt[0]    = NULL; \
-        (ctx)->ctx_ex.bt[1]    = NULL; \
-        (ctx)->ctx_ex.bt[2]    = NULL; \
-        (ctx)->ctx_ex.bt[3]    = NULL; \
-        (ctx)->ctx_ex.bt[4]    = NULL; \
-        (ctx)->ctx_ex.bt[5]    = NULL; \
-        (ctx)->ctx_ex.bt[6]    = NULL; \
-        (ctx)->ctx_ex.bt[7]    = NULL; \
-        (ctx)->ctx_ex.bt[8]    = NULL; \
-        (ctx)->ctx_ex.bt[9]    = NULL; \
-        (ctx)->ctx_ex.used     = 0; \
+        (ctx)->ctx_mctx          = NULL; \
+        (ctx)->ctx_caught        = 0;    \
+        (ctx)->ctx_ex.msg        = NULL; \
+        (ctx)->ctx_ex.category   = 0;    \
+        (ctx)->ctx_ex.value      = 0;    \
+        (ctx)->ctx_ex.remote     = 0;    \
+        (ctx)->ctx_ex.host       = NULL; \
+        (ctx)->ctx_ex.procname   = NULL; \
+        (ctx)->ctx_ex.file       = NULL; \
+        (ctx)->ctx_ex.line       = 0;    \
+        (ctx)->ctx_ex.func       = NULL; \
+        (ctx)->ctx_ex.bt[0]      = NULL; \
+        (ctx)->ctx_ex.bt[1]      = NULL; \
+        (ctx)->ctx_ex.bt[2]      = NULL; \
+        (ctx)->ctx_ex.bt[3]      = NULL; \
+        (ctx)->ctx_ex.bt[4]      = NULL; \
+        (ctx)->ctx_ex.bt[5]      = NULL; \
+        (ctx)->ctx_ex.bt[6]      = NULL; \
+        (ctx)->ctx_ex.bt[7]      = NULL; \
+        (ctx)->ctx_ex.bt[8]      = NULL; \
+        (ctx)->ctx_ex.bt[9]      = NULL; \
+        (ctx)->ctx_ex.used       = 0; \
+        (ctx)->ctx_ex.bt_strings = NULL; \
     } while (0)
 
 /* the exception context */
@@ -343,10 +380,18 @@ extern void __xbt_ex_terminate_default(xbt_ex_t *e);
         __xbt_ex_ctx_ptr->ctx_mctx = __ex_mctx_en; \
     } \
     if (   !(__xbt_ex_ctx()->ctx_caught) \
-        || ((e) = XBT_EX_T_CPLUSPLUSCAST __xbt_ex_ctx()->ctx_ex, 0)) { \
+        || ((e) = XBT_EX_T_CPLUSPLUSCAST __xbt_ex_ctx()->ctx_ex, MAYDAY_CATCH(e) 0)) { \
     } \
     else
 
+#define DO_THROW(e) \
+     /* deal with the exception */                                             \
+     if (__xbt_ex_ctx()->ctx_mctx == NULL)                                     \
+       __xbt_ex_terminate((xbt_ex_t *)&(e)); /* not catched */\
+     else                                                                      \
+       __ex_mctx_restore(__xbt_ex_ctx()->ctx_mctx); /* catched somewhere */    \
+     abort()/* nope, stupid GCC, we won't survive a THROW (this won't be reached) */
+
 /** @brief Helper macro for THROWS0-6
  *  @hideinitializer
  *
@@ -369,20 +414,16 @@ extern void __xbt_ex_terminate_default(xbt_ex_t *e);
   do { /* change this sequence into one block */                               \
      /* build the exception */ \
      __xbt_ex_ctx()->ctx_ex.msg      = (m); \
-     __xbt_ex_ctx()->ctx_ex.category = (c); \
+     __xbt_ex_ctx()->ctx_ex.category = (xbt_errcat_t)(c); \
      __xbt_ex_ctx()->ctx_ex.value    = (v);  \
+     __xbt_ex_ctx()->ctx_ex.remote   = 0;                            \
      __xbt_ex_ctx()->ctx_ex.host     = (char*)NULL;                            \
      __xbt_ex_ctx()->ctx_ex.procname = strdup(xbt_procname());                 \
      __xbt_ex_ctx()->ctx_ex.file     = (char*)__FILE__;                        \
      __xbt_ex_ctx()->ctx_ex.line     = __LINE__;                               \
      __xbt_ex_ctx()->ctx_ex.func     = (char*)_XBT_FUNCTION;                   \
-     __xbt_ex_ctx()->ctx_ex.used     = backtrace((void**)__xbt_ex_ctx()->ctx_ex.bt,10);\
-     /* deal with the exception */                                             \
-     if (__xbt_ex_ctx()->ctx_mctx == NULL)                                     \
-       __xbt_ex_terminate((xbt_ex_t *)&(__xbt_ex_ctx()->ctx_ex)); /* not catched */\
-     else                                                                      \
-       __ex_mctx_restore(__xbt_ex_ctx()->ctx_mctx); /* catched somewhere */    \
-     abort();/* nope, stupid GCC, we won't survive a THROW (this won't be reached) */ \
+     __xbt_ex_ctx()->ctx_ex.used     = backtrace((void**)__xbt_ex_ctx()->ctx_ex.bt,XBT_BACKTRACE_SIZE);\
+     DO_THROW(__xbt_ex_ctx()->ctx_ex);\
   } while (0)
 
 /** @brief Builds and throws an exception with a string taking no arguments
@@ -467,7 +508,7 @@ extern void __xbt_ex_terminate_default(xbt_ex_t *e);
 #define RETHROW5(msg,a,b,c,d,e) _XBT_PRE_RETHROW msg,a,b,c,d,e _XBT_POST_RETHROW
 
 /** @brief Exception destructor */
-void xbt_ex_free(xbt_ex_t e);
+void xbt_ex_free(xbt_ex_t *e);
 
 void xbt_ex_display(xbt_ex_t *e);