Re: [PATCH v5 4/6] mm/zswap: Implement proactive writeback

[Hao Jia]

On 2026/7/7 03:33, Yosry Ahmed wrote:
> On Thu, Jul 2, 2026 at 5:32 AM Hao Jia <jiahao.kernel@xxxxxxxxx> wrote:
> > On 2026/7/1 19:45, Hao Jia wrote:
> > > On 2026/7/1 00:10, Yosry Ahmed wrote:
> > > > > > Before going through more versions we need to figure out if this will
> > > > > > pivot to be a proactive demotion interfcae for swap tiering.
> > > > >
> > > > > Yes. Should I drop patches 4-6 in the next version and wait for swap
> > > > > tiering to be finalized?
> > > > > We can try to get the non-memcg parts (patches 1-3) merged upstream
> > > > > first. This would also give them plenty of time to bake and catch any
> > > > > potential regressions. Thoughts?
> > > >
> > > > Patches 1-2 can be sent and merged separately, yes. For patch 2,
> > > > please include some numbers for the writeback performance before and
> > > > after batching.
> > >
> > > I'd love to collect some performance data. Do you have any recommended
> > > benchmarks for this?
> >
> > Perhaps the following test case could work?
> >
> > Test Setup:
> > - Total memory: 32 GB
> > - zswap settings: max_pool_percent=1, accept_threshold_percent=50,
> > shrinker_enabled=N
> > - cgroup constraint: memory.max=1G
> > - Workload: Run the following stress-ng command inside the cgroup for
> > 120s to
> >     continuously force zswap store failures and trigger shrink_worker():
> >
> >     bash -c 'echo $$ > /sys/fs/cgroup/zswaptest/cgroup.procs ; \
> >     exec stress-ng --vm 4 --vm-bytes 4G --vm-keep --vm-method rand-set -t
> > 120s -q'
> >
> > The following comparison results were collected over multiple runs via
> > bpftrace
> > and the 'written_back_pages' sysfs interface:
> >
> >                            Baseline         Patched
> > ---------------------------------------------------
> > shrink_worker wakeups       5,587             878
> > shrink_memcg calls      7,823,853       2,347,320
> > written_back                  257         781,214
> >
> > Conclusion:
> > Under the same workload and duration, the patched kernel shows a
> > significant reduction
> > in both shrink_worker wakeups and shrink_memcg calls, while successfully
> > executing a
> > much higher volume of page writebacks.
>
> Hmm this is actually a bit concerning. Yes, we are invoking the
> shrinker less, but we're writing back *a lot* more memory, orders of
> magnitude more. We are using a batch size of 64, and making ~1/3 of
> the calls to shrink_memcg(), so the number of written back pages
> should be ~20x more, not 3000x more? I think I am missing something.
>
> Also, ideally, the batching wouldn't result in significantly more
> writeback, but a similar amount of writeback over less shrinker
> invocations. If we are writing back significantly more pages then the
> batching logic is probably too aggressive?

Apologies, I think the test I constructed has a bit of a problem. This 
test has very, very heavy memory pressure and is already a very abnormal 
case.

The zswap entry returns the first time because of "second chance" after 
setting referenced to false. For the baseline, it scans 1 page per node 
each time for 16 loops. During the test, shrink_worker() basically exits 
at about 16 pages each time.

Since stress-ng periodically and randomly writes to this 4G memory, it 
keeps triggering zswapin and then waiting to zswapout new zswap entries 
after falling below the pool threshold. When the speed of zswapin/out is 
far greater than the scanning speed of shrink_worker(), a large number 
of zswap entries cannot wait until the second scan for writeback. New 
entries are stored on the zswap LRU list again, and the referenced of 
the new zswap entries is set to true again. During the test, it was 
found that 99.21% of the return values of shrink_memcg_cb() in the 
baseline kernel were LRU_ROTATE.

For the patched kernel, shrink_worker() scans at least 64 * 16 entries 
in a single pass, so it can trigger writeback during the second scan.


I have re-tested using a more common, reproducible scenario:

Test Setup:
- Total memory: 32 GB
- zswap settings: max_pool_percent=1, accept_threshold_percent=50, 
shrinker_enabled=N

Test Procedure:
Allocate 512MB anonymous pages and fill the data with random numbers (to 
avoid compression), then use cgroup memory.reclaim to force 512M 
anonymous pages into zswap.
Allocate a 4K anonymous page at an interval of 2ms, and then trigger a 
reclamation of a 4K anonymous page through cgroup memory.reclaim. When 
the pool threshold is reached, shrink_memcg() will be triggered.

The test data after running for 300s is as follows: (it will eventually 
stop writing back because the pool threshold is reached)

                          Baseline         Patched
---------------------------------------------------
shrink_worker wakeups          5126            85
shrink_memcg calls      11,003,734       173,420
written_back                40200          40233


Thanks,
Hao