Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
sed -i -e 's/\t/ /g' *.[ch] Please people, stop using tabs in your source
[simgrid.git] / src / gras / Msg / sg_msg.c
index f82f99a..78d510d 100644 (file)
@@ -7,18 +7,92 @@
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include "xbt/ex.h"
-
+#include "xbt/xbt_socket_private.h" /* FIXME */
+#include "xbt/datadesc.h"
+#include "xbt/datadesc/datadesc_interface.h" /* FIXME */
 #include "gras/Virtu/virtu_sg.h"
-
 #include "gras/Msg/msg_private.h"
-
-#include "gras/DataDesc/datadesc_interface.h"
 #include "gras/Transport/transport_interface.h" /* gras_trp_chunk_send/recv */
 #include "gras/Transport/transport_private.h"   /* sock->data */
 
 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(gras_msg);
 
 typedef void *gras_trp_bufdata_;
+#include "simgrid/simix.h"
+#include "simix/smx_private.h"
+
+/* Yeah, the following is awfull, breaking the encapsulation of at least 3 modules
+ * at the same time, but I'm tracking this bug since too long now, I want it dead. now.
+ * Sorry, Mt.
+ */
+typedef struct {
+  xbt_thread_t listener;
+} *fake_gras_msg_listener_t;
+typedef struct {
+  smx_process_t s_process;
+} *fake_xbt_thread_t;
+
+int gras_socket_im_the_server(xbt_socket_t sock)
+{
+  gras_trp_sg_sock_data_t sock_data = sock->data;
+  gras_procdata_t* pd;
+  gras_msg_listener_t l;
+  xbt_thread_t listener_thread;
+  smx_process_t server_listener_process=NULL;
+  smx_process_t client_listener_process = NULL;
+
+  XBT_VERB("Am I the server of socket %p (client = %p, server = %p) ? process self: %p", sock, sock_data->client, sock_data->server, SIMIX_process_self());
+
+  if (sock_data->server == SIMIX_process_self()) {
+    XBT_VERB("I am the server");
+    return 1;
+  }
+  if (sock_data->client == SIMIX_process_self()) {
+    XBT_VERB("I am the client");
+    return 0;
+  }
+  XBT_VERB("I am neither the client nor the server, probably a listener");
+
+  /* neither the client nor the server. Check their respective listeners */
+  pd = ((gras_procdata_t*)SIMIX_process_get_data(sock_data->server));
+  l = pd->listener;
+  if (l) {
+    listener_thread = ((fake_gras_msg_listener_t)l)->listener;
+    server_listener_process = ((fake_xbt_thread_t)listener_thread)->s_process;
+    if (server_listener_process == SIMIX_process_self()) {
+      XBT_VERB("I am the listener of the server");
+      return 1;
+    }
+  }
+
+  if (sock_data->client) {
+    pd = ((gras_procdata_t*)SIMIX_process_get_data(sock_data->client));
+    l = pd->listener;
+    if (l) {
+      listener_thread = ((fake_gras_msg_listener_t)l)->listener;
+      client_listener_process = ((fake_xbt_thread_t)listener_thread)->s_process;
+      if (client_listener_process == SIMIX_process_self()) {
+  XBT_VERB("I am the listener of the client");
+        return 0;
+      }
+    }
+  }
+  /* THAT'S BAD! I should be either client or server of the sockets I get messages on!! */
+  /* This is where the bug is visible. Try to die as loudly as possible */
+  xbt_backtrace_display_current();
+  ((char*)sock)[sizeof(*sock)+1] = '0'; /* Try to make valgrind angry to see where that damn socket comes from */
+  if(system(bprintf("cat /proc/%d/maps 1>&2",getpid()))){}
+  XBT_INFO("I'm not the client in socket %p (comm:%p, rdvser=%p, rdvcli=%p) to %s, that's %s",
+      sock,sock_data->comm_recv,sock_data->rdv_server,sock_data->rdv_client,
+      SIMIX_host_get_name(SIMIX_process_get_host(sock_data->server)),
+      sock_data->client?SIMIX_host_get_name(SIMIX_process_get_host(sock_data->client)):"(no client)");
+  XBT_INFO("server:%s (%p) server_listener=%p client:%s (%p) client_listener=%p, I'm %p",
+      SIMIX_host_get_name(SIMIX_process_get_host(sock_data->server)), sock_data->server,server_listener_process,
+      sock_data->client?SIMIX_host_get_name(SIMIX_process_get_host(sock_data->client)):"(no client)", sock_data->client,client_listener_process,
+          SIMIX_process_self());
+  xbt_die("Bailing out after finding that damn bug");
+
+}
 
 gras_msg_t gras_msg_recv_any(void)
 {
@@ -26,28 +100,26 @@ gras_msg_t gras_msg_recv_any(void)
       (gras_trp_procdata_t) gras_libdata_by_name("gras_trp");
   gras_msg_t msg;
   /* Build a dynar of all communications I could get something from */
-  xbt_dynar_t comms = xbt_dynar_new(sizeof(smx_comm_t), NULL);
+  xbt_dynar_t comms = xbt_dynar_new(sizeof(smx_action_t), NULL);
   unsigned int cursor = 0;
   int got = 0;
-  smx_comm_t comm = NULL;
-  gras_socket_t sock = NULL;
+  xbt_socket_t sock = NULL;
   gras_trp_sg_sock_data_t sock_data;
   xbt_dynar_foreach(trp_proc->sockets, cursor, sock) {
     sock_data = (gras_trp_sg_sock_data_t) sock->data;
 
 
-    DEBUG5
+    XBT_DEBUG
         ("Consider socket %p (data:%p; Here rdv: %p; Remote rdv: %p; Comm %p) to get a message",
          sock, sock_data,
-         (sock_data->server ==
-          SIMIX_process_self())? sock_data->
-         rdv_server : sock_data->rdv_client,
-         (sock_data->server ==
-          SIMIX_process_self())? sock_data->
-         rdv_client : sock_data->rdv_server, sock_data->comm_recv);
+         gras_socket_im_the_server(sock)?
+             sock_data->rdv_server : sock_data->rdv_client,
+         gras_socket_im_the_server(sock)?
+             sock_data->rdv_client : sock_data->rdv_server,
+         sock_data->comm_recv);
 
 
-    /* The following assert fails in some valid conditions, we need to
+    /* If the following assert fails in some valid conditions, we need to
      * change the code downward looking for the socket again.
      *
      * For now it relies on the facts (A) that sockets and comms are aligned
@@ -74,52 +146,47 @@ gras_msg_t gras_msg_recv_any(void)
      *    an iterator, incremented only when the socket has a comm. And we've the right socket
      *    when that iterator is equal to "got", the result of waitany. Not needed if B holds.
      */
-    xbt_assert1(sock_data->comm_recv,
+    xbt_assert(sock_data->comm_recv,
                 "Comm_recv of socket %p is empty; please report that nasty bug",
                 sock);
     /* End of paranoia */
 
-    VERB3("Copy comm_recv %p rdv:%p (other rdv:%p)",
+    XBT_VERB("Consider receiving messages from on comm_recv %p rdv:%p (other rdv:%p)",
           sock_data->comm_recv,
-          (sock_data->server ==
-           SIMIX_process_self())? sock_data->
-          rdv_server : sock_data->rdv_client,
-          (sock_data->server ==
-           SIMIX_process_self())? sock_data->
-          rdv_client : sock_data->rdv_server);
+          gras_socket_im_the_server(sock)?
+              sock_data->rdv_server : sock_data->rdv_client,
+          gras_socket_im_the_server(sock)?
+              sock_data->rdv_client : sock_data->rdv_server);
     xbt_dynar_push(comms, &(sock_data->comm_recv));
   }
-  VERB1("Wait on %ld 'sockets'", xbt_dynar_length(comms));
+  XBT_VERB("Wait on %lu 'sockets'", xbt_dynar_length(comms));
   /* Wait for the end of any of these communications */
-  got = SIMIX_network_waitany(comms);
+  got = simcall_comm_waitany(comms);
 
   /* retrieve the message sent in that communication */
-  xbt_dynar_get_cpy(comms, got, &(comm));
-  msg = SIMIX_communication_get_data(comm);
-  VERB1("Got something. Communication %p's over", comm);
+  sock = xbt_dynar_get_as(trp_proc->sockets, got, xbt_socket_t);
+  sock_data = (gras_trp_sg_sock_data_t) sock->data;
+  msg = sock_data->msg;
+  XBT_VERB("Got something. Communication over rdv_server=%p, rdv_client=%p",
+      sock_data->rdv_server,sock_data->rdv_client);
 
   /* Reinstall a waiting communication on that rdv */
-  /* Get the sock again
-   * For that, we use the fact that */
-  sock = xbt_dynar_get_as(trp_proc->sockets, got, gras_socket_t);
 /*  xbt_dynar_foreach(trp_proc->sockets,cursor,sock) {
     sock_data = (gras_trp_sg_sock_data_t) sock->data;
     if (sock_data->comm_recv && sock_data->comm_recv == comm)
       break;
   }
   */
-  sock_data = (gras_trp_sg_sock_data_t) sock->data;
   sock_data->comm_recv =
-      SIMIX_network_irecv(sock_data->rdv_server != NULL ?
-                          //(sock_data->server==SIMIX_process_self())?
-                          sock_data->rdv_server
-                          : sock_data->rdv_client, NULL, 0);
+      simcall_comm_irecv(gras_socket_im_the_server(sock) ?
+                          sock_data->rdv_server : sock_data->rdv_client,
+                          &sock_data->msg, NULL, NULL, NULL);
 
   return msg;
 }
 
 
-void gras_msg_send_ext(gras_socket_t sock,
+void gras_msg_send_ext(xbt_socket_t sock,
                        e_gras_msg_kind_t kind,
                        unsigned long int ID,
                        gras_msgtype_t msgtype, void *payload)
@@ -127,51 +194,84 @@ void gras_msg_send_ext(gras_socket_t sock,
   int whole_payload_size = 0;   /* msg->payload_size is used to memcpy the payload.
                                    This is used to report the load onto the simulator. It also counts the size of pointed stuff */
   gras_msg_t msg;               /* message to send */
-  smx_comm_t comm;
+  smx_action_t comm;
   gras_trp_sg_sock_data_t sock_data = (gras_trp_sg_sock_data_t) sock->data;
 
   smx_rdv_t target_rdv =
-      (sock_data->server ==
-       SIMIX_process_self())? sock_data->
-      rdv_client : sock_data->rdv_server;
+      (sock_data->server == SIMIX_process_self())?
+          sock_data->rdv_client :
+          sock_data->rdv_server;
 
   /*initialize gras message */
   msg = xbt_new(s_gras_msg_t, 1);
+  sock->refcount++;
   msg->expe = sock;
   msg->kind = kind;
   msg->type = msgtype;
   msg->ID = ID;
+  XBT_PUBLIC(xbt_datadesc_type_t) xbt_datadesc_by_id(long int code);
+
+  /* to debug */
+  XBT_PUBLIC(void) xbt_datadesc_type_dump(const xbt_datadesc_type_t ddt);
+  XBT_PUBLIC(const char *) xbt_datadesc_arch_name(int code);
+
+  /* compare two data type description */
+  XBT_PUBLIC(int)
+  xbt_datadesc_type_cmp(const xbt_datadesc_type_t d1,
+                         const xbt_datadesc_type_t d2);
+
+  /* Access function */
+  XBT_PUBLIC(int) xbt_datadesc_size(xbt_datadesc_type_t type);
+  /* Described data exchanges: direct use */
+  XBT_PUBLIC(int) xbt_datadesc_memcpy(xbt_datadesc_type_t type, void *src,
+                                       void *dst);
+  XBT_PUBLIC(void) xbt_datadesc_send(xbt_socket_t sock,
+                                      xbt_datadesc_type_t type, void *src);
+  XBT_PUBLIC(void) xbt_datadesc_recv(xbt_socket_t sock,
+                                      xbt_datadesc_type_t type, int r_arch,
+                                      void *dst);
+
+  /* Described data exchanges: IDL compilation FIXME: not implemented*/
+  void xbt_datadesc_gen_cpy(xbt_datadesc_type_t type, void *src,
+                             void **dst);
+  void xbt_datadesc_gen_send(xbt_socket_t sock,
+                              xbt_datadesc_type_t type, void *src);
+  void xbt_datadesc_gen_recv(xbt_socket_t sock,
+                              xbt_datadesc_type_t type, int r_arch,
+                              void *dst);
+
 
-  VERB2("Send msg %s to rdv %p", msgtype->name, target_rdv);
+  XBT_VERB("Send msg %s (%s) to rdv %p sock %p",
+      msgtype->name,  e_gras_msg_kind_names[kind], target_rdv, sock);
 
   if (kind == e_gras_msg_kind_rpcerror) {
     /* error on remote host, careful, payload is an exception */
-    msg->payl_size = gras_datadesc_size(gras_datadesc_by_name("ex_t"));
+    msg->payl_size = xbt_datadesc_size(xbt_datadesc_by_name("ex_t"));
     msg->payl = xbt_malloc(msg->payl_size);
     whole_payload_size =
-        gras_datadesc_memcpy(gras_datadesc_by_name("ex_t"), payload,
+        xbt_datadesc_memcpy(xbt_datadesc_by_name("ex_t"), payload,
                              msg->payl);
   } else if (kind == e_gras_msg_kind_rpcanswer) {
-    msg->payl_size = gras_datadesc_size(msgtype->answer_type);
+    msg->payl_size = xbt_datadesc_size(msgtype->answer_type);
     if (msg->payl_size)
       msg->payl = xbt_malloc(msg->payl_size);
     else
       msg->payl = NULL;
 
     if (msgtype->answer_type)
-      whole_payload_size = gras_datadesc_memcpy(msgtype->answer_type,
+      whole_payload_size = xbt_datadesc_memcpy(msgtype->answer_type,
                                                 payload, msg->payl);
   } else {
-    msg->payl_size = gras_datadesc_size(msgtype->ctn_type);
+    msg->payl_size = xbt_datadesc_size(msgtype->ctn_type);
     msg->payl = msg->payl_size ? xbt_malloc(msg->payl_size) : NULL;
     if (msgtype->ctn_type)
-      whole_payload_size = gras_datadesc_memcpy(msgtype->ctn_type,
+      whole_payload_size = xbt_datadesc_memcpy(msgtype->ctn_type,
                                                 payload, msg->payl);
   }
 
-  SIMIX_network_send(target_rdv, whole_payload_size, -1, -1, &msg,
-                     sizeof(void *), &comm, msg);
+  comm = simcall_comm_isend(target_rdv, whole_payload_size, -1, msg, sizeof(void *), NULL,NULL, msg, 0);
+  simcall_comm_wait(comm, -1);
 
-  VERB0("Message sent");
+  XBT_VERB("Message sent (and received)");
 
 }