]> git.sesse.net Git - bcachefs-tools-debian/blobdiff - libbcachefs/fsck.c
Move c_src dirs back to toplevel
[bcachefs-tools-debian] / libbcachefs / fsck.c
index b1c89a4821f5e176f4b7b96710f9fc8de0a236e5..4f0ecd60567570b7364cef517225ea0e3dfa5575 100644 (file)
@@ -20,8 +20,6 @@
 #include <linux/bsearch.h>
 #include <linux/dcache.h> /* struct qstr */
 
-#define QSTR(n) { { { .len = strlen(n) } }, .name = n }
-
 /*
  * XXX: this is handling transaction restarts without returning
  * -BCH_ERR_transaction_restart_nested, this is not how we do things anymore:
 static s64 bch2_count_inode_sectors(struct btree_trans *trans, u64 inum,
                                    u32 snapshot)
 {
-       struct btree_iter iter;
-       struct bkey_s_c k;
        u64 sectors = 0;
-       int ret;
 
-       for_each_btree_key_upto(trans, iter, BTREE_ID_extents,
+       int ret = for_each_btree_key_upto(trans, iter, BTREE_ID_extents,
                                SPOS(inum, 0, snapshot),
                                POS(inum, U64_MAX),
-                               0, k, ret)
+                               0, k, ({
                if (bkey_extent_is_allocation(k.k))
                        sectors += k.k->size;
-
-       bch2_trans_iter_exit(trans, &iter);
+               0;
+       }));
 
        return ret ?: sectors;
 }
@@ -49,45 +44,23 @@ static s64 bch2_count_inode_sectors(struct btree_trans *trans, u64 inum,
 static s64 bch2_count_subdirs(struct btree_trans *trans, u64 inum,
                                    u32 snapshot)
 {
-       struct btree_iter iter;
-       struct bkey_s_c k;
-       struct bkey_s_c_dirent d;
        u64 subdirs = 0;
-       int ret;
 
-       for_each_btree_key_upto(trans, iter, BTREE_ID_dirents,
-                               SPOS(inum, 0, snapshot),
-                               POS(inum, U64_MAX),
-                               0, k, ret) {
-               if (k.k->type != KEY_TYPE_dirent)
-                       continue;
-
-               d = bkey_s_c_to_dirent(k);
-               if (d.v->d_type == DT_DIR)
+       int ret = for_each_btree_key_upto(trans, iter, BTREE_ID_dirents,
+                                   SPOS(inum, 0, snapshot),
+                                   POS(inum, U64_MAX),
+                                   0, k, ({
+               if (k.k->type == KEY_TYPE_dirent &&
+                   bkey_s_c_to_dirent(k).v->d_type == DT_DIR)
                        subdirs++;
-       }
-       bch2_trans_iter_exit(trans, &iter);
+               0;
+       }));
 
        return ret ?: subdirs;
 }
 
-static int __snapshot_lookup_subvol(struct btree_trans *trans, u32 snapshot,
-                                   u32 *subvol)
-{
-       struct bch_snapshot s;
-       int ret = bch2_bkey_get_val_typed(trans, BTREE_ID_snapshots,
-                                         POS(0, snapshot), 0,
-                                         snapshot, &s);
-       if (!ret)
-               *subvol = le32_to_cpu(s.subvol);
-       else if (bch2_err_matches(ret, ENOENT))
-               bch_err(trans->c, "snapshot %u not found", snapshot);
-       return ret;
-
-}
-
-static int __subvol_lookup(struct btree_trans *trans, u32 subvol,
-                          u32 *snapshot, u64 *inum)
+static int subvol_lookup(struct btree_trans *trans, u32 subvol,
+                        u32 *snapshot, u64 *inum)
 {
        struct bch_subvolume s;
        int ret;
@@ -99,12 +72,6 @@ static int __subvol_lookup(struct btree_trans *trans, u32 subvol,
        return ret;
 }
 
-static int subvol_lookup(struct btree_trans *trans, u32 subvol,
-                        u32 *snapshot, u64 *inum)
-{
-       return lockrestart_do(trans, __subvol_lookup(trans, subvol, snapshot, inum));
-}
-
 static int lookup_first_inode(struct btree_trans *trans, u64 inode_nr,
                              struct bch_inode_unpacked *inode)
 {
@@ -132,7 +99,7 @@ err:
        return ret;
 }
 
-static int __lookup_inode(struct btree_trans *trans, u64 inode_nr,
+static int lookup_inode(struct btree_trans *trans, u64 inode_nr,
                          struct bch_inode_unpacked *inode,
                          u32 *snapshot)
 {
@@ -157,13 +124,6 @@ err:
        return ret;
 }
 
-static int lookup_inode(struct btree_trans *trans, u64 inode_nr,
-                       struct bch_inode_unpacked *inode,
-                       u32 *snapshot)
-{
-       return lockrestart_do(trans, __lookup_inode(trans, inode_nr, inode, snapshot));
-}
-
 static int __lookup_dirent(struct btree_trans *trans,
                           struct bch_hash_info hash_info,
                           subvol_inum dir, struct qstr *name,
@@ -207,12 +167,9 @@ static int fsck_write_inode(struct btree_trans *trans,
                            struct bch_inode_unpacked *inode,
                            u32 snapshot)
 {
-       int ret = commit_do(trans, NULL, NULL,
-                                 BCH_TRANS_COMMIT_no_enospc|
-                                 BCH_TRANS_COMMIT_lazy_rw,
-                                 __write_inode(trans, inode, snapshot));
-       if (ret)
-               bch_err_fn(trans->c, ret);
+       int ret = commit_do(trans, NULL, NULL, BCH_TRANS_COMMIT_no_enospc,
+                           __write_inode(trans, inode, snapshot));
+       bch_err_fn(trans->c, ret);
        return ret;
 }
 
@@ -242,35 +199,43 @@ err:
 }
 
 /* Get lost+found, create if it doesn't exist: */
-static int lookup_lostfound(struct btree_trans *trans, u32 subvol,
+static int lookup_lostfound(struct btree_trans *trans, u32 snapshot,
                            struct bch_inode_unpacked *lostfound)
 {
        struct bch_fs *c = trans->c;
-       struct bch_inode_unpacked root;
-       struct bch_hash_info root_hash_info;
        struct qstr lostfound_str = QSTR("lost+found");
-       subvol_inum root_inum = { .subvol = subvol };
        u64 inum = 0;
        unsigned d_type = 0;
-       u32 snapshot;
        int ret;
 
-       ret = __subvol_lookup(trans, subvol, &snapshot, &root_inum.inum);
+       struct bch_snapshot_tree st;
+       ret = bch2_snapshot_tree_lookup(trans,
+                       bch2_snapshot_tree(c, snapshot), &st);
+       if (ret)
+               return ret;
+
+       subvol_inum root_inum = { .subvol = le32_to_cpu(st.master_subvol) };
+       u32 subvol_snapshot;
+
+       ret = subvol_lookup(trans, le32_to_cpu(st.master_subvol),
+                           &subvol_snapshot, &root_inum.inum);
+       bch_err_msg(c, ret, "looking up root subvol");
        if (ret)
                return ret;
 
-       ret = __lookup_inode(trans, root_inum.inum, &root, &snapshot);
+       struct bch_inode_unpacked root_inode;
+       struct bch_hash_info root_hash_info;
+       ret = lookup_inode(trans, root_inum.inum, &root_inode, &snapshot);
+       bch_err_msg(c, ret, "looking up root inode");
        if (ret)
                return ret;
 
-       root_hash_info = bch2_hash_info_init(c, &root);
+       root_hash_info = bch2_hash_info_init(c, &root_inode);
 
        ret = __lookup_dirent(trans, root_hash_info, root_inum,
-                           &lostfound_str, &inum, &d_type);
-       if (bch2_err_matches(ret, ENOENT)) {
-               bch_notice(c, "creating lost+found");
+                             &lostfound_str, &inum, &d_type);
+       if (bch2_err_matches(ret, ENOENT))
                goto create_lostfound;
-       }
 
        bch_err_fn(c, ret);
        if (ret)
@@ -285,20 +250,50 @@ static int lookup_lostfound(struct btree_trans *trans, u32 subvol,
         * The bch2_check_dirents pass has already run, dangling dirents
         * shouldn't exist here:
         */
-       return __lookup_inode(trans, inum, lostfound, &snapshot);
+       return lookup_inode(trans, inum, lostfound, &snapshot);
 
 create_lostfound:
+       /*
+        * XXX: we could have a nicer log message here  if we had a nice way to
+        * walk backpointers to print a path
+        */
+       bch_notice(c, "creating lost+found in snapshot %u", le32_to_cpu(st.root_snapshot));
+
+       u64 now = bch2_current_time(c);
+       struct btree_iter lostfound_iter = { NULL };
+       u64 cpu = raw_smp_processor_id();
+
        bch2_inode_init_early(c, lostfound);
+       bch2_inode_init_late(lostfound, now, 0, 0, S_IFDIR|0700, 0, &root_inode);
+       lostfound->bi_dir = root_inode.bi_inum;
+
+       root_inode.bi_nlink++;
 
-       ret = bch2_create_trans(trans, root_inum, &root,
-                               lostfound, &lostfound_str,
-                               0, 0, S_IFDIR|0700, 0, NULL, NULL,
-                               (subvol_inum) { }, 0);
+       ret = bch2_inode_create(trans, &lostfound_iter, lostfound, snapshot, cpu);
+       if (ret)
+               goto err;
+
+       bch2_btree_iter_set_snapshot(&lostfound_iter, snapshot);
+       ret = bch2_btree_iter_traverse(&lostfound_iter);
+       if (ret)
+               goto err;
+
+       ret =   bch2_dirent_create_snapshot(trans,
+                               root_inode.bi_inum, snapshot, &root_hash_info,
+                               mode_to_type(lostfound->bi_mode),
+                               &lostfound_str,
+                               lostfound->bi_inum,
+                               &lostfound->bi_dir_offset,
+                               BCH_HASH_SET_MUST_CREATE) ?:
+               bch2_inode_write_flags(trans, &lostfound_iter, lostfound,
+                                      BTREE_UPDATE_INTERNAL_SNAPSHOT_NODE);
+err:
        bch_err_msg(c, ret, "creating lost+found");
+       bch2_trans_iter_exit(trans, &lostfound_iter);
        return ret;
 }
 
-static int __reattach_inode(struct btree_trans *trans,
+static int reattach_inode(struct btree_trans *trans,
                          struct bch_inode_unpacked *inode,
                          u32 inode_snapshot)
 {
@@ -307,14 +302,9 @@ static int __reattach_inode(struct btree_trans *trans,
        char name_buf[20];
        struct qstr name;
        u64 dir_offset = 0;
-       u32 subvol;
        int ret;
 
-       ret = __snapshot_lookup_subvol(trans, inode_snapshot, &subvol);
-       if (ret)
-               return ret;
-
-       ret = lookup_lostfound(trans, subvol, &lostfound);
+       ret = lookup_lostfound(trans, inode_snapshot, &lostfound);
        if (ret)
                return ret;
 
@@ -331,15 +321,12 @@ static int __reattach_inode(struct btree_trans *trans,
        snprintf(name_buf, sizeof(name_buf), "%llu", inode->bi_inum);
        name = (struct qstr) QSTR(name_buf);
 
-       ret = bch2_dirent_create(trans,
-                                (subvol_inum) {
-                                       .subvol = subvol,
-                                       .inum = lostfound.bi_inum,
-                                },
-                                &dir_hash,
-                                inode_d_type(inode),
-                                &name, inode->bi_inum, &dir_offset,
-                                BCH_HASH_SET_MUST_CREATE);
+       ret = bch2_dirent_create_snapshot(trans,
+                               lostfound.bi_inum, inode_snapshot,
+                               &dir_hash,
+                               inode_d_type(inode),
+                               &name, inode->bi_inum, &dir_offset,
+                               BCH_HASH_SET_MUST_CREATE);
        if (ret)
                return ret;
 
@@ -349,18 +336,6 @@ static int __reattach_inode(struct btree_trans *trans,
        return __write_inode(trans, inode, inode_snapshot);
 }
 
-static int reattach_inode(struct btree_trans *trans,
-                         struct bch_inode_unpacked *inode,
-                         u32 inode_snapshot)
-{
-       int ret = commit_do(trans, NULL, NULL,
-                                 BCH_TRANS_COMMIT_lazy_rw|
-                                 BCH_TRANS_COMMIT_no_enospc,
-                       __reattach_inode(trans, inode, inode_snapshot));
-       bch_err_msg(trans->c, ret, "reattaching inode %llu", inode->bi_inum);
-       return ret;
-}
-
 static int remove_backpointer(struct btree_trans *trans,
                              struct bch_inode_unpacked *inode)
 {
@@ -405,7 +380,7 @@ static int snapshots_seen_add_inorder(struct bch_fs *c, struct snapshots_seen *s
        };
        int ret = 0;
 
-       darray_for_each(s->ids, i) {
+       __darray_for_each(s->ids, i) {
                if (i->id == id)
                        return 0;
                if (i->id > id)
@@ -422,7 +397,7 @@ static int snapshots_seen_add_inorder(struct bch_fs *c, struct snapshots_seen *s
 static int snapshots_seen_update(struct bch_fs *c, struct snapshots_seen *s,
                                 enum btree_id btree_id, struct bpos pos)
 {
-       struct snapshots_seen_entry *i, n = {
+       struct snapshots_seen_entry n = {
                .id     = pos.snapshot,
                .equiv  = bch2_snapshot_equiv(c, pos.snapshot),
        };
@@ -448,7 +423,7 @@ static int snapshots_seen_update(struct bch_fs *c, struct snapshots_seen *s,
                                bch2_btree_id_str(btree_id),
                                pos.inode, pos.offset,
                                i->id, n.id, n.equiv);
-                       set_bit(BCH_FS_NEED_DELETE_DEAD_SNAPSHOTS, &c->flags);
+                       set_bit(BCH_FS_need_delete_dead_snapshots, &c->flags);
                        return bch2_run_explicit_recovery_pass(c, BCH_RECOVERY_PASS_delete_dead_snapshots);
                }
        }
@@ -593,14 +568,13 @@ static int get_inodes_all_snapshots(struct btree_trans *trans,
        struct bch_fs *c = trans->c;
        struct btree_iter iter;
        struct bkey_s_c k;
-       u32 restart_count = trans->restart_count;
        int ret;
 
        w->recalculate_sums = false;
        w->inodes.nr = 0;
 
-       for_each_btree_key(trans, iter, BTREE_ID_inodes, POS(0, inum),
-                          BTREE_ITER_ALL_SNAPSHOTS, k, ret) {
+       for_each_btree_key_norestart(trans, iter, BTREE_ID_inodes, POS(0, inum),
+                                    BTREE_ITER_ALL_SNAPSHOTS, k, ret) {
                if (k.k->p.offset != inum)
                        break;
 
@@ -613,8 +587,7 @@ static int get_inodes_all_snapshots(struct btree_trans *trans,
                return ret;
 
        w->first_this_inode = true;
-
-       return trans_was_restarted(trans, restart_count);
+       return 0;
 }
 
 static struct inode_walker_entry *
@@ -625,7 +598,7 @@ lookup_inode_for_snapshot(struct bch_fs *c, struct inode_walker *w,
 
        snapshot = bch2_snapshot_equiv(c, snapshot);
 
-       darray_for_each(w->inodes, i)
+       __darray_for_each(w->inodes, i)
                if (bch2_snapshot_is_ancestor(c, snapshot, i->snapshot))
                        goto found;
 
@@ -667,11 +640,8 @@ static struct inode_walker_entry *walk_inode(struct btree_trans *trans,
                if (ret)
                        return ERR_PTR(ret);
        } else if (bkey_cmp(w->last_pos, pos)) {
-               struct inode_walker_entry *i;
-
                darray_for_each(w->inodes, i)
                        i->seen_this_pos = false;
-
        }
 
        w->last_pos = pos;
@@ -756,9 +726,7 @@ static int hash_redo_key(struct btree_trans *trans,
                                       k.k->p.snapshot, tmp,
                                       BCH_HASH_SET_MUST_CREATE,
                                       BTREE_UPDATE_INTERNAL_SNAPSHOT_NODE) ?:
-               bch2_trans_commit(trans, NULL, NULL,
-                                 BCH_TRANS_COMMIT_no_enospc|
-                                 BCH_TRANS_COMMIT_lazy_rw);
+               bch2_trans_commit(trans, NULL, NULL, BCH_TRANS_COMMIT_no_enospc);
 }
 
 static int hash_check_key(struct btree_trans *trans,
@@ -879,7 +847,7 @@ static int check_inode(struct btree_trans *trans,
                        c, inode_snapshot_mismatch,
                        "inodes in different snapshots don't match")) {
                bch_err(c, "repair not implemented yet");
-               return -EINVAL;
+               return -BCH_ERR_fsck_repair_unimplemented;
        }
 
        if ((u.bi_flags & (BCH_INODE_i_size_dirty|BCH_INODE_unlinked)) &&
@@ -902,15 +870,15 @@ static int check_inode(struct btree_trans *trans,
                return 0;
        }
 
-       if (u.bi_flags & BCH_INODE_unlinked &&
-           c->sb.version >= bcachefs_metadata_version_deleted_inodes) {
+       if (u.bi_flags & BCH_INODE_unlinked) {
                ret = check_inode_deleted_list(trans, k.k->p);
-               if (ret)
+               if (ret < 0)
                        return ret;
 
                fsck_err_on(ret, c, unlinked_inode_not_on_deleted_list,
                            "inode %llu:%u unlinked, but not on deleted list",
                            u.bi_inum, k.k->p.snapshot);
+               ret = 0;
        }
 
        if (u.bi_flags & BCH_INODE_unlinked &&
@@ -918,9 +886,6 @@ static int check_inode(struct btree_trans *trans,
             fsck_err(c, inode_unlinked_but_clean,
                      "filesystem marked clean, but inode %llu unlinked",
                      u.bi_inum))) {
-               bch2_trans_unlock(trans);
-               bch2_fs_lazy_rw(c);
-
                ret = bch2_inode_rm_snapshot(trans, u.bi_inum, iter->pos.snapshot);
                bch_err_msg(c, ret, "in fsck deleting inode");
                return ret;
@@ -933,9 +898,6 @@ static int check_inode(struct btree_trans *trans,
                      u.bi_inum))) {
                bch_verbose(c, "truncating inode %llu", u.bi_inum);
 
-               bch2_trans_unlock(trans);
-               bch2_fs_lazy_rw(c);
-
                /*
                 * XXX: need to truncate partial blocks too here - or ideally
                 * just switch units to bytes and that issue goes away
@@ -999,27 +961,22 @@ fsck_err:
        return ret;
 }
 
-noinline_for_stack
 int bch2_check_inodes(struct bch_fs *c)
 {
        bool full = c->opts.fsck;
-       struct btree_trans *trans = bch2_trans_get(c);
-       struct btree_iter iter;
        struct bch_inode_unpacked prev = { 0 };
        struct snapshots_seen s;
-       struct bkey_s_c k;
-       int ret;
 
        snapshots_seen_init(&s);
 
-       ret = for_each_btree_key_commit(trans, iter, BTREE_ID_inodes,
-                       POS_MIN,
-                       BTREE_ITER_PREFETCH|BTREE_ITER_ALL_SNAPSHOTS, k,
-                       NULL, NULL, BCH_TRANS_COMMIT_lazy_rw|BCH_TRANS_COMMIT_no_enospc,
-               check_inode(trans, &iter, k, &prev, &s, full));
+       int ret = bch2_trans_run(c,
+               for_each_btree_key_commit(trans, iter, BTREE_ID_inodes,
+                               POS_MIN,
+                               BTREE_ITER_PREFETCH|BTREE_ITER_ALL_SNAPSHOTS, k,
+                               NULL, NULL, BCH_TRANS_COMMIT_no_enospc,
+                       check_inode(trans, &iter, k, &prev, &s, full)));
 
        snapshots_seen_exit(&s);
-       bch2_trans_put(trans);
        bch_err_fn(c, ret);
        return ret;
 }
@@ -1049,7 +1006,6 @@ static bool dirent_points_to_inode(struct bkey_s_c_dirent d,
 static int check_i_sectors(struct btree_trans *trans, struct inode_walker *w)
 {
        struct bch_fs *c = trans->c;
-       struct inode_walker_entry *i;
        u32 restart_count = trans->restart_count;
        int ret = 0;
        s64 count2;
@@ -1098,11 +1054,8 @@ struct extent_ends {
 
 static void extent_ends_reset(struct extent_ends *extent_ends)
 {
-       struct extent_end *i;
-
        darray_for_each(extent_ends->e, i)
                snapshots_seen_exit(&i->seen);
-
        extent_ends->e.nr = 0;
 }
 
@@ -1134,7 +1087,7 @@ static int extent_ends_at(struct bch_fs *c,
        if (!n.seen.ids.data)
                return -BCH_ERR_ENOMEM_fsck_extent_ends_at;
 
-       darray_for_each(extent_ends->e, i) {
+       __darray_for_each(extent_ends->e, i) {
                if (i->snapshot == k.k->p.snapshot) {
                        snapshots_seen_exit(&i->seen);
                        *i = n;
@@ -1224,13 +1177,12 @@ static int overlapping_extents_found(struct btree_trans *trans,
                        swap(k1, k2);
                }
 
-               trans->extra_journal_res += bch2_bkey_sectors_compressed(k2);
+               trans->extra_disk_res += bch2_bkey_sectors_compressed(k2);
 
                ret =   bch2_trans_update_extent_overwrite(trans, old_iter,
                                BTREE_UPDATE_INTERNAL_SNAPSHOT_NODE,
                                k1, k2) ?:
-                       bch2_trans_commit(trans, &res, NULL,
-                               BCH_TRANS_COMMIT_lazy_rw|BCH_TRANS_COMMIT_no_enospc);
+                       bch2_trans_commit(trans, &res, NULL, BCH_TRANS_COMMIT_no_enospc);
                bch2_disk_reservation_put(c, &res);
 
                if (ret)
@@ -1274,7 +1226,6 @@ static int check_overlapping_extents(struct btree_trans *trans,
                              bool *fixed)
 {
        struct bch_fs *c = trans->c;
-       struct extent_end *i;
        int ret = 0;
 
        /* transaction restart, running again */
@@ -1455,32 +1406,28 @@ int bch2_check_extents(struct bch_fs *c)
 {
        struct inode_walker w = inode_walker_init();
        struct snapshots_seen s;
-       struct btree_trans *trans = bch2_trans_get(c);
-       struct btree_iter iter;
-       struct bkey_s_c k;
        struct extent_ends extent_ends;
        struct disk_reservation res = { 0 };
-       int ret = 0;
 
        snapshots_seen_init(&s);
        extent_ends_init(&extent_ends);
 
-       ret = for_each_btree_key_commit(trans, iter, BTREE_ID_extents,
-                       POS(BCACHEFS_ROOT_INO, 0),
-                       BTREE_ITER_PREFETCH|BTREE_ITER_ALL_SNAPSHOTS, k,
-                       &res, NULL,
-                       BCH_TRANS_COMMIT_lazy_rw|BCH_TRANS_COMMIT_no_enospc, ({
-               bch2_disk_reservation_put(c, &res);
-               check_extent(trans, &iter, k, &w, &s, &extent_ends) ?:
-               check_extent_overbig(trans, &iter, k);
-       })) ?:
-       check_i_sectors(trans, &w);
+       int ret = bch2_trans_run(c,
+               for_each_btree_key_commit(trans, iter, BTREE_ID_extents,
+                               POS(BCACHEFS_ROOT_INO, 0),
+                               BTREE_ITER_PREFETCH|BTREE_ITER_ALL_SNAPSHOTS, k,
+                               &res, NULL,
+                               BCH_TRANS_COMMIT_no_enospc, ({
+                       bch2_disk_reservation_put(c, &res);
+                       check_extent(trans, &iter, k, &w, &s, &extent_ends) ?:
+                       check_extent_overbig(trans, &iter, k);
+               })) ?:
+               check_i_sectors(trans, &w));
 
        bch2_disk_reservation_put(c, &res);
        extent_ends_exit(&extent_ends);
        inode_walker_exit(&w);
        snapshots_seen_exit(&s);
-       bch2_trans_put(trans);
 
        bch_err_fn(c, ret);
        return ret;
@@ -1488,24 +1435,19 @@ int bch2_check_extents(struct bch_fs *c)
 
 int bch2_check_indirect_extents(struct bch_fs *c)
 {
-       struct btree_trans *trans = bch2_trans_get(c);
-       struct btree_iter iter;
-       struct bkey_s_c k;
        struct disk_reservation res = { 0 };
-       int ret = 0;
 
-       ret = for_each_btree_key_commit(trans, iter, BTREE_ID_reflink,
-                       POS_MIN,
-                       BTREE_ITER_PREFETCH, k,
-                       &res, NULL,
-                       BCH_TRANS_COMMIT_lazy_rw|BCH_TRANS_COMMIT_no_enospc, ({
-               bch2_disk_reservation_put(c, &res);
-               check_extent_overbig(trans, &iter, k);
-       }));
+       int ret = bch2_trans_run(c,
+               for_each_btree_key_commit(trans, iter, BTREE_ID_reflink,
+                               POS_MIN,
+                               BTREE_ITER_PREFETCH, k,
+                               &res, NULL,
+                               BCH_TRANS_COMMIT_no_enospc, ({
+                       bch2_disk_reservation_put(c, &res);
+                       check_extent_overbig(trans, &iter, k);
+               })));
 
        bch2_disk_reservation_put(c, &res);
-       bch2_trans_put(trans);
-
        bch_err_fn(c, ret);
        return ret;
 }
@@ -1513,7 +1455,6 @@ int bch2_check_indirect_extents(struct bch_fs *c)
 static int check_subdir_count(struct btree_trans *trans, struct inode_walker *w)
 {
        struct bch_fs *c = trans->c;
-       struct inode_walker_entry *i;
        u32 restart_count = trans->restart_count;
        int ret = 0;
        s64 count2;
@@ -1652,13 +1593,12 @@ static int check_dirent_target(struct btree_trans *trans,
                d = dirent_i_to_s_c(n);
        }
 
-       if (d.v->d_type == DT_SUBVOL &&
-           target->bi_parent_subvol != le32_to_cpu(d.v->d_parent_subvol) &&
-           (c->sb.version < bcachefs_metadata_version_subvol_dirent ||
-            fsck_err(c, dirent_d_parent_subvol_wrong,
-                     "dirent has wrong d_parent_subvol field: got %u, should be %u",
-                     le32_to_cpu(d.v->d_parent_subvol),
-                     target->bi_parent_subvol))) {
+       if (fsck_err_on(d.v->d_type == DT_SUBVOL &&
+                       target->bi_parent_subvol != le32_to_cpu(d.v->d_parent_subvol),
+                       c, dirent_d_parent_subvol_wrong,
+                       "dirent has wrong d_parent_subvol field: got %u, should be %u",
+                       le32_to_cpu(d.v->d_parent_subvol),
+                       target->bi_parent_subvol)) {
                n = bch2_trans_kmalloc(trans, bkey_bytes(d.k));
                ret = PTR_ERR_OR_ZERO(n);
                if (ret)
@@ -1718,7 +1658,7 @@ static int check_dirent(struct btree_trans *trans, struct btree_iter *iter,
                        goto err;
        }
 
-       BUG_ON(!iter->path->should_be_locked);
+       BUG_ON(!btree_iter_path(trans, iter)->should_be_locked);
 
        i = walk_inode(trans, dir, equiv, k.k->type == KEY_TYPE_whiteout);
        ret = PTR_ERR_OR_ZERO(i);
@@ -1771,7 +1711,7 @@ static int check_dirent(struct btree_trans *trans, struct btree_iter *iter,
                u32 target_snapshot;
                u64 target_inum;
 
-               ret = __subvol_lookup(trans, target_subvol,
+               ret = subvol_lookup(trans, target_subvol,
                                      &target_snapshot, &target_inum);
                if (ret && !bch2_err_matches(ret, ENOENT))
                        goto err;
@@ -1783,7 +1723,7 @@ static int check_dirent(struct btree_trans *trans, struct btree_iter *iter,
                        goto err;
                }
 
-               ret = __lookup_inode(trans, target_inum,
+               ret = lookup_inode(trans, target_inum,
                                   &subvol_root, &target_snapshot);
                if (ret && !bch2_err_matches(ret, ENOENT))
                        goto err;
@@ -1859,22 +1799,18 @@ int bch2_check_dirents(struct bch_fs *c)
        struct inode_walker target = inode_walker_init();
        struct snapshots_seen s;
        struct bch_hash_info hash_info;
-       struct btree_trans *trans = bch2_trans_get(c);
-       struct btree_iter iter;
-       struct bkey_s_c k;
-       int ret = 0;
 
        snapshots_seen_init(&s);
 
-       ret = for_each_btree_key_commit(trans, iter, BTREE_ID_dirents,
-                       POS(BCACHEFS_ROOT_INO, 0),
-                       BTREE_ITER_PREFETCH|BTREE_ITER_ALL_SNAPSHOTS,
-                       k,
-                       NULL, NULL,
-                       BCH_TRANS_COMMIT_lazy_rw|BCH_TRANS_COMMIT_no_enospc,
-               check_dirent(trans, &iter, k, &hash_info, &dir, &target, &s));
+       int ret = bch2_trans_run(c,
+               for_each_btree_key_commit(trans, iter, BTREE_ID_dirents,
+                               POS(BCACHEFS_ROOT_INO, 0),
+                               BTREE_ITER_PREFETCH|BTREE_ITER_ALL_SNAPSHOTS,
+                               k,
+                               NULL, NULL,
+                               BCH_TRANS_COMMIT_no_enospc,
+                       check_dirent(trans, &iter, k, &hash_info, &dir, &target, &s)));
 
-       bch2_trans_put(trans);
        snapshots_seen_exit(&s);
        inode_walker_exit(&dir);
        inode_walker_exit(&target);
@@ -1925,8 +1861,6 @@ int bch2_check_xattrs(struct bch_fs *c)
 {
        struct inode_walker inode = inode_walker_init();
        struct bch_hash_info hash_info;
-       struct btree_iter iter;
-       struct bkey_s_c k;
        int ret = 0;
 
        ret = bch2_trans_run(c,
@@ -1935,7 +1869,7 @@ int bch2_check_xattrs(struct bch_fs *c)
                        BTREE_ITER_PREFETCH|BTREE_ITER_ALL_SNAPSHOTS,
                        k,
                        NULL, NULL,
-                       BCH_TRANS_COMMIT_lazy_rw|BCH_TRANS_COMMIT_no_enospc,
+                       BCH_TRANS_COMMIT_no_enospc,
                check_xattr(trans, &iter, k, &hash_info, &inode)));
        bch_err_fn(c, ret);
        return ret;
@@ -1949,7 +1883,7 @@ static int check_root_trans(struct btree_trans *trans)
        u64 inum;
        int ret;
 
-       ret = __subvol_lookup(trans, BCACHEFS_ROOT_SUBVOL, &snapshot, &inum);
+       ret = subvol_lookup(trans, BCACHEFS_ROOT_SUBVOL, &snapshot, &inum);
        if (ret && !bch2_err_matches(ret, ENOENT))
                return ret;
 
@@ -1965,18 +1899,13 @@ static int check_root_trans(struct btree_trans *trans)
                root_subvol.v.flags     = 0;
                root_subvol.v.snapshot  = cpu_to_le32(snapshot);
                root_subvol.v.inode     = cpu_to_le64(inum);
-               ret = commit_do(trans, NULL, NULL,
-                                     BCH_TRANS_COMMIT_no_enospc|
-                                     BCH_TRANS_COMMIT_lazy_rw,
-                       bch2_btree_insert_trans(trans, BTREE_ID_subvolumes,
-                                           &root_subvol.k_i, 0));
+               ret = bch2_btree_insert_trans(trans, BTREE_ID_subvolumes, &root_subvol.k_i, 0);
                bch_err_msg(c, ret, "writing root subvol");
                if (ret)
                        goto err;
-
        }
 
-       ret = __lookup_inode(trans, BCACHEFS_ROOT_INO, &root_inode, &snapshot);
+       ret = lookup_inode(trans, BCACHEFS_ROOT_INO, &root_inode, &snapshot);
        if (ret && !bch2_err_matches(ret, ENOENT))
                return ret;
 
@@ -2000,11 +1929,7 @@ fsck_err:
 /* Get root directory, create if it doesn't exist: */
 int bch2_check_root(struct bch_fs *c)
 {
-       int ret;
-
-       ret = bch2_trans_do(c, NULL, NULL,
-                            BCH_TRANS_COMMIT_no_enospc|
-                            BCH_TRANS_COMMIT_lazy_rw,
+       int ret = bch2_trans_do(c, NULL, NULL, BCH_TRANS_COMMIT_no_enospc,
                check_root_trans(trans));
        bch_err_fn(c, ret);
        return ret;
@@ -2019,13 +1944,10 @@ typedef DARRAY(struct pathbuf_entry) pathbuf;
 
 static bool path_is_dup(pathbuf *p, u64 inum, u32 snapshot)
 {
-       struct pathbuf_entry *i;
-
        darray_for_each(*p, i)
                if (i->inum     == inum &&
                    i->snapshot == snapshot)
                        return true;
-
        return false;
 }
 
@@ -2074,10 +1996,10 @@ static int check_path(struct btree_trans *trans,
                                break;
                }
 
-               ret = lockrestart_do(trans,
-                       PTR_ERR_OR_ZERO((d = dirent_get_by_pos(trans, &dirent_iter,
-                                         SPOS(inode->bi_dir, inode->bi_dir_offset,
-                                              parent_snapshot))).k));
+               d = dirent_get_by_pos(trans, &dirent_iter,
+                                     SPOS(inode->bi_dir, inode->bi_dir_offset,
+                                          parent_snapshot));
+               ret = bkey_err(d.s_c);
                if (ret && !bch2_err_matches(ret, ENOENT))
                        break;
 
@@ -2114,13 +2036,12 @@ static int check_path(struct btree_trans *trans,
                ret = lookup_inode(trans, inode->bi_dir, inode, &snapshot);
                if (ret) {
                        /* Should have been caught in dirents pass */
-                       bch_err(c, "error looking up parent directory: %i", ret);
+                       if (!bch2_err_matches(ret, BCH_ERR_transaction_restart))
+                               bch_err(c, "error looking up parent directory: %i", ret);
                        break;
                }
 
                if (path_is_dup(p, inode->bi_inum, snapshot)) {
-                       struct pathbuf_entry *i;
-
                        /* XXX print path */
                        bch_err(c, "directory structure loop");
 
@@ -2128,20 +2049,19 @@ static int check_path(struct btree_trans *trans,
                                pr_err("%llu:%u", i->inum, i->snapshot);
                        pr_err("%llu:%u", inode->bi_inum, snapshot);
 
-                       if (!fsck_err(c, dir_loop,
-                                     "directory structure loop"))
+                       if (!fsck_err(c, dir_loop, "directory structure loop"))
                                return 0;
 
-                       ret = commit_do(trans, NULL, NULL,
-                                             BCH_TRANS_COMMIT_no_enospc|
-                                             BCH_TRANS_COMMIT_lazy_rw,
-                                       remove_backpointer(trans, inode));
-                       if (ret) {
-                               bch_err(c, "error removing dirent: %i", ret);
+                       ret = remove_backpointer(trans, inode);
+                       if (ret && !bch2_err_matches(ret, BCH_ERR_transaction_restart))
+                               bch_err_msg(c, ret, "removing dirent");
+                       if (ret)
                                break;
-                       }
 
                        ret = reattach_inode(trans, inode, snapshot);
+                       if (ret && !bch2_err_matches(ret, BCH_ERR_transaction_restart))
+                               bch_err_msg(c, ret, "reattaching inode %llu", inode->bi_inum);
+                       break;
                }
        }
 fsck_err:
@@ -2156,37 +2076,28 @@ fsck_err:
  */
 int bch2_check_directory_structure(struct bch_fs *c)
 {
-       struct btree_trans *trans = bch2_trans_get(c);
-       struct btree_iter iter;
-       struct bkey_s_c k;
        struct bch_inode_unpacked u;
        pathbuf path = { 0, };
        int ret;
 
-       for_each_btree_key(trans, iter, BTREE_ID_inodes, POS_MIN,
-                          BTREE_ITER_INTENT|
-                          BTREE_ITER_PREFETCH|
-                          BTREE_ITER_ALL_SNAPSHOTS, k, ret) {
-               if (!bkey_is_inode(k.k))
-                       continue;
+       ret = bch2_trans_run(c,
+               for_each_btree_key_commit(trans, iter, BTREE_ID_inodes, POS_MIN,
+                                         BTREE_ITER_INTENT|
+                                         BTREE_ITER_PREFETCH|
+                                         BTREE_ITER_ALL_SNAPSHOTS, k,
+                                         NULL, NULL, BCH_TRANS_COMMIT_no_enospc, ({
+                       if (!bkey_is_inode(k.k))
+                               continue;
 
-               ret = bch2_inode_unpack(k, &u);
-               if (ret) {
-                       /* Should have been caught earlier in fsck: */
-                       bch_err(c, "error unpacking inode %llu: %i", k.k->p.offset, ret);
-                       break;
-               }
+                       BUG_ON(bch2_inode_unpack(k, &u));
 
-               if (u.bi_flags & BCH_INODE_unlinked)
-                       continue;
+                       if (u.bi_flags & BCH_INODE_unlinked)
+                               continue;
 
-               ret = check_path(trans, &path, &u, iter.pos.snapshot);
-               if (ret)
-                       break;
-       }
-       bch2_trans_iter_exit(trans, &iter);
-       bch2_trans_put(trans);
+                       check_path(trans, &path, &u, iter.pos.snapshot);
+               })));
        darray_exit(&path);
+
        bch_err_fn(c, ret);
        return ret;
 }
@@ -2272,47 +2183,39 @@ static int check_nlinks_find_hardlinks(struct bch_fs *c,
                                       struct nlink_table *t,
                                       u64 start, u64 *end)
 {
-       struct btree_trans *trans = bch2_trans_get(c);
-       struct btree_iter iter;
-       struct bkey_s_c k;
-       struct bch_inode_unpacked u;
-       int ret = 0;
-
-       for_each_btree_key(trans, iter, BTREE_ID_inodes,
-                          POS(0, start),
-                          BTREE_ITER_INTENT|
-                          BTREE_ITER_PREFETCH|
-                          BTREE_ITER_ALL_SNAPSHOTS, k, ret) {
-               if (!bkey_is_inode(k.k))
-                       continue;
-
-               /* Should never fail, checked by bch2_inode_invalid: */
-               BUG_ON(bch2_inode_unpack(k, &u));
-
-               /*
-                * Backpointer and directory structure checks are sufficient for
-                * directories, since they can't have hardlinks:
-                */
-               if (S_ISDIR(u.bi_mode))
-                       continue;
+       int ret = bch2_trans_run(c,
+               for_each_btree_key(trans, iter, BTREE_ID_inodes,
+                                  POS(0, start),
+                                  BTREE_ITER_INTENT|
+                                  BTREE_ITER_PREFETCH|
+                                  BTREE_ITER_ALL_SNAPSHOTS, k, ({
+                       if (!bkey_is_inode(k.k))
+                               continue;
 
-               if (!u.bi_nlink)
-                       continue;
+                       /* Should never fail, checked by bch2_inode_invalid: */
+                       struct bch_inode_unpacked u;
+                       BUG_ON(bch2_inode_unpack(k, &u));
 
-               ret = add_nlink(c, t, k.k->p.offset, k.k->p.snapshot);
-               if (ret) {
-                       *end = k.k->p.offset;
-                       ret = 0;
-                       break;
-               }
+                       /*
+                        * Backpointer and directory structure checks are sufficient for
+                        * directories, since they can't have hardlinks:
+                        */
+                       if (S_ISDIR(u.bi_mode))
+                               continue;
 
-       }
-       bch2_trans_iter_exit(trans, &iter);
-       bch2_trans_put(trans);
+                       if (!u.bi_nlink)
+                               continue;
 
-       if (ret)
-               bch_err(c, "error in fsck: btree error %i while walking inodes", ret);
+                       ret = add_nlink(c, t, k.k->p.offset, k.k->p.snapshot);
+                       if (ret) {
+                               *end = k.k->p.offset;
+                               ret = 0;
+                               break;
+                       }
+                       0;
+               })));
 
+       bch_err_fn(c, ret);
        return ret;
 }
 
@@ -2320,42 +2223,34 @@ noinline_for_stack
 static int check_nlinks_walk_dirents(struct bch_fs *c, struct nlink_table *links,
                                     u64 range_start, u64 range_end)
 {
-       struct btree_trans *trans = bch2_trans_get(c);
        struct snapshots_seen s;
-       struct btree_iter iter;
-       struct bkey_s_c k;
-       struct bkey_s_c_dirent d;
-       int ret;
 
        snapshots_seen_init(&s);
 
-       for_each_btree_key(trans, iter, BTREE_ID_dirents, POS_MIN,
-                          BTREE_ITER_INTENT|
-                          BTREE_ITER_PREFETCH|
-                          BTREE_ITER_ALL_SNAPSHOTS, k, ret) {
-               ret = snapshots_seen_update(c, &s, iter.btree_id, k.k->p);
-               if (ret)
-                       break;
-
-               switch (k.k->type) {
-               case KEY_TYPE_dirent:
-                       d = bkey_s_c_to_dirent(k);
+       int ret = bch2_trans_run(c,
+               for_each_btree_key(trans, iter, BTREE_ID_dirents, POS_MIN,
+                                  BTREE_ITER_INTENT|
+                                  BTREE_ITER_PREFETCH|
+                                  BTREE_ITER_ALL_SNAPSHOTS, k, ({
+                       ret = snapshots_seen_update(c, &s, iter.btree_id, k.k->p);
+                       if (ret)
+                               break;
 
-                       if (d.v->d_type != DT_DIR &&
-                           d.v->d_type != DT_SUBVOL)
-                               inc_link(c, &s, links, range_start, range_end,
-                                        le64_to_cpu(d.v->d_inum),
-                                        bch2_snapshot_equiv(c, d.k->p.snapshot));
-                       break;
-               }
-       }
-       bch2_trans_iter_exit(trans, &iter);
+                       if (k.k->type == KEY_TYPE_dirent) {
+                               struct bkey_s_c_dirent d = bkey_s_c_to_dirent(k);
 
-       if (ret)
-               bch_err(c, "error in fsck: btree error %i while walking dirents", ret);
+                               if (d.v->d_type != DT_DIR &&
+                                   d.v->d_type != DT_SUBVOL)
+                                       inc_link(c, &s, links, range_start, range_end,
+                                                le64_to_cpu(d.v->d_inum),
+                                                bch2_snapshot_equiv(c, d.k->p.snapshot));
+                       }
+                       0;
+               })));
 
-       bch2_trans_put(trans);
        snapshots_seen_exit(&s);
+
+       bch_err_fn(c, ret);
        return ret;
 }
 
@@ -2406,16 +2301,13 @@ static int check_nlinks_update_hardlinks(struct bch_fs *c,
                               struct nlink_table *links,
                               u64 range_start, u64 range_end)
 {
-       struct btree_iter iter;
-       struct bkey_s_c k;
        size_t idx = 0;
-       int ret = 0;
 
-       ret = bch2_trans_run(c,
+       int ret = bch2_trans_run(c,
                for_each_btree_key_commit(trans, iter, BTREE_ID_inodes,
                                POS(0, range_start),
                                BTREE_ITER_INTENT|BTREE_ITER_PREFETCH|BTREE_ITER_ALL_SNAPSHOTS, k,
-                               NULL, NULL, BCH_TRANS_COMMIT_lazy_rw|BCH_TRANS_COMMIT_no_enospc,
+                               NULL, NULL, BCH_TRANS_COMMIT_no_enospc,
                        check_nlinks_update_inode(trans, &iter, k, links, &idx, range_end)));
        if (ret < 0) {
                bch_err(c, "error in fsck walking inodes: %s", bch2_err_str(ret));
@@ -2464,7 +2356,6 @@ static int fix_reflink_p_key(struct btree_trans *trans, struct btree_iter *iter,
 {
        struct bkey_s_c_reflink_p p;
        struct bkey_i_reflink_p *u;
-       int ret;
 
        if (k.k->type != KEY_TYPE_reflink_p)
                return 0;
@@ -2475,7 +2366,7 @@ static int fix_reflink_p_key(struct btree_trans *trans, struct btree_iter *iter,
                return 0;
 
        u = bch2_trans_kmalloc(trans, sizeof(*u));
-       ret = PTR_ERR_OR_ZERO(u);
+       int ret = PTR_ERR_OR_ZERO(u);
        if (ret)
                return ret;
 
@@ -2488,19 +2379,15 @@ static int fix_reflink_p_key(struct btree_trans *trans, struct btree_iter *iter,
 
 int bch2_fix_reflink_p(struct bch_fs *c)
 {
-       struct btree_iter iter;
-       struct bkey_s_c k;
-       int ret;
-
        if (c->sb.version >= bcachefs_metadata_version_reflink_p_fix)
                return 0;
 
-       ret = bch2_trans_run(c,
+       int ret = bch2_trans_run(c,
                for_each_btree_key_commit(trans, iter,
                                BTREE_ID_extents, POS_MIN,
                                BTREE_ITER_INTENT|BTREE_ITER_PREFETCH|
                                BTREE_ITER_ALL_SNAPSHOTS, k,
-                               NULL, NULL, BCH_TRANS_COMMIT_no_enospc|BCH_TRANS_COMMIT_lazy_rw,
+                               NULL, NULL, BCH_TRANS_COMMIT_no_enospc,
                        fix_reflink_p_key(trans, &iter, k)));
        bch_err_fn(c, ret);
        return ret;