lkml.org 
[lkml]   [2020]   [Jul]   [1]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [RFC][PATCH 3/8] mm/vmscan: Attempt to migrate page in lieu of discard
On Wed, 1 Jul 2020, Dave Hansen wrote:

> > Could this cause us to break a user's mbind() or allow a user to
> > circumvent their cpuset.mems?
>
> In its current form, yes.
>
> My current rationale for this is that while it's not as deferential as
> it can be to the user/kernel ABI contract, it's good *overall* behavior.
> The auto-migration only kicks in when the data is about to go away. So
> while the user's data might be slower than they like, it is *WAY* faster
> than they deserve because it should be off on the disk.
>

It's outside the scope of this patchset, but eventually there will be a
promotion path that I think requires a strict 1:1 relationship between
DRAM and PMEM nodes because otherwise mbind(), set_mempolicy(), and
cpuset.mems become ineffective for nodes facing memory pressure.

For the purposes of this patchset, agreed that DRAM -> PMEM -> swap makes
perfect sense. Theoretically, I think you could have DRAM N0 and N1 and
then a single PMEM N2 and this N2 can be the terminal node for both N0 and
N1. On promotion, I think we need to rely on something stronger than
autonuma to decide which DRAM node to promote to: specifically any user
policy put into effect (memory tiering or autonuma shouldn't be allowed to
subvert these user policies).

As others have mentioned, we lose the allocation or process context at the
time of demotion or promotion and any workaround for that requires some
hacks, such as mapping the page to cpuset (what is the right solution for
shared pages?) or adding NUMA locality handling to memcg.

I think a 1:1 relationship between DRAM and PMEM nodes is required if we
consider the eventual promotion of this memory so that user memory can't
eventually reappear on a DRAM node that is not allowed by mbind(),
set_mempolicy(), or cpuset.mems. I think it also makes this patchset much
simpler.

> > Because we don't have a mapping of the page back to its allocation
> > context (or the process context in which it was allocated), it seems like
> > both are possible.
> >
> > So let's assume that migration nodes cannot be other DRAM nodes.
> > Otherwise, memory pressure could be intentionally or unintentionally
> > induced to migrate these pages to another node. Do we have such a
> > restriction on migration nodes?
>
> There's nothing explicit. On a normal, balanced system where there's a
> 1:1:1 relationship between CPU sockets, DRAM nodes and PMEM nodes, it's
> implicit since the migration path is one deep and goes from DRAM->PMEM.
>
> If there were some oddball system where there was a memory only DRAM
> node, it might very well end up being a migration target.
>

Shouldn't DRAM->DRAM demotion be banned? It's all DRAM and within the
control of mempolicies and cpusets today, so I had assumed this is outside
the scope of memory tiering support. I had assumed that memory tiering
support was all about separate tiers :)

> >> +static struct page *alloc_demote_node_page(struct page *page, unsigned long node)
> >> +{
> >> + /*
> >> + * 'mask' targets allocation only to the desired node in the
> >> + * migration path, and fails fast if the allocation can not be
> >> + * immediately satisfied. Reclaim is already active and heroic
> >> + * allocation efforts are unwanted.
> >> + */
> >> + gfp_t mask = GFP_NOWAIT | __GFP_NOWARN | __GFP_NORETRY |
> >> + __GFP_NOMEMALLOC | __GFP_THISNODE | __GFP_HIGHMEM |
> >> + __GFP_MOVABLE;
> >
> > GFP_NOWAIT has the side-effect that it does __GFP_KSWAPD_RECLAIM: do we
> > actually want to kick kswapd on the pmem node?
>
> In my mental model, cold data flows from:
>
> DRAM -> PMEM -> swap
>
> Kicking kswapd here ensures that while we're doing DRAM->PMEM migrations
> for kinda cold data, kswapd can be working on doing the PMEM->swap part
> on really cold data.
>

Makes sense.

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