Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] In MC_ignore, keep the zeroed data out of the main snapshot
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 13 Jun 2014 12:07:46 +0000 (14:07 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 13 Jun 2014 12:29:33 +0000 (14:29 +0200)
commitfe676bdf59f9b7bc9ab2868caf5ca56789367419
tree34aaf4d30defa929777b4aaa6560f921c20a8a35
parentf5dc91251a53f1ae8fc50749e787a38815354f3a
[mc] In MC_ignore, keep the zeroed data out of the main snapshot

The previous implementation was zeroing out the snapshot data

   * so that it will be automatically ignored by the state comparator;

   * but not for the first snapshot in order to be able to backtrack
     to the initial state;

In preparation for the per-page snapshoting code, we

  1. zero out on the main memory;
  2. keep the zero-ed bytes out of the main snapshot regions;
  3. restore the zero-ed bytes.

This way the state comparison code and the per-page snapshoting code
do not have to worry about this. Moreover by normalizing, the
"ignored" bytes, we increase the possibility of sharing memory pages
in per-page snapshots.
src/mc/mc_checkpoint.c
src/mc/mc_private.h