Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Missing include.
[simgrid.git] / examples / msg / actions / actions.c
index 7a00e85..6c63e71 100644 (file)
@@ -7,16 +7,44 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include "msg/msg.h"            /* Yeah! If you want to use msg, you need to include msg/msg.h */
-#include "simix/simix.h"        /* semaphores for the barrier */
+#include "simgrid/simix.h"        /* semaphores for the barrier */
 #include "xbt.h"                /* calloc, printf */
-#include "simgrid_config.h"     /* getline */
 #include "instr/instr_private.h"
+#include <xbt/replay.h>
+
+/** @addtogroup MSG_examples
+ *
+ *  @section MSG_ex_actions Trace driven simulations
+ * 
+ *  The <b>actions/actions.c</b> example demonstrates how to run trace-driven simulations. It
+ *  is very handy when you want to test an algorithm or protocol that
+ *  does nothing unless it receives some events from outside. For
+ *  example, a P2P protocol reacts to requests from the user, but
+ *  does nothing if there is no such event. 
+ * 
+ *  In such situations, SimGrid allows to write your protocol in your
+ *  C file, and the events to react to in a separate text file.
+ *  Declare a function handling each of the events that you want to
+ *  accept in your trace files, register them using \ref
+ *  xbt_replay_action_register in your main, and then use \ref
+ *  MSG_action_trace_run to launch the simulation. You can either
+ *  have one trace file containing all your events, or a file per
+ *  simulated process. Check the tesh files in the example directory
+ *  for details on how to do it.
+ *
+ *  This example uses this approach to replay MPI-like traces. It
+ *  comes with a set of event handlers reproducing MPI events. This
+ *  is somehow similar to SMPI, yet differently implemented. This
+ *  code should probably be changed to use SMPI internals instead,
+ *  but wasn't, so far.
+ * 
+ */
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(actions,
                              "Messages specific for this msg example");
 int communicator_size = 0;
 
-static void action_Isend(xbt_dynar_t action);
+static void action_Isend(const char *const *action);
 
 typedef struct  {
   int last_Irecv_sender_id;
@@ -37,7 +65,7 @@ static double parse_double(const char *string)
 
   value = strtod(string, &endptr);
   if (*endptr != '\0')
-    THROW1(unknown_error, 0, "%s is not a double", string);
+    THROWF(unknown_error, 0, "%s is not a double", string);
   return value;
 }
 
@@ -59,39 +87,36 @@ static void asynchronous_cleanup(void) {
 }
 
 /* My actions */
-static void action_send(xbt_dynar_t action)
+static void action_send(const char *const *action)
 {
   char *name = NULL;
   char to[250];
-  char *size_str = xbt_dynar_get_as(action, 3, char *);
+  const char *size_str = action[3];
   double size=parse_double(size_str);
   double clock = MSG_get_clock(); /* this "call" is free thanks to inlining */
 
-  sprintf(to, "%s_%s", MSG_process_get_name(MSG_process_self()),
-          xbt_dynar_get_as(action, 2, char *));
-  //  char *to =  xbt_dynar_get_as(action, 2, char *);
+  sprintf(to, "%s_%s", MSG_process_get_name(MSG_process_self()),action[2]);
 
   if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    name = xbt_str_join(action, " ");
+    name = xbt_str_join_array(action, " ");
 
 #ifdef HAVE_TRACING
   int rank = get_rank(MSG_process_get_name(MSG_process_self()));
-  int dst_traced = get_rank(xbt_dynar_get_as(action, 2, char *));
+  int dst_traced = get_rank(action[2]);
   TRACE_smpi_ptp_in(rank, rank, dst_traced, "send");
   TRACE_smpi_send(rank, rank, dst_traced);
 #endif
 
-  DEBUG2("Entering Send: %s (size: %lg)", name, size);
+  XBT_DEBUG("Entering Send: %s (size: %lg)", name, size);
    if (size<65536) {
      action_Isend(action);
    } else {
      MSG_task_send(MSG_task_create(name, 0, size, NULL), to);
    }
    
-   VERB2("%s %f", name, MSG_get_clock() - clock);
+   XBT_VERB("%s %f", name, MSG_get_clock() - clock);
 
-  if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    free(name);
+  free(name);
 
 #ifdef HAVE_TRACING
   TRACE_smpi_ptp_out(rank, rank, dst_traced, "send");
@@ -100,57 +125,55 @@ static void action_send(xbt_dynar_t action)
   asynchronous_cleanup();
 }
 
-static void action_Isend(xbt_dynar_t action)
+static void action_Isend(const char *const *action)
 {
   char to[250];
-  //  char *to = xbt_dynar_get_as(action, 2, char *);
-  char *size = xbt_dynar_get_as(action, 3, char *);
+  const char *size = action[3];
   double clock = MSG_get_clock();
   process_globals_t globals = (process_globals_t) MSG_process_get_data(MSG_process_self());
 
 
-  sprintf(to, "%s_%s", MSG_process_get_name(MSG_process_self()),
-          xbt_dynar_get_as(action, 2, char *));
-
+  sprintf(to, "%s_%s", MSG_process_get_name(MSG_process_self()),action[2]);
   msg_comm_t comm =
       MSG_task_isend( MSG_task_create(to,0,parse_double(size),NULL), to);
   xbt_dynar_push(globals->isends,&comm);
 
-  DEBUG1("Isend on %s", MSG_process_get_name(MSG_process_self()));
-  VERB2("%s %f", xbt_str_join(action, " "), MSG_get_clock() - clock);
+  XBT_DEBUG("Isend on %s", MSG_process_get_name(MSG_process_self()));
+  XBT_VERB("%s %f", xbt_str_join_array(action, " "), MSG_get_clock() - clock);
 
   asynchronous_cleanup();
 }
 
 
-static void action_recv(xbt_dynar_t action)
+static void action_recv(const char *const *action)
 {
   char *name = NULL;
   char mailbox_name[250];
   m_task_t task = NULL;
   double clock = MSG_get_clock();
-  //FIXME: argument of action ignored so far; semantic not clear
-  //char *from=xbt_dynar_get_as(action,2,char*);
-  sprintf(mailbox_name, "%s_%s", xbt_dynar_get_as(action, 2, char *),
+
+  sprintf(mailbox_name, "%s_%s", action[2],
           MSG_process_get_name(MSG_process_self()));
 
   if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    name = xbt_str_join(action, " ");
+    name = xbt_str_join_array(action, " ");
 
 #ifdef HAVE_TRACING
   int rank = get_rank(MSG_process_get_name(MSG_process_self()));
-  int src_traced = get_rank(xbt_dynar_get_as(action, 2, char *));
+  int src_traced = get_rank(action[2]);
   TRACE_smpi_ptp_in(rank, src_traced, rank, "recv");
 #endif
 
-  DEBUG1("Receiving: %s", name);
-  MSG_task_receive(&task, mailbox_name);
+  XBT_DEBUG("Receiving: %s", name);
+  MSG_error_t res = MSG_task_receive(&task, mailbox_name);
   //  MSG_task_receive(&task, MSG_process_get_name(MSG_process_self()));
-  VERB2("%s %f", name, MSG_get_clock() - clock);
-  MSG_task_destroy(task);
+  XBT_VERB("%s %f", name, MSG_get_clock() - clock);
 
-  if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    free(name);
+  if (res == MSG_OK) {
+    MSG_task_destroy(task);
+  }
+
+  free(name);
 #ifdef HAVE_TRACING
   TRACE_smpi_ptp_out(rank, src_traced, rank, "recv");
   TRACE_smpi_recv(rank, src_traced, rank);
@@ -159,23 +182,23 @@ static void action_recv(xbt_dynar_t action)
   asynchronous_cleanup();
 }
 
-static void action_Irecv(xbt_dynar_t action)
+static void action_Irecv(const char *const *action)
 {
   char mailbox[250];
   double clock = MSG_get_clock();
   process_globals_t globals = (process_globals_t) MSG_process_get_data(MSG_process_self());
 
-  DEBUG1("Irecv on %s", MSG_process_get_name(MSG_process_self()));
+  XBT_DEBUG("Irecv on %s", MSG_process_get_name(MSG_process_self()));
 #ifdef HAVE_TRACING
   int rank = get_rank(MSG_process_get_name(MSG_process_self()));
-  int src_traced = get_rank(xbt_dynar_get_as(action, 2, char *));
+  int src_traced = get_rank(action[2]);
   globals->last_Irecv_sender_id = src_traced;
   MSG_process_set_data(MSG_process_self(), (void *) globals);
 
   TRACE_smpi_ptp_in(rank, src_traced, rank, "Irecv");
 #endif
 
-  sprintf(mailbox, "%s_%s", xbt_dynar_get_as(action, 2, char *),
+  sprintf(mailbox, "%s_%s", action[2],
           MSG_process_get_name(MSG_process_self()));
   m_task_t t=NULL;
   xbt_dynar_push(globals->tasks,&t);
@@ -185,7 +208,7 @@ static void action_Irecv(xbt_dynar_t action)
           mailbox);
   xbt_dynar_push(globals->irecvs,&c);
 
-  VERB2("%s %f", xbt_str_join(action, " "), MSG_get_clock() - clock);
+  XBT_VERB("%s %f", xbt_str_join_array(action, " "), MSG_get_clock() - clock);
 
 #ifdef HAVE_TRACING
   TRACE_smpi_ptp_out(rank, src_traced, rank, "Irecv");
@@ -195,7 +218,7 @@ static void action_Irecv(xbt_dynar_t action)
 }
 
 
-static void action_wait(xbt_dynar_t action)
+static void action_wait(const char *const *action)
 {
   char *name = NULL;
   m_task_t task = NULL;
@@ -203,11 +226,11 @@ static void action_wait(xbt_dynar_t action)
   double clock = MSG_get_clock();
   process_globals_t globals = (process_globals_t) MSG_process_get_data(MSG_process_self());
 
-  xbt_assert1(xbt_dynar_length(globals->irecvs),
-      "action wait not preceeded by any irecv: %s", xbt_str_join(action," "));
+  xbt_assert(xbt_dynar_length(globals->irecvs),
+      "action wait not preceded by any irecv: %s", xbt_str_join_array(action," "));
 
   if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    name = xbt_str_join(action, " ");
+    name = xbt_str_join_array(action, " ");
 #ifdef HAVE_TRACING
   process_globals_t counters = (process_globals_t) MSG_process_get_data(MSG_process_self());
   int src_traced = counters->last_Irecv_sender_id;
@@ -215,16 +238,15 @@ static void action_wait(xbt_dynar_t action)
   TRACE_smpi_ptp_in(rank, src_traced, rank, "wait");
 #endif
 
-  DEBUG1("Entering %s", name);
+  XBT_DEBUG("Entering %s", name);
   comm = xbt_dynar_pop_as(globals->irecvs,msg_comm_t);
   MSG_comm_wait(comm,-1);
   task = xbt_dynar_pop_as(globals->tasks,m_task_t);
   MSG_comm_destroy(comm);
   MSG_task_destroy(task);
 
-  VERB2("%s %f", name, MSG_get_clock() - clock);
-  if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    free(name);
+  XBT_VERB("%s %f", name, MSG_get_clock() - clock);
+  free(name);
 #ifdef HAVE_TRACING
   TRACE_smpi_ptp_out(rank, src_traced, rank, "wait");
   TRACE_smpi_recv(rank, src_traced, rank);
@@ -233,7 +255,7 @@ static void action_wait(xbt_dynar_t action)
 }
 
 /* FIXME: that's a poor man's implementation: we should take the message exchanges into account */
-static void action_barrier(xbt_dynar_t action)
+static void action_barrier(const char *const *action)
 {
   char *name = NULL;
   static smx_mutex_t mutex = NULL;
@@ -241,52 +263,51 @@ static void action_barrier(xbt_dynar_t action)
   static int processes_arrived_sofar=0;
 
   if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    name = xbt_str_join(action, " ");
+    name = xbt_str_join_array(action, " ");
 
   if (mutex == NULL) {       // first arriving on the barrier
-    mutex = SIMIX_req_mutex_init();
-    cond = SIMIX_req_cond_init();
+    mutex = simcall_mutex_init();
+    cond = simcall_cond_init();
     processes_arrived_sofar=0;
   }
-  DEBUG2("Entering barrier: %s (%d already there)", name,processes_arrived_sofar);
+  XBT_DEBUG("Entering barrier: %s (%d already there)", name,processes_arrived_sofar);
 
-  SIMIX_req_mutex_lock(mutex);
+  simcall_mutex_lock(mutex);
   if (++processes_arrived_sofar == communicator_size) {
-    SIMIX_req_cond_broadcast(cond);
-    SIMIX_req_mutex_unlock(mutex);
+    simcall_cond_broadcast(cond);
+    simcall_mutex_unlock(mutex);
   } else {
-    SIMIX_req_cond_wait(cond,mutex);
-    SIMIX_req_mutex_unlock(mutex);
+    simcall_cond_wait(cond,mutex);
+    simcall_mutex_unlock(mutex);
   }
 
-  DEBUG1("Exiting barrier: %s", name);
+  XBT_DEBUG("Exiting barrier: %s", name);
 
   processes_arrived_sofar--;
   if (!processes_arrived_sofar) {
-    SIMIX_req_cond_destroy(cond);
-    SIMIX_req_mutex_destroy(mutex);
+    simcall_cond_destroy(cond);
+    simcall_mutex_destroy(mutex);
     mutex=NULL;
   }
 
-  if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    free(name);
+  free(name);
 
 }
 
-static void action_reduce(xbt_dynar_t action)
+static void action_reduce(const char *const *action)
 {
        int i;
        char *reduce_identifier;
        char mailbox[80];
-       double comm_size = parse_double(xbt_dynar_get_as(action, 2, char *));
-       double comp_size = parse_double(xbt_dynar_get_as(action, 3, char *));
+       double comm_size = parse_double(action[2]);
+       double comp_size = parse_double(action[3]);
        m_task_t comp_task = NULL;
        const char *process_name;
        double clock = MSG_get_clock();
 
        process_globals_t counters = (process_globals_t) MSG_process_get_data(MSG_process_self());
 
-       xbt_assert0(communicator_size, "Size of Communicator is not defined, "
+       xbt_assert(communicator_size, "Size of Communicator is not defined, "
                        "can't use collective operations");
 
        process_name = MSG_process_get_name(MSG_process_self());
@@ -294,7 +315,7 @@ static void action_reduce(xbt_dynar_t action)
        reduce_identifier = bprintf("reduce_%d", counters->reduce_counter++);
 
        if (!strcmp(process_name, "p0")) {
-               DEBUG2("%s: %s is the Root", reduce_identifier, process_name);
+               XBT_DEBUG("%s: %s is the Root", reduce_identifier, process_name);
 
                msg_comm_t *comms = xbt_new0(msg_comm_t,communicator_size-1);
            m_task_t *tasks = xbt_new0(m_task_t,communicator_size-1);
@@ -310,36 +331,36 @@ static void action_reduce(xbt_dynar_t action)
            free(tasks);
 
            comp_task = MSG_task_create("reduce_comp", comp_size, 0, NULL);
-           DEBUG1("%s: computing 'reduce_comp'", reduce_identifier);
+           XBT_DEBUG("%s: computing 'reduce_comp'", reduce_identifier);
            MSG_task_execute(comp_task);
            MSG_task_destroy(comp_task);
-           DEBUG1("%s: computed", reduce_identifier);
+           XBT_DEBUG("%s: computed", reduce_identifier);
 
        } else {
-               DEBUG2("%s: %s sends", reduce_identifier, process_name);
+               XBT_DEBUG("%s: %s sends", reduce_identifier, process_name);
                sprintf(mailbox, "%s_%s_p0", reduce_identifier, process_name);
-           DEBUG1("put on %s", mailbox);
+           XBT_DEBUG("put on %s", mailbox);
            MSG_task_send(MSG_task_create(reduce_identifier, 0, comm_size, NULL),
                          mailbox);
        }
 
-       VERB2("%s %f", xbt_str_join(action, " "), MSG_get_clock() - clock);
+       XBT_VERB("%s %f", xbt_str_join_array(action, " "), MSG_get_clock() - clock);
        free(reduce_identifier);
 }
 
-static void action_bcast(xbt_dynar_t action)
+static void action_bcast(const char *const *action)
 {
        int i;
        char *bcast_identifier;
        char mailbox[80];
-       double comm_size = parse_double(xbt_dynar_get_as(action, 2, char *));
+       double comm_size = parse_double(action[2]);
        m_task_t task = NULL;
        const char *process_name;
        double clock = MSG_get_clock();
 
        process_globals_t counters = (process_globals_t) MSG_process_get_data(MSG_process_self());
 
-       xbt_assert0(communicator_size, "Size of Communicator is not defined, "
+       xbt_assert(communicator_size, "Size of Communicator is not defined, "
                        "can't use collective operations");
 
        process_name = MSG_process_get_name(MSG_process_self());
@@ -347,7 +368,7 @@ static void action_bcast(xbt_dynar_t action)
        bcast_identifier = bprintf("bcast_%d", counters->bcast_counter++);
 
        if (!strcmp(process_name, "p0")) {
-               DEBUG2("%s: %s is the Root", bcast_identifier, process_name);
+               XBT_DEBUG("%s: %s is the Root", bcast_identifier, process_name);
 
            msg_comm_t *comms = xbt_new0(msg_comm_t,communicator_size-1);
 
@@ -362,51 +383,50 @@ static void action_bcast(xbt_dynar_t action)
               MSG_comm_destroy(comms[i-1]);
            free(comms);
 
-           DEBUG2("%s: all messages sent by %s have been received",
+           XBT_DEBUG("%s: all messages sent by %s have been received",
                   bcast_identifier, process_name);
 
        } else {
            sprintf(mailbox, "%s_p0_%s", bcast_identifier, process_name);
            MSG_task_receive(&task, mailbox);
            MSG_task_destroy(task);
-           DEBUG2("%s: %s has received", bcast_identifier, process_name);
+           XBT_DEBUG("%s: %s has received", bcast_identifier, process_name);
        }
 
-       VERB2("%s %f", xbt_str_join(action, " "), MSG_get_clock() - clock);
+       XBT_VERB("%s %f", xbt_str_join_array(action, " "), MSG_get_clock() - clock);
        free(bcast_identifier);
 }
 
 
-static void action_sleep(xbt_dynar_t action)
+static void action_sleep(const char *const *action)
 {
   char *name = NULL;
-  char *duration = xbt_dynar_get_as(action, 2, char *);
+  const char *duration = action[2];
   double clock = MSG_get_clock();
 
   if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    name = xbt_str_join(action, " ");
+    name = xbt_str_join_array(action, " ");
 
-  DEBUG1("Entering %s", name);
+  XBT_DEBUG("Entering %s", name);
   MSG_process_sleep(parse_double(duration));
-  VERB2("%s %f ", name, MSG_get_clock() - clock);
+  XBT_VERB("%s %f ", name, MSG_get_clock() - clock);
 
-  if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    free(name);
+  free(name);
 }
 
-static void action_allReduce(xbt_dynar_t action) {
+static void action_allReduce(const char *const *action) {
   int i;
   char *allreduce_identifier;
   char mailbox[80];
-  double comm_size = parse_double(xbt_dynar_get_as(action, 2, char *));
-  double comp_size = parse_double(xbt_dynar_get_as(action, 3, char *));
+  double comm_size = parse_double(action[2]);
+  double comp_size = parse_double(action[3]);
   m_task_t task = NULL, comp_task = NULL;
   const char *process_name;
   double clock = MSG_get_clock();
 
   process_globals_t counters = (process_globals_t) MSG_process_get_data(MSG_process_self());
 
-  xbt_assert0(communicator_size, "Size of Communicator is not defined, "
+  xbt_assert(communicator_size, "Size of Communicator is not defined, "
               "can't use collective operations");
 
   process_name = MSG_process_get_name(MSG_process_self());
@@ -414,7 +434,7 @@ static void action_allReduce(xbt_dynar_t action) {
   allreduce_identifier = bprintf("allReduce_%d", counters->allReduce_counter++);
 
   if (!strcmp(process_name, "p0")) {
-    DEBUG2("%s: %s is the Root", allreduce_identifier, process_name);
+    XBT_DEBUG("%s: %s is the Root", allreduce_identifier, process_name);
 
     msg_comm_t *comms = xbt_new0(msg_comm_t,communicator_size-1);
     m_task_t *tasks = xbt_new0(m_task_t,communicator_size-1);
@@ -430,10 +450,10 @@ static void action_allReduce(xbt_dynar_t action) {
     free(tasks);
 
     comp_task = MSG_task_create("allReduce_comp", comp_size, 0, NULL);
-    DEBUG1("%s: computing 'reduce_comp'", allreduce_identifier);
+    XBT_DEBUG("%s: computing 'reduce_comp'", allreduce_identifier);
     MSG_task_execute(comp_task);
     MSG_task_destroy(comp_task);
-    DEBUG1("%s: computed", allreduce_identifier);
+    XBT_DEBUG("%s: computed", allreduce_identifier);
 
     for (i = 1; i < communicator_size; i++) {
       sprintf(mailbox, "%s_p0_p%d", allreduce_identifier, i);
@@ -446,63 +466,61 @@ static void action_allReduce(xbt_dynar_t action) {
        MSG_comm_destroy(comms[i-1]);
     free(comms);
 
-    DEBUG2("%s: all messages sent by %s have been received",
+    XBT_DEBUG("%s: all messages sent by %s have been received",
            allreduce_identifier, process_name);
 
   } else {
-    DEBUG2("%s: %s sends", allreduce_identifier, process_name);
+    XBT_DEBUG("%s: %s sends", allreduce_identifier, process_name);
     sprintf(mailbox, "%s_%s_p0", allreduce_identifier, process_name);
-    DEBUG1("put on %s", mailbox);
+    XBT_DEBUG("put on %s", mailbox);
     MSG_task_send(MSG_task_create(allreduce_identifier, 0, comm_size, NULL),
                   mailbox);
 
     sprintf(mailbox, "%s_p0_%s", allreduce_identifier, process_name);
     MSG_task_receive(&task, mailbox);
     MSG_task_destroy(task);
-    DEBUG2("%s: %s has received", allreduce_identifier, process_name);
+    XBT_DEBUG("%s: %s has received", allreduce_identifier, process_name);
   }
 
-  VERB2("%s %f", xbt_str_join(action, " "), MSG_get_clock() - clock);
+  XBT_VERB("%s %f", xbt_str_join_array(action, " "), MSG_get_clock() - clock);
   free(allreduce_identifier);
 }
 
-static void action_comm_size(xbt_dynar_t action)
+static void action_comm_size(const char *const *action)
 {
   char *name = NULL;
-  char *size = xbt_dynar_get_as(action, 2, char *);
+  const char *size = action[2];
   double clock = MSG_get_clock();
 
   if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    name = xbt_str_join(action, " ");
+    name = xbt_str_join_array(action, " ");
   communicator_size = parse_double(size);
-  VERB2("%s %f", name, MSG_get_clock() - clock);
-  if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    free(name);
+  XBT_VERB("%s %f", name, MSG_get_clock() - clock);
+  free(name);
 }
 
-static void action_compute(xbt_dynar_t action)
+static void action_compute(const char *const *action)
 {
   char *name = NULL;
-  char *amout = xbt_dynar_get_as(action, 2, char *);
+  const char *amout = action[2];
   m_task_t task = MSG_task_create(name, parse_double(amout), 0, NULL);
   double clock = MSG_get_clock();
 
   if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    name = xbt_str_join(action, " ");
-  DEBUG1("Entering %s", name);
+    name = xbt_str_join_array(action, " ");
+  XBT_DEBUG("Entering %s", name);
   MSG_task_execute(task);
   MSG_task_destroy(task);
-  VERB2("%s %f", name, MSG_get_clock() - clock);
-  if (XBT_LOG_ISENABLED(actions, xbt_log_priority_verbose))
-    free(name);
+  XBT_VERB("%s %f", name, MSG_get_clock() - clock);
+  free(name);
 }
 
-static void action_init(xbt_dynar_t action)
+static void action_init(const char *const *action)
 { 
 #ifdef HAVE_TRACING
   TRACE_smpi_init(get_rank(MSG_process_get_name(MSG_process_self())));
 #endif
-  DEBUG0("Initialize the counters");
+  XBT_DEBUG("Initialize the counters");
   process_globals_t globals = (process_globals_t) calloc(1, sizeof(s_process_globals_t));
   globals->isends = xbt_dynar_new(sizeof(msg_comm_t),NULL);
   globals->irecvs = xbt_dynar_new(sizeof(msg_comm_t),NULL);
@@ -511,7 +529,7 @@ static void action_init(xbt_dynar_t action)
 
 }
 
-static void action_finalize(xbt_dynar_t action)
+static void action_finalize(const char *const *action)
 {
 #ifdef HAVE_TRACING
   TRACE_smpi_finalize(get_rank(MSG_process_get_name(MSG_process_self())));
@@ -519,6 +537,8 @@ static void action_finalize(xbt_dynar_t action)
   process_globals_t globals = (process_globals_t) MSG_process_get_data(MSG_process_self());
   if (globals){
     xbt_dynar_free_container(&(globals->isends));
+    xbt_dynar_free_container(&(globals->irecvs));
+    xbt_dynar_free_container(&(globals->tasks));
     free(globals);
   }
 }
@@ -549,26 +569,26 @@ int main(int argc, char *argv[])
   MSG_launch_application(argv[2]);
 
   /*   Action registration */
-  MSG_action_register("init",     action_init);
-  MSG_action_register("finalize", action_finalize);
-  MSG_action_register("comm_size",action_comm_size);
-  MSG_action_register("send",     action_send);
-  MSG_action_register("Isend",    action_Isend);
-  MSG_action_register("recv",     action_recv);
-  MSG_action_register("Irecv",    action_Irecv);
-  MSG_action_register("wait",     action_wait);
-  MSG_action_register("barrier",  action_barrier);
-  MSG_action_register("bcast",    action_bcast);
-  MSG_action_register("reduce",   action_reduce);
-  MSG_action_register("allReduce",action_allReduce);
-  MSG_action_register("sleep",    action_sleep);
-  MSG_action_register("compute",  action_compute);
+  xbt_replay_action_register("init",     action_init);
+  xbt_replay_action_register("finalize", action_finalize);
+  xbt_replay_action_register("comm_size",action_comm_size);
+  xbt_replay_action_register("send",     action_send);
+  xbt_replay_action_register("Isend",    action_Isend);
+  xbt_replay_action_register("recv",     action_recv);
+  xbt_replay_action_register("Irecv",    action_Irecv);
+  xbt_replay_action_register("wait",     action_wait);
+  xbt_replay_action_register("barrier",  action_barrier);
+  xbt_replay_action_register("bcast",    action_bcast);
+  xbt_replay_action_register("reduce",   action_reduce);
+  xbt_replay_action_register("allReduce",action_allReduce);
+  xbt_replay_action_register("sleep",    action_sleep);
+  xbt_replay_action_register("compute",  action_compute);
 
 
   /* Actually do the simulation using MSG_action_trace_run */
   res = MSG_action_trace_run(argv[3]);  // it's ok to pass a NULL argument here
 
-  INFO1("Simulation time %g", MSG_get_clock());
+  XBT_INFO("Simulation time %g", MSG_get_clock());
   MSG_clean();
 
   if (res == MSG_OK)