Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Disable soft-dirty page tracking by default
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 22 Jul 2014 13:15:17 +0000 (15:15 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 22 Jul 2014 13:15:17 +0000 (15:15 +0200)
commit6f065c16d0eca6e4d75c009fc578e59c30b3f392
treed4ec60583022213608f9daf76cb6a823ac8c3995
parent93655f5877bde297f03e2d21f6039056f8f5a435
[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
src/simgrid/sg_config.c
src/xbt/mmalloc/mm_module.c