On 27/09/2018 16:50, Oscar Salvador wrote:
On Thu, Sep 27, 2018 at 03:13:29PM +0200, Michal Hocko wrote:
> On Thu 27-09-18 14:25:37, Oscar Salvador wrote:
>> On Thu, Sep 27, 2018 at 01:09:26PM +0200, Michal Hocko wrote:
>>>> So there were a few things I wasn't sure we could pull outside of
>>>> hotplug lock. One specific example is the bits related to resizing the
>>>> and zone. I wanted to avoid pulling those bits outside of the hotplug
>>> Why would that be a problem. There are dedicated locks for resizing.
>> True is that move_pfn_range_to_zone() manages the locks for pgdat/zone resizing,
>> but it also takes care of calling init_currently_empty_zone() in case the zone is
>> Could not that be a problem if we take move_pfn_range_to_zone() out of the lock?
> I would have to double check but is the hotplug lock really serializing
> access to the state initialized by init_currently_empty_zone? E.g.
> zone_start_pfn is a nice example of a state that is used outside of the
> lock. zone's free lists are similar. So do we really need the hoptlug
> lock? And more broadly, what does the hotplug lock is supposed to
> serialize in general. A proper documentation would surely help to answer
> these questions. There is way too much of "do not touch this code and
> just make my particular hack" mindset which made the whole memory
> hotplug a giant pile of mess. We really should start with some proper
> engineering here finally.
David has been looking into this lately, he even has updated memory-hotplug.txt
with some more documentation about the locking aspect .
And with this change , the hotplug lock has been moved
to the online/offline_pages.
From what I see (I might be wrong), the hotplug lock is there
to serialize the online/offline operations.
mem_hotplug_lock is especially relevant for users of
get_online_mems/put_online_mems. Whatever affects them, you can't move
out of the lock.
Everything else is theoretically serialized via device_hotplug_lock now.
In online_pages, we do (among other things):
a) initialize the zone and its pages, and link them to the zone
b) re-adjust zone/pgdat nr of pages (present, spanned, managed)
b) check if the node changes in regard of N_MEMORY, N_HIGH_MEMORY or N_NORMAL_MEMORY.
c) fire notifiers
d) rebuild the zonelists in case we got a new zone
e) online memory sections and free the pages to the buddy allocator
f) wake up kswapd/kcompactd in case we got a new node
while in offline_pages we do the opposite.
Hotplug lock here serializes the operations as a whole, online and offline memory,
so they do not step on each other's feet.
Having said that, we might be able to move some of those operations out of the hotplug
The device_hotplug_lock coming from every memblock (which is taken in
device_online/device_offline) should protect
us against some operations being made on the same memblock (e.g: touching the same
Yes, very right.
David / dhildenb