/* * Rebuilding the Reference Count Btree * ==================================== * * This algorithm is "borrowed" from xfs_repair. Imagine the rmap * entries as rectangles representing extents of physical blocks, and * that the rectangles can be laid down to allow them to overlap each * other; then we know that we must emit a refcnt btree entry wherever * the amount of overlap changes, i.e. the emission stimulus is * level-triggered: * * - --- * -- ----- ---- --- ------ * -- ---- ----------- ---- --------- * -------------------------------- ----------- * ^ ^ ^^ ^^ ^ ^^ ^^^ ^^^^ ^ ^^ ^ ^ ^ * 2 1 23 21 3 43 234 2123 1 01 2 3 0 * * For our purposes, a rmap is a tuple (startblock, len, fileoff, owner). * * Note that in the actual refcnt btree we don't store the refcount < 2 * cases because the bnobt tells us which blocks are free; single-use * blocks aren't recorded in the bnobt or the refcntbt. If the rmapbt * supports storing multiple entries covering a given block we could * theoretically dispense with the refcntbt and simply count rmaps, but * that's inefficient in the (hot) write path, so we'll take the cost of * the extra tree to save time. Also there's no guarantee that rmap * will be enabled. * * Given an array of rmaps sorted by physical block number, a starting * physical block (sp), a bag to hold rmaps that cover sp, and the next * physical block where the level changes (np), we can reconstruct the * rt refcount btree as follows: * * While there are still unprocessed rmaps in the array, * - Set sp to the physical block (pblk) of the next unprocessed rmap. * - Add to the bag all rmaps in the array where startblock == sp. * - Set np to the physical block where the bag size will change. This * is the minimum of (the pblk of the next unprocessed rmap) and * (startblock + len of each rmap in the bag). * - Record the bag size as old_bag_size. * * - While the bag isn't empty, * - Remove from the bag all rmaps where startblock + len == np. * - Add to the bag all rmaps in the array where startblock == np. * - If the bag size isn't old_bag_size, store the refcount entry * (sp, np - sp, bag_size) in the refcnt btree. * - If the bag is empty, break out of the inner loop. * - Set old_bag_size to the bag size * - Set sp = np. * - Set np to the physical block where the bag size will change. * This is the minimum of (the pblk of the next unprocessed rmap) * and (startblock + len of each rmap in the bag). * * Like all the other repairers, we make a list of all the refcount * records we need, then reinitialize the rt refcount btree root and * insert all the records.
*/
/* Decide if an rmap could describe a shared extent. */ staticinlinebool
xrep_rtrefc_rmap_shareable( conststruct xfs_rmap_irec *rmap)
{ /* rt metadata are never sharable */ if (XFS_RMAP_NON_INODE_OWNER(rmap->rm_owner)) returnfalse;
/* Unwritten file blocks are not shareable. */ if (rmap->rm_flags & XFS_RMAP_UNWRITTEN) returnfalse;
returntrue;
}
/* Grab the next (abbreviated) rmap record from the rmapbt. */ STATICint
xrep_rtrefc_walk_rmaps( struct xrep_rtrefc *rr, struct xfs_rmap_irec *rmap, bool *have_rec)
{ struct xfs_btree_cur *cur = rr->sc->sr.rmap_cur; struct xfs_mount *mp = cur->bc_mp; int have_gt; int error = 0;
*have_rec = false;
/* * Loop through the remaining rmaps. Remember CoW staging * extents and the refcountbt blocks from the old tree for later * disposal. We can only share written data fork extents, so * keep looping until we find an rmap for one.
*/ do { if (xchk_should_terminate(rr->sc, &error)) return error;
error = xfs_btree_increment(cur, 0, &have_gt); if (error) return error; if (!have_gt) return 0;
error = xfs_rmap_get_rec(cur, rmap, &have_gt); if (error) return error; if (XFS_IS_CORRUPT(mp, !have_gt)) {
xfs_btree_mark_sick(cur); return -EFSCORRUPTED;
}
/* * Compare two refcount records. We want to sort in order of increasing block * number.
*/ staticint
xrep_rtrefc_extent_cmp( constvoid *a, constvoid *b)
{ conststruct xfs_refcount_irec *ap = a; conststruct xfs_refcount_irec *bp = b;
uint32_t sa, sb;
sa = xrep_rtrefc_encode_startblock(ap);
sb = xrep_rtrefc_encode_startblock(bp);
if (sa > sb) return 1; if (sa < sb) return -1; return 0;
}
/* * Sort the refcount extents by startblock or else the btree records will be in * the wrong order. Make sure the records do not overlap in physical space.
*/ STATICint
xrep_rtrefc_sort_records( struct xrep_rtrefc *rr)
{ struct xfs_refcount_irec irec;
xfarray_idx_t cur; enum xfs_refc_domain dom = XFS_REFC_DOMAIN_SHARED;
xfs_rgblock_t next_rgbno = 0; int error;
error = xfarray_sort(rr->refcount_records, xrep_rtrefc_extent_cmp,
XFARRAY_SORT_KILLABLE); if (error) return error;
foreach_xfarray_idx(rr->refcount_records, cur) { if (xchk_should_terminate(rr->sc, &error)) return error;
error = xfarray_load(rr->refcount_records, cur, &irec); if (error) return error;
if (dom == XFS_REFC_DOMAIN_SHARED &&
irec.rc_domain == XFS_REFC_DOMAIN_COW) {
dom = irec.rc_domain;
next_rgbno = 0;
}
if (dom != irec.rc_domain) return -EFSCORRUPTED; if (irec.rc_startblock < next_rgbno) return -EFSCORRUPTED;
/* * Walk forward through the rmap btree to collect all rmaps starting at * @bno in @rmap_bag. These represent the file(s) that share ownership of * the current block. Upon return, the rmap cursor points to the last record * satisfying the startblock constraint.
*/ staticint
xrep_rtrefc_push_rmaps_at( struct xrep_rtrefc *rr, struct rcbag *rcstack,
xfs_rgblock_t bno, struct xfs_rmap_irec *rmap, bool *have)
{ struct xfs_scrub *sc = rr->sc; int have_gt; int error;
while (*have && rmap->rm_startblock == bno) {
error = rcbag_add(rcstack, rr->sc->tp, rmap); if (error) return error;
error = xrep_rtrefc_walk_rmaps(rr, rmap, have); if (error) return error;
}
error = xfs_btree_decrement(sc->sr.rmap_cur, 0, &have_gt); if (error) return error; if (XFS_IS_CORRUPT(sc->mp, !have_gt)) {
xfs_btree_mark_sick(sc->sr.rmap_cur); return -EFSCORRUPTED;
}
return 0;
}
/* Scan one AG for reverse mappings for the realtime refcount btree. */ STATICint
xrep_rtrefc_scan_ag( struct xrep_rtrefc *rr, struct xfs_perag *pag)
{ struct xfs_scrub *sc = rr->sc; int error;
error = xrep_ag_init(sc, pag, &sc->sa); if (error) return error;
/* Iterate all the rmap records to generate reference count data. */ STATICint
xrep_rtrefc_find_refcounts( struct xrep_rtrefc *rr)
{ struct xfs_scrub *sc = rr->sc; struct rcbag *rcstack; struct xfs_perag *pag = NULL;
uint64_t old_stack_height;
xfs_rgblock_t sbno;
xfs_rgblock_t cbno;
xfs_rgblock_t nbno; bool have; int error;
/* Scan for old rtrefc btree blocks. */ while ((pag = xfs_perag_next(sc->mp, pag))) {
error = xrep_rtrefc_scan_ag(rr, pag); if (error) {
xfs_perag_rele(pag); return error;
}
}
xrep_rtgroup_btcur_init(sc, &sc->sr);
/* * Set up a bag to store all the rmap records that we're tracking to * generate a reference count record. If this exceeds * XFS_REFC_REFCOUNT_MAX, we clamp rc_refcount.
*/
error = rcbag_init(sc->mp, sc->xmbtp, &rcstack); if (error) goto out_cur;
/* Start the rtrmapbt cursor to the left of all records. */
error = xfs_btree_goto_left_edge(sc->sr.rmap_cur); if (error) goto out_bag;
/* Process reverse mappings into refcount data. */ while (xfs_btree_has_more_records(sc->sr.rmap_cur)) { struct xfs_rmap_irec rmap;
/* Push all rmaps with pblk == sbno onto the stack */
error = xrep_rtrefc_walk_rmaps(rr, &rmap, &have); if (error) goto out_bag; if (!have) break;
sbno = cbno = rmap.rm_startblock;
error = xrep_rtrefc_push_rmaps_at(rr, rcstack, sbno, &rmap,
&have); if (error) goto out_bag;
/* Set nbno to the bno of the next refcount change */
error = rcbag_next_edge(rcstack, sc->tp, &rmap, have, &nbno); if (error) goto out_bag;
/* While stack isn't empty... */ while (rcbag_count(rcstack) > 0) { /* Pop all rmaps that end at nbno */
error = rcbag_remove_ending_at(rcstack, sc->tp, nbno); if (error) goto out_bag;
/* Push array items that start at nbno */
error = xrep_rtrefc_walk_rmaps(rr, &rmap, &have); if (error) goto out_bag; if (have) {
error = xrep_rtrefc_push_rmaps_at(rr, rcstack,
nbno, &rmap, &have); if (error) goto out_bag;
}
/* Emit refcount if necessary */
ASSERT(nbno > cbno); if (rcbag_count(rcstack) != old_stack_height) { if (old_stack_height > 1) {
error = xrep_rtrefc_stash(rr,
XFS_REFC_DOMAIN_SHARED,
cbno, nbno - cbno,
old_stack_height); if (error) goto out_bag;
}
cbno = nbno;
}
/* Stack empty, go find the next rmap */ if (rcbag_count(rcstack) == 0) break;
old_stack_height = rcbag_count(rcstack);
sbno = nbno;
/* Set nbno to the bno of the next refcount change */
error = rcbag_next_edge(rcstack, sc->tp, &rmap, have,
&nbno); if (error) goto out_bag;
/* Feed one of the new btree blocks to the bulk loader. */ STATICint
xrep_rtrefc_claim_block( struct xfs_btree_cur *cur, union xfs_btree_ptr *ptr, void *priv)
{ struct xrep_rtrefc *rr = priv;
/* Figure out how much space we need to create the incore btree root block. */ STATIC size_t
xrep_rtrefc_iroot_size( struct xfs_btree_cur *cur, unsignedint level, unsignedint nr_this_level, void *priv)
{ return xfs_rtrefcount_broot_space_calc(cur->bc_mp, level,
nr_this_level);
}
/* * Use the collected refcount information to stage a new rt refcount btree. If * this is successful we'll return with the new btree root information logged * to the repair transaction but not yet committed.
*/ STATICint
xrep_rtrefc_build_new_tree( struct xrep_rtrefc *rr)
{ struct xfs_scrub *sc = rr->sc; struct xfs_rtgroup *rtg = sc->sr.rtg; struct xfs_btree_cur *refc_cur; int error;
error = xrep_rtrefc_sort_records(rr); if (error) return error;
/* * Prepare to construct the new btree by reserving disk space for the * new btree and setting up all the accounting information we'll need * to root the new btree while it's under construction and before we * attach it to the realtime refcount inode.
*/
error = xrep_newbt_init_metadir_inode(&rr->new_btree, sc); if (error) return error;
/* Compute how many blocks we'll need. */
error = xfs_btree_bload_compute_geometry(refc_cur, &rr->new_btree.bload,
xfarray_length(rr->refcount_records)); if (error) goto err_cur;
/* Last chance to abort before we start committing fixes. */ if (xchk_should_terminate(sc, &error)) goto err_cur;
/* * Guess how many blocks we're going to need to rebuild an entire * rtrefcountbt from the number of extents we found, and pump up our * transaction to have sufficient block reservation. We're allowed * to exceed quota to repair inconsistent metadata, though this is * unlikely.
*/
error = xfs_trans_reserve_more_inode(sc->tp, rtg_refcount(rtg),
rr->new_btree.bload.nr_blocks, 0, true); if (error) goto err_cur;
/* Reserve the space we'll need for the new btree. */
error = xrep_newbt_alloc_blocks(&rr->new_btree,
rr->new_btree.bload.nr_blocks); if (error) goto err_cur;
/* Add all observed refcount records. */
rr->new_btree.ifake.if_fork->if_format = XFS_DINODE_FMT_META_BTREE;
rr->array_cur = XFARRAY_CURSOR_INIT;
error = xfs_btree_bload(refc_cur, &rr->new_btree.bload, rr); if (error) goto err_cur;
/* * Install the new rtrefc btree in the inode. After this point the old * btree is no longer accessible, the new tree is live, and we can * delete the cursor.
*/
xfs_rtrefcountbt_commit_staged_btree(refc_cur, sc->tp);
xrep_inode_set_nblocks(rr->sc, rr->new_btree.ifake.if_blocks);
xfs_btree_del_cursor(refc_cur, 0);
/* Dispose of any unused blocks and the accounting information. */
error = xrep_newbt_commit(&rr->new_btree); if (error) return error;
/* Set up enough storage to handle one refcount record per rt extent. */
descr = xchk_xfile_ag_descr(sc, "reference count records");
error = xfarray_create(descr, mp->m_sb.sb_rextents, sizeof(struct xfs_refcount_irec),
&rr->refcount_records);
kfree(descr); if (error) goto out_rr;
/* Collect all reference counts. */
xfsb_bitmap_init(&rr->old_rtrefcountbt_blocks);
error = xrep_rtrefc_find_refcounts(rr); if (error) goto out_bitmap;
xfs_trans_ijoin(sc->tp, sc->ip, 0);
/* Rebuild the refcount information. */
error = xrep_rtrefc_build_new_tree(rr); if (error) goto out_bitmap;
/* * Free all the extents that were allocated to the former rtrefcountbt * and aren't cross-linked with something else.
*/
error = xrep_reap_metadir_fsblocks(rr->sc,
&rr->old_rtrefcountbt_blocks); if (error) goto out_bitmap;
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.