1 // SPDX-License-Identifier: GPL-2.0-or-later 2 /* 3 * Copyright (c) 2018-2024 Oracle. All Rights Reserved. 4 * Author: Darrick J. Wong <djwong@kernel.org> 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_defer.h" 13 #include "xfs_btree.h" 14 #include "xfs_btree_staging.h" 15 #include "xfs_buf_mem.h" 16 #include "xfs_btree_mem.h" 17 #include "xfs_bit.h" 18 #include "xfs_log_format.h" 19 #include "xfs_trans.h" 20 #include "xfs_sb.h" 21 #include "xfs_alloc.h" 22 #include "xfs_alloc_btree.h" 23 #include "xfs_ialloc.h" 24 #include "xfs_ialloc_btree.h" 25 #include "xfs_rmap.h" 26 #include "xfs_rmap_btree.h" 27 #include "xfs_inode.h" 28 #include "xfs_icache.h" 29 #include "xfs_bmap.h" 30 #include "xfs_bmap_btree.h" 31 #include "xfs_refcount.h" 32 #include "xfs_refcount_btree.h" 33 #include "xfs_ag.h" 34 #include "scrub/xfs_scrub.h" 35 #include "scrub/scrub.h" 36 #include "scrub/common.h" 37 #include "scrub/btree.h" 38 #include "scrub/trace.h" 39 #include "scrub/repair.h" 40 #include "scrub/bitmap.h" 41 #include "scrub/agb_bitmap.h" 42 #include "scrub/xfile.h" 43 #include "scrub/xfarray.h" 44 #include "scrub/iscan.h" 45 #include "scrub/newbt.h" 46 #include "scrub/reap.h" 47 48 /* 49 * Reverse Mapping Btree Repair 50 * ============================ 51 * 52 * This is the most involved of all the AG space btree rebuilds. Everywhere 53 * else in XFS we lock inodes and then AG data structures, but generating the 54 * list of rmap records requires that we be able to scan both block mapping 55 * btrees of every inode in the filesystem to see if it owns any extents in 56 * this AG. We can't tolerate any inode updates while we do this, so we 57 * freeze the filesystem to lock everyone else out, and grant ourselves 58 * special privileges to run transactions with regular background reclamation 59 * turned off. 60 * 61 * We also have to be very careful not to allow inode reclaim to start a 62 * transaction because all transactions (other than our own) will block. 63 * Deferred inode inactivation helps us out there. 64 * 65 * I) Reverse mappings for all non-space metadata and file data are collected 66 * according to the following algorithm: 67 * 68 * 1. For each fork of each inode: 69 * 1.1. Create a bitmap BMBIT to track bmbt blocks if necessary. 70 * 1.2. If the incore extent map isn't loaded, walk the bmbt to accumulate 71 * bmaps into rmap records (see 1.1.4). Set bits in BMBIT for each btree 72 * block. 73 * 1.3. If the incore extent map is loaded but the fork is in btree format, 74 * just visit the bmbt blocks to set the corresponding BMBIT areas. 75 * 1.4. From the incore extent map, accumulate each bmap that falls into our 76 * target AG. Remember, multiple bmap records can map to a single rmap 77 * record, so we cannot simply emit rmap records 1:1. 78 * 1.5. Emit rmap records for each extent in BMBIT and free it. 79 * 2. Create bitmaps INOBIT and ICHUNKBIT. 80 * 3. For each record in the inobt, set the corresponding areas in ICHUNKBIT, 81 * and set bits in INOBIT for each btree block. If the inobt has no records 82 * at all, we must be careful to record its root in INOBIT. 83 * 4. For each block in the finobt, set the corresponding INOBIT area. 84 * 5. Emit rmap records for each extent in INOBIT and ICHUNKBIT and free them. 85 * 6. Create bitmaps REFCBIT and COWBIT. 86 * 7. For each CoW staging extent in the refcountbt, set the corresponding 87 * areas in COWBIT. 88 * 8. For each block in the refcountbt, set the corresponding REFCBIT area. 89 * 9. Emit rmap records for each extent in REFCBIT and COWBIT and free them. 90 * A. Emit rmap for the AG headers. 91 * B. Emit rmap for the log, if there is one. 92 * 93 * II) The rmapbt shape and space metadata rmaps are computed as follows: 94 * 95 * 1. Count the rmaps collected in the previous step. (= NR) 96 * 2. Estimate the number of rmapbt blocks needed to store NR records. (= RMB) 97 * 3. Reserve RMB blocks through the newbt using the allocator in normap mode. 98 * 4. Create bitmap AGBIT. 99 * 5. For each reservation in the newbt, set the corresponding areas in AGBIT. 100 * 6. For each block in the AGFL, bnobt, and cntbt, set the bits in AGBIT. 101 * 7. Count the extents in AGBIT. (= AGNR) 102 * 8. Estimate the number of rmapbt blocks needed for NR + AGNR rmaps. (= RMB') 103 * 9. If RMB' >= RMB, reserve RMB' - RMB more newbt blocks, set RMB = RMB', 104 * and clear AGBIT. Go to step 5. 105 * A. Emit rmaps for each extent in AGBIT. 106 * 107 * III) The rmapbt is constructed and set in place as follows: 108 * 109 * 1. Sort the rmap records. 110 * 2. Bulk load the rmaps. 111 * 112 * IV) Reap the old btree blocks. 113 * 114 * 1. Create a bitmap OLDRMBIT. 115 * 2. For each gap in the new rmapbt, set the corresponding areas of OLDRMBIT. 116 * 3. For each extent in the bnobt, clear the corresponding parts of OLDRMBIT. 117 * 4. Reap the extents corresponding to the set areas in OLDRMBIT. These are 118 * the parts of the AG that the rmap didn't find during its scan of the 119 * primary metadata and aren't known to be in the free space, which implies 120 * that they were the old rmapbt blocks. 121 * 5. Commit. 122 * 123 * We use the 'xrep_rmap' prefix for all the rmap functions. 124 */ 125 126 /* Context for collecting rmaps */ 127 struct xrep_rmap { 128 /* new rmapbt information */ 129 struct xrep_newbt new_btree; 130 131 /* lock for the xfbtree and xfile */ 132 struct mutex lock; 133 134 /* rmap records generated from primary metadata */ 135 struct xfbtree rmap_btree; 136 137 struct xfs_scrub *sc; 138 139 /* in-memory btree cursor for the xfs_btree_bload iteration */ 140 struct xfs_btree_cur *mcur; 141 142 /* Hooks into rmap update code. */ 143 struct xfs_rmap_hook rhook; 144 145 /* inode scan cursor */ 146 struct xchk_iscan iscan; 147 148 /* Number of non-freespace records found. */ 149 unsigned long long nr_records; 150 151 /* bnobt/cntbt contribution to btreeblks */ 152 xfs_agblock_t freesp_btblocks; 153 154 /* old agf_rmap_blocks counter */ 155 unsigned int old_rmapbt_fsbcount; 156 }; 157 158 /* Set us up to repair reverse mapping btrees. */ 159 int 160 xrep_setup_ag_rmapbt( 161 struct xfs_scrub *sc) 162 { 163 struct xrep_rmap *rr; 164 char *descr; 165 int error; 166 167 xchk_fsgates_enable(sc, XCHK_FSGATES_RMAP); 168 169 descr = xchk_xfile_ag_descr(sc, "reverse mapping records"); 170 error = xrep_setup_xfbtree(sc, descr); 171 kfree(descr); 172 if (error) 173 return error; 174 175 rr = kzalloc(sizeof(struct xrep_rmap), XCHK_GFP_FLAGS); 176 if (!rr) 177 return -ENOMEM; 178 179 rr->sc = sc; 180 sc->buf = rr; 181 return 0; 182 } 183 184 /* Make sure there's nothing funny about this mapping. */ 185 STATIC int 186 xrep_rmap_check_mapping( 187 struct xfs_scrub *sc, 188 const struct xfs_rmap_irec *rec) 189 { 190 enum xbtree_recpacking outcome; 191 int error; 192 193 if (xfs_rmap_check_irec(sc->sa.pag, rec) != NULL) 194 return -EFSCORRUPTED; 195 196 /* Make sure this isn't free space. */ 197 error = xfs_alloc_has_records(sc->sa.bno_cur, rec->rm_startblock, 198 rec->rm_blockcount, &outcome); 199 if (error) 200 return error; 201 if (outcome != XBTREE_RECPACKING_EMPTY) 202 return -EFSCORRUPTED; 203 204 return 0; 205 } 206 207 /* Store a reverse-mapping record. */ 208 static inline int 209 xrep_rmap_stash( 210 struct xrep_rmap *rr, 211 xfs_agblock_t startblock, 212 xfs_extlen_t blockcount, 213 uint64_t owner, 214 uint64_t offset, 215 unsigned int flags) 216 { 217 struct xfs_rmap_irec rmap = { 218 .rm_startblock = startblock, 219 .rm_blockcount = blockcount, 220 .rm_owner = owner, 221 .rm_offset = offset, 222 .rm_flags = flags, 223 }; 224 struct xfs_scrub *sc = rr->sc; 225 struct xfs_btree_cur *mcur; 226 int error = 0; 227 228 if (xchk_should_terminate(sc, &error)) 229 return error; 230 231 if (xchk_iscan_aborted(&rr->iscan)) 232 return -EFSCORRUPTED; 233 234 trace_xrep_rmap_found(sc->mp, sc->sa.pag->pag_agno, &rmap); 235 236 mutex_lock(&rr->lock); 237 mcur = xfs_rmapbt_mem_cursor(sc->sa.pag, sc->tp, &rr->rmap_btree); 238 error = xfs_rmap_map_raw(mcur, &rmap); 239 xfs_btree_del_cursor(mcur, error); 240 if (error) 241 goto out_cancel; 242 243 error = xfbtree_trans_commit(&rr->rmap_btree, sc->tp); 244 if (error) 245 goto out_abort; 246 247 mutex_unlock(&rr->lock); 248 return 0; 249 250 out_cancel: 251 xfbtree_trans_cancel(&rr->rmap_btree, sc->tp); 252 out_abort: 253 xchk_iscan_abort(&rr->iscan); 254 mutex_unlock(&rr->lock); 255 return error; 256 } 257 258 struct xrep_rmap_stash_run { 259 struct xrep_rmap *rr; 260 uint64_t owner; 261 unsigned int rmap_flags; 262 }; 263 264 static int 265 xrep_rmap_stash_run( 266 uint32_t start, 267 uint32_t len, 268 void *priv) 269 { 270 struct xrep_rmap_stash_run *rsr = priv; 271 struct xrep_rmap *rr = rsr->rr; 272 273 return xrep_rmap_stash(rr, start, len, rsr->owner, 0, rsr->rmap_flags); 274 } 275 276 /* 277 * Emit rmaps for every extent of bits set in the bitmap. Caller must ensure 278 * that the ranges are in units of FS blocks. 279 */ 280 STATIC int 281 xrep_rmap_stash_bitmap( 282 struct xrep_rmap *rr, 283 struct xagb_bitmap *bitmap, 284 const struct xfs_owner_info *oinfo) 285 { 286 struct xrep_rmap_stash_run rsr = { 287 .rr = rr, 288 .owner = oinfo->oi_owner, 289 .rmap_flags = 0, 290 }; 291 292 if (oinfo->oi_flags & XFS_OWNER_INFO_ATTR_FORK) 293 rsr.rmap_flags |= XFS_RMAP_ATTR_FORK; 294 if (oinfo->oi_flags & XFS_OWNER_INFO_BMBT_BLOCK) 295 rsr.rmap_flags |= XFS_RMAP_BMBT_BLOCK; 296 297 return xagb_bitmap_walk(bitmap, xrep_rmap_stash_run, &rsr); 298 } 299 300 /* Section (I): Finding all file and bmbt extents. */ 301 302 /* Context for accumulating rmaps for an inode fork. */ 303 struct xrep_rmap_ifork { 304 /* 305 * Accumulate rmap data here to turn multiple adjacent bmaps into a 306 * single rmap. 307 */ 308 struct xfs_rmap_irec accum; 309 310 /* Bitmap of bmbt blocks in this AG. */ 311 struct xagb_bitmap bmbt_blocks; 312 313 struct xrep_rmap *rr; 314 315 /* Which inode fork? */ 316 int whichfork; 317 }; 318 319 /* Stash an rmap that we accumulated while walking an inode fork. */ 320 STATIC int 321 xrep_rmap_stash_accumulated( 322 struct xrep_rmap_ifork *rf) 323 { 324 if (rf->accum.rm_blockcount == 0) 325 return 0; 326 327 return xrep_rmap_stash(rf->rr, rf->accum.rm_startblock, 328 rf->accum.rm_blockcount, rf->accum.rm_owner, 329 rf->accum.rm_offset, rf->accum.rm_flags); 330 } 331 332 /* Accumulate a bmbt record. */ 333 STATIC int 334 xrep_rmap_visit_bmbt( 335 struct xfs_btree_cur *cur, 336 struct xfs_bmbt_irec *rec, 337 void *priv) 338 { 339 struct xrep_rmap_ifork *rf = priv; 340 struct xfs_mount *mp = rf->rr->sc->mp; 341 struct xfs_rmap_irec *accum = &rf->accum; 342 xfs_agblock_t agbno; 343 unsigned int rmap_flags = 0; 344 int error; 345 346 if (XFS_FSB_TO_AGNO(mp, rec->br_startblock) != 347 rf->rr->sc->sa.pag->pag_agno) 348 return 0; 349 350 agbno = XFS_FSB_TO_AGBNO(mp, rec->br_startblock); 351 if (rf->whichfork == XFS_ATTR_FORK) 352 rmap_flags |= XFS_RMAP_ATTR_FORK; 353 if (rec->br_state == XFS_EXT_UNWRITTEN) 354 rmap_flags |= XFS_RMAP_UNWRITTEN; 355 356 /* If this bmap is adjacent to the previous one, just add it. */ 357 if (accum->rm_blockcount > 0 && 358 rec->br_startoff == accum->rm_offset + accum->rm_blockcount && 359 agbno == accum->rm_startblock + accum->rm_blockcount && 360 rmap_flags == accum->rm_flags) { 361 accum->rm_blockcount += rec->br_blockcount; 362 return 0; 363 } 364 365 /* Otherwise stash the old rmap and start accumulating a new one. */ 366 error = xrep_rmap_stash_accumulated(rf); 367 if (error) 368 return error; 369 370 accum->rm_startblock = agbno; 371 accum->rm_blockcount = rec->br_blockcount; 372 accum->rm_offset = rec->br_startoff; 373 accum->rm_flags = rmap_flags; 374 return 0; 375 } 376 377 /* Add a btree block to the bitmap. */ 378 STATIC int 379 xrep_rmap_visit_iroot_btree_block( 380 struct xfs_btree_cur *cur, 381 int level, 382 void *priv) 383 { 384 struct xrep_rmap_ifork *rf = priv; 385 struct xfs_buf *bp; 386 xfs_fsblock_t fsbno; 387 xfs_agblock_t agbno; 388 389 xfs_btree_get_block(cur, level, &bp); 390 if (!bp) 391 return 0; 392 393 fsbno = XFS_DADDR_TO_FSB(cur->bc_mp, xfs_buf_daddr(bp)); 394 if (XFS_FSB_TO_AGNO(cur->bc_mp, fsbno) != rf->rr->sc->sa.pag->pag_agno) 395 return 0; 396 397 agbno = XFS_FSB_TO_AGBNO(cur->bc_mp, fsbno); 398 return xagb_bitmap_set(&rf->bmbt_blocks, agbno, 1); 399 } 400 401 /* 402 * Iterate a metadata btree rooted in an inode to collect rmap records for 403 * anything in this fork that matches the AG. 404 */ 405 STATIC int 406 xrep_rmap_scan_iroot_btree( 407 struct xrep_rmap_ifork *rf, 408 struct xfs_btree_cur *cur) 409 { 410 struct xfs_owner_info oinfo; 411 struct xrep_rmap *rr = rf->rr; 412 int error; 413 414 xagb_bitmap_init(&rf->bmbt_blocks); 415 416 /* Record all the blocks in the btree itself. */ 417 error = xfs_btree_visit_blocks(cur, xrep_rmap_visit_iroot_btree_block, 418 XFS_BTREE_VISIT_ALL, rf); 419 if (error) 420 goto out; 421 422 /* Emit rmaps for the btree blocks. */ 423 xfs_rmap_ino_bmbt_owner(&oinfo, rf->accum.rm_owner, rf->whichfork); 424 error = xrep_rmap_stash_bitmap(rr, &rf->bmbt_blocks, &oinfo); 425 if (error) 426 goto out; 427 428 /* Stash any remaining accumulated rmaps. */ 429 error = xrep_rmap_stash_accumulated(rf); 430 out: 431 xagb_bitmap_destroy(&rf->bmbt_blocks); 432 return error; 433 } 434 435 /* 436 * Iterate the block mapping btree to collect rmap records for anything in this 437 * fork that matches the AG. Sets @mappings_done to true if we've scanned the 438 * block mappings in this fork. 439 */ 440 STATIC int 441 xrep_rmap_scan_bmbt( 442 struct xrep_rmap_ifork *rf, 443 struct xfs_inode *ip, 444 bool *mappings_done) 445 { 446 struct xrep_rmap *rr = rf->rr; 447 struct xfs_btree_cur *cur; 448 struct xfs_ifork *ifp; 449 int error; 450 451 *mappings_done = false; 452 ifp = xfs_ifork_ptr(ip, rf->whichfork); 453 cur = xfs_bmbt_init_cursor(rr->sc->mp, rr->sc->tp, ip, rf->whichfork); 454 455 if (!xfs_ifork_is_realtime(ip, rf->whichfork) && 456 xfs_need_iread_extents(ifp)) { 457 /* 458 * If the incore extent cache isn't loaded, scan the bmbt for 459 * mapping records. This avoids loading the incore extent 460 * tree, which will increase memory pressure at a time when 461 * we're trying to run as quickly as we possibly can. Ignore 462 * realtime extents. 463 */ 464 error = xfs_bmap_query_all(cur, xrep_rmap_visit_bmbt, rf); 465 if (error) 466 goto out_cur; 467 468 *mappings_done = true; 469 } 470 471 /* Scan for the bmbt blocks, which always live on the data device. */ 472 error = xrep_rmap_scan_iroot_btree(rf, cur); 473 out_cur: 474 xfs_btree_del_cursor(cur, error); 475 return error; 476 } 477 478 /* 479 * Iterate the in-core extent cache to collect rmap records for anything in 480 * this fork that matches the AG. 481 */ 482 STATIC int 483 xrep_rmap_scan_iext( 484 struct xrep_rmap_ifork *rf, 485 struct xfs_ifork *ifp) 486 { 487 struct xfs_bmbt_irec rec; 488 struct xfs_iext_cursor icur; 489 int error; 490 491 for_each_xfs_iext(ifp, &icur, &rec) { 492 if (isnullstartblock(rec.br_startblock)) 493 continue; 494 error = xrep_rmap_visit_bmbt(NULL, &rec, rf); 495 if (error) 496 return error; 497 } 498 499 return xrep_rmap_stash_accumulated(rf); 500 } 501 502 /* Find all the extents from a given AG in an inode fork. */ 503 STATIC int 504 xrep_rmap_scan_ifork( 505 struct xrep_rmap *rr, 506 struct xfs_inode *ip, 507 int whichfork) 508 { 509 struct xrep_rmap_ifork rf = { 510 .accum = { .rm_owner = ip->i_ino, }, 511 .rr = rr, 512 .whichfork = whichfork, 513 }; 514 struct xfs_ifork *ifp = xfs_ifork_ptr(ip, whichfork); 515 int error = 0; 516 517 if (!ifp) 518 return 0; 519 520 if (ifp->if_format == XFS_DINODE_FMT_BTREE) { 521 bool mappings_done; 522 523 /* 524 * Scan the bmap btree for data device mappings. This includes 525 * the btree blocks themselves, even if this is a realtime 526 * file. 527 */ 528 error = xrep_rmap_scan_bmbt(&rf, ip, &mappings_done); 529 if (error || mappings_done) 530 return error; 531 } else if (ifp->if_format != XFS_DINODE_FMT_EXTENTS) { 532 return 0; 533 } 534 535 /* Scan incore extent cache if this isn't a realtime file. */ 536 if (xfs_ifork_is_realtime(ip, whichfork)) 537 return 0; 538 539 return xrep_rmap_scan_iext(&rf, ifp); 540 } 541 542 /* 543 * Take ILOCK on a file that we want to scan. 544 * 545 * Select ILOCK_EXCL if the file has an unloaded data bmbt or has an unloaded 546 * attr bmbt. Otherwise, take ILOCK_SHARED. 547 */ 548 static inline unsigned int 549 xrep_rmap_scan_ilock( 550 struct xfs_inode *ip) 551 { 552 uint lock_mode = XFS_ILOCK_SHARED; 553 554 if (xfs_need_iread_extents(&ip->i_df)) { 555 lock_mode = XFS_ILOCK_EXCL; 556 goto lock; 557 } 558 559 if (xfs_inode_has_attr_fork(ip) && xfs_need_iread_extents(&ip->i_af)) 560 lock_mode = XFS_ILOCK_EXCL; 561 562 lock: 563 xfs_ilock(ip, lock_mode); 564 return lock_mode; 565 } 566 567 /* Record reverse mappings for a file. */ 568 STATIC int 569 xrep_rmap_scan_inode( 570 struct xrep_rmap *rr, 571 struct xfs_inode *ip) 572 { 573 unsigned int lock_mode = xrep_rmap_scan_ilock(ip); 574 int error; 575 576 /* Check the data fork. */ 577 error = xrep_rmap_scan_ifork(rr, ip, XFS_DATA_FORK); 578 if (error) 579 goto out_unlock; 580 581 /* Check the attr fork. */ 582 error = xrep_rmap_scan_ifork(rr, ip, XFS_ATTR_FORK); 583 if (error) 584 goto out_unlock; 585 586 /* COW fork extents are "owned" by the refcount btree. */ 587 588 xchk_iscan_mark_visited(&rr->iscan, ip); 589 out_unlock: 590 xfs_iunlock(ip, lock_mode); 591 return error; 592 } 593 594 /* Section (I): Find all AG metadata extents except for free space metadata. */ 595 596 struct xrep_rmap_inodes { 597 struct xrep_rmap *rr; 598 struct xagb_bitmap inobt_blocks; /* INOBIT */ 599 struct xagb_bitmap ichunk_blocks; /* ICHUNKBIT */ 600 }; 601 602 /* Record inode btree rmaps. */ 603 STATIC int 604 xrep_rmap_walk_inobt( 605 struct xfs_btree_cur *cur, 606 const union xfs_btree_rec *rec, 607 void *priv) 608 { 609 struct xfs_inobt_rec_incore irec; 610 struct xrep_rmap_inodes *ri = priv; 611 struct xfs_mount *mp = cur->bc_mp; 612 xfs_agblock_t agbno; 613 xfs_extlen_t aglen; 614 xfs_agino_t agino; 615 xfs_agino_t iperhole; 616 unsigned int i; 617 int error; 618 619 /* Record the inobt blocks. */ 620 error = xagb_bitmap_set_btcur_path(&ri->inobt_blocks, cur); 621 if (error) 622 return error; 623 624 xfs_inobt_btrec_to_irec(mp, rec, &irec); 625 if (xfs_inobt_check_irec(cur->bc_ag.pag, &irec) != NULL) 626 return -EFSCORRUPTED; 627 628 agino = irec.ir_startino; 629 630 /* Record a non-sparse inode chunk. */ 631 if (!xfs_inobt_issparse(irec.ir_holemask)) { 632 agbno = XFS_AGINO_TO_AGBNO(mp, agino); 633 aglen = max_t(xfs_extlen_t, 1, 634 XFS_INODES_PER_CHUNK / mp->m_sb.sb_inopblock); 635 636 return xagb_bitmap_set(&ri->ichunk_blocks, agbno, aglen); 637 } 638 639 /* Iterate each chunk. */ 640 iperhole = max_t(xfs_agino_t, mp->m_sb.sb_inopblock, 641 XFS_INODES_PER_HOLEMASK_BIT); 642 aglen = iperhole / mp->m_sb.sb_inopblock; 643 for (i = 0, agino = irec.ir_startino; 644 i < XFS_INOBT_HOLEMASK_BITS; 645 i += iperhole / XFS_INODES_PER_HOLEMASK_BIT, agino += iperhole) { 646 /* Skip holes. */ 647 if (irec.ir_holemask & (1 << i)) 648 continue; 649 650 /* Record the inode chunk otherwise. */ 651 agbno = XFS_AGINO_TO_AGBNO(mp, agino); 652 error = xagb_bitmap_set(&ri->ichunk_blocks, agbno, aglen); 653 if (error) 654 return error; 655 } 656 657 return 0; 658 } 659 660 /* Collect rmaps for the blocks containing inode btrees and the inode chunks. */ 661 STATIC int 662 xrep_rmap_find_inode_rmaps( 663 struct xrep_rmap *rr) 664 { 665 struct xrep_rmap_inodes ri = { 666 .rr = rr, 667 }; 668 struct xfs_scrub *sc = rr->sc; 669 int error; 670 671 xagb_bitmap_init(&ri.inobt_blocks); 672 xagb_bitmap_init(&ri.ichunk_blocks); 673 674 /* 675 * Iterate every record in the inobt so we can capture all the inode 676 * chunks and the blocks in the inobt itself. 677 */ 678 error = xfs_btree_query_all(sc->sa.ino_cur, xrep_rmap_walk_inobt, &ri); 679 if (error) 680 goto out_bitmap; 681 682 /* 683 * Note that if there are zero records in the inobt then query_all does 684 * nothing and we have to account the empty inobt root manually. 685 */ 686 if (xagb_bitmap_empty(&ri.ichunk_blocks)) { 687 struct xfs_agi *agi = sc->sa.agi_bp->b_addr; 688 689 error = xagb_bitmap_set(&ri.inobt_blocks, 690 be32_to_cpu(agi->agi_root), 1); 691 if (error) 692 goto out_bitmap; 693 } 694 695 /* Scan the finobt too. */ 696 if (xfs_has_finobt(sc->mp)) { 697 error = xagb_bitmap_set_btblocks(&ri.inobt_blocks, 698 sc->sa.fino_cur); 699 if (error) 700 goto out_bitmap; 701 } 702 703 /* Generate rmaps for everything. */ 704 error = xrep_rmap_stash_bitmap(rr, &ri.inobt_blocks, 705 &XFS_RMAP_OINFO_INOBT); 706 if (error) 707 goto out_bitmap; 708 error = xrep_rmap_stash_bitmap(rr, &ri.ichunk_blocks, 709 &XFS_RMAP_OINFO_INODES); 710 711 out_bitmap: 712 xagb_bitmap_destroy(&ri.inobt_blocks); 713 xagb_bitmap_destroy(&ri.ichunk_blocks); 714 return error; 715 } 716 717 /* Record a CoW staging extent. */ 718 STATIC int 719 xrep_rmap_walk_cowblocks( 720 struct xfs_btree_cur *cur, 721 const struct xfs_refcount_irec *irec, 722 void *priv) 723 { 724 struct xagb_bitmap *bitmap = priv; 725 726 if (!xfs_refcount_check_domain(irec) || 727 irec->rc_domain != XFS_REFC_DOMAIN_COW) 728 return -EFSCORRUPTED; 729 730 return xagb_bitmap_set(bitmap, irec->rc_startblock, irec->rc_blockcount); 731 } 732 733 /* 734 * Collect rmaps for the blocks containing the refcount btree, and all CoW 735 * staging extents. 736 */ 737 STATIC int 738 xrep_rmap_find_refcount_rmaps( 739 struct xrep_rmap *rr) 740 { 741 struct xagb_bitmap refcountbt_blocks; /* REFCBIT */ 742 struct xagb_bitmap cow_blocks; /* COWBIT */ 743 struct xfs_refcount_irec low = { 744 .rc_startblock = 0, 745 .rc_domain = XFS_REFC_DOMAIN_COW, 746 }; 747 struct xfs_refcount_irec high = { 748 .rc_startblock = -1U, 749 .rc_domain = XFS_REFC_DOMAIN_COW, 750 }; 751 struct xfs_scrub *sc = rr->sc; 752 int error; 753 754 if (!xfs_has_reflink(sc->mp)) 755 return 0; 756 757 xagb_bitmap_init(&refcountbt_blocks); 758 xagb_bitmap_init(&cow_blocks); 759 760 /* refcountbt */ 761 error = xagb_bitmap_set_btblocks(&refcountbt_blocks, sc->sa.refc_cur); 762 if (error) 763 goto out_bitmap; 764 765 /* Collect rmaps for CoW staging extents. */ 766 error = xfs_refcount_query_range(sc->sa.refc_cur, &low, &high, 767 xrep_rmap_walk_cowblocks, &cow_blocks); 768 if (error) 769 goto out_bitmap; 770 771 /* Generate rmaps for everything. */ 772 error = xrep_rmap_stash_bitmap(rr, &cow_blocks, &XFS_RMAP_OINFO_COW); 773 if (error) 774 goto out_bitmap; 775 error = xrep_rmap_stash_bitmap(rr, &refcountbt_blocks, 776 &XFS_RMAP_OINFO_REFC); 777 778 out_bitmap: 779 xagb_bitmap_destroy(&cow_blocks); 780 xagb_bitmap_destroy(&refcountbt_blocks); 781 return error; 782 } 783 784 /* Generate rmaps for the AG headers (AGI/AGF/AGFL) */ 785 STATIC int 786 xrep_rmap_find_agheader_rmaps( 787 struct xrep_rmap *rr) 788 { 789 struct xfs_scrub *sc = rr->sc; 790 791 /* Create a record for the AG sb->agfl. */ 792 return xrep_rmap_stash(rr, XFS_SB_BLOCK(sc->mp), 793 XFS_AGFL_BLOCK(sc->mp) - XFS_SB_BLOCK(sc->mp) + 1, 794 XFS_RMAP_OWN_FS, 0, 0); 795 } 796 797 /* Generate rmaps for the log, if it's in this AG. */ 798 STATIC int 799 xrep_rmap_find_log_rmaps( 800 struct xrep_rmap *rr) 801 { 802 struct xfs_scrub *sc = rr->sc; 803 804 if (!xfs_ag_contains_log(sc->mp, sc->sa.pag->pag_agno)) 805 return 0; 806 807 return xrep_rmap_stash(rr, 808 XFS_FSB_TO_AGBNO(sc->mp, sc->mp->m_sb.sb_logstart), 809 sc->mp->m_sb.sb_logblocks, XFS_RMAP_OWN_LOG, 0, 0); 810 } 811 812 /* Check and count all the records that we gathered. */ 813 STATIC int 814 xrep_rmap_check_record( 815 struct xfs_btree_cur *cur, 816 const struct xfs_rmap_irec *rec, 817 void *priv) 818 { 819 struct xrep_rmap *rr = priv; 820 int error; 821 822 error = xrep_rmap_check_mapping(rr->sc, rec); 823 if (error) 824 return error; 825 826 rr->nr_records++; 827 return 0; 828 } 829 830 /* 831 * Generate all the reverse-mappings for this AG, a list of the old rmapbt 832 * blocks, and the new btreeblks count. Figure out if we have enough free 833 * space to reconstruct the inode btrees. The caller must clean up the lists 834 * if anything goes wrong. This implements section (I) above. 835 */ 836 STATIC int 837 xrep_rmap_find_rmaps( 838 struct xrep_rmap *rr) 839 { 840 struct xfs_scrub *sc = rr->sc; 841 struct xchk_ag *sa = &sc->sa; 842 struct xfs_inode *ip; 843 struct xfs_btree_cur *mcur; 844 int error; 845 846 /* Find all the per-AG metadata. */ 847 xrep_ag_btcur_init(sc, &sc->sa); 848 849 error = xrep_rmap_find_inode_rmaps(rr); 850 if (error) 851 goto end_agscan; 852 853 error = xrep_rmap_find_refcount_rmaps(rr); 854 if (error) 855 goto end_agscan; 856 857 error = xrep_rmap_find_agheader_rmaps(rr); 858 if (error) 859 goto end_agscan; 860 861 error = xrep_rmap_find_log_rmaps(rr); 862 end_agscan: 863 xchk_ag_btcur_free(&sc->sa); 864 if (error) 865 return error; 866 867 /* 868 * Set up for a potentially lengthy filesystem scan by reducing our 869 * transaction resource usage for the duration. Specifically: 870 * 871 * Unlock the AG header buffers and cancel the transaction to release 872 * the log grant space while we scan the filesystem. 873 * 874 * Create a new empty transaction to eliminate the possibility of the 875 * inode scan deadlocking on cyclical metadata. 876 * 877 * We pass the empty transaction to the file scanning function to avoid 878 * repeatedly cycling empty transactions. This can be done even though 879 * we take the IOLOCK to quiesce the file because empty transactions 880 * do not take sb_internal. 881 */ 882 sa->agf_bp = NULL; 883 sa->agi_bp = NULL; 884 xchk_trans_cancel(sc); 885 error = xchk_trans_alloc_empty(sc); 886 if (error) 887 return error; 888 889 /* Iterate all AGs for inodes rmaps. */ 890 while ((error = xchk_iscan_iter(&rr->iscan, &ip)) == 1) { 891 error = xrep_rmap_scan_inode(rr, ip); 892 xchk_irele(sc, ip); 893 if (error) 894 break; 895 896 if (xchk_should_terminate(sc, &error)) 897 break; 898 } 899 xchk_iscan_iter_finish(&rr->iscan); 900 if (error) 901 return error; 902 903 /* 904 * Switch out for a real transaction and lock the AG headers in 905 * preparation for building a new tree. 906 */ 907 xchk_trans_cancel(sc); 908 error = xchk_setup_fs(sc); 909 if (error) 910 return error; 911 error = xchk_perag_drain_and_lock(sc); 912 if (error) 913 return error; 914 915 /* 916 * If a hook failed to update the in-memory btree, we lack the data to 917 * continue the repair. 918 */ 919 if (xchk_iscan_aborted(&rr->iscan)) 920 return -EFSCORRUPTED; 921 922 /* 923 * Now that we have everything locked again, we need to count the 924 * number of rmap records stashed in the btree. This should reflect 925 * all actively-owned space in the filesystem. At the same time, check 926 * all our records before we start building a new btree, which requires 927 * a bnobt cursor. 928 */ 929 mcur = xfs_rmapbt_mem_cursor(rr->sc->sa.pag, NULL, &rr->rmap_btree); 930 sc->sa.bno_cur = xfs_bnobt_init_cursor(sc->mp, sc->tp, sc->sa.agf_bp, 931 sc->sa.pag); 932 933 rr->nr_records = 0; 934 error = xfs_rmap_query_all(mcur, xrep_rmap_check_record, rr); 935 936 xfs_btree_del_cursor(sc->sa.bno_cur, error); 937 sc->sa.bno_cur = NULL; 938 xfs_btree_del_cursor(mcur, error); 939 940 return error; 941 } 942 943 /* Section (II): Reserving space for new rmapbt and setting free space bitmap */ 944 945 struct xrep_rmap_agfl { 946 struct xagb_bitmap *bitmap; 947 xfs_agnumber_t agno; 948 }; 949 950 /* Add an AGFL block to the rmap list. */ 951 STATIC int 952 xrep_rmap_walk_agfl( 953 struct xfs_mount *mp, 954 xfs_agblock_t agbno, 955 void *priv) 956 { 957 struct xrep_rmap_agfl *ra = priv; 958 959 return xagb_bitmap_set(ra->bitmap, agbno, 1); 960 } 961 962 /* 963 * Run one round of reserving space for the new rmapbt and recomputing the 964 * number of blocks needed to store the previously observed rmapbt records and 965 * the ones we'll create for the free space metadata. When we don't need more 966 * blocks, return a bitmap of OWN_AG extents in @freesp_blocks and set @done to 967 * true. 968 */ 969 STATIC int 970 xrep_rmap_try_reserve( 971 struct xrep_rmap *rr, 972 struct xfs_btree_cur *rmap_cur, 973 struct xagb_bitmap *freesp_blocks, 974 uint64_t *blocks_reserved, 975 bool *done) 976 { 977 struct xrep_rmap_agfl ra = { 978 .bitmap = freesp_blocks, 979 .agno = rr->sc->sa.pag->pag_agno, 980 }; 981 struct xfs_scrub *sc = rr->sc; 982 struct xrep_newbt_resv *resv, *n; 983 struct xfs_agf *agf = sc->sa.agf_bp->b_addr; 984 struct xfs_buf *agfl_bp; 985 uint64_t nr_blocks; /* RMB */ 986 uint64_t freesp_records; 987 int error; 988 989 /* 990 * We're going to recompute new_btree.bload.nr_blocks at the end of 991 * this function to reflect however many btree blocks we need to store 992 * all the rmap records (including the ones that reflect the changes we 993 * made to support the new rmapbt blocks), so we save the old value 994 * here so we can decide if we've reserved enough blocks. 995 */ 996 nr_blocks = rr->new_btree.bload.nr_blocks; 997 998 /* 999 * Make sure we've reserved enough space for the new btree. This can 1000 * change the shape of the free space btrees, which can cause secondary 1001 * interactions with the rmap records because all three space btrees 1002 * have the same rmap owner. We'll account for all that below. 1003 */ 1004 error = xrep_newbt_alloc_blocks(&rr->new_btree, 1005 nr_blocks - *blocks_reserved); 1006 if (error) 1007 return error; 1008 1009 *blocks_reserved = rr->new_btree.bload.nr_blocks; 1010 1011 /* Clear everything in the bitmap. */ 1012 xagb_bitmap_destroy(freesp_blocks); 1013 1014 /* Set all the bnobt blocks in the bitmap. */ 1015 sc->sa.bno_cur = xfs_bnobt_init_cursor(sc->mp, sc->tp, sc->sa.agf_bp, 1016 sc->sa.pag); 1017 error = xagb_bitmap_set_btblocks(freesp_blocks, sc->sa.bno_cur); 1018 xfs_btree_del_cursor(sc->sa.bno_cur, error); 1019 sc->sa.bno_cur = NULL; 1020 if (error) 1021 return error; 1022 1023 /* Set all the cntbt blocks in the bitmap. */ 1024 sc->sa.cnt_cur = xfs_cntbt_init_cursor(sc->mp, sc->tp, sc->sa.agf_bp, 1025 sc->sa.pag); 1026 error = xagb_bitmap_set_btblocks(freesp_blocks, sc->sa.cnt_cur); 1027 xfs_btree_del_cursor(sc->sa.cnt_cur, error); 1028 sc->sa.cnt_cur = NULL; 1029 if (error) 1030 return error; 1031 1032 /* Record our new btreeblks value. */ 1033 rr->freesp_btblocks = xagb_bitmap_hweight(freesp_blocks) - 2; 1034 1035 /* Set all the new rmapbt blocks in the bitmap. */ 1036 list_for_each_entry_safe(resv, n, &rr->new_btree.resv_list, list) { 1037 error = xagb_bitmap_set(freesp_blocks, resv->agbno, resv->len); 1038 if (error) 1039 return error; 1040 } 1041 1042 /* Set all the AGFL blocks in the bitmap. */ 1043 error = xfs_alloc_read_agfl(sc->sa.pag, sc->tp, &agfl_bp); 1044 if (error) 1045 return error; 1046 1047 error = xfs_agfl_walk(sc->mp, agf, agfl_bp, xrep_rmap_walk_agfl, &ra); 1048 if (error) 1049 return error; 1050 1051 /* Count the extents in the bitmap. */ 1052 freesp_records = xagb_bitmap_count_set_regions(freesp_blocks); 1053 1054 /* Compute how many blocks we'll need for all the rmaps. */ 1055 error = xfs_btree_bload_compute_geometry(rmap_cur, 1056 &rr->new_btree.bload, rr->nr_records + freesp_records); 1057 if (error) 1058 return error; 1059 1060 /* We're done when we don't need more blocks. */ 1061 *done = nr_blocks >= rr->new_btree.bload.nr_blocks; 1062 return 0; 1063 } 1064 1065 /* 1066 * Iteratively reserve space for rmap btree while recording OWN_AG rmaps for 1067 * the free space metadata. This implements section (II) above. 1068 */ 1069 STATIC int 1070 xrep_rmap_reserve_space( 1071 struct xrep_rmap *rr, 1072 struct xfs_btree_cur *rmap_cur) 1073 { 1074 struct xagb_bitmap freesp_blocks; /* AGBIT */ 1075 uint64_t blocks_reserved = 0; 1076 bool done = false; 1077 int error; 1078 1079 /* Compute how many blocks we'll need for the rmaps collected so far. */ 1080 error = xfs_btree_bload_compute_geometry(rmap_cur, 1081 &rr->new_btree.bload, rr->nr_records); 1082 if (error) 1083 return error; 1084 1085 /* Last chance to abort before we start committing fixes. */ 1086 if (xchk_should_terminate(rr->sc, &error)) 1087 return error; 1088 1089 xagb_bitmap_init(&freesp_blocks); 1090 1091 /* 1092 * Iteratively reserve space for the new rmapbt and recompute the 1093 * number of blocks needed to store the previously observed rmapbt 1094 * records and the ones we'll create for the free space metadata. 1095 * Finish when we don't need more blocks. 1096 */ 1097 do { 1098 error = xrep_rmap_try_reserve(rr, rmap_cur, &freesp_blocks, 1099 &blocks_reserved, &done); 1100 if (error) 1101 goto out_bitmap; 1102 } while (!done); 1103 1104 /* Emit rmaps for everything in the free space bitmap. */ 1105 xrep_ag_btcur_init(rr->sc, &rr->sc->sa); 1106 error = xrep_rmap_stash_bitmap(rr, &freesp_blocks, &XFS_RMAP_OINFO_AG); 1107 xchk_ag_btcur_free(&rr->sc->sa); 1108 1109 out_bitmap: 1110 xagb_bitmap_destroy(&freesp_blocks); 1111 return error; 1112 } 1113 1114 /* Section (III): Building the new rmap btree. */ 1115 1116 /* Update the AGF counters. */ 1117 STATIC int 1118 xrep_rmap_reset_counters( 1119 struct xrep_rmap *rr) 1120 { 1121 struct xfs_scrub *sc = rr->sc; 1122 struct xfs_perag *pag = sc->sa.pag; 1123 struct xfs_agf *agf = sc->sa.agf_bp->b_addr; 1124 xfs_agblock_t rmap_btblocks; 1125 1126 /* 1127 * The AGF header contains extra information related to the reverse 1128 * mapping btree, so we must update those fields here. 1129 */ 1130 rmap_btblocks = rr->new_btree.afake.af_blocks - 1; 1131 agf->agf_btreeblks = cpu_to_be32(rr->freesp_btblocks + rmap_btblocks); 1132 xfs_alloc_log_agf(sc->tp, sc->sa.agf_bp, XFS_AGF_BTREEBLKS); 1133 1134 /* 1135 * After we commit the new btree to disk, it is possible that the 1136 * process to reap the old btree blocks will race with the AIL trying 1137 * to checkpoint the old btree blocks into the filesystem. If the new 1138 * tree is shorter than the old one, the rmapbt write verifier will 1139 * fail and the AIL will shut down the filesystem. 1140 * 1141 * To avoid this, save the old incore btree height values as the alt 1142 * height values before re-initializing the perag info from the updated 1143 * AGF to capture all the new values. 1144 */ 1145 pag->pagf_repair_rmap_level = pag->pagf_rmap_level; 1146 1147 /* Reinitialize with the values we just logged. */ 1148 return xrep_reinit_pagf(sc); 1149 } 1150 1151 /* Retrieve rmapbt data for bulk load. */ 1152 STATIC int 1153 xrep_rmap_get_records( 1154 struct xfs_btree_cur *cur, 1155 unsigned int idx, 1156 struct xfs_btree_block *block, 1157 unsigned int nr_wanted, 1158 void *priv) 1159 { 1160 struct xrep_rmap *rr = priv; 1161 union xfs_btree_rec *block_rec; 1162 unsigned int loaded; 1163 int error; 1164 1165 for (loaded = 0; loaded < nr_wanted; loaded++, idx++) { 1166 int stat = 0; 1167 1168 error = xfs_btree_increment(rr->mcur, 0, &stat); 1169 if (error) 1170 return error; 1171 if (!stat) 1172 return -EFSCORRUPTED; 1173 1174 error = xfs_rmap_get_rec(rr->mcur, &cur->bc_rec.r, &stat); 1175 if (error) 1176 return error; 1177 if (!stat) 1178 return -EFSCORRUPTED; 1179 1180 block_rec = xfs_btree_rec_addr(cur, idx, block); 1181 cur->bc_ops->init_rec_from_cur(cur, block_rec); 1182 } 1183 1184 return loaded; 1185 } 1186 1187 /* Feed one of the new btree blocks to the bulk loader. */ 1188 STATIC int 1189 xrep_rmap_claim_block( 1190 struct xfs_btree_cur *cur, 1191 union xfs_btree_ptr *ptr, 1192 void *priv) 1193 { 1194 struct xrep_rmap *rr = priv; 1195 1196 return xrep_newbt_claim_block(cur, &rr->new_btree, ptr); 1197 } 1198 1199 /* Custom allocation function for new rmap btrees. */ 1200 STATIC int 1201 xrep_rmap_alloc_vextent( 1202 struct xfs_scrub *sc, 1203 struct xfs_alloc_arg *args, 1204 xfs_fsblock_t alloc_hint) 1205 { 1206 int error; 1207 1208 /* 1209 * We don't want an rmap update on the allocation, since we iteratively 1210 * compute the OWN_AG records /after/ allocating blocks for the records 1211 * that we already know we need to store. Therefore, fix the freelist 1212 * with the NORMAP flag set so that we don't also try to create an rmap 1213 * for new AGFL blocks. 1214 */ 1215 error = xrep_fix_freelist(sc, XFS_ALLOC_FLAG_NORMAP); 1216 if (error) 1217 return error; 1218 1219 /* 1220 * If xrep_fix_freelist fixed the freelist by moving blocks from the 1221 * free space btrees or by removing blocks from the AGFL and queueing 1222 * an EFI to free the block, the transaction will be dirty. This 1223 * second case is of interest to us. 1224 * 1225 * Later on, we will need to compare gaps in the new recordset against 1226 * the block usage of all OWN_AG owners in order to free the old 1227 * btree's blocks, which means that we can't have EFIs for former AGFL 1228 * blocks attached to the repair transaction when we commit the new 1229 * btree. 1230 * 1231 * xrep_newbt_alloc_blocks guarantees this for us by calling 1232 * xrep_defer_finish to commit anything that fix_freelist may have 1233 * added to the transaction. 1234 */ 1235 return xfs_alloc_vextent_near_bno(args, alloc_hint); 1236 } 1237 1238 1239 /* Count the records in this btree. */ 1240 STATIC int 1241 xrep_rmap_count_records( 1242 struct xfs_btree_cur *cur, 1243 unsigned long long *nr) 1244 { 1245 int running = 1; 1246 int error; 1247 1248 *nr = 0; 1249 1250 error = xfs_btree_goto_left_edge(cur); 1251 if (error) 1252 return error; 1253 1254 while (running && !(error = xfs_btree_increment(cur, 0, &running))) { 1255 if (running) 1256 (*nr)++; 1257 } 1258 1259 return error; 1260 } 1261 /* 1262 * Use the collected rmap information to stage a new rmap btree. If this is 1263 * successful we'll return with the new btree root information logged to the 1264 * repair transaction but not yet committed. This implements section (III) 1265 * above. 1266 */ 1267 STATIC int 1268 xrep_rmap_build_new_tree( 1269 struct xrep_rmap *rr) 1270 { 1271 struct xfs_scrub *sc = rr->sc; 1272 struct xfs_perag *pag = sc->sa.pag; 1273 struct xfs_agf *agf = sc->sa.agf_bp->b_addr; 1274 struct xfs_btree_cur *rmap_cur; 1275 xfs_fsblock_t fsbno; 1276 int error; 1277 1278 /* 1279 * Preserve the old rmapbt block count so that we can adjust the 1280 * per-AG rmapbt reservation after we commit the new btree root and 1281 * want to dispose of the old btree blocks. 1282 */ 1283 rr->old_rmapbt_fsbcount = be32_to_cpu(agf->agf_rmap_blocks); 1284 1285 /* 1286 * Prepare to construct the new btree by reserving disk space for the 1287 * new btree and setting up all the accounting information we'll need 1288 * to root the new btree while it's under construction and before we 1289 * attach it to the AG header. The new blocks are accounted to the 1290 * rmapbt per-AG reservation, which we will adjust further after 1291 * committing the new btree. 1292 */ 1293 fsbno = XFS_AGB_TO_FSB(sc->mp, pag->pag_agno, XFS_RMAP_BLOCK(sc->mp)); 1294 xrep_newbt_init_ag(&rr->new_btree, sc, &XFS_RMAP_OINFO_SKIP_UPDATE, 1295 fsbno, XFS_AG_RESV_RMAPBT); 1296 rr->new_btree.bload.get_records = xrep_rmap_get_records; 1297 rr->new_btree.bload.claim_block = xrep_rmap_claim_block; 1298 rr->new_btree.alloc_vextent = xrep_rmap_alloc_vextent; 1299 rmap_cur = xfs_rmapbt_init_cursor(sc->mp, NULL, NULL, pag); 1300 xfs_btree_stage_afakeroot(rmap_cur, &rr->new_btree.afake); 1301 1302 /* 1303 * Initialize @rr->new_btree, reserve space for the new rmapbt, 1304 * and compute OWN_AG rmaps. 1305 */ 1306 error = xrep_rmap_reserve_space(rr, rmap_cur); 1307 if (error) 1308 goto err_cur; 1309 1310 /* 1311 * Count the rmapbt records again, because the space reservation 1312 * for the rmapbt itself probably added more records to the btree. 1313 */ 1314 rr->mcur = xfs_rmapbt_mem_cursor(rr->sc->sa.pag, NULL, 1315 &rr->rmap_btree); 1316 1317 error = xrep_rmap_count_records(rr->mcur, &rr->nr_records); 1318 if (error) 1319 goto err_mcur; 1320 1321 /* 1322 * Due to btree slack factors, it's possible for a new btree to be one 1323 * level taller than the old btree. Update the incore btree height so 1324 * that we don't trip the verifiers when writing the new btree blocks 1325 * to disk. 1326 */ 1327 pag->pagf_repair_rmap_level = rr->new_btree.bload.btree_height; 1328 1329 /* 1330 * Move the cursor to the left edge of the tree so that the first 1331 * increment in ->get_records positions us at the first record. 1332 */ 1333 error = xfs_btree_goto_left_edge(rr->mcur); 1334 if (error) 1335 goto err_level; 1336 1337 /* Add all observed rmap records. */ 1338 error = xfs_btree_bload(rmap_cur, &rr->new_btree.bload, rr); 1339 if (error) 1340 goto err_level; 1341 1342 /* 1343 * Install the new btree in the AG header. After this point the old 1344 * btree is no longer accessible and the new tree is live. 1345 */ 1346 xfs_rmapbt_commit_staged_btree(rmap_cur, sc->tp, sc->sa.agf_bp); 1347 xfs_btree_del_cursor(rmap_cur, 0); 1348 xfs_btree_del_cursor(rr->mcur, 0); 1349 rr->mcur = NULL; 1350 1351 /* 1352 * Now that we've written the new btree to disk, we don't need to keep 1353 * updating the in-memory btree. Abort the scan to stop live updates. 1354 */ 1355 xchk_iscan_abort(&rr->iscan); 1356 1357 /* 1358 * The newly committed rmap recordset includes mappings for the blocks 1359 * that we reserved to build the new btree. If there is excess space 1360 * reservation to be freed, the corresponding rmap records must also be 1361 * removed. 1362 */ 1363 rr->new_btree.oinfo = XFS_RMAP_OINFO_AG; 1364 1365 /* Reset the AGF counters now that we've changed the btree shape. */ 1366 error = xrep_rmap_reset_counters(rr); 1367 if (error) 1368 goto err_newbt; 1369 1370 /* Dispose of any unused blocks and the accounting information. */ 1371 error = xrep_newbt_commit(&rr->new_btree); 1372 if (error) 1373 return error; 1374 1375 return xrep_roll_ag_trans(sc); 1376 1377 err_level: 1378 pag->pagf_repair_rmap_level = 0; 1379 err_mcur: 1380 xfs_btree_del_cursor(rr->mcur, error); 1381 err_cur: 1382 xfs_btree_del_cursor(rmap_cur, error); 1383 err_newbt: 1384 xrep_newbt_cancel(&rr->new_btree); 1385 return error; 1386 } 1387 1388 /* Section (IV): Reaping the old btree. */ 1389 1390 struct xrep_rmap_find_gaps { 1391 struct xagb_bitmap rmap_gaps; 1392 xfs_agblock_t next_agbno; 1393 }; 1394 1395 /* Subtract each free extent in the bnobt from the rmap gaps. */ 1396 STATIC int 1397 xrep_rmap_find_freesp( 1398 struct xfs_btree_cur *cur, 1399 const struct xfs_alloc_rec_incore *rec, 1400 void *priv) 1401 { 1402 struct xrep_rmap_find_gaps *rfg = priv; 1403 1404 return xagb_bitmap_clear(&rfg->rmap_gaps, rec->ar_startblock, 1405 rec->ar_blockcount); 1406 } 1407 1408 /* Record the free space we find, as part of cleaning out the btree. */ 1409 STATIC int 1410 xrep_rmap_find_gaps( 1411 struct xfs_btree_cur *cur, 1412 const struct xfs_rmap_irec *rec, 1413 void *priv) 1414 { 1415 struct xrep_rmap_find_gaps *rfg = priv; 1416 int error; 1417 1418 if (rec->rm_startblock > rfg->next_agbno) { 1419 error = xagb_bitmap_set(&rfg->rmap_gaps, rfg->next_agbno, 1420 rec->rm_startblock - rfg->next_agbno); 1421 if (error) 1422 return error; 1423 } 1424 1425 rfg->next_agbno = max_t(xfs_agblock_t, rfg->next_agbno, 1426 rec->rm_startblock + rec->rm_blockcount); 1427 return 0; 1428 } 1429 1430 /* 1431 * Reap the old rmapbt blocks. Now that the rmapbt is fully rebuilt, we make 1432 * a list of gaps in the rmap records and a list of the extents mentioned in 1433 * the bnobt. Any block that's in the new rmapbt gap list but not mentioned 1434 * in the bnobt is a block from the old rmapbt and can be removed. 1435 */ 1436 STATIC int 1437 xrep_rmap_remove_old_tree( 1438 struct xrep_rmap *rr) 1439 { 1440 struct xrep_rmap_find_gaps rfg = { 1441 .next_agbno = 0, 1442 }; 1443 struct xfs_scrub *sc = rr->sc; 1444 struct xfs_agf *agf = sc->sa.agf_bp->b_addr; 1445 struct xfs_perag *pag = sc->sa.pag; 1446 struct xfs_btree_cur *mcur; 1447 xfs_agblock_t agend; 1448 int error; 1449 1450 xagb_bitmap_init(&rfg.rmap_gaps); 1451 1452 /* Compute free space from the new rmapbt. */ 1453 mcur = xfs_rmapbt_mem_cursor(rr->sc->sa.pag, NULL, &rr->rmap_btree); 1454 1455 error = xfs_rmap_query_all(mcur, xrep_rmap_find_gaps, &rfg); 1456 xfs_btree_del_cursor(mcur, error); 1457 if (error) 1458 goto out_bitmap; 1459 1460 /* Insert a record for space between the last rmap and EOAG. */ 1461 agend = be32_to_cpu(agf->agf_length); 1462 if (rfg.next_agbno < agend) { 1463 error = xagb_bitmap_set(&rfg.rmap_gaps, rfg.next_agbno, 1464 agend - rfg.next_agbno); 1465 if (error) 1466 goto out_bitmap; 1467 } 1468 1469 /* Compute free space from the existing bnobt. */ 1470 sc->sa.bno_cur = xfs_bnobt_init_cursor(sc->mp, sc->tp, sc->sa.agf_bp, 1471 sc->sa.pag); 1472 error = xfs_alloc_query_all(sc->sa.bno_cur, xrep_rmap_find_freesp, 1473 &rfg); 1474 xfs_btree_del_cursor(sc->sa.bno_cur, error); 1475 sc->sa.bno_cur = NULL; 1476 if (error) 1477 goto out_bitmap; 1478 1479 /* 1480 * Free the "free" blocks that the new rmapbt knows about but the bnobt 1481 * doesn't--these are the old rmapbt blocks. Credit the old rmapbt 1482 * block usage count back to the per-AG rmapbt reservation (and not 1483 * fdblocks, since the rmap btree lives in free space) to keep the 1484 * reservation and free space accounting correct. 1485 */ 1486 error = xrep_reap_agblocks(sc, &rfg.rmap_gaps, 1487 &XFS_RMAP_OINFO_ANY_OWNER, XFS_AG_RESV_RMAPBT); 1488 if (error) 1489 goto out_bitmap; 1490 1491 /* 1492 * Now that we've zapped all the old rmapbt blocks we can turn off 1493 * the alternate height mechanism and reset the per-AG space 1494 * reservation. 1495 */ 1496 pag->pagf_repair_rmap_level = 0; 1497 sc->flags |= XREP_RESET_PERAG_RESV; 1498 out_bitmap: 1499 xagb_bitmap_destroy(&rfg.rmap_gaps); 1500 return error; 1501 } 1502 1503 static inline bool 1504 xrep_rmapbt_want_live_update( 1505 struct xchk_iscan *iscan, 1506 const struct xfs_owner_info *oi) 1507 { 1508 if (xchk_iscan_aborted(iscan)) 1509 return false; 1510 1511 /* 1512 * Before unlocking the AG header to perform the inode scan, we 1513 * recorded reverse mappings for all AG metadata except for the OWN_AG 1514 * metadata. IOWs, the in-memory btree knows about the AG headers, the 1515 * two inode btrees, the CoW staging extents, and the refcount btrees. 1516 * For these types of metadata, we need to record the live updates in 1517 * the in-memory rmap btree. 1518 * 1519 * However, we do not scan the free space btrees or the AGFL until we 1520 * have re-locked the AGF and are ready to reserve space for the new 1521 * rmap btree, so we do not want live updates for OWN_AG metadata. 1522 */ 1523 if (XFS_RMAP_NON_INODE_OWNER(oi->oi_owner)) 1524 return oi->oi_owner != XFS_RMAP_OWN_AG; 1525 1526 /* Ignore updates to files that the scanner hasn't visited yet. */ 1527 return xchk_iscan_want_live_update(iscan, oi->oi_owner); 1528 } 1529 1530 /* 1531 * Apply a rmapbt update from the regular filesystem into our shadow btree. 1532 * We're running from the thread that owns the AGF buffer and is generating 1533 * the update, so we must be careful about which parts of the struct xrep_rmap 1534 * that we change. 1535 */ 1536 static int 1537 xrep_rmapbt_live_update( 1538 struct notifier_block *nb, 1539 unsigned long action, 1540 void *data) 1541 { 1542 struct xfs_rmap_update_params *p = data; 1543 struct xrep_rmap *rr; 1544 struct xfs_mount *mp; 1545 struct xfs_btree_cur *mcur; 1546 struct xfs_trans *tp; 1547 void *txcookie; 1548 int error; 1549 1550 rr = container_of(nb, struct xrep_rmap, rhook.rmap_hook.nb); 1551 mp = rr->sc->mp; 1552 1553 if (!xrep_rmapbt_want_live_update(&rr->iscan, &p->oinfo)) 1554 goto out_unlock; 1555 1556 trace_xrep_rmap_live_update(mp, rr->sc->sa.pag->pag_agno, action, p); 1557 1558 error = xrep_trans_alloc_hook_dummy(mp, &txcookie, &tp); 1559 if (error) 1560 goto out_abort; 1561 1562 mutex_lock(&rr->lock); 1563 mcur = xfs_rmapbt_mem_cursor(rr->sc->sa.pag, tp, &rr->rmap_btree); 1564 error = __xfs_rmap_finish_intent(mcur, action, p->startblock, 1565 p->blockcount, &p->oinfo, p->unwritten); 1566 xfs_btree_del_cursor(mcur, error); 1567 if (error) 1568 goto out_cancel; 1569 1570 error = xfbtree_trans_commit(&rr->rmap_btree, tp); 1571 if (error) 1572 goto out_cancel; 1573 1574 xrep_trans_cancel_hook_dummy(&txcookie, tp); 1575 mutex_unlock(&rr->lock); 1576 return NOTIFY_DONE; 1577 1578 out_cancel: 1579 xfbtree_trans_cancel(&rr->rmap_btree, tp); 1580 xrep_trans_cancel_hook_dummy(&txcookie, tp); 1581 out_abort: 1582 mutex_unlock(&rr->lock); 1583 xchk_iscan_abort(&rr->iscan); 1584 out_unlock: 1585 return NOTIFY_DONE; 1586 } 1587 1588 /* Set up the filesystem scan components. */ 1589 STATIC int 1590 xrep_rmap_setup_scan( 1591 struct xrep_rmap *rr) 1592 { 1593 struct xfs_scrub *sc = rr->sc; 1594 int error; 1595 1596 mutex_init(&rr->lock); 1597 1598 /* Set up in-memory rmap btree */ 1599 error = xfs_rmapbt_mem_init(sc->mp, &rr->rmap_btree, sc->xmbtp, 1600 sc->sa.pag->pag_agno); 1601 if (error) 1602 goto out_mutex; 1603 1604 /* Retry iget every tenth of a second for up to 30 seconds. */ 1605 xchk_iscan_start(sc, 30000, 100, &rr->iscan); 1606 1607 /* 1608 * Hook into live rmap operations so that we can update our in-memory 1609 * btree to reflect live changes on the filesystem. Since we drop the 1610 * AGF buffer to scan all the inodes, we need this piece to avoid 1611 * installing a stale btree. 1612 */ 1613 ASSERT(sc->flags & XCHK_FSGATES_RMAP); 1614 xfs_rmap_hook_setup(&rr->rhook, xrep_rmapbt_live_update); 1615 error = xfs_rmap_hook_add(sc->sa.pag, &rr->rhook); 1616 if (error) 1617 goto out_iscan; 1618 return 0; 1619 1620 out_iscan: 1621 xchk_iscan_teardown(&rr->iscan); 1622 xfbtree_destroy(&rr->rmap_btree); 1623 out_mutex: 1624 mutex_destroy(&rr->lock); 1625 return error; 1626 } 1627 1628 /* Tear down scan components. */ 1629 STATIC void 1630 xrep_rmap_teardown( 1631 struct xrep_rmap *rr) 1632 { 1633 struct xfs_scrub *sc = rr->sc; 1634 1635 xchk_iscan_abort(&rr->iscan); 1636 xfs_rmap_hook_del(sc->sa.pag, &rr->rhook); 1637 xchk_iscan_teardown(&rr->iscan); 1638 xfbtree_destroy(&rr->rmap_btree); 1639 mutex_destroy(&rr->lock); 1640 } 1641 1642 /* Repair the rmap btree for some AG. */ 1643 int 1644 xrep_rmapbt( 1645 struct xfs_scrub *sc) 1646 { 1647 struct xrep_rmap *rr = sc->buf; 1648 int error; 1649 1650 error = xrep_rmap_setup_scan(rr); 1651 if (error) 1652 return error; 1653 1654 /* 1655 * Collect rmaps for everything in this AG that isn't space metadata. 1656 * These rmaps won't change even as we try to allocate blocks. 1657 */ 1658 error = xrep_rmap_find_rmaps(rr); 1659 if (error) 1660 goto out_records; 1661 1662 /* Rebuild the rmap information. */ 1663 error = xrep_rmap_build_new_tree(rr); 1664 if (error) 1665 goto out_records; 1666 1667 /* Kill the old tree. */ 1668 error = xrep_rmap_remove_old_tree(rr); 1669 if (error) 1670 goto out_records; 1671 1672 out_records: 1673 xrep_rmap_teardown(rr); 1674 return error; 1675 } 1676