blob: 44b15015021f3ce20f3e04b8b47ec24f769e8dec [file] [log] [blame]
Dave Chinner0b61f8a2018-06-05 19:42:14 -07001// SPDX-License-Identifier: GPL-2.0+
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -07002/*
3 * Copyright (C) 2017 Oracle. All Rights Reserved.
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -07004 * Author: Darrick J. Wong <darrick.wong@oracle.com>
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -07005 */
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"
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070012#include "xfs_log_format.h"
13#include "xfs_trans.h"
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070014#include "xfs_inode.h"
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070015#include "xfs_dir2.h"
16#include "xfs_dir2_priv.h"
17#include "xfs_attr_leaf.h"
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070018#include "scrub/scrub.h"
19#include "scrub/common.h"
20#include "scrub/trace.h"
21#include "scrub/dabtree.h"
22
23/* Directory/Attribute Btree */
24
25/*
26 * Check for da btree operation errors. See the section about handling
27 * operational errors in common.c.
28 */
29bool
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070030xchk_da_process_error(
Darrick J. Wong032d91f2018-07-19 12:29:12 -070031 struct xchk_da_btree *ds,
32 int level,
33 int *error)
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070034{
Darrick J. Wong1d8a7482018-07-19 12:29:12 -070035 struct xfs_scrub *sc = ds->sc;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070036
37 if (*error == 0)
38 return true;
39
40 switch (*error) {
41 case -EDEADLOCK:
42 /* Used to restart an op with deadlock avoidance. */
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070043 trace_xchk_deadlock_retry(sc->ip, sc->sm, *error);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070044 break;
45 case -EFSBADCRC:
46 case -EFSCORRUPTED:
47 /* Note the badness but don't abort. */
48 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_CORRUPT;
49 *error = 0;
50 /* fall through */
51 default:
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070052 trace_xchk_file_op_error(sc, ds->dargs.whichfork,
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070053 xfs_dir2_da_to_db(ds->dargs.geo,
54 ds->state->path.blk[level].blkno),
55 *error, __return_address);
56 break;
57 }
58 return false;
59}
60
61/*
62 * Check for da btree corruption. See the section about handling
63 * operational errors in common.c.
64 */
65void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070066xchk_da_set_corrupt(
Darrick J. Wong032d91f2018-07-19 12:29:12 -070067 struct xchk_da_btree *ds,
68 int level)
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070069{
Darrick J. Wong1d8a7482018-07-19 12:29:12 -070070 struct xfs_scrub *sc = ds->sc;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070071
72 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_CORRUPT;
73
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070074 trace_xchk_fblock_error(sc, ds->dargs.whichfork,
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070075 xfs_dir2_da_to_db(ds->dargs.geo,
76 ds->state->path.blk[level].blkno),
77 __return_address);
78}
79
Christoph Hellwig649d9d92019-11-08 14:52:07 -080080static struct xfs_da_node_entry *
81xchk_da_btree_node_entry(
82 struct xchk_da_btree *ds,
83 int level)
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070084{
Christoph Hellwig649d9d92019-11-08 14:52:07 -080085 struct xfs_da_state_blk *blk = &ds->state->path.blk[level];
Christoph Hellwig51908ca2019-11-08 14:57:48 -080086 struct xfs_da3_icnode_hdr hdr;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070087
Christoph Hellwig649d9d92019-11-08 14:52:07 -080088 ASSERT(blk->magic == XFS_DA_NODE_MAGIC);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070089
Christoph Hellwig51908ca2019-11-08 14:57:48 -080090 xfs_da3_node_hdr_from_disk(ds->sc->mp, &hdr, blk->bp->b_addr);
91 return hdr.btree + blk->index;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070092}
93
94/* Scrub a da btree hash (key). */
95int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070096xchk_da_btree_hash(
97 struct xchk_da_btree *ds,
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070098 int level,
99 __be32 *hashp)
100{
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700101 struct xfs_da_node_entry *entry;
102 xfs_dahash_t hash;
103 xfs_dahash_t parent_hash;
104
105 /* Is this hash in order? */
106 hash = be32_to_cpu(*hashp);
107 if (hash < ds->hashes[level])
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700108 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700109 ds->hashes[level] = hash;
110
111 if (level == 0)
112 return 0;
113
114 /* Is this hash no larger than the parent hash? */
Christoph Hellwig649d9d92019-11-08 14:52:07 -0800115 entry = xchk_da_btree_node_entry(ds, level - 1);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700116 parent_hash = be32_to_cpu(entry->hashval);
117 if (parent_hash < hash)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700118 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700119
120 return 0;
121}
122
123/*
124 * Check a da btree pointer. Returns true if it's ok to use this
125 * pointer.
126 */
127STATIC bool
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700128xchk_da_btree_ptr_ok(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700129 struct xchk_da_btree *ds,
130 int level,
131 xfs_dablk_t blkno)
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700132{
133 if (blkno < ds->lowest || (ds->highest != 0 && blkno >= ds->highest)) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700134 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700135 return false;
136 }
137
138 return true;
139}
140
141/*
142 * The da btree scrubber can handle leaf1 blocks as a degenerate
143 * form of leafn blocks. Since the regular da code doesn't handle
144 * leaf1, we must multiplex the verifiers.
145 */
146static void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700147xchk_da_btree_read_verify(
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700148 struct xfs_buf *bp)
149{
150 struct xfs_da_blkinfo *info = bp->b_addr;
151
152 switch (be16_to_cpu(info->magic)) {
153 case XFS_DIR2_LEAF1_MAGIC:
154 case XFS_DIR3_LEAF1_MAGIC:
155 bp->b_ops = &xfs_dir3_leaf1_buf_ops;
156 bp->b_ops->verify_read(bp);
157 return;
158 default:
159 /*
160 * xfs_da3_node_buf_ops already know how to handle
161 * DA*_NODE, ATTR*_LEAF, and DIR*_LEAFN blocks.
162 */
163 bp->b_ops = &xfs_da3_node_buf_ops;
164 bp->b_ops->verify_read(bp);
165 return;
166 }
167}
168static void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700169xchk_da_btree_write_verify(
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700170 struct xfs_buf *bp)
171{
172 struct xfs_da_blkinfo *info = bp->b_addr;
173
174 switch (be16_to_cpu(info->magic)) {
175 case XFS_DIR2_LEAF1_MAGIC:
176 case XFS_DIR3_LEAF1_MAGIC:
177 bp->b_ops = &xfs_dir3_leaf1_buf_ops;
178 bp->b_ops->verify_write(bp);
179 return;
180 default:
181 /*
182 * xfs_da3_node_buf_ops already know how to handle
183 * DA*_NODE, ATTR*_LEAF, and DIR*_LEAFN blocks.
184 */
185 bp->b_ops = &xfs_da3_node_buf_ops;
186 bp->b_ops->verify_write(bp);
187 return;
188 }
189}
Darrick J. Wongcf1b0b82018-01-16 18:53:11 -0800190static void *
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700191xchk_da_btree_verify(
Darrick J. Wongcf1b0b82018-01-16 18:53:11 -0800192 struct xfs_buf *bp)
193{
194 struct xfs_da_blkinfo *info = bp->b_addr;
195
196 switch (be16_to_cpu(info->magic)) {
197 case XFS_DIR2_LEAF1_MAGIC:
198 case XFS_DIR3_LEAF1_MAGIC:
199 bp->b_ops = &xfs_dir3_leaf1_buf_ops;
200 return bp->b_ops->verify_struct(bp);
201 default:
202 bp->b_ops = &xfs_da3_node_buf_ops;
203 return bp->b_ops->verify_struct(bp);
204 }
205}
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700206
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700207static const struct xfs_buf_ops xchk_da_btree_buf_ops = {
208 .name = "xchk_da_btree",
209 .verify_read = xchk_da_btree_read_verify,
210 .verify_write = xchk_da_btree_write_verify,
211 .verify_struct = xchk_da_btree_verify,
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700212};
213
214/* Check a block's sibling. */
215STATIC int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700216xchk_da_btree_block_check_sibling(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700217 struct xchk_da_btree *ds,
218 int level,
219 int direction,
220 xfs_dablk_t sibling)
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700221{
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700222 struct xfs_da_state_path *path = &ds->state->path;
223 struct xfs_da_state_path *altpath = &ds->state->altpath;
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700224 int retval;
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700225 int plevel;
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700226 int error;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700227
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700228 memcpy(altpath, path, sizeof(ds->state->altpath));
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700229
230 /*
231 * If the pointer is null, we shouldn't be able to move the upper
232 * level pointer anywhere.
233 */
234 if (sibling == 0) {
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700235 error = xfs_da3_path_shift(ds->state, altpath, direction,
236 false, &retval);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700237 if (error == 0 && retval == 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700238 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700239 error = 0;
240 goto out;
241 }
242
243 /* Move the alternate cursor one block in the direction given. */
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700244 error = xfs_da3_path_shift(ds->state, altpath, direction, false,
245 &retval);
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700246 if (!xchk_da_process_error(ds, level, &error))
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700247 goto out;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700248 if (retval) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700249 xchk_da_set_corrupt(ds, level);
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700250 goto out;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700251 }
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700252 if (altpath->blk[level].bp)
253 xchk_buffer_recheck(ds->sc, altpath->blk[level].bp);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700254
255 /* Compare upper level pointer to sibling pointer. */
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700256 if (altpath->blk[level].blkno != sibling)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700257 xchk_da_set_corrupt(ds, level);
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700258
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700259out:
Darrick J. Wongafbabf52020-03-24 20:10:55 -0700260 /* Free all buffers in the altpath that aren't referenced from path. */
261 for (plevel = 0; plevel < altpath->active; plevel++) {
262 if (altpath->blk[plevel].bp == NULL ||
263 (plevel < path->active &&
264 altpath->blk[plevel].bp == path->blk[plevel].bp))
265 continue;
266
267 xfs_trans_brelse(ds->dargs.trans, altpath->blk[plevel].bp);
268 altpath->blk[plevel].bp = NULL;
269 }
270
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700271 return error;
272}
273
274/* Check a block's sibling pointers. */
275STATIC int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700276xchk_da_btree_block_check_siblings(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700277 struct xchk_da_btree *ds,
278 int level,
279 struct xfs_da_blkinfo *hdr)
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700280{
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700281 xfs_dablk_t forw;
282 xfs_dablk_t back;
283 int error = 0;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700284
285 forw = be32_to_cpu(hdr->forw);
286 back = be32_to_cpu(hdr->back);
287
288 /* Top level blocks should not have sibling pointers. */
289 if (level == 0) {
290 if (forw != 0 || back != 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700291 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700292 return 0;
293 }
294
295 /*
296 * Check back (left) and forw (right) pointers. These functions
297 * absorb error codes for us.
298 */
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700299 error = xchk_da_btree_block_check_sibling(ds, level, 0, back);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700300 if (error)
301 goto out;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700302 error = xchk_da_btree_block_check_sibling(ds, level, 1, forw);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700303
304out:
305 memset(&ds->state->altpath, 0, sizeof(ds->state->altpath));
306 return error;
307}
308
309/* Load a dir/attribute block from a btree. */
310STATIC int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700311xchk_da_btree_block(
312 struct xchk_da_btree *ds,
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700313 int level,
314 xfs_dablk_t blkno)
315{
316 struct xfs_da_state_blk *blk;
317 struct xfs_da_intnode *node;
318 struct xfs_da_node_entry *btree;
319 struct xfs_da3_blkinfo *hdr3;
320 struct xfs_da_args *dargs = &ds->dargs;
321 struct xfs_inode *ip = ds->dargs.dp;
322 xfs_ino_t owner;
323 int *pmaxrecs;
324 struct xfs_da3_icnode_hdr nodehdr;
Darrick J. Wong0dca0602017-11-02 12:48:11 -0700325 int error = 0;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700326
327 blk = &ds->state->path.blk[level];
328 ds->state->path.active = level + 1;
329
330 /* Release old block. */
331 if (blk->bp) {
332 xfs_trans_brelse(dargs->trans, blk->bp);
333 blk->bp = NULL;
334 }
335
336 /* Check the pointer. */
337 blk->blkno = blkno;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700338 if (!xchk_da_btree_ptr_ok(ds, level, blkno))
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700339 goto out_nobuf;
340
341 /* Read the buffer. */
Christoph Hellwigcd2c9f12019-11-20 09:46:04 -0800342 error = xfs_da_read_buf(dargs->trans, dargs->dp, blk->blkno,
343 XFS_DABUF_MAP_HOLE_OK, &blk->bp, dargs->whichfork,
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700344 &xchk_da_btree_buf_ops);
345 if (!xchk_da_process_error(ds, level, &error))
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700346 goto out_nobuf;
Darrick J. Wongcf1b0b82018-01-16 18:53:11 -0800347 if (blk->bp)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700348 xchk_buffer_recheck(ds->sc, blk->bp);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700349
350 /*
351 * We didn't find a dir btree root block, which means that
352 * there's no LEAF1/LEAFN tree (at least not where it's supposed
353 * to be), so jump out now.
354 */
355 if (ds->dargs.whichfork == XFS_DATA_FORK && level == 0 &&
356 blk->bp == NULL)
357 goto out_nobuf;
358
359 /* It's /not/ ok for attr trees not to have a da btree. */
360 if (blk->bp == NULL) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700361 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700362 goto out_nobuf;
363 }
364
365 hdr3 = blk->bp->b_addr;
366 blk->magic = be16_to_cpu(hdr3->hdr.magic);
367 pmaxrecs = &ds->maxrecs[level];
368
Darrick J. Wong4da4b102017-11-08 12:21:05 -0800369 /* We only started zeroing the header on v5 filesystems. */
370 if (xfs_sb_version_hascrc(&ds->sc->mp->m_sb) && hdr3->hdr.pad)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700371 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700372
373 /* Check the owner. */
374 if (xfs_sb_version_hascrc(&ip->i_mount->m_sb)) {
375 owner = be64_to_cpu(hdr3->owner);
376 if (owner != ip->i_ino)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700377 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700378 }
379
380 /* Check the siblings. */
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700381 error = xchk_da_btree_block_check_siblings(ds, level, &hdr3->hdr);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700382 if (error)
383 goto out;
384
385 /* Interpret the buffer. */
386 switch (blk->magic) {
387 case XFS_ATTR_LEAF_MAGIC:
388 case XFS_ATTR3_LEAF_MAGIC:
389 xfs_trans_buf_set_type(dargs->trans, blk->bp,
390 XFS_BLFT_ATTR_LEAF_BUF);
391 blk->magic = XFS_ATTR_LEAF_MAGIC;
392 blk->hashval = xfs_attr_leaf_lasthash(blk->bp, pmaxrecs);
393 if (ds->tree_level != 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700394 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700395 break;
396 case XFS_DIR2_LEAFN_MAGIC:
397 case XFS_DIR3_LEAFN_MAGIC:
398 xfs_trans_buf_set_type(dargs->trans, blk->bp,
399 XFS_BLFT_DIR_LEAFN_BUF);
400 blk->magic = XFS_DIR2_LEAFN_MAGIC;
401 blk->hashval = xfs_dir2_leaf_lasthash(ip, blk->bp, pmaxrecs);
402 if (ds->tree_level != 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700403 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700404 break;
405 case XFS_DIR2_LEAF1_MAGIC:
406 case XFS_DIR3_LEAF1_MAGIC:
407 xfs_trans_buf_set_type(dargs->trans, blk->bp,
408 XFS_BLFT_DIR_LEAF1_BUF);
409 blk->magic = XFS_DIR2_LEAF1_MAGIC;
410 blk->hashval = xfs_dir2_leaf_lasthash(ip, blk->bp, pmaxrecs);
411 if (ds->tree_level != 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700412 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700413 break;
414 case XFS_DA_NODE_MAGIC:
415 case XFS_DA3_NODE_MAGIC:
416 xfs_trans_buf_set_type(dargs->trans, blk->bp,
417 XFS_BLFT_DA_NODE_BUF);
418 blk->magic = XFS_DA_NODE_MAGIC;
419 node = blk->bp->b_addr;
Christoph Hellwigf475dc4d2019-11-08 14:53:00 -0800420 xfs_da3_node_hdr_from_disk(ip->i_mount, &nodehdr, node);
Christoph Hellwig51908ca2019-11-08 14:57:48 -0800421 btree = nodehdr.btree;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700422 *pmaxrecs = nodehdr.count;
423 blk->hashval = be32_to_cpu(btree[*pmaxrecs - 1].hashval);
424 if (level == 0) {
425 if (nodehdr.level >= XFS_DA_NODE_MAXDEPTH) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700426 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700427 goto out_freebp;
428 }
429 ds->tree_level = nodehdr.level;
430 } else {
431 if (ds->tree_level != nodehdr.level) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700432 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700433 goto out_freebp;
434 }
435 }
436
437 /* XXX: Check hdr3.pad32 once we know how to fix it. */
438 break;
439 default:
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700440 xchk_da_set_corrupt(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700441 goto out_freebp;
442 }
443
444out:
445 return error;
446out_freebp:
447 xfs_trans_brelse(dargs->trans, blk->bp);
448 blk->bp = NULL;
449out_nobuf:
450 blk->blkno = 0;
451 return error;
452}
453
454/* Visit all nodes and leaves of a da btree. */
455int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700456xchk_da_btree(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700457 struct xfs_scrub *sc,
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700458 int whichfork,
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700459 xchk_da_btree_rec_fn scrub_fn,
Darrick J. Wong13791d32017-10-31 12:10:02 -0700460 void *private)
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700461{
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700462 struct xchk_da_btree ds = {};
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700463 struct xfs_mount *mp = sc->mp;
464 struct xfs_da_state_blk *blks;
465 struct xfs_da_node_entry *key;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700466 xfs_dablk_t blkno;
467 int level;
468 int error;
469
470 /* Skip short format data structures; no btree to scan. */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700471 if (!xfs_ifork_has_extents(XFS_IFORK_PTR(sc->ip, whichfork)))
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700472 return 0;
473
474 /* Set up initial da state. */
475 ds.dargs.dp = sc->ip;
476 ds.dargs.whichfork = whichfork;
477 ds.dargs.trans = sc->tp;
478 ds.dargs.op_flags = XFS_DA_OP_OKNOENT;
479 ds.state = xfs_da_state_alloc();
480 ds.state->args = &ds.dargs;
481 ds.state->mp = mp;
482 ds.sc = sc;
Darrick J. Wong13791d32017-10-31 12:10:02 -0700483 ds.private = private;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700484 if (whichfork == XFS_ATTR_FORK) {
485 ds.dargs.geo = mp->m_attr_geo;
486 ds.lowest = 0;
487 ds.highest = 0;
488 } else {
489 ds.dargs.geo = mp->m_dir_geo;
490 ds.lowest = ds.dargs.geo->leafblk;
491 ds.highest = ds.dargs.geo->freeblk;
492 }
493 blkno = ds.lowest;
494 level = 0;
495
496 /* Find the root of the da tree, if present. */
497 blks = ds.state->path.blk;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700498 error = xchk_da_btree_block(&ds, level, blkno);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700499 if (error)
500 goto out_state;
501 /*
502 * We didn't find a block at ds.lowest, which means that there's
503 * no LEAF1/LEAFN tree (at least not where it's supposed to be),
504 * so jump out now.
505 */
506 if (blks[level].bp == NULL)
507 goto out_state;
508
509 blks[level].index = 0;
510 while (level >= 0 && level < XFS_DA_NODE_MAXDEPTH) {
511 /* Handle leaf block. */
512 if (blks[level].magic != XFS_DA_NODE_MAGIC) {
513 /* End of leaf, pop back towards the root. */
514 if (blks[level].index >= ds.maxrecs[level]) {
515 if (level > 0)
516 blks[level - 1].index++;
517 ds.tree_level++;
518 level--;
519 continue;
520 }
521
522 /* Dispatch record scrubbing. */
Christoph Hellwig649d9d92019-11-08 14:52:07 -0800523 error = scrub_fn(&ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700524 if (error)
525 break;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700526 if (xchk_should_terminate(sc, &error) ||
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700527 (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT))
528 break;
529
530 blks[level].index++;
531 continue;
532 }
533
534
535 /* End of node, pop back towards the root. */
536 if (blks[level].index >= ds.maxrecs[level]) {
537 if (level > 0)
538 blks[level - 1].index++;
539 ds.tree_level++;
540 level--;
541 continue;
542 }
543
544 /* Hashes in order for scrub? */
Christoph Hellwig649d9d92019-11-08 14:52:07 -0800545 key = xchk_da_btree_node_entry(&ds, level);
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700546 error = xchk_da_btree_hash(&ds, level, &key->hashval);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700547 if (error)
548 goto out;
549
550 /* Drill another level deeper. */
551 blkno = be32_to_cpu(key->before);
552 level++;
Darrick J. Wong228de122019-03-19 08:16:21 -0700553 if (level >= XFS_DA_NODE_MAXDEPTH) {
554 /* Too deep! */
555 xchk_da_set_corrupt(&ds, level - 1);
556 break;
557 }
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700558 ds.tree_level--;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700559 error = xchk_da_btree_block(&ds, level, blkno);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700560 if (error)
561 goto out;
562 if (blks[level].bp == NULL)
563 goto out;
564
565 blks[level].index = 0;
566 }
567
568out:
569 /* Release all the buffers we're tracking. */
570 for (level = 0; level < XFS_DA_NODE_MAXDEPTH; level++) {
571 if (blks[level].bp == NULL)
572 continue;
573 xfs_trans_brelse(sc->tp, blks[level].bp);
574 blks[level].bp = NULL;
575 }
576
577out_state:
578 xfs_da_state_free(ds.state);
579 return error;
580}