10b61f8a4SDave Chinner // SPDX-License-Identifier: GPL-2.0+ 2bdf28630SDarrick J. Wong /* 3bdf28630SDarrick J. Wong * Copyright (C) 2016 Oracle. All Rights Reserved. 4bdf28630SDarrick J. Wong * Author: Darrick J. Wong <darrick.wong@oracle.com> 5bdf28630SDarrick J. Wong */ 6bdf28630SDarrick J. Wong #include "xfs.h" 7bdf28630SDarrick J. Wong #include "xfs_fs.h" 8bdf28630SDarrick J. Wong #include "xfs_shared.h" 9bdf28630SDarrick J. Wong #include "xfs_format.h" 10bdf28630SDarrick J. Wong #include "xfs_log_format.h" 11bdf28630SDarrick J. Wong #include "xfs_trans_resv.h" 12bdf28630SDarrick J. Wong #include "xfs_sb.h" 13bdf28630SDarrick J. Wong #include "xfs_mount.h" 14bdf28630SDarrick J. Wong #include "xfs_defer.h" 15bdf28630SDarrick J. Wong #include "xfs_btree.h" 16bdf28630SDarrick J. Wong #include "xfs_bmap.h" 17bdf28630SDarrick J. Wong #include "xfs_refcount_btree.h" 18bdf28630SDarrick J. Wong #include "xfs_alloc.h" 19e9e899a2SDarrick J. Wong #include "xfs_errortag.h" 20bdf28630SDarrick J. Wong #include "xfs_error.h" 21bdf28630SDarrick J. Wong #include "xfs_trace.h" 22bdf28630SDarrick J. Wong #include "xfs_cksum.h" 23bdf28630SDarrick J. Wong #include "xfs_trans.h" 24bdf28630SDarrick J. Wong #include "xfs_bit.h" 25bdf28630SDarrick J. Wong #include "xfs_refcount.h" 26174edb0eSDarrick J. Wong #include "xfs_rmap.h" 27bdf28630SDarrick J. Wong 2831727258SDarrick J. Wong /* Allowable refcount adjustment amounts. */ 2931727258SDarrick J. Wong enum xfs_refc_adjust_op { 3031727258SDarrick J. Wong XFS_REFCOUNT_ADJUST_INCREASE = 1, 3131727258SDarrick J. Wong XFS_REFCOUNT_ADJUST_DECREASE = -1, 32174edb0eSDarrick J. Wong XFS_REFCOUNT_ADJUST_COW_ALLOC = 0, 33174edb0eSDarrick J. Wong XFS_REFCOUNT_ADJUST_COW_FREE = -1, 3431727258SDarrick J. Wong }; 3531727258SDarrick J. Wong 36174edb0eSDarrick J. Wong STATIC int __xfs_refcount_cow_alloc(struct xfs_btree_cur *rcur, 370f37d178SBrian Foster xfs_agblock_t agbno, xfs_extlen_t aglen); 38174edb0eSDarrick J. Wong STATIC int __xfs_refcount_cow_free(struct xfs_btree_cur *rcur, 390f37d178SBrian Foster xfs_agblock_t agbno, xfs_extlen_t aglen); 40174edb0eSDarrick J. Wong 41bdf28630SDarrick J. Wong /* 42bdf28630SDarrick J. Wong * Look up the first record less than or equal to [bno, len] in the btree 43bdf28630SDarrick J. Wong * given by cur. 44bdf28630SDarrick J. Wong */ 45bdf28630SDarrick J. Wong int 46bdf28630SDarrick J. Wong xfs_refcount_lookup_le( 47bdf28630SDarrick J. Wong struct xfs_btree_cur *cur, 48bdf28630SDarrick J. Wong xfs_agblock_t bno, 49bdf28630SDarrick J. Wong int *stat) 50bdf28630SDarrick J. Wong { 51bdf28630SDarrick J. Wong trace_xfs_refcount_lookup(cur->bc_mp, cur->bc_private.a.agno, bno, 52bdf28630SDarrick J. Wong XFS_LOOKUP_LE); 53bdf28630SDarrick J. Wong cur->bc_rec.rc.rc_startblock = bno; 54bdf28630SDarrick J. Wong cur->bc_rec.rc.rc_blockcount = 0; 55bdf28630SDarrick J. Wong return xfs_btree_lookup(cur, XFS_LOOKUP_LE, stat); 56bdf28630SDarrick J. Wong } 57bdf28630SDarrick J. Wong 58bdf28630SDarrick J. Wong /* 59bdf28630SDarrick J. Wong * Look up the first record greater than or equal to [bno, len] in the btree 60bdf28630SDarrick J. Wong * given by cur. 61bdf28630SDarrick J. Wong */ 62bdf28630SDarrick J. Wong int 63bdf28630SDarrick J. Wong xfs_refcount_lookup_ge( 64bdf28630SDarrick J. Wong struct xfs_btree_cur *cur, 65bdf28630SDarrick J. Wong xfs_agblock_t bno, 66bdf28630SDarrick J. Wong int *stat) 67bdf28630SDarrick J. Wong { 68bdf28630SDarrick J. Wong trace_xfs_refcount_lookup(cur->bc_mp, cur->bc_private.a.agno, bno, 69bdf28630SDarrick J. Wong XFS_LOOKUP_GE); 70bdf28630SDarrick J. Wong cur->bc_rec.rc.rc_startblock = bno; 71bdf28630SDarrick J. Wong cur->bc_rec.rc.rc_blockcount = 0; 72bdf28630SDarrick J. Wong return xfs_btree_lookup(cur, XFS_LOOKUP_GE, stat); 73bdf28630SDarrick J. Wong } 74bdf28630SDarrick J. Wong 7508daa3ccSDarrick J. Wong /* 7608daa3ccSDarrick J. Wong * Look up the first record equal to [bno, len] in the btree 7708daa3ccSDarrick J. Wong * given by cur. 7808daa3ccSDarrick J. Wong */ 7908daa3ccSDarrick J. Wong int 8008daa3ccSDarrick J. Wong xfs_refcount_lookup_eq( 8108daa3ccSDarrick J. Wong struct xfs_btree_cur *cur, 8208daa3ccSDarrick J. Wong xfs_agblock_t bno, 8308daa3ccSDarrick J. Wong int *stat) 8408daa3ccSDarrick J. Wong { 8508daa3ccSDarrick J. Wong trace_xfs_refcount_lookup(cur->bc_mp, cur->bc_private.a.agno, bno, 8608daa3ccSDarrick J. Wong XFS_LOOKUP_LE); 8708daa3ccSDarrick J. Wong cur->bc_rec.rc.rc_startblock = bno; 8808daa3ccSDarrick J. Wong cur->bc_rec.rc.rc_blockcount = 0; 8908daa3ccSDarrick J. Wong return xfs_btree_lookup(cur, XFS_LOOKUP_EQ, stat); 9008daa3ccSDarrick J. Wong } 9108daa3ccSDarrick J. Wong 92174edb0eSDarrick J. Wong /* Convert on-disk record to in-core format. */ 937f8f1313SDarrick J. Wong void 94174edb0eSDarrick J. Wong xfs_refcount_btrec_to_irec( 95174edb0eSDarrick J. Wong union xfs_btree_rec *rec, 96174edb0eSDarrick J. Wong struct xfs_refcount_irec *irec) 97174edb0eSDarrick J. Wong { 98174edb0eSDarrick J. Wong irec->rc_startblock = be32_to_cpu(rec->refc.rc_startblock); 99174edb0eSDarrick J. Wong irec->rc_blockcount = be32_to_cpu(rec->refc.rc_blockcount); 100174edb0eSDarrick J. Wong irec->rc_refcount = be32_to_cpu(rec->refc.rc_refcount); 101174edb0eSDarrick J. Wong } 102174edb0eSDarrick J. Wong 103bdf28630SDarrick J. Wong /* 104bdf28630SDarrick J. Wong * Get the data from the pointed-to record. 105bdf28630SDarrick J. Wong */ 106bdf28630SDarrick J. Wong int 107bdf28630SDarrick J. Wong xfs_refcount_get_rec( 108bdf28630SDarrick J. Wong struct xfs_btree_cur *cur, 109bdf28630SDarrick J. Wong struct xfs_refcount_irec *irec, 110bdf28630SDarrick J. Wong int *stat) 111bdf28630SDarrick J. Wong { 1129e6c08d4SDave Chinner struct xfs_mount *mp = cur->bc_mp; 1139e6c08d4SDave Chinner xfs_agnumber_t agno = cur->bc_private.a.agno; 114bdf28630SDarrick J. Wong union xfs_btree_rec *rec; 115bdf28630SDarrick J. Wong int error; 1169e6c08d4SDave Chinner xfs_agblock_t realstart; 117bdf28630SDarrick J. Wong 118bdf28630SDarrick J. Wong error = xfs_btree_get_rec(cur, &rec, stat); 1199e6c08d4SDave Chinner if (error || !*stat) 120bdf28630SDarrick J. Wong return error; 1219e6c08d4SDave Chinner 1229e6c08d4SDave Chinner xfs_refcount_btrec_to_irec(rec, irec); 1239e6c08d4SDave Chinner 1249e6c08d4SDave Chinner agno = cur->bc_private.a.agno; 1259e6c08d4SDave Chinner if (irec->rc_blockcount == 0 || irec->rc_blockcount > MAXREFCEXTLEN) 1269e6c08d4SDave Chinner goto out_bad_rec; 1279e6c08d4SDave Chinner 1289e6c08d4SDave Chinner /* handle special COW-staging state */ 1299e6c08d4SDave Chinner realstart = irec->rc_startblock; 1309e6c08d4SDave Chinner if (realstart & XFS_REFC_COW_START) { 1319e6c08d4SDave Chinner if (irec->rc_refcount != 1) 1329e6c08d4SDave Chinner goto out_bad_rec; 1339e6c08d4SDave Chinner realstart &= ~XFS_REFC_COW_START; 1349e6c08d4SDave Chinner } else if (irec->rc_refcount < 2) { 1359e6c08d4SDave Chinner goto out_bad_rec; 1369e6c08d4SDave Chinner } 1379e6c08d4SDave Chinner 1389e6c08d4SDave Chinner /* check for valid extent range, including overflow */ 1399e6c08d4SDave Chinner if (!xfs_verify_agbno(mp, agno, realstart)) 1409e6c08d4SDave Chinner goto out_bad_rec; 1419e6c08d4SDave Chinner if (realstart > realstart + irec->rc_blockcount) 1429e6c08d4SDave Chinner goto out_bad_rec; 1439e6c08d4SDave Chinner if (!xfs_verify_agbno(mp, agno, realstart + irec->rc_blockcount - 1)) 1449e6c08d4SDave Chinner goto out_bad_rec; 1459e6c08d4SDave Chinner 1469e6c08d4SDave Chinner if (irec->rc_refcount == 0 || irec->rc_refcount > MAXREFCOUNT) 1479e6c08d4SDave Chinner goto out_bad_rec; 1489e6c08d4SDave Chinner 1499e6c08d4SDave Chinner trace_xfs_refcount_get(cur->bc_mp, cur->bc_private.a.agno, irec); 1509e6c08d4SDave Chinner return 0; 1519e6c08d4SDave Chinner 1529e6c08d4SDave Chinner out_bad_rec: 1539e6c08d4SDave Chinner xfs_warn(mp, 1549e6c08d4SDave Chinner "Refcount BTree record corruption in AG %d detected!", agno); 1559e6c08d4SDave Chinner xfs_warn(mp, 1569e6c08d4SDave Chinner "Start block 0x%x, block count 0x%x, references 0x%x", 1579e6c08d4SDave Chinner irec->rc_startblock, irec->rc_blockcount, irec->rc_refcount); 1589e6c08d4SDave Chinner return -EFSCORRUPTED; 159bdf28630SDarrick J. Wong } 160bdf28630SDarrick J. Wong 161bdf28630SDarrick J. Wong /* 162bdf28630SDarrick J. Wong * Update the record referred to by cur to the value given 163bdf28630SDarrick J. Wong * by [bno, len, refcount]. 164bdf28630SDarrick J. Wong * This either works (return 0) or gets an EFSCORRUPTED error. 165bdf28630SDarrick J. Wong */ 166bdf28630SDarrick J. Wong STATIC int 167bdf28630SDarrick J. Wong xfs_refcount_update( 168bdf28630SDarrick J. Wong struct xfs_btree_cur *cur, 169bdf28630SDarrick J. Wong struct xfs_refcount_irec *irec) 170bdf28630SDarrick J. Wong { 171bdf28630SDarrick J. Wong union xfs_btree_rec rec; 172bdf28630SDarrick J. Wong int error; 173bdf28630SDarrick J. Wong 174bdf28630SDarrick J. Wong trace_xfs_refcount_update(cur->bc_mp, cur->bc_private.a.agno, irec); 175bdf28630SDarrick J. Wong rec.refc.rc_startblock = cpu_to_be32(irec->rc_startblock); 176bdf28630SDarrick J. Wong rec.refc.rc_blockcount = cpu_to_be32(irec->rc_blockcount); 177bdf28630SDarrick J. Wong rec.refc.rc_refcount = cpu_to_be32(irec->rc_refcount); 178bdf28630SDarrick J. Wong error = xfs_btree_update(cur, &rec); 179bdf28630SDarrick J. Wong if (error) 180bdf28630SDarrick J. Wong trace_xfs_refcount_update_error(cur->bc_mp, 181bdf28630SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 182bdf28630SDarrick J. Wong return error; 183bdf28630SDarrick J. Wong } 184bdf28630SDarrick J. Wong 185bdf28630SDarrick J. Wong /* 186bdf28630SDarrick J. Wong * Insert the record referred to by cur to the value given 187bdf28630SDarrick J. Wong * by [bno, len, refcount]. 188bdf28630SDarrick J. Wong * This either works (return 0) or gets an EFSCORRUPTED error. 189bdf28630SDarrick J. Wong */ 1907f8f1313SDarrick J. Wong int 191bdf28630SDarrick J. Wong xfs_refcount_insert( 192bdf28630SDarrick J. Wong struct xfs_btree_cur *cur, 193bdf28630SDarrick J. Wong struct xfs_refcount_irec *irec, 194bdf28630SDarrick J. Wong int *i) 195bdf28630SDarrick J. Wong { 196bdf28630SDarrick J. Wong int error; 197bdf28630SDarrick J. Wong 198bdf28630SDarrick J. Wong trace_xfs_refcount_insert(cur->bc_mp, cur->bc_private.a.agno, irec); 199bdf28630SDarrick J. Wong cur->bc_rec.rc.rc_startblock = irec->rc_startblock; 200bdf28630SDarrick J. Wong cur->bc_rec.rc.rc_blockcount = irec->rc_blockcount; 201bdf28630SDarrick J. Wong cur->bc_rec.rc.rc_refcount = irec->rc_refcount; 202bdf28630SDarrick J. Wong error = xfs_btree_insert(cur, i); 20316858f7cSDave Chinner if (error) 20416858f7cSDave Chinner goto out_error; 205bdf28630SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, *i == 1, out_error); 20616858f7cSDave Chinner 207bdf28630SDarrick J. Wong out_error: 208bdf28630SDarrick J. Wong if (error) 209bdf28630SDarrick J. Wong trace_xfs_refcount_insert_error(cur->bc_mp, 210bdf28630SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 211bdf28630SDarrick J. Wong return error; 212bdf28630SDarrick J. Wong } 213bdf28630SDarrick J. Wong 214bdf28630SDarrick J. Wong /* 215bdf28630SDarrick J. Wong * Remove the record referred to by cur, then set the pointer to the spot 216bdf28630SDarrick J. Wong * where the record could be re-inserted, in case we want to increment or 217bdf28630SDarrick J. Wong * decrement the cursor. 218bdf28630SDarrick J. Wong * This either works (return 0) or gets an EFSCORRUPTED error. 219bdf28630SDarrick J. Wong */ 220bdf28630SDarrick J. Wong STATIC int 221bdf28630SDarrick J. Wong xfs_refcount_delete( 222bdf28630SDarrick J. Wong struct xfs_btree_cur *cur, 223bdf28630SDarrick J. Wong int *i) 224bdf28630SDarrick J. Wong { 225bdf28630SDarrick J. Wong struct xfs_refcount_irec irec; 226bdf28630SDarrick J. Wong int found_rec; 227bdf28630SDarrick J. Wong int error; 228bdf28630SDarrick J. Wong 229bdf28630SDarrick J. Wong error = xfs_refcount_get_rec(cur, &irec, &found_rec); 230bdf28630SDarrick J. Wong if (error) 231bdf28630SDarrick J. Wong goto out_error; 232bdf28630SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 233bdf28630SDarrick J. Wong trace_xfs_refcount_delete(cur->bc_mp, cur->bc_private.a.agno, &irec); 234bdf28630SDarrick J. Wong error = xfs_btree_delete(cur, i); 235bdf28630SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, *i == 1, out_error); 236bdf28630SDarrick J. Wong if (error) 237bdf28630SDarrick J. Wong goto out_error; 238bdf28630SDarrick J. Wong error = xfs_refcount_lookup_ge(cur, irec.rc_startblock, &found_rec); 239bdf28630SDarrick J. Wong out_error: 240bdf28630SDarrick J. Wong if (error) 241bdf28630SDarrick J. Wong trace_xfs_refcount_delete_error(cur->bc_mp, 242bdf28630SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 243bdf28630SDarrick J. Wong return error; 244bdf28630SDarrick J. Wong } 24531727258SDarrick J. Wong 24631727258SDarrick J. Wong /* 24731727258SDarrick J. Wong * Adjusting the Reference Count 24831727258SDarrick J. Wong * 24931727258SDarrick J. Wong * As stated elsewhere, the reference count btree (refcbt) stores 25031727258SDarrick J. Wong * >1 reference counts for extents of physical blocks. In this 25131727258SDarrick J. Wong * operation, we're either raising or lowering the reference count of 25231727258SDarrick J. Wong * some subrange stored in the tree: 25331727258SDarrick J. Wong * 25431727258SDarrick J. Wong * <------ adjustment range ------> 25531727258SDarrick J. Wong * ----+ +---+-----+ +--+--------+--------- 25631727258SDarrick J. Wong * 2 | | 3 | 4 | |17| 55 | 10 25731727258SDarrick J. Wong * ----+ +---+-----+ +--+--------+--------- 25831727258SDarrick J. Wong * X axis is physical blocks number; 25931727258SDarrick J. Wong * reference counts are the numbers inside the rectangles 26031727258SDarrick J. Wong * 26131727258SDarrick J. Wong * The first thing we need to do is to ensure that there are no 26231727258SDarrick J. Wong * refcount extents crossing either boundary of the range to be 26331727258SDarrick J. Wong * adjusted. For any extent that does cross a boundary, split it into 26431727258SDarrick J. Wong * two extents so that we can increment the refcount of one of the 26531727258SDarrick J. Wong * pieces later: 26631727258SDarrick J. Wong * 26731727258SDarrick J. Wong * <------ adjustment range ------> 26831727258SDarrick J. Wong * ----+ +---+-----+ +--+--------+----+---- 26931727258SDarrick J. Wong * 2 | | 3 | 2 | |17| 55 | 10 | 10 27031727258SDarrick J. Wong * ----+ +---+-----+ +--+--------+----+---- 27131727258SDarrick J. Wong * 27231727258SDarrick J. Wong * For this next step, let's assume that all the physical blocks in 27331727258SDarrick J. Wong * the adjustment range are mapped to a file and are therefore in use 27431727258SDarrick J. Wong * at least once. Therefore, we can infer that any gap in the 27531727258SDarrick J. Wong * refcount tree within the adjustment range represents a physical 27631727258SDarrick J. Wong * extent with refcount == 1: 27731727258SDarrick J. Wong * 27831727258SDarrick J. Wong * <------ adjustment range ------> 27931727258SDarrick J. Wong * ----+---+---+-----+-+--+--------+----+---- 28031727258SDarrick J. Wong * 2 |"1"| 3 | 2 |1|17| 55 | 10 | 10 28131727258SDarrick J. Wong * ----+---+---+-----+-+--+--------+----+---- 28231727258SDarrick J. Wong * ^ 28331727258SDarrick J. Wong * 28431727258SDarrick J. Wong * For each extent that falls within the interval range, figure out 28531727258SDarrick J. Wong * which extent is to the left or the right of that extent. Now we 28631727258SDarrick J. Wong * have a left, current, and right extent. If the new reference count 28731727258SDarrick J. Wong * of the center extent enables us to merge left, center, and right 28831727258SDarrick J. Wong * into one record covering all three, do so. If the center extent is 28931727258SDarrick J. Wong * at the left end of the range, abuts the left extent, and its new 29031727258SDarrick J. Wong * reference count matches the left extent's record, then merge them. 29131727258SDarrick J. Wong * If the center extent is at the right end of the range, abuts the 29231727258SDarrick J. Wong * right extent, and the reference counts match, merge those. In the 29331727258SDarrick J. Wong * example, we can left merge (assuming an increment operation): 29431727258SDarrick J. Wong * 29531727258SDarrick J. Wong * <------ adjustment range ------> 29631727258SDarrick J. Wong * --------+---+-----+-+--+--------+----+---- 29731727258SDarrick J. Wong * 2 | 3 | 2 |1|17| 55 | 10 | 10 29831727258SDarrick J. Wong * --------+---+-----+-+--+--------+----+---- 29931727258SDarrick J. Wong * ^ 30031727258SDarrick J. Wong * 30131727258SDarrick J. Wong * For all other extents within the range, adjust the reference count 30231727258SDarrick J. Wong * or delete it if the refcount falls below 2. If we were 30331727258SDarrick J. Wong * incrementing, the end result looks like this: 30431727258SDarrick J. Wong * 30531727258SDarrick J. Wong * <------ adjustment range ------> 30631727258SDarrick J. Wong * --------+---+-----+-+--+--------+----+---- 30731727258SDarrick J. Wong * 2 | 4 | 3 |2|18| 56 | 11 | 10 30831727258SDarrick J. Wong * --------+---+-----+-+--+--------+----+---- 30931727258SDarrick J. Wong * 31031727258SDarrick J. Wong * The result of a decrement operation looks as such: 31131727258SDarrick J. Wong * 31231727258SDarrick J. Wong * <------ adjustment range ------> 31331727258SDarrick J. Wong * ----+ +---+ +--+--------+----+---- 31431727258SDarrick J. Wong * 2 | | 2 | |16| 54 | 9 | 10 31531727258SDarrick J. Wong * ----+ +---+ +--+--------+----+---- 31631727258SDarrick J. Wong * DDDD 111111DD 31731727258SDarrick J. Wong * 31831727258SDarrick J. Wong * The blocks marked "D" are freed; the blocks marked "1" are only 31931727258SDarrick J. Wong * referenced once and therefore the record is removed from the 32031727258SDarrick J. Wong * refcount btree. 32131727258SDarrick J. Wong */ 32231727258SDarrick J. Wong 32331727258SDarrick J. Wong /* Next block after this extent. */ 32431727258SDarrick J. Wong static inline xfs_agblock_t 32531727258SDarrick J. Wong xfs_refc_next( 32631727258SDarrick J. Wong struct xfs_refcount_irec *rc) 32731727258SDarrick J. Wong { 32831727258SDarrick J. Wong return rc->rc_startblock + rc->rc_blockcount; 32931727258SDarrick J. Wong } 33031727258SDarrick J. Wong 33131727258SDarrick J. Wong /* 33231727258SDarrick J. Wong * Split a refcount extent that crosses agbno. 33331727258SDarrick J. Wong */ 33431727258SDarrick J. Wong STATIC int 33531727258SDarrick J. Wong xfs_refcount_split_extent( 33631727258SDarrick J. Wong struct xfs_btree_cur *cur, 33731727258SDarrick J. Wong xfs_agblock_t agbno, 33831727258SDarrick J. Wong bool *shape_changed) 33931727258SDarrick J. Wong { 34031727258SDarrick J. Wong struct xfs_refcount_irec rcext, tmp; 34131727258SDarrick J. Wong int found_rec; 34231727258SDarrick J. Wong int error; 34331727258SDarrick J. Wong 34431727258SDarrick J. Wong *shape_changed = false; 34531727258SDarrick J. Wong error = xfs_refcount_lookup_le(cur, agbno, &found_rec); 34631727258SDarrick J. Wong if (error) 34731727258SDarrick J. Wong goto out_error; 34831727258SDarrick J. Wong if (!found_rec) 34931727258SDarrick J. Wong return 0; 35031727258SDarrick J. Wong 35131727258SDarrick J. Wong error = xfs_refcount_get_rec(cur, &rcext, &found_rec); 35231727258SDarrick J. Wong if (error) 35331727258SDarrick J. Wong goto out_error; 35431727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 35531727258SDarrick J. Wong if (rcext.rc_startblock == agbno || xfs_refc_next(&rcext) <= agbno) 35631727258SDarrick J. Wong return 0; 35731727258SDarrick J. Wong 35831727258SDarrick J. Wong *shape_changed = true; 35931727258SDarrick J. Wong trace_xfs_refcount_split_extent(cur->bc_mp, cur->bc_private.a.agno, 36031727258SDarrick J. Wong &rcext, agbno); 36131727258SDarrick J. Wong 36231727258SDarrick J. Wong /* Establish the right extent. */ 36331727258SDarrick J. Wong tmp = rcext; 36431727258SDarrick J. Wong tmp.rc_startblock = agbno; 36531727258SDarrick J. Wong tmp.rc_blockcount -= (agbno - rcext.rc_startblock); 36631727258SDarrick J. Wong error = xfs_refcount_update(cur, &tmp); 36731727258SDarrick J. Wong if (error) 36831727258SDarrick J. Wong goto out_error; 36931727258SDarrick J. Wong 37031727258SDarrick J. Wong /* Insert the left extent. */ 37131727258SDarrick J. Wong tmp = rcext; 37231727258SDarrick J. Wong tmp.rc_blockcount = agbno - rcext.rc_startblock; 37331727258SDarrick J. Wong error = xfs_refcount_insert(cur, &tmp, &found_rec); 37431727258SDarrick J. Wong if (error) 37531727258SDarrick J. Wong goto out_error; 37631727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 37731727258SDarrick J. Wong return error; 37831727258SDarrick J. Wong 37931727258SDarrick J. Wong out_error: 38031727258SDarrick J. Wong trace_xfs_refcount_split_extent_error(cur->bc_mp, 38131727258SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 38231727258SDarrick J. Wong return error; 38331727258SDarrick J. Wong } 38431727258SDarrick J. Wong 38531727258SDarrick J. Wong /* 38631727258SDarrick J. Wong * Merge the left, center, and right extents. 38731727258SDarrick J. Wong */ 38831727258SDarrick J. Wong STATIC int 38931727258SDarrick J. Wong xfs_refcount_merge_center_extents( 39031727258SDarrick J. Wong struct xfs_btree_cur *cur, 39131727258SDarrick J. Wong struct xfs_refcount_irec *left, 39231727258SDarrick J. Wong struct xfs_refcount_irec *center, 39331727258SDarrick J. Wong struct xfs_refcount_irec *right, 39431727258SDarrick J. Wong unsigned long long extlen, 39531727258SDarrick J. Wong xfs_extlen_t *aglen) 39631727258SDarrick J. Wong { 39731727258SDarrick J. Wong int error; 39831727258SDarrick J. Wong int found_rec; 39931727258SDarrick J. Wong 40031727258SDarrick J. Wong trace_xfs_refcount_merge_center_extents(cur->bc_mp, 40131727258SDarrick J. Wong cur->bc_private.a.agno, left, center, right); 40231727258SDarrick J. Wong 40331727258SDarrick J. Wong /* 40431727258SDarrick J. Wong * Make sure the center and right extents are not in the btree. 40531727258SDarrick J. Wong * If the center extent was synthesized, the first delete call 40631727258SDarrick J. Wong * removes the right extent and we skip the second deletion. 40731727258SDarrick J. Wong * If center and right were in the btree, then the first delete 40831727258SDarrick J. Wong * call removes the center and the second one removes the right 40931727258SDarrick J. Wong * extent. 41031727258SDarrick J. Wong */ 41131727258SDarrick J. Wong error = xfs_refcount_lookup_ge(cur, center->rc_startblock, 41231727258SDarrick J. Wong &found_rec); 41331727258SDarrick J. Wong if (error) 41431727258SDarrick J. Wong goto out_error; 41531727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 41631727258SDarrick J. Wong 41731727258SDarrick J. Wong error = xfs_refcount_delete(cur, &found_rec); 41831727258SDarrick J. Wong if (error) 41931727258SDarrick J. Wong goto out_error; 42031727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 42131727258SDarrick J. Wong 42231727258SDarrick J. Wong if (center->rc_refcount > 1) { 42331727258SDarrick J. Wong error = xfs_refcount_delete(cur, &found_rec); 42431727258SDarrick J. Wong if (error) 42531727258SDarrick J. Wong goto out_error; 42631727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, 42731727258SDarrick J. Wong out_error); 42831727258SDarrick J. Wong } 42931727258SDarrick J. Wong 43031727258SDarrick J. Wong /* Enlarge the left extent. */ 43131727258SDarrick J. Wong error = xfs_refcount_lookup_le(cur, left->rc_startblock, 43231727258SDarrick J. Wong &found_rec); 43331727258SDarrick J. Wong if (error) 43431727258SDarrick J. Wong goto out_error; 43531727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 43631727258SDarrick J. Wong 43731727258SDarrick J. Wong left->rc_blockcount = extlen; 43831727258SDarrick J. Wong error = xfs_refcount_update(cur, left); 43931727258SDarrick J. Wong if (error) 44031727258SDarrick J. Wong goto out_error; 44131727258SDarrick J. Wong 44231727258SDarrick J. Wong *aglen = 0; 44331727258SDarrick J. Wong return error; 44431727258SDarrick J. Wong 44531727258SDarrick J. Wong out_error: 44631727258SDarrick J. Wong trace_xfs_refcount_merge_center_extents_error(cur->bc_mp, 44731727258SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 44831727258SDarrick J. Wong return error; 44931727258SDarrick J. Wong } 45031727258SDarrick J. Wong 45131727258SDarrick J. Wong /* 45231727258SDarrick J. Wong * Merge with the left extent. 45331727258SDarrick J. Wong */ 45431727258SDarrick J. Wong STATIC int 45531727258SDarrick J. Wong xfs_refcount_merge_left_extent( 45631727258SDarrick J. Wong struct xfs_btree_cur *cur, 45731727258SDarrick J. Wong struct xfs_refcount_irec *left, 45831727258SDarrick J. Wong struct xfs_refcount_irec *cleft, 45931727258SDarrick J. Wong xfs_agblock_t *agbno, 46031727258SDarrick J. Wong xfs_extlen_t *aglen) 46131727258SDarrick J. Wong { 46231727258SDarrick J. Wong int error; 46331727258SDarrick J. Wong int found_rec; 46431727258SDarrick J. Wong 46531727258SDarrick J. Wong trace_xfs_refcount_merge_left_extent(cur->bc_mp, 46631727258SDarrick J. Wong cur->bc_private.a.agno, left, cleft); 46731727258SDarrick J. Wong 46831727258SDarrick J. Wong /* If the extent at agbno (cleft) wasn't synthesized, remove it. */ 46931727258SDarrick J. Wong if (cleft->rc_refcount > 1) { 47031727258SDarrick J. Wong error = xfs_refcount_lookup_le(cur, cleft->rc_startblock, 47131727258SDarrick J. Wong &found_rec); 47231727258SDarrick J. Wong if (error) 47331727258SDarrick J. Wong goto out_error; 47431727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, 47531727258SDarrick J. Wong out_error); 47631727258SDarrick J. Wong 47731727258SDarrick J. Wong error = xfs_refcount_delete(cur, &found_rec); 47831727258SDarrick J. Wong if (error) 47931727258SDarrick J. Wong goto out_error; 48031727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, 48131727258SDarrick J. Wong out_error); 48231727258SDarrick J. Wong } 48331727258SDarrick J. Wong 48431727258SDarrick J. Wong /* Enlarge the left extent. */ 48531727258SDarrick J. Wong error = xfs_refcount_lookup_le(cur, left->rc_startblock, 48631727258SDarrick J. Wong &found_rec); 48731727258SDarrick J. Wong if (error) 48831727258SDarrick J. Wong goto out_error; 48931727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 49031727258SDarrick J. Wong 49131727258SDarrick J. Wong left->rc_blockcount += cleft->rc_blockcount; 49231727258SDarrick J. Wong error = xfs_refcount_update(cur, left); 49331727258SDarrick J. Wong if (error) 49431727258SDarrick J. Wong goto out_error; 49531727258SDarrick J. Wong 49631727258SDarrick J. Wong *agbno += cleft->rc_blockcount; 49731727258SDarrick J. Wong *aglen -= cleft->rc_blockcount; 49831727258SDarrick J. Wong return error; 49931727258SDarrick J. Wong 50031727258SDarrick J. Wong out_error: 50131727258SDarrick J. Wong trace_xfs_refcount_merge_left_extent_error(cur->bc_mp, 50231727258SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 50331727258SDarrick J. Wong return error; 50431727258SDarrick J. Wong } 50531727258SDarrick J. Wong 50631727258SDarrick J. Wong /* 50731727258SDarrick J. Wong * Merge with the right extent. 50831727258SDarrick J. Wong */ 50931727258SDarrick J. Wong STATIC int 51031727258SDarrick J. Wong xfs_refcount_merge_right_extent( 51131727258SDarrick J. Wong struct xfs_btree_cur *cur, 51231727258SDarrick J. Wong struct xfs_refcount_irec *right, 51331727258SDarrick J. Wong struct xfs_refcount_irec *cright, 51431727258SDarrick J. Wong xfs_extlen_t *aglen) 51531727258SDarrick J. Wong { 51631727258SDarrick J. Wong int error; 51731727258SDarrick J. Wong int found_rec; 51831727258SDarrick J. Wong 51931727258SDarrick J. Wong trace_xfs_refcount_merge_right_extent(cur->bc_mp, 52031727258SDarrick J. Wong cur->bc_private.a.agno, cright, right); 52131727258SDarrick J. Wong 52231727258SDarrick J. Wong /* 52331727258SDarrick J. Wong * If the extent ending at agbno+aglen (cright) wasn't synthesized, 52431727258SDarrick J. Wong * remove it. 52531727258SDarrick J. Wong */ 52631727258SDarrick J. Wong if (cright->rc_refcount > 1) { 52731727258SDarrick J. Wong error = xfs_refcount_lookup_le(cur, cright->rc_startblock, 52831727258SDarrick J. Wong &found_rec); 52931727258SDarrick J. Wong if (error) 53031727258SDarrick J. Wong goto out_error; 53131727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, 53231727258SDarrick J. Wong out_error); 53331727258SDarrick J. Wong 53431727258SDarrick J. Wong error = xfs_refcount_delete(cur, &found_rec); 53531727258SDarrick J. Wong if (error) 53631727258SDarrick J. Wong goto out_error; 53731727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, 53831727258SDarrick J. Wong out_error); 53931727258SDarrick J. Wong } 54031727258SDarrick J. Wong 54131727258SDarrick J. Wong /* Enlarge the right extent. */ 54231727258SDarrick J. Wong error = xfs_refcount_lookup_le(cur, right->rc_startblock, 54331727258SDarrick J. Wong &found_rec); 54431727258SDarrick J. Wong if (error) 54531727258SDarrick J. Wong goto out_error; 54631727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 54731727258SDarrick J. Wong 54831727258SDarrick J. Wong right->rc_startblock -= cright->rc_blockcount; 54931727258SDarrick J. Wong right->rc_blockcount += cright->rc_blockcount; 55031727258SDarrick J. Wong error = xfs_refcount_update(cur, right); 55131727258SDarrick J. Wong if (error) 55231727258SDarrick J. Wong goto out_error; 55331727258SDarrick J. Wong 55431727258SDarrick J. Wong *aglen -= cright->rc_blockcount; 55531727258SDarrick J. Wong return error; 55631727258SDarrick J. Wong 55731727258SDarrick J. Wong out_error: 55831727258SDarrick J. Wong trace_xfs_refcount_merge_right_extent_error(cur->bc_mp, 55931727258SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 56031727258SDarrick J. Wong return error; 56131727258SDarrick J. Wong } 56231727258SDarrick J. Wong 563174edb0eSDarrick J. Wong #define XFS_FIND_RCEXT_SHARED 1 564174edb0eSDarrick J. Wong #define XFS_FIND_RCEXT_COW 2 56531727258SDarrick J. Wong /* 56631727258SDarrick J. Wong * Find the left extent and the one after it (cleft). This function assumes 56731727258SDarrick J. Wong * that we've already split any extent crossing agbno. 56831727258SDarrick J. Wong */ 56931727258SDarrick J. Wong STATIC int 57031727258SDarrick J. Wong xfs_refcount_find_left_extents( 57131727258SDarrick J. Wong struct xfs_btree_cur *cur, 57231727258SDarrick J. Wong struct xfs_refcount_irec *left, 57331727258SDarrick J. Wong struct xfs_refcount_irec *cleft, 57431727258SDarrick J. Wong xfs_agblock_t agbno, 575174edb0eSDarrick J. Wong xfs_extlen_t aglen, 576174edb0eSDarrick J. Wong int flags) 57731727258SDarrick J. Wong { 57831727258SDarrick J. Wong struct xfs_refcount_irec tmp; 57931727258SDarrick J. Wong int error; 58031727258SDarrick J. Wong int found_rec; 58131727258SDarrick J. Wong 58231727258SDarrick J. Wong left->rc_startblock = cleft->rc_startblock = NULLAGBLOCK; 58331727258SDarrick J. Wong error = xfs_refcount_lookup_le(cur, agbno - 1, &found_rec); 58431727258SDarrick J. Wong if (error) 58531727258SDarrick J. Wong goto out_error; 58631727258SDarrick J. Wong if (!found_rec) 58731727258SDarrick J. Wong return 0; 58831727258SDarrick J. Wong 58931727258SDarrick J. Wong error = xfs_refcount_get_rec(cur, &tmp, &found_rec); 59031727258SDarrick J. Wong if (error) 59131727258SDarrick J. Wong goto out_error; 59231727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 59331727258SDarrick J. Wong 59431727258SDarrick J. Wong if (xfs_refc_next(&tmp) != agbno) 59531727258SDarrick J. Wong return 0; 596174edb0eSDarrick J. Wong if ((flags & XFS_FIND_RCEXT_SHARED) && tmp.rc_refcount < 2) 597174edb0eSDarrick J. Wong return 0; 598174edb0eSDarrick J. Wong if ((flags & XFS_FIND_RCEXT_COW) && tmp.rc_refcount > 1) 599174edb0eSDarrick J. Wong return 0; 60031727258SDarrick J. Wong /* We have a left extent; retrieve (or invent) the next right one */ 60131727258SDarrick J. Wong *left = tmp; 60231727258SDarrick J. Wong 60331727258SDarrick J. Wong error = xfs_btree_increment(cur, 0, &found_rec); 60431727258SDarrick J. Wong if (error) 60531727258SDarrick J. Wong goto out_error; 60631727258SDarrick J. Wong if (found_rec) { 60731727258SDarrick J. Wong error = xfs_refcount_get_rec(cur, &tmp, &found_rec); 60831727258SDarrick J. Wong if (error) 60931727258SDarrick J. Wong goto out_error; 61031727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, 61131727258SDarrick J. Wong out_error); 61231727258SDarrick J. Wong 61331727258SDarrick J. Wong /* if tmp starts at the end of our range, just use that */ 61431727258SDarrick J. Wong if (tmp.rc_startblock == agbno) 61531727258SDarrick J. Wong *cleft = tmp; 61631727258SDarrick J. Wong else { 61731727258SDarrick J. Wong /* 61831727258SDarrick J. Wong * There's a gap in the refcntbt at the start of the 61931727258SDarrick J. Wong * range we're interested in (refcount == 1) so 62031727258SDarrick J. Wong * synthesize the implied extent and pass it back. 62131727258SDarrick J. Wong * We assume here that the agbno/aglen range was 62231727258SDarrick J. Wong * passed in from a data fork extent mapping and 62331727258SDarrick J. Wong * therefore is allocated to exactly one owner. 62431727258SDarrick J. Wong */ 62531727258SDarrick J. Wong cleft->rc_startblock = agbno; 62631727258SDarrick J. Wong cleft->rc_blockcount = min(aglen, 62731727258SDarrick J. Wong tmp.rc_startblock - agbno); 62831727258SDarrick J. Wong cleft->rc_refcount = 1; 62931727258SDarrick J. Wong } 63031727258SDarrick J. Wong } else { 63131727258SDarrick J. Wong /* 63231727258SDarrick J. Wong * No extents, so pretend that there's one covering the whole 63331727258SDarrick J. Wong * range. 63431727258SDarrick J. Wong */ 63531727258SDarrick J. Wong cleft->rc_startblock = agbno; 63631727258SDarrick J. Wong cleft->rc_blockcount = aglen; 63731727258SDarrick J. Wong cleft->rc_refcount = 1; 63831727258SDarrick J. Wong } 63931727258SDarrick J. Wong trace_xfs_refcount_find_left_extent(cur->bc_mp, cur->bc_private.a.agno, 64031727258SDarrick J. Wong left, cleft, agbno); 64131727258SDarrick J. Wong return error; 64231727258SDarrick J. Wong 64331727258SDarrick J. Wong out_error: 64431727258SDarrick J. Wong trace_xfs_refcount_find_left_extent_error(cur->bc_mp, 64531727258SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 64631727258SDarrick J. Wong return error; 64731727258SDarrick J. Wong } 64831727258SDarrick J. Wong 64931727258SDarrick J. Wong /* 65031727258SDarrick J. Wong * Find the right extent and the one before it (cright). This function 65131727258SDarrick J. Wong * assumes that we've already split any extents crossing agbno + aglen. 65231727258SDarrick J. Wong */ 65331727258SDarrick J. Wong STATIC int 65431727258SDarrick J. Wong xfs_refcount_find_right_extents( 65531727258SDarrick J. Wong struct xfs_btree_cur *cur, 65631727258SDarrick J. Wong struct xfs_refcount_irec *right, 65731727258SDarrick J. Wong struct xfs_refcount_irec *cright, 65831727258SDarrick J. Wong xfs_agblock_t agbno, 659174edb0eSDarrick J. Wong xfs_extlen_t aglen, 660174edb0eSDarrick J. Wong int flags) 66131727258SDarrick J. Wong { 66231727258SDarrick J. Wong struct xfs_refcount_irec tmp; 66331727258SDarrick J. Wong int error; 66431727258SDarrick J. Wong int found_rec; 66531727258SDarrick J. Wong 66631727258SDarrick J. Wong right->rc_startblock = cright->rc_startblock = NULLAGBLOCK; 66731727258SDarrick J. Wong error = xfs_refcount_lookup_ge(cur, agbno + aglen, &found_rec); 66831727258SDarrick J. Wong if (error) 66931727258SDarrick J. Wong goto out_error; 67031727258SDarrick J. Wong if (!found_rec) 67131727258SDarrick J. Wong return 0; 67231727258SDarrick J. Wong 67331727258SDarrick J. Wong error = xfs_refcount_get_rec(cur, &tmp, &found_rec); 67431727258SDarrick J. Wong if (error) 67531727258SDarrick J. Wong goto out_error; 67631727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, out_error); 67731727258SDarrick J. Wong 67831727258SDarrick J. Wong if (tmp.rc_startblock != agbno + aglen) 67931727258SDarrick J. Wong return 0; 680174edb0eSDarrick J. Wong if ((flags & XFS_FIND_RCEXT_SHARED) && tmp.rc_refcount < 2) 681174edb0eSDarrick J. Wong return 0; 682174edb0eSDarrick J. Wong if ((flags & XFS_FIND_RCEXT_COW) && tmp.rc_refcount > 1) 683174edb0eSDarrick J. Wong return 0; 68431727258SDarrick J. Wong /* We have a right extent; retrieve (or invent) the next left one */ 68531727258SDarrick J. Wong *right = tmp; 68631727258SDarrick J. Wong 68731727258SDarrick J. Wong error = xfs_btree_decrement(cur, 0, &found_rec); 68831727258SDarrick J. Wong if (error) 68931727258SDarrick J. Wong goto out_error; 69031727258SDarrick J. Wong if (found_rec) { 69131727258SDarrick J. Wong error = xfs_refcount_get_rec(cur, &tmp, &found_rec); 69231727258SDarrick J. Wong if (error) 69331727258SDarrick J. Wong goto out_error; 69431727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, found_rec == 1, 69531727258SDarrick J. Wong out_error); 69631727258SDarrick J. Wong 69731727258SDarrick J. Wong /* if tmp ends at the end of our range, just use that */ 69831727258SDarrick J. Wong if (xfs_refc_next(&tmp) == agbno + aglen) 69931727258SDarrick J. Wong *cright = tmp; 70031727258SDarrick J. Wong else { 70131727258SDarrick J. Wong /* 70231727258SDarrick J. Wong * There's a gap in the refcntbt at the end of the 70331727258SDarrick J. Wong * range we're interested in (refcount == 1) so 70431727258SDarrick J. Wong * create the implied extent and pass it back. 70531727258SDarrick J. Wong * We assume here that the agbno/aglen range was 70631727258SDarrick J. Wong * passed in from a data fork extent mapping and 70731727258SDarrick J. Wong * therefore is allocated to exactly one owner. 70831727258SDarrick J. Wong */ 70931727258SDarrick J. Wong cright->rc_startblock = max(agbno, xfs_refc_next(&tmp)); 71031727258SDarrick J. Wong cright->rc_blockcount = right->rc_startblock - 71131727258SDarrick J. Wong cright->rc_startblock; 71231727258SDarrick J. Wong cright->rc_refcount = 1; 71331727258SDarrick J. Wong } 71431727258SDarrick J. Wong } else { 71531727258SDarrick J. Wong /* 71631727258SDarrick J. Wong * No extents, so pretend that there's one covering the whole 71731727258SDarrick J. Wong * range. 71831727258SDarrick J. Wong */ 71931727258SDarrick J. Wong cright->rc_startblock = agbno; 72031727258SDarrick J. Wong cright->rc_blockcount = aglen; 72131727258SDarrick J. Wong cright->rc_refcount = 1; 72231727258SDarrick J. Wong } 72331727258SDarrick J. Wong trace_xfs_refcount_find_right_extent(cur->bc_mp, cur->bc_private.a.agno, 72431727258SDarrick J. Wong cright, right, agbno + aglen); 72531727258SDarrick J. Wong return error; 72631727258SDarrick J. Wong 72731727258SDarrick J. Wong out_error: 72831727258SDarrick J. Wong trace_xfs_refcount_find_right_extent_error(cur->bc_mp, 72931727258SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 73031727258SDarrick J. Wong return error; 73131727258SDarrick J. Wong } 73231727258SDarrick J. Wong 73331727258SDarrick J. Wong /* Is this extent valid? */ 73431727258SDarrick J. Wong static inline bool 73531727258SDarrick J. Wong xfs_refc_valid( 73631727258SDarrick J. Wong struct xfs_refcount_irec *rc) 73731727258SDarrick J. Wong { 73831727258SDarrick J. Wong return rc->rc_startblock != NULLAGBLOCK; 73931727258SDarrick J. Wong } 74031727258SDarrick J. Wong 74131727258SDarrick J. Wong /* 74231727258SDarrick J. Wong * Try to merge with any extents on the boundaries of the adjustment range. 74331727258SDarrick J. Wong */ 74431727258SDarrick J. Wong STATIC int 74531727258SDarrick J. Wong xfs_refcount_merge_extents( 74631727258SDarrick J. Wong struct xfs_btree_cur *cur, 74731727258SDarrick J. Wong xfs_agblock_t *agbno, 74831727258SDarrick J. Wong xfs_extlen_t *aglen, 74931727258SDarrick J. Wong enum xfs_refc_adjust_op adjust, 750174edb0eSDarrick J. Wong int flags, 75131727258SDarrick J. Wong bool *shape_changed) 75231727258SDarrick J. Wong { 75331727258SDarrick J. Wong struct xfs_refcount_irec left = {0}, cleft = {0}; 75431727258SDarrick J. Wong struct xfs_refcount_irec cright = {0}, right = {0}; 75531727258SDarrick J. Wong int error; 75631727258SDarrick J. Wong unsigned long long ulen; 75731727258SDarrick J. Wong bool cequal; 75831727258SDarrick J. Wong 75931727258SDarrick J. Wong *shape_changed = false; 76031727258SDarrick J. Wong /* 76131727258SDarrick J. Wong * Find the extent just below agbno [left], just above agbno [cleft], 76231727258SDarrick J. Wong * just below (agbno + aglen) [cright], and just above (agbno + aglen) 76331727258SDarrick J. Wong * [right]. 76431727258SDarrick J. Wong */ 76531727258SDarrick J. Wong error = xfs_refcount_find_left_extents(cur, &left, &cleft, *agbno, 766174edb0eSDarrick J. Wong *aglen, flags); 76731727258SDarrick J. Wong if (error) 76831727258SDarrick J. Wong return error; 76931727258SDarrick J. Wong error = xfs_refcount_find_right_extents(cur, &right, &cright, *agbno, 770174edb0eSDarrick J. Wong *aglen, flags); 77131727258SDarrick J. Wong if (error) 77231727258SDarrick J. Wong return error; 77331727258SDarrick J. Wong 77431727258SDarrick J. Wong /* No left or right extent to merge; exit. */ 77531727258SDarrick J. Wong if (!xfs_refc_valid(&left) && !xfs_refc_valid(&right)) 77631727258SDarrick J. Wong return 0; 77731727258SDarrick J. Wong 77831727258SDarrick J. Wong cequal = (cleft.rc_startblock == cright.rc_startblock) && 77931727258SDarrick J. Wong (cleft.rc_blockcount == cright.rc_blockcount); 78031727258SDarrick J. Wong 78131727258SDarrick J. Wong /* Try to merge left, cleft, and right. cleft must == cright. */ 78231727258SDarrick J. Wong ulen = (unsigned long long)left.rc_blockcount + cleft.rc_blockcount + 78331727258SDarrick J. Wong right.rc_blockcount; 78431727258SDarrick J. Wong if (xfs_refc_valid(&left) && xfs_refc_valid(&right) && 78531727258SDarrick J. Wong xfs_refc_valid(&cleft) && xfs_refc_valid(&cright) && cequal && 78631727258SDarrick J. Wong left.rc_refcount == cleft.rc_refcount + adjust && 78731727258SDarrick J. Wong right.rc_refcount == cleft.rc_refcount + adjust && 78831727258SDarrick J. Wong ulen < MAXREFCEXTLEN) { 78931727258SDarrick J. Wong *shape_changed = true; 79031727258SDarrick J. Wong return xfs_refcount_merge_center_extents(cur, &left, &cleft, 791a1f69417SEric Sandeen &right, ulen, aglen); 79231727258SDarrick J. Wong } 79331727258SDarrick J. Wong 79431727258SDarrick J. Wong /* Try to merge left and cleft. */ 79531727258SDarrick J. Wong ulen = (unsigned long long)left.rc_blockcount + cleft.rc_blockcount; 79631727258SDarrick J. Wong if (xfs_refc_valid(&left) && xfs_refc_valid(&cleft) && 79731727258SDarrick J. Wong left.rc_refcount == cleft.rc_refcount + adjust && 79831727258SDarrick J. Wong ulen < MAXREFCEXTLEN) { 79931727258SDarrick J. Wong *shape_changed = true; 80031727258SDarrick J. Wong error = xfs_refcount_merge_left_extent(cur, &left, &cleft, 80131727258SDarrick J. Wong agbno, aglen); 80231727258SDarrick J. Wong if (error) 80331727258SDarrick J. Wong return error; 80431727258SDarrick J. Wong 80531727258SDarrick J. Wong /* 80631727258SDarrick J. Wong * If we just merged left + cleft and cleft == cright, 80731727258SDarrick J. Wong * we no longer have a cright to merge with right. We're done. 80831727258SDarrick J. Wong */ 80931727258SDarrick J. Wong if (cequal) 81031727258SDarrick J. Wong return 0; 81131727258SDarrick J. Wong } 81231727258SDarrick J. Wong 81331727258SDarrick J. Wong /* Try to merge cright and right. */ 81431727258SDarrick J. Wong ulen = (unsigned long long)right.rc_blockcount + cright.rc_blockcount; 81531727258SDarrick J. Wong if (xfs_refc_valid(&right) && xfs_refc_valid(&cright) && 81631727258SDarrick J. Wong right.rc_refcount == cright.rc_refcount + adjust && 81731727258SDarrick J. Wong ulen < MAXREFCEXTLEN) { 81831727258SDarrick J. Wong *shape_changed = true; 81931727258SDarrick J. Wong return xfs_refcount_merge_right_extent(cur, &right, &cright, 820a1f69417SEric Sandeen aglen); 82131727258SDarrick J. Wong } 82231727258SDarrick J. Wong 82331727258SDarrick J. Wong return error; 82431727258SDarrick J. Wong } 82531727258SDarrick J. Wong 82631727258SDarrick J. Wong /* 82731727258SDarrick J. Wong * XXX: This is a pretty hand-wavy estimate. The penalty for guessing 82831727258SDarrick J. Wong * true incorrectly is a shutdown FS; the penalty for guessing false 82931727258SDarrick J. Wong * incorrectly is more transaction rolls than might be necessary. 83031727258SDarrick J. Wong * Be conservative here. 83131727258SDarrick J. Wong */ 83231727258SDarrick J. Wong static bool 83331727258SDarrick J. Wong xfs_refcount_still_have_space( 83431727258SDarrick J. Wong struct xfs_btree_cur *cur) 83531727258SDarrick J. Wong { 83631727258SDarrick J. Wong unsigned long overhead; 83731727258SDarrick J. Wong 83831727258SDarrick J. Wong overhead = cur->bc_private.a.priv.refc.shape_changes * 83931727258SDarrick J. Wong xfs_allocfree_log_count(cur->bc_mp, 1); 84031727258SDarrick J. Wong overhead *= cur->bc_mp->m_sb.sb_blocksize; 84131727258SDarrick J. Wong 84231727258SDarrick J. Wong /* 84331727258SDarrick J. Wong * Only allow 2 refcount extent updates per transaction if the 84431727258SDarrick J. Wong * refcount continue update "error" has been injected. 84531727258SDarrick J. Wong */ 84631727258SDarrick J. Wong if (cur->bc_private.a.priv.refc.nr_ops > 2 && 84731727258SDarrick J. Wong XFS_TEST_ERROR(false, cur->bc_mp, 8489e24cfd0SDarrick J. Wong XFS_ERRTAG_REFCOUNT_CONTINUE_UPDATE)) 84931727258SDarrick J. Wong return false; 85031727258SDarrick J. Wong 85131727258SDarrick J. Wong if (cur->bc_private.a.priv.refc.nr_ops == 0) 85231727258SDarrick J. Wong return true; 85331727258SDarrick J. Wong else if (overhead > cur->bc_tp->t_log_res) 85431727258SDarrick J. Wong return false; 85531727258SDarrick J. Wong return cur->bc_tp->t_log_res - overhead > 856e1a4e37cSDarrick J. Wong cur->bc_private.a.priv.refc.nr_ops * XFS_REFCOUNT_ITEM_OVERHEAD; 85731727258SDarrick J. Wong } 85831727258SDarrick J. Wong 85931727258SDarrick J. Wong /* 86031727258SDarrick J. Wong * Adjust the refcounts of middle extents. At this point we should have 86131727258SDarrick J. Wong * split extents that crossed the adjustment range; merged with adjacent 86231727258SDarrick J. Wong * extents; and updated agbno/aglen to reflect the merges. Therefore, 86331727258SDarrick J. Wong * all we have to do is update the extents inside [agbno, agbno + aglen]. 86431727258SDarrick J. Wong */ 86531727258SDarrick J. Wong STATIC int 86631727258SDarrick J. Wong xfs_refcount_adjust_extents( 86731727258SDarrick J. Wong struct xfs_btree_cur *cur, 86831727258SDarrick J. Wong xfs_agblock_t *agbno, 86931727258SDarrick J. Wong xfs_extlen_t *aglen, 87031727258SDarrick J. Wong enum xfs_refc_adjust_op adj, 87131727258SDarrick J. Wong struct xfs_owner_info *oinfo) 87231727258SDarrick J. Wong { 87331727258SDarrick J. Wong struct xfs_refcount_irec ext, tmp; 87431727258SDarrick J. Wong int error; 87531727258SDarrick J. Wong int found_rec, found_tmp; 87631727258SDarrick J. Wong xfs_fsblock_t fsbno; 87731727258SDarrick J. Wong 87831727258SDarrick J. Wong /* Merging did all the work already. */ 87931727258SDarrick J. Wong if (*aglen == 0) 88031727258SDarrick J. Wong return 0; 88131727258SDarrick J. Wong 88231727258SDarrick J. Wong error = xfs_refcount_lookup_ge(cur, *agbno, &found_rec); 88331727258SDarrick J. Wong if (error) 88431727258SDarrick J. Wong goto out_error; 88531727258SDarrick J. Wong 88631727258SDarrick J. Wong while (*aglen > 0 && xfs_refcount_still_have_space(cur)) { 88731727258SDarrick J. Wong error = xfs_refcount_get_rec(cur, &ext, &found_rec); 88831727258SDarrick J. Wong if (error) 88931727258SDarrick J. Wong goto out_error; 89031727258SDarrick J. Wong if (!found_rec) { 89131727258SDarrick J. Wong ext.rc_startblock = cur->bc_mp->m_sb.sb_agblocks; 89231727258SDarrick J. Wong ext.rc_blockcount = 0; 89331727258SDarrick J. Wong ext.rc_refcount = 0; 89431727258SDarrick J. Wong } 89531727258SDarrick J. Wong 89631727258SDarrick J. Wong /* 89731727258SDarrick J. Wong * Deal with a hole in the refcount tree; if a file maps to 89831727258SDarrick J. Wong * these blocks and there's no refcountbt record, pretend that 89931727258SDarrick J. Wong * there is one with refcount == 1. 90031727258SDarrick J. Wong */ 90131727258SDarrick J. Wong if (ext.rc_startblock != *agbno) { 90231727258SDarrick J. Wong tmp.rc_startblock = *agbno; 90331727258SDarrick J. Wong tmp.rc_blockcount = min(*aglen, 90431727258SDarrick J. Wong ext.rc_startblock - *agbno); 90531727258SDarrick J. Wong tmp.rc_refcount = 1 + adj; 90631727258SDarrick J. Wong trace_xfs_refcount_modify_extent(cur->bc_mp, 90731727258SDarrick J. Wong cur->bc_private.a.agno, &tmp); 90831727258SDarrick J. Wong 90931727258SDarrick J. Wong /* 91031727258SDarrick J. Wong * Either cover the hole (increment) or 91131727258SDarrick J. Wong * delete the range (decrement). 91231727258SDarrick J. Wong */ 91331727258SDarrick J. Wong if (tmp.rc_refcount) { 91431727258SDarrick J. Wong error = xfs_refcount_insert(cur, &tmp, 91531727258SDarrick J. Wong &found_tmp); 91631727258SDarrick J. Wong if (error) 91731727258SDarrick J. Wong goto out_error; 91831727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, 91931727258SDarrick J. Wong found_tmp == 1, out_error); 92031727258SDarrick J. Wong cur->bc_private.a.priv.refc.nr_ops++; 92131727258SDarrick J. Wong } else { 92231727258SDarrick J. Wong fsbno = XFS_AGB_TO_FSB(cur->bc_mp, 92331727258SDarrick J. Wong cur->bc_private.a.agno, 92431727258SDarrick J. Wong tmp.rc_startblock); 9250f37d178SBrian Foster xfs_bmap_add_free(cur->bc_tp, fsbno, 92631727258SDarrick J. Wong tmp.rc_blockcount, oinfo); 92731727258SDarrick J. Wong } 92831727258SDarrick J. Wong 92931727258SDarrick J. Wong (*agbno) += tmp.rc_blockcount; 93031727258SDarrick J. Wong (*aglen) -= tmp.rc_blockcount; 93131727258SDarrick J. Wong 93231727258SDarrick J. Wong error = xfs_refcount_lookup_ge(cur, *agbno, 93331727258SDarrick J. Wong &found_rec); 93431727258SDarrick J. Wong if (error) 93531727258SDarrick J. Wong goto out_error; 93631727258SDarrick J. Wong } 93731727258SDarrick J. Wong 93831727258SDarrick J. Wong /* Stop if there's nothing left to modify */ 93931727258SDarrick J. Wong if (*aglen == 0 || !xfs_refcount_still_have_space(cur)) 94031727258SDarrick J. Wong break; 94131727258SDarrick J. Wong 94231727258SDarrick J. Wong /* 94331727258SDarrick J. Wong * Adjust the reference count and either update the tree 94431727258SDarrick J. Wong * (incr) or free the blocks (decr). 94531727258SDarrick J. Wong */ 94631727258SDarrick J. Wong if (ext.rc_refcount == MAXREFCOUNT) 94731727258SDarrick J. Wong goto skip; 94831727258SDarrick J. Wong ext.rc_refcount += adj; 94931727258SDarrick J. Wong trace_xfs_refcount_modify_extent(cur->bc_mp, 95031727258SDarrick J. Wong cur->bc_private.a.agno, &ext); 95131727258SDarrick J. Wong if (ext.rc_refcount > 1) { 95231727258SDarrick J. Wong error = xfs_refcount_update(cur, &ext); 95331727258SDarrick J. Wong if (error) 95431727258SDarrick J. Wong goto out_error; 95531727258SDarrick J. Wong cur->bc_private.a.priv.refc.nr_ops++; 95631727258SDarrick J. Wong } else if (ext.rc_refcount == 1) { 95731727258SDarrick J. Wong error = xfs_refcount_delete(cur, &found_rec); 95831727258SDarrick J. Wong if (error) 95931727258SDarrick J. Wong goto out_error; 96031727258SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, 96131727258SDarrick J. Wong found_rec == 1, out_error); 96231727258SDarrick J. Wong cur->bc_private.a.priv.refc.nr_ops++; 96331727258SDarrick J. Wong goto advloop; 96431727258SDarrick J. Wong } else { 96531727258SDarrick J. Wong fsbno = XFS_AGB_TO_FSB(cur->bc_mp, 96631727258SDarrick J. Wong cur->bc_private.a.agno, 96731727258SDarrick J. Wong ext.rc_startblock); 9680f37d178SBrian Foster xfs_bmap_add_free(cur->bc_tp, fsbno, ext.rc_blockcount, 9690f37d178SBrian Foster oinfo); 97031727258SDarrick J. Wong } 97131727258SDarrick J. Wong 97231727258SDarrick J. Wong skip: 97331727258SDarrick J. Wong error = xfs_btree_increment(cur, 0, &found_rec); 97431727258SDarrick J. Wong if (error) 97531727258SDarrick J. Wong goto out_error; 97631727258SDarrick J. Wong 97731727258SDarrick J. Wong advloop: 97831727258SDarrick J. Wong (*agbno) += ext.rc_blockcount; 97931727258SDarrick J. Wong (*aglen) -= ext.rc_blockcount; 98031727258SDarrick J. Wong } 98131727258SDarrick J. Wong 98231727258SDarrick J. Wong return error; 98331727258SDarrick J. Wong out_error: 98431727258SDarrick J. Wong trace_xfs_refcount_modify_extent_error(cur->bc_mp, 98531727258SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 98631727258SDarrick J. Wong return error; 98731727258SDarrick J. Wong } 98831727258SDarrick J. Wong 98931727258SDarrick J. Wong /* Adjust the reference count of a range of AG blocks. */ 99031727258SDarrick J. Wong STATIC int 99131727258SDarrick J. Wong xfs_refcount_adjust( 99231727258SDarrick J. Wong struct xfs_btree_cur *cur, 99331727258SDarrick J. Wong xfs_agblock_t agbno, 99431727258SDarrick J. Wong xfs_extlen_t aglen, 99531727258SDarrick J. Wong xfs_agblock_t *new_agbno, 99631727258SDarrick J. Wong xfs_extlen_t *new_aglen, 99731727258SDarrick J. Wong enum xfs_refc_adjust_op adj, 99831727258SDarrick J. Wong struct xfs_owner_info *oinfo) 99931727258SDarrick J. Wong { 100031727258SDarrick J. Wong bool shape_changed; 100131727258SDarrick J. Wong int shape_changes = 0; 100231727258SDarrick J. Wong int error; 100331727258SDarrick J. Wong 100431727258SDarrick J. Wong *new_agbno = agbno; 100531727258SDarrick J. Wong *new_aglen = aglen; 100631727258SDarrick J. Wong if (adj == XFS_REFCOUNT_ADJUST_INCREASE) 100731727258SDarrick J. Wong trace_xfs_refcount_increase(cur->bc_mp, cur->bc_private.a.agno, 100831727258SDarrick J. Wong agbno, aglen); 100931727258SDarrick J. Wong else 101031727258SDarrick J. Wong trace_xfs_refcount_decrease(cur->bc_mp, cur->bc_private.a.agno, 101131727258SDarrick J. Wong agbno, aglen); 101231727258SDarrick J. Wong 101331727258SDarrick J. Wong /* 101431727258SDarrick J. Wong * Ensure that no rcextents cross the boundary of the adjustment range. 101531727258SDarrick J. Wong */ 101631727258SDarrick J. Wong error = xfs_refcount_split_extent(cur, agbno, &shape_changed); 101731727258SDarrick J. Wong if (error) 101831727258SDarrick J. Wong goto out_error; 101931727258SDarrick J. Wong if (shape_changed) 102031727258SDarrick J. Wong shape_changes++; 102131727258SDarrick J. Wong 102231727258SDarrick J. Wong error = xfs_refcount_split_extent(cur, agbno + aglen, &shape_changed); 102331727258SDarrick J. Wong if (error) 102431727258SDarrick J. Wong goto out_error; 102531727258SDarrick J. Wong if (shape_changed) 102631727258SDarrick J. Wong shape_changes++; 102731727258SDarrick J. Wong 102831727258SDarrick J. Wong /* 102931727258SDarrick J. Wong * Try to merge with the left or right extents of the range. 103031727258SDarrick J. Wong */ 103131727258SDarrick J. Wong error = xfs_refcount_merge_extents(cur, new_agbno, new_aglen, adj, 1032174edb0eSDarrick J. Wong XFS_FIND_RCEXT_SHARED, &shape_changed); 103331727258SDarrick J. Wong if (error) 103431727258SDarrick J. Wong goto out_error; 103531727258SDarrick J. Wong if (shape_changed) 103631727258SDarrick J. Wong shape_changes++; 103731727258SDarrick J. Wong if (shape_changes) 103831727258SDarrick J. Wong cur->bc_private.a.priv.refc.shape_changes++; 103931727258SDarrick J. Wong 104031727258SDarrick J. Wong /* Now that we've taken care of the ends, adjust the middle extents */ 104131727258SDarrick J. Wong error = xfs_refcount_adjust_extents(cur, new_agbno, new_aglen, 10420f37d178SBrian Foster adj, oinfo); 104331727258SDarrick J. Wong if (error) 104431727258SDarrick J. Wong goto out_error; 104531727258SDarrick J. Wong 104631727258SDarrick J. Wong return 0; 104731727258SDarrick J. Wong 104831727258SDarrick J. Wong out_error: 104931727258SDarrick J. Wong trace_xfs_refcount_adjust_error(cur->bc_mp, cur->bc_private.a.agno, 105031727258SDarrick J. Wong error, _RET_IP_); 105131727258SDarrick J. Wong return error; 105231727258SDarrick J. Wong } 105333ba6129SDarrick J. Wong 105433ba6129SDarrick J. Wong /* Clean up after calling xfs_refcount_finish_one. */ 105533ba6129SDarrick J. Wong void 105633ba6129SDarrick J. Wong xfs_refcount_finish_one_cleanup( 105733ba6129SDarrick J. Wong struct xfs_trans *tp, 105833ba6129SDarrick J. Wong struct xfs_btree_cur *rcur, 105933ba6129SDarrick J. Wong int error) 106033ba6129SDarrick J. Wong { 106133ba6129SDarrick J. Wong struct xfs_buf *agbp; 106233ba6129SDarrick J. Wong 106333ba6129SDarrick J. Wong if (rcur == NULL) 106433ba6129SDarrick J. Wong return; 106533ba6129SDarrick J. Wong agbp = rcur->bc_private.a.agbp; 10660b04b6b8SDarrick J. Wong xfs_btree_del_cursor(rcur, error); 106733ba6129SDarrick J. Wong if (error) 106833ba6129SDarrick J. Wong xfs_trans_brelse(tp, agbp); 106933ba6129SDarrick J. Wong } 107033ba6129SDarrick J. Wong 107133ba6129SDarrick J. Wong /* 107233ba6129SDarrick J. Wong * Process one of the deferred refcount operations. We pass back the 107333ba6129SDarrick J. Wong * btree cursor to maintain our lock on the btree between calls. 107433ba6129SDarrick J. Wong * This saves time and eliminates a buffer deadlock between the 107533ba6129SDarrick J. Wong * superblock and the AGF because we'll always grab them in the same 107633ba6129SDarrick J. Wong * order. 107733ba6129SDarrick J. Wong */ 107833ba6129SDarrick J. Wong int 107933ba6129SDarrick J. Wong xfs_refcount_finish_one( 108033ba6129SDarrick J. Wong struct xfs_trans *tp, 108133ba6129SDarrick J. Wong enum xfs_refcount_intent_type type, 108233ba6129SDarrick J. Wong xfs_fsblock_t startblock, 108333ba6129SDarrick J. Wong xfs_extlen_t blockcount, 108433ba6129SDarrick J. Wong xfs_fsblock_t *new_fsb, 108533ba6129SDarrick J. Wong xfs_extlen_t *new_len, 108633ba6129SDarrick J. Wong struct xfs_btree_cur **pcur) 108733ba6129SDarrick J. Wong { 108833ba6129SDarrick J. Wong struct xfs_mount *mp = tp->t_mountp; 108933ba6129SDarrick J. Wong struct xfs_btree_cur *rcur; 109033ba6129SDarrick J. Wong struct xfs_buf *agbp = NULL; 109133ba6129SDarrick J. Wong int error = 0; 109233ba6129SDarrick J. Wong xfs_agnumber_t agno; 109333ba6129SDarrick J. Wong xfs_agblock_t bno; 109433ba6129SDarrick J. Wong xfs_agblock_t new_agbno; 109533ba6129SDarrick J. Wong unsigned long nr_ops = 0; 109633ba6129SDarrick J. Wong int shape_changes = 0; 109733ba6129SDarrick J. Wong 109833ba6129SDarrick J. Wong agno = XFS_FSB_TO_AGNO(mp, startblock); 109933ba6129SDarrick J. Wong ASSERT(agno != NULLAGNUMBER); 110033ba6129SDarrick J. Wong bno = XFS_FSB_TO_AGBNO(mp, startblock); 110133ba6129SDarrick J. Wong 110233ba6129SDarrick J. Wong trace_xfs_refcount_deferred(mp, XFS_FSB_TO_AGNO(mp, startblock), 110333ba6129SDarrick J. Wong type, XFS_FSB_TO_AGBNO(mp, startblock), 110433ba6129SDarrick J. Wong blockcount); 110533ba6129SDarrick J. Wong 110633ba6129SDarrick J. Wong if (XFS_TEST_ERROR(false, mp, 11079e24cfd0SDarrick J. Wong XFS_ERRTAG_REFCOUNT_FINISH_ONE)) 110833ba6129SDarrick J. Wong return -EIO; 110933ba6129SDarrick J. Wong 111033ba6129SDarrick J. Wong /* 111133ba6129SDarrick J. Wong * If we haven't gotten a cursor or the cursor AG doesn't match 111233ba6129SDarrick J. Wong * the startblock, get one now. 111333ba6129SDarrick J. Wong */ 111433ba6129SDarrick J. Wong rcur = *pcur; 111533ba6129SDarrick J. Wong if (rcur != NULL && rcur->bc_private.a.agno != agno) { 111633ba6129SDarrick J. Wong nr_ops = rcur->bc_private.a.priv.refc.nr_ops; 111733ba6129SDarrick J. Wong shape_changes = rcur->bc_private.a.priv.refc.shape_changes; 111833ba6129SDarrick J. Wong xfs_refcount_finish_one_cleanup(tp, rcur, 0); 111933ba6129SDarrick J. Wong rcur = NULL; 112033ba6129SDarrick J. Wong *pcur = NULL; 112133ba6129SDarrick J. Wong } 112233ba6129SDarrick J. Wong if (rcur == NULL) { 112333ba6129SDarrick J. Wong error = xfs_alloc_read_agf(tp->t_mountp, tp, agno, 112433ba6129SDarrick J. Wong XFS_ALLOC_FLAG_FREEING, &agbp); 112533ba6129SDarrick J. Wong if (error) 112633ba6129SDarrick J. Wong return error; 112733ba6129SDarrick J. Wong if (!agbp) 112833ba6129SDarrick J. Wong return -EFSCORRUPTED; 112933ba6129SDarrick J. Wong 1130ed7ef8e5SBrian Foster rcur = xfs_refcountbt_init_cursor(mp, tp, agbp, agno); 113133ba6129SDarrick J. Wong if (!rcur) { 113233ba6129SDarrick J. Wong error = -ENOMEM; 113333ba6129SDarrick J. Wong goto out_cur; 113433ba6129SDarrick J. Wong } 113533ba6129SDarrick J. Wong rcur->bc_private.a.priv.refc.nr_ops = nr_ops; 113633ba6129SDarrick J. Wong rcur->bc_private.a.priv.refc.shape_changes = shape_changes; 113733ba6129SDarrick J. Wong } 113833ba6129SDarrick J. Wong *pcur = rcur; 113933ba6129SDarrick J. Wong 114033ba6129SDarrick J. Wong switch (type) { 114133ba6129SDarrick J. Wong case XFS_REFCOUNT_INCREASE: 114233ba6129SDarrick J. Wong error = xfs_refcount_adjust(rcur, bno, blockcount, &new_agbno, 11430f37d178SBrian Foster new_len, XFS_REFCOUNT_ADJUST_INCREASE, NULL); 114433ba6129SDarrick J. Wong *new_fsb = XFS_AGB_TO_FSB(mp, agno, new_agbno); 114533ba6129SDarrick J. Wong break; 114633ba6129SDarrick J. Wong case XFS_REFCOUNT_DECREASE: 114733ba6129SDarrick J. Wong error = xfs_refcount_adjust(rcur, bno, blockcount, &new_agbno, 11480f37d178SBrian Foster new_len, XFS_REFCOUNT_ADJUST_DECREASE, NULL); 114933ba6129SDarrick J. Wong *new_fsb = XFS_AGB_TO_FSB(mp, agno, new_agbno); 115033ba6129SDarrick J. Wong break; 1151174edb0eSDarrick J. Wong case XFS_REFCOUNT_ALLOC_COW: 1152174edb0eSDarrick J. Wong *new_fsb = startblock + blockcount; 1153174edb0eSDarrick J. Wong *new_len = 0; 11540f37d178SBrian Foster error = __xfs_refcount_cow_alloc(rcur, bno, blockcount); 1155174edb0eSDarrick J. Wong break; 1156174edb0eSDarrick J. Wong case XFS_REFCOUNT_FREE_COW: 1157174edb0eSDarrick J. Wong *new_fsb = startblock + blockcount; 1158174edb0eSDarrick J. Wong *new_len = 0; 11590f37d178SBrian Foster error = __xfs_refcount_cow_free(rcur, bno, blockcount); 1160174edb0eSDarrick J. Wong break; 116133ba6129SDarrick J. Wong default: 116233ba6129SDarrick J. Wong ASSERT(0); 116333ba6129SDarrick J. Wong error = -EFSCORRUPTED; 116433ba6129SDarrick J. Wong } 116533ba6129SDarrick J. Wong if (!error && *new_len > 0) 116633ba6129SDarrick J. Wong trace_xfs_refcount_finish_one_leftover(mp, agno, type, 116733ba6129SDarrick J. Wong bno, blockcount, new_agbno, *new_len); 116833ba6129SDarrick J. Wong return error; 116933ba6129SDarrick J. Wong 117033ba6129SDarrick J. Wong out_cur: 117133ba6129SDarrick J. Wong xfs_trans_brelse(tp, agbp); 117233ba6129SDarrick J. Wong 117333ba6129SDarrick J. Wong return error; 117433ba6129SDarrick J. Wong } 117533ba6129SDarrick J. Wong 117633ba6129SDarrick J. Wong /* 117733ba6129SDarrick J. Wong * Record a refcount intent for later processing. 117833ba6129SDarrick J. Wong */ 117933ba6129SDarrick J. Wong static int 118033ba6129SDarrick J. Wong __xfs_refcount_add( 11810f37d178SBrian Foster struct xfs_trans *tp, 118233ba6129SDarrick J. Wong enum xfs_refcount_intent_type type, 118333ba6129SDarrick J. Wong xfs_fsblock_t startblock, 118433ba6129SDarrick J. Wong xfs_extlen_t blockcount) 118533ba6129SDarrick J. Wong { 118633ba6129SDarrick J. Wong struct xfs_refcount_intent *ri; 118733ba6129SDarrick J. Wong 11880f37d178SBrian Foster trace_xfs_refcount_defer(tp->t_mountp, 11890f37d178SBrian Foster XFS_FSB_TO_AGNO(tp->t_mountp, startblock), 11900f37d178SBrian Foster type, XFS_FSB_TO_AGBNO(tp->t_mountp, startblock), 119133ba6129SDarrick J. Wong blockcount); 119233ba6129SDarrick J. Wong 119333ba6129SDarrick J. Wong ri = kmem_alloc(sizeof(struct xfs_refcount_intent), 119433ba6129SDarrick J. Wong KM_SLEEP | KM_NOFS); 119533ba6129SDarrick J. Wong INIT_LIST_HEAD(&ri->ri_list); 119633ba6129SDarrick J. Wong ri->ri_type = type; 119733ba6129SDarrick J. Wong ri->ri_startblock = startblock; 119833ba6129SDarrick J. Wong ri->ri_blockcount = blockcount; 119933ba6129SDarrick J. Wong 12000f37d178SBrian Foster xfs_defer_add(tp, XFS_DEFER_OPS_TYPE_REFCOUNT, &ri->ri_list); 120133ba6129SDarrick J. Wong return 0; 120233ba6129SDarrick J. Wong } 120333ba6129SDarrick J. Wong 120433ba6129SDarrick J. Wong /* 120533ba6129SDarrick J. Wong * Increase the reference count of the blocks backing a file's extent. 120633ba6129SDarrick J. Wong */ 120733ba6129SDarrick J. Wong int 120833ba6129SDarrick J. Wong xfs_refcount_increase_extent( 12090f37d178SBrian Foster struct xfs_trans *tp, 121033ba6129SDarrick J. Wong struct xfs_bmbt_irec *PREV) 121133ba6129SDarrick J. Wong { 12120f37d178SBrian Foster if (!xfs_sb_version_hasreflink(&tp->t_mountp->m_sb)) 121333ba6129SDarrick J. Wong return 0; 121433ba6129SDarrick J. Wong 12150f37d178SBrian Foster return __xfs_refcount_add(tp, XFS_REFCOUNT_INCREASE, 121633ba6129SDarrick J. Wong PREV->br_startblock, PREV->br_blockcount); 121733ba6129SDarrick J. Wong } 121833ba6129SDarrick J. Wong 121933ba6129SDarrick J. Wong /* 122033ba6129SDarrick J. Wong * Decrease the reference count of the blocks backing a file's extent. 122133ba6129SDarrick J. Wong */ 122233ba6129SDarrick J. Wong int 122333ba6129SDarrick J. Wong xfs_refcount_decrease_extent( 12240f37d178SBrian Foster struct xfs_trans *tp, 122533ba6129SDarrick J. Wong struct xfs_bmbt_irec *PREV) 122633ba6129SDarrick J. Wong { 12270f37d178SBrian Foster if (!xfs_sb_version_hasreflink(&tp->t_mountp->m_sb)) 122833ba6129SDarrick J. Wong return 0; 122933ba6129SDarrick J. Wong 12300f37d178SBrian Foster return __xfs_refcount_add(tp, XFS_REFCOUNT_DECREASE, 123133ba6129SDarrick J. Wong PREV->br_startblock, PREV->br_blockcount); 123233ba6129SDarrick J. Wong } 1233350a27a6SDarrick J. Wong 1234350a27a6SDarrick J. Wong /* 1235350a27a6SDarrick J. Wong * Given an AG extent, find the lowest-numbered run of shared blocks 1236350a27a6SDarrick J. Wong * within that range and return the range in fbno/flen. If 1237350a27a6SDarrick J. Wong * find_end_of_shared is set, return the longest contiguous extent of 1238350a27a6SDarrick J. Wong * shared blocks; if not, just return the first extent we find. If no 1239350a27a6SDarrick J. Wong * shared blocks are found, fbno and flen will be set to NULLAGBLOCK 1240350a27a6SDarrick J. Wong * and 0, respectively. 1241350a27a6SDarrick J. Wong */ 1242350a27a6SDarrick J. Wong int 1243350a27a6SDarrick J. Wong xfs_refcount_find_shared( 1244350a27a6SDarrick J. Wong struct xfs_btree_cur *cur, 1245350a27a6SDarrick J. Wong xfs_agblock_t agbno, 1246350a27a6SDarrick J. Wong xfs_extlen_t aglen, 1247350a27a6SDarrick J. Wong xfs_agblock_t *fbno, 1248350a27a6SDarrick J. Wong xfs_extlen_t *flen, 1249350a27a6SDarrick J. Wong bool find_end_of_shared) 1250350a27a6SDarrick J. Wong { 1251350a27a6SDarrick J. Wong struct xfs_refcount_irec tmp; 1252350a27a6SDarrick J. Wong int i; 1253350a27a6SDarrick J. Wong int have; 1254350a27a6SDarrick J. Wong int error; 1255350a27a6SDarrick J. Wong 1256350a27a6SDarrick J. Wong trace_xfs_refcount_find_shared(cur->bc_mp, cur->bc_private.a.agno, 1257350a27a6SDarrick J. Wong agbno, aglen); 1258350a27a6SDarrick J. Wong 1259350a27a6SDarrick J. Wong /* By default, skip the whole range */ 1260350a27a6SDarrick J. Wong *fbno = NULLAGBLOCK; 1261350a27a6SDarrick J. Wong *flen = 0; 1262350a27a6SDarrick J. Wong 1263350a27a6SDarrick J. Wong /* Try to find a refcount extent that crosses the start */ 1264350a27a6SDarrick J. Wong error = xfs_refcount_lookup_le(cur, agbno, &have); 1265350a27a6SDarrick J. Wong if (error) 1266350a27a6SDarrick J. Wong goto out_error; 1267350a27a6SDarrick J. Wong if (!have) { 1268350a27a6SDarrick J. Wong /* No left extent, look at the next one */ 1269350a27a6SDarrick J. Wong error = xfs_btree_increment(cur, 0, &have); 1270350a27a6SDarrick J. Wong if (error) 1271350a27a6SDarrick J. Wong goto out_error; 1272350a27a6SDarrick J. Wong if (!have) 1273350a27a6SDarrick J. Wong goto done; 1274350a27a6SDarrick J. Wong } 1275350a27a6SDarrick J. Wong error = xfs_refcount_get_rec(cur, &tmp, &i); 1276350a27a6SDarrick J. Wong if (error) 1277350a27a6SDarrick J. Wong goto out_error; 1278350a27a6SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, i == 1, out_error); 1279350a27a6SDarrick J. Wong 1280350a27a6SDarrick J. Wong /* If the extent ends before the start, look at the next one */ 1281350a27a6SDarrick J. Wong if (tmp.rc_startblock + tmp.rc_blockcount <= agbno) { 1282350a27a6SDarrick J. Wong error = xfs_btree_increment(cur, 0, &have); 1283350a27a6SDarrick J. Wong if (error) 1284350a27a6SDarrick J. Wong goto out_error; 1285350a27a6SDarrick J. Wong if (!have) 1286350a27a6SDarrick J. Wong goto done; 1287350a27a6SDarrick J. Wong error = xfs_refcount_get_rec(cur, &tmp, &i); 1288350a27a6SDarrick J. Wong if (error) 1289350a27a6SDarrick J. Wong goto out_error; 1290350a27a6SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, i == 1, out_error); 1291350a27a6SDarrick J. Wong } 1292350a27a6SDarrick J. Wong 1293350a27a6SDarrick J. Wong /* If the extent starts after the range we want, bail out */ 1294350a27a6SDarrick J. Wong if (tmp.rc_startblock >= agbno + aglen) 1295350a27a6SDarrick J. Wong goto done; 1296350a27a6SDarrick J. Wong 1297350a27a6SDarrick J. Wong /* We found the start of a shared extent! */ 1298350a27a6SDarrick J. Wong if (tmp.rc_startblock < agbno) { 1299350a27a6SDarrick J. Wong tmp.rc_blockcount -= (agbno - tmp.rc_startblock); 1300350a27a6SDarrick J. Wong tmp.rc_startblock = agbno; 1301350a27a6SDarrick J. Wong } 1302350a27a6SDarrick J. Wong 1303350a27a6SDarrick J. Wong *fbno = tmp.rc_startblock; 1304350a27a6SDarrick J. Wong *flen = min(tmp.rc_blockcount, agbno + aglen - *fbno); 1305350a27a6SDarrick J. Wong if (!find_end_of_shared) 1306350a27a6SDarrick J. Wong goto done; 1307350a27a6SDarrick J. Wong 1308350a27a6SDarrick J. Wong /* Otherwise, find the end of this shared extent */ 1309350a27a6SDarrick J. Wong while (*fbno + *flen < agbno + aglen) { 1310350a27a6SDarrick J. Wong error = xfs_btree_increment(cur, 0, &have); 1311350a27a6SDarrick J. Wong if (error) 1312350a27a6SDarrick J. Wong goto out_error; 1313350a27a6SDarrick J. Wong if (!have) 1314350a27a6SDarrick J. Wong break; 1315350a27a6SDarrick J. Wong error = xfs_refcount_get_rec(cur, &tmp, &i); 1316350a27a6SDarrick J. Wong if (error) 1317350a27a6SDarrick J. Wong goto out_error; 1318350a27a6SDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, i == 1, out_error); 1319350a27a6SDarrick J. Wong if (tmp.rc_startblock >= agbno + aglen || 1320350a27a6SDarrick J. Wong tmp.rc_startblock != *fbno + *flen) 1321350a27a6SDarrick J. Wong break; 1322350a27a6SDarrick J. Wong *flen = min(*flen + tmp.rc_blockcount, agbno + aglen - *fbno); 1323350a27a6SDarrick J. Wong } 1324350a27a6SDarrick J. Wong 1325350a27a6SDarrick J. Wong done: 1326350a27a6SDarrick J. Wong trace_xfs_refcount_find_shared_result(cur->bc_mp, 1327350a27a6SDarrick J. Wong cur->bc_private.a.agno, *fbno, *flen); 1328350a27a6SDarrick J. Wong 1329350a27a6SDarrick J. Wong out_error: 1330350a27a6SDarrick J. Wong if (error) 1331350a27a6SDarrick J. Wong trace_xfs_refcount_find_shared_error(cur->bc_mp, 1332350a27a6SDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 1333350a27a6SDarrick J. Wong return error; 1334350a27a6SDarrick J. Wong } 1335174edb0eSDarrick J. Wong 1336174edb0eSDarrick J. Wong /* 1337174edb0eSDarrick J. Wong * Recovering CoW Blocks After a Crash 1338174edb0eSDarrick J. Wong * 1339174edb0eSDarrick J. Wong * Due to the way that the copy on write mechanism works, there's a window of 1340174edb0eSDarrick J. Wong * opportunity in which we can lose track of allocated blocks during a crash. 1341174edb0eSDarrick J. Wong * Because CoW uses delayed allocation in the in-core CoW fork, writeback 1342174edb0eSDarrick J. Wong * causes blocks to be allocated and stored in the CoW fork. The blocks are 1343174edb0eSDarrick J. Wong * no longer in the free space btree but are not otherwise recorded anywhere 1344174edb0eSDarrick J. Wong * until the write completes and the blocks are mapped into the file. A crash 1345174edb0eSDarrick J. Wong * in between allocation and remapping results in the replacement blocks being 1346174edb0eSDarrick J. Wong * lost. This situation is exacerbated by the CoW extent size hint because 1347174edb0eSDarrick J. Wong * allocations can hang around for long time. 1348174edb0eSDarrick J. Wong * 1349174edb0eSDarrick J. Wong * However, there is a place where we can record these allocations before they 1350174edb0eSDarrick J. Wong * become mappings -- the reference count btree. The btree does not record 1351174edb0eSDarrick J. Wong * extents with refcount == 1, so we can record allocations with a refcount of 1352174edb0eSDarrick J. Wong * 1. Blocks being used for CoW writeout cannot be shared, so there should be 1353174edb0eSDarrick J. Wong * no conflict with shared block records. These mappings should be created 1354174edb0eSDarrick J. Wong * when we allocate blocks to the CoW fork and deleted when they're removed 1355174edb0eSDarrick J. Wong * from the CoW fork. 1356174edb0eSDarrick J. Wong * 1357174edb0eSDarrick J. Wong * Minor nit: records for in-progress CoW allocations and records for shared 1358174edb0eSDarrick J. Wong * extents must never be merged, to preserve the property that (except for CoW 1359174edb0eSDarrick J. Wong * allocations) there are no refcount btree entries with refcount == 1. The 1360174edb0eSDarrick J. Wong * only time this could potentially happen is when unsharing a block that's 1361174edb0eSDarrick J. Wong * adjacent to CoW allocations, so we must be careful to avoid this. 1362174edb0eSDarrick J. Wong * 1363174edb0eSDarrick J. Wong * At mount time we recover lost CoW allocations by searching the refcount 1364174edb0eSDarrick J. Wong * btree for these refcount == 1 mappings. These represent CoW allocations 1365174edb0eSDarrick J. Wong * that were in progress at the time the filesystem went down, so we can free 1366174edb0eSDarrick J. Wong * them to get the space back. 1367174edb0eSDarrick J. Wong * 1368174edb0eSDarrick J. Wong * This mechanism is superior to creating EFIs for unmapped CoW extents for 1369174edb0eSDarrick J. Wong * several reasons -- first, EFIs pin the tail of the log and would have to be 1370174edb0eSDarrick J. Wong * periodically relogged to avoid filling up the log. Second, CoW completions 1371174edb0eSDarrick J. Wong * will have to file an EFD and create new EFIs for whatever remains in the 1372174edb0eSDarrick J. Wong * CoW fork; this partially takes care of (1) but extent-size reservations 1373174edb0eSDarrick J. Wong * will have to periodically relog even if there's no writeout in progress. 1374174edb0eSDarrick J. Wong * This can happen if the CoW extent size hint is set, which you really want. 1375174edb0eSDarrick J. Wong * Third, EFIs cannot currently be automatically relogged into newer 1376174edb0eSDarrick J. Wong * transactions to advance the log tail. Fourth, stuffing the log full of 1377174edb0eSDarrick J. Wong * EFIs places an upper bound on the number of CoW allocations that can be 1378174edb0eSDarrick J. Wong * held filesystem-wide at any given time. Recording them in the refcount 1379174edb0eSDarrick J. Wong * btree doesn't require us to maintain any state in memory and doesn't pin 1380174edb0eSDarrick J. Wong * the log. 1381174edb0eSDarrick J. Wong */ 1382174edb0eSDarrick J. Wong /* 1383174edb0eSDarrick J. Wong * Adjust the refcounts of CoW allocations. These allocations are "magic" 1384174edb0eSDarrick J. Wong * in that they're not referenced anywhere else in the filesystem, so we 1385174edb0eSDarrick J. Wong * stash them in the refcount btree with a refcount of 1 until either file 1386174edb0eSDarrick J. Wong * remapping (or CoW cancellation) happens. 1387174edb0eSDarrick J. Wong */ 1388174edb0eSDarrick J. Wong STATIC int 1389174edb0eSDarrick J. Wong xfs_refcount_adjust_cow_extents( 1390174edb0eSDarrick J. Wong struct xfs_btree_cur *cur, 1391174edb0eSDarrick J. Wong xfs_agblock_t agbno, 1392174edb0eSDarrick J. Wong xfs_extlen_t aglen, 1393a1f69417SEric Sandeen enum xfs_refc_adjust_op adj) 1394174edb0eSDarrick J. Wong { 1395174edb0eSDarrick J. Wong struct xfs_refcount_irec ext, tmp; 1396174edb0eSDarrick J. Wong int error; 1397174edb0eSDarrick J. Wong int found_rec, found_tmp; 1398174edb0eSDarrick J. Wong 1399174edb0eSDarrick J. Wong if (aglen == 0) 1400174edb0eSDarrick J. Wong return 0; 1401174edb0eSDarrick J. Wong 1402174edb0eSDarrick J. Wong /* Find any overlapping refcount records */ 1403174edb0eSDarrick J. Wong error = xfs_refcount_lookup_ge(cur, agbno, &found_rec); 1404174edb0eSDarrick J. Wong if (error) 1405174edb0eSDarrick J. Wong goto out_error; 1406174edb0eSDarrick J. Wong error = xfs_refcount_get_rec(cur, &ext, &found_rec); 1407174edb0eSDarrick J. Wong if (error) 1408174edb0eSDarrick J. Wong goto out_error; 1409174edb0eSDarrick J. Wong if (!found_rec) { 1410174edb0eSDarrick J. Wong ext.rc_startblock = cur->bc_mp->m_sb.sb_agblocks + 1411174edb0eSDarrick J. Wong XFS_REFC_COW_START; 1412174edb0eSDarrick J. Wong ext.rc_blockcount = 0; 1413174edb0eSDarrick J. Wong ext.rc_refcount = 0; 1414174edb0eSDarrick J. Wong } 1415174edb0eSDarrick J. Wong 1416174edb0eSDarrick J. Wong switch (adj) { 1417174edb0eSDarrick J. Wong case XFS_REFCOUNT_ADJUST_COW_ALLOC: 1418174edb0eSDarrick J. Wong /* Adding a CoW reservation, there should be nothing here. */ 1419174edb0eSDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, 1420174edb0eSDarrick J. Wong ext.rc_startblock >= agbno + aglen, out_error); 1421174edb0eSDarrick J. Wong 1422174edb0eSDarrick J. Wong tmp.rc_startblock = agbno; 1423174edb0eSDarrick J. Wong tmp.rc_blockcount = aglen; 1424174edb0eSDarrick J. Wong tmp.rc_refcount = 1; 1425174edb0eSDarrick J. Wong trace_xfs_refcount_modify_extent(cur->bc_mp, 1426174edb0eSDarrick J. Wong cur->bc_private.a.agno, &tmp); 1427174edb0eSDarrick J. Wong 1428174edb0eSDarrick J. Wong error = xfs_refcount_insert(cur, &tmp, 1429174edb0eSDarrick J. Wong &found_tmp); 1430174edb0eSDarrick J. Wong if (error) 1431174edb0eSDarrick J. Wong goto out_error; 1432174edb0eSDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, 1433174edb0eSDarrick J. Wong found_tmp == 1, out_error); 1434174edb0eSDarrick J. Wong break; 1435174edb0eSDarrick J. Wong case XFS_REFCOUNT_ADJUST_COW_FREE: 1436174edb0eSDarrick J. Wong /* Removing a CoW reservation, there should be one extent. */ 1437174edb0eSDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, 1438174edb0eSDarrick J. Wong ext.rc_startblock == agbno, out_error); 1439174edb0eSDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, 1440174edb0eSDarrick J. Wong ext.rc_blockcount == aglen, out_error); 1441174edb0eSDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, 1442174edb0eSDarrick J. Wong ext.rc_refcount == 1, out_error); 1443174edb0eSDarrick J. Wong 1444174edb0eSDarrick J. Wong ext.rc_refcount = 0; 1445174edb0eSDarrick J. Wong trace_xfs_refcount_modify_extent(cur->bc_mp, 1446174edb0eSDarrick J. Wong cur->bc_private.a.agno, &ext); 1447174edb0eSDarrick J. Wong error = xfs_refcount_delete(cur, &found_rec); 1448174edb0eSDarrick J. Wong if (error) 1449174edb0eSDarrick J. Wong goto out_error; 1450174edb0eSDarrick J. Wong XFS_WANT_CORRUPTED_GOTO(cur->bc_mp, 1451174edb0eSDarrick J. Wong found_rec == 1, out_error); 1452174edb0eSDarrick J. Wong break; 1453174edb0eSDarrick J. Wong default: 1454174edb0eSDarrick J. Wong ASSERT(0); 1455174edb0eSDarrick J. Wong } 1456174edb0eSDarrick J. Wong 1457174edb0eSDarrick J. Wong return error; 1458174edb0eSDarrick J. Wong out_error: 1459174edb0eSDarrick J. Wong trace_xfs_refcount_modify_extent_error(cur->bc_mp, 1460174edb0eSDarrick J. Wong cur->bc_private.a.agno, error, _RET_IP_); 1461174edb0eSDarrick J. Wong return error; 1462174edb0eSDarrick J. Wong } 1463174edb0eSDarrick J. Wong 1464174edb0eSDarrick J. Wong /* 1465174edb0eSDarrick J. Wong * Add or remove refcount btree entries for CoW reservations. 1466174edb0eSDarrick J. Wong */ 1467174edb0eSDarrick J. Wong STATIC int 1468174edb0eSDarrick J. Wong xfs_refcount_adjust_cow( 1469174edb0eSDarrick J. Wong struct xfs_btree_cur *cur, 1470174edb0eSDarrick J. Wong xfs_agblock_t agbno, 1471174edb0eSDarrick J. Wong xfs_extlen_t aglen, 1472a1f69417SEric Sandeen enum xfs_refc_adjust_op adj) 1473174edb0eSDarrick J. Wong { 1474174edb0eSDarrick J. Wong bool shape_changed; 1475174edb0eSDarrick J. Wong int error; 1476174edb0eSDarrick J. Wong 1477174edb0eSDarrick J. Wong agbno += XFS_REFC_COW_START; 1478174edb0eSDarrick J. Wong 1479174edb0eSDarrick J. Wong /* 1480174edb0eSDarrick J. Wong * Ensure that no rcextents cross the boundary of the adjustment range. 1481174edb0eSDarrick J. Wong */ 1482174edb0eSDarrick J. Wong error = xfs_refcount_split_extent(cur, agbno, &shape_changed); 1483174edb0eSDarrick J. Wong if (error) 1484174edb0eSDarrick J. Wong goto out_error; 1485174edb0eSDarrick J. Wong 1486174edb0eSDarrick J. Wong error = xfs_refcount_split_extent(cur, agbno + aglen, &shape_changed); 1487174edb0eSDarrick J. Wong if (error) 1488174edb0eSDarrick J. Wong goto out_error; 1489174edb0eSDarrick J. Wong 1490174edb0eSDarrick J. Wong /* 1491174edb0eSDarrick J. Wong * Try to merge with the left or right extents of the range. 1492174edb0eSDarrick J. Wong */ 1493174edb0eSDarrick J. Wong error = xfs_refcount_merge_extents(cur, &agbno, &aglen, adj, 1494174edb0eSDarrick J. Wong XFS_FIND_RCEXT_COW, &shape_changed); 1495174edb0eSDarrick J. Wong if (error) 1496174edb0eSDarrick J. Wong goto out_error; 1497174edb0eSDarrick J. Wong 1498174edb0eSDarrick J. Wong /* Now that we've taken care of the ends, adjust the middle extents */ 1499a1f69417SEric Sandeen error = xfs_refcount_adjust_cow_extents(cur, agbno, aglen, adj); 1500174edb0eSDarrick J. Wong if (error) 1501174edb0eSDarrick J. Wong goto out_error; 1502174edb0eSDarrick J. Wong 1503174edb0eSDarrick J. Wong return 0; 1504174edb0eSDarrick J. Wong 1505174edb0eSDarrick J. Wong out_error: 1506174edb0eSDarrick J. Wong trace_xfs_refcount_adjust_cow_error(cur->bc_mp, cur->bc_private.a.agno, 1507174edb0eSDarrick J. Wong error, _RET_IP_); 1508174edb0eSDarrick J. Wong return error; 1509174edb0eSDarrick J. Wong } 1510174edb0eSDarrick J. Wong 1511174edb0eSDarrick J. Wong /* 1512174edb0eSDarrick J. Wong * Record a CoW allocation in the refcount btree. 1513174edb0eSDarrick J. Wong */ 1514174edb0eSDarrick J. Wong STATIC int 1515174edb0eSDarrick J. Wong __xfs_refcount_cow_alloc( 1516174edb0eSDarrick J. Wong struct xfs_btree_cur *rcur, 1517174edb0eSDarrick J. Wong xfs_agblock_t agbno, 15180f37d178SBrian Foster xfs_extlen_t aglen) 1519174edb0eSDarrick J. Wong { 1520174edb0eSDarrick J. Wong trace_xfs_refcount_cow_increase(rcur->bc_mp, rcur->bc_private.a.agno, 1521174edb0eSDarrick J. Wong agbno, aglen); 1522174edb0eSDarrick J. Wong 1523174edb0eSDarrick J. Wong /* Add refcount btree reservation */ 15240525e952SDarrick J. Wong return xfs_refcount_adjust_cow(rcur, agbno, aglen, 1525a1f69417SEric Sandeen XFS_REFCOUNT_ADJUST_COW_ALLOC); 1526174edb0eSDarrick J. Wong } 1527174edb0eSDarrick J. Wong 1528174edb0eSDarrick J. Wong /* 1529174edb0eSDarrick J. Wong * Remove a CoW allocation from the refcount btree. 1530174edb0eSDarrick J. Wong */ 1531174edb0eSDarrick J. Wong STATIC int 1532174edb0eSDarrick J. Wong __xfs_refcount_cow_free( 1533174edb0eSDarrick J. Wong struct xfs_btree_cur *rcur, 1534174edb0eSDarrick J. Wong xfs_agblock_t agbno, 15350f37d178SBrian Foster xfs_extlen_t aglen) 1536174edb0eSDarrick J. Wong { 1537174edb0eSDarrick J. Wong trace_xfs_refcount_cow_decrease(rcur->bc_mp, rcur->bc_private.a.agno, 1538174edb0eSDarrick J. Wong agbno, aglen); 1539174edb0eSDarrick J. Wong 1540174edb0eSDarrick J. Wong /* Remove refcount btree reservation */ 15410525e952SDarrick J. Wong return xfs_refcount_adjust_cow(rcur, agbno, aglen, 1542a1f69417SEric Sandeen XFS_REFCOUNT_ADJUST_COW_FREE); 1543174edb0eSDarrick J. Wong } 1544174edb0eSDarrick J. Wong 1545174edb0eSDarrick J. Wong /* Record a CoW staging extent in the refcount btree. */ 1546174edb0eSDarrick J. Wong int 1547174edb0eSDarrick J. Wong xfs_refcount_alloc_cow_extent( 15480f37d178SBrian Foster struct xfs_trans *tp, 1549174edb0eSDarrick J. Wong xfs_fsblock_t fsb, 1550174edb0eSDarrick J. Wong xfs_extlen_t len) 1551174edb0eSDarrick J. Wong { 15520f37d178SBrian Foster struct xfs_mount *mp = tp->t_mountp; 15530525e952SDarrick J. Wong int error; 15540525e952SDarrick J. Wong 1555174edb0eSDarrick J. Wong if (!xfs_sb_version_hasreflink(&mp->m_sb)) 1556174edb0eSDarrick J. Wong return 0; 1557174edb0eSDarrick J. Wong 15580f37d178SBrian Foster error = __xfs_refcount_add(tp, XFS_REFCOUNT_ALLOC_COW, fsb, len); 15590525e952SDarrick J. Wong if (error) 15600525e952SDarrick J. Wong return error; 15610525e952SDarrick J. Wong 15620525e952SDarrick J. Wong /* Add rmap entry */ 15630f37d178SBrian Foster return xfs_rmap_alloc_extent(tp, XFS_FSB_TO_AGNO(mp, fsb), 15640525e952SDarrick J. Wong XFS_FSB_TO_AGBNO(mp, fsb), len, XFS_RMAP_OWN_COW); 1565174edb0eSDarrick J. Wong } 1566174edb0eSDarrick J. Wong 1567174edb0eSDarrick J. Wong /* Forget a CoW staging event in the refcount btree. */ 1568174edb0eSDarrick J. Wong int 1569174edb0eSDarrick J. Wong xfs_refcount_free_cow_extent( 15700f37d178SBrian Foster struct xfs_trans *tp, 1571174edb0eSDarrick J. Wong xfs_fsblock_t fsb, 1572174edb0eSDarrick J. Wong xfs_extlen_t len) 1573174edb0eSDarrick J. Wong { 15740f37d178SBrian Foster struct xfs_mount *mp = tp->t_mountp; 15750525e952SDarrick J. Wong int error; 15760525e952SDarrick J. Wong 1577174edb0eSDarrick J. Wong if (!xfs_sb_version_hasreflink(&mp->m_sb)) 1578174edb0eSDarrick J. Wong return 0; 1579174edb0eSDarrick J. Wong 15800525e952SDarrick J. Wong /* Remove rmap entry */ 15810f37d178SBrian Foster error = xfs_rmap_free_extent(tp, XFS_FSB_TO_AGNO(mp, fsb), 15820525e952SDarrick J. Wong XFS_FSB_TO_AGBNO(mp, fsb), len, XFS_RMAP_OWN_COW); 15830525e952SDarrick J. Wong if (error) 15840525e952SDarrick J. Wong return error; 15850525e952SDarrick J. Wong 15860f37d178SBrian Foster return __xfs_refcount_add(tp, XFS_REFCOUNT_FREE_COW, fsb, len); 1587174edb0eSDarrick J. Wong } 1588174edb0eSDarrick J. Wong 1589174edb0eSDarrick J. Wong struct xfs_refcount_recovery { 1590174edb0eSDarrick J. Wong struct list_head rr_list; 1591174edb0eSDarrick J. Wong struct xfs_refcount_irec rr_rrec; 1592174edb0eSDarrick J. Wong }; 1593174edb0eSDarrick J. Wong 1594174edb0eSDarrick J. Wong /* Stuff an extent on the recovery list. */ 1595174edb0eSDarrick J. Wong STATIC int 1596174edb0eSDarrick J. Wong xfs_refcount_recover_extent( 1597174edb0eSDarrick J. Wong struct xfs_btree_cur *cur, 1598174edb0eSDarrick J. Wong union xfs_btree_rec *rec, 1599174edb0eSDarrick J. Wong void *priv) 1600174edb0eSDarrick J. Wong { 1601174edb0eSDarrick J. Wong struct list_head *debris = priv; 1602174edb0eSDarrick J. Wong struct xfs_refcount_recovery *rr; 1603174edb0eSDarrick J. Wong 1604174edb0eSDarrick J. Wong if (be32_to_cpu(rec->refc.rc_refcount) != 1) 1605174edb0eSDarrick J. Wong return -EFSCORRUPTED; 1606174edb0eSDarrick J. Wong 1607174edb0eSDarrick J. Wong rr = kmem_alloc(sizeof(struct xfs_refcount_recovery), KM_SLEEP); 1608174edb0eSDarrick J. Wong xfs_refcount_btrec_to_irec(rec, &rr->rr_rrec); 1609174edb0eSDarrick J. Wong list_add_tail(&rr->rr_list, debris); 1610174edb0eSDarrick J. Wong 1611174edb0eSDarrick J. Wong return 0; 1612174edb0eSDarrick J. Wong } 1613174edb0eSDarrick J. Wong 1614174edb0eSDarrick J. Wong /* Find and remove leftover CoW reservations. */ 1615174edb0eSDarrick J. Wong int 1616174edb0eSDarrick J. Wong xfs_refcount_recover_cow_leftovers( 1617174edb0eSDarrick J. Wong struct xfs_mount *mp, 1618174edb0eSDarrick J. Wong xfs_agnumber_t agno) 1619174edb0eSDarrick J. Wong { 1620174edb0eSDarrick J. Wong struct xfs_trans *tp; 1621174edb0eSDarrick J. Wong struct xfs_btree_cur *cur; 1622174edb0eSDarrick J. Wong struct xfs_buf *agbp; 1623174edb0eSDarrick J. Wong struct xfs_refcount_recovery *rr, *n; 1624174edb0eSDarrick J. Wong struct list_head debris; 1625174edb0eSDarrick J. Wong union xfs_btree_irec low; 1626174edb0eSDarrick J. Wong union xfs_btree_irec high; 1627174edb0eSDarrick J. Wong xfs_fsblock_t fsb; 1628174edb0eSDarrick J. Wong xfs_agblock_t agbno; 1629174edb0eSDarrick J. Wong int error; 1630174edb0eSDarrick J. Wong 1631174edb0eSDarrick J. Wong if (mp->m_sb.sb_agblocks >= XFS_REFC_COW_START) 1632174edb0eSDarrick J. Wong return -EOPNOTSUPP; 1633174edb0eSDarrick J. Wong 16343ecb3ac7SDarrick J. Wong INIT_LIST_HEAD(&debris); 16353ecb3ac7SDarrick J. Wong 16363ecb3ac7SDarrick J. Wong /* 16373ecb3ac7SDarrick J. Wong * In this first part, we use an empty transaction to gather up 16383ecb3ac7SDarrick J. Wong * all the leftover CoW extents so that we can subsequently 16393ecb3ac7SDarrick J. Wong * delete them. The empty transaction is used to avoid 16403ecb3ac7SDarrick J. Wong * a buffer lock deadlock if there happens to be a loop in the 16413ecb3ac7SDarrick J. Wong * refcountbt because we're allowed to re-grab a buffer that is 16423ecb3ac7SDarrick J. Wong * already attached to our transaction. When we're done 16433ecb3ac7SDarrick J. Wong * recording the CoW debris we cancel the (empty) transaction 16443ecb3ac7SDarrick J. Wong * and everything goes away cleanly. 16453ecb3ac7SDarrick J. Wong */ 16463ecb3ac7SDarrick J. Wong error = xfs_trans_alloc_empty(mp, &tp); 1647174edb0eSDarrick J. Wong if (error) 1648174edb0eSDarrick J. Wong return error; 16493ecb3ac7SDarrick J. Wong 16503ecb3ac7SDarrick J. Wong error = xfs_alloc_read_agf(mp, tp, agno, 0, &agbp); 16513ecb3ac7SDarrick J. Wong if (error) 16523ecb3ac7SDarrick J. Wong goto out_trans; 165310479e2dSDarrick J. Wong if (!agbp) { 165410479e2dSDarrick J. Wong error = -ENOMEM; 165510479e2dSDarrick J. Wong goto out_trans; 165610479e2dSDarrick J. Wong } 1657ed7ef8e5SBrian Foster cur = xfs_refcountbt_init_cursor(mp, tp, agbp, agno); 1658174edb0eSDarrick J. Wong 1659174edb0eSDarrick J. Wong /* Find all the leftover CoW staging extents. */ 1660174edb0eSDarrick J. Wong memset(&low, 0, sizeof(low)); 1661174edb0eSDarrick J. Wong memset(&high, 0, sizeof(high)); 1662174edb0eSDarrick J. Wong low.rc.rc_startblock = XFS_REFC_COW_START; 1663174edb0eSDarrick J. Wong high.rc.rc_startblock = -1U; 1664174edb0eSDarrick J. Wong error = xfs_btree_query_range(cur, &low, &high, 1665174edb0eSDarrick J. Wong xfs_refcount_recover_extent, &debris); 1666ef97ef26SDarrick J. Wong xfs_btree_del_cursor(cur, error); 16673ecb3ac7SDarrick J. Wong xfs_trans_brelse(tp, agbp); 16683ecb3ac7SDarrick J. Wong xfs_trans_cancel(tp); 1669ef97ef26SDarrick J. Wong if (error) 1670ef97ef26SDarrick J. Wong goto out_free; 1671174edb0eSDarrick J. Wong 1672174edb0eSDarrick J. Wong /* Now iterate the list to free the leftovers */ 16733ecb3ac7SDarrick J. Wong list_for_each_entry_safe(rr, n, &debris, rr_list) { 1674174edb0eSDarrick J. Wong /* Set up transaction. */ 1675174edb0eSDarrick J. Wong error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, 0, 0, 0, &tp); 1676174edb0eSDarrick J. Wong if (error) 1677174edb0eSDarrick J. Wong goto out_free; 1678174edb0eSDarrick J. Wong 1679174edb0eSDarrick J. Wong trace_xfs_refcount_recover_extent(mp, agno, &rr->rr_rrec); 1680174edb0eSDarrick J. Wong 1681174edb0eSDarrick J. Wong /* Free the orphan record */ 1682174edb0eSDarrick J. Wong agbno = rr->rr_rrec.rc_startblock - XFS_REFC_COW_START; 1683174edb0eSDarrick J. Wong fsb = XFS_AGB_TO_FSB(mp, agno, agbno); 16840f37d178SBrian Foster error = xfs_refcount_free_cow_extent(tp, fsb, 1685174edb0eSDarrick J. Wong rr->rr_rrec.rc_blockcount); 1686174edb0eSDarrick J. Wong if (error) 1687c8eac49eSBrian Foster goto out_trans; 1688174edb0eSDarrick J. Wong 1689174edb0eSDarrick J. Wong /* Free the block. */ 16900f37d178SBrian Foster xfs_bmap_add_free(tp, fsb, rr->rr_rrec.rc_blockcount, NULL); 1691174edb0eSDarrick J. Wong 1692174edb0eSDarrick J. Wong error = xfs_trans_commit(tp); 1693174edb0eSDarrick J. Wong if (error) 1694174edb0eSDarrick J. Wong goto out_free; 16953ecb3ac7SDarrick J. Wong 16963ecb3ac7SDarrick J. Wong list_del(&rr->rr_list); 16973ecb3ac7SDarrick J. Wong kmem_free(rr); 16986f97077fSDarrick J. Wong } 1699174edb0eSDarrick J. Wong 17003ecb3ac7SDarrick J. Wong return error; 17013ecb3ac7SDarrick J. Wong out_trans: 17023ecb3ac7SDarrick J. Wong xfs_trans_cancel(tp); 1703174edb0eSDarrick J. Wong out_free: 1704174edb0eSDarrick J. Wong /* Free the leftover list */ 1705174edb0eSDarrick J. Wong list_for_each_entry_safe(rr, n, &debris, rr_list) { 1706174edb0eSDarrick J. Wong list_del(&rr->rr_list); 1707174edb0eSDarrick J. Wong kmem_free(rr); 1708174edb0eSDarrick J. Wong } 1709174edb0eSDarrick J. Wong return error; 1710174edb0eSDarrick J. Wong } 171149db55ecSDarrick J. Wong 171249db55ecSDarrick J. Wong /* Is there a record covering a given extent? */ 171349db55ecSDarrick J. Wong int 171449db55ecSDarrick J. Wong xfs_refcount_has_record( 171549db55ecSDarrick J. Wong struct xfs_btree_cur *cur, 171649db55ecSDarrick J. Wong xfs_agblock_t bno, 171749db55ecSDarrick J. Wong xfs_extlen_t len, 171849db55ecSDarrick J. Wong bool *exists) 171949db55ecSDarrick J. Wong { 172049db55ecSDarrick J. Wong union xfs_btree_irec low; 172149db55ecSDarrick J. Wong union xfs_btree_irec high; 172249db55ecSDarrick J. Wong 172349db55ecSDarrick J. Wong memset(&low, 0, sizeof(low)); 172449db55ecSDarrick J. Wong low.rc.rc_startblock = bno; 172549db55ecSDarrick J. Wong memset(&high, 0xFF, sizeof(high)); 172649db55ecSDarrick J. Wong high.rc.rc_startblock = bno + len - 1; 172749db55ecSDarrick J. Wong 172849db55ecSDarrick J. Wong return xfs_btree_has_record(cur, &low, &high, exists); 172949db55ecSDarrick J. Wong } 1730