git.sesse.net Git - bcachefs-tools-debian/blob - libbcachefs/bkey_methods.c

   1 // SPDX-License-Identifier: GPL-2.0
   2
   3 #include "bcachefs.h"
   4 #include "bkey_methods.h"
   5 #include "btree_types.h"
   6 #include "alloc_background.h"
   7 #include "dirent.h"
   8 #include "ec.h"
   9 #include "error.h"
  10 #include "extents.h"
  11 #include "inode.h"
  12 #include "quota.h"
  13 #include "reflink.h"
  14 #include "xattr.h"
  15
  16 const char * const bch2_bkey_types[] = {
  17 #define x(name, nr) #name,
  18         BCH_BKEY_TYPES()
  19 #undef x
  20         NULL
  21 };
  22
  23 static const char *deleted_key_invalid(const struct bch_fs *c,
  24                                         struct bkey_s_c k)
  25 {
  26         return NULL;
  27 }
  28
  29 #define bch2_bkey_ops_deleted (struct bkey_ops) {       \
  30         .key_invalid = deleted_key_invalid,             \
  31 }
  32
  33 #define bch2_bkey_ops_discard (struct bkey_ops) {       \
  34         .key_invalid = deleted_key_invalid,             \
  35 }
  36
  37 static const char *empty_val_key_invalid(const struct bch_fs *c, struct bkey_s_c k)
  38 {
  39         if (bkey_val_bytes(k.k))
  40                 return "value size should be zero";
  41
  42         return NULL;
  43 }
  44
  45 #define bch2_bkey_ops_error (struct bkey_ops) {         \
  46         .key_invalid = empty_val_key_invalid,           \
  47 }
  48
  49 static const char *key_type_cookie_invalid(const struct bch_fs *c,
  50                                            struct bkey_s_c k)
  51 {
  52         if (bkey_val_bytes(k.k) != sizeof(struct bch_cookie))
  53                 return "incorrect value size";
  54
  55         return NULL;
  56 }
  57
  58 #define bch2_bkey_ops_cookie (struct bkey_ops) {        \
  59         .key_invalid = key_type_cookie_invalid,         \
  60 }
  61
  62 #define bch2_bkey_ops_whiteout (struct bkey_ops) {      \
  63         .key_invalid = empty_val_key_invalid,           \
  64 }
  65
  66 static const char *key_type_inline_data_invalid(const struct bch_fs *c,
  67                                            struct bkey_s_c k)
  68 {
  69         return NULL;
  70 }
  71
  72 static void key_type_inline_data_to_text(struct printbuf *out, struct bch_fs *c,
  73                                          struct bkey_s_c k)
  74 {
  75         pr_buf(out, "(%zu bytes)", bkey_val_bytes(k.k));
  76 }
  77
  78 static const struct bkey_ops bch2_bkey_ops_inline_data = {
  79         .key_invalid    = key_type_inline_data_invalid,
  80         .val_to_text    = key_type_inline_data_to_text,
  81 };
  82
  83 static const struct bkey_ops bch2_bkey_ops[] = {
  84 #define x(name, nr) [KEY_TYPE_##name]   = bch2_bkey_ops_##name,
  85         BCH_BKEY_TYPES()
  86 #undef x
  87 };
  88
  89 const char *bch2_bkey_val_invalid(struct bch_fs *c, struct bkey_s_c k)
  90 {
  91         if (k.k->type >= KEY_TYPE_MAX)
  92                 return "invalid type";
  93
  94         return bch2_bkey_ops[k.k->type].key_invalid(c, k);
  95 }
  96
  97 const char *__bch2_bkey_invalid(struct bch_fs *c, struct bkey_s_c k,
  98                                 enum btree_node_type type)
  99 {
 100         if (k.k->u64s < BKEY_U64s)
 101                 return "u64s too small";
 102
 103         if (type == BKEY_TYPE_BTREE &&
 104             bkey_val_u64s(k.k) > BKEY_BTREE_PTR_VAL_U64s_MAX)
 105                 return "value too big";
 106
 107         if (btree_node_type_is_extents(type)) {
 108                 if ((k.k->size == 0) != bkey_deleted(k.k))
 109                         return "bad size field";
 110
 111                 if (k.k->size > k.k->p.offset)
 112                         return "size greater than offset";
 113         } else {
 114                 if (k.k->size)
 115                         return "nonzero size field";
 116         }
 117
 118         if (k.k->p.snapshot)
 119                 return "nonzero snapshot";
 120
 121         if (type != BKEY_TYPE_BTREE &&
 122             !bkey_cmp(k.k->p, POS_MAX))
 123                 return "POS_MAX key";
 124
 125         return NULL;
 126 }
 127
 128 const char *bch2_bkey_invalid(struct bch_fs *c, struct bkey_s_c k,
 129                               enum btree_node_type type)
 130 {
 131         return __bch2_bkey_invalid(c, k, type) ?:
 132                 bch2_bkey_val_invalid(c, k);
 133 }
 134
 135 const char *bch2_bkey_in_btree_node(struct btree *b, struct bkey_s_c k)
 136 {
 137         if (bkey_cmp(bkey_start_pos(k.k), b->data->min_key) < 0)
 138                 return "key before start of btree node";
 139
 140         if (bkey_cmp(k.k->p, b->data->max_key) > 0)
 141                 return "key past end of btree node";
 142
 143         return NULL;
 144 }
 145
 146 void bch2_bkey_debugcheck(struct bch_fs *c, struct btree *b, struct bkey_s_c k)
 147 {
 148         const struct bkey_ops *ops = &bch2_bkey_ops[k.k->type];
 149         const char *invalid;
 150
 151         BUG_ON(!k.k->u64s);
 152
 153         invalid = bch2_bkey_invalid(c, k, btree_node_type(b)) ?:
 154                 bch2_bkey_in_btree_node(b, k);
 155         if (invalid) {
 156                 char buf[160];
 157
 158                 bch2_bkey_val_to_text(&PBUF(buf), c, k);
 159                 bch2_fs_bug(c, "invalid bkey %s: %s", buf, invalid);
 160                 return;
 161         }
 162
 163         if (ops->key_debugcheck)
 164                 ops->key_debugcheck(c, k);
 165 }
 166
 167 void bch2_bpos_to_text(struct printbuf *out, struct bpos pos)
 168 {
 169         if (!bkey_cmp(pos, POS_MIN))
 170                 pr_buf(out, "POS_MIN");
 171         else if (!bkey_cmp(pos, POS_MAX))
 172                 pr_buf(out, "POS_MAX");
 173         else
 174                 pr_buf(out, "%llu:%llu", pos.inode, pos.offset);
 175 }
 176
 177 void bch2_bkey_to_text(struct printbuf *out, const struct bkey *k)
 178 {
 179         pr_buf(out, "u64s %u type %s ", k->u64s,
 180                bch2_bkey_types[k->type]);
 181
 182         bch2_bpos_to_text(out, k->p);
 183
 184         pr_buf(out, " snap %u len %u ver %llu",
 185                k->p.snapshot, k->size, k->version.lo);
 186 }
 187
 188 void bch2_val_to_text(struct printbuf *out, struct bch_fs *c,
 189                       struct bkey_s_c k)
 190 {
 191         const struct bkey_ops *ops = &bch2_bkey_ops[k.k->type];
 192
 193         if (likely(ops->val_to_text))
 194                 ops->val_to_text(out, c, k);
 195 }
 196
 197 void bch2_bkey_val_to_text(struct printbuf *out, struct bch_fs *c,
 198                            struct bkey_s_c k)
 199 {
 200         bch2_bkey_to_text(out, k.k);
 201         pr_buf(out, ": ");
 202         bch2_val_to_text(out, c, k);
 203 }
 204
 205 void bch2_bkey_swab(const struct bkey_format *f,
 206                     struct bkey_packed *k)
 207 {
 208         const struct bkey_ops *ops = &bch2_bkey_ops[k->type];
 209
 210         bch2_bkey_swab_key(f, k);
 211
 212         if (ops->swab)
 213                 ops->swab(f, k);
 214 }
 215
 216 bool bch2_bkey_normalize(struct bch_fs *c, struct bkey_s k)
 217 {
 218         const struct bkey_ops *ops = &bch2_bkey_ops[k.k->type];
 219
 220         return ops->key_normalize
 221                 ? ops->key_normalize(c, k)
 222                 : false;
 223 }
 224
 225 enum merge_result bch2_bkey_merge(struct bch_fs *c,
 226                                   struct bkey_s l, struct bkey_s r)
 227 {
 228         const struct bkey_ops *ops = &bch2_bkey_ops[l.k->type];
 229         enum merge_result ret;
 230
 231         if (key_merging_disabled(c) ||
 232             !ops->key_merge ||
 233             l.k->type != r.k->type ||
 234             bversion_cmp(l.k->version, r.k->version) ||
 235             bkey_cmp(l.k->p, bkey_start_pos(r.k)))
 236                 return BCH_MERGE_NOMERGE;
 237
 238         ret = ops->key_merge(c, l, r);
 239
 240         if (ret != BCH_MERGE_NOMERGE)
 241                 l.k->needs_whiteout |= r.k->needs_whiteout;
 242         return ret;
 243 }
 244
 245 static const struct old_bkey_type {
 246         u8              btree_node_type;
 247         u8              old;
 248         u8              new;
 249 } bkey_renumber_table[] = {
 250         {BKEY_TYPE_BTREE,       128, KEY_TYPE_btree_ptr         },
 251         {BKEY_TYPE_EXTENTS,     128, KEY_TYPE_extent            },
 252         {BKEY_TYPE_EXTENTS,     129, KEY_TYPE_extent            },
 253         {BKEY_TYPE_EXTENTS,     130, KEY_TYPE_reservation       },
 254         {BKEY_TYPE_INODES,      128, KEY_TYPE_inode             },
 255         {BKEY_TYPE_INODES,      130, KEY_TYPE_inode_generation  },
 256         {BKEY_TYPE_DIRENTS,     128, KEY_TYPE_dirent            },
 257         {BKEY_TYPE_DIRENTS,     129, KEY_TYPE_whiteout          },
 258         {BKEY_TYPE_XATTRS,      128, KEY_TYPE_xattr             },
 259         {BKEY_TYPE_XATTRS,      129, KEY_TYPE_whiteout          },
 260         {BKEY_TYPE_ALLOC,       128, KEY_TYPE_alloc             },
 261         {BKEY_TYPE_QUOTAS,      128, KEY_TYPE_quota             },
 262 };
 263
 264 void bch2_bkey_renumber(enum btree_node_type btree_node_type,
 265                         struct bkey_packed *k,
 266                         int write)
 267 {
 268         const struct old_bkey_type *i;
 269
 270         for (i = bkey_renumber_table;
 271              i < bkey_renumber_table + ARRAY_SIZE(bkey_renumber_table);
 272              i++)
 273                 if (btree_node_type == i->btree_node_type &&
 274                     k->type == (write ? i->new : i->old)) {
 275                         k->type = write ? i->old : i->new;
 276                         break;
 277                 }
 278 }