1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Copyright (C) 2017 Oracle. All Rights Reserved. 4 * Author: Darrick J. Wong <darrick.wong@oracle.com> 5 */ 6 #include "xfs.h" 7 #include "xfs_fs.h" 8 #include "xfs_shared.h" 9 #include "xfs_format.h" 10 #include "xfs_trans_resv.h" 11 #include "xfs_mount.h" 12 #include "xfs_btree.h" 13 #include "xfs_alloc.h" 14 #include "xfs_rmap.h" 15 #include "scrub/scrub.h" 16 #include "scrub/common.h" 17 #include "scrub/btree.h" 18 19 /* 20 * Set us up to scrub free space btrees. 21 */ 22 int 23 xchk_setup_ag_allocbt( 24 struct xfs_scrub *sc) 25 { 26 return xchk_setup_ag_btree(sc, false); 27 } 28 29 /* Free space btree scrubber. */ 30 /* 31 * Ensure there's a corresponding cntbt/bnobt record matching this 32 * bnobt/cntbt record, respectively. 33 */ 34 STATIC void 35 xchk_allocbt_xref_other( 36 struct xfs_scrub *sc, 37 xfs_agblock_t agbno, 38 xfs_extlen_t len) 39 { 40 struct xfs_btree_cur **pcur; 41 xfs_agblock_t fbno; 42 xfs_extlen_t flen; 43 int has_otherrec; 44 int error; 45 46 if (sc->sm->sm_type == XFS_SCRUB_TYPE_BNOBT) 47 pcur = &sc->sa.cnt_cur; 48 else 49 pcur = &sc->sa.bno_cur; 50 if (!*pcur || xchk_skip_xref(sc->sm)) 51 return; 52 53 error = xfs_alloc_lookup_le(*pcur, agbno, len, &has_otherrec); 54 if (!xchk_should_check_xref(sc, &error, pcur)) 55 return; 56 if (!has_otherrec) { 57 xchk_btree_xref_set_corrupt(sc, *pcur, 0); 58 return; 59 } 60 61 error = xfs_alloc_get_rec(*pcur, &fbno, &flen, &has_otherrec); 62 if (!xchk_should_check_xref(sc, &error, pcur)) 63 return; 64 if (!has_otherrec) { 65 xchk_btree_xref_set_corrupt(sc, *pcur, 0); 66 return; 67 } 68 69 if (fbno != agbno || flen != len) 70 xchk_btree_xref_set_corrupt(sc, *pcur, 0); 71 } 72 73 /* Cross-reference with the other btrees. */ 74 STATIC void 75 xchk_allocbt_xref( 76 struct xfs_scrub *sc, 77 xfs_agblock_t agbno, 78 xfs_extlen_t len) 79 { 80 if (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT) 81 return; 82 83 xchk_allocbt_xref_other(sc, agbno, len); 84 xchk_xref_is_not_inode_chunk(sc, agbno, len); 85 xchk_xref_has_no_owner(sc, agbno, len); 86 xchk_xref_is_not_shared(sc, agbno, len); 87 } 88 89 /* Scrub a bnobt/cntbt record. */ 90 STATIC int 91 xchk_allocbt_rec( 92 struct xchk_btree *bs, 93 union xfs_btree_rec *rec) 94 { 95 struct xfs_mount *mp = bs->cur->bc_mp; 96 xfs_agnumber_t agno = bs->cur->bc_ag.agno; 97 xfs_agblock_t bno; 98 xfs_extlen_t len; 99 100 bno = be32_to_cpu(rec->alloc.ar_startblock); 101 len = be32_to_cpu(rec->alloc.ar_blockcount); 102 103 if (bno + len <= bno || 104 !xfs_verify_agbno(mp, agno, bno) || 105 !xfs_verify_agbno(mp, agno, bno + len - 1)) 106 xchk_btree_set_corrupt(bs->sc, bs->cur, 0); 107 108 xchk_allocbt_xref(bs->sc, bno, len); 109 110 return 0; 111 } 112 113 /* Scrub the freespace btrees for some AG. */ 114 STATIC int 115 xchk_allocbt( 116 struct xfs_scrub *sc, 117 xfs_btnum_t which) 118 { 119 struct xfs_btree_cur *cur; 120 121 cur = which == XFS_BTNUM_BNO ? sc->sa.bno_cur : sc->sa.cnt_cur; 122 return xchk_btree(sc, cur, xchk_allocbt_rec, &XFS_RMAP_OINFO_AG, NULL); 123 } 124 125 int 126 xchk_bnobt( 127 struct xfs_scrub *sc) 128 { 129 return xchk_allocbt(sc, XFS_BTNUM_BNO); 130 } 131 132 int 133 xchk_cntbt( 134 struct xfs_scrub *sc) 135 { 136 return xchk_allocbt(sc, XFS_BTNUM_CNT); 137 } 138 139 /* xref check that the extent is not free */ 140 void 141 xchk_xref_is_used_space( 142 struct xfs_scrub *sc, 143 xfs_agblock_t agbno, 144 xfs_extlen_t len) 145 { 146 bool is_freesp; 147 int error; 148 149 if (!sc->sa.bno_cur || xchk_skip_xref(sc->sm)) 150 return; 151 152 error = xfs_alloc_has_record(sc->sa.bno_cur, agbno, len, &is_freesp); 153 if (!xchk_should_check_xref(sc, &error, &sc->sa.bno_cur)) 154 return; 155 if (is_freesp) 156 xchk_btree_xref_set_corrupt(sc, sc->sa.bno_cur, 0); 157 } 158