| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444 |
- /*
- * Copyright (c) 2014 Red Hat, Inc.
- * All Rights Reserved.
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License as
- * published by the Free Software Foundation.
- *
- * This program is distributed in the hope that it would be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write the Free Software Foundation,
- * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
- */
- #include "xfs.h"
- #include "xfs_fs.h"
- #include "xfs_shared.h"
- #include "xfs_format.h"
- #include "xfs_log_format.h"
- #include "xfs_trans_resv.h"
- #include "xfs_bit.h"
- #include "xfs_sb.h"
- #include "xfs_mount.h"
- #include "xfs_defer.h"
- #include "xfs_da_format.h"
- #include "xfs_da_btree.h"
- #include "xfs_btree.h"
- #include "xfs_trans.h"
- #include "xfs_alloc.h"
- #include "xfs_rmap.h"
- #include "xfs_rmap_btree.h"
- #include "xfs_trans_space.h"
- #include "xfs_trace.h"
- #include "xfs_error.h"
- #include "xfs_extent_busy.h"
- /*
- * Lookup the first record less than or equal to [bno, len, owner, offset]
- * in the btree given by cur.
- */
- int
- xfs_rmap_lookup_le(
- struct xfs_btree_cur *cur,
- xfs_agblock_t bno,
- xfs_extlen_t len,
- uint64_t owner,
- uint64_t offset,
- unsigned int flags,
- int *stat)
- {
- cur->bc_rec.r.rm_startblock = bno;
- cur->bc_rec.r.rm_blockcount = len;
- cur->bc_rec.r.rm_owner = owner;
- cur->bc_rec.r.rm_offset = offset;
- cur->bc_rec.r.rm_flags = flags;
- return xfs_btree_lookup(cur, XFS_LOOKUP_LE, stat);
- }
- /*
- * Lookup the record exactly matching [bno, len, owner, offset]
- * in the btree given by cur.
- */
- int
- xfs_rmap_lookup_eq(
- struct xfs_btree_cur *cur,
- xfs_agblock_t bno,
- xfs_extlen_t len,
- uint64_t owner,
- uint64_t offset,
- unsigned int flags,
- int *stat)
- {
- cur->bc_rec.r.rm_startblock = bno;
- cur->bc_rec.r.rm_blockcount = len;
- cur->bc_rec.r.rm_owner = owner;
- cur->bc_rec.r.rm_offset = offset;
- cur->bc_rec.r.rm_flags = flags;
- return xfs_btree_lookup(cur, XFS_LOOKUP_EQ, stat);
- }
- /*
- * Update the record referred to by cur to the value given
- * by [bno, len, owner, offset].
- * This either works (return 0) or gets an EFSCORRUPTED error.
- */
- STATIC int
- xfs_rmap_update(
- struct xfs_btree_cur *cur,
- struct xfs_rmap_irec *irec)
- {
- union xfs_btree_rec rec;
- rec.rmap.rm_startblock = cpu_to_be32(irec->rm_startblock);
- rec.rmap.rm_blockcount = cpu_to_be32(irec->rm_blockcount);
- rec.rmap.rm_owner = cpu_to_be64(irec->rm_owner);
- rec.rmap.rm_offset = cpu_to_be64(
- xfs_rmap_irec_offset_pack(irec));
- return xfs_btree_update(cur, &rec);
- }
- static int
- xfs_rmap_btrec_to_irec(
- union xfs_btree_rec *rec,
- struct xfs_rmap_irec *irec)
- {
- irec->rm_flags = 0;
- irec->rm_startblock = be32_to_cpu(rec->rmap.rm_startblock);
- irec->rm_blockcount = be32_to_cpu(rec->rmap.rm_blockcount);
- irec->rm_owner = be64_to_cpu(rec->rmap.rm_owner);
- return xfs_rmap_irec_offset_unpack(be64_to_cpu(rec->rmap.rm_offset),
- irec);
- }
- /*
- * Get the data from the pointed-to record.
- */
- int
- xfs_rmap_get_rec(
- struct xfs_btree_cur *cur,
- struct xfs_rmap_irec *irec,
- int *stat)
- {
- union xfs_btree_rec *rec;
- int error;
- error = xfs_btree_get_rec(cur, &rec, stat);
- if (error || !*stat)
- return error;
- return xfs_rmap_btrec_to_irec(rec, irec);
- }
- int
- xfs_rmap_free(
- struct xfs_trans *tp,
- struct xfs_buf *agbp,
- xfs_agnumber_t agno,
- xfs_agblock_t bno,
- xfs_extlen_t len,
- struct xfs_owner_info *oinfo)
- {
- struct xfs_mount *mp = tp->t_mountp;
- int error = 0;
- if (!xfs_sb_version_hasrmapbt(&mp->m_sb))
- return 0;
- trace_xfs_rmap_unmap(mp, agno, bno, len, false, oinfo);
- if (1)
- goto out_error;
- trace_xfs_rmap_unmap_done(mp, agno, bno, len, false, oinfo);
- return 0;
- out_error:
- trace_xfs_rmap_unmap_error(mp, agno, error, _RET_IP_);
- return error;
- }
- /*
- * A mergeable rmap must have the same owner and the same values for
- * the unwritten, attr_fork, and bmbt flags. The startblock and
- * offset are checked separately.
- */
- static bool
- xfs_rmap_is_mergeable(
- struct xfs_rmap_irec *irec,
- uint64_t owner,
- unsigned int flags)
- {
- if (irec->rm_owner == XFS_RMAP_OWN_NULL)
- return false;
- if (irec->rm_owner != owner)
- return false;
- if ((flags & XFS_RMAP_UNWRITTEN) ^
- (irec->rm_flags & XFS_RMAP_UNWRITTEN))
- return false;
- if ((flags & XFS_RMAP_ATTR_FORK) ^
- (irec->rm_flags & XFS_RMAP_ATTR_FORK))
- return false;
- if ((flags & XFS_RMAP_BMBT_BLOCK) ^
- (irec->rm_flags & XFS_RMAP_BMBT_BLOCK))
- return false;
- return true;
- }
- /*
- * When we allocate a new block, the first thing we do is add a reference to
- * the extent in the rmap btree. This takes the form of a [agbno, length,
- * owner, offset] record. Flags are encoded in the high bits of the offset
- * field.
- */
- STATIC int
- xfs_rmap_map(
- struct xfs_btree_cur *cur,
- xfs_agblock_t bno,
- xfs_extlen_t len,
- bool unwritten,
- struct xfs_owner_info *oinfo)
- {
- struct xfs_mount *mp = cur->bc_mp;
- struct xfs_rmap_irec ltrec;
- struct xfs_rmap_irec gtrec;
- int have_gt;
- int have_lt;
- int error = 0;
- int i;
- uint64_t owner;
- uint64_t offset;
- unsigned int flags = 0;
- bool ignore_off;
- xfs_owner_info_unpack(oinfo, &owner, &offset, &flags);
- ASSERT(owner != 0);
- ignore_off = XFS_RMAP_NON_INODE_OWNER(owner) ||
- (flags & XFS_RMAP_BMBT_BLOCK);
- if (unwritten)
- flags |= XFS_RMAP_UNWRITTEN;
- trace_xfs_rmap_map(mp, cur->bc_private.a.agno, bno, len,
- unwritten, oinfo);
- /*
- * For the initial lookup, look for an exact match or the left-adjacent
- * record for our insertion point. This will also give us the record for
- * start block contiguity tests.
- */
- error = xfs_rmap_lookup_le(cur, bno, len, owner, offset, flags,
- &have_lt);
- if (error)
- goto out_error;
- XFS_WANT_CORRUPTED_GOTO(mp, have_lt == 1, out_error);
- error = xfs_rmap_get_rec(cur, <rec, &have_lt);
- if (error)
- goto out_error;
- XFS_WANT_CORRUPTED_GOTO(mp, have_lt == 1, out_error);
- trace_xfs_rmap_lookup_le_range_result(cur->bc_mp,
- cur->bc_private.a.agno, ltrec.rm_startblock,
- ltrec.rm_blockcount, ltrec.rm_owner,
- ltrec.rm_offset, ltrec.rm_flags);
- if (!xfs_rmap_is_mergeable(<rec, owner, flags))
- have_lt = 0;
- XFS_WANT_CORRUPTED_GOTO(mp,
- have_lt == 0 ||
- ltrec.rm_startblock + ltrec.rm_blockcount <= bno, out_error);
- /*
- * Increment the cursor to see if we have a right-adjacent record to our
- * insertion point. This will give us the record for end block
- * contiguity tests.
- */
- error = xfs_btree_increment(cur, 0, &have_gt);
- if (error)
- goto out_error;
- if (have_gt) {
- error = xfs_rmap_get_rec(cur, >rec, &have_gt);
- if (error)
- goto out_error;
- XFS_WANT_CORRUPTED_GOTO(mp, have_gt == 1, out_error);
- XFS_WANT_CORRUPTED_GOTO(mp, bno + len <= gtrec.rm_startblock,
- out_error);
- trace_xfs_rmap_find_right_neighbor_result(cur->bc_mp,
- cur->bc_private.a.agno, gtrec.rm_startblock,
- gtrec.rm_blockcount, gtrec.rm_owner,
- gtrec.rm_offset, gtrec.rm_flags);
- if (!xfs_rmap_is_mergeable(>rec, owner, flags))
- have_gt = 0;
- }
- /*
- * Note: cursor currently points one record to the right of ltrec, even
- * if there is no record in the tree to the right.
- */
- if (have_lt &&
- ltrec.rm_startblock + ltrec.rm_blockcount == bno &&
- (ignore_off || ltrec.rm_offset + ltrec.rm_blockcount == offset)) {
- /*
- * left edge contiguous, merge into left record.
- *
- * ltbno ltlen
- * orig: |ooooooooo|
- * adding: |aaaaaaaaa|
- * result: |rrrrrrrrrrrrrrrrrrr|
- * bno len
- */
- ltrec.rm_blockcount += len;
- if (have_gt &&
- bno + len == gtrec.rm_startblock &&
- (ignore_off || offset + len == gtrec.rm_offset) &&
- (unsigned long)ltrec.rm_blockcount + len +
- gtrec.rm_blockcount <= XFS_RMAP_LEN_MAX) {
- /*
- * right edge also contiguous, delete right record
- * and merge into left record.
- *
- * ltbno ltlen gtbno gtlen
- * orig: |ooooooooo| |ooooooooo|
- * adding: |aaaaaaaaa|
- * result: |rrrrrrrrrrrrrrrrrrrrrrrrrrrrr|
- */
- ltrec.rm_blockcount += gtrec.rm_blockcount;
- trace_xfs_rmap_delete(mp, cur->bc_private.a.agno,
- gtrec.rm_startblock,
- gtrec.rm_blockcount,
- gtrec.rm_owner,
- gtrec.rm_offset,
- gtrec.rm_flags);
- error = xfs_btree_delete(cur, &i);
- if (error)
- goto out_error;
- XFS_WANT_CORRUPTED_GOTO(mp, i == 1, out_error);
- }
- /* point the cursor back to the left record and update */
- error = xfs_btree_decrement(cur, 0, &have_gt);
- if (error)
- goto out_error;
- error = xfs_rmap_update(cur, <rec);
- if (error)
- goto out_error;
- } else if (have_gt &&
- bno + len == gtrec.rm_startblock &&
- (ignore_off || offset + len == gtrec.rm_offset)) {
- /*
- * right edge contiguous, merge into right record.
- *
- * gtbno gtlen
- * Orig: |ooooooooo|
- * adding: |aaaaaaaaa|
- * Result: |rrrrrrrrrrrrrrrrrrr|
- * bno len
- */
- gtrec.rm_startblock = bno;
- gtrec.rm_blockcount += len;
- if (!ignore_off)
- gtrec.rm_offset = offset;
- error = xfs_rmap_update(cur, >rec);
- if (error)
- goto out_error;
- } else {
- /*
- * no contiguous edge with identical owner, insert
- * new record at current cursor position.
- */
- cur->bc_rec.r.rm_startblock = bno;
- cur->bc_rec.r.rm_blockcount = len;
- cur->bc_rec.r.rm_owner = owner;
- cur->bc_rec.r.rm_offset = offset;
- cur->bc_rec.r.rm_flags = flags;
- trace_xfs_rmap_insert(mp, cur->bc_private.a.agno, bno, len,
- owner, offset, flags);
- error = xfs_btree_insert(cur, &i);
- if (error)
- goto out_error;
- XFS_WANT_CORRUPTED_GOTO(mp, i == 1, out_error);
- }
- trace_xfs_rmap_map_done(mp, cur->bc_private.a.agno, bno, len,
- unwritten, oinfo);
- out_error:
- if (error)
- trace_xfs_rmap_map_error(mp, cur->bc_private.a.agno,
- error, _RET_IP_);
- return error;
- }
- /*
- * Add a reference to an extent in the rmap btree.
- */
- int
- xfs_rmap_alloc(
- struct xfs_trans *tp,
- struct xfs_buf *agbp,
- xfs_agnumber_t agno,
- xfs_agblock_t bno,
- xfs_extlen_t len,
- struct xfs_owner_info *oinfo)
- {
- struct xfs_mount *mp = tp->t_mountp;
- struct xfs_btree_cur *cur;
- int error;
- if (!xfs_sb_version_hasrmapbt(&mp->m_sb))
- return 0;
- cur = xfs_rmapbt_init_cursor(mp, tp, agbp, agno);
- error = xfs_rmap_map(cur, bno, len, false, oinfo);
- if (error)
- goto out_error;
- xfs_btree_del_cursor(cur, XFS_BTREE_NOERROR);
- return 0;
- out_error:
- xfs_btree_del_cursor(cur, XFS_BTREE_ERROR);
- return error;
- }
- struct xfs_rmap_query_range_info {
- xfs_rmap_query_range_fn fn;
- void *priv;
- };
- /* Format btree record and pass to our callback. */
- STATIC int
- xfs_rmap_query_range_helper(
- struct xfs_btree_cur *cur,
- union xfs_btree_rec *rec,
- void *priv)
- {
- struct xfs_rmap_query_range_info *query = priv;
- struct xfs_rmap_irec irec;
- int error;
- error = xfs_rmap_btrec_to_irec(rec, &irec);
- if (error)
- return error;
- return query->fn(cur, &irec, query->priv);
- }
- /* Find all rmaps between two keys. */
- int
- xfs_rmap_query_range(
- struct xfs_btree_cur *cur,
- struct xfs_rmap_irec *low_rec,
- struct xfs_rmap_irec *high_rec,
- xfs_rmap_query_range_fn fn,
- void *priv)
- {
- union xfs_btree_irec low_brec;
- union xfs_btree_irec high_brec;
- struct xfs_rmap_query_range_info query;
- low_brec.r = *low_rec;
- high_brec.r = *high_rec;
- query.priv = priv;
- query.fn = fn;
- return xfs_btree_query_range(cur, &low_brec, &high_brec,
- xfs_rmap_query_range_helper, &query);
- }
|