X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/93cdf2806f1b01f205897e8fd6434be1b0ee0141..c055a4846388b726f1c2056b601b71273e0db7d9:/examples/msg/dht-chord/dht-chord.c diff --git a/examples/msg/dht-chord/dht-chord.c b/examples/msg/dht-chord/dht-chord.c index e51439c1e3..717b19d276 100644 --- a/examples/msg/dht-chord/dht-chord.c +++ b/examples/msg/dht-chord/dht-chord.c @@ -3,16 +3,10 @@ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#include "simgrid/msg.h" -#include "simgrid/modelchecker.h" -#include +#include "dht-chord.h" XBT_LOG_NEW_DEFAULT_CATEGORY(msg_chord, "Messages specific for this msg example"); -#define COMM_SIZE 10 -#define COMP_SIZE 0 -#define MAILBOX_NAME_SIZE 10 - static int nb_bits = 24; static int nb_keys = 0; static int timeout = 50; @@ -24,87 +18,16 @@ static int periodic_lookup_delay = 10; static const double sleep_delay = 4.9999; -/* Finger element. */ -typedef struct s_finger { - int id; - char mailbox[MAILBOX_NAME_SIZE]; // string representation of the id -} s_finger_t, *finger_t; - -/* Node data. */ -typedef struct s_node { - int id; // my id - char mailbox[MAILBOX_NAME_SIZE]; // my mailbox name (string representation of the id) - s_finger_t *fingers; // finger table, of size nb_bits (fingers[0] is my successor) - int pred_id; // predecessor id - char pred_mailbox[MAILBOX_NAME_SIZE]; // predecessor's mailbox name - int next_finger_to_fix; // index of the next finger to fix in fix_fingers() - msg_comm_t comm_receive; // current communication to receive - double last_change_date; // last time I changed a finger or my predecessor - RngStream stream; //RngStream for -} s_node_t, *node_t; - -/* Types of tasks exchanged between nodes. */ -typedef enum { - TASK_FIND_SUCCESSOR, - TASK_FIND_SUCCESSOR_ANSWER, - TASK_GET_PREDECESSOR, - TASK_GET_PREDECESSOR_ANSWER, - TASK_NOTIFY, - TASK_SUCCESSOR_LEAVING, - TASK_PREDECESSOR_LEAVING, - TASK_PREDECESSOR_ALIVE, - TASK_PREDECESSOR_ALIVE_ANSWER -} e_task_type_t; - -/* Data attached with the tasks sent and received */ -typedef struct s_task_data { - e_task_type_t type; // type of task - int request_id; // id paramater (used by some types of tasks) - int request_finger; // finger parameter (used by some types of tasks) - int answer_id; // answer (used by some types of tasks) - char answer_to[MAILBOX_NAME_SIZE]; // mailbox to send an answer to (if any) - const char* issuer_host_name; // used for logging -} s_task_data_t, *task_data_t; static int *powers2; static xbt_dynar_t host_list; -// utility functions -static void chord_exit(void); -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_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); - -// process functions -static int node(int argc, char *argv[]); -static void handle_task(node_t node, msg_task_t task); - -// Chord core -static void create(node_t node); -static int join(node_t node, int known_id); -static void leave(node_t node); -static int find_successor(node_t node, int id); -static int remote_find_successor(node_t node, int ask_to_id, int id); -static int remote_get_predecessor(node_t node, int ask_to_id); -static int closest_preceding_node(node_t node, int id); -static void stabilize(node_t node); -static void notify(node_t node, int predecessor_candidate_id); -static void remote_notify(node_t node, int notify_to, int predecessor_candidate_id); -static void fix_fingers(node_t node); -static void check_predecessor(node_t node); -static void random_lookup(node_t); -static void quit_notify(node_t node); - /* Global initialization of the Chord simulation. */ static void chord_initialize(void) { // compute the powers of 2 once for all powers2 = xbt_new(int, nb_bits); - int pow = 1; + unsigned int pow = 1; unsigned i; for (i = 0; i < nb_bits; i++) { powers2[i] = pow; @@ -120,7 +43,7 @@ static void chord_initialize(void) RngStream stream; snprintf(descr, sizeof descr, "RngSream<%s>", MSG_host_get_name(host)); stream = RngStream_CreateStream(descr); - MSG_host_set_property_value(host, "stream", (char*)stream, NULL); + MSG_host_set_data(host, stream); } } @@ -129,8 +52,9 @@ static void chord_exit(void) msg_host_t host; unsigned i; xbt_dynar_foreach(host_list, i, host) { - RngStream stream = (RngStream)MSG_host_get_property_value(host, "stream"); + RngStream stream = (RngStream)MSG_host_get_data(host); RngStream_DeleteStream(&stream); + MSG_host_set_data(host, NULL); } xbt_dynar_free(&host_list); @@ -140,13 +64,12 @@ static void chord_exit(void) /* Turns an id into an equivalent id in [0, nb_keys). */ static int normalize(int id) { - // like id % nb_keys, but works with negatives numbers (and faster) - return id & (nb_keys - 1); + return id % nb_keys; } /* Returns whether an id belongs to the interval [start, end]. * - * The parameters are noramlized to make sure they are between 0 and nb_keys - 1). + * The parameters are normalized to make sure they are between 0 and nb_keys - 1). * 1 belongs to [62, 3] * 1 does not belong to [3, 62] * 63 belongs to [62, 3] @@ -161,20 +84,20 @@ static int normalize(int id) */ static int is_in_interval(int id, int start, int end) { - id = normalize(id); - start = normalize(start); - end = normalize(end); + int i = normalize(id); + int s = normalize(start); + int e = normalize(end); // make sure end >= start and id >= start - if (end < start) { - end += nb_keys; + if (e < s) { + e += nb_keys; } - if (id < start) { - id += nb_keys; + if (i < s) { + i += nb_keys; } - return id <= end; + return i <= e; } /* Gets the mailbox name of a host given its chord id. @@ -201,10 +124,9 @@ static void task_free(void* task) static void print_finger_table(node_t node) { if (XBT_LOG_ISENABLED(msg_chord, xbt_log_priority_verbose)) { - int i; XBT_VERB("My finger table:"); XBT_VERB("Start | Succ"); - for (i = 0; i < nb_bits; i++) { + for (int i = 0; i < nb_bits; i++) { XBT_VERB(" %3d | %3d", (node->id + powers2[i]) % nb_keys, node->fingers[i].id); } XBT_VERB("Predecessor: %d", node->pred_id); @@ -253,171 +175,19 @@ static void set_predecessor(node_t node, int predecessor_id) * - the id of a guy I know in the system (except for the first node) * - the time to sleep before I join (except for the first node) */ -int node(int argc, char *argv[]) -{ - - /* Reduce the run size for the MC */ - if(MC_is_active() || MC_record_replay_is_active()){ - periodic_stabilize_delay = 8; - periodic_fix_fingers_delay = 8; - periodic_check_predecessor_delay = 8; - } - - double init_time = MSG_get_clock(); - msg_task_t task_received = NULL; - int i; - int join_success = 0; - double deadline; - double next_stabilize_date = init_time + periodic_stabilize_delay; - double next_fix_fingers_date = init_time + periodic_fix_fingers_delay; - double next_check_predecessor_date = init_time + periodic_check_predecessor_delay; - double next_lookup_date = init_time + periodic_lookup_delay; - - int listen = 0; - int no_op = 0; - int sub_protocol = 0; - - xbt_assert(argc == 3 || argc == 5, "Wrong number of arguments for this node"); - - // initialize my node - s_node_t node = {0}; - node.id = xbt_str_parse_int(argv[1],"Invalid ID: %s"); - node.stream = (RngStream)MSG_host_get_property_value(MSG_host_self(), "stream"); - get_mailbox(node.id, node.mailbox); - node.next_finger_to_fix = 0; - node.fingers = xbt_new0(s_finger_t, nb_bits); - node.last_change_date = init_time; - - for (i = 0; i < nb_bits; i++) { - node.fingers[i].id = -1; - set_finger(&node, i, node.id); - } - - if (argc == 3) { // first ring - deadline = xbt_str_parse_double(argv[2],"Invalid deadline: %s"); - create(&node); - join_success = 1; - - } else { - int known_id = xbt_str_parse_int(argv[2],"Invalid root ID: %s"); - //double sleep_time = atof(argv[3]); - deadline = xbt_str_parse_double(argv[4],"Invalid deadline: %s"); - - /* - // sleep before starting - XBT_DEBUG("Let's sleep during %f", sleep_time); - MSG_process_sleep(sleep_time); - */ - XBT_DEBUG("Hey! Let's join the system."); - - join_success = join(&node, known_id); - } - - if (join_success) { - while (MSG_get_clock() < init_time + deadline -// && MSG_get_clock() < node.last_change_date + 1000 - && MSG_get_clock() < max_simulation_time) { - - if (node.comm_receive == NULL) { - task_received = NULL; - node.comm_receive = MSG_task_irecv(&task_received, node.mailbox); - // FIXME: do not make MSG_task_irecv() calls from several functions - } - - //XBT_INFO("Node %d is ring member : %d", node.id, is_ring_member(known_id, node.id) != -1); - - if (!MSG_comm_test(node.comm_receive)) { - - // no task was received: make some periodic calls - - if(MC_is_active() || MC_record_replay_is_active()){ - if(MC_is_active() && !MC_visited_reduction() && no_op){ - MC_cut(); - } - if(listen == 0 && (sub_protocol = MC_random(0, 4)) > 0){ - if(sub_protocol == 1) - stabilize(&node); - else if(sub_protocol == 2) - fix_fingers(&node); - else if(sub_protocol == 3) - check_predecessor(&node); - else - random_lookup(&node); - listen = 1; - }else{ - MSG_process_sleep(sleep_delay); - if(!MC_visited_reduction()) - no_op = 1; - } - }else{ - if (MSG_get_clock() >= next_stabilize_date) { - stabilize(&node); - next_stabilize_date = MSG_get_clock() + periodic_stabilize_delay; - }else if (MSG_get_clock() >= next_fix_fingers_date) { - fix_fingers(&node); - next_fix_fingers_date = MSG_get_clock() + periodic_fix_fingers_delay; - }else if (MSG_get_clock() >= next_check_predecessor_date) { - check_predecessor(&node); - next_check_predecessor_date = MSG_get_clock() + periodic_check_predecessor_delay; - }else if (MSG_get_clock() >= next_lookup_date) { - random_lookup(&node); - next_lookup_date = MSG_get_clock() + periodic_lookup_delay; - }else { - // nothing to do: sleep for a while - MSG_process_sleep(sleep_delay); - } - } - - } else { - // a transfer has occurred - - msg_error_t status = MSG_comm_get_status(node.comm_receive); - - if (status != MSG_OK) { - XBT_DEBUG("Failed to receive a task. Nevermind."); - MSG_comm_destroy(node.comm_receive); - node.comm_receive = NULL; - } - else { - // the task was successfully received - MSG_comm_destroy(node.comm_receive); - node.comm_receive = NULL; - handle_task(&node, task_received); - } - } - } - - if (node.comm_receive) { - /* handle last task if any */ - if (MSG_comm_wait(node.comm_receive, 0) == MSG_OK) - task_free(task_received); - MSG_comm_destroy(node.comm_receive); - node.comm_receive = NULL; - } - - // leave the ring - leave(&node); - } - - // stop the simulation - xbt_free(node.fingers); - return 0; -} - /* This function is called when the current node receives a task. * * \param node the current node * \param task the task to handle (don't touch it afterward: it will be destroyed, reused or forwarded) */ -static void handle_task(node_t node, msg_task_t task) { - +static void handle_task(node_t node, msg_task_t task) +{ XBT_DEBUG("Handling task %p", task); char mailbox[MAILBOX_NAME_SIZE]; task_data_t task_data = (task_data_t) MSG_task_get_data(task); e_task_type_t type = task_data->type; switch (type) { - case TASK_FIND_SUCCESSOR: XBT_DEBUG("Receiving a 'Find Successor' request from %s for id %d", task_data->issuer_host_name, task_data->request_id); @@ -426,12 +196,9 @@ static void handle_task(node_t node, msg_task_t task) { task_data->type = TASK_FIND_SUCCESSOR_ANSWER; task_data->answer_id = node->fingers[0].id; XBT_DEBUG("Sending back a 'Find Successor Answer' to %s (mailbox %s): the successor of %d is %d", - task_data->issuer_host_name, - task_data->answer_to, - task_data->request_id, task_data->answer_id); + 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, task_free); - } - else { + } else { // otherwise, forward the request to the closest preceding finger in my table int closest = closest_preceding_node(node, task_data->request_id); XBT_DEBUG("Forwarding the 'Find Successor' request for id %d to my closest preceding finger %d", @@ -446,8 +213,7 @@ static void handle_task(node_t node, msg_task_t task) { task_data->type = TASK_GET_PREDECESSOR_ANSWER; task_data->answer_id = node->pred_id; XBT_DEBUG("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); + task_data->issuer_host_name, task_data->answer_to, task_data->answer_id); MSG_task_dsend(task, task_data->answer_to, task_free); break; @@ -492,8 +258,7 @@ static void handle_task(node_t node, msg_task_t task) { XBT_DEBUG("Receiving a 'Predecessor Alive' request from %s", task_data->issuer_host_name); task_data->type = TASK_PREDECESSOR_ALIVE_ANSWER; XBT_DEBUG("Sending back a 'Predecessor Alive Answer' to %s (mailbox %s)", - task_data->issuer_host_name, - task_data->answer_to); + task_data->issuer_host_name, task_data->answer_to); MSG_task_dsend(task, task_data->answer_to, task_free); break; @@ -503,7 +268,7 @@ static void handle_task(node_t node, msg_task_t task) { } /* Initializes the current node as the first one of the system */ -static void create(node_t node) +void create(node_t node) { XBT_DEBUG("Create a new Chord ring..."); set_predecessor(node, -1); // -1 means that I have no predecessor @@ -516,16 +281,11 @@ static void create(node_t node) * \param known_id id of a node already in the ring * \return 1 if the join operation succeeded, 0 otherwise */ -static int join(node_t node, int known_id) +int join(node_t node, int known_id) { XBT_INFO("Joining the ring with id %d, knowing node %d", node->id, known_id); set_predecessor(node, -1); // no predecessor (yet) - /* - for (int 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) { XBT_INFO("Cannot join the ring."); @@ -539,14 +299,14 @@ static int join(node_t node, int known_id) } /* Makes the current node quit the system */ -static void leave(node_t node) +void leave(node_t node) { XBT_DEBUG("Well Guys! I Think it's time for me to quit ;)"); quit_notify(node); } /* Notifies the successor and the predecessor of the current node before leaving */ -static void quit_notify(node_t node) +void quit_notify(node_t node) { char mailbox[MAILBOX_NAME_SIZE]; //send the PREDECESSOR_LEAVING to our successor @@ -558,10 +318,8 @@ static void quit_notify(node_t node) msg_task_t task_sent = MSG_task_create(NULL, COMP_SIZE, COMM_SIZE, req_data); XBT_DEBUG("Sending a 'PREDECESSOR_LEAVING' to my successor %d",node->fingers[0].id); - if (MSG_task_send_with_timeout(task_sent, node->fingers[0].mailbox, timeout)== - MSG_TIMEOUT) { - XBT_DEBUG("Timeout expired when sending a 'PREDECESSOR_LEAVING' to my successor %d", - node->fingers[0].id); + if (MSG_task_send_with_timeout(task_sent, node->fingers[0].mailbox, timeout)== MSG_TIMEOUT) { + XBT_DEBUG("Timeout expired when sending a 'PREDECESSOR_LEAVING' to my successor %d", node->fingers[0].id); task_free(task_sent); } @@ -576,13 +334,10 @@ static void quit_notify(node_t node) msg_task_t task_sent_s = MSG_task_create(NULL, COMP_SIZE, COMM_SIZE, req_data_s); XBT_DEBUG("Sending a 'SUCCESSOR_LEAVING' to my predecessor %d",node->pred_id); - if (MSG_task_send_with_timeout(task_sent_s, mailbox, timeout)== - MSG_TIMEOUT) { - XBT_DEBUG("Timeout expired when sending a 'SUCCESSOR_LEAVING' to my predecessor %d", - node->pred_id); + if (MSG_task_send_with_timeout(task_sent_s, mailbox, timeout)== MSG_TIMEOUT) { + XBT_DEBUG("Timeout expired when sending a 'SUCCESSOR_LEAVING' to my predecessor %d", node->pred_id); task_free(task_sent_s); } - } /* Makes the current node find the successor node of an id. @@ -591,7 +346,7 @@ static void quit_notify(node_t node) * \param id the id to find * \return the id of the successor node, or -1 if the request failed */ -static int find_successor(node_t node, int id) +int find_successor(node_t node, int id) { // is my successor the successor? if (is_in_interval(id, node->id + 1, node->fingers[0].id)) { @@ -610,7 +365,7 @@ static int find_successor(node_t node, int id) * \param id the id to find * \return the id of the successor node, or -1 if the request failed */ -static int remote_find_successor(node_t node, int ask_to, int id) +int remote_find_successor(node_t node, int ask_to, int id) { int successor = -1; int stop = 0; @@ -628,16 +383,12 @@ static int remote_find_successor(node_t node, int ask_to, int id) msg_error_t res = MSG_task_send_with_timeout(task_sent, mailbox, timeout); if (res != MSG_OK) { - XBT_DEBUG("Failed to send the 'Find Successor' request (task %p) to %d for id %d", - task_sent, ask_to, id); + XBT_DEBUG("Failed to send the 'Find Successor' request (task %p) to %d for id %d", task_sent, ask_to, id); task_free(task_sent); - } - else { - + } else { // receive the answer XBT_DEBUG("Sent a 'Find Successor' request (task %p) to %d for key %d, waiting for the answer", task_sent, ask_to, id); - do { if (node->comm_receive == NULL) { msg_task_t task_received = NULL; @@ -668,9 +419,9 @@ static int remote_find_successor(node_t node, int ask_to, int id) // } // That explained the bug in a snap, with a very cool example and everything. // - // This MC_assert is now desactivated as the case is now properly handled in our code and we don't want the + // This MC_assert is now deactivated as the case is now properly handled in our code and we don't want the // MC to fail any further under that condition, but this comment is here to as a memorial for this first - // brillant victory of the model-checking in the SimGrid community :) + // brilliant victory of the model-checking in the SimGrid community :) if (task_received != task_sent || ans_data->type != TASK_FIND_SUCCESSOR_ANSWER) { @@ -703,7 +454,7 @@ static int remote_find_successor(node_t node, int ask_to, int id) * \return the id of its predecessor node, or -1 if the request failed * (or if the node does not know its predecessor) */ -static int remote_get_predecessor(node_t node, int ask_to) +int remote_get_predecessor(node_t node, int ask_to) { int predecessor_id = -1; int stop = 0; @@ -793,7 +544,7 @@ int closest_preceding_node(node_t node, int id) } /* This function is called periodically. It checks the immediate successor of the current node. */ -static void stabilize(node_t node) +void stabilize(node_t node) { XBT_DEBUG("Stabilizing node"); @@ -813,12 +564,12 @@ static void stabilize(node_t node) set_finger(node, 0, candidate_id); } if (successor_id != node->id) { - remote_notify(node, successor_id, node->id); + remote_notify(successor_id, node->id); } } /* Notifies the current node that its predecessor may have changed. */ -static void notify(node_t node, int predecessor_candidate_id) { +void notify(node_t node, int predecessor_candidate_id) { if (node->pred_id == -1 || is_in_interval(predecessor_candidate_id, node->pred_id + 1, node->id - 1)) { @@ -832,7 +583,7 @@ static void notify(node_t node, int predecessor_candidate_id) { } /* Notifies a remote node that its predecessor may have changed. */ -static void remote_notify(node_t node, int notify_id, int predecessor_candidate_id) { +void remote_notify(int notify_id, int predecessor_candidate_id) { task_data_t req_data = xbt_new0(s_task_data_t, 1); req_data->type = TASK_NOTIFY; @@ -848,7 +599,7 @@ static void remote_notify(node_t node, int notify_id, int predecessor_candidate_ } /* refreshes the finger table of the current node (called periodically) */ -static void fix_fingers(node_t node) { + void fix_fingers(node_t node) { XBT_DEBUG("Fixing fingers"); int i = node->next_finger_to_fix; @@ -864,7 +615,7 @@ static void fix_fingers(node_t node) { } /* checks whether the predecessor has failed (called periodically) */ -static void check_predecessor(node_t node) +void check_predecessor(node_t node) { XBT_DEBUG("Checking whether my predecessor is alive"); @@ -889,8 +640,7 @@ static void check_predecessor(node_t node) if (res != MSG_OK) { XBT_DEBUG("Failed to send the 'Predecessor Alive' request (task %p) to %d", task_sent, node->pred_id); task_free(task_sent); - }else{ - + } else { // receive the answer XBT_DEBUG("Sent 'Predecessor Alive' request (task %p) to %d, waiting for the answer on my mailbox '%s'", task_sent, node->pred_id, req_data->answer_to); @@ -910,7 +660,7 @@ static void check_predecessor(node_t node) MSG_comm_destroy(node->comm_receive); node->comm_receive = NULL; node->pred_id = -1; - }else { + } else { msg_task_t task_received = MSG_comm_get_task(node->comm_receive); if (task_received != task_sent) { MSG_comm_destroy(node->comm_receive); @@ -930,54 +680,172 @@ static void check_predecessor(node_t node) } /* Performs a find successor request to a random id */ -static void random_lookup(node_t node) +void random_lookup(node_t node) { int random_index = RngStream_RandInt (node->stream, 0, nb_bits - 1); int random_id = node->fingers[random_index].id; XBT_DEBUG("Making a lookup request for id %d", random_id); int res = find_successor(node, random_id); XBT_DEBUG("The successor of node %d is %d", random_id, res); +} + +static int node(int argc, char *argv[]) +{ + /* Reduce the run size for the MC */ + if(MC_is_active() || MC_record_replay_is_active()){ + periodic_stabilize_delay = 8; + periodic_fix_fingers_delay = 8; + periodic_check_predecessor_delay = 8; + } + + double init_time = MSG_get_clock(); + msg_task_t task_received = NULL; + int i; + int join_success = 0; + double deadline; + double next_stabilize_date = init_time + periodic_stabilize_delay; + double next_fix_fingers_date = init_time + periodic_fix_fingers_delay; + double next_check_predecessor_date = init_time + periodic_check_predecessor_delay; + double next_lookup_date = init_time + periodic_lookup_delay; + + xbt_assert(argc == 3 || argc == 5, "Wrong number of arguments for this node"); + + // initialize my node + s_node_t node = {0}; + node.id = xbt_str_parse_int(argv[1],"Invalid ID: %s"); + node.stream = (RngStream)MSG_host_get_data(MSG_host_self()); + get_mailbox(node.id, node.mailbox); + node.next_finger_to_fix = 0; + node.fingers = xbt_new0(s_finger_t, nb_bits); + node.last_change_date = init_time; + + for (i = 0; i < nb_bits; i++) { + node.fingers[i].id = -1; + set_finger(&node, i, node.id); + } + + if (argc == 3) { // first ring + deadline = xbt_str_parse_double(argv[2],"Invalid deadline: %s"); + create(&node); + join_success = 1; + } else { + int known_id = xbt_str_parse_int(argv[2],"Invalid root ID: %s"); + deadline = xbt_str_parse_double(argv[4],"Invalid deadline: %s"); + + XBT_DEBUG("Hey! Let's join the system."); + + join_success = join(&node, known_id); + } + + if (join_success) { + double now = MSG_get_clock(); + int listen = 0; + int no_op = 0; + while (now < init_time + deadline && now < max_simulation_time) { + if (node.comm_receive == NULL) { + task_received = NULL; + node.comm_receive = MSG_task_irecv(&task_received, node.mailbox); + // FIXME: do not make MSG_task_irecv() calls from several functions + } + + if (!MSG_comm_test(node.comm_receive)) { // no task was received: make some periodic calls + if(MC_is_active() || MC_record_replay_is_active()){ + int sub_protocol = MC_random(0, 4); + if(MC_is_active() && !MC_visited_reduction() && no_op) + MC_cut(); + if(listen == 0 && (sub_protocol > 0)){ + if(sub_protocol == 1) + stabilize(&node); + else if(sub_protocol == 2) + fix_fingers(&node); + else if(sub_protocol == 3) + check_predecessor(&node); + else + random_lookup(&node); + listen = 1; + } else { + MSG_process_sleep(sleep_delay); + if(!MC_visited_reduction()) + no_op = 1; + } + }else{ + if (now >= next_stabilize_date) { + stabilize(&node); + next_stabilize_date = MSG_get_clock() + periodic_stabilize_delay; + }else if (now >= next_fix_fingers_date) { + fix_fingers(&node); + next_fix_fingers_date = MSG_get_clock() + periodic_fix_fingers_delay; + }else if (now >= next_check_predecessor_date) { + check_predecessor(&node); + next_check_predecessor_date = MSG_get_clock() + periodic_check_predecessor_delay; + }else if (now >= next_lookup_date) { + random_lookup(&node); + next_lookup_date = MSG_get_clock() + periodic_lookup_delay; + }else { + // nothing to do: sleep for a while + MSG_process_sleep(sleep_delay); + } + } + } else { // a transfer has occurred + msg_error_t status = MSG_comm_get_status(node.comm_receive); + MSG_comm_destroy(node.comm_receive); + node.comm_receive = NULL; + + if (status == MSG_OK) + handle_task(&node, task_received); + else + XBT_DEBUG("Failed to receive a task. Nevermind."); + } + now = MSG_get_clock(); + } + if (node.comm_receive) { + /* handle last task if any */ + if (MSG_comm_wait(node.comm_receive, 0) == MSG_OK) + task_free(task_received); + MSG_comm_destroy(node.comm_receive); + node.comm_receive = NULL; + } + + // leave the ring + leave(&node); + } + + // stop the simulation + xbt_free(node.fingers); + return 0; } int main(int argc, char *argv[]) { MSG_init(&argc, argv); - xbt_assert(argc > 2, - "Usage: %s [-nb_bits=n] [-timeout=t] platform_file deployment_file\n" - "\tExample: %s ../msg_platform.xml chord.xml\n", argv[0], argv[0]); + xbt_assert(argc > 2, "Usage: %s [-nb_bits=n] [-timeout=t] platform_file deployment_file\n" + "\tExample: %s ../msg_platform.xml chord.xml\n", argv[0], argv[0]); char **options = &argv[1]; while (!strncmp(options[0], "-", 1)) { - int length = strlen("-nb_bits="); if (!strncmp(options[0], "-nb_bits=", length) && strlen(options[0]) > length) { nb_bits = xbt_str_parse_int(options[0] + length, "Invalid nb_bits parameter: %s"); XBT_DEBUG("Set nb_bits to %d", nb_bits); - } - else { - + } else { length = strlen("-timeout="); if (!strncmp(options[0], "-timeout=", length) && strlen(options[0]) > length) { timeout = xbt_str_parse_int(options[0] + length, "Invalid timeout parameter: %s"); XBT_DEBUG("Set timeout to %d", timeout); - } - else { + } else { xbt_die("Invalid chord option '%s'", options[0]); } } options++; } - const char* platform_file = options[0]; - const char* application_file = options[1]; - - MSG_create_environment(platform_file); + MSG_create_environment(options[0]); chord_initialize(); MSG_function_register("node", node); - MSG_launch_application(application_file); + MSG_launch_application(options[1]); msg_error_t res = MSG_main(); XBT_INFO("Simulated time: %g", MSG_get_clock());