X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2e9105988280d1e88b5b496d6e2eed4c8d541883..076aada113aa0566c059211416cd9214a54d763d:/examples/msg/mc/bugged1_liveness.c diff --git a/examples/msg/mc/bugged1_liveness.c b/examples/msg/mc/bugged1_liveness.c index 458f5093d2..90dd58a2b0 100644 --- a/examples/msg/mc/bugged1_liveness.c +++ b/examples/msg/mc/bugged1_liveness.c @@ -29,7 +29,7 @@ int coordinator(int argc, char *argv[]) int CS_used = 0; msg_task_t task = NULL, answer = NULL; - while (1) { + while(1){ MSG_task_receive(&task, "coordinator"); const char *kind = MSG_task_get_name(task); if (!strcmp(kind, "request")) { @@ -37,7 +37,7 @@ int coordinator(int argc, char *argv[]) if (CS_used) { XBT_INFO("CS already used."); } else { - if(strcmp(req, "2") == 0){ + if(strcmp(req, "1") != 0){ XBT_INFO("CS idle. Grant immediatly"); answer = MSG_task_create("grant", 0, 1000, NULL); MSG_task_send(answer, req); @@ -61,12 +61,10 @@ int client(int argc, char *argv[]) { int my_pid = MSG_process_get_PID(MSG_process_self()); - char *my_mailbox = bprintf("%s", argv[1]); + char *my_mailbox = xbt_strdup(argv[1]); msg_task_t grant = NULL, release = NULL; - - - while(1) { - + + while(1){ XBT_INFO("Ask the request"); MSG_task_send(MSG_task_create("request", 0, 1000, my_mailbox), "coordinator");