Re: [PATCH] xfs: dquot shrinker doesn't check for XFS_DQFLAG_FREEING
From: Darrick J. Wong
Date: Wed Dec 07 2022 - 11:17:35 EST
On Tue, Dec 06, 2022 at 09:52:46AM +1100, Dave Chinner wrote:
> On Mon, Dec 05, 2022 at 02:35:39AM -0800, syzbot wrote:
> > syzbot has found a reproducer for the following issue on:
> >
> > HEAD commit: 0ba09b173387 Revert "mm: align larger anonymous mappings o..
> > git tree: upstream
> > console output: https://syzkaller.appspot.com/x/log.txt?x=15550c47880000
> > kernel config: https://syzkaller.appspot.com/x/.config?x=2325e409a9a893e1
> > dashboard link: https://syzkaller.appspot.com/bug?extid=912776840162c13db1a3
> > compiler: Debian clang version 13.0.1-++20220126092033+75e33f71c2da-1~exp1~20220126212112.63, GNU ld (GNU Binutils for Debian) 2.35.2
> > syz repro: https://syzkaller.appspot.com/x/repro.syz?x=128c9e23880000
> >
> > Downloadable assets:
> > disk image: https://storage.googleapis.com/syzbot-assets/9758ec2c06f4/disk-0ba09b17.raw.xz
> > vmlinux: https://storage.googleapis.com/syzbot-assets/06781dbfd581/vmlinux-0ba09b17.xz
> > kernel image: https://storage.googleapis.com/syzbot-assets/3d44a22d15fa/bzImage-0ba09b17.xz
> > mounted in repro: https://storage.googleapis.com/syzbot-assets/335889b2d730/mount_0.gz
> >
> > IMPORTANT: if you fix the issue, please add the following tag to the commit:
> > Reported-by: syzbot+912776840162c13db1a3@xxxxxxxxxxxxxxxxxxxxxxxxx
> >
> > XFS (loop1): Quotacheck: Done.
> > syz-executor.1 (4657): drop_caches: 2
> > ==================================================================
> > BUG: KASAN: use-after-free in xfs_dquot_type fs/xfs/xfs_dquot.h:136 [inline]
> > BUG: KASAN: use-after-free in xfs_qm_dqfree_one+0x12f/0x170 fs/xfs/xfs_qm.c:1604
> > Read of size 1 at addr ffff888079a6aa58 by task syz-executor.1/4657
>
> Looks like we've missed a XFS_DQUOT_FREEING check in
> xfs_qm_shrink_scan(), and the dquot purge run by unmount has raced
> with the shrinker. Patch below should fix it.
>
> -Dave.
> --
> Dave Chinner
> david@xxxxxxxxxxxxx
>
> xfs: dquot shrinker doesn't check for XFS_DQFLAG_FREEING
>
> From: Dave Chinner <dchinner@xxxxxxxxxx>
>
> Resulting in a UAF if the shrinker races with some other dquot
> freeing mechanism that sets XFS_DQFLAG_FREEING before the dquot is
> removed from the LRU. This can occur if a dquot purge races with
> drop_caches.
>
> Reported-by: syzbot+912776840162c13db1a3@xxxxxxxxxxxxxxxxxxxxxxxxx
> Signed-off-by: Dave Chinner <dchinner@xxxxxxxxxx>
Please repost this as a toplevel thread so it doesn't get lost in the
depths. Anyway, this looks correct so:
Reviewed-by: Darrick J. Wong <djwong@xxxxxxxxxx>
--D
> ---
> fs/xfs/xfs_qm.c | 16 ++++++++++++----
> 1 file changed, 12 insertions(+), 4 deletions(-)
>
> diff --git a/fs/xfs/xfs_qm.c b/fs/xfs/xfs_qm.c
> index 18bb4ec4d7c9..ff53d40a2dae 100644
> --- a/fs/xfs/xfs_qm.c
> +++ b/fs/xfs/xfs_qm.c
> @@ -422,6 +422,14 @@ xfs_qm_dquot_isolate(
> if (!xfs_dqlock_nowait(dqp))
> goto out_miss_busy;
>
> + /*
> + * If something else is freeing this dquot and hasn't yet removed it
> + * from the LRU, leave it for the freeing task to complete the freeing
> + * process rather than risk it being free from under us here.
> + */
> + if (dqp->q_flags & XFS_DQFLAG_FREEING)
> + goto out_miss_unlock;
> +
> /*
> * This dquot has acquired a reference in the meantime remove it from
> * the freelist and try again.
> @@ -441,10 +449,8 @@ xfs_qm_dquot_isolate(
> * skip it so there is time for the IO to complete before we try to
> * reclaim it again on the next LRU pass.
> */
> - if (!xfs_dqflock_nowait(dqp)) {
> - xfs_dqunlock(dqp);
> - goto out_miss_busy;
> - }
> + if (!xfs_dqflock_nowait(dqp))
> + goto out_miss_unlock;
>
> if (XFS_DQ_IS_DIRTY(dqp)) {
> struct xfs_buf *bp = NULL;
> @@ -478,6 +484,8 @@ xfs_qm_dquot_isolate(
> XFS_STATS_INC(dqp->q_mount, xs_qm_dqreclaims);
> return LRU_REMOVED;
>
> +out_miss_unlock:
> + xfs_dqunlock(dqp);
> out_miss_busy:
> trace_xfs_dqreclaim_busy(dqp);
> XFS_STATS_INC(dqp->q_mount, xs_qm_dqreclaim_misses);