blob: b962cfbbd92b954c102df2540557263a239e34f1 [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;
Gustavo A. R. Silva53004ee2021-04-20 17:54:36 -050050 fallthrough;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -070051 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. */
Dave Chinner38c26bf2021-08-18 18:46:37 -0700370 if (xfs_has_crc(ds->sc->mp) && 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. */
Dave Chinner38c26bf2021-08-18 18:46:37 -0700374 if (xfs_has_crc(ip->i_mount)) {
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700375 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
Darrick J. Wonge581c932020-09-21 09:15:09 -0700444 /*
445 * If we've been handed a block that is below the dabtree root, does
446 * its hashval match what the parent block expected to see?
447 */
448 if (level > 0) {
449 struct xfs_da_node_entry *key;
450
451 key = xchk_da_btree_node_entry(ds, level - 1);
452 if (be32_to_cpu(key->hashval) != blk->hashval) {
453 xchk_da_set_corrupt(ds, level);
454 goto out_freebp;
455 }
456 }
457
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700458out:
459 return error;
460out_freebp:
461 xfs_trans_brelse(dargs->trans, blk->bp);
462 blk->bp = NULL;
463out_nobuf:
464 blk->blkno = 0;
465 return error;
466}
467
468/* Visit all nodes and leaves of a da btree. */
469int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700470xchk_da_btree(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700471 struct xfs_scrub *sc,
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700472 int whichfork,
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700473 xchk_da_btree_rec_fn scrub_fn,
Darrick J. Wong13791d32017-10-31 12:10:02 -0700474 void *private)
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700475{
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700476 struct xchk_da_btree *ds;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700477 struct xfs_mount *mp = sc->mp;
478 struct xfs_da_state_blk *blks;
479 struct xfs_da_node_entry *key;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700480 xfs_dablk_t blkno;
481 int level;
482 int error;
483
484 /* Skip short format data structures; no btree to scan. */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700485 if (!xfs_ifork_has_extents(XFS_IFORK_PTR(sc->ip, whichfork)))
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700486 return 0;
487
488 /* Set up initial da state. */
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700489 ds = kmem_zalloc(sizeof(struct xchk_da_btree), KM_NOFS | KM_MAYFAIL);
490 if (!ds)
491 return -ENOMEM;
492 ds->dargs.dp = sc->ip;
493 ds->dargs.whichfork = whichfork;
494 ds->dargs.trans = sc->tp;
495 ds->dargs.op_flags = XFS_DA_OP_OKNOENT;
496 ds->state = xfs_da_state_alloc(&ds->dargs);
497 ds->sc = sc;
498 ds->private = private;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700499 if (whichfork == XFS_ATTR_FORK) {
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700500 ds->dargs.geo = mp->m_attr_geo;
501 ds->lowest = 0;
502 ds->highest = 0;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700503 } else {
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700504 ds->dargs.geo = mp->m_dir_geo;
505 ds->lowest = ds->dargs.geo->leafblk;
506 ds->highest = ds->dargs.geo->freeblk;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700507 }
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700508 blkno = ds->lowest;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700509 level = 0;
510
511 /* Find the root of the da tree, if present. */
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700512 blks = ds->state->path.blk;
513 error = xchk_da_btree_block(ds, level, blkno);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700514 if (error)
515 goto out_state;
516 /*
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700517 * We didn't find a block at ds->lowest, which means that there's
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700518 * no LEAF1/LEAFN tree (at least not where it's supposed to be),
519 * so jump out now.
520 */
521 if (blks[level].bp == NULL)
522 goto out_state;
523
524 blks[level].index = 0;
525 while (level >= 0 && level < XFS_DA_NODE_MAXDEPTH) {
526 /* Handle leaf block. */
527 if (blks[level].magic != XFS_DA_NODE_MAGIC) {
528 /* End of leaf, pop back towards the root. */
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700529 if (blks[level].index >= ds->maxrecs[level]) {
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700530 if (level > 0)
531 blks[level - 1].index++;
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700532 ds->tree_level++;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700533 level--;
534 continue;
535 }
536
537 /* Dispatch record scrubbing. */
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700538 error = scrub_fn(ds, level);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700539 if (error)
540 break;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700541 if (xchk_should_terminate(sc, &error) ||
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700542 (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT))
543 break;
544
545 blks[level].index++;
546 continue;
547 }
548
549
550 /* End of node, pop back towards the root. */
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700551 if (blks[level].index >= ds->maxrecs[level]) {
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700552 if (level > 0)
553 blks[level - 1].index++;
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700554 ds->tree_level++;
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700555 level--;
556 continue;
557 }
558
559 /* Hashes in order for scrub? */
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700560 key = xchk_da_btree_node_entry(ds, level);
561 error = xchk_da_btree_hash(ds, level, &key->hashval);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700562 if (error)
563 goto out;
564
565 /* Drill another level deeper. */
566 blkno = be32_to_cpu(key->before);
567 level++;
Darrick J. Wong228de122019-03-19 08:16:21 -0700568 if (level >= XFS_DA_NODE_MAXDEPTH) {
569 /* Too deep! */
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700570 xchk_da_set_corrupt(ds, level - 1);
Darrick J. Wong228de122019-03-19 08:16:21 -0700571 break;
572 }
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700573 ds->tree_level--;
574 error = xchk_da_btree_block(ds, level, blkno);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700575 if (error)
576 goto out;
577 if (blks[level].bp == NULL)
578 goto out;
579
580 blks[level].index = 0;
581 }
582
583out:
584 /* Release all the buffers we're tracking. */
585 for (level = 0; level < XFS_DA_NODE_MAXDEPTH; level++) {
586 if (blks[level].bp == NULL)
587 continue;
588 xfs_trans_brelse(sc->tp, blks[level].bp);
589 blks[level].bp = NULL;
590 }
591
592out_state:
Darrick J. Wong510a28e2021-09-16 12:19:00 -0700593 xfs_da_state_free(ds->state);
594 kmem_free(ds);
Darrick J. Wong7c4a07a2017-10-17 21:37:43 -0700595 return error;
596}