1699
6%
master: 33%

Ran 16 Feb 2018 01:53AM UTC

Jobs 1

Files 217

Run time 11s

Badge

Embed ▾

pending completion

Build # 1699

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	1699.1 (TR_ARCH=local GCOV=1)	16 Feb 2018 01:53AM UTC	0	65.11	Travis Job 1699.1

Source Files on build 1699

Detailed source file information is not available for this build.

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1699

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1699

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

README BADGES
x