Received-SPF: pass (google.com: domain of linux-kernel+bounces-147799-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) client-ip=2604:1380:45e3:2400::1;
Precedence: bulk
MIME-Version: 1.0
References: <3iccc6vjl5gminut3lvpl4va2lbnsgku5ei2d7ylftoofy3n2v@gcfdvtsq6dx2>
 <CAKEwX=MZ3jTVpN4g-qrhTn2b0i0C6_M=8BtKt9KEPyFHb+4W2w@mail.gmail.com> <CAKEwX=NM1y-K1-Yw=CH3cM-8odER1PZBVoWo-rs7_OdjFG_puw@mail.gmail.com>
In-Reply-To: <CAKEwX=NM1y-K1-Yw=CH3cM-8odER1PZBVoWo-rs7_OdjFG_puw@mail.gmail.com>
From: Nhat Pham <nphamcs@gmail.com>
Date: Tue, 16 Apr 2024 17:22:43 -0700
Message-ID: <CAKEwX=MWPUf1NMGdn+1AkRdOUf25ifAbPyoP9zppPTx3U3Tv2Q@mail.gmail.com>
Subject: Re: [REGRESSION] Null pointer dereference while shrinking zswap
To: Christian Heusel <christian@heusel.eu>
Cc: Seth Jennings <sjenning@redhat.com>, Dan Streetman <ddstreet@ieee.org>, 
	Vitaly Wool <vitaly.wool@konsulko.com>, Andrew Morton <akpm@linux-foundation.org>, linux-mm@kvack.org, 
	linux-kernel@vger.kernel.org, David Runge <dave@sleepmap.de>, 
	"Richard W.M. Jones" <rjones@redhat.com>, Mark W <instruform@gmail.com>, regressions@lists.linux.dev, 
	Johannes Weiner <hannes@cmpxchg.org>, Yosry Ahmed <yosryahmed@google.com>, 
	Chengming Zhou <chengming.zhou@linux.dev>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Tue, Apr 16, 2024 at 4:29=E2=80=AFPM Nhat Pham <nphamcs@gmail.com> wrote=
:
>
> On Tue, Apr 16, 2024 at 3:14=E2=80=AFPM Nhat Pham <nphamcs@gmail.com> wro=
te:
> >
> > On Tue, Apr 16, 2024 at 5:19=E2=80=AFAM Christian Heusel <christian@heu=
sel.eu> wrote:
> > >
> > > Hello everyone,
> >
> > Thanks for the report, Christian! Looking at it now.
> >
> > >
> > > while rebuilding a few packages in Arch Linux we have recently come
> > > across a regression in the linux kernel which was made visible by a t=
est
> > > failure in libguestfs[0], where the booted kernel showed a Call Trace
> > > like the following one:
> > >
> > > [  218.738568] CPU: 0 PID: 167 Comm: guestfsd Not tainted 6.7.0-rc4-1=
-mainline-00158-gb5ba474f3f51 #1 bf39861cf50acae7a79c534e25532f28afe4e593^M
> >
> > Is this one of the kernel versions that was broken? That looks a bit
> > odd, as zswap shrinker landed on 6.8...
>
> Ah ignore this - I understand the versioning now...
>
> >
> > > [  218.739007] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BI=
OS Arch Linux 1.16.3-1-1 04/01/2014^M
> > > [  218.739787] RIP: 0010:memcg_page_state+0x9/0x30^M
> > > [  218.740299] Code: 0d b8 ff ff 66 66 2e 0f 1f 84 00 00 00 00 00 66 =
90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 66 0f 1f 00 0f 1f 44 00 =
00 <48> 8b 87 00 06 00 00 48 63 f6 31 d2 48 8b 04 f0 48 85 c0 48 0f 48^M
> > > [  218.740727] RSP: 0018:ffffb5fa808dfc10 EFLAGS: 00000202^M
> > > [  218.740862] RAX: 0000000000000000 RBX: ffffb5fa808dfce0 RCX: 00000=
00000000002^M
> > > [  218.741016] RDX: 0000000000000001 RSI: 0000000000000033 RDI: 00000=
00000000000^M
> > > [  218.741168] RBP: 0000000000000000 R08: ffff976681ff8000 R09: 00000=
00000000000^M
> > > [  218.741322] R10: 0000000000000001 R11: ffff9766833f9d00 R12: ffff9=
766ffffe780^M
> > > [  218.742167] R13: 0000000000000000 R14: ffff976680cc1800 R15: ffff9=
76682204d80^M
> > > [  218.742376] FS:  00007f1479d9f540(0000) GS:ffff9766fbc00000(0000) =
knlGS:0000000000000000^M
> > > [  218.742569] CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033^M
> > > [  218.743256] CR2: 0000000000000600 CR3: 0000000103606000 CR4: 00000=
00000750ef0^M
> > > [  218.743494] PKRU: 55555554^M
> > > [  218.743593] Call Trace:^M
> > > [  218.743733]  <TASK>^M
> > > [  218.743847]  ? __die+0x23/0x70^M
> > > [  218.743957]  ? page_fault_oops+0x171/0x4e0^M
> > > [  218.744056]  ? free_unref_page+0xf6/0x180^M
> > > [  218.744458]  ? exc_page_fault+0x7f/0x180^M
> > > [  218.744551]  ? asm_exc_page_fault+0x26/0x30^M
> > > [  218.744684]  ? memcg_page_state+0x9/0x30^M
> > > [  218.744779]  zswap_shrinker_count+0x9d/0x110^M
> > > [  218.744896]  do_shrink_slab+0x3a/0x360^M
> > > [  218.744990]  shrink_slab+0xc7/0x3c0^M
> > > [  218.745609]  drop_slab+0x85/0x140^M
> > > [  218.745691]  drop_caches_sysctl_handler+0x7e/0xd0^M
> > > [  218.745799]  proc_sys_call_handler+0x1c0/0x2e0^M
> > > [  218.745912]  vfs_write+0x23d/0x400^M
> > > [  218.745998]  ksys_write+0x6f/0xf0^M
> > > [  218.746080]  do_syscall_64+0x64/0xe0^M
> > > [  218.746169]  ? exit_to_user_mode_prepare+0x132/0x1f0^M
> > > [  218.746873]  entry_SYSCALL_64_after_hwframe+0x6e/0x76^M
> > >

Actually, inspecting the code a bit more - can memcg be null here?

Specifically, if mem_cgroup_disabled() is true, can we see null memcg
here? Looks like in this case, mem_cgroup_iter() can return null, and
the first iteration of drop_slab_node() can have null memcg if it's
returned by mem_cgroup_iter().

shrink_slab() will still proceed and call do_shrink_slab() if the
memcg is null - provided that mem_cgroup_disabled() holds:

if (!mem_cgroup_disabled() && !mem_cgroup_is_root(memcg))
      return shrink_slab_memcg(gfp_mask, nid, memcg, priority);

Inside zswap_shrink_count(), all the memcg accessors in this area seem
to always check for null memcg (mem_cgroup_lruvec,
mem_cgroup_zswap_writeback_enabled), *except* memcg_page_state, which
is the one line that fail.

If this is all to it, we can simply add a null check or
mem_cgroup_disabled() check here, and use pool stats instead?