| // SPDX-License-Identifier: GPL-2.0 |
| |
| #include "bcachefs.h" |
| #include "btree_key_cache.h" |
| #include "btree_write_buffer.h" |
| #include "bkey_methods.h" |
| #include "btree_update.h" |
| #include "buckets.h" |
| #include "compress.h" |
| #include "dirent.h" |
| #include "disk_accounting.h" |
| #include "error.h" |
| #include "extents.h" |
| #include "extent_update.h" |
| #include "fs.h" |
| #include "inode.h" |
| #include "str_hash.h" |
| #include "snapshot.h" |
| #include "subvolume.h" |
| #include "varint.h" |
| |
| #include <linux/random.h> |
| |
| #include <linux/unaligned.h> |
| |
| #define x(name, ...) #name, |
| const char * const bch2_inode_opts[] = { |
| BCH_INODE_OPTS() |
| NULL, |
| }; |
| |
| static const char * const bch2_inode_flag_strs[] = { |
| BCH_INODE_FLAGS() |
| NULL |
| }; |
| #undef x |
| |
| static int delete_ancestor_snapshot_inodes(struct btree_trans *, struct bpos); |
| |
| static const u8 byte_table[8] = { 1, 2, 3, 4, 6, 8, 10, 13 }; |
| |
| static int inode_decode_field(const u8 *in, const u8 *end, |
| u64 out[2], unsigned *out_bits) |
| { |
| __be64 be[2] = { 0, 0 }; |
| unsigned bytes, shift; |
| u8 *p; |
| |
| if (in >= end) |
| return -1; |
| |
| if (!*in) |
| return -1; |
| |
| /* |
| * position of highest set bit indicates number of bytes: |
| * shift = number of bits to remove in high byte: |
| */ |
| shift = 8 - __fls(*in); /* 1 <= shift <= 8 */ |
| bytes = byte_table[shift - 1]; |
| |
| if (in + bytes > end) |
| return -1; |
| |
| p = (u8 *) be + 16 - bytes; |
| memcpy(p, in, bytes); |
| *p ^= (1 << 8) >> shift; |
| |
| out[0] = be64_to_cpu(be[0]); |
| out[1] = be64_to_cpu(be[1]); |
| *out_bits = out[0] ? 64 + fls64(out[0]) : fls64(out[1]); |
| |
| return bytes; |
| } |
| |
| static inline void bch2_inode_pack_inlined(struct bkey_inode_buf *packed, |
| const struct bch_inode_unpacked *inode) |
| { |
| struct bkey_i_inode_v3 *k = &packed->inode; |
| u8 *out = k->v.fields; |
| u8 *end = (void *) &packed[1]; |
| u8 *last_nonzero_field = out; |
| unsigned nr_fields = 0, last_nonzero_fieldnr = 0; |
| unsigned bytes; |
| int ret; |
| |
| bkey_inode_v3_init(&packed->inode.k_i); |
| packed->inode.k.p.offset = inode->bi_inum; |
| packed->inode.v.bi_journal_seq = cpu_to_le64(inode->bi_journal_seq); |
| packed->inode.v.bi_hash_seed = inode->bi_hash_seed; |
| packed->inode.v.bi_flags = cpu_to_le64(inode->bi_flags); |
| packed->inode.v.bi_sectors = cpu_to_le64(inode->bi_sectors); |
| packed->inode.v.bi_size = cpu_to_le64(inode->bi_size); |
| packed->inode.v.bi_version = cpu_to_le64(inode->bi_version); |
| SET_INODEv3_MODE(&packed->inode.v, inode->bi_mode); |
| SET_INODEv3_FIELDS_START(&packed->inode.v, INODEv3_FIELDS_START_CUR); |
| |
| |
| #define x(_name, _bits) \ |
| nr_fields++; \ |
| \ |
| if (inode->_name) { \ |
| ret = bch2_varint_encode_fast(out, inode->_name); \ |
| out += ret; \ |
| \ |
| if (_bits > 64) \ |
| *out++ = 0; \ |
| \ |
| last_nonzero_field = out; \ |
| last_nonzero_fieldnr = nr_fields; \ |
| } else { \ |
| *out++ = 0; \ |
| \ |
| if (_bits > 64) \ |
| *out++ = 0; \ |
| } |
| |
| BCH_INODE_FIELDS_v3() |
| #undef x |
| BUG_ON(out > end); |
| |
| out = last_nonzero_field; |
| nr_fields = last_nonzero_fieldnr; |
| |
| bytes = out - (u8 *) &packed->inode.v; |
| set_bkey_val_bytes(&packed->inode.k, bytes); |
| memset_u64s_tail(&packed->inode.v, 0, bytes); |
| |
| SET_INODEv3_NR_FIELDS(&k->v, nr_fields); |
| |
| if (IS_ENABLED(CONFIG_BCACHEFS_DEBUG)) { |
| struct bch_inode_unpacked unpacked; |
| |
| ret = bch2_inode_unpack(bkey_i_to_s_c(&packed->inode.k_i), &unpacked); |
| BUG_ON(ret); |
| BUG_ON(unpacked.bi_inum != inode->bi_inum); |
| BUG_ON(unpacked.bi_hash_seed != inode->bi_hash_seed); |
| BUG_ON(unpacked.bi_sectors != inode->bi_sectors); |
| BUG_ON(unpacked.bi_size != inode->bi_size); |
| BUG_ON(unpacked.bi_version != inode->bi_version); |
| BUG_ON(unpacked.bi_mode != inode->bi_mode); |
| |
| #define x(_name, _bits) if (unpacked._name != inode->_name) \ |
| panic("unpacked %llu should be %llu", \ |
| (u64) unpacked._name, (u64) inode->_name); |
| BCH_INODE_FIELDS_v3() |
| #undef x |
| } |
| } |
| |
| void bch2_inode_pack(struct bkey_inode_buf *packed, |
| const struct bch_inode_unpacked *inode) |
| { |
| bch2_inode_pack_inlined(packed, inode); |
| } |
| |
| static noinline int bch2_inode_unpack_v1(struct bkey_s_c_inode inode, |
| struct bch_inode_unpacked *unpacked) |
| { |
| const u8 *in = inode.v->fields; |
| const u8 *end = bkey_val_end(inode); |
| u64 field[2]; |
| unsigned fieldnr = 0, field_bits; |
| int ret; |
| |
| #define x(_name, _bits) \ |
| if (fieldnr++ == INODE_NR_FIELDS(inode.v)) { \ |
| unsigned offset = offsetof(struct bch_inode_unpacked, _name);\ |
| memset((void *) unpacked + offset, 0, \ |
| sizeof(*unpacked) - offset); \ |
| return 0; \ |
| } \ |
| \ |
| ret = inode_decode_field(in, end, field, &field_bits); \ |
| if (ret < 0) \ |
| return ret; \ |
| \ |
| if (field_bits > sizeof(unpacked->_name) * 8) \ |
| return -1; \ |
| \ |
| unpacked->_name = field[1]; \ |
| in += ret; |
| |
| BCH_INODE_FIELDS_v2() |
| #undef x |
| |
| /* XXX: signal if there were more fields than expected? */ |
| return 0; |
| } |
| |
| static int bch2_inode_unpack_v2(struct bch_inode_unpacked *unpacked, |
| const u8 *in, const u8 *end, |
| unsigned nr_fields) |
| { |
| unsigned fieldnr = 0; |
| int ret; |
| u64 v[2]; |
| |
| #define x(_name, _bits) \ |
| if (fieldnr < nr_fields) { \ |
| ret = bch2_varint_decode_fast(in, end, &v[0]); \ |
| if (ret < 0) \ |
| return ret; \ |
| in += ret; \ |
| \ |
| if (_bits > 64) { \ |
| ret = bch2_varint_decode_fast(in, end, &v[1]); \ |
| if (ret < 0) \ |
| return ret; \ |
| in += ret; \ |
| } else { \ |
| v[1] = 0; \ |
| } \ |
| } else { \ |
| v[0] = v[1] = 0; \ |
| } \ |
| \ |
| unpacked->_name = v[0]; \ |
| if (v[1] || v[0] != unpacked->_name) \ |
| return -1; \ |
| fieldnr++; |
| |
| BCH_INODE_FIELDS_v2() |
| #undef x |
| |
| /* XXX: signal if there were more fields than expected? */ |
| return 0; |
| } |
| |
| static int bch2_inode_unpack_v3(struct bkey_s_c k, |
| struct bch_inode_unpacked *unpacked) |
| { |
| struct bkey_s_c_inode_v3 inode = bkey_s_c_to_inode_v3(k); |
| const u8 *in = inode.v->fields; |
| const u8 *end = bkey_val_end(inode); |
| unsigned nr_fields = INODEv3_NR_FIELDS(inode.v); |
| unsigned fieldnr = 0; |
| int ret; |
| u64 v[2]; |
| |
| unpacked->bi_inum = inode.k->p.offset; |
| unpacked->bi_journal_seq= le64_to_cpu(inode.v->bi_journal_seq); |
| unpacked->bi_hash_seed = inode.v->bi_hash_seed; |
| unpacked->bi_flags = le64_to_cpu(inode.v->bi_flags); |
| unpacked->bi_sectors = le64_to_cpu(inode.v->bi_sectors); |
| unpacked->bi_size = le64_to_cpu(inode.v->bi_size); |
| unpacked->bi_version = le64_to_cpu(inode.v->bi_version); |
| unpacked->bi_mode = INODEv3_MODE(inode.v); |
| |
| #define x(_name, _bits) \ |
| if (fieldnr < nr_fields) { \ |
| ret = bch2_varint_decode_fast(in, end, &v[0]); \ |
| if (ret < 0) \ |
| return ret; \ |
| in += ret; \ |
| \ |
| if (_bits > 64) { \ |
| ret = bch2_varint_decode_fast(in, end, &v[1]); \ |
| if (ret < 0) \ |
| return ret; \ |
| in += ret; \ |
| } else { \ |
| v[1] = 0; \ |
| } \ |
| } else { \ |
| v[0] = v[1] = 0; \ |
| } \ |
| \ |
| unpacked->_name = v[0]; \ |
| if (v[1] || v[0] != unpacked->_name) \ |
| return -1; \ |
| fieldnr++; |
| |
| BCH_INODE_FIELDS_v3() |
| #undef x |
| |
| /* XXX: signal if there were more fields than expected? */ |
| return 0; |
| } |
| |
| static noinline int bch2_inode_unpack_slowpath(struct bkey_s_c k, |
| struct bch_inode_unpacked *unpacked) |
| { |
| memset(unpacked, 0, sizeof(*unpacked)); |
| |
| switch (k.k->type) { |
| case KEY_TYPE_inode: { |
| struct bkey_s_c_inode inode = bkey_s_c_to_inode(k); |
| |
| unpacked->bi_inum = inode.k->p.offset; |
| unpacked->bi_journal_seq= 0; |
| unpacked->bi_hash_seed = inode.v->bi_hash_seed; |
| unpacked->bi_flags = le32_to_cpu(inode.v->bi_flags); |
| unpacked->bi_mode = le16_to_cpu(inode.v->bi_mode); |
| |
| if (INODE_NEW_VARINT(inode.v)) { |
| return bch2_inode_unpack_v2(unpacked, inode.v->fields, |
| bkey_val_end(inode), |
| INODE_NR_FIELDS(inode.v)); |
| } else { |
| return bch2_inode_unpack_v1(inode, unpacked); |
| } |
| break; |
| } |
| case KEY_TYPE_inode_v2: { |
| struct bkey_s_c_inode_v2 inode = bkey_s_c_to_inode_v2(k); |
| |
| unpacked->bi_inum = inode.k->p.offset; |
| unpacked->bi_journal_seq= le64_to_cpu(inode.v->bi_journal_seq); |
| unpacked->bi_hash_seed = inode.v->bi_hash_seed; |
| unpacked->bi_flags = le64_to_cpu(inode.v->bi_flags); |
| unpacked->bi_mode = le16_to_cpu(inode.v->bi_mode); |
| |
| return bch2_inode_unpack_v2(unpacked, inode.v->fields, |
| bkey_val_end(inode), |
| INODEv2_NR_FIELDS(inode.v)); |
| } |
| default: |
| BUG(); |
| } |
| } |
| |
| int bch2_inode_unpack(struct bkey_s_c k, |
| struct bch_inode_unpacked *unpacked) |
| { |
| unpacked->bi_snapshot = k.k->p.snapshot; |
| |
| return likely(k.k->type == KEY_TYPE_inode_v3) |
| ? bch2_inode_unpack_v3(k, unpacked) |
| : bch2_inode_unpack_slowpath(k, unpacked); |
| } |
| |
| int __bch2_inode_peek(struct btree_trans *trans, |
| struct btree_iter *iter, |
| struct bch_inode_unpacked *inode, |
| subvol_inum inum, unsigned flags, |
| bool warn) |
| { |
| u32 snapshot; |
| int ret = __bch2_subvolume_get_snapshot(trans, inum.subvol, &snapshot, warn); |
| if (ret) |
| return ret; |
| |
| struct bkey_s_c k = bch2_bkey_get_iter(trans, iter, BTREE_ID_inodes, |
| SPOS(0, inum.inum, snapshot), |
| flags|BTREE_ITER_cached); |
| ret = bkey_err(k); |
| if (ret) |
| return ret; |
| |
| ret = bkey_is_inode(k.k) ? 0 : -BCH_ERR_ENOENT_inode; |
| if (ret) |
| goto err; |
| |
| ret = bch2_inode_unpack(k, inode); |
| if (ret) |
| goto err; |
| |
| return 0; |
| err: |
| if (warn) |
| bch_err_msg(trans->c, ret, "looking up inum %llu:%llu:", inum.subvol, inum.inum); |
| bch2_trans_iter_exit(trans, iter); |
| return ret; |
| } |
| |
| int bch2_inode_write_flags(struct btree_trans *trans, |
| struct btree_iter *iter, |
| struct bch_inode_unpacked *inode, |
| enum btree_iter_update_trigger_flags flags) |
| { |
| struct bkey_inode_buf *inode_p; |
| |
| inode_p = bch2_trans_kmalloc(trans, sizeof(*inode_p)); |
| if (IS_ERR(inode_p)) |
| return PTR_ERR(inode_p); |
| |
| bch2_inode_pack_inlined(inode_p, inode); |
| inode_p->inode.k.p.snapshot = iter->snapshot; |
| return bch2_trans_update(trans, iter, &inode_p->inode.k_i, flags); |
| } |
| |
| int __bch2_fsck_write_inode(struct btree_trans *trans, struct bch_inode_unpacked *inode) |
| { |
| struct bkey_inode_buf *inode_p = |
| bch2_trans_kmalloc(trans, sizeof(*inode_p)); |
| |
| if (IS_ERR(inode_p)) |
| return PTR_ERR(inode_p); |
| |
| bch2_inode_pack(inode_p, inode); |
| inode_p->inode.k.p.snapshot = inode->bi_snapshot; |
| |
| return bch2_btree_insert_nonextent(trans, BTREE_ID_inodes, |
| &inode_p->inode.k_i, |
| BTREE_UPDATE_internal_snapshot_node); |
| } |
| |
| int bch2_fsck_write_inode(struct btree_trans *trans, struct bch_inode_unpacked *inode) |
| { |
| int ret = commit_do(trans, NULL, NULL, BCH_TRANS_COMMIT_no_enospc, |
| __bch2_fsck_write_inode(trans, inode)); |
| bch_err_fn(trans->c, ret); |
| return ret; |
| } |
| |
| struct bkey_i *bch2_inode_to_v3(struct btree_trans *trans, struct bkey_i *k) |
| { |
| struct bch_inode_unpacked u; |
| struct bkey_inode_buf *inode_p; |
| int ret; |
| |
| if (!bkey_is_inode(&k->k)) |
| return ERR_PTR(-ENOENT); |
| |
| inode_p = bch2_trans_kmalloc(trans, sizeof(*inode_p)); |
| if (IS_ERR(inode_p)) |
| return ERR_CAST(inode_p); |
| |
| ret = bch2_inode_unpack(bkey_i_to_s_c(k), &u); |
| if (ret) |
| return ERR_PTR(ret); |
| |
| bch2_inode_pack(inode_p, &u); |
| return &inode_p->inode.k_i; |
| } |
| |
| static int __bch2_inode_validate(struct bch_fs *c, struct bkey_s_c k, |
| enum bch_validate_flags flags) |
| { |
| struct bch_inode_unpacked unpacked; |
| int ret = 0; |
| |
| bkey_fsck_err_on(k.k->p.inode, |
| c, inode_pos_inode_nonzero, |
| "nonzero k.p.inode"); |
| |
| bkey_fsck_err_on(k.k->p.offset < BLOCKDEV_INODE_MAX, |
| c, inode_pos_blockdev_range, |
| "fs inode in blockdev range"); |
| |
| bkey_fsck_err_on(bch2_inode_unpack(k, &unpacked), |
| c, inode_unpack_error, |
| "invalid variable length fields"); |
| |
| bkey_fsck_err_on(unpacked.bi_data_checksum >= BCH_CSUM_OPT_NR + 1, |
| c, inode_checksum_type_invalid, |
| "invalid data checksum type (%u >= %u", |
| unpacked.bi_data_checksum, BCH_CSUM_OPT_NR + 1); |
| |
| bkey_fsck_err_on(unpacked.bi_compression && |
| !bch2_compression_opt_valid(unpacked.bi_compression - 1), |
| c, inode_compression_type_invalid, |
| "invalid compression opt %u", unpacked.bi_compression - 1); |
| |
| bkey_fsck_err_on((unpacked.bi_flags & BCH_INODE_unlinked) && |
| unpacked.bi_nlink != 0, |
| c, inode_unlinked_but_nlink_nonzero, |
| "flagged as unlinked but bi_nlink != 0"); |
| |
| bkey_fsck_err_on(unpacked.bi_subvol && !S_ISDIR(unpacked.bi_mode), |
| c, inode_subvol_root_but_not_dir, |
| "subvolume root but not a directory"); |
| fsck_err: |
| return ret; |
| } |
| |
| int bch2_inode_validate(struct bch_fs *c, struct bkey_s_c k, |
| enum bch_validate_flags flags) |
| { |
| struct bkey_s_c_inode inode = bkey_s_c_to_inode(k); |
| int ret = 0; |
| |
| bkey_fsck_err_on(INODE_STR_HASH(inode.v) >= BCH_STR_HASH_NR, |
| c, inode_str_hash_invalid, |
| "invalid str hash type (%llu >= %u)", |
| INODE_STR_HASH(inode.v), BCH_STR_HASH_NR); |
| |
| ret = __bch2_inode_validate(c, k, flags); |
| fsck_err: |
| return ret; |
| } |
| |
| int bch2_inode_v2_validate(struct bch_fs *c, struct bkey_s_c k, |
| enum bch_validate_flags flags) |
| { |
| struct bkey_s_c_inode_v2 inode = bkey_s_c_to_inode_v2(k); |
| int ret = 0; |
| |
| bkey_fsck_err_on(INODEv2_STR_HASH(inode.v) >= BCH_STR_HASH_NR, |
| c, inode_str_hash_invalid, |
| "invalid str hash type (%llu >= %u)", |
| INODEv2_STR_HASH(inode.v), BCH_STR_HASH_NR); |
| |
| ret = __bch2_inode_validate(c, k, flags); |
| fsck_err: |
| return ret; |
| } |
| |
| int bch2_inode_v3_validate(struct bch_fs *c, struct bkey_s_c k, |
| enum bch_validate_flags flags) |
| { |
| struct bkey_s_c_inode_v3 inode = bkey_s_c_to_inode_v3(k); |
| int ret = 0; |
| |
| bkey_fsck_err_on(INODEv3_FIELDS_START(inode.v) < INODEv3_FIELDS_START_INITIAL || |
| INODEv3_FIELDS_START(inode.v) > bkey_val_u64s(inode.k), |
| c, inode_v3_fields_start_bad, |
| "invalid fields_start (got %llu, min %u max %zu)", |
| INODEv3_FIELDS_START(inode.v), |
| INODEv3_FIELDS_START_INITIAL, |
| bkey_val_u64s(inode.k)); |
| |
| bkey_fsck_err_on(INODEv3_STR_HASH(inode.v) >= BCH_STR_HASH_NR, |
| c, inode_str_hash_invalid, |
| "invalid str hash type (%llu >= %u)", |
| INODEv3_STR_HASH(inode.v), BCH_STR_HASH_NR); |
| |
| ret = __bch2_inode_validate(c, k, flags); |
| fsck_err: |
| return ret; |
| } |
| |
| static void __bch2_inode_unpacked_to_text(struct printbuf *out, |
| struct bch_inode_unpacked *inode) |
| { |
| prt_printf(out, "\n"); |
| printbuf_indent_add(out, 2); |
| prt_printf(out, "mode=%o\n", inode->bi_mode); |
| |
| prt_str(out, "flags="); |
| prt_bitflags(out, bch2_inode_flag_strs, inode->bi_flags & ((1U << 20) - 1)); |
| prt_printf(out, "(%x)\n", inode->bi_flags); |
| |
| prt_printf(out, "journal_seq=%llu\n", inode->bi_journal_seq); |
| prt_printf(out, "bi_size=%llu\n", inode->bi_size); |
| prt_printf(out, "bi_sectors=%llu\n", inode->bi_sectors); |
| prt_printf(out, "bi_version=%llu\n", inode->bi_version); |
| |
| #define x(_name, _bits) \ |
| prt_printf(out, #_name "=%llu\n", (u64) inode->_name); |
| BCH_INODE_FIELDS_v3() |
| #undef x |
| |
| bch2_printbuf_strip_trailing_newline(out); |
| printbuf_indent_sub(out, 2); |
| } |
| |
| void bch2_inode_unpacked_to_text(struct printbuf *out, struct bch_inode_unpacked *inode) |
| { |
| prt_printf(out, "inum: %llu:%u ", inode->bi_inum, inode->bi_snapshot); |
| __bch2_inode_unpacked_to_text(out, inode); |
| } |
| |
| void bch2_inode_to_text(struct printbuf *out, struct bch_fs *c, struct bkey_s_c k) |
| { |
| struct bch_inode_unpacked inode; |
| |
| if (bch2_inode_unpack(k, &inode)) { |
| prt_printf(out, "(unpack error)"); |
| return; |
| } |
| |
| __bch2_inode_unpacked_to_text(out, &inode); |
| } |
| |
| static inline u64 bkey_inode_flags(struct bkey_s_c k) |
| { |
| switch (k.k->type) { |
| case KEY_TYPE_inode: |
| return le32_to_cpu(bkey_s_c_to_inode(k).v->bi_flags); |
| case KEY_TYPE_inode_v2: |
| return le64_to_cpu(bkey_s_c_to_inode_v2(k).v->bi_flags); |
| case KEY_TYPE_inode_v3: |
| return le64_to_cpu(bkey_s_c_to_inode_v3(k).v->bi_flags); |
| default: |
| return 0; |
| } |
| } |
| |
| static inline void bkey_inode_flags_set(struct bkey_s k, u64 f) |
| { |
| switch (k.k->type) { |
| case KEY_TYPE_inode: |
| bkey_s_to_inode(k).v->bi_flags = cpu_to_le32(f); |
| return; |
| case KEY_TYPE_inode_v2: |
| bkey_s_to_inode_v2(k).v->bi_flags = cpu_to_le64(f); |
| return; |
| case KEY_TYPE_inode_v3: |
| bkey_s_to_inode_v3(k).v->bi_flags = cpu_to_le64(f); |
| return; |
| default: |
| BUG(); |
| } |
| } |
| |
| static inline bool bkey_is_unlinked_inode(struct bkey_s_c k) |
| { |
| unsigned f = bkey_inode_flags(k) & BCH_INODE_unlinked; |
| |
| return (f & BCH_INODE_unlinked) && !(f & BCH_INODE_has_child_snapshot); |
| } |
| |
| static struct bkey_s_c |
| bch2_bkey_get_iter_snapshot_parent(struct btree_trans *trans, struct btree_iter *iter, |
| enum btree_id btree, struct bpos pos, |
| unsigned flags) |
| { |
| struct bch_fs *c = trans->c; |
| struct bkey_s_c k; |
| int ret = 0; |
| |
| for_each_btree_key_upto_norestart(trans, *iter, btree, |
| bpos_successor(pos), |
| SPOS(pos.inode, pos.offset, U32_MAX), |
| flags|BTREE_ITER_all_snapshots, k, ret) |
| if (bch2_snapshot_is_ancestor(c, pos.snapshot, k.k->p.snapshot)) |
| return k; |
| |
| bch2_trans_iter_exit(trans, iter); |
| return ret ? bkey_s_c_err(ret) : bkey_s_c_null; |
| } |
| |
| static struct bkey_s_c |
| bch2_inode_get_iter_snapshot_parent(struct btree_trans *trans, struct btree_iter *iter, |
| struct bpos pos, unsigned flags) |
| { |
| struct bkey_s_c k; |
| again: |
| k = bch2_bkey_get_iter_snapshot_parent(trans, iter, BTREE_ID_inodes, pos, flags); |
| if (!k.k || |
| bkey_err(k) || |
| bkey_is_inode(k.k)) |
| return k; |
| |
| bch2_trans_iter_exit(trans, iter); |
| pos = k.k->p; |
| goto again; |
| } |
| |
| int __bch2_inode_has_child_snapshots(struct btree_trans *trans, struct bpos pos) |
| { |
| struct bch_fs *c = trans->c; |
| struct btree_iter iter; |
| struct bkey_s_c k; |
| int ret = 0; |
| |
| for_each_btree_key_upto_norestart(trans, iter, |
| BTREE_ID_inodes, POS(0, pos.offset), bpos_predecessor(pos), |
| BTREE_ITER_all_snapshots| |
| BTREE_ITER_with_updates, k, ret) |
| if (bch2_snapshot_is_ancestor(c, k.k->p.snapshot, pos.snapshot) && |
| bkey_is_inode(k.k)) { |
| ret = 1; |
| break; |
| } |
| bch2_trans_iter_exit(trans, &iter); |
| return ret; |
| } |
| |
| static int update_inode_has_children(struct btree_trans *trans, |
| struct bkey_s k, |
| bool have_child) |
| { |
| if (!have_child) { |
| int ret = bch2_inode_has_child_snapshots(trans, k.k->p); |
| if (ret) |
| return ret < 0 ? ret : 0; |
| } |
| |
| u64 f = bkey_inode_flags(k.s_c); |
| if (have_child != !!(f & BCH_INODE_has_child_snapshot)) |
| bkey_inode_flags_set(k, f ^ BCH_INODE_has_child_snapshot); |
| |
| return 0; |
| } |
| |
| static int update_parent_inode_has_children(struct btree_trans *trans, struct bpos pos, |
| bool have_child) |
| { |
| struct btree_iter iter; |
| struct bkey_s_c k = bch2_inode_get_iter_snapshot_parent(trans, |
| &iter, pos, BTREE_ITER_with_updates); |
| int ret = bkey_err(k); |
| if (ret) |
| return ret; |
| if (!k.k) |
| return 0; |
| |
| if (!have_child) { |
| ret = bch2_inode_has_child_snapshots(trans, k.k->p); |
| if (ret) { |
| ret = ret < 0 ? ret : 0; |
| goto err; |
| } |
| } |
| |
| u64 f = bkey_inode_flags(k); |
| if (have_child != !!(f & BCH_INODE_has_child_snapshot)) { |
| struct bkey_i *update = bch2_bkey_make_mut(trans, &iter, &k, |
| BTREE_UPDATE_internal_snapshot_node); |
| ret = PTR_ERR_OR_ZERO(update); |
| if (ret) |
| goto err; |
| |
| bkey_inode_flags_set(bkey_i_to_s(update), f ^ BCH_INODE_has_child_snapshot); |
| } |
| err: |
| bch2_trans_iter_exit(trans, &iter); |
| return ret; |
| } |
| |
| int bch2_trigger_inode(struct btree_trans *trans, |
| enum btree_id btree_id, unsigned level, |
| struct bkey_s_c old, |
| struct bkey_s new, |
| enum btree_iter_update_trigger_flags flags) |
| { |
| struct bch_fs *c = trans->c; |
| |
| if ((flags & BTREE_TRIGGER_atomic) && (flags & BTREE_TRIGGER_insert)) { |
| BUG_ON(!trans->journal_res.seq); |
| bkey_s_to_inode_v3(new).v->bi_journal_seq = cpu_to_le64(trans->journal_res.seq); |
| } |
| |
| s64 nr = bkey_is_inode(new.k) - bkey_is_inode(old.k); |
| if ((flags & (BTREE_TRIGGER_transactional|BTREE_TRIGGER_gc)) && nr) { |
| struct disk_accounting_pos acc = { .type = BCH_DISK_ACCOUNTING_nr_inodes }; |
| int ret = bch2_disk_accounting_mod(trans, &acc, &nr, 1, flags & BTREE_TRIGGER_gc); |
| if (ret) |
| return ret; |
| } |
| |
| if (flags & BTREE_TRIGGER_transactional) { |
| int unlinked_delta = (int) bkey_is_unlinked_inode(new.s_c) - |
| (int) bkey_is_unlinked_inode(old); |
| if (unlinked_delta) { |
| int ret = bch2_btree_bit_mod_buffered(trans, BTREE_ID_deleted_inodes, |
| new.k->p, unlinked_delta > 0); |
| if (ret) |
| return ret; |
| } |
| |
| /* |
| * If we're creating or deleting an inode at this snapshot ID, |
| * and there might be an inode in a parent snapshot ID, we might |
| * need to set or clear the has_child_snapshot flag on the |
| * parent. |
| */ |
| int deleted_delta = (int) bkey_is_inode(new.k) - |
| (int) bkey_is_inode(old.k); |
| if (deleted_delta && |
| bch2_snapshot_parent(c, new.k->p.snapshot)) { |
| int ret = update_parent_inode_has_children(trans, new.k->p, |
| deleted_delta > 0); |
| if (ret) |
| return ret; |
| } |
| |
| /* |
| * When an inode is first updated in a new snapshot, we may need |
| * to clear has_child_snapshot |
| */ |
| if (deleted_delta > 0) { |
| int ret = update_inode_has_children(trans, new, false); |
| if (ret) |
| return ret; |
| } |
| } |
| |
| return 0; |
| } |
| |
| int bch2_inode_generation_validate(struct bch_fs *c, struct bkey_s_c k, |
| enum bch_validate_flags flags) |
| { |
| int ret = 0; |
| |
| bkey_fsck_err_on(k.k->p.inode, |
| c, inode_pos_inode_nonzero, |
| "nonzero k.p.inode"); |
| fsck_err: |
| return ret; |
| } |
| |
| void bch2_inode_generation_to_text(struct printbuf *out, struct bch_fs *c, |
| struct bkey_s_c k) |
| { |
| struct bkey_s_c_inode_generation gen = bkey_s_c_to_inode_generation(k); |
| |
| prt_printf(out, "generation: %u", le32_to_cpu(gen.v->bi_generation)); |
| } |
| |
| void bch2_inode_init_early(struct bch_fs *c, |
| struct bch_inode_unpacked *inode_u) |
| { |
| enum bch_str_hash_type str_hash = |
| bch2_str_hash_opt_to_type(c, c->opts.str_hash); |
| |
| memset(inode_u, 0, sizeof(*inode_u)); |
| |
| /* ick */ |
| inode_u->bi_flags |= str_hash << INODE_STR_HASH_OFFSET; |
| get_random_bytes(&inode_u->bi_hash_seed, |
| sizeof(inode_u->bi_hash_seed)); |
| } |
| |
| void bch2_inode_init_late(struct bch_inode_unpacked *inode_u, u64 now, |
| uid_t uid, gid_t gid, umode_t mode, dev_t rdev, |
| struct bch_inode_unpacked *parent) |
| { |
| inode_u->bi_mode = mode; |
| inode_u->bi_uid = uid; |
| inode_u->bi_gid = gid; |
| inode_u->bi_dev = rdev; |
| inode_u->bi_atime = now; |
| inode_u->bi_mtime = now; |
| inode_u->bi_ctime = now; |
| inode_u->bi_otime = now; |
| |
| if (parent && parent->bi_mode & S_ISGID) { |
| inode_u->bi_gid = parent->bi_gid; |
| if (S_ISDIR(mode)) |
| inode_u->bi_mode |= S_ISGID; |
| } |
| |
| if (parent) { |
| #define x(_name, ...) inode_u->bi_##_name = parent->bi_##_name; |
| BCH_INODE_OPTS() |
| #undef x |
| } |
| } |
| |
| void bch2_inode_init(struct bch_fs *c, struct bch_inode_unpacked *inode_u, |
| uid_t uid, gid_t gid, umode_t mode, dev_t rdev, |
| struct bch_inode_unpacked *parent) |
| { |
| bch2_inode_init_early(c, inode_u); |
| bch2_inode_init_late(inode_u, bch2_current_time(c), |
| uid, gid, mode, rdev, parent); |
| } |
| |
| static inline u32 bkey_generation(struct bkey_s_c k) |
| { |
| switch (k.k->type) { |
| case KEY_TYPE_inode: |
| case KEY_TYPE_inode_v2: |
| BUG(); |
| case KEY_TYPE_inode_generation: |
| return le32_to_cpu(bkey_s_c_to_inode_generation(k).v->bi_generation); |
| default: |
| return 0; |
| } |
| } |
| |
| /* |
| * This just finds an empty slot: |
| */ |
| int bch2_inode_create(struct btree_trans *trans, |
| struct btree_iter *iter, |
| struct bch_inode_unpacked *inode_u, |
| u32 snapshot, u64 cpu) |
| { |
| struct bch_fs *c = trans->c; |
| struct bkey_s_c k; |
| u64 min, max, start, pos, *hint; |
| int ret = 0; |
| unsigned bits = (c->opts.inodes_32bit ? 31 : 63); |
| |
| if (c->opts.shard_inode_numbers) { |
| bits -= c->inode_shard_bits; |
| |
| min = (cpu << bits); |
| max = (cpu << bits) | ~(ULLONG_MAX << bits); |
| |
| min = max_t(u64, min, BLOCKDEV_INODE_MAX); |
| hint = c->unused_inode_hints + cpu; |
| } else { |
| min = BLOCKDEV_INODE_MAX; |
| max = ~(ULLONG_MAX << bits); |
| hint = c->unused_inode_hints; |
| } |
| |
| start = READ_ONCE(*hint); |
| |
| if (start >= max || start < min) |
| start = min; |
| |
| pos = start; |
| bch2_trans_iter_init(trans, iter, BTREE_ID_inodes, POS(0, pos), |
| BTREE_ITER_all_snapshots| |
| BTREE_ITER_intent); |
| again: |
| while ((k = bch2_btree_iter_peek(iter)).k && |
| !(ret = bkey_err(k)) && |
| bkey_lt(k.k->p, POS(0, max))) { |
| if (pos < iter->pos.offset) |
| goto found_slot; |
| |
| /* |
| * We don't need to iterate over keys in every snapshot once |
| * we've found just one: |
| */ |
| pos = iter->pos.offset + 1; |
| bch2_btree_iter_set_pos(iter, POS(0, pos)); |
| } |
| |
| if (!ret && pos < max) |
| goto found_slot; |
| |
| if (!ret && start == min) |
| ret = -BCH_ERR_ENOSPC_inode_create; |
| |
| if (ret) { |
| bch2_trans_iter_exit(trans, iter); |
| return ret; |
| } |
| |
| /* Retry from start */ |
| pos = start = min; |
| bch2_btree_iter_set_pos(iter, POS(0, pos)); |
| goto again; |
| found_slot: |
| bch2_btree_iter_set_pos(iter, SPOS(0, pos, snapshot)); |
| k = bch2_btree_iter_peek_slot(iter); |
| ret = bkey_err(k); |
| if (ret) { |
| bch2_trans_iter_exit(trans, iter); |
| return ret; |
| } |
| |
| *hint = k.k->p.offset; |
| inode_u->bi_inum = k.k->p.offset; |
| inode_u->bi_generation = bkey_generation(k); |
| return 0; |
| } |
| |
| static int bch2_inode_delete_keys(struct btree_trans *trans, |
| subvol_inum inum, enum btree_id id) |
| { |
| struct btree_iter iter; |
| struct bkey_s_c k; |
| struct bkey_i delete; |
| struct bpos end = POS(inum.inum, U64_MAX); |
| u32 snapshot; |
| int ret = 0; |
| |
| /* |
| * We're never going to be deleting partial extents, no need to use an |
| * extent iterator: |
| */ |
| bch2_trans_iter_init(trans, &iter, id, POS(inum.inum, 0), |
| BTREE_ITER_intent); |
| |
| while (1) { |
| bch2_trans_begin(trans); |
| |
| ret = bch2_subvolume_get_snapshot(trans, inum.subvol, &snapshot); |
| if (ret) |
| goto err; |
| |
| bch2_btree_iter_set_snapshot(&iter, snapshot); |
| |
| k = bch2_btree_iter_peek_upto(&iter, end); |
| ret = bkey_err(k); |
| if (ret) |
| goto err; |
| |
| if (!k.k) |
| break; |
| |
| bkey_init(&delete.k); |
| delete.k.p = iter.pos; |
| |
| if (iter.flags & BTREE_ITER_is_extents) |
| bch2_key_resize(&delete.k, |
| bpos_min(end, k.k->p).offset - |
| iter.pos.offset); |
| |
| ret = bch2_trans_update(trans, &iter, &delete, 0) ?: |
| bch2_trans_commit(trans, NULL, NULL, |
| BCH_TRANS_COMMIT_no_enospc); |
| err: |
| if (ret && !bch2_err_matches(ret, BCH_ERR_transaction_restart)) |
| break; |
| } |
| |
| bch2_trans_iter_exit(trans, &iter); |
| return ret; |
| } |
| |
| int bch2_inode_rm(struct bch_fs *c, subvol_inum inum) |
| { |
| struct btree_trans *trans = bch2_trans_get(c); |
| struct btree_iter iter = { NULL }; |
| struct bkey_i_inode_generation delete; |
| struct bch_inode_unpacked inode_u; |
| struct bkey_s_c k; |
| u32 snapshot; |
| int ret; |
| |
| /* |
| * If this was a directory, there shouldn't be any real dirents left - |
| * but there could be whiteouts (from hash collisions) that we should |
| * delete: |
| * |
| * XXX: the dirent could ideally would delete whiteouts when they're no |
| * longer needed |
| */ |
| ret = bch2_inode_delete_keys(trans, inum, BTREE_ID_extents) ?: |
| bch2_inode_delete_keys(trans, inum, BTREE_ID_xattrs) ?: |
| bch2_inode_delete_keys(trans, inum, BTREE_ID_dirents); |
| if (ret) |
| goto err; |
| retry: |
| bch2_trans_begin(trans); |
| |
| ret = bch2_subvolume_get_snapshot(trans, inum.subvol, &snapshot); |
| if (ret) |
| goto err; |
| |
| k = bch2_bkey_get_iter(trans, &iter, BTREE_ID_inodes, |
| SPOS(0, inum.inum, snapshot), |
| BTREE_ITER_intent|BTREE_ITER_cached); |
| ret = bkey_err(k); |
| if (ret) |
| goto err; |
| |
| if (!bkey_is_inode(k.k)) { |
| bch2_fs_inconsistent(c, |
| "inode %llu:%u not found when deleting", |
| inum.inum, snapshot); |
| ret = -EIO; |
| goto err; |
| } |
| |
| bch2_inode_unpack(k, &inode_u); |
| |
| bkey_inode_generation_init(&delete.k_i); |
| delete.k.p = iter.pos; |
| delete.v.bi_generation = cpu_to_le32(inode_u.bi_generation + 1); |
| |
| ret = bch2_trans_update(trans, &iter, &delete.k_i, 0) ?: |
| bch2_trans_commit(trans, NULL, NULL, |
| BCH_TRANS_COMMIT_no_enospc); |
| err: |
| bch2_trans_iter_exit(trans, &iter); |
| if (bch2_err_matches(ret, BCH_ERR_transaction_restart)) |
| goto retry; |
| |
| if (ret) |
| goto err2; |
| |
| ret = delete_ancestor_snapshot_inodes(trans, SPOS(0, inum.inum, snapshot)); |
| err2: |
| bch2_trans_put(trans); |
| return ret; |
| } |
| |
| int bch2_inode_find_by_inum_nowarn_trans(struct btree_trans *trans, |
| subvol_inum inum, |
| struct bch_inode_unpacked *inode) |
| { |
| struct btree_iter iter; |
| int ret; |
| |
| ret = bch2_inode_peek_nowarn(trans, &iter, inode, inum, 0); |
| if (!ret) |
| bch2_trans_iter_exit(trans, &iter); |
| return ret; |
| } |
| |
| int bch2_inode_find_by_inum_trans(struct btree_trans *trans, |
| subvol_inum inum, |
| struct bch_inode_unpacked *inode) |
| { |
| struct btree_iter iter; |
| int ret; |
| |
| ret = bch2_inode_peek(trans, &iter, inode, inum, 0); |
| if (!ret) |
| bch2_trans_iter_exit(trans, &iter); |
| return ret; |
| } |
| |
| int bch2_inode_find_by_inum(struct bch_fs *c, subvol_inum inum, |
| struct bch_inode_unpacked *inode) |
| { |
| return bch2_trans_do(c, NULL, NULL, 0, |
| bch2_inode_find_by_inum_trans(trans, inum, inode)); |
| } |
| |
| int bch2_inode_nlink_inc(struct bch_inode_unpacked *bi) |
| { |
| if (bi->bi_flags & BCH_INODE_unlinked) |
| bi->bi_flags &= ~BCH_INODE_unlinked; |
| else { |
| if (bi->bi_nlink == U32_MAX) |
| return -EINVAL; |
| |
| bi->bi_nlink++; |
| } |
| |
| return 0; |
| } |
| |
| void bch2_inode_nlink_dec(struct btree_trans *trans, struct bch_inode_unpacked *bi) |
| { |
| if (bi->bi_nlink && (bi->bi_flags & BCH_INODE_unlinked)) { |
| bch2_trans_inconsistent(trans, "inode %llu unlinked but link count nonzero", |
| bi->bi_inum); |
| return; |
| } |
| |
| if (bi->bi_flags & BCH_INODE_unlinked) { |
| bch2_trans_inconsistent(trans, "inode %llu link count underflow", bi->bi_inum); |
| return; |
| } |
| |
| if (bi->bi_nlink) |
| bi->bi_nlink--; |
| else |
| bi->bi_flags |= BCH_INODE_unlinked; |
| } |
| |
| struct bch_opts bch2_inode_opts_to_opts(struct bch_inode_unpacked *inode) |
| { |
| struct bch_opts ret = { 0 }; |
| #define x(_name, _bits) \ |
| if (inode->bi_##_name) \ |
| opt_set(ret, _name, inode->bi_##_name - 1); |
| BCH_INODE_OPTS() |
| #undef x |
| return ret; |
| } |
| |
| void bch2_inode_opts_get(struct bch_io_opts *opts, struct bch_fs *c, |
| struct bch_inode_unpacked *inode) |
| { |
| #define x(_name, _bits) opts->_name = inode_opt_get(c, inode, _name); |
| BCH_INODE_OPTS() |
| #undef x |
| |
| if (opts->nocow) |
| opts->compression = opts->background_compression = opts->data_checksum = opts->erasure_code = 0; |
| } |
| |
| int bch2_inum_opts_get(struct btree_trans *trans, subvol_inum inum, struct bch_io_opts *opts) |
| { |
| struct bch_inode_unpacked inode; |
| int ret = lockrestart_do(trans, bch2_inode_find_by_inum_trans(trans, inum, &inode)); |
| |
| if (ret) |
| return ret; |
| |
| bch2_inode_opts_get(opts, trans->c, &inode); |
| return 0; |
| } |
| |
| static noinline int __bch2_inode_rm_snapshot(struct btree_trans *trans, u64 inum, u32 snapshot) |
| { |
| struct bch_fs *c = trans->c; |
| struct btree_iter iter = { NULL }; |
| struct bkey_i_inode_generation delete; |
| struct bch_inode_unpacked inode_u; |
| struct bkey_s_c k; |
| int ret; |
| |
| do { |
| ret = bch2_btree_delete_range_trans(trans, BTREE_ID_extents, |
| SPOS(inum, 0, snapshot), |
| SPOS(inum, U64_MAX, snapshot), |
| 0, NULL) ?: |
| bch2_btree_delete_range_trans(trans, BTREE_ID_dirents, |
| SPOS(inum, 0, snapshot), |
| SPOS(inum, U64_MAX, snapshot), |
| 0, NULL) ?: |
| bch2_btree_delete_range_trans(trans, BTREE_ID_xattrs, |
| SPOS(inum, 0, snapshot), |
| SPOS(inum, U64_MAX, snapshot), |
| 0, NULL); |
| } while (ret == -BCH_ERR_transaction_restart_nested); |
| if (ret) |
| goto err; |
| retry: |
| bch2_trans_begin(trans); |
| |
| k = bch2_bkey_get_iter(trans, &iter, BTREE_ID_inodes, |
| SPOS(0, inum, snapshot), BTREE_ITER_intent); |
| ret = bkey_err(k); |
| if (ret) |
| goto err; |
| |
| if (!bkey_is_inode(k.k)) { |
| bch2_fs_inconsistent(c, |
| "inode %llu:%u not found when deleting", |
| inum, snapshot); |
| ret = -EIO; |
| goto err; |
| } |
| |
| bch2_inode_unpack(k, &inode_u); |
| |
| /* Subvolume root? */ |
| if (inode_u.bi_subvol) |
| bch_warn(c, "deleting inode %llu marked as unlinked, but also a subvolume root!?", inode_u.bi_inum); |
| |
| bkey_inode_generation_init(&delete.k_i); |
| delete.k.p = iter.pos; |
| delete.v.bi_generation = cpu_to_le32(inode_u.bi_generation + 1); |
| |
| ret = bch2_trans_update(trans, &iter, &delete.k_i, 0) ?: |
| bch2_trans_commit(trans, NULL, NULL, |
| BCH_TRANS_COMMIT_no_enospc); |
| err: |
| bch2_trans_iter_exit(trans, &iter); |
| if (bch2_err_matches(ret, BCH_ERR_transaction_restart)) |
| goto retry; |
| |
| return ret ?: -BCH_ERR_transaction_restart_nested; |
| } |
| |
| /* |
| * After deleting an inode, there may be versions in older snapshots that should |
| * also be deleted - if they're not referenced by sibling snapshots and not open |
| * in other subvolumes: |
| */ |
| static int delete_ancestor_snapshot_inodes(struct btree_trans *trans, struct bpos pos) |
| { |
| struct btree_iter iter; |
| struct bkey_s_c k; |
| int ret; |
| next_parent: |
| ret = lockrestart_do(trans, |
| bkey_err(k = bch2_inode_get_iter_snapshot_parent(trans, &iter, pos, 0))); |
| if (ret || !k.k) |
| return ret; |
| |
| bool unlinked = bkey_is_unlinked_inode(k); |
| pos = k.k->p; |
| bch2_trans_iter_exit(trans, &iter); |
| |
| if (!unlinked) |
| return 0; |
| |
| ret = lockrestart_do(trans, bch2_inode_or_descendents_is_open(trans, pos)); |
| if (ret) |
| return ret < 0 ? ret : 0; |
| |
| ret = __bch2_inode_rm_snapshot(trans, pos.offset, pos.snapshot); |
| if (ret) |
| return ret; |
| goto next_parent; |
| } |
| |
| int bch2_inode_rm_snapshot(struct btree_trans *trans, u64 inum, u32 snapshot) |
| { |
| return __bch2_inode_rm_snapshot(trans, inum, snapshot) ?: |
| delete_ancestor_snapshot_inodes(trans, SPOS(0, inum, snapshot)); |
| } |
| |
| static int may_delete_deleted_inode(struct btree_trans *trans, |
| struct btree_iter *iter, |
| struct bpos pos, |
| bool *need_another_pass) |
| { |
| struct bch_fs *c = trans->c; |
| struct btree_iter inode_iter; |
| struct bkey_s_c k; |
| struct bch_inode_unpacked inode; |
| struct printbuf buf = PRINTBUF; |
| int ret; |
| |
| k = bch2_bkey_get_iter(trans, &inode_iter, BTREE_ID_inodes, pos, BTREE_ITER_cached); |
| ret = bkey_err(k); |
| if (ret) |
| return ret; |
| |
| ret = bkey_is_inode(k.k) ? 0 : -BCH_ERR_ENOENT_inode; |
| if (fsck_err_on(!bkey_is_inode(k.k), |
| trans, deleted_inode_missing, |
| "nonexistent inode %llu:%u in deleted_inodes btree", |
| pos.offset, pos.snapshot)) |
| goto delete; |
| |
| ret = bch2_inode_unpack(k, &inode); |
| if (ret) |
| goto out; |
| |
| if (S_ISDIR(inode.bi_mode)) { |
| ret = bch2_empty_dir_snapshot(trans, pos.offset, 0, pos.snapshot); |
| if (fsck_err_on(bch2_err_matches(ret, ENOTEMPTY), |
| trans, deleted_inode_is_dir, |
| "non empty directory %llu:%u in deleted_inodes btree", |
| pos.offset, pos.snapshot)) |
| goto delete; |
| if (ret) |
| goto out; |
| } |
| |
| if (fsck_err_on(!(inode.bi_flags & BCH_INODE_unlinked), |
| trans, deleted_inode_not_unlinked, |
| "non-deleted inode %llu:%u in deleted_inodes btree", |
| pos.offset, pos.snapshot)) |
| goto delete; |
| |
| if (fsck_err_on(inode.bi_flags & BCH_INODE_has_child_snapshot, |
| trans, deleted_inode_has_child_snapshots, |
| "inode with child snapshots %llu:%u in deleted_inodes btree", |
| pos.offset, pos.snapshot)) |
| goto delete; |
| |
| ret = bch2_inode_has_child_snapshots(trans, k.k->p); |
| if (ret < 0) |
| goto out; |
| |
| if (ret) { |
| if (fsck_err(trans, inode_has_child_snapshots_wrong, |
| "inode has_child_snapshots flag wrong (should be set)\n%s", |
| (printbuf_reset(&buf), |
| bch2_inode_unpacked_to_text(&buf, &inode), |
| buf.buf))) { |
| inode.bi_flags |= BCH_INODE_has_child_snapshot; |
| ret = __bch2_fsck_write_inode(trans, &inode); |
| if (ret) |
| goto out; |
| } |
| goto delete; |
| |
| } |
| |
| if (test_bit(BCH_FS_clean_recovery, &c->flags) && |
| !fsck_err(trans, deleted_inode_but_clean, |
| "filesystem marked as clean but have deleted inode %llu:%u", |
| pos.offset, pos.snapshot)) { |
| ret = 0; |
| goto out; |
| } |
| |
| ret = 1; |
| out: |
| fsck_err: |
| bch2_trans_iter_exit(trans, &inode_iter); |
| printbuf_exit(&buf); |
| return ret; |
| delete: |
| ret = bch2_btree_bit_mod_buffered(trans, BTREE_ID_deleted_inodes, pos, false); |
| goto out; |
| } |
| |
| int bch2_delete_dead_inodes(struct bch_fs *c) |
| { |
| struct btree_trans *trans = bch2_trans_get(c); |
| bool need_another_pass; |
| int ret; |
| again: |
| /* |
| * if we ran check_inodes() unlinked inodes will have already been |
| * cleaned up but the write buffer will be out of sync; therefore we |
| * alway need a write buffer flush |
| */ |
| ret = bch2_btree_write_buffer_flush_sync(trans); |
| if (ret) |
| goto err; |
| |
| need_another_pass = false; |
| |
| /* |
| * Weird transaction restart handling here because on successful delete, |
| * bch2_inode_rm_snapshot() will return a nested transaction restart, |
| * but we can't retry because the btree write buffer won't have been |
| * flushed and we'd spin: |
| */ |
| ret = for_each_btree_key_commit(trans, iter, BTREE_ID_deleted_inodes, POS_MIN, |
| BTREE_ITER_prefetch|BTREE_ITER_all_snapshots, k, |
| NULL, NULL, BCH_TRANS_COMMIT_no_enospc, ({ |
| ret = may_delete_deleted_inode(trans, &iter, k.k->p, &need_another_pass); |
| if (ret > 0) { |
| bch_verbose(c, "deleting unlinked inode %llu:%u", k.k->p.offset, k.k->p.snapshot); |
| |
| ret = bch2_inode_rm_snapshot(trans, k.k->p.offset, k.k->p.snapshot); |
| /* |
| * We don't want to loop here: a transaction restart |
| * error here means we handled a transaction restart and |
| * we're actually done, but if we loop we'll retry the |
| * same key because the write buffer hasn't been flushed |
| * yet |
| */ |
| if (bch2_err_matches(ret, BCH_ERR_transaction_restart)) { |
| ret = 0; |
| continue; |
| } |
| } |
| |
| ret; |
| })); |
| |
| if (!ret && need_another_pass) |
| goto again; |
| err: |
| bch2_trans_put(trans); |
| return ret; |
| } |