lkml.org 
[lkml]   [2014]   [Jul]   [7]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH v3 1/3] mm: introduce fincore()
Hi Dave,

Thank you for the comments.

On Mon, Jul 07, 2014 at 12:01:41PM -0700, Dave Hansen wrote:
> > +/*
> > + * You can control how the buffer in userspace is filled with this mode
> > + * parameters:
>
> I agree that we don't have any good mechanisms for looking at the page
> cache from userspace. I've hacked some things up using mincore() and
> they weren't pretty, so I welcome _something_ like this.
>
> But, is this trying to do too many things at once? Do we have solid use
> cases spelled out for each of these modes? Have we thought out how they
> will be used in practice?

tools/vm/page-types.c will be an in-kernel user after this base code is
accepted. The idea of doing fincore() thing comes up during the discussion
with Konstantin over file cache mode of this tool.
pfn and page flag are needed there, so I think it's one clear usecase.

> The biggest question for me, though, is whether we want to start
> designing these per-page interfaces to consider different page sizes, or
> whether we're going to just continue to pretend that the entire world is
> 4k pages. Using FINCORE_BMAP on 1GB hugetlbfs files would be a bit
> silly, for instance.
>
> > + * - FINCORE_BMAP:
> > + * the page status is returned in a vector of bytes.
> > + * The least significant bit of each byte is 1 if the referenced page
> > + * is in memory, otherwise it is zero.
>
> I know this is consistent with mincore(), but it did always bother me
> that mincore() was so sparse. Seems like it is wasting 7/8 of its bits.

Yes, I got the same comment in previous round. So, OK, not a few people
seem to think that space efficiency is more important than the consistency,
so I'm OK to do it.

We have an idea of making fincore() cover the whole mincore()'s feature
by letting fincore() handle /proc/pid/mem. So mincore() will be obsolete,
and no one has to care about consistency beteen mincore and fincore.
That might be another reason justifying the idea above.

> > + * - FINCORE_PGOFF:
> > + * if this flag is set, fincore() doesn't store any information about
> > + * holes. Instead each records per page has the entry of page offset,
> > + * using 8 bytes. This mode is useful if we handle a large file and
> > + * only few pages are on memory.
>
> This bothers me a bit. How would someone know how sparse file was
> before calling this? If it's not sparse, and they use this, they'll end
> up using 8x the memory they would have using FINCORE_BMAP. If it *is*
> sparse, and they use FINCORE_BMAP, they will either waste tons of memory
> on buffers, or have to make a ton of calls.

Yes, that's the hard point.
Some new mode (FINCORE_SUM for example) to get how many pages of a file
is in memory might be helpful to choose which mode, although we need 2 calls.

> I guess this could also be used to do *searches*, which would let you
> search out holes. Let's say you have a 2TB file. You could call this
> with a buffer size of 1 entry and do searches, say 0->1TB. If you get
> your one entry back, you know it's not completely sparse.
>
> But, that wouldn't work with it as-designed. The length of the buffer
> and the range of the file being checked are coupled together,

This is only correct for !FINCORE_PGOFF.

> so you
> can't say:
>
> vec = malloc(sizeof(long));
> fincore(fd, 0, 1TB, FINCORE_PGOFF, vec, extra);
>
> without overflowing vec.

The 3rd parameter is the number of pages whose data is passed to userspace,
so we expect userspace to set it according to the buffer size.

But yes, I still have a problem. In FINCORE_PGOFF mode we only scan until
the buffer becomes full, but userspace doesn't know at which point the
scan stopped. It can guess the end point from the pgoff of the last buffer,
but it might not be straightforward or well-designed.
And I should describe this behavior more.

> Is it really right to say this is going to be 8 bytes? Would we want it
> to share types with something else, like be an loff_t?

Could you elaborate it more?

> > + * - FINCORE_PFN:
> > + * stores pfn, using 8 bytes.
>
> These are all an unprivileged operations from what I can tell. I know
> we're going to a lot of trouble to hide kernel addresses from being seen
> in userspace. This seems like it would be undesirable for the folks
> that care about not leaking kernel addresses, especially for
> unprivileged users.
>
> This would essentially tell userspace where in the kernel's address
> space some user-controlled data will be.

OK, so this and FINCORE_PAGEFLAGS will be limited for privileged users.

> > + * We can use multiple flags among the flags in FINCORE_LONGENTRY_MASK.
> > + * For example, when the mode is FINCORE_PFN|FINCORE_PAGEFLAGS, the per-page
> > + * information is stored like this:
>
> Instead of specifying the ordering in the manpages alone, would it be
> smarter to just say that the ordering of the items is dependent on the
> ordering of the flags? In other words if FINCORE_PFN <
> FINCORE_PAGEFLAGS, then its field comes first?

Ah, right. I should've referred to the ordering here also.

Thanks,
Naoya Horiguchi


\
 
 \ /
  Last update: 2014-07-07 23:01    [W:0.152 / U:0.324 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site