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 the
> > 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
I am going to end up with yet another patch set to clean up all the
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
> > > > > > > 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
> > > > > > devm_memremap_pages version of things, and then only under
> > > > > > 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
> > > > > > sticking with that as the preferred argument to pass.
> > > > >
> > > > > I am not aware of any upstream HMM user so I am not sure what
> > > > > expectations there. But I thought that ZONE_DEVICE users use
> > > > > that is not generally true then we certainly have to think about
> > > > > 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
> > > > 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
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.
> > > > 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
> > > > have to pass is the dev_pagemap in both HMM and memremap case, and
> > > > the altmap already embedded inside of it.
> > >
> > > And I have argued that this is a wrong approach to the problem. If you
> > > 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.