Re: [RFC PATCH 0/2] mm/memcontrol: Finer-grained memory control
From: Michal Hocko
Date: Thu Apr 11 2019 - 11:19:20 EST
On Thu 11-04-19 10:02:16, Waiman Long wrote:
> On 04/10/2019 03:54 PM, Michal Hocko wrote:
> > On Wed 10-04-19 15:13:19, Waiman Long wrote:
> >> The current control mechanism for memory cgroup v2 lumps all the memory
> >> together irrespective of the type of memory objects. However, there
> >> are cases where users may have more concern about one type of memory
> >> usage than the others.
> >> We have customer request to limit memory consumption on anonymous memory
> >> only as they said the feature was available in other OSes like Solaris.
> > Please be more specific about a usecase.
> From that customer's point of view, page cache is more like common goods
> that can typically be shared by a number of different groups. Depending
> on which groups touch the pages first, it is possible that most of those
> pages can be disproportionately attributed to one group than the others.
> Anonymous memory, on the other hand, are not shared and so can more
> correctly represent the memory footprint of an application. Of course,
> there are certainly cases where an application can have large private
> files that can consume a lot of cache pages. These are probably not the
> case for the applications used by that customer.
So you are essentially interested in the page cache limiting, right?
This has been proposed several times already and always rejected because
this is not a good idea.
I would really like to see a more specific example where this makes
sense. False sharing can be certainly happen, no questions about that
but then the how big of a problem that is? Please more specifics.
> >> To allow finer-grained control of memory, this patchset 2 new control
> >> knobs for memory controller:
> >> - memory.subset.list for specifying the type of memory to be under control.
> >> - memory.subset.high for the high limit of memory consumption of that
> >> memory type.
> > Please be more specific about the semantic.
> > I am really skeptical about this feature to be honest, though.
> Please see patch 1 which has a more detailed description. This is just
> an overview for the cover letter.
No, please describe the whole design in high level in the cover letter.
I am not going to spend time reviewing specific patches if the whole
idea is not clear beforhand. Design should be clear first before diving
into technical details.
> >> For simplicity, the limit is not hierarchical and applies to only tasks
> >> in the local memory cgroup.
> > This is a no-go to begin with.
> The reason for doing that is to introduce as little overhead as
We are not going to break semantic based on very vague hand waving about
> We can certainly make it hierarchical, but it will complicate
> the code and increase runtime overhead. Another alternative is to limit
> this feature to only leaf memory cgroups. That should be enough to cover
> what the customer is asking for and leave room for future hierarchical
> extension, if needed.
No, this is a broken design that doesn't fall into the over cgroups