Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Do declare variables at the begining of the block, not in the middle, to make old...
[simgrid.git] / src / gras / DataDesc / ddt_exchange.c
index fd9d4a5..e3cee81 100644 (file)
 #include "gras/DataDesc/datadesc_private.h"
 #include "gras/Transport/transport_interface.h" /* gras_trp_chunk_send/recv */
 
-GRAS_LOG_NEW_DEFAULT_SUBCATEGORY(ddt_exchange,datadesc,
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(ddt_exchange,datadesc,
                                 "Sending data over the network");
-
-#undef DETECT_CYCLE
-/* CRUDE HACK to turn all cycle detection of */
-#ifndef DETECT_CYCLE
-#define gras_dict_get_ext(a,b,c,d) mismatch_error
-#define gras_dict_set_ext(a,b,c,d,e) no_error
-#endif
-
 const char *gras_datadesc_cat_names[9] = { 
   "undefined", 
   "scalar", "struct", "union", "ref", "array", "ignored",
   "invalid"};
 
-static gras_datadesc_type_t *int_type = NULL;
-static gras_datadesc_type_t *pointer_type = NULL;    
-static inline gras_error_t gras_dd_send_int(gras_socket_t *sock,             int  i);
-static inline gras_error_t gras_dd_recv_int(gras_socket_t *sock, int r_arch, int *i);
+static gras_datadesc_type_t int_type = NULL;
+static gras_datadesc_type_t pointer_type = NULL;    
+static _XBT_INLINE xbt_error_t gras_dd_send_int(gras_socket_t sock,             int  i);
+static _XBT_INLINE xbt_error_t gras_dd_recv_int(gras_socket_t sock, int r_arch, int *i);
 
-static inline gras_error_t
-gras_dd_alloc_ref(gras_dict_t *refs,  long int     size,
+static _XBT_INLINE xbt_error_t
+gras_dd_alloc_ref(xbt_dict_t  refs,  long int     size,
                  char       **r_ref, long int     r_len,
-                 char       **l_ref);
-static inline int 
+                 char       **l_ref, int detect_cycle);
+
+static _XBT_INLINE int
 gras_dd_is_r_null(char **r_ptr, long int length);
 
-static gras_error_t 
-gras_datadesc_send_rec(gras_socket_t        *sock,
-                      gras_cbps_t       *state,
-                      gras_dict_t          *refs,
-                      gras_datadesc_type_t *type, 
-                      char                 *data);
-static gras_error_t
-gras_datadesc_recv_rec(gras_socket_t        *sock, 
-                      gras_cbps_t       *state,
-                      gras_dict_t          *refs,
-                      gras_datadesc_type_t *type,
+static xbt_error_t 
+gras_datadesc_send_rec(gras_socket_t         sock,
+                      gras_cbps_t           state,
+                      xbt_dict_t           refs,
+                      gras_datadesc_type_t  type, 
+                      char                 *data, 
+                      int                   detect_cycle);
+static xbt_error_t
+gras_datadesc_recv_rec(gras_socket_t         sock, 
+                      gras_cbps_t           state,
+                      xbt_dict_t           refs,
+                      gras_datadesc_type_t  type,
                       int                   r_arch,
                       char                **r_data,
                       long int              r_lgr,
                       char                 *dst,
-                      int                   subsize);
+                      int                   subsize, 
+                      int                   detect_cycle);
 
 
-static inline gras_error_t
-gras_dd_send_int(gras_socket_t *sock,int i) {
+static _XBT_INLINE xbt_error_t
+gras_dd_send_int(gras_socket_t sock,int i) {
 
   if (!int_type) {
     int_type = gras_datadesc_by_name("int");
-     gras_assert(int_type);  
+     xbt_assert(int_type);  
   }
    
   DEBUG1("send_int(%d)",i);
   return gras_trp_chunk_send(sock, (char*)&i, int_type->size[GRAS_THISARCH]);
 }
 
-static inline gras_error_t
-gras_dd_recv_int(gras_socket_t *sock, int r_arch, int *i) {
-  gras_error_t errcode;
+static _XBT_INLINE xbt_error_t
+gras_dd_recv_int(gras_socket_t sock, int r_arch, int *i) {
+  xbt_error_t errcode;
 
   if (!int_type) {
      int_type = gras_datadesc_by_name("int");
-     gras_assert(int_type);
+     xbt_assert(int_type);
   }
 
   if (int_type->size[GRAS_THISARCH] >= int_type->size[r_arch]) {
@@ -82,13 +77,12 @@ gras_dd_recv_int(gras_socket_t *sock, int r_arch, int *i) {
     if (r_arch != GRAS_THISARCH)
       TRY(gras_dd_convert_elm(int_type,1,r_arch, i,i));
   } else {
-    void *ptr = gras_malloc(int_type->size[r_arch]);
-    if (!ptr)
-       RAISE_MALLOC;
+    void *ptr = xbt_malloc(int_type->size[r_arch]);
+
     TRY(gras_trp_chunk_recv(sock, (char*)ptr, int_type->size[r_arch]));
     if (r_arch != GRAS_THISARCH)
       TRY(gras_dd_convert_elm(int_type,1,r_arch, ptr,i));
-    gras_free(ptr);
+    xbt_free(ptr);
   }
   DEBUG1("recv_int(%d)",*i);
 
@@ -100,7 +94,7 @@ gras_dd_recv_int(gras_socket_t *sock, int r_arch, int *i) {
  *       of 'length' bytes set to 0.
  * FIXME: Check in configure?
  */
-static inline int 
+static _XBT_INLINE int 
 gras_dd_is_r_null(char **r_ptr, long int length) {
   int i;
 
@@ -113,37 +107,35 @@ gras_dd_is_r_null(char **r_ptr, long int length) {
   return 1;
 }
 
-static inline gras_error_t
-gras_dd_alloc_ref(gras_dict_t *refs,
+static _XBT_INLINE xbt_error_t
+gras_dd_alloc_ref(xbt_dict_t  refs,
                  long int     size,
                  char       **r_ref,
                  long int     r_len, /* pointer_type->size[r_arch] */
-                 char       **l_ref) {
+                 char       **l_ref,
+                 int          detect_cycle) {
   char *l_data = NULL;
 
-  gras_assert1(size>0,"Cannot allocate %ld bytes!", size);
-  if (! (l_data = gras_malloc((size_t)size)) )
-    RAISE_MALLOC;
+  xbt_assert1(size>0,"Cannot allocate %ld bytes!", size);
+  l_data = xbt_malloc((size_t)size);
 
   *l_ref = l_data;
-  DEBUG2("l_data=%p, &l_data=%p",l_data,&l_data);
+  DEBUG2("l_data=%p, &l_data=%p",(void*)l_data,(void*)&l_data);
 
   DEBUG3("alloc_ref: r_ref=%p; *r_ref=%p, r_len=%ld",
-        r_ref, r_ref?*r_ref:NULL, r_len);
-#ifdef DETECT_CYCLE
-  if (r_ref && !gras_dd_is_r_null( r_ref, r_len)) {
-    gras_error_t errcode;
-    void *ptr = gras_malloc(sizeof(void *));
-    if (!ptr)
-      RAISE_MALLOC;
+        (void*)r_ref, (void*)(r_ref?*r_ref:NULL), r_len);
+  if (detect_cycle && r_ref && !gras_dd_is_r_null( r_ref, r_len)) {
+    xbt_error_t errcode;
+    void *ptr = xbt_malloc(sizeof(void *));
 
+    CRITICAL0("detect_cycle");
     memcpy(ptr,l_ref, sizeof(void *));
 
     DEBUG2("Insert %p under %p",*(void**)ptr, *(void**)r_ref);
 
-    TRY(gras_dict_set_ext(refs,(const char *) r_ref, r_len, ptr, gras_free));
+    if (detect_cycle)
+       xbt_dict_set_ext(refs,(const char *) r_ref, r_len, ptr, xbt_free_fct);
   }
-#endif
   return no_error;
 }
 
@@ -155,11 +147,11 @@ gras_dd_alloc_ref(gras_dict_t *refs,
  * This comparison does not take the set headers into account (name and ID), 
  * but only the payload (actual type description).
  */
-int gras_datadesc_type_cmp(const gras_datadesc_type_t *d1,
-                          const gras_datadesc_type_t *d2) {
+int gras_datadesc_type_cmp(const gras_datadesc_type_t d1,
+                          const gras_datadesc_type_t d2) {
   int ret,cpt;
-  gras_dd_cat_field_t *field1,*field2;
-  gras_datadesc_type_t *field_desc_1,*field_desc_2;
+  gras_dd_cat_field_t field1,field2;
+  gras_datadesc_type_t field_desc_1,field_desc_2;
 
   if (d1 == d2) return 0; /* easy optimization */
 
@@ -208,14 +200,14 @@ int gras_datadesc_type_cmp(const gras_datadesc_type_t *d1,
 
   if (d1->send != d2->send) {
     DEBUG4("ddt_cmp: %s->send=%p  !=  %s->send=%p",
-          d1->name,d1->send, d2->name,d2->send);
-    return d1->send > d2->send ? 1 : -1;
+          d1->name,(void*)d1->send, d2->name,(void*)d2->send);
+    return 1; /* ISO C forbids ordered comparisons of pointers to functions */
   }
 
   if (d1->recv != d2->recv) {
     DEBUG4("ddt_cmp: %s->recv=%p  !=  %s->recv=%p",
-          d1->name,d1->recv, d2->name,d2->recv);
-    return d1->recv > d2->recv ? 1 : -1;
+          d1->name,(void*)d1->recv, d2->name,(void*)d2->recv);
+    return 1; /* ISO C forbids ordered comparisons of pointers to functions */
   }
 
   switch (d1->category_code) {
@@ -225,19 +217,19 @@ int gras_datadesc_type_cmp(const gras_datadesc_type_t *d1,
     break;
     
   case e_gras_datadesc_type_cat_struct:    
-    if (gras_dynar_length(d1->category.struct_data.fields) != 
-       gras_dynar_length(d2->category.struct_data.fields)) {
-      DEBUG4("ddt_cmp: %s (having %d fields) !=  %s (having %d fields)",
-            d1->name, gras_dynar_length(d1->category.struct_data.fields),
-            d2->name, gras_dynar_length(d2->category.struct_data.fields));
+    if (xbt_dynar_length(d1->category.struct_data.fields) != 
+       xbt_dynar_length(d2->category.struct_data.fields)) {
+      DEBUG4("ddt_cmp: %s (having %lu fields) !=  %s (having %lu fields)",
+            d1->name, xbt_dynar_length(d1->category.struct_data.fields),
+            d2->name, xbt_dynar_length(d2->category.struct_data.fields));
       
-      return gras_dynar_length(d1->category.struct_data.fields) >
-       gras_dynar_length(d2->category.struct_data.fields) ?
+      return xbt_dynar_length(d1->category.struct_data.fields) >
+       xbt_dynar_length(d2->category.struct_data.fields) ?
        1 : -1;
     }
-    gras_dynar_foreach(d1->category.struct_data.fields, cpt, field1) {
+    xbt_dynar_foreach(d1->category.struct_data.fields, cpt, field1) {
       
-      gras_dynar_get(d2->category.struct_data.fields, cpt, &field2);
+      field2 = xbt_dynar_get_as(d2->category.struct_data.fields, cpt, gras_dd_cat_field_t);
       field_desc_1 = field1->type;
       field_desc_2 = field2->type;
       ret = gras_datadesc_type_cmp(field_desc_1,field_desc_2);
@@ -253,17 +245,17 @@ int gras_datadesc_type_cmp(const gras_datadesc_type_t *d1,
     
   case e_gras_datadesc_type_cat_union:
     if (d1->category.union_data.selector != d2->category.union_data.selector) 
-      return d1->category.union_data.selector > d2->category.union_data.selector ? 1 : -1;
+      return 1;  /* ISO C forbids ordered comparisons of pointers to functions */
     
-    if (gras_dynar_length(d1->category.union_data.fields) != 
-       gras_dynar_length(d2->category.union_data.fields))
-      return gras_dynar_length(d1->category.union_data.fields) >
-            gras_dynar_length(d2->category.union_data.fields) ?
+    if (xbt_dynar_length(d1->category.union_data.fields) != 
+       xbt_dynar_length(d2->category.union_data.fields))
+      return xbt_dynar_length(d1->category.union_data.fields) >
+            xbt_dynar_length(d2->category.union_data.fields) ?
        1 : -1;
     
-    gras_dynar_foreach(d1->category.union_data.fields, cpt, field1) {
+    xbt_dynar_foreach(d1->category.union_data.fields, cpt, field1) {
       
-      gras_dynar_get(d2->category.union_data.fields, cpt, field2);
+      field2 = xbt_dynar_get_as(d2->category.union_data.fields, cpt, gras_dd_cat_field_t);
       field_desc_1 = field1->type;
       field_desc_2 = field2->type;
       ret = gras_datadesc_type_cmp(field_desc_1,field_desc_2);
@@ -276,7 +268,7 @@ int gras_datadesc_type_cmp(const gras_datadesc_type_t *d1,
     
   case e_gras_datadesc_type_cat_ref:
     if (d1->category.ref_data.selector != d2->category.ref_data.selector) 
-      return d1->category.ref_data.selector > d2->category.ref_data.selector ? 1 : -1;
+      return 1; /* ISO C forbids ordered comparisons of pointers to functions */
     
     if (d1->category.ref_data.type != d2->category.ref_data.type) 
       return d1->category.ref_data.type > d2->category.ref_data.type ? 1 : -1;
@@ -290,7 +282,7 @@ int gras_datadesc_type_cmp(const gras_datadesc_type_t *d1,
       return d1->category.array_data.fixed_size > d2->category.array_data.fixed_size ? 1 : -1;
     
     if (d1->category.array_data.dynamic_size != d2->category.array_data.dynamic_size) 
-      return d1->category.array_data.dynamic_size > d2->category.array_data.dynamic_size ? 1 : -1;
+      return 1; /* ISO C forbids ordered comparisons of pointers to functions */
     
     break;
     
@@ -311,22 +303,23 @@ int gras_datadesc_type_cmp(const gras_datadesc_type_t *d1,
  * to a new location, and store a pointer to it in dst.
  *
  */
-gras_error_t gras_datadesc_cpy(gras_datadesc_type_t *type, 
+xbt_error_t gras_datadesc_cpy(gras_datadesc_type_t type, 
                               void *src, 
                               void **dst) {
   RAISE_UNIMPLEMENTED;
 }
 
-static gras_error_t 
-gras_datadesc_send_rec(gras_socket_t        *sock,
-                      gras_cbps_t       *state,
-                      gras_dict_t          *refs,
-                      gras_datadesc_type_t *type, 
-                      char                 *data) {
-
-  gras_error_t          errcode;
-  int                   cpt;
-  gras_datadesc_type_t *sub_type; /* type on which we recurse */
+static xbt_error_t 
+gras_datadesc_send_rec(gras_socket_t         sock,
+                      gras_cbps_t           state,
+                      xbt_dict_t           refs,
+                      gras_datadesc_type_t  type, 
+                      char                 *data,
+                      int                   detect_cycle) {
+
+  xbt_error_t         errcode;
+  int                  cpt;
+  gras_datadesc_type_t sub_type; /* type on which we recurse */
   
   VERB2("Send a %s (%s)", 
        type->name, gras_datadesc_cat_names[type->category_code]);
@@ -341,16 +334,16 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
     break;
 
   case e_gras_datadesc_type_cat_struct: {
-    gras_dd_cat_struct_t  struct_data;
-    gras_dd_cat_field_t  *field;
-    char                 *field_data;
+    gras_dd_cat_struct_t struct_data;
+    gras_dd_cat_field_t  field;
+    char                *field_data;
     
     struct_data = type->category.struct_data;
-    gras_assert1(struct_data.closed,
+    xbt_assert1(struct_data.closed,
       "Please call gras_datadesc_declare_struct_close on %s before sending it",
                type->name);
     VERB1(">> Send all fields of the structure %s",type->name);
-    gras_dynar_foreach(struct_data.fields, cpt, field) {
+    xbt_dynar_foreach(struct_data.fields, cpt, field) {
       field_data = data;
       field_data += field->offset[GRAS_THISARCH];
       
@@ -360,7 +353,7 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
        field->pre(state,field_data);
       
       VERB1("Send field %s",field->name);
-      TRY(gras_datadesc_send_rec(sock,state,refs,sub_type, field_data));
+      TRY(gras_datadesc_send_rec(sock,state,refs,sub_type, field_data, detect_cycle || sub_type->cycle));
       
       if (field->post)
        field->post(state,field_data);
@@ -371,37 +364,37 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
   }
 
   case e_gras_datadesc_type_cat_union: {
-    gras_dd_cat_union_t    union_data;
-    gras_dd_cat_field_t   *field=NULL;
-    int                    field_num;
+    gras_dd_cat_union_t union_data;
+    gras_dd_cat_field_t field=NULL;
+    int                 field_num;
     
     union_data = type->category.union_data;
     
-    gras_assert1(union_data.closed,
+    xbt_assert1(union_data.closed,
                "Please call gras_datadesc_declare_union_close on %s before sending it",
                type->name);
     /* retrieve the field number */
     field_num = union_data.selector(state, data);
     
-    gras_assert1(field_num > 0,
+    xbt_assert1(field_num > 0,
                 "union field selector of %s gave a negative value", 
                 type->name);
     
-    gras_assert3(field_num < gras_dynar_length(union_data.fields),
-        "union field selector of %s returned %d but there is only %d fields", 
-                type->name, field_num, gras_dynar_length(union_data.fields));
+    xbt_assert3(field_num < xbt_dynar_length(union_data.fields),
+        "union field selector of %s returned %d but there is only %lu fields",
+                type->name, field_num, xbt_dynar_length(union_data.fields));
 
     /* Send the field number */
     TRY(gras_dd_send_int(sock, field_num));
     
     /* Send the content */
-    gras_dynar_get(union_data.fields, field_num, field);
+    field = xbt_dynar_get_as(union_data.fields, field_num, gras_dd_cat_field_t);
     sub_type = field->type;
     
     if (field->pre)
       field->pre(state,data);
     
-    TRY(gras_datadesc_send_rec(sock,state,refs, sub_type, data));
+    TRY(gras_datadesc_send_rec(sock,state,refs, sub_type, data, detect_cycle || sub_type->cycle));
       
     if (field->post)
       field->post(state,data);
@@ -413,9 +406,7 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
     gras_dd_cat_ref_t      ref_data;
 
     void                 **ref=(void**)data;
-#ifdef DETECT_CYCLE
     void *dummy;
-#endif
     
     ref_data = type->category.ref_data;
     
@@ -429,7 +420,7 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
     /* Send the actual value of the pointer for cycle handling */
     if (!pointer_type) {
       pointer_type = gras_datadesc_by_name("data pointer");
-      gras_assert(pointer_type);
+      xbt_assert(pointer_type);
     }
      
     TRY(gras_trp_chunk_send(sock, (char*)data,
@@ -440,16 +431,19 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
       VERB0("Not sending NULL referenced data");
       break;
     }
-    errcode = gras_dict_get_ext(refs,(char*)ref, sizeof(void*), &dummy);
+    errcode = detect_cycle 
+            ? xbt_dict_get_ext(refs,(char*)ref, sizeof(void*), &dummy)
+            : mismatch_error;
     if (errcode == mismatch_error) {
-      VERB1("Sending data referenced at %p", *ref);
-      TRY(gras_dict_set_ext(refs, (char*)ref, sizeof(void*), ref, NULL));
-      TRY(gras_datadesc_send_rec(sock,state,refs, sub_type, *ref));
-      
+       VERB1("Sending data referenced at %p", (void*)*ref);
+       if (detect_cycle)
+        xbt_dict_set_ext(refs, (char*)ref, sizeof(void*), ref, NULL);
+       TRY(gras_datadesc_send_rec(sock,state,refs, sub_type, *ref, detect_cycle || sub_type->cycle));
+         
     } else if (errcode == no_error) {
-      VERB1("Not sending data referenced at %p (already done)", *ref);
+       VERB1("Not sending data referenced at %p (already done)", (void*)*ref);
     } else {
-      return errcode;
+       return errcode;
     }
     
     break;
@@ -465,9 +459,9 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
     
     /* determine and send the element count */
     count = array_data.fixed_size;
-    if (count <= 0) {
+    if (count == 0) {
       count = array_data.dynamic_size(state,data);
-      gras_assert1(count >=0,
+      xbt_assert1(count >=0,
                   "Invalid (negative) array size for type %s",type->name);
       TRY(gras_dd_send_int(sock, count));
     }
@@ -479,9 +473,18 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
       VERB1("Array of %ld scalars, send it in one shot",count);
       TRY(gras_trp_chunk_send(sock, data, 
                              sub_type->aligned_size[GRAS_THISARCH] * count));
+    } else if (sub_type->category_code == e_gras_datadesc_type_cat_array &&
+              sub_type->category.array_data.fixed_size > 0 &&
+              sub_type->category.array_data.type->category_code == e_gras_datadesc_type_cat_scalar) {
+       
+      VERB1("Array of %ld fixed array of scalars, send it in one shot",count);
+      TRY(gras_trp_chunk_send(sock, data, 
+                             sub_type->category.array_data.type->aligned_size[GRAS_THISARCH] 
+                                * count * sub_type->category.array_data.fixed_size));
+       
     } else {
       for (cpt=0; cpt<count; cpt++) {
-       TRY(gras_datadesc_send_rec(sock,state,refs, sub_type, ptr));
+       TRY(gras_datadesc_send_rec(sock,state,refs, sub_type, ptr, detect_cycle || sub_type->cycle));
        ptr += elm_size;
       }
     }
@@ -489,7 +492,7 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
   }
 
   default:
-    gras_assert0(0, "Invalid type");
+    xbt_assert0(0, "Invalid type");
   }
 
   return no_error;
@@ -501,20 +504,20 @@ gras_datadesc_send_rec(gras_socket_t        *sock,
  * Copy the data pointed by src and described by type to the socket
  *
  */
-gras_error_t gras_datadesc_send(gras_socket_t *sock, 
-                               gras_datadesc_type_t *type, 
+xbt_error_t gras_datadesc_send(gras_socket_t        sock, 
+                               gras_datadesc_type_t type, 
                                void *src) {
 
-  gras_error_t errcode;
-  gras_cbps_t *state = NULL;
-  gras_dict_t    *refs; /* all references already sent */
+  xbt_error_t errcode;
+  gras_cbps_t  state;
+  xbt_dict_t  refs; /* all references already sent */
  
-  TRY(gras_dict_new(&refs));
-  TRY(gras_cbps_new(&state));
-
-  errcode = gras_datadesc_send_rec(sock,state,refs,type,(char*)src);
+  refs = xbt_dict_new();
+  state = gras_cbps_new();
+   
+  errcode = gras_datadesc_send_rec(sock,state,refs,type,(char*)src, type->cycle);
 
-  gras_dict_free(&refs);
+  xbt_dict_free(&refs);
   gras_cbps_free(&state);
 
   return errcode;
@@ -532,23 +535,24 @@ gras_error_t gras_datadesc_send(gras_socket_t *sock,
  * Having this size passed as an argument of the recursive function is a crude
  * hack, but I was told that working code is sometimes better than neat one ;)
  */
-gras_error_t
-gras_datadesc_recv_rec(gras_socket_t        *sock, 
-                      gras_cbps_t          *state,
-                      gras_dict_t          *refs,
-                      gras_datadesc_type_t *type,
+xbt_error_t
+gras_datadesc_recv_rec(gras_socket_t         sock, 
+                      gras_cbps_t           state,
+                      xbt_dict_t           refs,
+                      gras_datadesc_type_t  type,
                       int                   r_arch,
                       char                **r_data,
                       long int              r_lgr,
                       char                 *l_data,
-                      int                   subsize) {
+                      int                   subsize,
+                      int                   detect_cycle) {
 
-  gras_error_t          errcode;
-  int                   cpt;
-  gras_datadesc_type_t *sub_type;
+  xbt_error_t         errcode;
+  int                  cpt;
+  gras_datadesc_type_t sub_type;
 
-  VERB2("Recv a %s @%p", type->name, l_data);
-  gras_assert(l_data);
+  VERB2("Recv a %s @%p", type->name, (void*)l_data);
+  xbt_assert(l_data);
 
   switch (type->category_code) {
   case e_gras_datadesc_type_cat_scalar:
@@ -557,34 +561,34 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
       if (r_arch != GRAS_THISARCH)
        TRY(gras_dd_convert_elm(type,1,r_arch, l_data,l_data));
     } else {
-      void *ptr = gras_malloc(type->size[r_arch]);
-      if (!ptr)
-        RAISE_MALLOC;
+      void *ptr = xbt_malloc(type->size[r_arch]);
+
       TRY(gras_trp_chunk_recv(sock, (char*)ptr, type->size[r_arch]));
       if (r_arch != GRAS_THISARCH)
        TRY(gras_dd_convert_elm(type,1,r_arch, ptr,l_data));
-      gras_free(ptr);
+      xbt_free(ptr);
     }
     break;
 
   case e_gras_datadesc_type_cat_struct: {
-    gras_dd_cat_struct_t   struct_data;
-    gras_dd_cat_field_t   *field;
+    gras_dd_cat_struct_t struct_data;
+    gras_dd_cat_field_t  field;
 
     struct_data = type->category.struct_data;
 
-    gras_assert1(struct_data.closed,
+    xbt_assert1(struct_data.closed,
                "Please call gras_datadesc_declare_struct_close on %s before receiving it",
                type->name);
     VERB1(">> Receive all fields of the structure %s",type->name);
-    gras_dynar_foreach(struct_data.fields, cpt, field) {
+    xbt_dynar_foreach(struct_data.fields, cpt, field) {
       char                 *field_data = l_data + field->offset[GRAS_THISARCH];
 
       sub_type = field->type;
 
       TRY(gras_datadesc_recv_rec(sock,state,refs, sub_type,
                                 r_arch,NULL,0,
-                                field_data,-1));
+                                field_data,-1, 
+                                detect_cycle || sub_type->cycle));
     }
     VERB1("<< Received all fields of the structure %s", type->name);
     
@@ -592,13 +596,13 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
   }
 
   case e_gras_datadesc_type_cat_union: {
-    gras_dd_cat_union_t    union_data;
-    gras_dd_cat_field_t   *field=NULL;
-    int                    field_num;
+    gras_dd_cat_union_t union_data;
+    gras_dd_cat_field_t field=NULL;
+    int                 field_num;
 
     union_data = type->category.union_data;
 
-    gras_assert1(union_data.closed,
+    xbt_assert1(union_data.closed,
                "Please call gras_datadesc_declare_union_close on %s before receiving it",
                type->name);
     /* retrieve the field number */
@@ -606,18 +610,19 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
     if (field_num < 0)
       RAISE1(mismatch_error,
             "Received union field for %s is negative", type->name);
-    if (field_num < gras_dynar_length(union_data.fields)) 
+    if (field_num < xbt_dynar_length(union_data.fields)) 
       RAISE3(mismatch_error,
-            "Received union field for %s is %d but there is only %d fields", 
-            type->name, field_num, gras_dynar_length(union_data.fields));
+            "Received union field for %s is %d but there is only %lu fields",
+            type->name, field_num, xbt_dynar_length(union_data.fields));
     
     /* Recv the content */
-    gras_dynar_get(union_data.fields, field_num, field);
+    field = xbt_dynar_get_as(union_data.fields, field_num, gras_dd_cat_field_t);
     sub_type = field->type;
     
     TRY(gras_datadesc_recv_rec(sock,state,refs, sub_type,
                               r_arch,NULL,0,
-                              l_data,-1));
+                              l_data,-1, 
+                              detect_cycle || sub_type->cycle));
     break;
   }
 
@@ -639,11 +644,11 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
     /* Get the actual value of the pointer for cycle handling */
     if (!pointer_type) {
       pointer_type = gras_datadesc_by_name("data pointer");
-      gras_assert(pointer_type);
+      xbt_assert(pointer_type);
     }
 
-    if (! (r_ref = gras_malloc(pointer_type->size[r_arch])) )
-      RAISE_MALLOC;
+    r_ref = xbt_malloc(pointer_type->size[r_arch]);
+
     TRY(gras_trp_chunk_recv(sock, (char*)r_ref,
                            pointer_type->size[r_arch]));
 
@@ -652,16 +657,18 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
       VERB1("Not receiving data remotely referenced @%p since it's NULL",
            *(void **)r_ref);
       *(void**)l_data = NULL;
-      gras_free(r_ref);
+      xbt_free(r_ref);
       break;
     }
-    errcode = gras_dict_get_ext(refs,
+         
+    errcode = detect_cycle
+            ? xbt_dict_get_ext(refs,
                                (char*)r_ref, pointer_type->size[r_arch],
-                               (void**)&l_ref);
-
+                               (void**)&l_ref)
+            : mismatch_error;
 
     if (errcode == mismatch_error) {
-      int subsubcount = -1;
+      int subsubcount = 0;
       void *l_referenced=NULL;
 
       VERB2("Receiving a ref to '%s', remotely @%p",
@@ -670,10 +677,10 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
        /* Damn. Reference to a dynamic array. Allocating the size for it 
           is more complicated */
        gras_dd_cat_array_t array_data = sub_type->category.array_data;
-       gras_datadesc_type_t *subsub_type;
+       gras_datadesc_type_t subsub_type;
 
        subsubcount = array_data.fixed_size;
-       if (subsubcount < 0)
+       if (subsubcount == 0)
          TRY(gras_dd_recv_int(sock, r_arch, &subsubcount));
 
        subsub_type = array_data.type;
@@ -682,16 +689,19 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
        TRY(gras_dd_alloc_ref(refs,
                              subsub_type->size[GRAS_THISARCH] * subsubcount, 
                              r_ref,pointer_type->size[r_arch], 
-                             (char**)&l_referenced));
+                             (char**)&l_referenced,
+                             detect_cycle));
       } else {
        TRY(gras_dd_alloc_ref(refs,sub_type->size[GRAS_THISARCH], 
                              r_ref,pointer_type->size[r_arch], 
-                             (char**)&l_referenced));
+                             (char**)&l_referenced,
+                             detect_cycle));
       }
 
       TRY(gras_datadesc_recv_rec(sock,state,refs, sub_type,
                                 r_arch,r_ref,pointer_type->size[r_arch],
-                                (char*)l_referenced, subsubcount));
+                                (char*)l_referenced, subsubcount, 
+                                detect_cycle || sub_type->cycle));
       *(void**)l_data=l_referenced;
       VERB3("'%s' remotely referenced at %p locally at %p",
            sub_type->name, *(void**)r_ref, l_referenced);
@@ -705,7 +715,7 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
     } else {
       return errcode;
     }
-    gras_free(r_ref);
+    xbt_free(r_ref);
     break;
   }
 
@@ -718,13 +728,13 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
     array_data = type->category.array_data;
     /* determine element count locally, or from caller, or from peer */
     count = array_data.fixed_size;
-    if (count <= 0)
+    if (count == 0)
       count = subsize;
-    if (count < 0)
+    if (count == 0)
       TRY(gras_dd_recv_int(sock, r_arch, &count));
-    if (count < 0)
+    if (count == 0)
       RAISE1(mismatch_error,
-            "Invalid (negative) array size for type %s",type->name);
+            "Invalid (=0) array size for type %s",type->name);
 
     /* receive the content */
     sub_type = array_data.type;
@@ -737,15 +747,39 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
        if (r_arch != GRAS_THISARCH)
          TRY(gras_dd_convert_elm(sub_type,count,r_arch, l_data,l_data));
       } else {
-       ptr = gras_malloc(sub_type->aligned_size[r_arch] * count);
-       if (!ptr)
-          RAISE_MALLOC;
+       ptr = xbt_malloc(sub_type->aligned_size[r_arch] * count);
+
        TRY(gras_trp_chunk_recv(sock, (char*)ptr, 
                                sub_type->size[r_arch] * count));
        if (r_arch != GRAS_THISARCH)
          TRY(gras_dd_convert_elm(sub_type,count,r_arch, ptr,l_data));
-       gras_free(ptr);
+       xbt_free(ptr);
       }
+    } else if (sub_type->category_code == e_gras_datadesc_type_cat_array &&
+              sub_type->category.array_data.fixed_size > 0 &&
+              sub_type->category.array_data.type->category_code == e_gras_datadesc_type_cat_scalar) {
+      gras_datadesc_type_t subsub_type = array_data.type;
+      array_data = sub_type->category.array_data;
+       
+      VERB1("Array of %d fixed array of scalars, get it in one shot",count);
+      if (subsub_type->aligned_size[GRAS_THISARCH] >= 
+         subsub_type->aligned_size[r_arch]) {
+       TRY(gras_trp_chunk_recv(sock, (char*)l_data, 
+                               subsub_type->aligned_size[r_arch] * count * 
+                                 array_data.fixed_size));
+       if (r_arch != GRAS_THISARCH)
+         TRY(gras_dd_convert_elm(subsub_type,count*array_data.fixed_size,r_arch, l_data,l_data));
+      } else {
+       ptr = xbt_malloc(subsub_type->aligned_size[r_arch] * count*array_data.fixed_size);
+
+       TRY(gras_trp_chunk_recv(sock, (char*)ptr, 
+                               subsub_type->size[r_arch] * count*array_data.fixed_size));
+       if (r_arch != GRAS_THISARCH)
+         TRY(gras_dd_convert_elm(subsub_type,count*array_data.fixed_size,r_arch, ptr,l_data));
+       xbt_free(ptr);
+      }
+      
+       
     } else {
       /* not scalar content, get it recursively (may contain pointers) */
       elm_size = sub_type->aligned_size[GRAS_THISARCH];
@@ -754,7 +788,8 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
       ptr = l_data;
       for (cpt=0; cpt<count; cpt++) {
        TRY(gras_datadesc_recv_rec(sock,state,refs, sub_type,
-                                  r_arch, NULL, 0, ptr,-1));
+                                  r_arch, NULL, 0, ptr,-1,
+                                  detect_cycle || sub_type->cycle));
        ptr += elm_size;
       }
     }
@@ -762,7 +797,7 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
   }
         
   default:
-    gras_assert0(0, "Invalid type");
+    xbt_assert0(0, "Invalid type");
   }
   
   if (type->recv)
@@ -778,24 +813,25 @@ gras_datadesc_recv_rec(gras_socket_t        *sock,
  * and store a pointer to it in @dst
  *
  */
-gras_error_t
-gras_datadesc_recv(gras_socket_t *sock, 
-                  gras_datadesc_type_t *type, 
-                  int r_arch,
-                  void *dst) {
+xbt_error_t
+gras_datadesc_recv(gras_socket_t         sock, 
+                  gras_datadesc_type_t  type,
+                  int                   r_arch,
+                  void                 *dst) {
 
-  gras_error_t errcode;
-  gras_cbps_t *state = NULL; /* callback persistent state */
-  gras_dict_t    *refs;         /* all references already sent */
+  xbt_error_t errcode;
+  gras_cbps_t  state; /* callback persistent state */
+  xbt_dict_t  refs;  /* all references already sent */
 
-  TRY(gras_dict_new(&refs));
-  TRY(gras_cbps_new(&state));
+  refs = xbt_dict_new();
+  state = gras_cbps_new();
 
   errcode = gras_datadesc_recv_rec(sock, state, refs, type, 
                                   r_arch, NULL, 0,
-                                  (char *) dst,-1);
+                                  (char *) dst,-1, 
+                                  type->cycle);
 
-  gras_dict_free(&refs);
+  xbt_dict_free(&refs);
   gras_cbps_free(&state);
 
   return errcode;