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
[mc] Communication of heap_area_to_ignore to the remote MCer
[simgrid.git]
/
src
/
mc
/
mc_global.c
diff --git
a/src/mc/mc_global.c
b/src/mc/mc_global.c
index
901bfd6
..
3b13670
100644
(file)
--- a/
src/mc/mc_global.c
+++ b/
src/mc/mc_global.c
@@
-111,7
+111,8
@@
mc_model_checker_t MC_model_checker_new(pid_t pid, int socket)
return mc;
}
return mc;
}
-void MC_model_checker_delete(mc_model_checker_t mc) {
+void MC_model_checker_delete(mc_model_checker_t mc)
+{
mc_pages_store_delete(mc->pages);
if(mc->record)
xbt_dynar_free(&mc->record);
mc_pages_store_delete(mc->pages);
if(mc->record)
xbt_dynar_free(&mc->record);
@@
-119,6
+120,11
@@
void MC_model_checker_delete(mc_model_checker_t mc) {
}
void MC_init()
}
void MC_init()
+{
+ MC_init_pid(getpid(), -1);
+}
+
+void MC_init_pid(pid_t pid, int socket)
{
if (mc_mode == MC_MODE_NONE) {
if (getenv(MC_ENV_SOCKET_FD)) {
{
if (mc_mode == MC_MODE_NONE) {
if (getenv(MC_ENV_SOCKET_FD)) {
@@
-128,18
+134,6
@@
void MC_init()
}
}
}
}
- MC_init_pid(getpid(), -1);
-
- if (mc_mode == MC_MODE_CLIENT) {
- MC_client_init();
- MC_client_hello();
- // This will move somehwere else:
- MC_client_handle_messages();
- }
-}
-
-void MC_init_pid(pid_t pid, int socket)
-{
int raw_mem_set = (mmalloc_get_current_heap() == mc_heap);
mc_time = xbt_new0(double, simix_process_maxpid);
int raw_mem_set = (mmalloc_get_current_heap() == mc_heap);
mc_time = xbt_new0(double, simix_process_maxpid);
@@
-222,6
+216,11
@@
void MC_init_pid(pid_t pid, int socket)
if (raw_mem_set)
MC_SET_MC_HEAP;
if (raw_mem_set)
MC_SET_MC_HEAP;
+ if (mc_mode == MC_MODE_CLIENT) {
+ // This will move somehwere else:
+ MC_client_handle_messages();
+ }
+
}
/******************************* Core of MC *******************************/
}
/******************************* Core of MC *******************************/