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
Improve independence detection and request pretty printing.
[simgrid.git]
/
src
/
mc
/
mc_global.c
diff --git
a/src/mc/mc_global.c
b/src/mc/mc_global.c
index
6c4c2b2
..
22b3058
100644
(file)
--- a/
src/mc/mc_global.c
+++ b/
src/mc/mc_global.c
@@
-75,7
+75,6
@@
int MC_random(int min, int max)
*/
void MC_wait_for_requests(void)
{
*/
void MC_wait_for_requests(void)
{
- char *req_str = NULL;
smx_req_t req = NULL;
do {
smx_req_t req = NULL;
do {
@@
-83,11
+82,6
@@
void MC_wait_for_requests(void)
while((req = SIMIX_request_pop())){
if(!MC_request_is_visible(req))
SIMIX_request_pre(req, 0);
while((req = SIMIX_request_pop())){
if(!MC_request_is_visible(req))
SIMIX_request_pre(req, 0);
- else if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){
- req_str = MC_request_to_string(req);
- DEBUG1("Got: %s", req_str);
- xbt_free(req_str);
- }
}
} while (xbt_dynar_length(simix_global->process_to_run));
}
}
} while (xbt_dynar_length(simix_global->process_to_run));
}
@@
-145,7
+139,7
@@
void MC_replay(xbt_fifo_t stack)
/* Debug information */
if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){
/* Debug information */
if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){
- req_str = MC_request_to_string(req
);
+ req_str = MC_request_to_string(req
, value);
DEBUG2("Replay: %s (%p)", req_str, state);
xbt_free(req_str);
}
DEBUG2("Replay: %s (%p)", req_str, state);
xbt_free(req_str);
}
@@
-191,7
+185,7
@@
void MC_show_stack(xbt_fifo_t stack)
: (NULL)); item = xbt_fifo_get_prev_item(item)) {
req = MC_state_get_executed_request(state, &value);
if(req){
: (NULL)); item = xbt_fifo_get_prev_item(item)) {
req = MC_state_get_executed_request(state, &value);
if(req){
- req_str = MC_request_to_string(req
);
+ req_str = MC_request_to_string(req
, value);
INFO1("%s", req_str);
xbt_free(req_str);
}
INFO1("%s", req_str);
xbt_free(req_str);
}