xfs
[Top] [All Lists]

[PATCH 11/25] xfs: support scrubbing free space btrees

To: david@xxxxxxxxxxxxx, darrick.wong@xxxxxxxxxx
Subject: [PATCH 11/25] xfs: support scrubbing free space btrees
From: "Darrick J. Wong" <darrick.wong@xxxxxxxxxx>
Date: Thu, 25 Aug 2016 16:41:25 -0700
Cc: linux-xfs@xxxxxxxxxxxxxxx, xfs@xxxxxxxxxxx
Delivered-to: xfs@xxxxxxxxxxx
In-reply-to: <147216841262.3108.10746252464845687338.stgit@xxxxxxxxxxxxxxxx>
References: <147216841262.3108.10746252464845687338.stgit@xxxxxxxxxxxxxxxx>
User-agent: StGit/0.17.1-dirty
Plumb in the pieces necessary to check the free space btrees.

Signed-off-by: Darrick J. Wong <darrick.wong@xxxxxxxxxx>
---
 fs/xfs/libxfs/xfs_alloc_btree.c |  156 +++++++++++++++++++++++++++++----------
 fs/xfs/libxfs/xfs_fs.h          |    4 +
 fs/xfs/xfs_scrub.c              |   80 ++++++++++++++++++++
 3 files changed, 197 insertions(+), 43 deletions(-)


diff --git a/fs/xfs/libxfs/xfs_alloc_btree.c b/fs/xfs/libxfs/xfs_alloc_btree.c
index 5ba2dac..d6d81cb 100644
--- a/fs/xfs/libxfs/xfs_alloc_btree.c
+++ b/fs/xfs/libxfs/xfs_alloc_btree.c
@@ -205,19 +205,28 @@ xfs_allocbt_init_key_from_rec(
        union xfs_btree_key     *key,
        union xfs_btree_rec     *rec)
 {
-       ASSERT(rec->alloc.ar_startblock != 0);
-
        key->alloc.ar_startblock = rec->alloc.ar_startblock;
        key->alloc.ar_blockcount = rec->alloc.ar_blockcount;
 }
 
 STATIC void
+xfs_bnobt_init_high_key_from_rec(
+       union xfs_btree_key     *key,
+       union xfs_btree_rec     *rec)
+{
+       __u32                   x;
+
+       x = be32_to_cpu(rec->alloc.ar_startblock);
+       x += be32_to_cpu(rec->alloc.ar_blockcount) - 1;
+       key->alloc.ar_startblock = cpu_to_be32(x);
+       key->alloc.ar_blockcount = 0;
+}
+
+STATIC void
 xfs_allocbt_init_rec_from_cur(
        struct xfs_btree_cur    *cur,
        union xfs_btree_rec     *rec)
 {
-       ASSERT(cur->bc_rec.a.ar_startblock != 0);
-
        rec->alloc.ar_startblock = cpu_to_be32(cur->bc_rec.a.ar_startblock);
        rec->alloc.ar_blockcount = cpu_to_be32(cur->bc_rec.a.ar_blockcount);
 }
@@ -236,18 +245,24 @@ xfs_allocbt_init_ptr_from_cur(
 }
 
 STATIC __int64_t
-xfs_allocbt_key_diff(
+xfs_bnobt_key_diff(
        struct xfs_btree_cur    *cur,
        union xfs_btree_key     *key)
 {
        xfs_alloc_rec_incore_t  *rec = &cur->bc_rec.a;
        xfs_alloc_key_t         *kp = &key->alloc;
-       __int64_t               diff;
 
-       if (cur->bc_btnum == XFS_BTNUM_BNO) {
-               return (__int64_t)be32_to_cpu(kp->ar_startblock) -
-                               rec->ar_startblock;
-       }
+       return (__int64_t)be32_to_cpu(kp->ar_startblock) - rec->ar_startblock;
+}
+
+STATIC __int64_t
+xfs_cntbt_key_diff(
+       struct xfs_btree_cur    *cur,
+       union xfs_btree_key     *key)
+{
+       xfs_alloc_rec_incore_t  *rec = &cur->bc_rec.a;
+       xfs_alloc_key_t         *kp = &key->alloc;
+       __int64_t               diff;
 
        diff = (__int64_t)be32_to_cpu(kp->ar_blockcount) - rec->ar_blockcount;
        if (diff)
@@ -256,6 +271,33 @@ xfs_allocbt_key_diff(
        return (__int64_t)be32_to_cpu(kp->ar_startblock) - rec->ar_startblock;
 }
 
+STATIC __int64_t
+xfs_bnobt_diff_two_keys(
+       struct xfs_btree_cur    *cur,
+       union xfs_btree_key     *k1,
+       union xfs_btree_key     *k2)
+{
+       return (__int64_t)be32_to_cpu(k1->alloc.ar_startblock) -
+                         be32_to_cpu(k2->alloc.ar_startblock);
+}
+
+STATIC __int64_t
+xfs_cntbt_diff_two_keys(
+       struct xfs_btree_cur    *cur,
+       union xfs_btree_key     *k1,
+       union xfs_btree_key     *k2)
+{
+       __int64_t               diff;
+
+       diff =  be32_to_cpu(k1->alloc.ar_blockcount) -
+               be32_to_cpu(k2->alloc.ar_blockcount);
+       if (diff)
+               return diff;
+
+       return  be32_to_cpu(k1->alloc.ar_startblock) -
+               be32_to_cpu(k2->alloc.ar_startblock);
+}
+
 static bool
 xfs_allocbt_verify(
        struct xfs_buf          *bp)
@@ -344,46 +386,76 @@ const struct xfs_buf_ops xfs_allocbt_buf_ops = {
 };
 
 
-#if defined(DEBUG) || defined(XFS_WARN)
 STATIC int
-xfs_allocbt_keys_inorder(
+xfs_bnobt_keys_inorder(
        struct xfs_btree_cur    *cur,
        union xfs_btree_key     *k1,
        union xfs_btree_key     *k2)
 {
-       if (cur->bc_btnum == XFS_BTNUM_BNO) {
-               return be32_to_cpu(k1->alloc.ar_startblock) <
-                      be32_to_cpu(k2->alloc.ar_startblock);
-       } else {
-               return be32_to_cpu(k1->alloc.ar_blockcount) <
-                       be32_to_cpu(k2->alloc.ar_blockcount) ||
-                       (k1->alloc.ar_blockcount == k2->alloc.ar_blockcount &&
-                        be32_to_cpu(k1->alloc.ar_startblock) <
-                        be32_to_cpu(k2->alloc.ar_startblock));
-       }
+       return be32_to_cpu(k1->alloc.ar_startblock) <
+              be32_to_cpu(k2->alloc.ar_startblock);
 }
 
 STATIC int
-xfs_allocbt_recs_inorder(
+xfs_bnobt_recs_inorder(
        struct xfs_btree_cur    *cur,
        union xfs_btree_rec     *r1,
        union xfs_btree_rec     *r2)
 {
-       if (cur->bc_btnum == XFS_BTNUM_BNO) {
-               return be32_to_cpu(r1->alloc.ar_startblock) +
-                       be32_to_cpu(r1->alloc.ar_blockcount) <=
-                       be32_to_cpu(r2->alloc.ar_startblock);
-       } else {
-               return be32_to_cpu(r1->alloc.ar_blockcount) <
-                       be32_to_cpu(r2->alloc.ar_blockcount) ||
-                       (r1->alloc.ar_blockcount == r2->alloc.ar_blockcount &&
-                        be32_to_cpu(r1->alloc.ar_startblock) <
-                        be32_to_cpu(r2->alloc.ar_startblock));
-       }
+       return be32_to_cpu(r1->alloc.ar_startblock) +
+               be32_to_cpu(r1->alloc.ar_blockcount) <=
+               be32_to_cpu(r2->alloc.ar_startblock);
 }
-#endif /* DEBUG */
 
-static const struct xfs_btree_ops xfs_allocbt_ops = {
+STATIC int
+xfs_cntbt_keys_inorder(
+       struct xfs_btree_cur    *cur,
+       union xfs_btree_key     *k1,
+       union xfs_btree_key     *k2)
+{
+       return be32_to_cpu(k1->alloc.ar_blockcount) <
+               be32_to_cpu(k2->alloc.ar_blockcount) ||
+               (k1->alloc.ar_blockcount == k2->alloc.ar_blockcount &&
+                be32_to_cpu(k1->alloc.ar_startblock) <
+                be32_to_cpu(k2->alloc.ar_startblock));
+}
+
+STATIC int
+xfs_cntbt_recs_inorder(
+       struct xfs_btree_cur    *cur,
+       union xfs_btree_rec     *r1,
+       union xfs_btree_rec     *r2)
+{
+       return be32_to_cpu(r1->alloc.ar_blockcount) <
+               be32_to_cpu(r2->alloc.ar_blockcount) ||
+               (r1->alloc.ar_blockcount == r2->alloc.ar_blockcount &&
+                be32_to_cpu(r1->alloc.ar_startblock) <
+                be32_to_cpu(r2->alloc.ar_startblock));
+}
+
+static const struct xfs_btree_ops xfs_bnobt_ops = {
+       .rec_len                = sizeof(xfs_alloc_rec_t),
+       .key_len                = sizeof(xfs_alloc_key_t),
+
+       .dup_cursor             = xfs_allocbt_dup_cursor,
+       .set_root               = xfs_allocbt_set_root,
+       .alloc_block            = xfs_allocbt_alloc_block,
+       .free_block             = xfs_allocbt_free_block,
+       .update_lastrec         = xfs_allocbt_update_lastrec,
+       .get_minrecs            = xfs_allocbt_get_minrecs,
+       .get_maxrecs            = xfs_allocbt_get_maxrecs,
+       .init_key_from_rec      = xfs_allocbt_init_key_from_rec,
+       .init_high_key_from_rec = xfs_bnobt_init_high_key_from_rec,
+       .init_rec_from_cur      = xfs_allocbt_init_rec_from_cur,
+       .init_ptr_from_cur      = xfs_allocbt_init_ptr_from_cur,
+       .key_diff               = xfs_bnobt_key_diff,
+       .buf_ops                = &xfs_allocbt_buf_ops,
+       .diff_two_keys          = xfs_bnobt_diff_two_keys,
+       .keys_inorder           = xfs_bnobt_keys_inorder,
+       .recs_inorder           = xfs_bnobt_recs_inorder,
+};
+
+static const struct xfs_btree_ops xfs_cntbt_ops = {
        .rec_len                = sizeof(xfs_alloc_rec_t),
        .key_len                = sizeof(xfs_alloc_key_t),
 
@@ -397,12 +469,11 @@ static const struct xfs_btree_ops xfs_allocbt_ops = {
        .init_key_from_rec      = xfs_allocbt_init_key_from_rec,
        .init_rec_from_cur      = xfs_allocbt_init_rec_from_cur,
        .init_ptr_from_cur      = xfs_allocbt_init_ptr_from_cur,
-       .key_diff               = xfs_allocbt_key_diff,
+       .key_diff               = xfs_cntbt_key_diff,
        .buf_ops                = &xfs_allocbt_buf_ops,
-#if defined(DEBUG) || defined(XFS_WARN)
-       .keys_inorder           = xfs_allocbt_keys_inorder,
-       .recs_inorder           = xfs_allocbt_recs_inorder,
-#endif
+       .diff_two_keys          = xfs_cntbt_diff_two_keys,
+       .keys_inorder           = xfs_cntbt_keys_inorder,
+       .recs_inorder           = xfs_cntbt_recs_inorder,
 };
 
 /*
@@ -427,12 +498,13 @@ xfs_allocbt_init_cursor(
        cur->bc_mp = mp;
        cur->bc_btnum = btnum;
        cur->bc_blocklog = mp->m_sb.sb_blocklog;
-       cur->bc_ops = &xfs_allocbt_ops;
 
        if (btnum == XFS_BTNUM_CNT) {
+               cur->bc_ops = &xfs_cntbt_ops;
                cur->bc_nlevels = be32_to_cpu(agf->agf_levels[XFS_BTNUM_CNT]);
                cur->bc_flags = XFS_BTREE_LASTREC_UPDATE;
        } else {
+               cur->bc_ops = &xfs_bnobt_ops;
                cur->bc_nlevels = be32_to_cpu(agf->agf_levels[XFS_BTNUM_BNO]);
        }
 
diff --git a/fs/xfs/libxfs/xfs_fs.h b/fs/xfs/libxfs/xfs_fs.h
index 2d320a7..2cb47e2 100644
--- a/fs/xfs/libxfs/xfs_fs.h
+++ b/fs/xfs/libxfs/xfs_fs.h
@@ -539,7 +539,9 @@ struct xfs_scrub_metadata {
 #define XFS_SCRUB_TYPE_AGF     1       /* AG free header */
 #define XFS_SCRUB_TYPE_AGFL    2       /* AG free list */
 #define XFS_SCRUB_TYPE_AGI     3       /* AG inode header */
-#define XFS_SCRUB_TYPE_MAX     3
+#define XFS_SCRUB_TYPE_BNOBT   4       /* freesp by block btree */
+#define XFS_SCRUB_TYPE_CNTBT   5       /* freesp by length btree */
+#define XFS_SCRUB_TYPE_MAX     5
 
 #define XFS_SCRUB_FLAGS_ALL    0x0     /* no flags yet */
 
diff --git a/fs/xfs/xfs_scrub.c b/fs/xfs/xfs_scrub.c
index 2b1d669..b93dedb 100644
--- a/fs/xfs/xfs_scrub.c
+++ b/fs/xfs/xfs_scrub.c
@@ -959,6 +959,84 @@ xfs_scrub_agi(
        return error;
 }
 
+/* Free space btree scrubber. */
+
+/* Scrub a bnobt/cntbt record. */
+STATIC int
+xfs_scrub_allocbt_helper(
+       struct xfs_scrub_btree          *bs,
+       union xfs_btree_rec             *rec)
+{
+       struct xfs_mount                *mp = bs->cur->bc_mp;
+       struct xfs_agf                  *agf;
+       xfs_agblock_t                   bno;
+       xfs_extlen_t                    len;
+       int                             error = 0;
+
+       bno = be32_to_cpu(rec->alloc.ar_startblock);
+       len = be32_to_cpu(rec->alloc.ar_blockcount);
+       agf = XFS_BUF_TO_AGF(bs->agf_bp);
+
+       XFS_BTREC_SCRUB_CHECK(bs, bno < mp->m_sb.sb_agblocks);
+       XFS_BTREC_SCRUB_CHECK(bs, bno < be32_to_cpu(agf->agf_length));
+       XFS_BTREC_SCRUB_CHECK(bs, bno < bno + len);
+       XFS_BTREC_SCRUB_CHECK(bs, (unsigned long long)bno + len <=
+                       mp->m_sb.sb_agblocks);
+       XFS_BTREC_SCRUB_CHECK(bs, (unsigned long long)bno + len <=
+                       be32_to_cpu(agf->agf_length));
+
+       return error;
+}
+
+/* Scrub the freespace btrees for some AG. */
+STATIC int
+xfs_scrub_allocbt(
+       struct xfs_mount                *mp,
+       struct xfs_scrub_metadata       *sm,
+       xfs_btnum_t                     which)
+{
+       struct xfs_scrub_btree          bs;
+       xfs_agnumber_t                  agno;
+       int                             error;
+
+       if (sm->control >= mp->m_sb.sb_agcount || sm->flags)
+               return -EINVAL;
+       agno = sm->control;
+
+       error = xfs_scrub_btree_get_ag_headers(mp, &bs, agno);
+       if (error)
+               return error;
+
+       bs.cur = xfs_allocbt_init_cursor(mp, NULL, bs.agf_bp, agno, which);
+       bs.scrub_rec = xfs_scrub_allocbt_helper;
+       xfs_rmap_ag_owner(&bs.oinfo, XFS_RMAP_OWN_AG);
+       error = xfs_scrub_btree(&bs);
+       xfs_btree_del_cursor(bs.cur,
+                       error ? XFS_BTREE_ERROR : XFS_BTREE_NOERROR);
+       xfs_scrub_btree_put_ag_headers(&bs);
+
+       if (!error && bs.error)
+               error = bs.error;
+
+       return error;
+}
+
+STATIC int
+xfs_scrub_bnobt(
+       struct xfs_inode                *ip,
+       struct xfs_scrub_metadata       *sm)
+{
+       return xfs_scrub_allocbt(ip->i_mount, sm, XFS_BTNUM_BNO);
+}
+
+STATIC int
+xfs_scrub_cntbt(
+       struct xfs_inode                *ip,
+       struct xfs_scrub_metadata       *sm)
+{
+       return xfs_scrub_allocbt(ip->i_mount, sm, XFS_BTNUM_CNT);
+}
+
 /* Scrubbing dispatch. */
 
 struct xfs_scrub_meta_fns {
@@ -971,6 +1049,8 @@ static const struct xfs_scrub_meta_fns meta_scrub_fns[] = {
        {xfs_scrub_agf,         NULL},
        {xfs_scrub_agfl,        NULL},
        {xfs_scrub_agi,         NULL},
+       {xfs_scrub_bnobt,       NULL},
+       {xfs_scrub_cntbt,       NULL},
 };
 
 /* Dispatch metadata scrubbing. */

<Prev in Thread] Current Thread [Next in Thread>