[CRIU] dedup and memory tracking

[Pavel Emelyanov]

On 06/11/2014 06:05 PM, J F wrote:
>     Is $prevdumpdir == $dumpdir ?
> 
> 
> Correct. Those are variables in my helper shell file. 

OK, then the 2nd dump should dump less pages. You can
check the stats-dump file in both directories with criu
show command. The field pages_skipped_parent field is
the amount of pages criu skipped, since they are the
same as in previous dump.

Thanks,
Pavel