Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove soft dirty page tracking
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 17 Apr 2015 10:36:30 +0000 (12:36 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 17 Apr 2015 10:48:42 +0000 (12:48 +0200)
commit38bbe7c67eeccb4b8fa60a3f6982a33e6497c4ea
treeec74fa6a84cf683156b3f2895b551dda2fe501ef
parentd97d6e19cb366fd112e63d56a9f411d968ee8670
[mc] Remove soft dirty page tracking

It generates a lot of page faults and is slow.
src/include/mc/mc.h
src/mc/mc_checkpoint.cpp
src/mc/mc_config.cpp
src/mc/mc_model_checker.cpp
src/mc/mc_model_checker.h
src/mc/mc_page_snapshot.cpp
src/mc/mc_snapshot.cpp
src/mc/mc_snapshot.h
src/simgrid/sg_config.c