refcount.c 13.5 KB
Newer Older
D
Dave Chinner 已提交
1
// SPDX-License-Identifier: GPL-2.0+
D
Darrick J. Wong 已提交
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
/*
 * Copyright (C) 2017 Oracle.  All Rights Reserved.
 * Author: Darrick J. Wong <darrick.wong@oracle.com>
 */
#include "xfs.h"
#include "xfs_fs.h"
#include "xfs_shared.h"
#include "xfs_format.h"
#include "xfs_trans_resv.h"
#include "xfs_mount.h"
#include "xfs_defer.h"
#include "xfs_btree.h"
#include "xfs_bit.h"
#include "xfs_log_format.h"
#include "xfs_trans.h"
#include "xfs_sb.h"
#include "xfs_alloc.h"
#include "xfs_rmap.h"
20
#include "xfs_refcount.h"
D
Darrick J. Wong 已提交
21 22 23 24 25 26 27 28 29 30
#include "scrub/xfs_scrub.h"
#include "scrub/scrub.h"
#include "scrub/common.h"
#include "scrub/btree.h"
#include "scrub/trace.h"

/*
 * Set us up to scrub reference count btrees.
 */
int
D
Darrick J. Wong 已提交
31
xchk_setup_ag_refcountbt(
32
	struct xfs_scrub	*sc,
33
	struct xfs_inode	*ip)
D
Darrick J. Wong 已提交
34
{
D
Darrick J. Wong 已提交
35
	return xchk_setup_ag_btree(sc, ip, false);
D
Darrick J. Wong 已提交
36 37 38 39
}

/* Reference count btree scrubber. */

40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75
/*
 * Confirming Reference Counts via Reverse Mappings
 *
 * We want to count the reverse mappings overlapping a refcount record
 * (bno, len, refcount), allowing for the possibility that some of the
 * overlap may come from smaller adjoining reverse mappings, while some
 * comes from single extents which overlap the range entirely.  The
 * outer loop is as follows:
 *
 * 1. For all reverse mappings overlapping the refcount extent,
 *    a. If a given rmap completely overlaps, mark it as seen.
 *    b. Otherwise, record the fragment (in agbno order) for later
 *       processing.
 *
 * Once we've seen all the rmaps, we know that for all blocks in the
 * refcount record we want to find $refcount owners and we've already
 * visited $seen extents that overlap all the blocks.  Therefore, we
 * need to find ($refcount - $seen) owners for every block in the
 * extent; call that quantity $target_nr.  Proceed as follows:
 *
 * 2. Pull the first $target_nr fragments from the list; all of them
 *    should start at or before the start of the extent.
 *    Call this subset of fragments the working set.
 * 3. Until there are no more unprocessed fragments,
 *    a. Find the shortest fragments in the set and remove them.
 *    b. Note the block number of the end of these fragments.
 *    c. Pull the same number of fragments from the list.  All of these
 *       fragments should start at the block number recorded in the
 *       previous step.
 *    d. Put those fragments in the set.
 * 4. Check that there are $target_nr fragments remaining in the list,
 *    and that they all end at or beyond the end of the refcount extent.
 *
 * If the refcount is correct, all the check conditions in the algorithm
 * should always hold true.  If not, the refcount is incorrect.
 */
D
Darrick J. Wong 已提交
76
struct xchk_refcnt_frag {
77 78
	struct list_head	list;
	struct xfs_rmap_irec	rm;
79 80
};

D
Darrick J. Wong 已提交
81
struct xchk_refcnt_check {
82
	struct xfs_scrub	*sc;
83
	struct list_head	fragments;
84 85

	/* refcount extent we're examining */
86 87 88
	xfs_agblock_t		bno;
	xfs_extlen_t		len;
	xfs_nlink_t		refcount;
89 90

	/* number of owners seen */
91
	xfs_nlink_t		seen;
92 93 94 95 96 97 98 99 100 101
};

/*
 * Decide if the given rmap is large enough that we can redeem it
 * towards refcount verification now, or if it's a fragment, in
 * which case we'll hang onto it in the hopes that we'll later
 * discover that we've collected exactly the correct number of
 * fragments as the refcountbt says we should have.
 */
STATIC int
D
Darrick J. Wong 已提交
102
xchk_refcountbt_rmap_check(
103 104 105 106
	struct xfs_btree_cur		*cur,
	struct xfs_rmap_irec		*rec,
	void				*priv)
{
D
Darrick J. Wong 已提交
107 108
	struct xchk_refcnt_check	*refchk = priv;
	struct xchk_refcnt_frag		*frag;
109 110 111 112
	xfs_agblock_t			rm_last;
	xfs_agblock_t			rc_last;
	int				error = 0;

D
Darrick J. Wong 已提交
113
	if (xchk_should_terminate(refchk->sc, &error))
114 115 116 117 118 119 120
		return error;

	rm_last = rec->rm_startblock + rec->rm_blockcount - 1;
	rc_last = refchk->bno + refchk->len - 1;

	/* Confirm that a single-owner refc extent is a CoW stage. */
	if (refchk->refcount == 1 && rec->rm_owner != XFS_RMAP_OWN_COW) {
D
Darrick J. Wong 已提交
121
		xchk_btree_xref_set_corrupt(refchk->sc, cur, 0);
122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137
		return 0;
	}

	if (rec->rm_startblock <= refchk->bno && rm_last >= rc_last) {
		/*
		 * The rmap overlaps the refcount record, so we can confirm
		 * one refcount owner seen.
		 */
		refchk->seen++;
	} else {
		/*
		 * This rmap covers only part of the refcount record, so
		 * save the fragment for later processing.  If the rmapbt
		 * is healthy each rmap_irec we see will be in agbno order
		 * so we don't need insertion sort here.
		 */
D
Darrick J. Wong 已提交
138
		frag = kmem_alloc(sizeof(struct xchk_refcnt_frag),
139
				KM_MAYFAIL);
140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156
		if (!frag)
			return -ENOMEM;
		memcpy(&frag->rm, rec, sizeof(frag->rm));
		list_add_tail(&frag->list, &refchk->fragments);
	}

	return 0;
}

/*
 * Given a bunch of rmap fragments, iterate through them, keeping
 * a running tally of the refcount.  If this ever deviates from
 * what we expect (which is the refcountbt's refcount minus the
 * number of extents that totally covered the refcountbt extent),
 * we have a refcountbt error.
 */
STATIC void
D
Darrick J. Wong 已提交
157 158
xchk_refcountbt_process_rmap_fragments(
	struct xchk_refcnt_check	*refchk)
159 160
{
	struct list_head		worklist;
D
Darrick J. Wong 已提交
161 162
	struct xchk_refcnt_frag		*frag;
	struct xchk_refcnt_frag		*n;
163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279
	xfs_agblock_t			bno;
	xfs_agblock_t			rbno;
	xfs_agblock_t			next_rbno;
	xfs_nlink_t			nr;
	xfs_nlink_t			target_nr;

	target_nr = refchk->refcount - refchk->seen;
	if (target_nr == 0)
		return;

	/*
	 * There are (refchk->rc.rc_refcount - refchk->nr refcount)
	 * references we haven't found yet.  Pull that many off the
	 * fragment list and figure out where the smallest rmap ends
	 * (and therefore the next rmap should start).  All the rmaps
	 * we pull off should start at or before the beginning of the
	 * refcount record's range.
	 */
	INIT_LIST_HEAD(&worklist);
	rbno = NULLAGBLOCK;
	nr = 1;

	/* Make sure the fragments actually /are/ in agbno order. */
	bno = 0;
	list_for_each_entry(frag, &refchk->fragments, list) {
		if (frag->rm.rm_startblock < bno)
			goto done;
		bno = frag->rm.rm_startblock;
	}

	/*
	 * Find all the rmaps that start at or before the refc extent,
	 * and put them on the worklist.
	 */
	list_for_each_entry_safe(frag, n, &refchk->fragments, list) {
		if (frag->rm.rm_startblock > refchk->bno)
			goto done;
		bno = frag->rm.rm_startblock + frag->rm.rm_blockcount;
		if (bno < rbno)
			rbno = bno;
		list_move_tail(&frag->list, &worklist);
		if (nr == target_nr)
			break;
		nr++;
	}

	/*
	 * We should have found exactly $target_nr rmap fragments starting
	 * at or before the refcount extent.
	 */
	if (nr != target_nr)
		goto done;

	while (!list_empty(&refchk->fragments)) {
		/* Discard any fragments ending at rbno from the worklist. */
		nr = 0;
		next_rbno = NULLAGBLOCK;
		list_for_each_entry_safe(frag, n, &worklist, list) {
			bno = frag->rm.rm_startblock + frag->rm.rm_blockcount;
			if (bno != rbno) {
				if (bno < next_rbno)
					next_rbno = bno;
				continue;
			}
			list_del(&frag->list);
			kmem_free(frag);
			nr++;
		}

		/* Try to add nr rmaps starting at rbno to the worklist. */
		list_for_each_entry_safe(frag, n, &refchk->fragments, list) {
			bno = frag->rm.rm_startblock + frag->rm.rm_blockcount;
			if (frag->rm.rm_startblock != rbno)
				goto done;
			list_move_tail(&frag->list, &worklist);
			if (next_rbno > bno)
				next_rbno = bno;
			nr--;
			if (nr == 0)
				break;
		}

		/*
		 * If we get here and nr > 0, this means that we added fewer
		 * items to the worklist than we discarded because the fragment
		 * list ran out of items.  Therefore, we cannot maintain the
		 * required refcount.  Something is wrong, so we're done.
		 */
		if (nr)
			goto done;

		rbno = next_rbno;
	}

	/*
	 * Make sure the last extent we processed ends at or beyond
	 * the end of the refcount extent.
	 */
	if (rbno < refchk->bno + refchk->len)
		goto done;

	/* Actually record us having seen the remaining refcount. */
	refchk->seen = refchk->refcount;
done:
	/* Delete fragments and work list. */
	list_for_each_entry_safe(frag, n, &worklist, list) {
		list_del(&frag->list);
		kmem_free(frag);
	}
	list_for_each_entry_safe(frag, n, &refchk->fragments, list) {
		list_del(&frag->list);
		kmem_free(frag);
	}
}

/* Use the rmap entries covering this extent to verify the refcount. */
STATIC void
D
Darrick J. Wong 已提交
280
xchk_refcountbt_xref_rmap(
281
	struct xfs_scrub		*sc,
282 283 284 285
	xfs_agblock_t			bno,
	xfs_extlen_t			len,
	xfs_nlink_t			refcount)
{
D
Darrick J. Wong 已提交
286
	struct xchk_refcnt_check	refchk = {
287 288 289 290 291 292 293 294
		.sc = sc,
		.bno = bno,
		.len = len,
		.refcount = refcount,
		.seen = 0,
	};
	struct xfs_rmap_irec		low;
	struct xfs_rmap_irec		high;
D
Darrick J. Wong 已提交
295 296
	struct xchk_refcnt_frag		*frag;
	struct xchk_refcnt_frag		*n;
297 298
	int				error;

D
Darrick J. Wong 已提交
299
	if (!sc->sa.rmap_cur || xchk_skip_xref(sc->sm))
300 301 302 303 304 305 306 307 308 309
		return;

	/* Cross-reference with the rmapbt to confirm the refcount. */
	memset(&low, 0, sizeof(low));
	low.rm_startblock = bno;
	memset(&high, 0xFF, sizeof(high));
	high.rm_startblock = bno + len - 1;

	INIT_LIST_HEAD(&refchk.fragments);
	error = xfs_rmap_query_range(sc->sa.rmap_cur, &low, &high,
D
Darrick J. Wong 已提交
310 311
			&xchk_refcountbt_rmap_check, &refchk);
	if (!xchk_should_check_xref(sc, &error, &sc->sa.rmap_cur))
312 313
		goto out_free;

D
Darrick J. Wong 已提交
314
	xchk_refcountbt_process_rmap_fragments(&refchk);
315
	if (refcount != refchk.seen)
D
Darrick J. Wong 已提交
316
		xchk_btree_xref_set_corrupt(sc, sc->sa.rmap_cur, 0);
317 318 319 320 321 322 323 324

out_free:
	list_for_each_entry_safe(frag, n, &refchk.fragments, list) {
		list_del(&frag->list);
		kmem_free(frag);
	}
}

325 326
/* Cross-reference with the other btrees. */
STATIC void
D
Darrick J. Wong 已提交
327
xchk_refcountbt_xref(
328
	struct xfs_scrub	*sc,
329 330 331
	xfs_agblock_t		agbno,
	xfs_extlen_t		len,
	xfs_nlink_t		refcount)
332 333 334
{
	if (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT)
		return;
335

D
Darrick J. Wong 已提交
336 337 338
	xchk_xref_is_used_space(sc, agbno, len);
	xchk_xref_is_not_inode_chunk(sc, agbno, len);
	xchk_refcountbt_xref_rmap(sc, agbno, len, refcount);
339 340
}

D
Darrick J. Wong 已提交
341 342
/* Scrub a refcountbt record. */
STATIC int
D
Darrick J. Wong 已提交
343
xchk_refcountbt_rec(
344 345
	struct xchk_btree	*bs,
	union xfs_btree_rec	*rec)
D
Darrick J. Wong 已提交
346
{
347 348 349 350 351 352 353 354
	struct xfs_mount	*mp = bs->cur->bc_mp;
	xfs_agblock_t		*cow_blocks = bs->private;
	xfs_agnumber_t		agno = bs->cur->bc_private.a.agno;
	xfs_agblock_t		bno;
	xfs_extlen_t		len;
	xfs_nlink_t		refcount;
	bool			has_cowflag;
	int			error = 0;
D
Darrick J. Wong 已提交
355 356 357 358 359 360 361 362

	bno = be32_to_cpu(rec->refc.rc_startblock);
	len = be32_to_cpu(rec->refc.rc_blockcount);
	refcount = be32_to_cpu(rec->refc.rc_refcount);

	/* Only CoW records can have refcount == 1. */
	has_cowflag = (bno & XFS_REFC_COW_START);
	if ((refcount == 1 && !has_cowflag) || (refcount != 1 && has_cowflag))
D
Darrick J. Wong 已提交
363
		xchk_btree_set_corrupt(bs->sc, bs->cur, 0);
364 365
	if (has_cowflag)
		(*cow_blocks) += len;
D
Darrick J. Wong 已提交
366 367 368 369 370 371

	/* Check the extent. */
	bno &= ~XFS_REFC_COW_START;
	if (bno + len <= bno ||
	    !xfs_verify_agbno(mp, agno, bno) ||
	    !xfs_verify_agbno(mp, agno, bno + len - 1))
D
Darrick J. Wong 已提交
372
		xchk_btree_set_corrupt(bs->sc, bs->cur, 0);
D
Darrick J. Wong 已提交
373 374

	if (refcount == 0)
D
Darrick J. Wong 已提交
375
		xchk_btree_set_corrupt(bs->sc, bs->cur, 0);
D
Darrick J. Wong 已提交
376

D
Darrick J. Wong 已提交
377
	xchk_refcountbt_xref(bs->sc, bno, len, refcount);
378

D
Darrick J. Wong 已提交
379 380 381
	return error;
}

382 383
/* Make sure we have as many refc blocks as the rmap says. */
STATIC void
D
Darrick J. Wong 已提交
384
xchk_refcount_xref_rmap(
385
	struct xfs_scrub	*sc,
386 387
	struct xfs_owner_info	*oinfo,
	xfs_filblks_t		cow_blocks)
388
{
389 390 391
	xfs_extlen_t		refcbt_blocks = 0;
	xfs_filblks_t		blocks;
	int			error;
392

D
Darrick J. Wong 已提交
393
	if (!sc->sa.rmap_cur || xchk_skip_xref(sc->sm))
394 395 396 397
		return;

	/* Check that we saw as many refcbt blocks as the rmap knows about. */
	error = xfs_btree_count_blocks(sc->sa.refc_cur, &refcbt_blocks);
D
Darrick J. Wong 已提交
398
	if (!xchk_btree_process_error(sc, sc->sa.refc_cur, 0, &error))
399
		return;
D
Darrick J. Wong 已提交
400
	error = xchk_count_rmap_ownedby_ag(sc, sc->sa.rmap_cur, oinfo,
401
			&blocks);
D
Darrick J. Wong 已提交
402
	if (!xchk_should_check_xref(sc, &error, &sc->sa.rmap_cur))
403 404
		return;
	if (blocks != refcbt_blocks)
D
Darrick J. Wong 已提交
405
		xchk_btree_xref_set_corrupt(sc, sc->sa.rmap_cur, 0);
406 407 408

	/* Check that we saw as many cow blocks as the rmap knows about. */
	xfs_rmap_ag_owner(oinfo, XFS_RMAP_OWN_COW);
D
Darrick J. Wong 已提交
409
	error = xchk_count_rmap_ownedby_ag(sc, sc->sa.rmap_cur, oinfo,
410
			&blocks);
D
Darrick J. Wong 已提交
411
	if (!xchk_should_check_xref(sc, &error, &sc->sa.rmap_cur))
412 413
		return;
	if (blocks != cow_blocks)
D
Darrick J. Wong 已提交
414
		xchk_btree_xref_set_corrupt(sc, sc->sa.rmap_cur, 0);
415 416
}

D
Darrick J. Wong 已提交
417 418
/* Scrub the refcount btree for some AG. */
int
D
Darrick J. Wong 已提交
419
xchk_refcountbt(
420
	struct xfs_scrub	*sc)
D
Darrick J. Wong 已提交
421
{
422 423 424
	struct xfs_owner_info	oinfo;
	xfs_agblock_t		cow_blocks = 0;
	int			error;
D
Darrick J. Wong 已提交
425 426

	xfs_rmap_ag_owner(&oinfo, XFS_RMAP_OWN_REFC);
D
Darrick J. Wong 已提交
427
	error = xchk_btree(sc, sc->sa.refc_cur, xchk_refcountbt_rec,
428 429 430 431
			&oinfo, &cow_blocks);
	if (error)
		return error;

D
Darrick J. Wong 已提交
432
	xchk_refcount_xref_rmap(sc, &oinfo, cow_blocks);
433 434

	return 0;
D
Darrick J. Wong 已提交
435
}
436 437 438

/* xref check that a cow staging extent is marked in the refcountbt. */
void
D
Darrick J. Wong 已提交
439
xchk_xref_is_cow_staging(
440
	struct xfs_scrub		*sc,
441 442 443 444 445 446 447 448
	xfs_agblock_t			agbno,
	xfs_extlen_t			len)
{
	struct xfs_refcount_irec	rc;
	bool				has_cowflag;
	int				has_refcount;
	int				error;

D
Darrick J. Wong 已提交
449
	if (!sc->sa.refc_cur || xchk_skip_xref(sc->sm))
450 451 452 453 454
		return;

	/* Find the CoW staging extent. */
	error = xfs_refcount_lookup_le(sc->sa.refc_cur,
			agbno + XFS_REFC_COW_START, &has_refcount);
D
Darrick J. Wong 已提交
455
	if (!xchk_should_check_xref(sc, &error, &sc->sa.refc_cur))
456 457
		return;
	if (!has_refcount) {
D
Darrick J. Wong 已提交
458
		xchk_btree_xref_set_corrupt(sc, sc->sa.refc_cur, 0);
459 460 461 462
		return;
	}

	error = xfs_refcount_get_rec(sc->sa.refc_cur, &rc, &has_refcount);
D
Darrick J. Wong 已提交
463
	if (!xchk_should_check_xref(sc, &error, &sc->sa.refc_cur))
464 465
		return;
	if (!has_refcount) {
D
Darrick J. Wong 已提交
466
		xchk_btree_xref_set_corrupt(sc, sc->sa.refc_cur, 0);
467 468 469 470 471 472
		return;
	}

	/* CoW flag must be set, refcount must be 1. */
	has_cowflag = (rc.rc_startblock & XFS_REFC_COW_START);
	if (!has_cowflag || rc.rc_refcount != 1)
D
Darrick J. Wong 已提交
473
		xchk_btree_xref_set_corrupt(sc, sc->sa.refc_cur, 0);
474 475 476

	/* Must be at least as long as what was passed in */
	if (rc.rc_blockcount < len)
D
Darrick J. Wong 已提交
477
		xchk_btree_xref_set_corrupt(sc, sc->sa.refc_cur, 0);
478 479 480 481 482 483 484
}

/*
 * xref check that the extent is not shared.  Only file data blocks
 * can have multiple owners.
 */
void
D
Darrick J. Wong 已提交
485
xchk_xref_is_not_shared(
486
	struct xfs_scrub	*sc,
487 488
	xfs_agblock_t		agbno,
	xfs_extlen_t		len)
489
{
490 491
	bool			shared;
	int			error;
492

D
Darrick J. Wong 已提交
493
	if (!sc->sa.refc_cur || xchk_skip_xref(sc->sm))
494 495 496
		return;

	error = xfs_refcount_has_record(sc->sa.refc_cur, agbno, len, &shared);
D
Darrick J. Wong 已提交
497
	if (!xchk_should_check_xref(sc, &error, &sc->sa.refc_cur))
498 499
		return;
	if (shared)
D
Darrick J. Wong 已提交
500
		xchk_btree_xref_set_corrupt(sc, sc->sa.refc_cur, 0);
501
}