Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Config to disable soft-dirty page tracking --cfg=model-check/soft-dirty:yes
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 19 Jun 2014 13:49:21 +0000 (15:49 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 19 Jun 2014 13:49:21 +0000 (15:49 +0200)
commit82bebb568ecbca2bcac029c94e62e7e332743a58
tree9f5053c1407ddb4f5eb0c2522b27b78546c09553
parente7d1503eff32deeb679fbfb77eb9f83a60f1b116
[mc] Config to disable soft-dirty page tracking --cfg=model-check/soft-dirty:yes

It is here mostly to test the effect on soft-dirty page tracking on
the performance of the simulator. It might be removed in the future
once we will be certain that soft-dirty page tracking does not have a
significant negative impact on some workloads.
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_global.c
src/mc/mc_page_snapshot.cpp
src/simgrid/sg_config.c