Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Enable clobbered variable warnings again and fix the last one (for me)
[simgrid.git] / src / gras / DataDesc / cbps.c
index 7cb4252..b64eb2f 100644 (file)
-/* $Id$ */
-
 /* cbps - persistant states for callbacks                                   */
 
-/* Copyright (c) 2003 Olivier Aumage.                                       */
-/* Copyright (c) 2003, 2004 Martin Quinson.                                 */
-/* All rights reserved.                                                     */
+/* Copyright (c) 2004, 2005, 2006, 2007, 2008, 2009, 2010. The SimGrid Team.
+ * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#include "xbt/ex.h"
 #include "gras/DataDesc/datadesc_private.h"
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(ddt_cbps,datadesc,"callback persistant state");
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(gras_ddt_cbps, gras_ddt,
+                                "callback persistant state");
 
 typedef struct {
-  gras_datadesc_type_t  type;
-  void                 *data;
+  gras_datadesc_type_t type;
+  void *data;
 } s_gras_cbps_elm_t, *gras_cbps_elm_t;
 
 typedef struct s_gras_cbps {
-  xbt_dynar_t lints; /* simple stack of long integers (easy interface) */
+  xbt_dynar_t lints;            /* simple stack of long integers (easy interface) */
 
-  xbt_dict_t  space; /* varname x dynar of gras_cbps_elm_t */
-  xbt_dynar_t frames; /* of dynar of names defined within this frame
-                          (and to pop when we leave it) */
+  xbt_dict_t space;             /* varname x dynar of gras_cbps_elm_t */
+  xbt_dynar_t frames;           /* of dynar of names defined within this frame
+                                   (and to pop when we leave it) */
   xbt_dynar_t globals;
 } s_gras_cbps_t;
 
-static void free_string(void *d);
-
-static void free_string(void *d){
-  xbt_free(*(void**)d);
-}
+gras_cbps_t gras_cbps_new(void)
+{
+  gras_cbps_t res;
 
-gras_cbps_t gras_cbps_new(void) {
-  gras_cbps_t  res;
-
-  res=xbt_new(s_gras_cbps_t,1);
+  res = xbt_new(s_gras_cbps_t, 1);
 
   res->lints = xbt_dynar_new(sizeof(int), NULL);
   res->space = xbt_dict_new();
   /* no leak, the content is freed manually on block_end */
   res->frames = xbt_dynar_new(sizeof(xbt_dynar_t), NULL);
-  res->globals = xbt_dynar_new(sizeof(char*), NULL);
+  res->globals = xbt_dynar_new(sizeof(char *), NULL);
 
   gras_cbps_block_begin(res);
 
   return res;
 }
 
-void gras_cbps_free(gras_cbps_t *state) {
+void gras_cbps_free(gras_cbps_t * state)
+{
 
-  xbt_dynar_free( &( (*state)->lints   ) );
+  xbt_dynar_free(&((*state)->lints));
 
   gras_cbps_block_end(*state);
-  xbt_dict_free ( &( (*state)->space   ) );
-  xbt_dynar_free( &( (*state)->frames  ) );
-  xbt_dynar_free( &( (*state)->globals ) );
+  xbt_dict_free(&((*state)->space));
+  xbt_dynar_free(&((*state)->frames));
+  xbt_dynar_free(&((*state)->globals));
 
-  xbt_free(*state);
+  free(*state);
   *state = NULL;
 }
 
+void gras_cbps_reset(gras_cbps_t state)
+{
+
+  xbt_dynar_reset(state->lints);
+
+  xbt_dict_reset(state->space);
+
+  xbt_dynar_reset(state->frames);
+  xbt_dynar_reset(state->globals);
+}
+
 /** \brief Declare a new element in the PS, and give it a value.
  *
  * If an element of that
- * name already exists, it is masked by the one given here, and will be 
+ * name already exists, it is masked by the one given here, and will be
  * seeable again only after a pop to remove the value this push adds.
  */
-xbt_error_t
-gras_cbps_v_push(gras_cbps_t          ps,
-                const char          *name,
-                void                *data,
-                gras_datadesc_type_t ddt) {
-
-  xbt_dynar_t          varstack,frame;
-  gras_cbps_elm_t       var;
-  xbt_error_t errcode;
-  char *varname = (char*)strdup(name);
-
-  DEBUG2("push(%s,%p)",name,(void*)data);
-  errcode = xbt_dict_get(ps->space, name, (void **)&varstack);
-  if (errcode == mismatch_error) {
-    DEBUG1("Create a new variable stack for '%s' into the space",name);
-    varstack = xbt_dynar_new(sizeof (gras_cbps_elm_t *), NULL);
-    xbt_dict_set(ps->space, varname, (void **)varstack, NULL);
-    /* leaking, you think? only if you do not close all the openned blocks ;)*/
-  } else if (errcode != no_error) {
-    return errcode;
+void
+gras_cbps_v_push(gras_cbps_t ps,
+                 const char *name, void *data, gras_datadesc_type_t ddt)
+{
+
+  xbt_dynar_t varstack = NULL, frame;
+  gras_cbps_elm_t var;
+  char *varname = (char *) xbt_strdup(name);
+  xbt_ex_t e;
+
+  XBT_DEBUG("push(%s,%p)", name, (void *) data);
+
+  TRY {
+    varstack = xbt_dict_get(ps->space, name);
   }
-  var       = xbt_new0(s_gras_cbps_elm_t,1);
+  CATCH(e) {
+    if (e.category != mismatch_error)
+      RETHROW;
+
+    XBT_DEBUG("Create a new variable stack for '%s' into the space", name);
+    varstack = xbt_dynar_new(sizeof(gras_cbps_elm_t *), NULL);
+    xbt_dict_set(ps->space, name, (void **) varstack, NULL);
+    xbt_ex_free(e);
+    /* leaking, you think? only if you do not close all the openned blocks ;) */
+  }
+
+  var = xbt_new0(s_gras_cbps_elm_t, 1);
   var->type = ddt;
   var->data = data;
-  
+
   xbt_dynar_push(varstack, &var);
-  
+
   xbt_dynar_pop(ps->frames, &frame);
-  DEBUG4("Push %s (%p @%p) into frame %p",varname,(void*)varname,(void*)&varname,(void*)frame);
+  XBT_DEBUG("Push %s (%p @%p) into frame %p", varname, (void *) varname,
+         (void *) &varname, (void *) frame);
   xbt_dynar_push(frame, &varname);
-  xbt_dynar_push(ps->frames, &frame); 
-  return no_error;
+  xbt_dynar_push(ps->frames, &frame);
 }
 
 /** \brief Retrieve an element from the PS, and remove it from the PS.
  *
- * If it's not
- * present in the current block, it will fail (with abort) and not search
- * in upper blocks since this denotes a programmation error.
+ * If it's not present in the current block, it will fail (throwing not_found)
+ * and not search in upper blocks since this denotes a programmation error.
  */
-xbt_error_t
-gras_cbps_v_pop (gras_cbps_t            ps, 
-                const char            *name,
-                gras_datadesc_type_t  *ddt,
-                void                 **res) {
-  xbt_dynar_t          varstack,frame;
-  gras_cbps_elm_t       var            = NULL;
-  void                 *data           = NULL;
-  xbt_error_t errcode;
-
-  DEBUG1("pop(%s)",name);
-  /* FIXME: Error handling */
-  errcode = xbt_dict_get(ps->space, name, (void **)&varstack);
-  if (errcode == mismatch_error) {
-    RAISE1(mismatch_error,"Asked to pop the non-existant %s",
-          name);
+void
+gras_cbps_v_pop(gras_cbps_t ps,
+                const char *name, gras_datadesc_type_t * ddt, void **res)
+{
+  xbt_dynar_t varstack = NULL, frame = NULL;
+  gras_cbps_elm_t var = NULL;
+  void *data = NULL;
+  xbt_ex_t e;
+
+  XBT_DEBUG("pop(%s)", name);
+  TRY {
+    varstack = xbt_dict_get(ps->space, name);
+  }
+  CATCH(e) {
+    if (e.category != mismatch_error)
+      RETHROW;
+
+    xbt_ex_free(e);
+    THROWF(not_found_error, 1, "Asked to pop the non-existant %s", name);
   }
   xbt_dynar_pop(varstack, &var);
-  
+
   if (!xbt_dynar_length(varstack)) {
-    DEBUG1("Last incarnation of %s poped. Kill it",name);
+    XBT_DEBUG("Last incarnation of %s poped. Kill it", name);
     xbt_dict_remove(ps->space, name);
     xbt_dynar_free(&varstack);
   }
-  
+
   if (ddt)
-    *ddt = var->type;  
-  data    = var->data;
-  
-  xbt_free(var);
-  
+    *ddt = var->type;
+  data = var->data;
+
+  free(var);
+
   xbt_dynar_pop(ps->frames, &frame);
   {
     int l = xbt_dynar_length(frame);
-    
+
     while (l--) {
       char *_name = NULL;
-                                                                                
-      _name = xbt_dynar_get_as(frame, l, char*);
+
+      _name = xbt_dynar_get_as(frame, l, char *);
       if (!strcmp(name, _name)) {
-       xbt_dynar_remove_at(frame, l, &_name);
-       xbt_free(_name);
-       break;
+        xbt_dynar_remove_at(frame, l, &_name);
+        free(_name);
+        break;
       }
     }
   }
   xbt_dynar_push(ps->frames, &frame);
-  
+
   *res = data;
-  return no_error;
 }
 
 /** \brief Change the value of an element in the PS.
- * 
+ *
  * If it's not present in the current block, look in the upper ones.
  * If it's not present in any of them, modify in the globals
  * If not present there neither, the code may segfault (Oli?).
@@ -171,168 +181,226 @@ gras_cbps_v_pop (gras_cbps_t            ps,
  *   its value is changed.
  */
 void
-gras_cbps_v_set (gras_cbps_t          ps,
-                const char          *name,
-                void                *data,
-                gras_datadesc_type_t ddt) {
-
-  xbt_dynar_t    dynar        = NULL;
-  gras_cbps_elm_t elm          = NULL;
-  xbt_error_t    errcode;
-  
-  DEBUG1("set(%s)",name);
-  errcode = xbt_dict_get(ps->space, name, (void **)&dynar);
-  
-  if (errcode == mismatch_error) {
-    dynar = xbt_dynar_new(sizeof (gras_cbps_elm_t), NULL);
-    xbt_dict_set(ps->space, name, (void **)dynar, NULL);
-    
-    elm   = xbt_new0(s_gras_cbps_elm_t,1);
+gras_cbps_v_set(gras_cbps_t ps,
+                const char *name, void *data, gras_datadesc_type_t ddt)
+{
+
+  xbt_dynar_t dynar = NULL;
+  gras_cbps_elm_t elm = NULL;
+
+  XBT_DEBUG("set(%s)", name);
+  dynar = xbt_dict_get_or_null(ps->space, name);
+
+  if (dynar == NULL) {
+    dynar = xbt_dynar_new(sizeof(gras_cbps_elm_t), NULL);
+    xbt_dict_set(ps->space, name, (void **) dynar, NULL);
+
+    elm = xbt_new0(s_gras_cbps_elm_t, 1);
     xbt_dynar_push(ps->globals, &name);
   } else {
     xbt_dynar_pop(dynar, &elm);
   }
-  
-  elm->type   = ddt;
-  elm->data   = data;
+
+  elm->type = ddt;
+  elm->data = data;
+
   xbt_dynar_push(dynar, &elm);
 
 }
 
 /** \brief Get the value of an element in the PS without modifying it.
- * 
+ *
  * (note that you get the content of the data struct and not a copy to it)
  * If it's not present in the current block, look in the upper ones.
  * If it's not present in any of them, look in the globals
  * If not present there neither, the code may segfault (Oli?).
  */
-void *
-gras_cbps_v_get (gras_cbps_t           ps, 
-                const char           *name,
-                /* OUT */gras_datadesc_type_t *ddt) {
-  
-  xbt_dynar_t    dynar = NULL;
-  gras_cbps_elm_t elm   = NULL;
-  
-  DEBUG1("get(%s)",name);
-  /* FIXME: Error handling */
-  xbt_dict_get(ps->space, name, (void **)&dynar);
+void *gras_cbps_v_get(gras_cbps_t ps, const char *name,
+                      /* OUT */ gras_datadesc_type_t * ddt)
+{
+
+  xbt_dynar_t dynar = NULL;
+  gras_cbps_elm_t elm = NULL;
+
+  XBT_DEBUG("get(%s)", name);
+  dynar = xbt_dict_get(ps->space, name);
   xbt_dynar_pop(dynar, &elm);
   xbt_dynar_push(dynar, &elm);
-  
+
   if (ddt) {
     *ddt = elm->type;
   }
-  
+
   return elm->data;
 
 }
 
-/** \brief Begins a new block. 
+/** \brief Begins a new block.
  *
  * Blocks are usefull to remove a whole set of declarations you don't even know
  *
- * E.g., they constitute an elegent solution to recursive data structures. 
+ * E.g., they constitute an elegent solution to recursive data structures.
  *
- * push/pop may be used in some cases for that, but if your recursive data 
+ * push/pop may be used in some cases for that, but if your recursive data
  * struct contains other structs needing themselves callbacks, you have to
  * use block_{begin,end} to do the trick.
  */
 
-void
-gras_cbps_block_begin(gras_cbps_t ps) {
+void gras_cbps_block_begin(gras_cbps_t ps)
+{
 
   xbt_dynar_t dynar = NULL;
 
-  DEBUG0(">>> Block begin");
-  dynar = xbt_dynar_new(sizeof (char *), NULL);
+  XBT_DEBUG(">>> Block begin");
+  dynar = xbt_dynar_new(sizeof(char *), NULL);
   xbt_dynar_push(ps->frames, &dynar);
 }
 
 /** \brief End the current block, and go back to the upper one. */
-void
-gras_cbps_block_end(gras_cbps_t ps) {
+void gras_cbps_block_end(gras_cbps_t ps)
+{
 
-  xbt_dynar_t  frame        = NULL;
-  int           cursor       =    0;
-  char         *name         = NULL;
+  xbt_dynar_t frame = NULL;
+  unsigned int cursor = 0;
+  char *name = NULL;
 
-  xbt_assert0(xbt_dynar_length(ps->frames),
-              "More block_end than block_begin");
+  xbt_assert(xbt_dynar_length(ps->frames),
+              "More block_end than block_begin");
   xbt_dynar_pop(ps->frames, &frame);
-  
+
   xbt_dynar_foreach(frame, cursor, name) {
 
-    xbt_dynar_t    varstack    = NULL;
-    gras_cbps_elm_t var         = NULL;
-    DEBUG2("Get ride of %s (%p)",name,(void*)name);
-    xbt_dict_get(ps->space, name, (void **)&varstack);
+    xbt_dynar_t varstack = NULL;
+    gras_cbps_elm_t var = NULL;
+
+    XBT_DEBUG("Get ride of %s (%p)", name, (void *) name);
+    varstack = xbt_dict_get(ps->space, name);
     xbt_dynar_pop(varstack, &var);
+
     if (!xbt_dynar_length(varstack)) {
       xbt_dict_remove(ps->space, name);
-      xbt_dynar_free_container(&varstack); /*already empty, save a test ;) */
+      xbt_dynar_free_container(&varstack);      /*already empty, save a test ;) */
     }
-    
-    if (var->data) xbt_free(var->data);
-    xbt_free(var);
-    xbt_free(name);
+
+    if (var->data)
+      free(var->data);
+    free(var);
+    free(name);
   }
-  xbt_dynar_free_container(&frame);/* we just emptied it */
-  DEBUG0("<<< Block end");
+  xbt_dynar_free_container(&frame);     /* we just emptied it */
+  XBT_DEBUG("<<< Block end");
 }
 
 
 /** \brief Push a new integer value into the cbps. */
-void
-gras_cbps_i_push(gras_cbps_t ps,
-                int val) {
-  DEBUG1("push %d as a size",val);
-  xbt_dynar_push_as(ps->lints,int,val);
+void gras_cbps_i_push(gras_cbps_t ps, int val)
+{
+  XBT_DEBUG("push %d as a size", val);
+  xbt_dynar_push_as(ps->lints, int, val);
 }
+
 /** \brief Pop the lastly pushed integer value from the cbps. */
-int
-gras_cbps_i_pop(gras_cbps_t ps) {
+int gras_cbps_i_pop(gras_cbps_t ps)
+{
   int ret;
 
-  xbt_assert0(xbt_dynar_length(ps->lints) > 0,
-              "gras_cbps_i_pop: no value to pop");
-  ret = xbt_dynar_pop_as(ps->lints,int);
-  DEBUG1("pop %d as a size",ret);
+  xbt_assert(xbt_dynar_length(ps->lints) > 0,
+              "gras_cbps_i_pop: no value to pop");
+  ret = xbt_dynar_pop_as(ps->lints, int);
+  XBT_DEBUG("pop %d as a size", ret);
   return ret;
 }
 
 /** \brief Generic cb returning the lastly pushed value
- * 
+ *
  * Used by \ref gras_datadesc_ref_pop_arr
  */
-int gras_datadesc_cb_pop(gras_cbps_t vars, void *data) {
+int gras_datadesc_cb_pop(gras_datadesc_type_t ignored, gras_cbps_t vars,
+                         void *data)
+{
   return gras_cbps_i_pop(vars);
 }
 
+/* ************************* */
+/* **** PUSHy callbacks **** */
+/* ************************* */
+
 /** \brief Cb to push an integer. Must be attached to the field you want to push */
-void gras_datadesc_cb_push_int(gras_cbps_t vars, void *data) {
-   int *i = (int*)data;
-   gras_cbps_i_push(vars, (int) *i);
+void gras_datadesc_cb_push_int(gras_datadesc_type_t ignored,
+                               gras_cbps_t vars, void *data)
+{
+  int *i = (int *) data;
+  gras_cbps_i_push(vars, (int) *i);
 }
 
 /** \brief Cb to push an unsigned integer. Must be attached to the field you want to push */
-void gras_datadesc_cb_push_uint(gras_cbps_t vars, void *data) {
-   unsigned int *i = (unsigned int*)data;
-   gras_cbps_i_push(vars, (int) *i);
+void gras_datadesc_cb_push_uint(gras_datadesc_type_t ignored,
+                                gras_cbps_t vars, void *data)
+{
+  unsigned int *i = (unsigned int *) data;
+  gras_cbps_i_push(vars, (int) *i);
 }
 
 /** \brief Cb to push an long integer. Must be attached to the field you want to push
  */
-void gras_datadesc_cb_push_lint(gras_cbps_t vars, void *data) {
-   long int *i = (long int*)data;
-   gras_cbps_i_push(vars, (int) *i);
+void gras_datadesc_cb_push_lint(gras_datadesc_type_t ignored,
+                                gras_cbps_t vars, void *data)
+{
+  long int *i = (long int *) data;
+  gras_cbps_i_push(vars, (int) *i);
 }
-/** \brief Cb to push an long integer. Must be attached to the field you want to push
+
+/** \brief Cb to push an unsigned long integer. Must be attached to the field you want to push
+ */
+void gras_datadesc_cb_push_ulint(gras_datadesc_type_t ignored,
+                                 gras_cbps_t vars, void *data)
+{
+  unsigned long int *i = (unsigned long int *) data;
+  gras_cbps_i_push(vars, (int) *i);
+}
+
+/* ************************************ */
+/* **** PUSHy multiplier callbacks **** */
+/* ************************************ */
+/** \brief Cb to push an integer as multiplier. Must be attached to the field you want to push */
+void gras_datadesc_cb_push_int_mult(gras_datadesc_type_t ignored,
+                                    gras_cbps_t vars, void *data)
+{
+  int old = *(int *) data;
+  int new = gras_cbps_i_pop(vars);
+  XBT_DEBUG("push %d x %d as a size", old, new);
+  gras_cbps_i_push(vars, old * new);
+}
+
+/** \brief Cb to push an unsigned integer as multiplier. Must be attached to the field you want to push */
+void gras_datadesc_cb_push_uint_mult(gras_datadesc_type_t ignored,
+                                     gras_cbps_t vars, void *data)
+{
+  unsigned int old = *(unsigned int *) data;
+  unsigned int new = gras_cbps_i_pop(vars);
+
+  XBT_DEBUG("push %d x %d as a size", old, new);
+  gras_cbps_i_push(vars, (int) (old * new));
+}
+
+/** \brief Cb to push an long integer as multiplier. Must be attached to the field you want to push
+ */
+void gras_datadesc_cb_push_lint_mult(gras_datadesc_type_t ignored,
+                                     gras_cbps_t vars, void *data)
+{
+  long int i = *(long int *) data;
+  i *= gras_cbps_i_pop(vars);
+  gras_cbps_i_push(vars, (int) i);
+}
+
+/** \brief Cb to push an unsigned long integer as multiplier. Must be attached to the field you want to push
  */
-void gras_datadesc_cb_push_ulint(gras_cbps_t vars, void *data) {
-   unsigned long int *i = (unsigned long int*)data;
-   gras_cbps_i_push(vars, (int) *i);
+void gras_datadesc_cb_push_ulint_mult(gras_datadesc_type_t ignored,
+                                      gras_cbps_t vars, void *data)
+{
+  unsigned long int old = *(unsigned long int *) data;
+  unsigned long int new = gras_cbps_i_pop(vars);
+
+  XBT_DEBUG("push %ld x %ld as a size", old, new);
+  gras_cbps_i_push(vars, (int) (old * new));
 }