memcg: add hierarchical effective limits for v2

Memcg-v1 exposes hierarchical_[memory|memsw]_limit counters in its
memory.stat file which applications can use to get their effective limit
which is the minimum of limits of itself and all of its ancestors.  This
is pretty useful in environments where cgroup namespace is used and the
application does not have access to the full view of the cgroup hierarchy.
Let's expose effective limits for memcg v2 as well.

Link: https://lkml.kernel.org/r/20250205222029.2979048-1-shakeel.butt@linux.dev
Signed-off-by: Shakeel Butt <shakeel.butt@linux.dev>
Reviewed-by: Balbir Singh <balbirs@nvidia.com>
Cc: Johannes Weiner <hannes@cmpxchg.org>
Cc: Michal Hocko <mhocko@kernel.org>
Cc: Michal Koutný <mkoutny@suse.com>
Cc: Muchun Song <muchun.song@linux.dev>
Cc: Roman Gushchin <roman.gushchin@linux.dev>
Cc: Tejun Heo <tj@kernel.org>
Cc: "T.J. Mercier" <tjmercier@google.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>

diff --git a/Documentation/admin-guide/cgroup-v2.rst b/Documentation/admin-guide/cgroup-v2.rst
index cb1b4e759b7e267c24d7f4f69564c16fb29c4d89..175e9435ad5c1db5259d0cf8fed6eb5d49238e4a 100644 (file)
--- a/Documentation/admin-guide/cgroup-v2.rst
+++ b/Documentation/admin-guide/cgroup-v2.rst
@@ -1311,6 +1311,14 @@ PAGE_SIZE multiple when read back.
        Caller could retry them differently, return into userspace
        as -ENOMEM or silently ignore in cases like disk readahead.
 
+  memory.max.effective
+       A read-only single value file which exists on non-root cgroups.
+
+        The effective limit of the cgroup i.e. the minimum memory.max
+        of all ancestors including itself. This is useful for environments
+        where cgroup namespace is being used and the application does not
+        have full view of the hierarchy.
+
   memory.reclaim
        A write-only nested-keyed file which exists for all cgroups.
 
@@ -1726,6 +1734,14 @@ The following nested keys are defined.
        Swap usage hard limit.  If a cgroup's swap usage reaches this
        limit, anonymous memory of the cgroup will not be swapped out.
 
+  memory.swap.max.effective
+       A read-only single value file which exists on non-root cgroups.
+
+        The effective limit of the cgroup i.e. the minimum memory.swap.max
+        of all ancestors including itself. This is useful for environments
+        where cgroup namespace is being used and the application does not
+        have full view of the hierarchy.
+
   memory.swap.events
        A read-only flat-keyed file which exists on non-root cgroups.
        The following entries are defined.  Unless specified
@@ -1766,6 +1782,14 @@ The following nested keys are defined.
        limit, it will refuse to take any more stores before existing
        entries fault back in or are written out to disk.
 
+  memory.zswap.max.effective
+       A read-only single value file which exists on non-root cgroups.
+
+        The effective limit of the cgroup i.e. the minimum memory.zswap.max
+        of all ancestors including itself. This is useful for environments
+        where cgroup namespace is being used and the application does not
+        have full view of the hierarchy.
+
   memory.zswap.writeback
        A read-write single value file. The default value is "1".
        Note that this setting is hierarchical, i.e. the writeback would be

diff --git a/mm/memcontrol.c b/mm/memcontrol.c
index f1583bff9f363f01c0284a34ac6b09db6bb5ff6d..16f3bdbd37d86458a5373e85a2d7beffeaa304a4 100644 (file)
--- a/mm/memcontrol.c
+++ b/mm/memcontrol.c
@@ -4161,6 +4161,17 @@ static int memory_max_show(struct seq_file *m, void *v)
                READ_ONCE(mem_cgroup_from_seq(m)->memory.max));
 }
 
+static int memory_max_effective_show(struct seq_file *m, void *v)
+{
+       unsigned long max = PAGE_COUNTER_MAX;
+       struct mem_cgroup *memcg = mem_cgroup_from_seq(m);
+
+       for (; memcg; memcg = parent_mem_cgroup(memcg))
+               max = min(max, READ_ONCE(memcg->memory.max));
+
+       return seq_puts_memcg_tunable(m, max);
+}
+
 static ssize_t memory_max_write(struct kernfs_open_file *of,
                                char *buf, size_t nbytes, loff_t off)
 {
@@ -4439,6 +4450,11 @@ static struct cftype memory_files[] = {
                .seq_show = memory_max_show,
                .write = memory_max_write,
        },
+       {
+               .name = "max.effective",
+               .flags = CFTYPE_NOT_ON_ROOT,
+               .seq_show = memory_max_effective_show,
+       },
        {
                .name = "events",
                .flags = CFTYPE_NOT_ON_ROOT,
@@ -5118,6 +5134,17 @@ static int swap_max_show(struct seq_file *m, void *v)
                READ_ONCE(mem_cgroup_from_seq(m)->swap.max));
 }
 
+static int swap_max_effective_show(struct seq_file *m, void *v)
+{
+       unsigned long max = PAGE_COUNTER_MAX;
+       struct mem_cgroup *memcg = mem_cgroup_from_seq(m);
+
+       for (; memcg; memcg = parent_mem_cgroup(memcg))
+               max = min(max, READ_ONCE(memcg->swap.max));
+
+       return seq_puts_memcg_tunable(m, max);
+}
+
 static ssize_t swap_max_write(struct kernfs_open_file *of,
                              char *buf, size_t nbytes, loff_t off)
 {
@@ -5167,6 +5194,11 @@ static struct cftype swap_files[] = {
                .seq_show = swap_max_show,
                .write = swap_max_write,
        },
+       {
+               .name = "swap.max.effective",
+               .flags = CFTYPE_NOT_ON_ROOT,
+               .seq_show = swap_max_effective_show,
+       },
        {
                .name = "swap.peak",
                .flags = CFTYPE_NOT_ON_ROOT,
@@ -5309,6 +5341,17 @@ static int zswap_max_show(struct seq_file *m, void *v)
                READ_ONCE(mem_cgroup_from_seq(m)->zswap_max));
 }
 
+static int zswap_max_effective_show(struct seq_file *m, void *v)
+{
+       unsigned long max = PAGE_COUNTER_MAX;
+       struct mem_cgroup *memcg = mem_cgroup_from_seq(m);
+
+       for (; memcg; memcg = parent_mem_cgroup(memcg))
+               max = min(max, READ_ONCE(memcg->zswap_max));
+
+       return seq_puts_memcg_tunable(m, max);
+}
+
 static ssize_t zswap_max_write(struct kernfs_open_file *of,
                               char *buf, size_t nbytes, loff_t off)
 {
@@ -5363,6 +5406,11 @@ static struct cftype zswap_files[] = {
                .seq_show = zswap_max_show,
                .write = zswap_max_write,
        },
+       {
+               .name = "zswap.max.effective",
+               .flags = CFTYPE_NOT_ON_ROOT,
+               .seq_show = zswap_max_effective_show,
+       },
        {
                .name = "zswap.writeback",
                .seq_show = zswap_writeback_show,