From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 22 Jul 2014 13:15:17 +0000 (+0200)
Subject: [mc] Disable soft-dirty page tracking by default
X-Git-Tag: v3_12~890^2~1^2~4^2~4
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6f065c16d0eca6e4d75c009fc578e59c30b3f392

[mc] Disable soft-dirty page tracking by default

In all tests I ran, it has a negative impact on performance.
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 1359cf3c3d..7ee4c84a39 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -30,7 +30,7 @@ e_mc_reduce_t mc_reduce_kind = e_mc_reduce_unset;
 int _sg_do_model_check = 0;
 int _sg_mc_checkpoint = 0;
 int _sg_mc_sparse_checkpoint = 0;
-int _sg_mc_soft_dirty = 1;
+int _sg_mc_soft_dirty = 0;
 char *_sg_mc_property_file = NULL;
 int _sg_mc_timeout = 0;
 int _sg_mc_hash = 0;
diff --git a/src/simgrid/sg_config.c b/src/simgrid/sg_config.c
index 65878a0af4..b5f11e3b9d 100644
--- a/src/simgrid/sg_config.c
+++ b/src/simgrid/sg_config.c
@@ -612,7 +612,7 @@ void sg_config_init(int *argc, char **argv)
     xbt_cfg_register(&_sg_cfg_set, "model-check/soft-dirty",
                      "Use sparse per-page snapshots.",
                      xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_soft_dirty, NULL);
-    xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/soft-dirty", "yes");
+    xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/soft-dirty", "no");
 
     /* do liveness model-checking */
     xbt_cfg_register(&_sg_cfg_set, "model-check/property",
diff --git a/src/xbt/mmalloc/mm_module.c b/src/xbt/mmalloc/mm_module.c
index b0eeefc184..a2c36cddb6 100644
--- a/src/xbt/mmalloc/mm_module.c
+++ b/src/xbt/mmalloc/mm_module.c
@@ -1,4 +1,4 @@
-/* Initialization for access to a mmap'd malloc managed region. */
+/* Initialization for acces s to a mmap'd malloc managed region. */
 
 /* Copyright (c) 2012-2014. The SimGrid Team.
  * All rights reserved.                                                     */