xref: /openbmc/linux/fs/xfs/scrub/alloc.c (revision e52a6321)
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 	struct xfs_inode	*ip)
26 {
27 	return xchk_setup_ag_btree(sc, ip, false);
28 }
29 
30 /* Free space btree scrubber. */
31 /*
32  * Ensure there's a corresponding cntbt/bnobt record matching this
33  * bnobt/cntbt record, respectively.
34  */
35 STATIC void
36 xchk_allocbt_xref_other(
37 	struct xfs_scrub	*sc,
38 	xfs_agblock_t		agbno,
39 	xfs_extlen_t		len)
40 {
41 	struct xfs_btree_cur	**pcur;
42 	xfs_agblock_t		fbno;
43 	xfs_extlen_t		flen;
44 	int			has_otherrec;
45 	int			error;
46 
47 	if (sc->sm->sm_type == XFS_SCRUB_TYPE_BNOBT)
48 		pcur = &sc->sa.cnt_cur;
49 	else
50 		pcur = &sc->sa.bno_cur;
51 	if (!*pcur || xchk_skip_xref(sc->sm))
52 		return;
53 
54 	error = xfs_alloc_lookup_le(*pcur, agbno, len, &has_otherrec);
55 	if (!xchk_should_check_xref(sc, &error, pcur))
56 		return;
57 	if (!has_otherrec) {
58 		xchk_btree_xref_set_corrupt(sc, *pcur, 0);
59 		return;
60 	}
61 
62 	error = xfs_alloc_get_rec(*pcur, &fbno, &flen, &has_otherrec);
63 	if (!xchk_should_check_xref(sc, &error, pcur))
64 		return;
65 	if (!has_otherrec) {
66 		xchk_btree_xref_set_corrupt(sc, *pcur, 0);
67 		return;
68 	}
69 
70 	if (fbno != agbno || flen != len)
71 		xchk_btree_xref_set_corrupt(sc, *pcur, 0);
72 }
73 
74 /* Cross-reference with the other btrees. */
75 STATIC void
76 xchk_allocbt_xref(
77 	struct xfs_scrub	*sc,
78 	xfs_agblock_t		agbno,
79 	xfs_extlen_t		len)
80 {
81 	if (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT)
82 		return;
83 
84 	xchk_allocbt_xref_other(sc, agbno, len);
85 	xchk_xref_is_not_inode_chunk(sc, agbno, len);
86 	xchk_xref_has_no_owner(sc, agbno, len);
87 	xchk_xref_is_not_shared(sc, agbno, len);
88 }
89 
90 /* Scrub a bnobt/cntbt record. */
91 STATIC int
92 xchk_allocbt_rec(
93 	struct xchk_btree	*bs,
94 	union xfs_btree_rec	*rec)
95 {
96 	struct xfs_mount	*mp = bs->cur->bc_mp;
97 	xfs_agnumber_t		agno = bs->cur->bc_private.a.agno;
98 	xfs_agblock_t		bno;
99 	xfs_extlen_t		len;
100 	int			error = 0;
101 
102 	bno = be32_to_cpu(rec->alloc.ar_startblock);
103 	len = be32_to_cpu(rec->alloc.ar_blockcount);
104 
105 	if (bno + len <= bno ||
106 	    !xfs_verify_agbno(mp, agno, bno) ||
107 	    !xfs_verify_agbno(mp, agno, bno + len - 1))
108 		xchk_btree_set_corrupt(bs->sc, bs->cur, 0);
109 
110 	xchk_allocbt_xref(bs->sc, bno, len);
111 
112 	return error;
113 }
114 
115 /* Scrub the freespace btrees for some AG. */
116 STATIC int
117 xchk_allocbt(
118 	struct xfs_scrub	*sc,
119 	xfs_btnum_t		which)
120 {
121 	struct xfs_btree_cur	*cur;
122 
123 	cur = which == XFS_BTNUM_BNO ? sc->sa.bno_cur : sc->sa.cnt_cur;
124 	return xchk_btree(sc, cur, xchk_allocbt_rec, &XFS_RMAP_OINFO_AG, NULL);
125 }
126 
127 int
128 xchk_bnobt(
129 	struct xfs_scrub	*sc)
130 {
131 	return xchk_allocbt(sc, XFS_BTNUM_BNO);
132 }
133 
134 int
135 xchk_cntbt(
136 	struct xfs_scrub	*sc)
137 {
138 	return xchk_allocbt(sc, XFS_BTNUM_CNT);
139 }
140 
141 /* xref check that the extent is not free */
142 void
143 xchk_xref_is_used_space(
144 	struct xfs_scrub	*sc,
145 	xfs_agblock_t		agbno,
146 	xfs_extlen_t		len)
147 {
148 	bool			is_freesp;
149 	int			error;
150 
151 	if (!sc->sa.bno_cur || xchk_skip_xref(sc->sm))
152 		return;
153 
154 	error = xfs_alloc_has_record(sc->sa.bno_cur, agbno, len, &is_freesp);
155 	if (!xchk_should_check_xref(sc, &error, &sc->sa.bno_cur))
156 		return;
157 	if (is_freesp)
158 		xchk_btree_xref_set_corrupt(sc, sc->sa.bno_cur, 0);
159 }
160