Revert "Remove XBT_INFO call"

[simgrid.git] / src / mc / mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 0457aa9..55cf908 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -8,6 +8,7 @@
 #include <sys/types.h>
 #include <sys/wait.h>
 #include <sys/time.h>
+#include <sys/mman.h>
 #include <libgen.h>
 
 #include "simgrid/sg_config.h"
@@ -799,6 +800,14 @@ static void MC_init_debug_info(void) {
   mc_libsimgrid_info = MC_find_object_info(maps, libsimgrid_path, 0);
   mc_object_infos[1] = mc_libsimgrid_info;
 
+#ifdef MADV_MERGEABLE
+  for(int i=0; i!=mc_object_infos_size; ++i) {
+    void* start = mc_object_infos[i]->start_rw;
+    void* end = mc_object_infos[i]->end_rw;
+    madvise(start, (char*)end - (char*)start, MADV_MERGEABLE);
+  }
+#endif
+
   // Use information of the other objects:
   MC_post_process_object_info(mc_binary_info);
   MC_post_process_object_info(mc_libsimgrid_info);