1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (C) 2017 Oracle. All Rights Reserved. 4 * Author: Darrick J. Wong <darrick.wong@oracle.com> 5 */ 6#include "xfs.h" 7#include "xfs_fs.h" 8#include "xfs_shared.h" 9#include "xfs_format.h" 10#include "xfs_trans_resv.h" 11#include "xfs_mount.h" 12#include "xfs_btree.h" 13#include "xfs_log_format.h" 14#include "xfs_trans.h" 15#include "xfs_sb.h" 16#include "xfs_inode.h" 17#include "xfs_icache.h" 18#include "xfs_alloc.h" 19#include "xfs_alloc_btree.h" 20#include "xfs_ialloc.h" 21#include "xfs_ialloc_btree.h" 22#include "xfs_refcount_btree.h" 23#include "xfs_rmap.h" 24#include "xfs_rmap_btree.h" 25#include "xfs_log.h" 26#include "xfs_trans_priv.h" 27#include "xfs_attr.h" 28#include "xfs_reflink.h" 29#include "scrub/scrub.h" 30#include "scrub/common.h" 31#include "scrub/trace.h" 32#include "scrub/repair.h" 33#include "scrub/health.h" 34 35/* Common code for the metadata scrubbers. */ 36 37/* 38 * Handling operational errors. 39 * 40 * The *_process_error() family of functions are used to process error return 41 * codes from functions called as part of a scrub operation. 42 * 43 * If there's no error, we return true to tell the caller that it's ok 44 * to move on to the next check in its list. 45 * 46 * For non-verifier errors (e.g. ENOMEM) we return false to tell the 47 * caller that something bad happened, and we preserve *error so that 48 * the caller can return the *error up the stack to userspace. 49 * 50 * Verifier errors (EFSBADCRC/EFSCORRUPTED) are recorded by setting 51 * OFLAG_CORRUPT in sm_flags and the *error is cleared. In other words, 52 * we track verifier errors (and failed scrub checks) via OFLAG_CORRUPT, 53 * not via return codes. We return false to tell the caller that 54 * something bad happened. Since the error has been cleared, the caller 55 * will (presumably) return that zero and scrubbing will move on to 56 * whatever's next. 57 * 58 * ftrace can be used to record the precise metadata location and the 59 * approximate code location of the failed operation. 60 */ 61 62/* Check for operational errors. */ 63static bool 64__xchk_process_error( 65 struct xfs_scrub *sc, 66 xfs_agnumber_t agno, 67 xfs_agblock_t bno, 68 int *error, 69 __u32 errflag, 70 void *ret_ip) 71{ 72 switch (*error) { 73 case 0: 74 return true; 75 case -EDEADLOCK: 76 /* Used to restart an op with deadlock avoidance. */ 77 trace_xchk_deadlock_retry(sc->ip, sc->sm, *error); 78 break; 79 case -EFSBADCRC: 80 case -EFSCORRUPTED: 81 /* Note the badness but don't abort. */ 82 sc->sm->sm_flags |= errflag; 83 *error = 0; 84 /* fall through */ 85 default: 86 trace_xchk_op_error(sc, agno, bno, *error, 87 ret_ip); 88 break; 89 } 90 return false; 91} 92 93bool 94xchk_process_error( 95 struct xfs_scrub *sc, 96 xfs_agnumber_t agno, 97 xfs_agblock_t bno, 98 int *error) 99{ 100 return __xchk_process_error(sc, agno, bno, error, 101 XFS_SCRUB_OFLAG_CORRUPT, __return_address); 102} 103 104bool 105xchk_xref_process_error( 106 struct xfs_scrub *sc, 107 xfs_agnumber_t agno, 108 xfs_agblock_t bno, 109 int *error) 110{ 111 return __xchk_process_error(sc, agno, bno, error, 112 XFS_SCRUB_OFLAG_XFAIL, __return_address); 113} 114 115/* Check for operational errors for a file offset. */ 116static bool 117__xchk_fblock_process_error( 118 struct xfs_scrub *sc, 119 int whichfork, 120 xfs_fileoff_t offset, 121 int *error, 122 __u32 errflag, 123 void *ret_ip) 124{ 125 switch (*error) { 126 case 0: 127 return true; 128 case -EDEADLOCK: 129 /* Used to restart an op with deadlock avoidance. */ 130 trace_xchk_deadlock_retry(sc->ip, sc->sm, *error); 131 break; 132 case -EFSBADCRC: 133 case -EFSCORRUPTED: 134 /* Note the badness but don't abort. */ 135 sc->sm->sm_flags |= errflag; 136 *error = 0; 137 /* fall through */ 138 default: 139 trace_xchk_file_op_error(sc, whichfork, offset, *error, 140 ret_ip); 141 break; 142 } 143 return false; 144} 145 146bool 147xchk_fblock_process_error( 148 struct xfs_scrub *sc, 149 int whichfork, 150 xfs_fileoff_t offset, 151 int *error) 152{ 153 return __xchk_fblock_process_error(sc, whichfork, offset, error, 154 XFS_SCRUB_OFLAG_CORRUPT, __return_address); 155} 156 157bool 158xchk_fblock_xref_process_error( 159 struct xfs_scrub *sc, 160 int whichfork, 161 xfs_fileoff_t offset, 162 int *error) 163{ 164 return __xchk_fblock_process_error(sc, whichfork, offset, error, 165 XFS_SCRUB_OFLAG_XFAIL, __return_address); 166} 167 168/* 169 * Handling scrub corruption/optimization/warning checks. 170 * 171 * The *_set_{corrupt,preen,warning}() family of functions are used to 172 * record the presence of metadata that is incorrect (corrupt), could be 173 * optimized somehow (preen), or should be flagged for administrative 174 * review but is not incorrect (warn). 175 * 176 * ftrace can be used to record the precise metadata location and 177 * approximate code location of the failed check. 178 */ 179 180/* Record a block which could be optimized. */ 181void 182xchk_block_set_preen( 183 struct xfs_scrub *sc, 184 struct xfs_buf *bp) 185{ 186 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_PREEN; 187 trace_xchk_block_preen(sc, bp->b_bn, __return_address); 188} 189 190/* 191 * Record an inode which could be optimized. The trace data will 192 * include the block given by bp if bp is given; otherwise it will use 193 * the block location of the inode record itself. 194 */ 195void 196xchk_ino_set_preen( 197 struct xfs_scrub *sc, 198 xfs_ino_t ino) 199{ 200 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_PREEN; 201 trace_xchk_ino_preen(sc, ino, __return_address); 202} 203 204/* Record something being wrong with the filesystem primary superblock. */ 205void 206xchk_set_corrupt( 207 struct xfs_scrub *sc) 208{ 209 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_CORRUPT; 210 trace_xchk_fs_error(sc, 0, __return_address); 211} 212 213/* Record a corrupt block. */ 214void 215xchk_block_set_corrupt( 216 struct xfs_scrub *sc, 217 struct xfs_buf *bp) 218{ 219 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_CORRUPT; 220 trace_xchk_block_error(sc, bp->b_bn, __return_address); 221} 222 223/* Record a corruption while cross-referencing. */ 224void 225xchk_block_xref_set_corrupt( 226 struct xfs_scrub *sc, 227 struct xfs_buf *bp) 228{ 229 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_XCORRUPT; 230 trace_xchk_block_error(sc, bp->b_bn, __return_address); 231} 232 233/* 234 * Record a corrupt inode. The trace data will include the block given 235 * by bp if bp is given; otherwise it will use the block location of the 236 * inode record itself. 237 */ 238void 239xchk_ino_set_corrupt( 240 struct xfs_scrub *sc, 241 xfs_ino_t ino) 242{ 243 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_CORRUPT; 244 trace_xchk_ino_error(sc, ino, __return_address); 245} 246 247/* Record a corruption while cross-referencing with an inode. */ 248void 249xchk_ino_xref_set_corrupt( 250 struct xfs_scrub *sc, 251 xfs_ino_t ino) 252{ 253 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_XCORRUPT; 254 trace_xchk_ino_error(sc, ino, __return_address); 255} 256 257/* Record corruption in a block indexed by a file fork. */ 258void 259xchk_fblock_set_corrupt( 260 struct xfs_scrub *sc, 261 int whichfork, 262 xfs_fileoff_t offset) 263{ 264 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_CORRUPT; 265 trace_xchk_fblock_error(sc, whichfork, offset, __return_address); 266} 267 268/* Record a corruption while cross-referencing a fork block. */ 269void 270xchk_fblock_xref_set_corrupt( 271 struct xfs_scrub *sc, 272 int whichfork, 273 xfs_fileoff_t offset) 274{ 275 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_XCORRUPT; 276 trace_xchk_fblock_error(sc, whichfork, offset, __return_address); 277} 278 279/* 280 * Warn about inodes that need administrative review but is not 281 * incorrect. 282 */ 283void 284xchk_ino_set_warning( 285 struct xfs_scrub *sc, 286 xfs_ino_t ino) 287{ 288 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_WARNING; 289 trace_xchk_ino_warning(sc, ino, __return_address); 290} 291 292/* Warn about a block indexed by a file fork that needs review. */ 293void 294xchk_fblock_set_warning( 295 struct xfs_scrub *sc, 296 int whichfork, 297 xfs_fileoff_t offset) 298{ 299 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_WARNING; 300 trace_xchk_fblock_warning(sc, whichfork, offset, __return_address); 301} 302 303/* Signal an incomplete scrub. */ 304void 305xchk_set_incomplete( 306 struct xfs_scrub *sc) 307{ 308 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_INCOMPLETE; 309 trace_xchk_incomplete(sc, __return_address); 310} 311 312/* 313 * rmap scrubbing -- compute the number of blocks with a given owner, 314 * at least according to the reverse mapping data. 315 */ 316 317struct xchk_rmap_ownedby_info { 318 const struct xfs_owner_info *oinfo; 319 xfs_filblks_t *blocks; 320}; 321 322STATIC int 323xchk_count_rmap_ownedby_irec( 324 struct xfs_btree_cur *cur, 325 struct xfs_rmap_irec *rec, 326 void *priv) 327{ 328 struct xchk_rmap_ownedby_info *sroi = priv; 329 bool irec_attr; 330 bool oinfo_attr; 331 332 irec_attr = rec->rm_flags & XFS_RMAP_ATTR_FORK; 333 oinfo_attr = sroi->oinfo->oi_flags & XFS_OWNER_INFO_ATTR_FORK; 334 335 if (rec->rm_owner != sroi->oinfo->oi_owner) 336 return 0; 337 338 if (XFS_RMAP_NON_INODE_OWNER(rec->rm_owner) || irec_attr == oinfo_attr) 339 (*sroi->blocks) += rec->rm_blockcount; 340 341 return 0; 342} 343 344/* 345 * Calculate the number of blocks the rmap thinks are owned by something. 346 * The caller should pass us an rmapbt cursor. 347 */ 348int 349xchk_count_rmap_ownedby_ag( 350 struct xfs_scrub *sc, 351 struct xfs_btree_cur *cur, 352 const struct xfs_owner_info *oinfo, 353 xfs_filblks_t *blocks) 354{ 355 struct xchk_rmap_ownedby_info sroi = { 356 .oinfo = oinfo, 357 .blocks = blocks, 358 }; 359 360 *blocks = 0; 361 return xfs_rmap_query_all(cur, xchk_count_rmap_ownedby_irec, 362 &sroi); 363} 364 365/* 366 * AG scrubbing 367 * 368 * These helpers facilitate locking an allocation group's header 369 * buffers, setting up cursors for all btrees that are present, and 370 * cleaning everything up once we're through. 371 */ 372 373/* Decide if we want to return an AG header read failure. */ 374static inline bool 375want_ag_read_header_failure( 376 struct xfs_scrub *sc, 377 unsigned int type) 378{ 379 /* Return all AG header read failures when scanning btrees. */ 380 if (sc->sm->sm_type != XFS_SCRUB_TYPE_AGF && 381 sc->sm->sm_type != XFS_SCRUB_TYPE_AGFL && 382 sc->sm->sm_type != XFS_SCRUB_TYPE_AGI) 383 return true; 384 /* 385 * If we're scanning a given type of AG header, we only want to 386 * see read failures from that specific header. We'd like the 387 * other headers to cross-check them, but this isn't required. 388 */ 389 if (sc->sm->sm_type == type) 390 return true; 391 return false; 392} 393 394/* 395 * Grab all the headers for an AG. 396 * 397 * The headers should be released by xchk_ag_free, but as a fail 398 * safe we attach all the buffers we grab to the scrub transaction so 399 * they'll all be freed when we cancel it. 400 */ 401int 402xchk_ag_read_headers( 403 struct xfs_scrub *sc, 404 xfs_agnumber_t agno, 405 struct xfs_buf **agi, 406 struct xfs_buf **agf, 407 struct xfs_buf **agfl) 408{ 409 struct xfs_mount *mp = sc->mp; 410 int error; 411 412 error = xfs_ialloc_read_agi(mp, sc->tp, agno, agi); 413 if (error && want_ag_read_header_failure(sc, XFS_SCRUB_TYPE_AGI)) 414 goto out; 415 416 error = xfs_alloc_read_agf(mp, sc->tp, agno, 0, agf); 417 if (error && want_ag_read_header_failure(sc, XFS_SCRUB_TYPE_AGF)) 418 goto out; 419 420 error = xfs_alloc_read_agfl(mp, sc->tp, agno, agfl); 421 if (error && want_ag_read_header_failure(sc, XFS_SCRUB_TYPE_AGFL)) 422 goto out; 423 error = 0; 424out: 425 return error; 426} 427 428/* Release all the AG btree cursors. */ 429void 430xchk_ag_btcur_free( 431 struct xchk_ag *sa) 432{ 433 if (sa->refc_cur) 434 xfs_btree_del_cursor(sa->refc_cur, XFS_BTREE_ERROR); 435 if (sa->rmap_cur) 436 xfs_btree_del_cursor(sa->rmap_cur, XFS_BTREE_ERROR); 437 if (sa->fino_cur) 438 xfs_btree_del_cursor(sa->fino_cur, XFS_BTREE_ERROR); 439 if (sa->ino_cur) 440 xfs_btree_del_cursor(sa->ino_cur, XFS_BTREE_ERROR); 441 if (sa->cnt_cur) 442 xfs_btree_del_cursor(sa->cnt_cur, XFS_BTREE_ERROR); 443 if (sa->bno_cur) 444 xfs_btree_del_cursor(sa->bno_cur, XFS_BTREE_ERROR); 445 446 sa->refc_cur = NULL; 447 sa->rmap_cur = NULL; 448 sa->fino_cur = NULL; 449 sa->ino_cur = NULL; 450 sa->bno_cur = NULL; 451 sa->cnt_cur = NULL; 452} 453 454/* Initialize all the btree cursors for an AG. */ 455int 456xchk_ag_btcur_init( 457 struct xfs_scrub *sc, 458 struct xchk_ag *sa) 459{ 460 struct xfs_mount *mp = sc->mp; 461 xfs_agnumber_t agno = sa->agno; 462 463 xchk_perag_get(sc->mp, sa); 464 if (sa->agf_bp && 465 xchk_ag_btree_healthy_enough(sc, sa->pag, XFS_BTNUM_BNO)) { 466 /* Set up a bnobt cursor for cross-referencing. */ 467 sa->bno_cur = xfs_allocbt_init_cursor(mp, sc->tp, sa->agf_bp, 468 agno, XFS_BTNUM_BNO); 469 if (!sa->bno_cur) 470 goto err; 471 } 472 473 if (sa->agf_bp && 474 xchk_ag_btree_healthy_enough(sc, sa->pag, XFS_BTNUM_CNT)) { 475 /* Set up a cntbt cursor for cross-referencing. */ 476 sa->cnt_cur = xfs_allocbt_init_cursor(mp, sc->tp, sa->agf_bp, 477 agno, XFS_BTNUM_CNT); 478 if (!sa->cnt_cur) 479 goto err; 480 } 481 482 /* Set up a inobt cursor for cross-referencing. */ 483 if (sa->agi_bp && 484 xchk_ag_btree_healthy_enough(sc, sa->pag, XFS_BTNUM_INO)) { 485 sa->ino_cur = xfs_inobt_init_cursor(mp, sc->tp, sa->agi_bp, 486 agno, XFS_BTNUM_INO); 487 if (!sa->ino_cur) 488 goto err; 489 } 490 491 /* Set up a finobt cursor for cross-referencing. */ 492 if (sa->agi_bp && xfs_sb_version_hasfinobt(&mp->m_sb) && 493 xchk_ag_btree_healthy_enough(sc, sa->pag, XFS_BTNUM_FINO)) { 494 sa->fino_cur = xfs_inobt_init_cursor(mp, sc->tp, sa->agi_bp, 495 agno, XFS_BTNUM_FINO); 496 if (!sa->fino_cur) 497 goto err; 498 } 499 500 /* Set up a rmapbt cursor for cross-referencing. */ 501 if (sa->agf_bp && xfs_sb_version_hasrmapbt(&mp->m_sb) && 502 xchk_ag_btree_healthy_enough(sc, sa->pag, XFS_BTNUM_RMAP)) { 503 sa->rmap_cur = xfs_rmapbt_init_cursor(mp, sc->tp, sa->agf_bp, 504 agno); 505 if (!sa->rmap_cur) 506 goto err; 507 } 508 509 /* Set up a refcountbt cursor for cross-referencing. */ 510 if (sa->agf_bp && xfs_sb_version_hasreflink(&mp->m_sb) && 511 xchk_ag_btree_healthy_enough(sc, sa->pag, XFS_BTNUM_REFC)) { 512 sa->refc_cur = xfs_refcountbt_init_cursor(mp, sc->tp, 513 sa->agf_bp, agno); 514 if (!sa->refc_cur) 515 goto err; 516 } 517 518 return 0; 519err: 520 return -ENOMEM; 521} 522 523/* Release the AG header context and btree cursors. */ 524void 525xchk_ag_free( 526 struct xfs_scrub *sc, 527 struct xchk_ag *sa) 528{ 529 xchk_ag_btcur_free(sa); 530 if (sa->agfl_bp) { 531 xfs_trans_brelse(sc->tp, sa->agfl_bp); 532 sa->agfl_bp = NULL; 533 } 534 if (sa->agf_bp) { 535 xfs_trans_brelse(sc->tp, sa->agf_bp); 536 sa->agf_bp = NULL; 537 } 538 if (sa->agi_bp) { 539 xfs_trans_brelse(sc->tp, sa->agi_bp); 540 sa->agi_bp = NULL; 541 } 542 if (sa->pag) { 543 xfs_perag_put(sa->pag); 544 sa->pag = NULL; 545 } 546 sa->agno = NULLAGNUMBER; 547} 548 549/* 550 * For scrub, grab the AGI and the AGF headers, in that order. Locking 551 * order requires us to get the AGI before the AGF. We use the 552 * transaction to avoid deadlocking on crosslinked metadata buffers; 553 * either the caller passes one in (bmap scrub) or we have to create a 554 * transaction ourselves. 555 */ 556int 557xchk_ag_init( 558 struct xfs_scrub *sc, 559 xfs_agnumber_t agno, 560 struct xchk_ag *sa) 561{ 562 int error; 563 564 sa->agno = agno; 565 error = xchk_ag_read_headers(sc, agno, &sa->agi_bp, 566 &sa->agf_bp, &sa->agfl_bp); 567 if (error) 568 return error; 569 570 return xchk_ag_btcur_init(sc, sa); 571} 572 573/* 574 * Grab the per-ag structure if we haven't already gotten it. Teardown of the 575 * xchk_ag will release it for us. 576 */ 577void 578xchk_perag_get( 579 struct xfs_mount *mp, 580 struct xchk_ag *sa) 581{ 582 if (!sa->pag) 583 sa->pag = xfs_perag_get(mp, sa->agno); 584} 585 586/* Per-scrubber setup functions */ 587 588/* 589 * Grab an empty transaction so that we can re-grab locked buffers if 590 * one of our btrees turns out to be cyclic. 591 * 592 * If we're going to repair something, we need to ask for the largest possible 593 * log reservation so that we can handle the worst case scenario for metadata 594 * updates while rebuilding a metadata item. We also need to reserve as many 595 * blocks in the head transaction as we think we're going to need to rebuild 596 * the metadata object. 597 */ 598int 599xchk_trans_alloc( 600 struct xfs_scrub *sc, 601 uint resblks) 602{ 603 if (sc->sm->sm_flags & XFS_SCRUB_IFLAG_REPAIR) 604 return xfs_trans_alloc(sc->mp, &M_RES(sc->mp)->tr_itruncate, 605 resblks, 0, 0, &sc->tp); 606 607 return xfs_trans_alloc_empty(sc->mp, &sc->tp); 608} 609 610/* Set us up with a transaction and an empty context. */ 611int 612xchk_setup_fs( 613 struct xfs_scrub *sc, 614 struct xfs_inode *ip) 615{ 616 uint resblks; 617 618 resblks = xrep_calc_ag_resblks(sc); 619 return xchk_trans_alloc(sc, resblks); 620} 621 622/* Set us up with AG headers and btree cursors. */ 623int 624xchk_setup_ag_btree( 625 struct xfs_scrub *sc, 626 struct xfs_inode *ip, 627 bool force_log) 628{ 629 struct xfs_mount *mp = sc->mp; 630 int error; 631 632 /* 633 * If the caller asks us to checkpont the log, do so. This 634 * expensive operation should be performed infrequently and only 635 * as a last resort. Any caller that sets force_log should 636 * document why they need to do so. 637 */ 638 if (force_log) { 639 error = xchk_checkpoint_log(mp); 640 if (error) 641 return error; 642 } 643 644 error = xchk_setup_fs(sc, ip); 645 if (error) 646 return error; 647 648 return xchk_ag_init(sc, sc->sm->sm_agno, &sc->sa); 649} 650 651/* Push everything out of the log onto disk. */ 652int 653xchk_checkpoint_log( 654 struct xfs_mount *mp) 655{ 656 int error; 657 658 error = xfs_log_force(mp, XFS_LOG_SYNC); 659 if (error) 660 return error; 661 xfs_ail_push_all_sync(mp->m_ail); 662 return 0; 663} 664 665/* 666 * Given an inode and the scrub control structure, grab either the 667 * inode referenced in the control structure or the inode passed in. 668 * The inode is not locked. 669 */ 670int 671xchk_get_inode( 672 struct xfs_scrub *sc, 673 struct xfs_inode *ip_in) 674{ 675 struct xfs_imap imap; 676 struct xfs_mount *mp = sc->mp; 677 struct xfs_inode *ip = NULL; 678 int error; 679 680 /* We want to scan the inode we already had opened. */ 681 if (sc->sm->sm_ino == 0 || sc->sm->sm_ino == ip_in->i_ino) { 682 sc->ip = ip_in; 683 return 0; 684 } 685 686 /* Look up the inode, see if the generation number matches. */ 687 if (xfs_internal_inum(mp, sc->sm->sm_ino)) 688 return -ENOENT; 689 error = xfs_iget(mp, NULL, sc->sm->sm_ino, 690 XFS_IGET_UNTRUSTED | XFS_IGET_DONTCACHE, 0, &ip); 691 switch (error) { 692 case -ENOENT: 693 /* Inode doesn't exist, just bail out. */ 694 return error; 695 case 0: 696 /* Got an inode, continue. */ 697 break; 698 case -EINVAL: 699 /* 700 * -EINVAL with IGET_UNTRUSTED could mean one of several 701 * things: userspace gave us an inode number that doesn't 702 * correspond to fs space, or doesn't have an inobt entry; 703 * or it could simply mean that the inode buffer failed the 704 * read verifiers. 705 * 706 * Try just the inode mapping lookup -- if it succeeds, then 707 * the inode buffer verifier failed and something needs fixing. 708 * Otherwise, we really couldn't find it so tell userspace 709 * that it no longer exists. 710 */ 711 error = xfs_imap(sc->mp, sc->tp, sc->sm->sm_ino, &imap, 712 XFS_IGET_UNTRUSTED | XFS_IGET_DONTCACHE); 713 if (error) 714 return -ENOENT; 715 error = -EFSCORRUPTED; 716 /* fall through */ 717 default: 718 trace_xchk_op_error(sc, 719 XFS_INO_TO_AGNO(mp, sc->sm->sm_ino), 720 XFS_INO_TO_AGBNO(mp, sc->sm->sm_ino), 721 error, __return_address); 722 return error; 723 } 724 if (VFS_I(ip)->i_generation != sc->sm->sm_gen) { 725 xfs_irele(ip); 726 return -ENOENT; 727 } 728 729 sc->ip = ip; 730 return 0; 731} 732 733/* Set us up to scrub a file's contents. */ 734int 735xchk_setup_inode_contents( 736 struct xfs_scrub *sc, 737 struct xfs_inode *ip, 738 unsigned int resblks) 739{ 740 int error; 741 742 error = xchk_get_inode(sc, ip); 743 if (error) 744 return error; 745 746 /* Got the inode, lock it and we're ready to go. */ 747 sc->ilock_flags = XFS_IOLOCK_EXCL | XFS_MMAPLOCK_EXCL; 748 xfs_ilock(sc->ip, sc->ilock_flags); 749 error = xchk_trans_alloc(sc, resblks); 750 if (error) 751 goto out; 752 sc->ilock_flags |= XFS_ILOCK_EXCL; 753 xfs_ilock(sc->ip, XFS_ILOCK_EXCL); 754 755out: 756 /* scrub teardown will unlock and release the inode for us */ 757 return error; 758} 759 760/* 761 * Predicate that decides if we need to evaluate the cross-reference check. 762 * If there was an error accessing the cross-reference btree, just delete 763 * the cursor and skip the check. 764 */ 765bool 766xchk_should_check_xref( 767 struct xfs_scrub *sc, 768 int *error, 769 struct xfs_btree_cur **curpp) 770{ 771 /* No point in xref if we already know we're corrupt. */ 772 if (xchk_skip_xref(sc->sm)) 773 return false; 774 775 if (*error == 0) 776 return true; 777 778 if (curpp) { 779 /* If we've already given up on xref, just bail out. */ 780 if (!*curpp) 781 return false; 782 783 /* xref error, delete cursor and bail out. */ 784 xfs_btree_del_cursor(*curpp, XFS_BTREE_ERROR); 785 *curpp = NULL; 786 } 787 788 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_XFAIL; 789 trace_xchk_xref_error(sc, *error, __return_address); 790 791 /* 792 * Errors encountered during cross-referencing with another 793 * data structure should not cause this scrubber to abort. 794 */ 795 *error = 0; 796 return false; 797} 798 799/* Run the structure verifiers on in-memory buffers to detect bad memory. */ 800void 801xchk_buffer_recheck( 802 struct xfs_scrub *sc, 803 struct xfs_buf *bp) 804{ 805 xfs_failaddr_t fa; 806 807 if (bp->b_ops == NULL) { 808 xchk_block_set_corrupt(sc, bp); 809 return; 810 } 811 if (bp->b_ops->verify_struct == NULL) { 812 xchk_set_incomplete(sc); 813 return; 814 } 815 fa = bp->b_ops->verify_struct(bp); 816 if (!fa) 817 return; 818 sc->sm->sm_flags |= XFS_SCRUB_OFLAG_CORRUPT; 819 trace_xchk_block_error(sc, bp->b_bn, fa); 820} 821 822/* 823 * Scrub the attr/data forks of a metadata inode. The metadata inode must be 824 * pointed to by sc->ip and the ILOCK must be held. 825 */ 826int 827xchk_metadata_inode_forks( 828 struct xfs_scrub *sc) 829{ 830 __u32 smtype; 831 bool shared; 832 int error; 833 834 if (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT) 835 return 0; 836 837 /* Metadata inodes don't live on the rt device. */ 838 if (sc->ip->i_d.di_flags & XFS_DIFLAG_REALTIME) { 839 xchk_ino_set_corrupt(sc, sc->ip->i_ino); 840 return 0; 841 } 842 843 /* They should never participate in reflink. */ 844 if (xfs_is_reflink_inode(sc->ip)) { 845 xchk_ino_set_corrupt(sc, sc->ip->i_ino); 846 return 0; 847 } 848 849 /* They also should never have extended attributes. */ 850 if (xfs_inode_hasattr(sc->ip)) { 851 xchk_ino_set_corrupt(sc, sc->ip->i_ino); 852 return 0; 853 } 854 855 /* Invoke the data fork scrubber. */ 856 smtype = sc->sm->sm_type; 857 sc->sm->sm_type = XFS_SCRUB_TYPE_BMBTD; 858 error = xchk_bmap_data(sc); 859 sc->sm->sm_type = smtype; 860 if (error || (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT)) 861 return error; 862 863 /* Look for incorrect shared blocks. */ 864 if (xfs_sb_version_hasreflink(&sc->mp->m_sb)) { 865 error = xfs_reflink_inode_has_shared_extents(sc->tp, sc->ip, 866 &shared); 867 if (!xchk_fblock_process_error(sc, XFS_DATA_FORK, 0, 868 &error)) 869 return error; 870 if (shared) 871 xchk_ino_set_corrupt(sc, sc->ip->i_ino); 872 } 873 874 return error; 875} 876 877/* 878 * Try to lock an inode in violation of the usual locking order rules. For 879 * example, trying to get the IOLOCK while in transaction context, or just 880 * plain breaking AG-order or inode-order inode locking rules. Either way, 881 * the only way to avoid an ABBA deadlock is to use trylock and back off if 882 * we can't. 883 */ 884int 885xchk_ilock_inverted( 886 struct xfs_inode *ip, 887 uint lock_mode) 888{ 889 int i; 890 891 for (i = 0; i < 20; i++) { 892 if (xfs_ilock_nowait(ip, lock_mode)) 893 return 0; 894 delay(1); 895 } 896 return -EDEADLOCK; 897} 898 899/* Pause background reaping of resources. */ 900void 901xchk_stop_reaping( 902 struct xfs_scrub *sc) 903{ 904 sc->flags |= XCHK_REAPING_DISABLED; 905 xfs_stop_block_reaping(sc->mp); 906} 907 908/* Restart background reaping of resources. */ 909void 910xchk_start_reaping( 911 struct xfs_scrub *sc) 912{ 913 xfs_start_block_reaping(sc->mp); 914 sc->flags &= ~XCHK_REAPING_DISABLED; 915} 916