Commit 07252b0f authored by Qi Zheng's avatar Qi Zheng Committed by Andrew Morton

Revert "mm: vmscan: remove shrinker_rwsem from synchronize_shrinkers()"

This reverts commit 1643db98.

Kernel test robot reports -88.8% regression in stress-ng.ramfs.ops_per_sec
test case [1], which is caused by commit f95bdb70 ("mm: vmscan: make
global slab shrink lockless").  The root cause is that SRCU has to be
careful to not frequently check for SRCU read-side critical section exits.
Therefore, even if no one is currently in the SRCU read-side critical
section, synchronize_srcu() cannot return quickly.  That's why
unregister_shrinker() has become slower.

We will try to use the refcount+RCU method [2] proposed by Dave Chinner to
continue to re-implement the lockless slab shrink.  So we still need
shrinker_rwsem in synchronize_shrinkers() after reverting the
shrinker_srcu related changes.

[1]. https://lore.kernel.org/lkml/202305230837.db2c233f-yujie.liu@intel.com/
[2]. https://lore.kernel.org/lkml/ZIJhou1d55d4H1s0@dread.disaster.area/

Link: https://lkml.kernel.org/r/20230609081518.3039120-3-qi.zheng@linux.devReported-by: default avatarkernel test robot <yujie.liu@intel.com>
Closes: https://lore.kernel.org/oe-lkp/202305230837.db2c233f-yujie.liu@intel.comSigned-off-by: default avatarQi Zheng <zhengqi.arch@bytedance.com>
Cc: Dave Chinner <david@fromorbit.com>
Cc: Kirill Tkhai <tkhai@ya.ru>
Cc: Muchun Song <muchun.song@linux.dev>
Cc: Roman Gushchin <roman.gushchin@linux.dev>
Cc: Vlastimil Babka <vbabka@suse.cz>
Signed-off-by: default avatarAndrew Morton <akpm@linux-foundation.org>
parent 47a7c01c
...@@ -831,11 +831,15 @@ EXPORT_SYMBOL(unregister_shrinker); ...@@ -831,11 +831,15 @@ EXPORT_SYMBOL(unregister_shrinker);
/** /**
* synchronize_shrinkers - Wait for all running shrinkers to complete. * synchronize_shrinkers - Wait for all running shrinkers to complete.
* *
* This is useful to guarantee that all shrinker invocations have seen an * This is equivalent to calling unregister_shrink() and register_shrinker(),
* update, before freeing memory. * but atomically and with less overhead. This is useful to guarantee that all
* shrinker invocations have seen an update, before freeing memory, similar to
* rcu.
*/ */
void synchronize_shrinkers(void) void synchronize_shrinkers(void)
{ {
down_write(&shrinker_rwsem);
up_write(&shrinker_rwsem);
atomic_inc(&shrinker_srcu_generation); atomic_inc(&shrinker_srcu_generation);
synchronize_srcu(&shrinker_srcu); synchronize_srcu(&shrinker_srcu);
} }
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment