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
model-checker : Add statistics about comparison times for each pair reached:
[simgrid.git]
/
src
/
simix
/
smx_context_sysv.c
diff --git
a/src/simix/smx_context_sysv.c
b/src/simix/smx_context_sysv.c
index
7bdcfc3
..
9764af2
100644
(file)
--- a/
src/simix/smx_context_sysv.c
+++ b/
src/simix/smx_context_sysv.c
@@
-169,7
+169,7
@@
smx_ctx_sysv_create_context_sized(size_t size, xbt_main_func_t code,
}
if(MC_is_active() && code)
}
if(MC_is_active() && code)
- MC_new_stack_area(context, ((smx_process_t)((smx_context_t)context)->data)->name, &(context->uc));
+ MC_new_stack_area(context, ((smx_process_t)((smx_context_t)context)->data)->name, &(context->uc)
, size
);
return (smx_context_t) context;
}
return (smx_context_t) context;
}
@@
-232,6
+232,11
@@
static void smx_ctx_sysv_suspend_serial(smx_context_t context)
smx_context_t next_context;
unsigned long int i = sysv_process_index++;
smx_context_t next_context;
unsigned long int i = sysv_process_index++;
+ if(MC_is_active()){
+ MC_ignore_stack("next_context", "smx_ctx_sysv_suspend_serial");
+ MC_ignore_stack("i", "smx_ctx_sysv_suspend_serial");
+ }
+
if (i < xbt_dynar_length(simix_global->process_to_run)) {
/* execute the next process */
XBT_DEBUG("Run next process");
if (i < xbt_dynar_length(simix_global->process_to_run)) {
/* execute the next process */
XBT_DEBUG("Run next process");