#include "xbt/asserts.h"
#include "mc/modelchecker.h"
#include "mc/mc.h"
+#include "xbt/xbt_os_time.h"
+
XBT_LOG_NEW_DEFAULT_CATEGORY(msg_chord,
"Messages specific for this msg example");
static int periodic_check_predecessor_delay = 120;
static int periodic_lookup_delay = 10;
+extern long int smx_total_comms;
+
/**
* Finger element.
*/
static int normalize(int id);
static int is_in_interval(int id, int start, int end);
static void get_mailbox(int host_id, char* mailbox);
-static void task_data_destroy(task_data_t task_data);
+static void task_free(void* task);
static void print_finger_table(node_t node);
static void set_finger(node_t node, int finger_index, int id);
static void set_predecessor(node_t node, int predecessor_id);
}
/**
- * \brief Frees the memory used by some task data.
- * \param task_data the task data to destroy
+ * \brief Frees the memory used by a task.
+ * \param task the MSG task to destroy
*/
-static void task_data_destroy(task_data_t task_data)
+static void task_free(void* task)
{
- xbt_free(task_data);
+ // TODO add a parameter data_free_function to MSG_task_create?
+ xbt_free(MSG_task_get_data(task));
+ MSG_task_destroy(task);
}
/**
// stop the simulation
xbt_free(node.fingers);
+ INFO1("Messages created: %lu", smx_total_comms);
return 0;
}
task_data->issuer_host_name,
task_data->answer_to,
task_data->request_id, task_data->answer_id);
- MSG_task_dsend(task, task_data->answer_to);
+ MSG_task_dsend(task, task_data->answer_to, task_free);
}
else {
// otherwise, forward the request to the closest preceding finger in my table
DEBUG2("Forwarding the 'Find Successor' request for id %d to my closest preceding finger %d",
task_data->request_id, closest);
get_mailbox(closest, mailbox);
- MSG_task_dsend(task, mailbox);
+ MSG_task_dsend(task, mailbox, task_free);
}
break;
DEBUG3("Sending back a 'Get Predecessor Answer' to %s via mailbox '%s': my predecessor is %d",
task_data->issuer_host_name,
task_data->answer_to, task_data->answer_id);
- MSG_task_dsend(task, task_data->answer_to);
+ MSG_task_dsend(task, task_data->answer_to, task_free);
break;
case TASK_NOTIFY:
// someone is telling me that he may be my new predecessor
DEBUG1("Receiving a 'Notify' request from %s", task_data->issuer_host_name);
notify(node, task_data->request_id);
- task_data_destroy(task_data);
- MSG_task_destroy(task);
+ task_free(task);
break;
case TASK_PREDECESSOR_LEAVING:
DEBUG1("Receiving a 'Predecessor Leaving' message from %s", task_data->issuer_host_name);
// modify my predecessor
set_predecessor(node, task_data->request_id);
- task_data_destroy(task_data);
- MSG_task_destroy(task);
+ task_free(task);
/*TODO :
>> notify my new predecessor
>> send a notify_predecessors !!
DEBUG1("Receiving a 'Successor Leaving' message from %s", task_data->issuer_host_name);
// modify my successor FIXME : this should be implicit ?
set_finger(node, 0, task_data->request_id);
- task_data_destroy(task_data);
- MSG_task_destroy(task);
+ task_free(task);
/* TODO
>> notify my new successor
>> update my table & predecessors table */
case TASK_FIND_SUCCESSOR_ANSWER:
case TASK_GET_PREDECESSOR_ANSWER:
DEBUG2("Ignoring unexpected task of type %d (%p)", type, task);
- task_data_destroy(task_data);
- MSG_task_destroy(task);
+ task_free(task);
break;
}
}
INFO2("Joining the ring with id %d, knowing node %d", node->id, known_id);
set_predecessor(node, -1); // no predecessor (yet)
+ int i;
+ for (i = 0; i < nb_bits; i++) {
+ set_finger(node, i, known_id);
+ }
+
int successor_id = remote_find_successor(node, known_id, node->id);
if (successor_id == -1) {
INFO0("Cannot join the ring.");
if (res != MSG_OK) {
DEBUG3("Failed to send the 'Find Successor' request (task %p) to %d for id %d",
task_sent, ask_to, id);
- MSG_task_destroy(task_sent);
- task_data_destroy(req_data);
+ task_free(task_sent);
}
else {
stop = 1;
MSG_comm_destroy(node->comm_receive);
node->comm_receive = NULL;
- MSG_task_destroy(task_received);
- task_data_destroy(req_data);
+ task_free(task_received);
}
}
} while (!stop);
if (res != MSG_OK) {
DEBUG2("Failed to send the 'Get Predecessor' request (task %p) to %d",
task_sent, ask_to);
- MSG_task_destroy(task_sent);
- task_data_destroy(req_data);
+ task_free(task_sent);
}
else {
stop = 1;
MSG_comm_destroy(node->comm_receive);
node->comm_receive = NULL;
- MSG_task_destroy(task_received);
- task_data_destroy(req_data);
+ task_free(task_received);
}
}
} while (!stop);
DEBUG2("Sending a 'Notify' request (task %p) to %d", task, notify_id);
char mailbox[MAILBOX_NAME_SIZE];
get_mailbox(notify_id, mailbox);
- MSG_task_dsend(task, mailbox);
+ MSG_task_dsend(task, mailbox, task_free);
}
/**
*/
int main(int argc, char *argv[])
{
+ xbt_os_timer_t timer = xbt_os_timer_new();
+
if (argc < 3) {
printf("Usage: %s [-nb_bits=n] [-timeout=t] platform_file deployment_file\n", argv[0]);
printf("example: %s ../msg_platform.xml chord.xml\n", argv[0]);
MSG_function_register("node", node);
MSG_launch_application(application_file);
+ xbt_os_timer_start(timer);
MSG_error_t res = MSG_main();
- INFO1("Simulation time: %g", MSG_get_clock());
+ xbt_os_timer_stop(timer);
+ CRITICAL1("Simulation time %lf", xbt_os_timer_elapsed(timer));
+ INFO1("Simulated time: %g", MSG_get_clock());
MSG_clean();