]> git.ipfire.org Git - thirdparty/kernel/linux.git/commitdiff
xfs: release the dquot buf outside of qli_lock
authorDarrick J. Wong <djwong@kernel.org>
Tue, 17 Dec 2024 23:00:49 +0000 (15:00 -0800)
committerDarrick J. Wong <djwong@kernel.org>
Mon, 23 Dec 2024 21:06:01 +0000 (13:06 -0800)
Lai Yi reported a lockdep complaint about circular locking:

 Chain exists of:
   &lp->qli_lock --> &bch->bc_lock --> &l->lock

  Possible unsafe locking scenario:

        CPU0                    CPU1
        ----                    ----
   lock(&l->lock);
                                lock(&bch->bc_lock);
                                lock(&l->lock);
   lock(&lp->qli_lock);

I /think/ the problem here is that xfs_dquot_attach_buf during
quotacheck will release the buffer while it's holding the qli_lock.
Because this is a cached buffer, xfs_buf_rele_cached takes b_lock before
decrementing b_hold.  Other threads have taught lockdep that a locking
dependency chain is bp->b_lock -> bch->bc_lock -> l(ru)->lock; and that
another chain is l(ru)->lock -> lp->qli_lock.  Hence we do not want to
take b_lock while holding qli_lock.

Reported-by: syzbot+3126ab3db03db42e7a31@syzkaller.appspotmail.com
Cc: <stable@vger.kernel.org> # v6.13-rc3
Fixes: ca378189fdfa89 ("xfs: convert quotacheck to attach dquot buffers")
Tested-by: syzbot+3126ab3db03db42e7a31@syzkaller.appspotmail.com
Signed-off-by: "Darrick J. Wong" <djwong@kernel.org>
Reviewed-by: Christoph Hellwig <hch@lst.de>
fs/xfs/xfs_dquot.c

index f11d475898f280e41a5187c715881266ee516de9..576b7755b1f1fc940c20bda5a8d69b05832c3bea 100644 (file)
@@ -1315,7 +1315,8 @@ out_abort:
 
 /*
  * Attach a dquot buffer to this dquot to avoid allocating a buffer during a
- * dqflush, since dqflush can be called from reclaim context.
+ * dqflush, since dqflush can be called from reclaim context.  Caller must hold
+ * the dqlock.
  */
 int
 xfs_dquot_attach_buf(
@@ -1336,13 +1337,16 @@ xfs_dquot_attach_buf(
                        return error;
 
                /*
-                * Attach the dquot to the buffer so that the AIL does not have
-                * to read the dquot buffer to push this item.
+                * Hold the dquot buffer so that we retain our ref to it after
+                * detaching it from the transaction, then give that ref to the
+                * dquot log item so that the AIL does not have to read the
+                * dquot buffer to push this item.
                 */
                xfs_buf_hold(bp);
+               xfs_trans_brelse(tp, bp);
+
                spin_lock(&qlip->qli_lock);
                lip->li_buf = bp;
-               xfs_trans_brelse(tp, bp);
        }
        qlip->qli_dirty = true;
        spin_unlock(&qlip->qli_lock);