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)
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.


No differences found