[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <YR/+gfL8RCP8XoB1@t490s>
Date: Fri, 20 Aug 2021 15:12:01 -0400
From: Peter Xu <peterx@...hat.com>
To: Tiberiu Georgescu <tiberiu.georgescu@...anix.com>
Cc: David Hildenbrand <david@...hat.com>,
"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
"linux-mm@...ck.org" <linux-mm@...ck.org>,
Alistair Popple <apopple@...dia.com>,
Ivan Teterevkov <ivan.teterevkov@...anix.com>,
Mike Rapoport <rppt@...ux.vnet.ibm.com>,
Hugh Dickins <hughd@...gle.com>,
Matthew Wilcox <willy@...radead.org>,
Andrea Arcangeli <aarcange@...hat.com>,
"Kirill A . Shutemov" <kirill@...temov.name>,
Andrew Morton <akpm@...ux-foundation.org>,
Mike Kravetz <mike.kravetz@...cle.com>,
"Carl Waldspurger [C]" <carl.waldspurger@...anix.com>,
Florian Schmidt <flosch@...anix.com>,
Jonathan Davies <jond@...anix.com>
Subject: Re: [PATCH RFC 0/4] mm: Enable PM_SWAP for shmem with PTE_MARKER
Hello, Tiberiu,
On Fri, Aug 20, 2021 at 04:49:58PM +0000, Tiberiu Georgescu wrote:
> Firstly, I am worried lseek with the SEEK_HOLE flag would page in pages from
> swap, so using it would be a direct factor on its own output. If people are working
> on Live Migration, this would not be ideal. I am not 100% sure this is how lseek
> works, so please feel free to contradict me, but I think it would swap in some
> of the pages that it seeks through, if not all, to figure out when to stop. Unless it
> leverages the page cache somehow, or an internal bitmap.
It shouldn't. Man page is clear on that:
SEEK_DATA
Adjust the file offset to the next location in the file greater
than or equal to offset containing data. If offset points to
data, then the file offset is set to offset.
Again, I think your requirement is different from CRIU, so I think mincore() is
the right thing for you.
>
> Secondly, mincore() could return some "false positives" for this particular use
> case. That is because it returns flag=1 for pages which are still in the swap
> cache, so the output becomes ambiguous.
I don't think so; mincore() should return flag=0 if it's either in swap cache
or even got dropped from it. I think its name/doc also shows that in the fact
that "as long as it's not in RAM, the flag is cleared". That's why I think
that should indeed be what you're looking for, if swp entry can be ignored.
More below on that.
Note that my series is as you mentioned missing the changes to support
mincore() (otherwise I'll know the existance of it!). It'll be trivial to add
that, but let's see whether mincore() will satisfy your need.
[...]
> It is possible for the swap device to be network attached and shared, so multiple
> hosts would need to understand its content. Then it is no longer internal to one
> kernel only.
>
> By being swap-aware, we can skip swapped-out pages during migration (to prevent IO and potential thrashing), and transfer those pages in another way that
> is zero-copy.
That sounds reasonable, but I'm not aware of any user-API that exposes swap
entries to userspace, or is there one?
I.e., how do you know which swap device is which? How do you guarantee the
kernel swp entry information won't change along with time?
Thanks,
--
Peter Xu
Powered by blists - more mailing lists