#include "DataDesc/datadesc_private.h"
-//GRAS_LOG_NEW_DEFAULT_SUBCATEGORY(use,DataDesc);
+GRAS_LOG_NEW_DEFAULT_SUBCATEGORY(use,DataDesc);
+
+static 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 gras_error_t gras_dd_send_int(gras_socket_t *sock, int i);
+static gras_error_t gras_dd_recv_int(gras_socket_t *sock, int r_arch, int *i);
+
+static gras_error_t
+gras_dd_alloc_ref(gras_dict_t *refs, long int size,
+ char **r_ref, long int r_len,
+ char **l_ref);
+static 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_dd_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_dd_cbps_t *state,
+ gras_dict_t *refs,
+ gras_datadesc_type_t *type,
+ int r_arch,
+ char **r_data,
+ long int r_lgr,
+ char **dst);
+
+
+static gras_error_t
+gras_dd_send_int(gras_socket_t *sock,int i) {
+ gras_error_t errcode;
+
+ if (!int_type)
+ TRY(gras_datadesc_by_name("int", &int_type));
+
+ DEBUG1("send_int(%d)",i);
+ return gras_trp_chunk_send(sock, (char*)&i, int_type->size[GRAS_THISARCH]);
+}
+
+static gras_error_t
+gras_dd_recv_int(gras_socket_t *sock, int r_arch, int *i) {
+ gras_error_t errcode;
+
+ if (!int_type)
+ TRY(gras_datadesc_by_name("int", &int_type));
+
+ if (int_type->size[GRAS_THISARCH] >= int_type->size[r_arch]) {
+ TRY(gras_trp_chunk_recv(sock, (char*)i, int_type->size[r_arch]));
+ TRY(gras_dd_convert_elm(int_type,r_arch, i,i));
+ } else {
+ void *ptr = NULL;
+ ptr = malloc((size_t)int_type->size[r_arch]);
+ TRY(gras_trp_chunk_recv(sock, (char*)ptr, int_type->size[r_arch]));
+ TRY(gras_dd_convert_elm(int_type,r_arch, ptr,i));
+ free(ptr);
+ }
+ DEBUG1("recv_int(%d)",*i);
+
+ return no_error;
+}
+
+/*
+ * Note: here we suppose that the remote NULL is a sequence
+ * of 'length' bytes set to 0.
+ * FIXME: Check in configure?
+ */
+static int
+gras_dd_is_r_null(char **r_ptr, long int length) {
+ int i;
+
+ for (i=0; i<length; i++) {
+ if ( ((unsigned char*)r_ptr) [i]) {
+ return 0;
+ }
+ }
+
+ return 1;
+}
+
+static gras_error_t
+gras_dd_alloc_ref(gras_dict_t *refs,
+ long int size,
+ char **r_ref,
+ long int r_len, /* pointer_type->size[r_arch] */
+ char **l_ref) {
+ char *l_data = NULL;
+ gras_error_t errcode;
+
+ gras_assert1(size>0,"Cannot allocate %d bytes!", size);
+ if (! (l_data = malloc((size_t)size)) )
+ RAISE_MALLOC;
+
+ *l_ref = l_data;
+ DEBUG2("l_data=%p, &l_data=%p",l_data,&l_data);
+
+ DEBUG3("alloc_ref: r_ref=%p; *r_ref=%p, r_len=%d",
+ r_ref, r_ref?*r_ref:NULL, r_len);
+ if (r_ref && !gras_dd_is_r_null( r_ref, r_len)) {
+ void *ptr = malloc(sizeof(void *));
+ if (!ptr)
+ RAISE_MALLOC;
+ // memcpy(ptr,&l_data, sizeof(void *));
+ memcpy(ptr,l_ref, sizeof(void *));
+
+ DEBUG2("Insert %p under %p",*(void**)ptr, *(void**)r_ref);
+ /* FIXME: Leaking on the ptr. Do I really need to copy it? */
+ TRY(gras_dict_insert_ext(refs,(const char *) r_ref, r_len, ptr, NULL));
+ }
+ return no_error;
+}
/**
* gras_datadesc_get_id_from_name:
gras_error_t errcode;
gras_datadesc_type_t *type;
- errcode = gras_ddt_get_by_name(name,&type);
+ errcode = gras_datadesc_by_name(name,&type);
if (errcode != no_error)
return -1;
return type->code;
if (!d1 && !d2) return 0;
if ( d1 && !d2) return -1;
- if (d1->size != d2->size ) return d1->size > d2->size ? 1 : -1;
- if (d1->alignment != d2->alignment) return d1->alignment > d2->alignment ? 1 : -1;
- if (d1->aligned_size != d2->aligned_size) return d1->aligned_size > d2->aligned_size ? 1 : -1;
+ if (d1->size != d2->size )
+ return d1->size > d2->size ? 1 : -1;
+ if (d1->alignment != d2->alignment)
+ return d1->alignment > d2->alignment ? 1 : -1;
+ if (d1->aligned_size != d2->aligned_size)
+ return d1->aligned_size > d2->aligned_size ? 1 : -1;
- if (d1->category_code != d2->category_code) return d1->category_code > d2->category_code ? 1 : -1;
+ if (d1->category_code != d2->category_code)
+ return d1->category_code > d2->category_code ? 1 : -1;
- if (d1->pre != d2->pre) return d1->pre > d2->pre ? 1 : -1;
- if (d1->post != d2->post) return d1->post > d2->post ? 1 : -1;
+ if (d1->pre != d2->pre)
+ return d1->pre > d2->pre ? 1 : -1;
+ if (d1->post != d2->post)
+ return d1->post > d2->post ? 1 : -1;
switch (d1->category_code) {
case e_gras_datadesc_type_cat_scalar:
gras_dynar_foreach(d1->category.struct_data.fields, cpt, field1) {
gras_dynar_get(d2->category.struct_data.fields, cpt, field2);
- gras_ddt_get_by_code(field1->code,&field_desc_1); /* FIXME: errcode ignored */
- gras_ddt_get_by_code(field2->code,&field_desc_2);
+ gras_datadesc_by_id(field1->code,&field_desc_1); /* FIXME: errcode ignored */
+ gras_datadesc_by_id(field2->code,&field_desc_2);
ret = gras_datadesc_type_cmp(field_desc_1,field_desc_2);
if (ret)
return ret;
break;
case e_gras_datadesc_type_cat_union:
- if (d1->category.union_data.field_count != d2->category.union_data.field_count)
- return d1->category.union_data.field_count > d2->category.union_data.field_count ? 1 : -1;
+ if (d1->category.union_data.selector != d2->category.union_data.selector)
+ return d1->category.union_data.selector > d2->category.union_data.selector ? 1 : -1;
if (gras_dynar_length(d1->category.union_data.fields) !=
gras_dynar_length(d2->category.union_data.fields))
gras_dynar_foreach(d1->category.union_data.fields, cpt, field1) {
gras_dynar_get(d2->category.union_data.fields, cpt, field2);
- gras_ddt_get_by_code(field1->code,&field_desc_1); /* FIXME: errcode ignored */
- gras_ddt_get_by_code(field2->code,&field_desc_2);
+ gras_datadesc_by_id(field1->code,&field_desc_1); /* FIXME: errcode ignored */
+ gras_datadesc_by_id(field2->code,&field_desc_2);
ret = gras_datadesc_type_cmp(field_desc_1,field_desc_2);
if (ret)
return ret;
case e_gras_datadesc_type_cat_ref:
- if (d1->category.ref_data.discriminant != d2->category.ref_data.discriminant)
- return d1->category.ref_data.discriminant > d2->category.ref_data.discriminant ? 1 : -1;
+ if (d1->category.ref_data.selector != d2->category.ref_data.selector)
+ return d1->category.ref_data.selector > d2->category.ref_data.selector ? 1 : -1;
if (d1->category.ref_data.code != d2->category.ref_data.code)
return d1->category.ref_data.code > d2->category.ref_data.code ? 1 : -1;
/**
* gras_datadesc_cpy:
*
- * Copy the data pointed by src and described by type to a new location, and store a pointer to it in dst.
+ * Copy the data pointed by src and described by type
+ * to a new location, and store a pointer to it in dst.
*
*/
-gras_error_t gras_datadesc_cpy(gras_datadesc_type_t *type, void *src, void **dst) {
+gras_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_dd_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 */
+
+ VERB2("Send a %s (%s)",
+ type->name, gras_datadesc_cat_names[type->category_code]);
+
+ if (type->pre) {
+ type->pre(state,type,data);
+ }
+
+ switch (type->category_code) {
+ case e_gras_datadesc_type_cat_scalar:
+ TRY(gras_trp_chunk_send(sock, data, type->size[GRAS_THISARCH]));
+ break;
+
+ case e_gras_datadesc_type_cat_struct: {
+ gras_dd_cat_struct_t struct_data;
+ gras_dd_cat_field_t *field;
+ char *field_data;
+
+ struct_data = type->category.struct_data;
+ VERB1(">> Send all fields of the structure %s",type->name);
+ gras_dynar_foreach(struct_data.fields, cpt, field) {
+ field_data = data;
+ field_data += field->offset[GRAS_THISARCH];
+
+ TRY(gras_datadesc_by_id(field->code, &sub_type));
+
+ if (field->pre)
+ field->pre(state,sub_type,field_data);
+
+ TRY(gras_datadesc_send_rec(sock,state,refs,sub_type, field_data));
+
+ if (field->post)
+ field->post(state,sub_type,field_data);
+ }
+ VERB1("<< Sent all fields of the structure %s", type->name);
+
+ break;
+ }
+
+ case e_gras_datadesc_type_cat_union: {
+ gras_dd_cat_union_t union_data;
+ gras_dd_cat_field_t *field;
+ int field_num;
+
+ union_data = type->category.union_data;
+
+ /* retrieve the field number */
+ field_num = union_data.selector(state, type, data);
+
+ gras_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));
+
+ /* Send the field number */
+ TRY(gras_dd_send_int(sock, field_num));
+
+ /* Send the content */
+ gras_dynar_get(union_data.fields, field_num, field);
+ TRY(gras_datadesc_by_id(field->code, &sub_type));
+
+ if (field->pre)
+ field->pre(state,sub_type,data);
+
+ TRY(gras_datadesc_send_rec(sock,state,refs, sub_type, data));
+
+ if (field->post)
+ field->post(state,sub_type,data);
+
+ break;
+ }
+
+ case e_gras_datadesc_type_cat_ref: {
+ gras_dd_cat_ref_t ref_data;
+ int ref_code;
+
+ void **ref=(void**)data;
+ void *dummy;
+
+ ref_data = type->category.ref_data;
+
+ /* Detect the referenced type and send it to peer if needed */
+ ref_code = ref_data.code;
+ if (ref_code < 0) {
+ ref_code = ref_data.selector(state,type,data);
+ TRY(gras_dd_send_int(sock, ref_code));
+ }
+
+ /* Send the actual value of the pointer for cycle handling */
+ if (!pointer_type)
+ TRY(gras_datadesc_by_name("data pointer", &pointer_type));
+ TRY(gras_trp_chunk_send(sock, (char*)data,
+ pointer_type->size[GRAS_THISARCH]));
+
+ /* Send the pointed data only if not already sent */
+ if (*(void**)data == NULL) {
+ VERB0("Not sending NULL referenced data");
+ break;
+ }
+ errcode = gras_dict_retrieve_ext(refs,(char*)ref, sizeof(void*), &dummy);
+ if (errcode == mismatch_error) {
+ VERB1("Sending data referenced at %p", *ref);
+ TRY(gras_dict_insert_ext(refs, (char*)ref, sizeof(void*), ref, NULL));
+ TRY(gras_datadesc_by_id(ref_code, &sub_type));
+ TRY(gras_datadesc_send_rec(sock,state,refs, sub_type, *ref));
+
+ } else if (errcode == no_error) {
+ VERB1("Not sending data referenced at %p (already done)", *ref);
+ } else {
+ return errcode;
+ }
+
+ break;
+ }
+
+ case e_gras_datadesc_type_cat_array: {
+ gras_dd_cat_array_t array_data;
+ long int count;
+ char *ptr=data;
+ long int elm_size;
+
+ array_data = type->category.array_data;
+
+ /* determine and send the element count */
+ count = array_data.fixed_size;
+ if (count <= 0) {
+ count = array_data.dynamic_size(state,type,data);
+ gras_assert1(count >=0,
+ "Invalid (negative) array size for type %s",type->name);
+ TRY(gras_dd_send_int(sock, count));
+ }
+
+ /* send the content */
+ TRY(gras_datadesc_by_id(array_data.code, &sub_type));
+ elm_size = sub_type->aligned_size[GRAS_THISARCH];
+ for (cpt=0; cpt<count; cpt++) {
+ TRY(gras_datadesc_send_rec(sock,state,refs, sub_type, ptr));
+ ptr += elm_size;
+ }
+ break;
+ }
+
+ default:
+ gras_assert0(0, "Invalid type");
+ }
+
+ if (type->post) {
+ type->post(state,type,data);
+ }
+
+ return no_error;
+}
+
/**
* gras_datadesc_send:
*
* 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, void *src) {
+gras_error_t gras_datadesc_send(gras_socket_t *sock,
+ gras_datadesc_type_t *type,
+ void *src) {
- RAISE_UNIMPLEMENTED;
+ gras_error_t errcode;
+ gras_dd_cbps_t *state = NULL;
+ gras_dict_t *refs; /* all references already sent */
+
+ TRY(gras_dict_new(&refs));
+ TRY(gras_dd_cbps_new(&state));
+
+ errcode = gras_datadesc_send_rec(sock,state,refs,type,(char*)src);
+
+ gras_dict_free(&refs);
+ gras_dd_cbps_free(&state);
+
+ return errcode;
+}
+
+/**
+ * gras_datadesc_recv_rec:
+ *
+ * Do the data reception job recursively.
+ */
+gras_error_t
+gras_datadesc_recv_rec(gras_socket_t *sock,
+ gras_dd_cbps_t *state,
+ gras_dict_t *refs,
+ gras_datadesc_type_t *type,
+ int r_arch,
+ char **r_data,
+ long int r_lgr,
+ char **dst) {
+
+ gras_error_t errcode;
+ char *l_data = *dst; /* dereference to avoid typo */
+ int cpt;
+ gras_datadesc_type_t *sub_type;
+
+ VERB1("Recv a %s", type->name);
+
+ switch (type->category_code) {
+ case e_gras_datadesc_type_cat_scalar:
+ if (!l_data) {
+ TRY(gras_dd_alloc_ref(refs,type->size[GRAS_THISARCH],r_data,r_lgr, dst));
+ l_data = *dst;
+ }
+
+ if (type->size[GRAS_THISARCH] >= type->size[r_arch]) {
+ TRY(gras_trp_chunk_recv(sock, (char*)l_data, type->size[r_arch]));
+ TRY(gras_dd_convert_elm(type,r_arch, l_data,l_data));
+ } else {
+ void *ptr = NULL;
+ ptr = malloc((size_t)type->size[r_arch]);
+ TRY(gras_trp_chunk_recv(sock, (char*)ptr, type->size[r_arch]));
+ TRY(gras_dd_convert_elm(type,r_arch, ptr,l_data));
+ free(ptr);
+ }
+ break;
+
+ case e_gras_datadesc_type_cat_struct: {
+ gras_dd_cat_struct_t struct_data;
+ gras_dd_cat_field_t *field;
+
+ struct_data = type->category.struct_data;
+
+ if (!l_data) {
+ TRY(gras_dd_alloc_ref(refs,type->size[GRAS_THISARCH],r_data,r_lgr, dst));
+ l_data = *dst;
+ }
+
+ VERB1(">> Receive all fields of the structure %s",type->name);
+ gras_dynar_foreach(struct_data.fields, cpt, field) {
+ char *field_data = l_data + field->offset[GRAS_THISARCH];
+
+ TRY(gras_datadesc_by_id(field->code, &sub_type));
+
+ TRY(gras_datadesc_recv_rec(sock,state,refs, sub_type,
+ r_arch,NULL,0,
+ &field_data));
+ }
+ VERB1("<< Received all fields of the structure %s", type->name);
+
+ break;
+ }
+
+ case e_gras_datadesc_type_cat_union: {
+ gras_dd_cat_union_t union_data;
+ gras_dd_cat_field_t *field;
+ int field_num;
+
+ union_data = type->category.union_data;
+
+ if (!l_data) {
+ TRY(gras_dd_alloc_ref(refs,type->size[GRAS_THISARCH],r_data,r_lgr, dst));
+ l_data = *dst;
+ }
+
+ /* retrieve the field number */
+ TRY(gras_dd_recv_int(sock, r_arch, &field_num));
+ 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))
+ 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));
+
+ /* Recv the content */
+ gras_dynar_get(union_data.fields, field_num, field);
+ TRY(gras_datadesc_by_id(field->code, &sub_type));
+
+ TRY(gras_datadesc_recv_rec(sock,state,refs, sub_type,
+ r_arch,NULL,0,
+ dst));
+ break;
+ }
+
+ case e_gras_datadesc_type_cat_ref: {
+ char **r_ref = NULL;
+ char **l_ref = NULL;
+ gras_dd_cat_ref_t ref_data;
+ int ref_code;
+
+ ref_data = type->category.ref_data;
+
+ /* Get the referenced type locally or from peer */
+ ref_code = ref_data.code;
+ if (ref_code < 0)
+ TRY(gras_dd_recv_int(sock, r_arch, &ref_code));
+
+ /* Get the actual value of the pointer for cycle handling */
+ if (!pointer_type)
+ TRY(gras_datadesc_by_name("data pointer", &pointer_type));
+
+ if (! (r_ref = malloc((size_t)pointer_type->size[r_arch])) )
+ RAISE_MALLOC;
+ TRY(gras_trp_chunk_recv(sock, (char*)r_ref,
+ pointer_type->size[r_arch]));
+
+ if (!l_data) {
+ TRY(gras_dd_alloc_ref(refs,type->size[GRAS_THISARCH],r_data,r_lgr, dst));
+ l_data = *dst;
+ }
+
+ /* Receive the pointed data only if not already sent */
+ if (gras_dd_is_r_null(r_ref, pointer_type->size[r_arch])) {
+ VERB1("Not receiving data remotely referenced at %p since it's NULL",
+ *(void **)r_ref);
+ *(void**)l_data = NULL;
+ break;
+ }
+ errcode = gras_dict_retrieve_ext(refs,
+ (char*)r_ref, pointer_type->size[r_arch],
+ (void**)&l_ref);
+
+
+ if (errcode == mismatch_error) {
+ void *l_referenced=NULL;
+ VERB1("Receiving data remotely referenced at %p", *(void**)r_ref);
+
+ TRY(gras_datadesc_by_id(ref_code, &sub_type));
+ // DEBUG2("l_ref= %p; &l_ref=%p",l_referenced,&l_referenced);
+ TRY(gras_datadesc_recv_rec(sock,state,refs, sub_type,
+ r_arch,r_ref,pointer_type->size[r_arch],
+ (char**)&l_referenced));
+ *(void**)l_data=l_referenced;
+
+ } else if (errcode == no_error) {
+ VERB1("NOT receiving data remotely referenced at %p (already done). ",
+ *(void**)r_ref);
+
+ VERB2("l_ref=%p; *l_ref=%p", l_ref,*l_ref);
+
+ *(void**)l_data=*l_ref;
+
+ } else {
+ return errcode;
+ }
+ VERB1("*l_data=%p",*(void**)l_data);
+ break;
+ }
+
+ case e_gras_datadesc_type_cat_array: {
+ gras_dd_cat_array_t array_data;
+ int count;
+ char *ptr;
+ long int elm_size;
+
+ array_data = type->category.array_data;
+ /* determine element count locally or from peer */
+ count = array_data.fixed_size;
+ if (count <= 0)
+ TRY(gras_dd_recv_int(sock, r_arch, &count));
+ if (count < 0)
+ RAISE1(mismatch_error,
+ "Invalid (negative) array size for type %s",type->name);
+
+ /* receive the content */
+ TRY(gras_datadesc_by_id(array_data.code, &sub_type));
+ elm_size = sub_type->aligned_size[GRAS_THISARCH];
+
+ if (!l_data) {
+ TRY(gras_dd_alloc_ref(refs,elm_size*count,r_data,r_lgr, dst));
+ l_data = *dst;
+ }
+
+ ptr = l_data;
+ for (cpt=0; cpt<count; cpt++) {
+ TRY(gras_datadesc_recv_rec(sock,state,refs, sub_type,
+ r_arch, NULL, 0, &ptr));
+ ptr += elm_size;
+ }
+ break;
+ }
+
+ default:
+ gras_assert0(0, "Invalid type");
+ }
+
+ return no_error;
}
/**
* gras_datadesc_recv:
*
- * Get an instance of the datatype described by @type from the @socket, and store a pointer to it in @dst
+ * Get an instance of the datatype described by @type from the @socket,
+ * and store a pointer to it in @dst
*
*/
gras_error_t
-gras_datadesc_recv(gras_socket_t *sock, gras_datadesc_type_t *type, void **dst) {
- RAISE_UNIMPLEMENTED;
+gras_datadesc_recv(gras_socket_t *sock,
+ gras_datadesc_type_t *type,
+ int r_arch,
+ void **dst) {
+
+ gras_error_t errcode;
+ gras_dd_cbps_t *state = NULL; /* callback persistent state */
+ gras_dict_t *refs; /* all references already sent */
+
+ TRY(gras_dict_new(&refs));
+ TRY(gras_dd_cbps_new(&state));
+ if (*dst)
+ VERB0("'*dst' not NULL in datadesc_recv. Data to be copied there without malloc");
+
+ errcode = gras_datadesc_recv_rec(sock, state, refs, type,
+ r_arch, NULL, 0,
+ (char **) dst);
+
+ gras_dict_free(&refs);
+ gras_dd_cbps_free(&state);
+
+ return errcode;
}
