A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
[simgrid.git]
/
examples
/
msg
/
mc
/
bugged2_liveness.c
diff --git
a/examples/msg/mc/bugged2_liveness.c
b/examples/msg/mc/bugged2_liveness.c
index
9842999
..
15467be
100644
(file)
--- a/
examples/msg/mc/bugged2_liveness.c
+++ b/
examples/msg/mc/bugged2_liveness.c
@@
-11,7
+11,7
@@
#include "bugged2_liveness.h"
#include "y.tab.c"
#include "bugged2_liveness.h"
#include "y.tab.c"
-XBT_LOG_NEW_DEFAULT_CATEGORY(
example_liveness_with_cycle
, "my log messages");
+XBT_LOG_NEW_DEFAULT_CATEGORY(
bugged2_liveness
, "my log messages");
char* buffer;
char* buffer;
@@
-87,6
+87,7
@@
int producer(int argc, char *argv[])
const char *mess = "message";
pready = 1;
const char *mess = "message";
pready = 1;
+ XBT_INFO("pready = 1");
/* CS request */
XBT_INFO("Producer ask the request");
/* CS request */
XBT_INFO("Producer ask the request");
@@
-101,6
+102,7
@@
int producer(int argc, char *argv[])
buffer = strdup(mess);
produce = 1;
buffer = strdup(mess);
produce = 1;
+ XBT_INFO("produce = 1");
/* CS release */
MSG_task_send(MSG_task_create("release", 0, 1000, my_mailbox), "coordinator");
/* CS release */
MSG_task_send(MSG_task_create("release", 0, 1000, my_mailbox), "coordinator");
@@
-108,6
+110,8
@@
int producer(int argc, char *argv[])
produce = 0;
pready = 0;
produce = 0;
pready = 0;
+ XBT_INFO("pready et produce = 0");
+
}
return 0;
}
return 0;
@@
-128,6
+132,7
@@
int consumer(int argc, char *argv[])
MSG_task_send(MSG_task_create("request", 0, 1000, my_mailbox), "coordinator");
cready = 1;
MSG_task_send(MSG_task_create("request", 0, 1000, my_mailbox), "coordinator");
cready = 1;
+ XBT_INFO("cready = 1");
/* Wait the answer */
m_task_t grant = NULL;
/* Wait the answer */
m_task_t grant = NULL;
@@
-139,10
+144,12
@@
int consumer(int argc, char *argv[])
mess = strdup(buffer);
buffer[0] = '\0';
mess = strdup(buffer);
buffer[0] = '\0';
-
/* Display message */
+ /* Display message */
XBT_INFO("Message : %s", mess);
XBT_INFO("Message : %s", mess);
- if(strcmp(mess, "") != 0)
+ if(strcmp(mess, "") != 0)
{
consume = 1;
consume = 1;
+ XBT_INFO("consume = 1");
+ }
/* CS release */
MSG_task_send(MSG_task_create("release", 0, 1000, my_mailbox), "coordinator");
/* CS release */
MSG_task_send(MSG_task_create("release", 0, 1000, my_mailbox), "coordinator");
@@
-152,6
+159,8
@@
int consumer(int argc, char *argv[])
consume = 0;
cready = 0;
consume = 0;
cready = 0;
+ XBT_INFO("cready et consume = 0");
+
}
return 0;
}
return 0;