1
6%
master: 33%

Ran 16 Feb 2018 01:53AM UTC

Files 217

Run time 9s

Badge

Embed ▾

Committed 16 Feb 2018 01:53AM UTC coverage: 65.105% (+0.04%) from 65.061%

Job # TR_ARCH=local GCOV=1

Build Type

push

travis-ci

Committed by Andrei Vagin

Commit Message

page-pipe: do not allow pipe sharing between different PPB types

Currently, if pipe is shared between lazy and non-lazy PPBs lazy migration
fails because data that should be transfered on demand is spliced into the
images. Preventing pipe sharing between PPBs of different type resolves
this issue.
In order to still minimize pipe fragmentation, we track the last pipe that
was used for certain PPB type and re-use it for the PPB of the same type.

Signed-off-by: Mike Rapoport <rppt@linux.vnet.ibm.com>

Run Details

20958 of 32191 relevant lines covered (65.11%)

688451.14 hits per line

checkpoint-restore / criu / 1699 / 1
6%
master: 33%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1699.1 (TR_ARCH=local GCOV=1)

checkpoint-restore / criu / 1699 / 1 6% master: 33%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1699.1 (TR_ARCH=local GCOV=1)

checkpoint-restore / criu / 1699 / 1
6%
master: 33%

README BADGES
x