On Wed, Apr 20, 2011 at 10:41 PM, KAMEZAWA Hiroyuki <kamezawa.hiroyu@xxxxxxxxxxxxxx> wrote:
On Thu, 21 Apr 2011 07:08:51 +0200
Why do you guys like to make a mixture discussion of softlimit andJohannes Weiner <hannes@xxxxxxxxxxx> wrote:
> On Thu, Apr 21, 2011 at 01:00:16PM +0900, KAMEZAWA Hiroyuki wrote:
> > On Thu, 21 Apr 2011 04:51:07 +0200
> > Johannes Weiner <hannes@xxxxxxxxxxx> wrote:
> >
> > > > If the cgroup is configured to use per cgroup background reclaim, a kswapd
> > > > thread is created which only scans the per-memcg LRU list.
> > >
> > > We already have direct reclaim, direct reclaim on behalf of a memcg,
> > > and global kswapd-reclaim. Please don't add yet another reclaim path
> > > that does its own thing and interacts unpredictably with the rest of
> > > them.
> > >
> > > As discussed on LSF, we want to get rid of the global LRU. So the
> > > goal is to have each reclaim entry end up at the same core part of
> > > reclaim that round-robin scans a subset of zones from a subset of
> > > memory control groups.
> >
> > It's not related to this set. And I think even if we remove global LRU,
> > global-kswapd and memcg-kswapd need to do independent work.
> >
> > global-kswapd : works for zone/node balancing and making free pages,
> > and compaction. select a memcg vicitm and ask it
> > to reduce memory with regard to gfp_mask. Starts its work
> > when zone/node is unbalanced.
>
> For soft limit reclaim (which is triggered by global memory pressure),
> we want to scan a group of memory cgroups equally in round robin
> fashion. I think at LSF we established that it is not fair to find
> the one that exceeds its limit the most and hammer it until memory
> pressure is resolved or there is another group with more excess.
>
high/low watermarks ?
Yes, we've been talking about soft_limit discussion in LSF but I haven't mentioned this per-memcg-kswapd
effort enough. They are indeed independent effort.
yes, please do rework.
> So even for global kswapd, sooner or later we need a mechanism to
> apply equal pressure to a set of memcgs.
>
Please do make changes all again.
> With the removal of the global LRU, we ALWAYS operate on a set of
> memcgs in a round-robin fashion, not just for soft limit reclaim.
>
> So yes, these are two different things, but they have the same
> requirements.
>
It's never be reason to make kswapd wake up.
> > memcg-kswapd : works for reducing usage of memory, no interests on
> > zone/nodes. Starts when high/low watermaks hits.
>
> When the watermark is hit in the charge path, we want to wake up the
> daemon to reclaim from a specific memcg.
>
> When multiple memcgs exceed their watermarks in parallel (after all,
> we DO allow concurrency), we again have a group of memcgs we want to
> reclaim from in a fair fashion until their watermarks are met again.
>
If you find problem, please fix.
> And memcg reclaim is not oblivious to nodes and zones, right now, we
> also do mind the current node and respect the zone balancing when we
> do direct reclaim on behalf of a memcg.
>
No. memcg-background-reclaim will need to have more better algorithm finally
> So, to be honest, I really don't see how both cases should be
> independent from each other. On the contrary, I see very little
> difference between them. The entry path differs slightly as well as
> the predicate for the set of memcgs to scan. But most of the worker
> code is exactly the same, no?
>
as using file/anon ratio, swapiness, dirty-ratio on memecg. And it works
as a service for helping performance by kernel.
global-background-reclaim will need to depends on global file/anon ratio
and swapiness, dirty-ratio. This works as a service for maintaining free
memory, by kernel.
I don't want to make mixture here until we convice we can do that.
memcg-kswapd does.
1. pick up memcg
2. do scan and reclaim
global-kswapd does
1. pick up zone.
2. pick up suitable memcg for reclaiming this zone's page
3. check zone balancing.
We _may_ be able to finally merge them, but I'm unsure. Total rework after
implementing nicely-work-memcg-kswapd is welcomed.
I want to fix problems one by one. Reworking around this at removing LRU is
not heavy burden, but will be a interesting job. At rework,
global kswapd/global direct-reclaim need to consider
- get free memory
- compaction of multi-order pages.
this is interesting part. we don't deal w/ high order page reclaim in memcg. So, there will be no lumpy reclaim in the soft_limit reclaim under global kswapd. I also mentioned that in:
- balancing zones
this should be covered in current soft_limit reclaim proposal above. don't want to go to much detail in this thread.
- balancing nodes
not sure about this.
- OOM.
+ balancing memcgs (with softlimit) and LRU ordering
agree, and i would like to start with round-robin.
+ dirty-ratio (it may be better to avoid picking busy memcg by kswapd.)
+ hi/low watermak (if you want).
I assume this is the zone wmarks.
"+" is new things added by memcg.
We need to establish each ones and needs performance/statistics check for each.
I don't think we can implement them all perfectly with a rush. I think I'll
see unexpected problems on my way to realistic solution
I will review the 3 patch you just posted and test them with my V7.
--Ying
I cannot understand here. Why global reclaim need to do works other than
> > > > Two watermarks ("high_wmark", "low_wmark") are added to trigger the
> > > > background reclaim and stop it. The watermarks are calculated based
> > > > on the cgroup's limit_in_bytes.
> > >
> > > Which brings me to the next issue: making the watermarks configurable.
> > >
> > > You argued that having them adjustable from userspace is required for
> > > overcommitting the hardlimits and per-memcg kswapd reclaim not kicking
> > > in in case of global memory pressure. But that is only a problem
> > > because global kswapd reclaim is (apart from soft limit reclaim)
> > > unaware of memory control groups.
> > >
> > > I think the much better solution is to make global kswapd memcg aware
> > > (with the above mentioned round-robin reclaim scheduler), compared to
> > > adding new (and final!) kernel ABI to avoid an internal shortcoming.
> >
> > I don't think its a good idea to kick kswapd even when free memory is enough.
>
> This depends on what kswapd is supposed to be doing. I don't say we
> should reclaim from all memcgs (i.e. globally) just because one memcg
> hits its watermark, of course.
>
> But the argument was that we need the watermarks configurable to force
> per-memcg reclaim even when the hard limits are overcommitted, because
> global reclaim does not do a fair job to balance memcgs.
balancing zones ? And what is balancing memcg ? Mentioning softlimit ?
I cannot undestand this, either. Don't you make a mixture of discussion
> My counter
> proposal is to fix global reclaim instead and apply equal pressure on
> memcgs, such that we never have to tweak per-memcg watermarks to
> achieve the same thing.
>
with softlimit ? Making global kswapd better is another discussion.
Hi/Low watermak is a feature as it is. It the 3rd way to limit memory
usage. Comaparing hard_limit, soft_limit, it works in moderate way in background
and works regardless of usage of global memory. I think it's valid to have
ineterfaces to tuning this.
Thanks,
-Kame