Memory images deduplication

When performing incremental dumps or iterative migration, a layered stack of memory images is created. In that stack, some data is duplicated (i.e. same memory page is present in multiple images). This article describes ways to deduplicate such data by punching holes in image files (using fallocate() syscall with FALLOC_FL_PUNCH_HOLE flag), effectively freeing used disk space.

Deduplication modeEdit

Two ways to deduplicate memory images are available.

OfflineEdit

The criu dedup command opens the image directory and punches holes in the parent images where child images would replace them.

On the flyEdit

The --auto-dedup option can be used for criu dump, criu pre-dump and criu page-server. It causes every write to images with process' pages to punch holes in the respective parent images, which is extremely useful in disk-less migration scenario.

The --auto-dedup option can also be used for criu restore. This makes CRIU to punch holes in images as memory is being restored. This should be used if images are stored on tmpfs (i.e. in RAM, see disk-less migration), as this way RAM usage is not growing.

Shared memory deduplicationEdit

Main article: Shared memory

Deduplication only makes sense for incremental memory dumps. For now CRIU can only track changes, create incremental checkpoints and do dedup for anonymous memory. Changes tracking, increments and deduplication for shared memory is currently (August 2016) available in CRIU development branch.

Implementation notesEdit

Memory images are stored into two files: pagemap and pages (see memory dumps for details). Note that the deduplication process does not change pagemap in any way, it only punches holes in pages image files.

Note that having a hole in an image file have totally different meaning that is in no way similar to the one of in_parent flag in pagemap entry (described in memory dumps).

See alsoEdit

External linksEdit