mirror of
https://github.com/torvalds/linux.git
synced 2025-11-02 09:40:27 +02:00
As part of the forward compatibility patch series, we need to allow for new key types without complaining loudly when running an old version. This patch changes the flags parameter of bkey_invalid to an enum, and adds a new flag to indicate we're being called from the transaction commit path. Signed-off-by: Kent Overstreet <kent.overstreet@linux.dev>
519 lines
13 KiB
C
519 lines
13 KiB
C
// SPDX-License-Identifier: GPL-2.0
|
|
|
|
#include "bcachefs.h"
|
|
#include "backpointers.h"
|
|
#include "bkey_methods.h"
|
|
#include "btree_types.h"
|
|
#include "alloc_background.h"
|
|
#include "dirent.h"
|
|
#include "ec.h"
|
|
#include "error.h"
|
|
#include "extents.h"
|
|
#include "inode.h"
|
|
#include "lru.h"
|
|
#include "quota.h"
|
|
#include "reflink.h"
|
|
#include "subvolume.h"
|
|
#include "xattr.h"
|
|
|
|
const char * const bch2_bkey_types[] = {
|
|
#define x(name, nr) #name,
|
|
BCH_BKEY_TYPES()
|
|
#undef x
|
|
NULL
|
|
};
|
|
|
|
static int deleted_key_invalid(const struct bch_fs *c, struct bkey_s_c k,
|
|
unsigned flags, struct printbuf *err)
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
#define bch2_bkey_ops_deleted ((struct bkey_ops) { \
|
|
.key_invalid = deleted_key_invalid, \
|
|
})
|
|
|
|
#define bch2_bkey_ops_whiteout ((struct bkey_ops) { \
|
|
.key_invalid = deleted_key_invalid, \
|
|
})
|
|
|
|
static int empty_val_key_invalid(const struct bch_fs *c, struct bkey_s_c k,
|
|
unsigned flags, struct printbuf *err)
|
|
{
|
|
if (bkey_val_bytes(k.k)) {
|
|
prt_printf(err, "incorrect value size (%zu != 0)",
|
|
bkey_val_bytes(k.k));
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
#define bch2_bkey_ops_error ((struct bkey_ops) { \
|
|
.key_invalid = empty_val_key_invalid, \
|
|
})
|
|
|
|
static int key_type_cookie_invalid(const struct bch_fs *c, struct bkey_s_c k,
|
|
unsigned flags, struct printbuf *err)
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
#define bch2_bkey_ops_cookie ((struct bkey_ops) { \
|
|
.key_invalid = key_type_cookie_invalid, \
|
|
.min_val_size = 8, \
|
|
})
|
|
|
|
#define bch2_bkey_ops_hash_whiteout ((struct bkey_ops) {\
|
|
.key_invalid = empty_val_key_invalid, \
|
|
})
|
|
|
|
static int key_type_inline_data_invalid(const struct bch_fs *c, struct bkey_s_c k,
|
|
unsigned flags, struct printbuf *err)
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
static void key_type_inline_data_to_text(struct printbuf *out, struct bch_fs *c,
|
|
struct bkey_s_c k)
|
|
{
|
|
struct bkey_s_c_inline_data d = bkey_s_c_to_inline_data(k);
|
|
unsigned datalen = bkey_inline_data_bytes(k.k);
|
|
|
|
prt_printf(out, "datalen %u: %*phN",
|
|
datalen, min(datalen, 32U), d.v->data);
|
|
}
|
|
|
|
#define bch2_bkey_ops_inline_data ((struct bkey_ops) { \
|
|
.key_invalid = key_type_inline_data_invalid, \
|
|
.val_to_text = key_type_inline_data_to_text, \
|
|
})
|
|
|
|
static int key_type_set_invalid(const struct bch_fs *c, struct bkey_s_c k,
|
|
unsigned flags, struct printbuf *err)
|
|
{
|
|
if (bkey_val_bytes(k.k)) {
|
|
prt_printf(err, "incorrect value size (%zu != %zu)",
|
|
bkey_val_bytes(k.k), sizeof(struct bch_cookie));
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
static bool key_type_set_merge(struct bch_fs *c, struct bkey_s l, struct bkey_s_c r)
|
|
{
|
|
bch2_key_resize(l.k, l.k->size + r.k->size);
|
|
return true;
|
|
}
|
|
|
|
#define bch2_bkey_ops_set ((struct bkey_ops) { \
|
|
.key_invalid = key_type_set_invalid, \
|
|
.key_merge = key_type_set_merge, \
|
|
})
|
|
|
|
const struct bkey_ops bch2_bkey_ops[] = {
|
|
#define x(name, nr) [KEY_TYPE_##name] = bch2_bkey_ops_##name,
|
|
BCH_BKEY_TYPES()
|
|
#undef x
|
|
};
|
|
|
|
const struct bkey_ops bch2_bkey_null_ops = {
|
|
.min_val_size = U8_MAX,
|
|
};
|
|
|
|
int bch2_bkey_val_invalid(struct bch_fs *c, struct bkey_s_c k,
|
|
enum bkey_invalid_flags flags,
|
|
struct printbuf *err)
|
|
{
|
|
const struct bkey_ops *ops = bch2_bkey_type_ops(k.k->type);
|
|
|
|
if (bkey_val_bytes(k.k) < ops->min_val_size) {
|
|
prt_printf(err, "bad val size (%zu < %u)",
|
|
bkey_val_bytes(k.k), ops->min_val_size);
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
if (!ops->key_invalid)
|
|
return 0;
|
|
|
|
return ops->key_invalid(c, k, flags, err);
|
|
}
|
|
|
|
static unsigned bch2_key_types_allowed[] = {
|
|
[BKEY_TYPE_extents] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_whiteout)|
|
|
(1U << KEY_TYPE_error)|
|
|
(1U << KEY_TYPE_cookie)|
|
|
(1U << KEY_TYPE_extent)|
|
|
(1U << KEY_TYPE_reservation)|
|
|
(1U << KEY_TYPE_reflink_p)|
|
|
(1U << KEY_TYPE_inline_data),
|
|
[BKEY_TYPE_inodes] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_whiteout)|
|
|
(1U << KEY_TYPE_inode)|
|
|
(1U << KEY_TYPE_inode_v2)|
|
|
(1U << KEY_TYPE_inode_v3)|
|
|
(1U << KEY_TYPE_inode_generation),
|
|
[BKEY_TYPE_dirents] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_whiteout)|
|
|
(1U << KEY_TYPE_hash_whiteout)|
|
|
(1U << KEY_TYPE_dirent),
|
|
[BKEY_TYPE_xattrs] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_whiteout)|
|
|
(1U << KEY_TYPE_cookie)|
|
|
(1U << KEY_TYPE_hash_whiteout)|
|
|
(1U << KEY_TYPE_xattr),
|
|
[BKEY_TYPE_alloc] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_alloc)|
|
|
(1U << KEY_TYPE_alloc_v2)|
|
|
(1U << KEY_TYPE_alloc_v3)|
|
|
(1U << KEY_TYPE_alloc_v4),
|
|
[BKEY_TYPE_quotas] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_quota),
|
|
[BKEY_TYPE_stripes] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_stripe),
|
|
[BKEY_TYPE_reflink] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_reflink_v)|
|
|
(1U << KEY_TYPE_indirect_inline_data),
|
|
[BKEY_TYPE_subvolumes] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_subvolume),
|
|
[BKEY_TYPE_snapshots] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_snapshot),
|
|
[BKEY_TYPE_lru] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_set),
|
|
[BKEY_TYPE_freespace] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_set),
|
|
[BKEY_TYPE_need_discard] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_set),
|
|
[BKEY_TYPE_backpointers] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_backpointer),
|
|
[BKEY_TYPE_bucket_gens] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_bucket_gens),
|
|
[BKEY_TYPE_snapshot_trees] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_snapshot_tree),
|
|
[BKEY_TYPE_btree] =
|
|
(1U << KEY_TYPE_deleted)|
|
|
(1U << KEY_TYPE_btree_ptr)|
|
|
(1U << KEY_TYPE_btree_ptr_v2),
|
|
};
|
|
|
|
int __bch2_bkey_invalid(struct bch_fs *c, struct bkey_s_c k,
|
|
enum btree_node_type type,
|
|
enum bkey_invalid_flags flags,
|
|
struct printbuf *err)
|
|
{
|
|
if (k.k->u64s < BKEY_U64s) {
|
|
prt_printf(err, "u64s too small (%u < %zu)", k.k->u64s, BKEY_U64s);
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
if (flags & BKEY_INVALID_COMMIT &&
|
|
!(bch2_key_types_allowed[type] & (1U << k.k->type))) {
|
|
prt_printf(err, "invalid key type for btree %s (%s)",
|
|
bch2_btree_ids[type], bch2_bkey_types[k.k->type]);
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
if (btree_node_type_is_extents(type) && !bkey_whiteout(k.k)) {
|
|
if (k.k->size == 0) {
|
|
prt_printf(err, "size == 0");
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
if (k.k->size > k.k->p.offset) {
|
|
prt_printf(err, "size greater than offset (%u > %llu)",
|
|
k.k->size, k.k->p.offset);
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
} else {
|
|
if (k.k->size) {
|
|
prt_printf(err, "size != 0");
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
}
|
|
|
|
if (type != BKEY_TYPE_btree) {
|
|
if (!btree_type_has_snapshots((enum btree_id) type) &&
|
|
k.k->p.snapshot) {
|
|
prt_printf(err, "nonzero snapshot");
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
if (btree_type_has_snapshots((enum btree_id) type) &&
|
|
!k.k->p.snapshot) {
|
|
prt_printf(err, "snapshot == 0");
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
if (bkey_eq(k.k->p, POS_MAX)) {
|
|
prt_printf(err, "key at POS_MAX");
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
int bch2_bkey_invalid(struct bch_fs *c, struct bkey_s_c k,
|
|
enum btree_node_type type,
|
|
enum bkey_invalid_flags flags,
|
|
struct printbuf *err)
|
|
{
|
|
return __bch2_bkey_invalid(c, k, type, flags, err) ?:
|
|
bch2_bkey_val_invalid(c, k, flags, err);
|
|
}
|
|
|
|
int bch2_bkey_in_btree_node(struct btree *b, struct bkey_s_c k,
|
|
struct printbuf *err)
|
|
{
|
|
if (bpos_lt(k.k->p, b->data->min_key)) {
|
|
prt_printf(err, "key before start of btree node");
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
if (bpos_gt(k.k->p, b->data->max_key)) {
|
|
prt_printf(err, "key past end of btree node");
|
|
return -BCH_ERR_invalid_bkey;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
void bch2_bpos_to_text(struct printbuf *out, struct bpos pos)
|
|
{
|
|
if (bpos_eq(pos, POS_MIN))
|
|
prt_printf(out, "POS_MIN");
|
|
else if (bpos_eq(pos, POS_MAX))
|
|
prt_printf(out, "POS_MAX");
|
|
else if (bpos_eq(pos, SPOS_MAX))
|
|
prt_printf(out, "SPOS_MAX");
|
|
else {
|
|
if (pos.inode == U64_MAX)
|
|
prt_printf(out, "U64_MAX");
|
|
else
|
|
prt_printf(out, "%llu", pos.inode);
|
|
prt_printf(out, ":");
|
|
if (pos.offset == U64_MAX)
|
|
prt_printf(out, "U64_MAX");
|
|
else
|
|
prt_printf(out, "%llu", pos.offset);
|
|
prt_printf(out, ":");
|
|
if (pos.snapshot == U32_MAX)
|
|
prt_printf(out, "U32_MAX");
|
|
else
|
|
prt_printf(out, "%u", pos.snapshot);
|
|
}
|
|
}
|
|
|
|
void bch2_bkey_to_text(struct printbuf *out, const struct bkey *k)
|
|
{
|
|
if (k) {
|
|
prt_printf(out, "u64s %u type ", k->u64s);
|
|
|
|
if (k->type < KEY_TYPE_MAX)
|
|
prt_printf(out, "%s ", bch2_bkey_types[k->type]);
|
|
else
|
|
prt_printf(out, "%u ", k->type);
|
|
|
|
bch2_bpos_to_text(out, k->p);
|
|
|
|
prt_printf(out, " len %u ver %llu", k->size, k->version.lo);
|
|
} else {
|
|
prt_printf(out, "(null)");
|
|
}
|
|
}
|
|
|
|
void bch2_val_to_text(struct printbuf *out, struct bch_fs *c,
|
|
struct bkey_s_c k)
|
|
{
|
|
const struct bkey_ops *ops = bch2_bkey_type_ops(k.k->type);
|
|
|
|
if (likely(ops->val_to_text))
|
|
ops->val_to_text(out, c, k);
|
|
}
|
|
|
|
void bch2_bkey_val_to_text(struct printbuf *out, struct bch_fs *c,
|
|
struct bkey_s_c k)
|
|
{
|
|
bch2_bkey_to_text(out, k.k);
|
|
|
|
if (bkey_val_bytes(k.k)) {
|
|
prt_printf(out, ": ");
|
|
bch2_val_to_text(out, c, k);
|
|
}
|
|
}
|
|
|
|
void bch2_bkey_swab_val(struct bkey_s k)
|
|
{
|
|
const struct bkey_ops *ops = bch2_bkey_type_ops(k.k->type);
|
|
|
|
if (ops->swab)
|
|
ops->swab(k);
|
|
}
|
|
|
|
bool bch2_bkey_normalize(struct bch_fs *c, struct bkey_s k)
|
|
{
|
|
const struct bkey_ops *ops = bch2_bkey_type_ops(k.k->type);
|
|
|
|
return ops->key_normalize
|
|
? ops->key_normalize(c, k)
|
|
: false;
|
|
}
|
|
|
|
bool bch2_bkey_merge(struct bch_fs *c, struct bkey_s l, struct bkey_s_c r)
|
|
{
|
|
const struct bkey_ops *ops = bch2_bkey_type_ops(l.k->type);
|
|
|
|
return ops->key_merge &&
|
|
bch2_bkey_maybe_mergable(l.k, r.k) &&
|
|
(u64) l.k->size + r.k->size <= KEY_SIZE_MAX &&
|
|
!bch2_key_merging_disabled &&
|
|
ops->key_merge(c, l, r);
|
|
}
|
|
|
|
static const struct old_bkey_type {
|
|
u8 btree_node_type;
|
|
u8 old;
|
|
u8 new;
|
|
} bkey_renumber_table[] = {
|
|
{BKEY_TYPE_btree, 128, KEY_TYPE_btree_ptr },
|
|
{BKEY_TYPE_extents, 128, KEY_TYPE_extent },
|
|
{BKEY_TYPE_extents, 129, KEY_TYPE_extent },
|
|
{BKEY_TYPE_extents, 130, KEY_TYPE_reservation },
|
|
{BKEY_TYPE_inodes, 128, KEY_TYPE_inode },
|
|
{BKEY_TYPE_inodes, 130, KEY_TYPE_inode_generation },
|
|
{BKEY_TYPE_dirents, 128, KEY_TYPE_dirent },
|
|
{BKEY_TYPE_dirents, 129, KEY_TYPE_hash_whiteout },
|
|
{BKEY_TYPE_xattrs, 128, KEY_TYPE_xattr },
|
|
{BKEY_TYPE_xattrs, 129, KEY_TYPE_hash_whiteout },
|
|
{BKEY_TYPE_alloc, 128, KEY_TYPE_alloc },
|
|
{BKEY_TYPE_quotas, 128, KEY_TYPE_quota },
|
|
};
|
|
|
|
void bch2_bkey_renumber(enum btree_node_type btree_node_type,
|
|
struct bkey_packed *k,
|
|
int write)
|
|
{
|
|
const struct old_bkey_type *i;
|
|
|
|
for (i = bkey_renumber_table;
|
|
i < bkey_renumber_table + ARRAY_SIZE(bkey_renumber_table);
|
|
i++)
|
|
if (btree_node_type == i->btree_node_type &&
|
|
k->type == (write ? i->new : i->old)) {
|
|
k->type = write ? i->old : i->new;
|
|
break;
|
|
}
|
|
}
|
|
|
|
void __bch2_bkey_compat(unsigned level, enum btree_id btree_id,
|
|
unsigned version, unsigned big_endian,
|
|
int write,
|
|
struct bkey_format *f,
|
|
struct bkey_packed *k)
|
|
{
|
|
const struct bkey_ops *ops;
|
|
struct bkey uk;
|
|
struct bkey_s u;
|
|
unsigned nr_compat = 5;
|
|
int i;
|
|
|
|
/*
|
|
* Do these operations in reverse order in the write path:
|
|
*/
|
|
|
|
for (i = 0; i < nr_compat; i++)
|
|
switch (!write ? i : nr_compat - 1 - i) {
|
|
case 0:
|
|
if (big_endian != CPU_BIG_ENDIAN)
|
|
bch2_bkey_swab_key(f, k);
|
|
break;
|
|
case 1:
|
|
if (version < bcachefs_metadata_version_bkey_renumber)
|
|
bch2_bkey_renumber(__btree_node_type(level, btree_id), k, write);
|
|
break;
|
|
case 2:
|
|
if (version < bcachefs_metadata_version_inode_btree_change &&
|
|
btree_id == BTREE_ID_inodes) {
|
|
if (!bkey_packed(k)) {
|
|
struct bkey_i *u = packed_to_bkey(k);
|
|
|
|
swap(u->k.p.inode, u->k.p.offset);
|
|
} else if (f->bits_per_field[BKEY_FIELD_INODE] &&
|
|
f->bits_per_field[BKEY_FIELD_OFFSET]) {
|
|
struct bkey_format tmp = *f, *in = f, *out = &tmp;
|
|
|
|
swap(tmp.bits_per_field[BKEY_FIELD_INODE],
|
|
tmp.bits_per_field[BKEY_FIELD_OFFSET]);
|
|
swap(tmp.field_offset[BKEY_FIELD_INODE],
|
|
tmp.field_offset[BKEY_FIELD_OFFSET]);
|
|
|
|
if (!write)
|
|
swap(in, out);
|
|
|
|
uk = __bch2_bkey_unpack_key(in, k);
|
|
swap(uk.p.inode, uk.p.offset);
|
|
BUG_ON(!bch2_bkey_pack_key(k, &uk, out));
|
|
}
|
|
}
|
|
break;
|
|
case 3:
|
|
if (version < bcachefs_metadata_version_snapshot &&
|
|
(level || btree_type_has_snapshots(btree_id))) {
|
|
struct bkey_i *u = packed_to_bkey(k);
|
|
|
|
if (u) {
|
|
u->k.p.snapshot = write
|
|
? 0 : U32_MAX;
|
|
} else {
|
|
u64 min_packed = le64_to_cpu(f->field_offset[BKEY_FIELD_SNAPSHOT]);
|
|
u64 max_packed = min_packed +
|
|
~(~0ULL << f->bits_per_field[BKEY_FIELD_SNAPSHOT]);
|
|
|
|
uk = __bch2_bkey_unpack_key(f, k);
|
|
uk.p.snapshot = write
|
|
? min_packed : min_t(u64, U32_MAX, max_packed);
|
|
|
|
BUG_ON(!bch2_bkey_pack_key(k, &uk, f));
|
|
}
|
|
}
|
|
|
|
break;
|
|
case 4:
|
|
if (!bkey_packed(k)) {
|
|
u = bkey_i_to_s(packed_to_bkey(k));
|
|
} else {
|
|
uk = __bch2_bkey_unpack_key(f, k);
|
|
u.k = &uk;
|
|
u.v = bkeyp_val(f, k);
|
|
}
|
|
|
|
if (big_endian != CPU_BIG_ENDIAN)
|
|
bch2_bkey_swab_val(u);
|
|
|
|
ops = bch2_bkey_type_ops(k->type);
|
|
|
|
if (ops->compat)
|
|
ops->compat(btree_id, version, big_endian, write, u);
|
|
break;
|
|
default:
|
|
BUG();
|
|
}
|
|
}
|