From 6f065c16d0eca6e4d75c009fc578e59c30b3f392 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 22 Jul 2014 15:15:17 +0200 Subject: [PATCH 1/1] [mc] Disable soft-dirty page tracking by default In all tests I ran, it has a negative impact on performance. --- src/mc/mc_global.c | 2 +- src/simgrid/sg_config.c | 2 +- src/xbt/mmalloc/mm_module.c | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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. */ -- 2.20.1