From: Jonathan Rouzaud-Cornabas Date: Thu, 13 Jun 2013 13:52:57 +0000 (+0200) Subject: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid X-Git-Tag: v3_9_90~272 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/076aada113aa0566c059211416cd9214a54d763d?hp=ad9cf3dddccaf1d798a39120a83e79d291a57553 Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid --- diff --git a/examples/msg/mc/bugged1_liveness.c b/examples/msg/mc/bugged1_liveness.c index f014dcceba..90dd58a2b0 100644 --- a/examples/msg/mc/bugged1_liveness.c +++ b/examples/msg/mc/bugged1_liveness.c @@ -11,9 +11,6 @@ XBT_LOG_NEW_DEFAULT_CATEGORY(bugged1_liveness, "my log messages"); -#define NB_REQUESTS 3 -#define NB_CLIENTS 3 - int r=0; int cs=0; @@ -32,18 +29,16 @@ int coordinator(int argc, char *argv[]) int CS_used = 0; msg_task_t task = NULL, answer = NULL; - int i; - - for(i=0; i<(NB_REQUESTS * NB_CLIENTS); i++){ + while(1){ MSG_task_receive(&task, "coordinator"); const char *kind = MSG_task_get_name(task); if (!strcmp(kind, "request")) { char *req = MSG_task_get_data(task); if (CS_used) { - //XBT_INFO("CS already used."); + XBT_INFO("CS already used."); } else { if(strcmp(req, "1") != 0){ - //XBT_INFO("CS idle. Grant immediatly"); + XBT_INFO("CS idle. Grant immediatly"); answer = MSG_task_create("grant", 0, 1000, NULL); MSG_task_send(answer, req); CS_used = 1; @@ -51,7 +46,7 @@ int coordinator(int argc, char *argv[]) } } } else { - //XBT_INFO("CS release. resource now idle"); + XBT_INFO("CS release. resource now idle"); CS_used = 0; } MSG_task_destroy(task); @@ -68,18 +63,15 @@ int client(int argc, char *argv[]) char *my_mailbox = xbt_strdup(argv[1]); msg_task_t grant = NULL, release = NULL; - - int i; - - for(i=0; i