On Mon, 2018-10-29 at 18:24 +0100, Michal Hocko wrote:
On Mon 29-10-18 10:01:28, Alexander Duyck wrote:
> On Mon, 2018-10-29 at 17:35 +0100, Michal Hocko wrote:
> > On Mon 29-10-18 08:59:34, Alexander Duyck wrote:
> > > So for example the call "online_pages_range" doesn't invoke
> > > online_page_callback unless the first pfn in the range is marked as
> > > reserved.
> > Yes and there is no fundamental reason to do that. We can easily check
> > the online status without that.
> > > Another example Dan had pointed out was the saveable_page function in
> > > kernel/power/snapshot.c.
> > Use pfn_to_online_page there.
> Right. Which getting back to my original point, there is a bunch of
> other changes that need to happen in order for us to make this work.
Which is a standard process of upstreaming stuff. My main point was that
the reason why I've added SetPageReserved was a safety net because I
knew that different code paths would back of on PageReserved while they
wouldn't on a partially initialized structure. Now that you really want
to prevent setting this bit for performance reasons then it makes sense
to revisit that earlier decision and get rid of it rather than build on
top of it and duplicate and special case the low level hotplug init
Just to clarify not setting the reserved bit isn't so much a
performance optimization as it is a functional issue. My understanding
is that they cannot get the DAX pages through KVM currently as it
doesn't recognize them as being "online". So in going through and
cleaning up the checks for the reserved bit this problem will likely
> I am going to end up with yet another patch set to clean up all
> spots that are using PageReserved that shouldn't be before I can get
> to the point of not setting that bit.
This would be highly appreciated. There are not that many PageReserved
Yeah, not many, only about 3 dozen. It should only take me a week or
two to get them all sorted.
> > > > > > > > Regarding the post
initialization required by devm_memremap_pages and
> > > > > > > > potentially others. Can we update the altmap
which is already a way how
> > > > > > > > to get alternative struct pages by a constructor
which we could call
> > > > > > > > from memmap_init_zone and do the post
initialization? This would reduce
> > > > > > > > the additional loop in the caller while it would
still fit the overall
> > > > > > > > design of the altmap and the core hotplug
doesn't have to know anything
> > > > > > > > about DAX or whatever needs a special treatment.
> > > > > > > >
> > > > > > > > Does that make any sense?
> > > > > > >
> > > > > > > I think the only thing that is currently using the
altmap is the ZONE_DEVICE
> > > > > > > memory init. Specifically I think it is only really
used by the
> > > > > > > devm_memremap_pages version of things, and then only
> > > > > > > circumstances. Also the HMM driver doesn't pass an
altmap. What we would
> > > > > > > really need is a non-ZONE_DEVICE users of the altmap
to really justify
> > > > > > > sticking with that as the preferred argument to pass.
> > > > > >
> > > > > > I am not aware of any upstream HMM user so I am not sure
what are the
> > > > > > expectations there. But I thought that ZONE_DEVICE users
use altmap. If
> > > > > > that is not generally true then we certainly have to think
> > > > > > better interface.
> > > > >
> > > > > I'm just basing my statement on the use of the
> > > > > The only caller that is actually passing the altmap is
> > > > > and if I understand things correctly that is only used when we
want to stare
> > > > > the vmmemmap on the same memory that we just hotplugged.
> > > >
> > > > Yes, and that is what I've called as allocator callback earlier.
> > >
> > > I am really not a fan of the callback approach. It just means we will
> > > have to do everything multiple times in terms of initialization.
> > I do not follow. Could you elaborate?
> So there end up being a few different issues with constructors. First
> in my mind is that it means we have to initialize the region of memory
> and cannot assume what the constructors are going to do for us. As a
> result we will have to initialize the LRU pointers, and then overwrite
> them with the pgmap and hmm_data.
Why we would do that? What does really prevent you from making a fully
It is more an argument of complexity. Do I just pass a single pointer
and write that value, or the LRU values in init, or do I have to pass a
function pointer, some abstracted data, and then call said function
pointer while passing the page and the abstracted data?
> I am generally not a fan of that as
> the next patch set I have gets rid of most of the redundancy we already
> had in the writes where we were memsetting everything to 0, then
> writing the values, and then taking care of the reserved bit and
> pgmap/hmm_data fields. Dealing with the init serially like that is just
> Another complication is retpoline making function pointers just more
> expensive in general. I know in the networking area we have been
> dealing with this for a while as even the DMA ops have been a pain
We use callbacks all over the kernel and in hot paths as well. This is
far from anything reminding a hot path AFAICT. It can be time consuming
because we have to touch each and every page but that is a fundamental
thing to do. We cannot simply batch the large part of the initialization
to multiple pages at the time.
Have you measured a potential retpoline overhead to have some actual
numbers that would confirm this is just too expensive? Or how much of
performance are we talking about here.
So admittedly my experience is somewhat anecdotal. However I know for
example with XDP in the networking stack we saw some tests drop from
13Mpps to 6Mpps from just the retpoline workaround being turned on. My
concern is us seeing something like that since with the
__init_pageblock function I had introduced I had reduce the memory init
down to a very tight loop, and I am concerned that having to call a
function pointer in the middle of that with the retpoline overhead is
just going to bring the memory initialization to a crawl.
If I have to implement the code to verify the slowdown I will, but I
really feel like it is just going to be time wasted since we have seen
this in other spots within the kernel.
> > > > > That is why it made more sense to me to just
create a ZONE_DEVICE specific
> > > > > function for handling the page initialization because the one
value I do
> > > > > have to pass is the dev_pagemap in both HMM and memremap case,
and that has
> > > > > the altmap already embedded inside of it.
> > > >
> > > > And I have argued that this is a wrong approach to the problem. If
> > > > need a very specific struct page initialization then create a init
> > > > (constructor) callback.
> > >
> > > The callback solution just ends up being more expensive because we lose
> > > multiple layers of possible optimization. By putting everything into on
> > > initization function we are able to let the compiler go through and
> > > optimize things to the point where we are essentially just doing
> > > something akin to one bit memcpy/memset where we are able to construct
> > > one set of page values and write that to every single page we have to
> > > initialize within a given page block.
> > You are already doing per-page initialization so I fail to see a larger
> > unit to operate on.
> I have a patch that makes it so that we can work at a pageblock level
> since all of the variables with the exception of only the LRU and page
> address fields can be precomputed. Doing that is one of the ways I was
> able to reduce page init to 1/3 to 1/4 of the time it was taking
> otherwise in the case of deferred page init.
You still have to call set_page_links for each page. But let's assume we
can do initialization per larger units. Nothing really prevent to hide
that into constructor as well.
The set_page_links function actually executes outside of the main loop
in the case of __init_pageblock. With the change of the memset call to
the multiple assignments of 0 the value can be pre-computed per
pageblock and then just written per page. That is why in my latest
version of the patch set I had folded the reserved bit into the
set_page_links function so that it could be either set or unset at
almost no additional cost to the page initialization.