blob: debf392e051563a277e5d9edde7ef6e2be8de7b2 [file] [log] [blame]
Dave Chinner0b61f8a2018-06-05 19:42:14 -07001// SPDX-License-Identifier: GPL-2.0+
Darrick J. Wong537964bc2017-10-17 21:37:37 -07002/*
3 * Copyright (C) 2017 Oracle. All Rights Reserved.
Darrick J. Wong537964bc2017-10-17 21:37:37 -07004 * Author: Darrick J. Wong <darrick.wong@oracle.com>
Darrick J. Wong537964bc2017-10-17 21:37:37 -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. Wong537964bc2017-10-17 21:37:37 -070012#include "xfs_btree.h"
Darrick J. Wong537964bc2017-10-17 21:37:37 -070013#include "scrub/scrub.h"
14#include "scrub/common.h"
15#include "scrub/btree.h"
16#include "scrub/trace.h"
17
18/* btree scrubbing */
19
20/*
21 * Check for btree operation errors. See the section about handling
22 * operational errors in common.c.
23 */
Darrick J. Wong64b12562018-01-16 18:52:14 -080024static bool
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070025__xchk_btree_process_error(
Darrick J. Wong1d8a7482018-07-19 12:29:12 -070026 struct xfs_scrub *sc,
Darrick J. Wong032d91f2018-07-19 12:29:12 -070027 struct xfs_btree_cur *cur,
28 int level,
29 int *error,
30 __u32 errflag,
31 void *ret_ip)
Darrick J. Wong537964bc2017-10-17 21:37:37 -070032{
33 if (*error == 0)
34 return true;
35
36 switch (*error) {
37 case -EDEADLOCK:
38 /* Used to restart an op with deadlock avoidance. */
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070039 trace_xchk_deadlock_retry(sc->ip, sc->sm, *error);
Darrick J. Wong537964bc2017-10-17 21:37:37 -070040 break;
41 case -EFSBADCRC:
42 case -EFSCORRUPTED:
43 /* Note the badness but don't abort. */
Darrick J. Wong64b12562018-01-16 18:52:14 -080044 sc->sm->sm_flags |= errflag;
Darrick J. Wong537964bc2017-10-17 21:37:37 -070045 *error = 0;
46 /* fall through */
47 default:
48 if (cur->bc_flags & XFS_BTREE_ROOT_IN_INODE)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070049 trace_xchk_ifork_btree_op_error(sc, cur, level,
Darrick J. Wong64b12562018-01-16 18:52:14 -080050 *error, ret_ip);
Darrick J. Wong537964bc2017-10-17 21:37:37 -070051 else
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070052 trace_xchk_btree_op_error(sc, cur, level,
Darrick J. Wong64b12562018-01-16 18:52:14 -080053 *error, ret_ip);
Darrick J. Wong537964bc2017-10-17 21:37:37 -070054 break;
55 }
56 return false;
57}
58
Darrick J. Wong64b12562018-01-16 18:52:14 -080059bool
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070060xchk_btree_process_error(
Darrick J. Wong1d8a7482018-07-19 12:29:12 -070061 struct xfs_scrub *sc,
Darrick J. Wong032d91f2018-07-19 12:29:12 -070062 struct xfs_btree_cur *cur,
63 int level,
64 int *error)
Darrick J. Wong64b12562018-01-16 18:52:14 -080065{
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070066 return __xchk_btree_process_error(sc, cur, level, error,
Darrick J. Wong64b12562018-01-16 18:52:14 -080067 XFS_SCRUB_OFLAG_CORRUPT, __return_address);
68}
69
70bool
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070071xchk_btree_xref_process_error(
Darrick J. Wong1d8a7482018-07-19 12:29:12 -070072 struct xfs_scrub *sc,
Darrick J. Wong032d91f2018-07-19 12:29:12 -070073 struct xfs_btree_cur *cur,
74 int level,
75 int *error)
Darrick J. Wong64b12562018-01-16 18:52:14 -080076{
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070077 return __xchk_btree_process_error(sc, cur, level, error,
Darrick J. Wong64b12562018-01-16 18:52:14 -080078 XFS_SCRUB_OFLAG_XFAIL, __return_address);
79}
80
Darrick J. Wong537964bc2017-10-17 21:37:37 -070081/* Record btree block corruption. */
Darrick J. Wong64b12562018-01-16 18:52:14 -080082static void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070083__xchk_btree_set_corrupt(
Darrick J. Wong1d8a7482018-07-19 12:29:12 -070084 struct xfs_scrub *sc,
Darrick J. Wong032d91f2018-07-19 12:29:12 -070085 struct xfs_btree_cur *cur,
86 int level,
87 __u32 errflag,
88 void *ret_ip)
Darrick J. Wong64b12562018-01-16 18:52:14 -080089{
90 sc->sm->sm_flags |= errflag;
91
92 if (cur->bc_flags & XFS_BTREE_ROOT_IN_INODE)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070093 trace_xchk_ifork_btree_error(sc, cur, level,
Darrick J. Wong64b12562018-01-16 18:52:14 -080094 ret_ip);
95 else
Darrick J. Wongc517b3a2018-07-19 12:29:11 -070096 trace_xchk_btree_error(sc, cur, level,
Darrick J. Wong64b12562018-01-16 18:52:14 -080097 ret_ip);
98}
99
Darrick J. Wong537964bc2017-10-17 21:37:37 -0700100void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700101xchk_btree_set_corrupt(
Darrick J. Wong1d8a7482018-07-19 12:29:12 -0700102 struct xfs_scrub *sc,
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700103 struct xfs_btree_cur *cur,
104 int level)
Darrick J. Wong537964bc2017-10-17 21:37:37 -0700105{
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700106 __xchk_btree_set_corrupt(sc, cur, level, XFS_SCRUB_OFLAG_CORRUPT,
Darrick J. Wong64b12562018-01-16 18:52:14 -0800107 __return_address);
108}
Darrick J. Wong537964bc2017-10-17 21:37:37 -0700109
Darrick J. Wong64b12562018-01-16 18:52:14 -0800110void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700111xchk_btree_xref_set_corrupt(
Darrick J. Wong1d8a7482018-07-19 12:29:12 -0700112 struct xfs_scrub *sc,
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700113 struct xfs_btree_cur *cur,
114 int level)
Darrick J. Wong64b12562018-01-16 18:52:14 -0800115{
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700116 __xchk_btree_set_corrupt(sc, cur, level, XFS_SCRUB_OFLAG_XCORRUPT,
Darrick J. Wong64b12562018-01-16 18:52:14 -0800117 __return_address);
Darrick J. Wong537964bc2017-10-17 21:37:37 -0700118}
119
120/*
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700121 * Make sure this record is in order and doesn't stray outside of the parent
122 * keys.
123 */
124STATIC void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700125xchk_btree_rec(
126 struct xchk_btree *bs)
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700127{
128 struct xfs_btree_cur *cur = bs->cur;
129 union xfs_btree_rec *rec;
130 union xfs_btree_key key;
131 union xfs_btree_key hkey;
132 union xfs_btree_key *keyp;
133 struct xfs_btree_block *block;
134 struct xfs_btree_block *keyblock;
135 struct xfs_buf *bp;
136
137 block = xfs_btree_get_block(cur, 0, &bp);
138 rec = xfs_btree_rec_addr(cur, cur->bc_ptrs[0], block);
139
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700140 trace_xchk_btree_rec(bs->sc, cur, 0);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700141
142 /* If this isn't the first record, are they in order? */
143 if (!bs->firstrec && !cur->bc_ops->recs_inorder(cur, &bs->lastrec, rec))
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700144 xchk_btree_set_corrupt(bs->sc, cur, 0);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700145 bs->firstrec = false;
146 memcpy(&bs->lastrec, rec, cur->bc_ops->rec_len);
147
148 if (cur->bc_nlevels == 1)
149 return;
150
151 /* Is this at least as large as the parent low key? */
152 cur->bc_ops->init_key_from_rec(&key, rec);
153 keyblock = xfs_btree_get_block(cur, 1, &bp);
154 keyp = xfs_btree_key_addr(cur, cur->bc_ptrs[1], keyblock);
155 if (cur->bc_ops->diff_two_keys(cur, &key, keyp) < 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700156 xchk_btree_set_corrupt(bs->sc, cur, 1);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700157
158 if (!(cur->bc_flags & XFS_BTREE_OVERLAPPING))
159 return;
160
161 /* Is this no larger than the parent high key? */
162 cur->bc_ops->init_high_key_from_rec(&hkey, rec);
163 keyp = xfs_btree_high_key_addr(cur, cur->bc_ptrs[1], keyblock);
164 if (cur->bc_ops->diff_two_keys(cur, keyp, &hkey) < 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700165 xchk_btree_set_corrupt(bs->sc, cur, 1);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700166}
167
168/*
169 * Make sure this key is in order and doesn't stray outside of the parent
170 * keys.
171 */
172STATIC void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700173xchk_btree_key(
174 struct xchk_btree *bs,
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700175 int level)
176{
177 struct xfs_btree_cur *cur = bs->cur;
178 union xfs_btree_key *key;
179 union xfs_btree_key *keyp;
180 struct xfs_btree_block *block;
181 struct xfs_btree_block *keyblock;
182 struct xfs_buf *bp;
183
184 block = xfs_btree_get_block(cur, level, &bp);
185 key = xfs_btree_key_addr(cur, cur->bc_ptrs[level], block);
186
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700187 trace_xchk_btree_key(bs->sc, cur, level);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700188
189 /* If this isn't the first key, are they in order? */
190 if (!bs->firstkey[level] &&
191 !cur->bc_ops->keys_inorder(cur, &bs->lastkey[level], key))
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700192 xchk_btree_set_corrupt(bs->sc, cur, level);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700193 bs->firstkey[level] = false;
194 memcpy(&bs->lastkey[level], key, cur->bc_ops->key_len);
195
196 if (level + 1 >= cur->bc_nlevels)
197 return;
198
199 /* Is this at least as large as the parent low key? */
200 keyblock = xfs_btree_get_block(cur, level + 1, &bp);
201 keyp = xfs_btree_key_addr(cur, cur->bc_ptrs[level + 1], keyblock);
202 if (cur->bc_ops->diff_two_keys(cur, key, keyp) < 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700203 xchk_btree_set_corrupt(bs->sc, cur, level);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700204
205 if (!(cur->bc_flags & XFS_BTREE_OVERLAPPING))
206 return;
207
208 /* Is this no larger than the parent high key? */
209 key = xfs_btree_high_key_addr(cur, cur->bc_ptrs[level], block);
210 keyp = xfs_btree_high_key_addr(cur, cur->bc_ptrs[level + 1], keyblock);
211 if (cur->bc_ops->diff_two_keys(cur, keyp, key) < 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700212 xchk_btree_set_corrupt(bs->sc, cur, level);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700213}
214
215/*
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700216 * Check a btree pointer. Returns true if it's ok to use this pointer.
217 * Callers do not need to set the corrupt flag.
218 */
219static bool
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700220xchk_btree_ptr_ok(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700221 struct xchk_btree *bs,
222 int level,
223 union xfs_btree_ptr *ptr)
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700224{
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700225 bool res;
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700226
227 /* A btree rooted in an inode has no block pointer to the root. */
228 if ((bs->cur->bc_flags & XFS_BTREE_ROOT_IN_INODE) &&
229 level == bs->cur->bc_nlevels)
230 return true;
231
232 /* Otherwise, check the pointers. */
233 if (bs->cur->bc_flags & XFS_BTREE_LONG_PTRS)
234 res = xfs_btree_check_lptr(bs->cur, be64_to_cpu(ptr->l), level);
235 else
236 res = xfs_btree_check_sptr(bs->cur, be32_to_cpu(ptr->s), level);
237 if (!res)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700238 xchk_btree_set_corrupt(bs->sc, bs->cur, level);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700239
240 return res;
241}
242
243/* Check that a btree block's sibling matches what we expect it. */
244STATIC int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700245xchk_btree_block_check_sibling(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700246 struct xchk_btree *bs,
247 int level,
248 int direction,
249 union xfs_btree_ptr *sibling)
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700250{
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700251 struct xfs_btree_cur *cur = bs->cur;
252 struct xfs_btree_block *pblock;
253 struct xfs_buf *pbp;
254 struct xfs_btree_cur *ncur = NULL;
255 union xfs_btree_ptr *pp;
256 int success;
257 int error;
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700258
259 error = xfs_btree_dup_cursor(cur, &ncur);
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700260 if (!xchk_btree_process_error(bs->sc, cur, level + 1, &error) ||
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700261 !ncur)
262 return error;
263
264 /*
265 * If the pointer is null, we shouldn't be able to move the upper
266 * level pointer anywhere.
267 */
268 if (xfs_btree_ptr_is_null(cur, sibling)) {
269 if (direction > 0)
270 error = xfs_btree_increment(ncur, level + 1, &success);
271 else
272 error = xfs_btree_decrement(ncur, level + 1, &success);
273 if (error == 0 && success)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700274 xchk_btree_set_corrupt(bs->sc, cur, level);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700275 error = 0;
276 goto out;
277 }
278
279 /* Increment upper level pointer. */
280 if (direction > 0)
281 error = xfs_btree_increment(ncur, level + 1, &success);
282 else
283 error = xfs_btree_decrement(ncur, level + 1, &success);
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700284 if (!xchk_btree_process_error(bs->sc, cur, level + 1, &error))
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700285 goto out;
286 if (!success) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700287 xchk_btree_set_corrupt(bs->sc, cur, level + 1);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700288 goto out;
289 }
290
291 /* Compare upper level pointer to sibling pointer. */
292 pblock = xfs_btree_get_block(ncur, level + 1, &pbp);
293 pp = xfs_btree_ptr_addr(ncur, ncur->bc_ptrs[level + 1], pblock);
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700294 if (!xchk_btree_ptr_ok(bs, level + 1, pp))
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700295 goto out;
Darrick J. Wongcf1b0b82018-01-16 18:53:11 -0800296 if (pbp)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700297 xchk_buffer_recheck(bs->sc, pbp);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700298
299 if (xfs_btree_diff_two_ptrs(cur, pp, sibling))
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700300 xchk_btree_set_corrupt(bs->sc, cur, level);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700301out:
302 xfs_btree_del_cursor(ncur, XFS_BTREE_ERROR);
303 return error;
304}
305
306/* Check the siblings of a btree block. */
307STATIC int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700308xchk_btree_block_check_siblings(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700309 struct xchk_btree *bs,
310 struct xfs_btree_block *block)
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700311{
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700312 struct xfs_btree_cur *cur = bs->cur;
313 union xfs_btree_ptr leftsib;
314 union xfs_btree_ptr rightsib;
315 int level;
316 int error = 0;
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700317
318 xfs_btree_get_sibling(cur, block, &leftsib, XFS_BB_LEFTSIB);
319 xfs_btree_get_sibling(cur, block, &rightsib, XFS_BB_RIGHTSIB);
320 level = xfs_btree_get_level(block);
321
322 /* Root block should never have siblings. */
323 if (level == cur->bc_nlevels - 1) {
324 if (!xfs_btree_ptr_is_null(cur, &leftsib) ||
325 !xfs_btree_ptr_is_null(cur, &rightsib))
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700326 xchk_btree_set_corrupt(bs->sc, cur, level);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700327 goto out;
328 }
329
330 /*
331 * Does the left & right sibling pointers match the adjacent
332 * parent level pointers?
333 * (These function absorbs error codes for us.)
334 */
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700335 error = xchk_btree_block_check_sibling(bs, level, -1, &leftsib);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700336 if (error)
337 return error;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700338 error = xchk_btree_block_check_sibling(bs, level, 1, &rightsib);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700339 if (error)
340 return error;
341out:
342 return error;
343}
344
Darrick J. Wong858333d2018-01-16 18:53:05 -0800345struct check_owner {
346 struct list_head list;
347 xfs_daddr_t daddr;
348 int level;
349};
350
351/*
352 * Make sure this btree block isn't in the free list and that there's
353 * an rmap record for it.
354 */
355STATIC int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700356xchk_btree_check_block_owner(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700357 struct xchk_btree *bs,
358 int level,
359 xfs_daddr_t daddr)
Darrick J. Wong858333d2018-01-16 18:53:05 -0800360{
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700361 xfs_agnumber_t agno;
362 xfs_agblock_t agbno;
363 xfs_btnum_t btnum;
364 bool init_sa;
365 int error = 0;
Darrick J. Wong858333d2018-01-16 18:53:05 -0800366
367 if (!bs->cur)
368 return 0;
369
Darrick J. Wong52dc4b42018-01-16 18:53:06 -0800370 btnum = bs->cur->bc_btnum;
Darrick J. Wong858333d2018-01-16 18:53:05 -0800371 agno = xfs_daddr_to_agno(bs->cur->bc_mp, daddr);
Darrick J. Wong52dc4b42018-01-16 18:53:06 -0800372 agbno = xfs_daddr_to_agbno(bs->cur->bc_mp, daddr);
Darrick J. Wong858333d2018-01-16 18:53:05 -0800373
374 init_sa = bs->cur->bc_flags & XFS_BTREE_LONG_PTRS;
375 if (init_sa) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700376 error = xchk_ag_init(bs->sc, agno, &bs->sc->sa);
377 if (!xchk_btree_xref_process_error(bs->sc, bs->cur,
Darrick J. Wong858333d2018-01-16 18:53:05 -0800378 level, &error))
379 return error;
380 }
381
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700382 xchk_xref_is_used_space(bs->sc, agbno, 1);
Darrick J. Wong52dc4b42018-01-16 18:53:06 -0800383 /*
384 * The bnobt scrubber aliases bs->cur to bs->sc->sa.bno_cur, so we
385 * have to nullify it (to shut down further block owner checks) if
386 * self-xref encounters problems.
387 */
388 if (!bs->sc->sa.bno_cur && btnum == XFS_BTNUM_BNO)
389 bs->cur = NULL;
390
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700391 xchk_xref_is_owned_by(bs->sc, agbno, 1, bs->oinfo);
Darrick J. Wongd8526572018-01-16 18:53:08 -0800392 if (!bs->sc->sa.rmap_cur && btnum == XFS_BTNUM_RMAP)
393 bs->cur = NULL;
394
Darrick J. Wong858333d2018-01-16 18:53:05 -0800395 if (init_sa)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700396 xchk_ag_free(bs->sc, &bs->sc->sa);
Darrick J. Wong858333d2018-01-16 18:53:05 -0800397
398 return error;
399}
400
401/* Check the owner of a btree block. */
402STATIC int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700403xchk_btree_check_owner(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700404 struct xchk_btree *bs,
405 int level,
406 struct xfs_buf *bp)
Darrick J. Wong858333d2018-01-16 18:53:05 -0800407{
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700408 struct xfs_btree_cur *cur = bs->cur;
409 struct check_owner *co;
Darrick J. Wong858333d2018-01-16 18:53:05 -0800410
Darrick J. Wonga72e9d82019-03-19 08:16:22 -0700411 /*
412 * In theory, xfs_btree_get_block should only give us a null buffer
413 * pointer for the root of a root-in-inode btree type, but we need
414 * to check defensively here in case the cursor state is also screwed
415 * up.
416 */
417 if (bp == NULL) {
418 if (!(cur->bc_flags & XFS_BTREE_ROOT_IN_INODE))
419 xchk_btree_set_corrupt(bs->sc, bs->cur, level);
Darrick J. Wong858333d2018-01-16 18:53:05 -0800420 return 0;
Darrick J. Wonga72e9d82019-03-19 08:16:22 -0700421 }
Darrick J. Wong858333d2018-01-16 18:53:05 -0800422
423 /*
424 * We want to cross-reference each btree block with the bnobt
425 * and the rmapbt. We cannot cross-reference the bnobt or
426 * rmapbt while scanning the bnobt or rmapbt, respectively,
427 * because we cannot alter the cursor and we'd prefer not to
428 * duplicate cursors. Therefore, save the buffer daddr for
429 * later scanning.
430 */
431 if (cur->bc_btnum == XFS_BTNUM_BNO || cur->bc_btnum == XFS_BTNUM_RMAP) {
432 co = kmem_alloc(sizeof(struct check_owner),
Darrick J. Wong631fc952018-05-09 10:02:00 -0700433 KM_MAYFAIL);
Darrick J. Wong858333d2018-01-16 18:53:05 -0800434 if (!co)
435 return -ENOMEM;
436 co->level = level;
437 co->daddr = XFS_BUF_ADDR(bp);
438 list_add_tail(&co->list, &bs->to_check);
439 return 0;
440 }
441
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700442 return xchk_btree_check_block_owner(bs, level, XFS_BUF_ADDR(bp));
Darrick J. Wong858333d2018-01-16 18:53:05 -0800443}
444
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700445/*
Darrick J. Wong08a3a692018-05-09 10:02:00 -0700446 * Check that this btree block has at least minrecs records or is one of the
447 * special blocks that don't require that.
448 */
449STATIC void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700450xchk_btree_check_minrecs(
451 struct xchk_btree *bs,
Darrick J. Wong08a3a692018-05-09 10:02:00 -0700452 int level,
453 struct xfs_btree_block *block)
454{
Darrick J. Wonge95b6c32020-11-08 16:32:41 -0800455 struct xfs_btree_cur *cur = bs->cur;
456 unsigned int root_level = cur->bc_nlevels - 1;
457 unsigned int numrecs = be16_to_cpu(block->bb_numrecs);
Darrick J. Wong08a3a692018-05-09 10:02:00 -0700458
459 /* More records than minrecs means the block is ok. */
Darrick J. Wonge95b6c32020-11-08 16:32:41 -0800460 if (numrecs >= cur->bc_ops->get_minrecs(cur, level))
Darrick J. Wong08a3a692018-05-09 10:02:00 -0700461 return;
462
463 /*
Darrick J. Wonge95b6c32020-11-08 16:32:41 -0800464 * For btrees rooted in the inode, it's possible that the root block
465 * contents spilled into a regular ondisk block because there wasn't
466 * enough space in the inode root. The number of records in that
467 * child block might be less than the standard minrecs, but that's ok
468 * provided that there's only one direct child of the root.
Darrick J. Wong08a3a692018-05-09 10:02:00 -0700469 */
Darrick J. Wonge95b6c32020-11-08 16:32:41 -0800470 if ((cur->bc_flags & XFS_BTREE_ROOT_IN_INODE) &&
471 level == cur->bc_nlevels - 2) {
472 struct xfs_btree_block *root_block;
473 struct xfs_buf *root_bp;
474 int root_maxrecs;
Darrick J. Wong08a3a692018-05-09 10:02:00 -0700475
Darrick J. Wonge95b6c32020-11-08 16:32:41 -0800476 root_block = xfs_btree_get_block(cur, root_level, &root_bp);
477 root_maxrecs = cur->bc_ops->get_dmaxrecs(cur, root_level);
478 if (be16_to_cpu(root_block->bb_numrecs) != 1 ||
479 numrecs <= root_maxrecs)
480 xchk_btree_set_corrupt(bs->sc, cur, level);
481 return;
482 }
483
484 /*
485 * Otherwise, only the root level is allowed to have fewer than minrecs
486 * records or keyptrs.
487 */
488 if (level < root_level)
489 xchk_btree_set_corrupt(bs->sc, cur, level);
Darrick J. Wong08a3a692018-05-09 10:02:00 -0700490}
491
492/*
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700493 * Grab and scrub a btree block given a btree pointer. Returns block
494 * and buffer pointers (if applicable) if they're ok to use.
495 */
496STATIC int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700497xchk_btree_get_block(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700498 struct xchk_btree *bs,
499 int level,
500 union xfs_btree_ptr *pp,
501 struct xfs_btree_block **pblock,
502 struct xfs_buf **pbp)
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700503{
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700504 xfs_failaddr_t failed_at;
505 int error;
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700506
507 *pblock = NULL;
508 *pbp = NULL;
509
510 error = xfs_btree_lookup_get_block(bs->cur, level, pp, pblock);
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700511 if (!xchk_btree_process_error(bs->sc, bs->cur, level, &error) ||
Darrick J. Wonga605e862017-11-06 12:09:29 -0800512 !*pblock)
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700513 return error;
514
515 xfs_btree_get_block(bs->cur, level, pbp);
516 if (bs->cur->bc_flags & XFS_BTREE_LONG_PTRS)
517 failed_at = __xfs_btree_check_lblock(bs->cur, *pblock,
518 level, *pbp);
519 else
520 failed_at = __xfs_btree_check_sblock(bs->cur, *pblock,
521 level, *pbp);
522 if (failed_at) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700523 xchk_btree_set_corrupt(bs->sc, bs->cur, level);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700524 return 0;
525 }
Darrick J. Wongcf1b0b82018-01-16 18:53:11 -0800526 if (*pbp)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700527 xchk_buffer_recheck(bs->sc, *pbp);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700528
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700529 xchk_btree_check_minrecs(bs, level, *pblock);
Darrick J. Wong08a3a692018-05-09 10:02:00 -0700530
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700531 /*
Darrick J. Wong858333d2018-01-16 18:53:05 -0800532 * Check the block's owner; this function absorbs error codes
533 * for us.
534 */
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700535 error = xchk_btree_check_owner(bs, level, *pbp);
Darrick J. Wong858333d2018-01-16 18:53:05 -0800536 if (error)
537 return error;
538
539 /*
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700540 * Check the block's siblings; this function absorbs error codes
541 * for us.
542 */
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700543 return xchk_btree_block_check_siblings(bs, *pblock);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700544}
545
546/*
Darrick J. Wong2fdbec52017-10-25 15:03:46 -0700547 * Check that the low and high keys of this block match the keys stored
548 * in the parent block.
549 */
550STATIC void
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700551xchk_btree_block_keys(
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700552 struct xchk_btree *bs,
553 int level,
554 struct xfs_btree_block *block)
Darrick J. Wong2fdbec52017-10-25 15:03:46 -0700555{
Darrick J. Wong032d91f2018-07-19 12:29:12 -0700556 union xfs_btree_key block_keys;
557 struct xfs_btree_cur *cur = bs->cur;
558 union xfs_btree_key *high_bk;
559 union xfs_btree_key *parent_keys;
560 union xfs_btree_key *high_pk;
561 struct xfs_btree_block *parent_block;
562 struct xfs_buf *bp;
Darrick J. Wong2fdbec52017-10-25 15:03:46 -0700563
564 if (level >= cur->bc_nlevels - 1)
565 return;
566
567 /* Calculate the keys for this block. */
568 xfs_btree_get_keys(cur, block, &block_keys);
569
570 /* Obtain the parent's copy of the keys for this block. */
571 parent_block = xfs_btree_get_block(cur, level + 1, &bp);
572 parent_keys = xfs_btree_key_addr(cur, cur->bc_ptrs[level + 1],
573 parent_block);
574
575 if (cur->bc_ops->diff_two_keys(cur, &block_keys, parent_keys) != 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700576 xchk_btree_set_corrupt(bs->sc, cur, 1);
Darrick J. Wong2fdbec52017-10-25 15:03:46 -0700577
578 if (!(cur->bc_flags & XFS_BTREE_OVERLAPPING))
579 return;
580
581 /* Get high keys */
582 high_bk = xfs_btree_high_key_from_key(cur, &block_keys);
583 high_pk = xfs_btree_high_key_addr(cur, cur->bc_ptrs[level + 1],
584 parent_block);
585
586 if (cur->bc_ops->diff_two_keys(cur, high_bk, high_pk) != 0)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700587 xchk_btree_set_corrupt(bs->sc, cur, 1);
Darrick J. Wong2fdbec52017-10-25 15:03:46 -0700588}
589
590/*
Darrick J. Wong537964bc2017-10-17 21:37:37 -0700591 * Visit all nodes and leaves of a btree. Check that all pointers and
592 * records are in order, that the keys reflect the records, and use a callback
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700593 * so that the caller can verify individual records.
Darrick J. Wong537964bc2017-10-17 21:37:37 -0700594 */
595int
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700596xchk_btree(
Darrick J. Wong66e32372018-12-12 08:46:23 -0800597 struct xfs_scrub *sc,
598 struct xfs_btree_cur *cur,
599 xchk_btree_rec_fn scrub_fn,
600 const struct xfs_owner_info *oinfo,
601 void *private)
Darrick J. Wong537964bc2017-10-17 21:37:37 -0700602{
Darrick J. Wong66e32372018-12-12 08:46:23 -0800603 struct xchk_btree bs = {
604 .cur = cur,
605 .scrub_rec = scrub_fn,
606 .oinfo = oinfo,
607 .firstrec = true,
608 .private = private,
609 .sc = sc,
610 };
611 union xfs_btree_ptr ptr;
612 union xfs_btree_ptr *pp;
613 union xfs_btree_rec *recp;
614 struct xfs_btree_block *block;
615 int level;
616 struct xfs_buf *bp;
617 struct check_owner *co;
618 struct check_owner *n;
619 int i;
620 int error = 0;
Darrick J. Wong537964bc2017-10-17 21:37:37 -0700621
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700622 /* Initialize scrub state */
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700623 for (i = 0; i < XFS_BTREE_MAXLEVELS; i++)
624 bs.firstkey[i] = true;
625 INIT_LIST_HEAD(&bs.to_check);
626
627 /* Don't try to check a tree with a height we can't handle. */
628 if (cur->bc_nlevels > XFS_BTREE_MAXLEVELS) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700629 xchk_btree_set_corrupt(sc, cur, 0);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700630 goto out;
631 }
632
633 /*
634 * Load the root of the btree. The helper function absorbs
635 * error codes for us.
636 */
637 level = cur->bc_nlevels - 1;
638 cur->bc_ops->init_ptr_from_cur(cur, &ptr);
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700639 if (!xchk_btree_ptr_ok(&bs, cur->bc_nlevels, &ptr))
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700640 goto out;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700641 error = xchk_btree_get_block(&bs, level, &ptr, &block, &bp);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700642 if (error || !block)
643 goto out;
644
645 cur->bc_ptrs[level] = 1;
646
647 while (level < cur->bc_nlevels) {
648 block = xfs_btree_get_block(cur, level, &bp);
649
650 if (level == 0) {
651 /* End of leaf, pop back towards the root. */
652 if (cur->bc_ptrs[level] >
653 be16_to_cpu(block->bb_numrecs)) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700654 xchk_btree_block_keys(&bs, level, block);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700655 if (level < cur->bc_nlevels - 1)
656 cur->bc_ptrs[level + 1]++;
657 level++;
658 continue;
659 }
660
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700661 /* Records in order for scrub? */
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700662 xchk_btree_rec(&bs);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700663
664 /* Call out to the record checker. */
665 recp = xfs_btree_rec_addr(cur, cur->bc_ptrs[0], block);
666 error = bs.scrub_rec(&bs, recp);
667 if (error)
668 break;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700669 if (xchk_should_terminate(sc, &error) ||
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700670 (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT))
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700671 break;
672
673 cur->bc_ptrs[level]++;
674 continue;
675 }
676
677 /* End of node, pop back towards the root. */
678 if (cur->bc_ptrs[level] > be16_to_cpu(block->bb_numrecs)) {
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700679 xchk_btree_block_keys(&bs, level, block);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700680 if (level < cur->bc_nlevels - 1)
681 cur->bc_ptrs[level + 1]++;
682 level++;
683 continue;
684 }
685
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700686 /* Keys in order for scrub? */
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700687 xchk_btree_key(&bs, level);
Darrick J. Wong37f3fa72017-10-17 21:37:37 -0700688
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700689 /* Drill another level deeper. */
690 pp = xfs_btree_ptr_addr(cur, cur->bc_ptrs[level], block);
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700691 if (!xchk_btree_ptr_ok(&bs, level, pp)) {
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700692 cur->bc_ptrs[level]++;
693 continue;
694 }
695 level--;
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700696 error = xchk_btree_get_block(&bs, level, pp, &block, &bp);
Darrick J. Wongcc3e0942017-10-17 21:37:37 -0700697 if (error || !block)
698 goto out;
699
700 cur->bc_ptrs[level] = 1;
701 }
702
703out:
Darrick J. Wong858333d2018-01-16 18:53:05 -0800704 /* Process deferred owner checks on btree blocks. */
705 list_for_each_entry_safe(co, n, &bs.to_check, list) {
706 if (!error && bs.cur)
Darrick J. Wongc517b3a2018-07-19 12:29:11 -0700707 error = xchk_btree_check_block_owner(&bs,
Darrick J. Wong858333d2018-01-16 18:53:05 -0800708 co->level, co->daddr);
709 list_del(&co->list);
710 kmem_free(co);
711 }
712
Darrick J. Wong537964bc2017-10-17 21:37:37 -0700713 return error;
714}