]> git.sesse.net Git - bcachefs-tools-debian/blob - libbcachefs/bcachefs_format.h
Update bcachefs sources to 078a1a596a bcachefs: Optimize bucket reuse
[bcachefs-tools-debian] / libbcachefs / bcachefs_format.h
1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _BCACHEFS_FORMAT_H
3 #define _BCACHEFS_FORMAT_H
4
5 /*
6  * bcachefs on disk data structures
7  *
8  * OVERVIEW:
9  *
10  * There are three main types of on disk data structures in bcachefs (this is
11  * reduced from 5 in bcache)
12  *
13  *  - superblock
14  *  - journal
15  *  - btree
16  *
17  * The btree is the primary structure; most metadata exists as keys in the
18  * various btrees. There are only a small number of btrees, they're not
19  * sharded - we have one btree for extents, another for inodes, et cetera.
20  *
21  * SUPERBLOCK:
22  *
23  * The superblock contains the location of the journal, the list of devices in
24  * the filesystem, and in general any metadata we need in order to decide
25  * whether we can start a filesystem or prior to reading the journal/btree
26  * roots.
27  *
28  * The superblock is extensible, and most of the contents of the superblock are
29  * in variable length, type tagged fields; see struct bch_sb_field.
30  *
31  * Backup superblocks do not reside in a fixed location; also, superblocks do
32  * not have a fixed size. To locate backup superblocks we have struct
33  * bch_sb_layout; we store a copy of this inside every superblock, and also
34  * before the first superblock.
35  *
36  * JOURNAL:
37  *
38  * The journal primarily records btree updates in the order they occurred;
39  * journal replay consists of just iterating over all the keys in the open
40  * journal entries and re-inserting them into the btrees.
41  *
42  * The journal also contains entry types for the btree roots, and blacklisted
43  * journal sequence numbers (see journal_seq_blacklist.c).
44  *
45  * BTREE:
46  *
47  * bcachefs btrees are copy on write b+ trees, where nodes are big (typically
48  * 128k-256k) and log structured. We use struct btree_node for writing the first
49  * entry in a given node (offset 0), and struct btree_node_entry for all
50  * subsequent writes.
51  *
52  * After the header, btree node entries contain a list of keys in sorted order.
53  * Values are stored inline with the keys; since values are variable length (and
54  * keys effectively are variable length too, due to packing) we can't do random
55  * access without building up additional in memory tables in the btree node read
56  * path.
57  *
58  * BTREE KEYS (struct bkey):
59  *
60  * The various btrees share a common format for the key - so as to avoid
61  * switching in fastpath lookup/comparison code - but define their own
62  * structures for the key values.
63  *
64  * The size of a key/value pair is stored as a u8 in units of u64s, so the max
65  * size is just under 2k. The common part also contains a type tag for the
66  * value, and a format field indicating whether the key is packed or not (and
67  * also meant to allow adding new key fields in the future, if desired).
68  *
69  * bkeys, when stored within a btree node, may also be packed. In that case, the
70  * bkey_format in that node is used to unpack it. Packed bkeys mean that we can
71  * be generous with field sizes in the common part of the key format (64 bit
72  * inode number, 64 bit offset, 96 bit version field, etc.) for negligible cost.
73  */
74
75 #include <asm/types.h>
76 #include <asm/byteorder.h>
77 #include <linux/kernel.h>
78 #include <linux/uuid.h>
79
80 #define LE_BITMASK(_bits, name, type, field, offset, end)               \
81 static const unsigned   name##_OFFSET = offset;                         \
82 static const unsigned   name##_BITS = (end - offset);                   \
83 static const __u##_bits name##_MAX = (1ULL << (end - offset)) - 1;      \
84                                                                         \
85 static inline __u64 name(const type *k)                                 \
86 {                                                                       \
87         return (__le##_bits##_to_cpu(k->field) >> offset) &             \
88                 ~(~0ULL << (end - offset));                             \
89 }                                                                       \
90                                                                         \
91 static inline void SET_##name(type *k, __u64 v)                         \
92 {                                                                       \
93         __u##_bits new = __le##_bits##_to_cpu(k->field);                \
94                                                                         \
95         new &= ~(~(~0ULL << (end - offset)) << offset);                 \
96         new |= (v & ~(~0ULL << (end - offset))) << offset;              \
97         k->field = __cpu_to_le##_bits(new);                             \
98 }
99
100 #define LE16_BITMASK(n, t, f, o, e)     LE_BITMASK(16, n, t, f, o, e)
101 #define LE32_BITMASK(n, t, f, o, e)     LE_BITMASK(32, n, t, f, o, e)
102 #define LE64_BITMASK(n, t, f, o, e)     LE_BITMASK(64, n, t, f, o, e)
103
104 struct bkey_format {
105         __u8            key_u64s;
106         __u8            nr_fields;
107         /* One unused slot for now: */
108         __u8            bits_per_field[6];
109         __le64          field_offset[6];
110 };
111
112 /* Btree keys - all units are in sectors */
113
114 struct bpos {
115         /*
116          * Word order matches machine byte order - btree code treats a bpos as a
117          * single large integer, for search/comparison purposes
118          *
119          * Note that wherever a bpos is embedded in another on disk data
120          * structure, it has to be byte swabbed when reading in metadata that
121          * wasn't written in native endian order:
122          */
123 #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
124         __u32           snapshot;
125         __u64           offset;
126         __u64           inode;
127 #elif __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
128         __u64           inode;
129         __u64           offset;         /* Points to end of extent - sectors */
130         __u32           snapshot;
131 #else
132 #error edit for your odd byteorder.
133 #endif
134 } __attribute__((packed, aligned(4)));
135
136 #define KEY_INODE_MAX                   ((__u64)~0ULL)
137 #define KEY_OFFSET_MAX                  ((__u64)~0ULL)
138 #define KEY_SNAPSHOT_MAX                ((__u32)~0U)
139 #define KEY_SIZE_MAX                    ((__u32)~0U)
140
141 static inline struct bpos SPOS(__u64 inode, __u64 offset, __u32 snapshot)
142 {
143         return (struct bpos) {
144                 .inode          = inode,
145                 .offset         = offset,
146                 .snapshot       = snapshot,
147         };
148 }
149
150 #define POS_MIN                         SPOS(0, 0, 0)
151 #define POS_MAX                         SPOS(KEY_INODE_MAX, KEY_OFFSET_MAX, 0)
152 #define SPOS_MAX                        SPOS(KEY_INODE_MAX, KEY_OFFSET_MAX, KEY_SNAPSHOT_MAX)
153 #define POS(_inode, _offset)            SPOS(_inode, _offset, 0)
154
155 /* Empty placeholder struct, for container_of() */
156 struct bch_val {
157         __u64           __nothing[0];
158 };
159
160 struct bversion {
161 #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
162         __u64           lo;
163         __u32           hi;
164 #elif __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
165         __u32           hi;
166         __u64           lo;
167 #endif
168 } __attribute__((packed, aligned(4)));
169
170 struct bkey {
171         /* Size of combined key and value, in u64s */
172         __u8            u64s;
173
174         /* Format of key (0 for format local to btree node) */
175 #if defined(__LITTLE_ENDIAN_BITFIELD)
176         __u8            format:7,
177                         needs_whiteout:1;
178 #elif defined (__BIG_ENDIAN_BITFIELD)
179         __u8            needs_whiteout:1,
180                         format:7;
181 #else
182 #error edit for your odd byteorder.
183 #endif
184
185         /* Type of the value */
186         __u8            type;
187
188 #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
189         __u8            pad[1];
190
191         struct bversion version;
192         __u32           size;           /* extent size, in sectors */
193         struct bpos     p;
194 #elif __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
195         struct bpos     p;
196         __u32           size;           /* extent size, in sectors */
197         struct bversion version;
198
199         __u8            pad[1];
200 #endif
201 } __attribute__((packed, aligned(8)));
202
203 struct bkey_packed {
204         __u64           _data[0];
205
206         /* Size of combined key and value, in u64s */
207         __u8            u64s;
208
209         /* Format of key (0 for format local to btree node) */
210
211         /*
212          * XXX: next incompat on disk format change, switch format and
213          * needs_whiteout - bkey_packed() will be cheaper if format is the high
214          * bits of the bitfield
215          */
216 #if defined(__LITTLE_ENDIAN_BITFIELD)
217         __u8            format:7,
218                         needs_whiteout:1;
219 #elif defined (__BIG_ENDIAN_BITFIELD)
220         __u8            needs_whiteout:1,
221                         format:7;
222 #endif
223
224         /* Type of the value */
225         __u8            type;
226         __u8            key_start[0];
227
228         /*
229          * We copy bkeys with struct assignment in various places, and while
230          * that shouldn't be done with packed bkeys we can't disallow it in C,
231          * and it's legal to cast a bkey to a bkey_packed  - so padding it out
232          * to the same size as struct bkey should hopefully be safest.
233          */
234         __u8            pad[sizeof(struct bkey) - 3];
235 } __attribute__((packed, aligned(8)));
236
237 #define BKEY_U64s                       (sizeof(struct bkey) / sizeof(__u64))
238 #define BKEY_U64s_MAX                   U8_MAX
239 #define BKEY_VAL_U64s_MAX               (BKEY_U64s_MAX - BKEY_U64s)
240
241 #define KEY_PACKED_BITS_START           24
242
243 #define KEY_FORMAT_LOCAL_BTREE          0
244 #define KEY_FORMAT_CURRENT              1
245
246 enum bch_bkey_fields {
247         BKEY_FIELD_INODE,
248         BKEY_FIELD_OFFSET,
249         BKEY_FIELD_SNAPSHOT,
250         BKEY_FIELD_SIZE,
251         BKEY_FIELD_VERSION_HI,
252         BKEY_FIELD_VERSION_LO,
253         BKEY_NR_FIELDS,
254 };
255
256 #define bkey_format_field(name, field)                                  \
257         [BKEY_FIELD_##name] = (sizeof(((struct bkey *) NULL)->field) * 8)
258
259 #define BKEY_FORMAT_CURRENT                                             \
260 ((struct bkey_format) {                                                 \
261         .key_u64s       = BKEY_U64s,                                    \
262         .nr_fields      = BKEY_NR_FIELDS,                               \
263         .bits_per_field = {                                             \
264                 bkey_format_field(INODE,        p.inode),               \
265                 bkey_format_field(OFFSET,       p.offset),              \
266                 bkey_format_field(SNAPSHOT,     p.snapshot),            \
267                 bkey_format_field(SIZE,         size),                  \
268                 bkey_format_field(VERSION_HI,   version.hi),            \
269                 bkey_format_field(VERSION_LO,   version.lo),            \
270         },                                                              \
271 })
272
273 /* bkey with inline value */
274 struct bkey_i {
275         __u64                   _data[0];
276
277         union {
278         struct {
279                 /* Size of combined key and value, in u64s */
280                 __u8            u64s;
281         };
282         struct {
283                 struct bkey     k;
284                 struct bch_val  v;
285         };
286         };
287 };
288
289 #define KEY(_inode, _offset, _size)                                     \
290 ((struct bkey) {                                                        \
291         .u64s           = BKEY_U64s,                                    \
292         .format         = KEY_FORMAT_CURRENT,                           \
293         .p              = POS(_inode, _offset),                         \
294         .size           = _size,                                        \
295 })
296
297 static inline void bkey_init(struct bkey *k)
298 {
299         *k = KEY(0, 0, 0);
300 }
301
302 #define bkey_bytes(_k)          ((_k)->u64s * sizeof(__u64))
303
304 #define __BKEY_PADDED(key, pad)                                 \
305         struct { struct bkey_i key; __u64 key ## _pad[pad]; }
306
307 /*
308  * - DELETED keys are used internally to mark keys that should be ignored but
309  *   override keys in composition order.  Their version number is ignored.
310  *
311  * - DISCARDED keys indicate that the data is all 0s because it has been
312  *   discarded. DISCARDs may have a version; if the version is nonzero the key
313  *   will be persistent, otherwise the key will be dropped whenever the btree
314  *   node is rewritten (like DELETED keys).
315  *
316  * - ERROR: any read of the data returns a read error, as the data was lost due
317  *   to a failing device. Like DISCARDED keys, they can be removed (overridden)
318  *   by new writes or cluster-wide GC. Node repair can also overwrite them with
319  *   the same or a more recent version number, but not with an older version
320  *   number.
321  *
322  * - WHITEOUT: for hash table btrees
323 */
324 #define BCH_BKEY_TYPES()                                \
325         x(deleted,              0)                      \
326         x(whiteout,             1)                      \
327         x(error,                2)                      \
328         x(cookie,               3)                      \
329         x(hash_whiteout,        4)                      \
330         x(btree_ptr,            5)                      \
331         x(extent,               6)                      \
332         x(reservation,          7)                      \
333         x(inode,                8)                      \
334         x(inode_generation,     9)                      \
335         x(dirent,               10)                     \
336         x(xattr,                11)                     \
337         x(alloc,                12)                     \
338         x(quota,                13)                     \
339         x(stripe,               14)                     \
340         x(reflink_p,            15)                     \
341         x(reflink_v,            16)                     \
342         x(inline_data,          17)                     \
343         x(btree_ptr_v2,         18)                     \
344         x(indirect_inline_data, 19)                     \
345         x(alloc_v2,             20)                     \
346         x(subvolume,            21)                     \
347         x(snapshot,             22)                     \
348         x(inode_v2,             23)                     \
349         x(alloc_v3,             24)
350
351 enum bch_bkey_type {
352 #define x(name, nr) KEY_TYPE_##name     = nr,
353         BCH_BKEY_TYPES()
354 #undef x
355         KEY_TYPE_MAX,
356 };
357
358 struct bch_deleted {
359         struct bch_val          v;
360 };
361
362 struct bch_whiteout {
363         struct bch_val          v;
364 };
365
366 struct bch_error {
367         struct bch_val          v;
368 };
369
370 struct bch_cookie {
371         struct bch_val          v;
372         __le64                  cookie;
373 };
374
375 struct bch_hash_whiteout {
376         struct bch_val          v;
377 };
378
379 /* Extents */
380
381 /*
382  * In extent bkeys, the value is a list of pointers (bch_extent_ptr), optionally
383  * preceded by checksum/compression information (bch_extent_crc32 or
384  * bch_extent_crc64).
385  *
386  * One major determining factor in the format of extents is how we handle and
387  * represent extents that have been partially overwritten and thus trimmed:
388  *
389  * If an extent is not checksummed or compressed, when the extent is trimmed we
390  * don't have to remember the extent we originally allocated and wrote: we can
391  * merely adjust ptr->offset to point to the start of the data that is currently
392  * live. The size field in struct bkey records the current (live) size of the
393  * extent, and is also used to mean "size of region on disk that we point to" in
394  * this case.
395  *
396  * Thus an extent that is not checksummed or compressed will consist only of a
397  * list of bch_extent_ptrs, with none of the fields in
398  * bch_extent_crc32/bch_extent_crc64.
399  *
400  * When an extent is checksummed or compressed, it's not possible to read only
401  * the data that is currently live: we have to read the entire extent that was
402  * originally written, and then return only the part of the extent that is
403  * currently live.
404  *
405  * Thus, in addition to the current size of the extent in struct bkey, we need
406  * to store the size of the originally allocated space - this is the
407  * compressed_size and uncompressed_size fields in bch_extent_crc32/64. Also,
408  * when the extent is trimmed, instead of modifying the offset field of the
409  * pointer, we keep a second smaller offset field - "offset into the original
410  * extent of the currently live region".
411  *
412  * The other major determining factor is replication and data migration:
413  *
414  * Each pointer may have its own bch_extent_crc32/64. When doing a replicated
415  * write, we will initially write all the replicas in the same format, with the
416  * same checksum type and compression format - however, when copygc runs later (or
417  * tiering/cache promotion, anything that moves data), it is not in general
418  * going to rewrite all the pointers at once - one of the replicas may be in a
419  * bucket on one device that has very little fragmentation while another lives
420  * in a bucket that has become heavily fragmented, and thus is being rewritten
421  * sooner than the rest.
422  *
423  * Thus it will only move a subset of the pointers (or in the case of
424  * tiering/cache promotion perhaps add a single pointer without dropping any
425  * current pointers), and if the extent has been partially overwritten it must
426  * write only the currently live portion (or copygc would not be able to reduce
427  * fragmentation!) - which necessitates a different bch_extent_crc format for
428  * the new pointer.
429  *
430  * But in the interests of space efficiency, we don't want to store one
431  * bch_extent_crc for each pointer if we don't have to.
432  *
433  * Thus, a bch_extent consists of bch_extent_crc32s, bch_extent_crc64s, and
434  * bch_extent_ptrs appended arbitrarily one after the other. We determine the
435  * type of a given entry with a scheme similar to utf8 (except we're encoding a
436  * type, not a size), encoding the type in the position of the first set bit:
437  *
438  * bch_extent_crc32     - 0b1
439  * bch_extent_ptr       - 0b10
440  * bch_extent_crc64     - 0b100
441  *
442  * We do it this way because bch_extent_crc32 is _very_ constrained on bits (and
443  * bch_extent_crc64 is the least constrained).
444  *
445  * Then, each bch_extent_crc32/64 applies to the pointers that follow after it,
446  * until the next bch_extent_crc32/64.
447  *
448  * If there are no bch_extent_crcs preceding a bch_extent_ptr, then that pointer
449  * is neither checksummed nor compressed.
450  */
451
452 /* 128 bits, sufficient for cryptographic MACs: */
453 struct bch_csum {
454         __le64                  lo;
455         __le64                  hi;
456 } __attribute__((packed, aligned(8)));
457
458 #define BCH_EXTENT_ENTRY_TYPES()                \
459         x(ptr,                  0)              \
460         x(crc32,                1)              \
461         x(crc64,                2)              \
462         x(crc128,               3)              \
463         x(stripe_ptr,           4)
464 #define BCH_EXTENT_ENTRY_MAX    5
465
466 enum bch_extent_entry_type {
467 #define x(f, n) BCH_EXTENT_ENTRY_##f = n,
468         BCH_EXTENT_ENTRY_TYPES()
469 #undef x
470 };
471
472 /* Compressed/uncompressed size are stored biased by 1: */
473 struct bch_extent_crc32 {
474 #if defined(__LITTLE_ENDIAN_BITFIELD)
475         __u32                   type:2,
476                                 _compressed_size:7,
477                                 _uncompressed_size:7,
478                                 offset:7,
479                                 _unused:1,
480                                 csum_type:4,
481                                 compression_type:4;
482         __u32                   csum;
483 #elif defined (__BIG_ENDIAN_BITFIELD)
484         __u32                   csum;
485         __u32                   compression_type:4,
486                                 csum_type:4,
487                                 _unused:1,
488                                 offset:7,
489                                 _uncompressed_size:7,
490                                 _compressed_size:7,
491                                 type:2;
492 #endif
493 } __attribute__((packed, aligned(8)));
494
495 #define CRC32_SIZE_MAX          (1U << 7)
496 #define CRC32_NONCE_MAX         0
497
498 struct bch_extent_crc64 {
499 #if defined(__LITTLE_ENDIAN_BITFIELD)
500         __u64                   type:3,
501                                 _compressed_size:9,
502                                 _uncompressed_size:9,
503                                 offset:9,
504                                 nonce:10,
505                                 csum_type:4,
506                                 compression_type:4,
507                                 csum_hi:16;
508 #elif defined (__BIG_ENDIAN_BITFIELD)
509         __u64                   csum_hi:16,
510                                 compression_type:4,
511                                 csum_type:4,
512                                 nonce:10,
513                                 offset:9,
514                                 _uncompressed_size:9,
515                                 _compressed_size:9,
516                                 type:3;
517 #endif
518         __u64                   csum_lo;
519 } __attribute__((packed, aligned(8)));
520
521 #define CRC64_SIZE_MAX          (1U << 9)
522 #define CRC64_NONCE_MAX         ((1U << 10) - 1)
523
524 struct bch_extent_crc128 {
525 #if defined(__LITTLE_ENDIAN_BITFIELD)
526         __u64                   type:4,
527                                 _compressed_size:13,
528                                 _uncompressed_size:13,
529                                 offset:13,
530                                 nonce:13,
531                                 csum_type:4,
532                                 compression_type:4;
533 #elif defined (__BIG_ENDIAN_BITFIELD)
534         __u64                   compression_type:4,
535                                 csum_type:4,
536                                 nonce:13,
537                                 offset:13,
538                                 _uncompressed_size:13,
539                                 _compressed_size:13,
540                                 type:4;
541 #endif
542         struct bch_csum         csum;
543 } __attribute__((packed, aligned(8)));
544
545 #define CRC128_SIZE_MAX         (1U << 13)
546 #define CRC128_NONCE_MAX        ((1U << 13) - 1)
547
548 /*
549  * @reservation - pointer hasn't been written to, just reserved
550  */
551 struct bch_extent_ptr {
552 #if defined(__LITTLE_ENDIAN_BITFIELD)
553         __u64                   type:1,
554                                 cached:1,
555                                 unused:1,
556                                 reservation:1,
557                                 offset:44, /* 8 petabytes */
558                                 dev:8,
559                                 gen:8;
560 #elif defined (__BIG_ENDIAN_BITFIELD)
561         __u64                   gen:8,
562                                 dev:8,
563                                 offset:44,
564                                 reservation:1,
565                                 unused:1,
566                                 cached:1,
567                                 type:1;
568 #endif
569 } __attribute__((packed, aligned(8)));
570
571 struct bch_extent_stripe_ptr {
572 #if defined(__LITTLE_ENDIAN_BITFIELD)
573         __u64                   type:5,
574                                 block:8,
575                                 redundancy:4,
576                                 idx:47;
577 #elif defined (__BIG_ENDIAN_BITFIELD)
578         __u64                   idx:47,
579                                 redundancy:4,
580                                 block:8,
581                                 type:5;
582 #endif
583 };
584
585 struct bch_extent_reservation {
586 #if defined(__LITTLE_ENDIAN_BITFIELD)
587         __u64                   type:6,
588                                 unused:22,
589                                 replicas:4,
590                                 generation:32;
591 #elif defined (__BIG_ENDIAN_BITFIELD)
592         __u64                   generation:32,
593                                 replicas:4,
594                                 unused:22,
595                                 type:6;
596 #endif
597 };
598
599 union bch_extent_entry {
600 #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__ ||  __BITS_PER_LONG == 64
601         unsigned long                   type;
602 #elif __BITS_PER_LONG == 32
603         struct {
604                 unsigned long           pad;
605                 unsigned long           type;
606         };
607 #else
608 #error edit for your odd byteorder.
609 #endif
610
611 #define x(f, n) struct bch_extent_##f   f;
612         BCH_EXTENT_ENTRY_TYPES()
613 #undef x
614 };
615
616 struct bch_btree_ptr {
617         struct bch_val          v;
618
619         struct bch_extent_ptr   start[0];
620         __u64                   _data[0];
621 } __attribute__((packed, aligned(8)));
622
623 struct bch_btree_ptr_v2 {
624         struct bch_val          v;
625
626         __u64                   mem_ptr;
627         __le64                  seq;
628         __le16                  sectors_written;
629         __le16                  flags;
630         struct bpos             min_key;
631         struct bch_extent_ptr   start[0];
632         __u64                   _data[0];
633 } __attribute__((packed, aligned(8)));
634
635 LE16_BITMASK(BTREE_PTR_RANGE_UPDATED,   struct bch_btree_ptr_v2, flags, 0, 1);
636
637 struct bch_extent {
638         struct bch_val          v;
639
640         union bch_extent_entry  start[0];
641         __u64                   _data[0];
642 } __attribute__((packed, aligned(8)));
643
644 struct bch_reservation {
645         struct bch_val          v;
646
647         __le32                  generation;
648         __u8                    nr_replicas;
649         __u8                    pad[3];
650 } __attribute__((packed, aligned(8)));
651
652 /* Maximum size (in u64s) a single pointer could be: */
653 #define BKEY_EXTENT_PTR_U64s_MAX\
654         ((sizeof(struct bch_extent_crc128) +                    \
655           sizeof(struct bch_extent_ptr)) / sizeof(u64))
656
657 /* Maximum possible size of an entire extent value: */
658 #define BKEY_EXTENT_VAL_U64s_MAX                                \
659         (1 + BKEY_EXTENT_PTR_U64s_MAX * (BCH_REPLICAS_MAX + 1))
660
661 /* * Maximum possible size of an entire extent, key + value: */
662 #define BKEY_EXTENT_U64s_MAX            (BKEY_U64s + BKEY_EXTENT_VAL_U64s_MAX)
663
664 /* Btree pointers don't carry around checksums: */
665 #define BKEY_BTREE_PTR_VAL_U64s_MAX                             \
666         ((sizeof(struct bch_btree_ptr_v2) +                     \
667           sizeof(struct bch_extent_ptr) * BCH_REPLICAS_MAX) / sizeof(u64))
668 #define BKEY_BTREE_PTR_U64s_MAX                                 \
669         (BKEY_U64s + BKEY_BTREE_PTR_VAL_U64s_MAX)
670
671 /* Inodes */
672
673 #define BLOCKDEV_INODE_MAX      4096
674
675 #define BCACHEFS_ROOT_INO       4096
676
677 struct bch_inode {
678         struct bch_val          v;
679
680         __le64                  bi_hash_seed;
681         __le32                  bi_flags;
682         __le16                  bi_mode;
683         __u8                    fields[0];
684 } __attribute__((packed, aligned(8)));
685
686 struct bch_inode_v2 {
687         struct bch_val          v;
688
689         __le64                  bi_journal_seq;
690         __le64                  bi_hash_seed;
691         __le64                  bi_flags;
692         __le16                  bi_mode;
693         __u8                    fields[0];
694 } __attribute__((packed, aligned(8)));
695
696 struct bch_inode_generation {
697         struct bch_val          v;
698
699         __le32                  bi_generation;
700         __le32                  pad;
701 } __attribute__((packed, aligned(8)));
702
703 /*
704  * bi_subvol and bi_parent_subvol are only set for subvolume roots:
705  */
706
707 #define BCH_INODE_FIELDS()                      \
708         x(bi_atime,                     96)     \
709         x(bi_ctime,                     96)     \
710         x(bi_mtime,                     96)     \
711         x(bi_otime,                     96)     \
712         x(bi_size,                      64)     \
713         x(bi_sectors,                   64)     \
714         x(bi_uid,                       32)     \
715         x(bi_gid,                       32)     \
716         x(bi_nlink,                     32)     \
717         x(bi_generation,                32)     \
718         x(bi_dev,                       32)     \
719         x(bi_data_checksum,             8)      \
720         x(bi_compression,               8)      \
721         x(bi_project,                   32)     \
722         x(bi_background_compression,    8)      \
723         x(bi_data_replicas,             8)      \
724         x(bi_promote_target,            16)     \
725         x(bi_foreground_target,         16)     \
726         x(bi_background_target,         16)     \
727         x(bi_erasure_code,              16)     \
728         x(bi_fields_set,                16)     \
729         x(bi_dir,                       64)     \
730         x(bi_dir_offset,                64)     \
731         x(bi_subvol,                    32)     \
732         x(bi_parent_subvol,             32)
733
734 /* subset of BCH_INODE_FIELDS */
735 #define BCH_INODE_OPTS()                        \
736         x(data_checksum,                8)      \
737         x(compression,                  8)      \
738         x(project,                      32)     \
739         x(background_compression,       8)      \
740         x(data_replicas,                8)      \
741         x(promote_target,               16)     \
742         x(foreground_target,            16)     \
743         x(background_target,            16)     \
744         x(erasure_code,                 16)
745
746 enum inode_opt_id {
747 #define x(name, ...)                            \
748         Inode_opt_##name,
749         BCH_INODE_OPTS()
750 #undef  x
751         Inode_opt_nr,
752 };
753
754 enum {
755         /*
756          * User flags (get/settable with FS_IOC_*FLAGS, correspond to FS_*_FL
757          * flags)
758          */
759         __BCH_INODE_SYNC        = 0,
760         __BCH_INODE_IMMUTABLE   = 1,
761         __BCH_INODE_APPEND      = 2,
762         __BCH_INODE_NODUMP      = 3,
763         __BCH_INODE_NOATIME     = 4,
764
765         __BCH_INODE_I_SIZE_DIRTY= 5,
766         __BCH_INODE_I_SECTORS_DIRTY= 6,
767         __BCH_INODE_UNLINKED    = 7,
768         __BCH_INODE_BACKPTR_UNTRUSTED = 8,
769
770         /* bits 20+ reserved for packed fields below: */
771 };
772
773 #define BCH_INODE_SYNC          (1 << __BCH_INODE_SYNC)
774 #define BCH_INODE_IMMUTABLE     (1 << __BCH_INODE_IMMUTABLE)
775 #define BCH_INODE_APPEND        (1 << __BCH_INODE_APPEND)
776 #define BCH_INODE_NODUMP        (1 << __BCH_INODE_NODUMP)
777 #define BCH_INODE_NOATIME       (1 << __BCH_INODE_NOATIME)
778 #define BCH_INODE_I_SIZE_DIRTY  (1 << __BCH_INODE_I_SIZE_DIRTY)
779 #define BCH_INODE_I_SECTORS_DIRTY (1 << __BCH_INODE_I_SECTORS_DIRTY)
780 #define BCH_INODE_UNLINKED      (1 << __BCH_INODE_UNLINKED)
781 #define BCH_INODE_BACKPTR_UNTRUSTED (1 << __BCH_INODE_BACKPTR_UNTRUSTED)
782
783 LE32_BITMASK(INODE_STR_HASH,    struct bch_inode, bi_flags, 20, 24);
784 LE32_BITMASK(INODE_NR_FIELDS,   struct bch_inode, bi_flags, 24, 31);
785 LE32_BITMASK(INODE_NEW_VARINT,  struct bch_inode, bi_flags, 31, 32);
786
787 LE64_BITMASK(INODEv2_STR_HASH,  struct bch_inode_v2, bi_flags, 20, 24);
788 LE64_BITMASK(INODEv2_NR_FIELDS, struct bch_inode_v2, bi_flags, 24, 31);
789
790 /* Dirents */
791
792 /*
793  * Dirents (and xattrs) have to implement string lookups; since our b-tree
794  * doesn't support arbitrary length strings for the key, we instead index by a
795  * 64 bit hash (currently truncated sha1) of the string, stored in the offset
796  * field of the key - using linear probing to resolve hash collisions. This also
797  * provides us with the readdir cookie posix requires.
798  *
799  * Linear probing requires us to use whiteouts for deletions, in the event of a
800  * collision:
801  */
802
803 struct bch_dirent {
804         struct bch_val          v;
805
806         /* Target inode number: */
807         union {
808         __le64                  d_inum;
809         struct {                /* DT_SUBVOL */
810         __le32                  d_child_subvol;
811         __le32                  d_parent_subvol;
812         };
813         };
814
815         /*
816          * Copy of mode bits 12-15 from the target inode - so userspace can get
817          * the filetype without having to do a stat()
818          */
819         __u8                    d_type;
820
821         __u8                    d_name[];
822 } __attribute__((packed, aligned(8)));
823
824 #define DT_SUBVOL       16
825 #define BCH_DT_MAX      17
826
827 #define BCH_NAME_MAX    (U8_MAX * sizeof(u64) -                         \
828                          sizeof(struct bkey) -                          \
829                          offsetof(struct bch_dirent, d_name))
830
831
832 /* Xattrs */
833
834 #define KEY_TYPE_XATTR_INDEX_USER                       0
835 #define KEY_TYPE_XATTR_INDEX_POSIX_ACL_ACCESS   1
836 #define KEY_TYPE_XATTR_INDEX_POSIX_ACL_DEFAULT  2
837 #define KEY_TYPE_XATTR_INDEX_TRUSTED                    3
838 #define KEY_TYPE_XATTR_INDEX_SECURITY           4
839
840 struct bch_xattr {
841         struct bch_val          v;
842         __u8                    x_type;
843         __u8                    x_name_len;
844         __le16                  x_val_len;
845         __u8                    x_name[];
846 } __attribute__((packed, aligned(8)));
847
848 /* Bucket/allocation information: */
849
850 struct bch_alloc {
851         struct bch_val          v;
852         __u8                    fields;
853         __u8                    gen;
854         __u8                    data[];
855 } __attribute__((packed, aligned(8)));
856
857 #define BCH_ALLOC_FIELDS_V1()                   \
858         x(read_time,            16)             \
859         x(write_time,           16)             \
860         x(data_type,            8)              \
861         x(dirty_sectors,        16)             \
862         x(cached_sectors,       16)             \
863         x(oldest_gen,           8)              \
864         x(stripe,               32)             \
865         x(stripe_redundancy,    8)
866
867 struct bch_alloc_v2 {
868         struct bch_val          v;
869         __u8                    nr_fields;
870         __u8                    gen;
871         __u8                    oldest_gen;
872         __u8                    data_type;
873         __u8                    data[];
874 } __attribute__((packed, aligned(8)));
875
876 #define BCH_ALLOC_FIELDS_V2()                   \
877         x(read_time,            64)             \
878         x(write_time,           64)             \
879         x(dirty_sectors,        16)             \
880         x(cached_sectors,       16)             \
881         x(stripe,               32)             \
882         x(stripe_redundancy,    8)
883
884 struct bch_alloc_v3 {
885         struct bch_val          v;
886         __le64                  journal_seq;
887         __le32                  flags;
888         __u8                    nr_fields;
889         __u8                    gen;
890         __u8                    oldest_gen;
891         __u8                    data_type;
892         __u8                    data[];
893 } __attribute__((packed, aligned(8)));
894
895 enum {
896 #define x(name, _bits) BCH_ALLOC_FIELD_V1_##name,
897         BCH_ALLOC_FIELDS_V1()
898 #undef x
899         BCH_ALLOC_FIELD_NR
900 };
901
902 /* Quotas: */
903
904 enum quota_types {
905         QTYP_USR                = 0,
906         QTYP_GRP                = 1,
907         QTYP_PRJ                = 2,
908         QTYP_NR                 = 3,
909 };
910
911 enum quota_counters {
912         Q_SPC                   = 0,
913         Q_INO                   = 1,
914         Q_COUNTERS              = 2,
915 };
916
917 struct bch_quota_counter {
918         __le64                  hardlimit;
919         __le64                  softlimit;
920 };
921
922 struct bch_quota {
923         struct bch_val          v;
924         struct bch_quota_counter c[Q_COUNTERS];
925 } __attribute__((packed, aligned(8)));
926
927 /* Erasure coding */
928
929 struct bch_stripe {
930         struct bch_val          v;
931         __le16                  sectors;
932         __u8                    algorithm;
933         __u8                    nr_blocks;
934         __u8                    nr_redundant;
935
936         __u8                    csum_granularity_bits;
937         __u8                    csum_type;
938         __u8                    pad;
939
940         struct bch_extent_ptr   ptrs[0];
941 } __attribute__((packed, aligned(8)));
942
943 /* Reflink: */
944
945 struct bch_reflink_p {
946         struct bch_val          v;
947         __le64                  idx;
948         /*
949          * A reflink pointer might point to an indirect extent which is then
950          * later split (by copygc or rebalance). If we only pointed to part of
951          * the original indirect extent, and then one of the fragments is
952          * outside the range we point to, we'd leak a refcount: so when creating
953          * reflink pointers, we need to store pad values to remember the full
954          * range we were taking a reference on.
955          */
956         __le32                  front_pad;
957         __le32                  back_pad;
958 } __attribute__((packed, aligned(8)));
959
960 struct bch_reflink_v {
961         struct bch_val          v;
962         __le64                  refcount;
963         union bch_extent_entry  start[0];
964         __u64                   _data[0];
965 } __attribute__((packed, aligned(8)));
966
967 struct bch_indirect_inline_data {
968         struct bch_val          v;
969         __le64                  refcount;
970         u8                      data[0];
971 };
972
973 /* Inline data */
974
975 struct bch_inline_data {
976         struct bch_val          v;
977         u8                      data[0];
978 };
979
980 /* Subvolumes: */
981
982 #define SUBVOL_POS_MIN          POS(0, 1)
983 #define SUBVOL_POS_MAX          POS(0, S32_MAX)
984 #define BCACHEFS_ROOT_SUBVOL    1
985
986 struct bch_subvolume {
987         struct bch_val          v;
988         __le32                  flags;
989         __le32                  snapshot;
990         __le64                  inode;
991 };
992
993 LE32_BITMASK(BCH_SUBVOLUME_RO,          struct bch_subvolume, flags,  0,  1)
994 /*
995  * We need to know whether a subvolume is a snapshot so we can know whether we
996  * can delete it (or whether it should just be rm -rf'd)
997  */
998 LE32_BITMASK(BCH_SUBVOLUME_SNAP,        struct bch_subvolume, flags,  1,  2)
999 LE32_BITMASK(BCH_SUBVOLUME_UNLINKED,    struct bch_subvolume, flags,  2,  3)
1000
1001 /* Snapshots */
1002
1003 struct bch_snapshot {
1004         struct bch_val          v;
1005         __le32                  flags;
1006         __le32                  parent;
1007         __le32                  children[2];
1008         __le32                  subvol;
1009         __le32                  pad;
1010 };
1011
1012 LE32_BITMASK(BCH_SNAPSHOT_DELETED,      struct bch_snapshot, flags,  0,  1)
1013
1014 /* True if a subvolume points to this snapshot node: */
1015 LE32_BITMASK(BCH_SNAPSHOT_SUBVOL,       struct bch_snapshot, flags,  1,  2)
1016
1017 /* Optional/variable size superblock sections: */
1018
1019 struct bch_sb_field {
1020         __u64                   _data[0];
1021         __le32                  u64s;
1022         __le32                  type;
1023 };
1024
1025 #define BCH_SB_FIELDS()         \
1026         x(journal,      0)      \
1027         x(members,      1)      \
1028         x(crypt,        2)      \
1029         x(replicas_v0,  3)      \
1030         x(quota,        4)      \
1031         x(disk_groups,  5)      \
1032         x(clean,        6)      \
1033         x(replicas,     7)      \
1034         x(journal_seq_blacklist, 8)
1035
1036 enum bch_sb_field_type {
1037 #define x(f, nr)        BCH_SB_FIELD_##f = nr,
1038         BCH_SB_FIELDS()
1039 #undef x
1040         BCH_SB_FIELD_NR
1041 };
1042
1043 /* BCH_SB_FIELD_journal: */
1044
1045 struct bch_sb_field_journal {
1046         struct bch_sb_field     field;
1047         __le64                  buckets[0];
1048 };
1049
1050 /* BCH_SB_FIELD_members: */
1051
1052 #define BCH_MIN_NR_NBUCKETS     (1 << 6)
1053
1054 struct bch_member {
1055         uuid_le                 uuid;
1056         __le64                  nbuckets;       /* device size */
1057         __le16                  first_bucket;   /* index of first bucket used */
1058         __le16                  bucket_size;    /* sectors */
1059         __le32                  pad;
1060         __le64                  last_mount;     /* time_t */
1061
1062         __le64                  flags[2];
1063 };
1064
1065 LE64_BITMASK(BCH_MEMBER_STATE,          struct bch_member, flags[0],  0,  4)
1066 /* 4-14 unused, was TIER, HAS_(META)DATA, REPLACEMENT */
1067 LE64_BITMASK(BCH_MEMBER_DISCARD,        struct bch_member, flags[0], 14, 15)
1068 LE64_BITMASK(BCH_MEMBER_DATA_ALLOWED,   struct bch_member, flags[0], 15, 20)
1069 LE64_BITMASK(BCH_MEMBER_GROUP,          struct bch_member, flags[0], 20, 28)
1070 LE64_BITMASK(BCH_MEMBER_DURABILITY,     struct bch_member, flags[0], 28, 30)
1071
1072 #if 0
1073 LE64_BITMASK(BCH_MEMBER_NR_READ_ERRORS, struct bch_member, flags[1], 0,  20);
1074 LE64_BITMASK(BCH_MEMBER_NR_WRITE_ERRORS,struct bch_member, flags[1], 20, 40);
1075 #endif
1076
1077 #define BCH_MEMBER_STATES()                     \
1078         x(rw,           0)                      \
1079         x(ro,           1)                      \
1080         x(failed,       2)                      \
1081         x(spare,        3)
1082
1083 enum bch_member_state {
1084 #define x(t, n) BCH_MEMBER_STATE_##t = n,
1085         BCH_MEMBER_STATES()
1086 #undef x
1087         BCH_MEMBER_STATE_NR
1088 };
1089
1090 struct bch_sb_field_members {
1091         struct bch_sb_field     field;
1092         struct bch_member       members[0];
1093 };
1094
1095 /* BCH_SB_FIELD_crypt: */
1096
1097 struct nonce {
1098         __le32                  d[4];
1099 };
1100
1101 struct bch_key {
1102         __le64                  key[4];
1103 };
1104
1105 #define BCH_KEY_MAGIC                                   \
1106         (((u64) 'b' <<  0)|((u64) 'c' <<  8)|           \
1107          ((u64) 'h' << 16)|((u64) '*' << 24)|           \
1108          ((u64) '*' << 32)|((u64) 'k' << 40)|           \
1109          ((u64) 'e' << 48)|((u64) 'y' << 56))
1110
1111 struct bch_encrypted_key {
1112         __le64                  magic;
1113         struct bch_key          key;
1114 };
1115
1116 /*
1117  * If this field is present in the superblock, it stores an encryption key which
1118  * is used encrypt all other data/metadata. The key will normally be encrypted
1119  * with the key userspace provides, but if encryption has been turned off we'll
1120  * just store the master key unencrypted in the superblock so we can access the
1121  * previously encrypted data.
1122  */
1123 struct bch_sb_field_crypt {
1124         struct bch_sb_field     field;
1125
1126         __le64                  flags;
1127         __le64                  kdf_flags;
1128         struct bch_encrypted_key key;
1129 };
1130
1131 LE64_BITMASK(BCH_CRYPT_KDF_TYPE,        struct bch_sb_field_crypt, flags, 0, 4);
1132
1133 enum bch_kdf_types {
1134         BCH_KDF_SCRYPT          = 0,
1135         BCH_KDF_NR              = 1,
1136 };
1137
1138 /* stored as base 2 log of scrypt params: */
1139 LE64_BITMASK(BCH_KDF_SCRYPT_N,  struct bch_sb_field_crypt, kdf_flags,  0, 16);
1140 LE64_BITMASK(BCH_KDF_SCRYPT_R,  struct bch_sb_field_crypt, kdf_flags, 16, 32);
1141 LE64_BITMASK(BCH_KDF_SCRYPT_P,  struct bch_sb_field_crypt, kdf_flags, 32, 48);
1142
1143 /* BCH_SB_FIELD_replicas: */
1144
1145 #define BCH_DATA_TYPES()                \
1146         x(none,         0)              \
1147         x(sb,           1)              \
1148         x(journal,      2)              \
1149         x(btree,        3)              \
1150         x(user,         4)              \
1151         x(cached,       5)              \
1152         x(parity,       6)
1153
1154 enum bch_data_type {
1155 #define x(t, n) BCH_DATA_##t,
1156         BCH_DATA_TYPES()
1157 #undef x
1158         BCH_DATA_NR
1159 };
1160
1161 struct bch_replicas_entry_v0 {
1162         __u8                    data_type;
1163         __u8                    nr_devs;
1164         __u8                    devs[0];
1165 } __attribute__((packed));
1166
1167 struct bch_sb_field_replicas_v0 {
1168         struct bch_sb_field     field;
1169         struct bch_replicas_entry_v0 entries[0];
1170 } __attribute__((packed, aligned(8)));
1171
1172 struct bch_replicas_entry {
1173         __u8                    data_type;
1174         __u8                    nr_devs;
1175         __u8                    nr_required;
1176         __u8                    devs[0];
1177 } __attribute__((packed));
1178
1179 #define replicas_entry_bytes(_i)                                        \
1180         (offsetof(typeof(*(_i)), devs) + (_i)->nr_devs)
1181
1182 struct bch_sb_field_replicas {
1183         struct bch_sb_field     field;
1184         struct bch_replicas_entry entries[0];
1185 } __attribute__((packed, aligned(8)));
1186
1187 /* BCH_SB_FIELD_quota: */
1188
1189 struct bch_sb_quota_counter {
1190         __le32                          timelimit;
1191         __le32                          warnlimit;
1192 };
1193
1194 struct bch_sb_quota_type {
1195         __le64                          flags;
1196         struct bch_sb_quota_counter     c[Q_COUNTERS];
1197 };
1198
1199 struct bch_sb_field_quota {
1200         struct bch_sb_field             field;
1201         struct bch_sb_quota_type        q[QTYP_NR];
1202 } __attribute__((packed, aligned(8)));
1203
1204 /* BCH_SB_FIELD_disk_groups: */
1205
1206 #define BCH_SB_LABEL_SIZE               32
1207
1208 struct bch_disk_group {
1209         __u8                    label[BCH_SB_LABEL_SIZE];
1210         __le64                  flags[2];
1211 } __attribute__((packed, aligned(8)));
1212
1213 LE64_BITMASK(BCH_GROUP_DELETED,         struct bch_disk_group, flags[0], 0,  1)
1214 LE64_BITMASK(BCH_GROUP_DATA_ALLOWED,    struct bch_disk_group, flags[0], 1,  6)
1215 LE64_BITMASK(BCH_GROUP_PARENT,          struct bch_disk_group, flags[0], 6, 24)
1216
1217 struct bch_sb_field_disk_groups {
1218         struct bch_sb_field     field;
1219         struct bch_disk_group   entries[0];
1220 } __attribute__((packed, aligned(8)));
1221
1222 /*
1223  * On clean shutdown, store btree roots and current journal sequence number in
1224  * the superblock:
1225  */
1226 struct jset_entry {
1227         __le16                  u64s;
1228         __u8                    btree_id;
1229         __u8                    level;
1230         __u8                    type; /* designates what this jset holds */
1231         __u8                    pad[3];
1232
1233         union {
1234                 struct bkey_i   start[0];
1235                 __u64           _data[0];
1236         };
1237 };
1238
1239 struct bch_sb_field_clean {
1240         struct bch_sb_field     field;
1241
1242         __le32                  flags;
1243         __le16                  _read_clock; /* no longer used */
1244         __le16                  _write_clock;
1245         __le64                  journal_seq;
1246
1247         union {
1248                 struct jset_entry start[0];
1249                 __u64           _data[0];
1250         };
1251 };
1252
1253 struct journal_seq_blacklist_entry {
1254         __le64                  start;
1255         __le64                  end;
1256 };
1257
1258 struct bch_sb_field_journal_seq_blacklist {
1259         struct bch_sb_field     field;
1260
1261         union {
1262                 struct journal_seq_blacklist_entry start[0];
1263                 __u64           _data[0];
1264         };
1265 };
1266
1267 /* Superblock: */
1268
1269 /*
1270  * New versioning scheme:
1271  * One common version number for all on disk data structures - superblock, btree
1272  * nodes, journal entries
1273  */
1274 #define BCH_JSET_VERSION_OLD                    2
1275 #define BCH_BSET_VERSION_OLD                    3
1276
1277 enum bcachefs_metadata_version {
1278         bcachefs_metadata_version_min                   = 9,
1279         bcachefs_metadata_version_new_versioning        = 10,
1280         bcachefs_metadata_version_bkey_renumber         = 10,
1281         bcachefs_metadata_version_inode_btree_change    = 11,
1282         bcachefs_metadata_version_snapshot              = 12,
1283         bcachefs_metadata_version_inode_backpointers    = 13,
1284         bcachefs_metadata_version_btree_ptr_sectors_written = 14,
1285         bcachefs_metadata_version_snapshot_2            = 15,
1286         bcachefs_metadata_version_reflink_p_fix         = 16,
1287         bcachefs_metadata_version_subvol_dirent         = 17,
1288         bcachefs_metadata_version_inode_v2              = 18,
1289         bcachefs_metadata_version_max                   = 19,
1290 };
1291
1292 #define bcachefs_metadata_version_current       (bcachefs_metadata_version_max - 1)
1293
1294 #define BCH_SB_SECTOR                   8
1295 #define BCH_SB_MEMBERS_MAX              64 /* XXX kill */
1296
1297 struct bch_sb_layout {
1298         uuid_le                 magic;  /* bcachefs superblock UUID */
1299         __u8                    layout_type;
1300         __u8                    sb_max_size_bits; /* base 2 of 512 byte sectors */
1301         __u8                    nr_superblocks;
1302         __u8                    pad[5];
1303         __le64                  sb_offset[61];
1304 } __attribute__((packed, aligned(8)));
1305
1306 #define BCH_SB_LAYOUT_SECTOR    7
1307
1308 /*
1309  * @offset      - sector where this sb was written
1310  * @version     - on disk format version
1311  * @version_min - Oldest metadata version this filesystem contains; so we can
1312  *                safely drop compatibility code and refuse to mount filesystems
1313  *                we'd need it for
1314  * @magic       - identifies as a bcachefs superblock (BCACHE_MAGIC)
1315  * @seq         - incremented each time superblock is written
1316  * @uuid        - used for generating various magic numbers and identifying
1317  *                member devices, never changes
1318  * @user_uuid   - user visible UUID, may be changed
1319  * @label       - filesystem label
1320  * @seq         - identifies most recent superblock, incremented each time
1321  *                superblock is written
1322  * @features    - enabled incompatible features
1323  */
1324 struct bch_sb {
1325         struct bch_csum         csum;
1326         __le16                  version;
1327         __le16                  version_min;
1328         __le16                  pad[2];
1329         uuid_le                 magic;
1330         uuid_le                 uuid;
1331         uuid_le                 user_uuid;
1332         __u8                    label[BCH_SB_LABEL_SIZE];
1333         __le64                  offset;
1334         __le64                  seq;
1335
1336         __le16                  block_size;
1337         __u8                    dev_idx;
1338         __u8                    nr_devices;
1339         __le32                  u64s;
1340
1341         __le64                  time_base_lo;
1342         __le32                  time_base_hi;
1343         __le32                  time_precision;
1344
1345         __le64                  flags[8];
1346         __le64                  features[2];
1347         __le64                  compat[2];
1348
1349         struct bch_sb_layout    layout;
1350
1351         union {
1352                 struct bch_sb_field start[0];
1353                 __le64          _data[0];
1354         };
1355 } __attribute__((packed, aligned(8)));
1356
1357 /*
1358  * Flags:
1359  * BCH_SB_INITALIZED    - set on first mount
1360  * BCH_SB_CLEAN         - did we shut down cleanly? Just a hint, doesn't affect
1361  *                        behaviour of mount/recovery path:
1362  * BCH_SB_INODE_32BIT   - limit inode numbers to 32 bits
1363  * BCH_SB_128_BIT_MACS  - 128 bit macs instead of 80
1364  * BCH_SB_ENCRYPTION_TYPE - if nonzero encryption is enabled; overrides
1365  *                         DATA/META_CSUM_TYPE. Also indicates encryption
1366  *                         algorithm in use, if/when we get more than one
1367  */
1368
1369 LE16_BITMASK(BCH_SB_BLOCK_SIZE,         struct bch_sb, block_size, 0, 16);
1370
1371 LE64_BITMASK(BCH_SB_INITIALIZED,        struct bch_sb, flags[0],  0,  1);
1372 LE64_BITMASK(BCH_SB_CLEAN,              struct bch_sb, flags[0],  1,  2);
1373 LE64_BITMASK(BCH_SB_CSUM_TYPE,          struct bch_sb, flags[0],  2,  8);
1374 LE64_BITMASK(BCH_SB_ERROR_ACTION,       struct bch_sb, flags[0],  8, 12);
1375
1376 LE64_BITMASK(BCH_SB_BTREE_NODE_SIZE,    struct bch_sb, flags[0], 12, 28);
1377
1378 LE64_BITMASK(BCH_SB_GC_RESERVE,         struct bch_sb, flags[0], 28, 33);
1379 LE64_BITMASK(BCH_SB_ROOT_RESERVE,       struct bch_sb, flags[0], 33, 40);
1380
1381 LE64_BITMASK(BCH_SB_META_CSUM_TYPE,     struct bch_sb, flags[0], 40, 44);
1382 LE64_BITMASK(BCH_SB_DATA_CSUM_TYPE,     struct bch_sb, flags[0], 44, 48);
1383
1384 LE64_BITMASK(BCH_SB_META_REPLICAS_WANT, struct bch_sb, flags[0], 48, 52);
1385 LE64_BITMASK(BCH_SB_DATA_REPLICAS_WANT, struct bch_sb, flags[0], 52, 56);
1386
1387 LE64_BITMASK(BCH_SB_POSIX_ACL,          struct bch_sb, flags[0], 56, 57);
1388 LE64_BITMASK(BCH_SB_USRQUOTA,           struct bch_sb, flags[0], 57, 58);
1389 LE64_BITMASK(BCH_SB_GRPQUOTA,           struct bch_sb, flags[0], 58, 59);
1390 LE64_BITMASK(BCH_SB_PRJQUOTA,           struct bch_sb, flags[0], 59, 60);
1391
1392 LE64_BITMASK(BCH_SB_HAS_ERRORS,         struct bch_sb, flags[0], 60, 61);
1393 LE64_BITMASK(BCH_SB_HAS_TOPOLOGY_ERRORS,struct bch_sb, flags[0], 61, 62);
1394
1395 LE64_BITMASK(BCH_SB_BIG_ENDIAN,         struct bch_sb, flags[0], 62, 63);
1396
1397 LE64_BITMASK(BCH_SB_STR_HASH_TYPE,      struct bch_sb, flags[1],  0,  4);
1398 LE64_BITMASK(BCH_SB_COMPRESSION_TYPE,   struct bch_sb, flags[1],  4,  8);
1399 LE64_BITMASK(BCH_SB_INODE_32BIT,        struct bch_sb, flags[1],  8,  9);
1400
1401 LE64_BITMASK(BCH_SB_128_BIT_MACS,       struct bch_sb, flags[1],  9, 10);
1402 LE64_BITMASK(BCH_SB_ENCRYPTION_TYPE,    struct bch_sb, flags[1], 10, 14);
1403
1404 /*
1405  * Max size of an extent that may require bouncing to read or write
1406  * (checksummed, compressed): 64k
1407  */
1408 LE64_BITMASK(BCH_SB_ENCODED_EXTENT_MAX_BITS,
1409                                         struct bch_sb, flags[1], 14, 20);
1410
1411 LE64_BITMASK(BCH_SB_META_REPLICAS_REQ,  struct bch_sb, flags[1], 20, 24);
1412 LE64_BITMASK(BCH_SB_DATA_REPLICAS_REQ,  struct bch_sb, flags[1], 24, 28);
1413
1414 LE64_BITMASK(BCH_SB_PROMOTE_TARGET,     struct bch_sb, flags[1], 28, 40);
1415 LE64_BITMASK(BCH_SB_FOREGROUND_TARGET,  struct bch_sb, flags[1], 40, 52);
1416 LE64_BITMASK(BCH_SB_BACKGROUND_TARGET,  struct bch_sb, flags[1], 52, 64);
1417
1418 LE64_BITMASK(BCH_SB_BACKGROUND_COMPRESSION_TYPE,
1419                                         struct bch_sb, flags[2],  0,  4);
1420 LE64_BITMASK(BCH_SB_GC_RESERVE_BYTES,   struct bch_sb, flags[2],  4, 64);
1421
1422 LE64_BITMASK(BCH_SB_ERASURE_CODE,       struct bch_sb, flags[3],  0, 16);
1423 LE64_BITMASK(BCH_SB_METADATA_TARGET,    struct bch_sb, flags[3], 16, 28);
1424 LE64_BITMASK(BCH_SB_SHARD_INUMS,        struct bch_sb, flags[3], 28, 29);
1425 LE64_BITMASK(BCH_SB_INODES_USE_KEY_CACHE,struct bch_sb, flags[3], 29, 30);
1426 LE64_BITMASK(BCH_SB_JOURNAL_FLUSH_DELAY,struct bch_sb, flags[3], 30, 62);
1427 LE64_BITMASK(BCH_SB_JOURNAL_FLUSH_DISABLED,struct bch_sb, flags[3], 62, 63);
1428 LE64_BITMASK(BCH_SB_JOURNAL_RECLAIM_DELAY,struct bch_sb, flags[4], 0, 32);
1429
1430 /*
1431  * Features:
1432  *
1433  * journal_seq_blacklist_v3:    gates BCH_SB_FIELD_journal_seq_blacklist
1434  * reflink:                     gates KEY_TYPE_reflink
1435  * inline_data:                 gates KEY_TYPE_inline_data
1436  * new_siphash:                 gates BCH_STR_HASH_siphash
1437  * new_extent_overwrite:        gates BTREE_NODE_NEW_EXTENT_OVERWRITE
1438  */
1439 #define BCH_SB_FEATURES()                       \
1440         x(lz4,                          0)      \
1441         x(gzip,                         1)      \
1442         x(zstd,                         2)      \
1443         x(atomic_nlink,                 3)      \
1444         x(ec,                           4)      \
1445         x(journal_seq_blacklist_v3,     5)      \
1446         x(reflink,                      6)      \
1447         x(new_siphash,                  7)      \
1448         x(inline_data,                  8)      \
1449         x(new_extent_overwrite,         9)      \
1450         x(incompressible,               10)     \
1451         x(btree_ptr_v2,                 11)     \
1452         x(extents_above_btree_updates,  12)     \
1453         x(btree_updates_journalled,     13)     \
1454         x(reflink_inline_data,          14)     \
1455         x(new_varint,                   15)     \
1456         x(journal_no_flush,             16)     \
1457         x(alloc_v2,                     17)     \
1458         x(extents_across_btree_nodes,   18)
1459
1460 #define BCH_SB_FEATURES_ALWAYS                          \
1461         ((1ULL << BCH_FEATURE_new_extent_overwrite)|    \
1462          (1ULL << BCH_FEATURE_extents_above_btree_updates)|\
1463          (1ULL << BCH_FEATURE_btree_updates_journalled)|\
1464          (1ULL << BCH_FEATURE_alloc_v2)|\
1465          (1ULL << BCH_FEATURE_extents_across_btree_nodes))
1466
1467 #define BCH_SB_FEATURES_ALL                             \
1468         (BCH_SB_FEATURES_ALWAYS|                        \
1469          (1ULL << BCH_FEATURE_new_siphash)|             \
1470          (1ULL << BCH_FEATURE_btree_ptr_v2)|            \
1471          (1ULL << BCH_FEATURE_new_varint)|              \
1472          (1ULL << BCH_FEATURE_journal_no_flush))
1473
1474 enum bch_sb_feature {
1475 #define x(f, n) BCH_FEATURE_##f,
1476         BCH_SB_FEATURES()
1477 #undef x
1478         BCH_FEATURE_NR,
1479 };
1480
1481 #define BCH_SB_COMPAT()                                 \
1482         x(alloc_info,                           0)      \
1483         x(alloc_metadata,                       1)      \
1484         x(extents_above_btree_updates_done,     2)      \
1485         x(bformat_overflow_done,                3)
1486
1487 enum bch_sb_compat {
1488 #define x(f, n) BCH_COMPAT_##f,
1489         BCH_SB_COMPAT()
1490 #undef x
1491         BCH_COMPAT_NR,
1492 };
1493
1494 /* options: */
1495
1496 #define BCH_REPLICAS_MAX                4U
1497
1498 #define BCH_BKEY_PTRS_MAX               16U
1499
1500 #define BCH_ERROR_ACTIONS()             \
1501         x(continue,             0)      \
1502         x(ro,                   1)      \
1503         x(panic,                2)
1504
1505 enum bch_error_actions {
1506 #define x(t, n) BCH_ON_ERROR_##t = n,
1507         BCH_ERROR_ACTIONS()
1508 #undef x
1509         BCH_ON_ERROR_NR
1510 };
1511
1512 #define BCH_STR_HASH_TYPES()            \
1513         x(crc32c,               0)      \
1514         x(crc64,                1)      \
1515         x(siphash_old,          2)      \
1516         x(siphash,              3)
1517
1518 enum bch_str_hash_type {
1519 #define x(t, n) BCH_STR_HASH_##t = n,
1520         BCH_STR_HASH_TYPES()
1521 #undef x
1522         BCH_STR_HASH_NR
1523 };
1524
1525 #define BCH_STR_HASH_OPTS()             \
1526         x(crc32c,               0)      \
1527         x(crc64,                1)      \
1528         x(siphash,              2)
1529
1530 enum bch_str_hash_opts {
1531 #define x(t, n) BCH_STR_HASH_OPT_##t = n,
1532         BCH_STR_HASH_OPTS()
1533 #undef x
1534         BCH_STR_HASH_OPT_NR
1535 };
1536
1537 #define BCH_CSUM_TYPES()                        \
1538         x(none,                         0)      \
1539         x(crc32c_nonzero,               1)      \
1540         x(crc64_nonzero,                2)      \
1541         x(chacha20_poly1305_80,         3)      \
1542         x(chacha20_poly1305_128,        4)      \
1543         x(crc32c,                       5)      \
1544         x(crc64,                        6)      \
1545         x(xxhash,                       7)
1546
1547 enum bch_csum_type {
1548 #define x(t, n) BCH_CSUM_##t = n,
1549         BCH_CSUM_TYPES()
1550 #undef x
1551         BCH_CSUM_NR
1552 };
1553
1554 static const unsigned bch_crc_bytes[] = {
1555         [BCH_CSUM_none]                         = 0,
1556         [BCH_CSUM_crc32c_nonzero]               = 4,
1557         [BCH_CSUM_crc32c]                       = 4,
1558         [BCH_CSUM_crc64_nonzero]                = 8,
1559         [BCH_CSUM_crc64]                        = 8,
1560         [BCH_CSUM_xxhash]                       = 8,
1561         [BCH_CSUM_chacha20_poly1305_80]         = 10,
1562         [BCH_CSUM_chacha20_poly1305_128]        = 16,
1563 };
1564
1565 static inline _Bool bch2_csum_type_is_encryption(enum bch_csum_type type)
1566 {
1567         switch (type) {
1568         case BCH_CSUM_chacha20_poly1305_80:
1569         case BCH_CSUM_chacha20_poly1305_128:
1570                 return true;
1571         default:
1572                 return false;
1573         }
1574 }
1575
1576 #define BCH_CSUM_OPTS()                 \
1577         x(none,                 0)      \
1578         x(crc32c,               1)      \
1579         x(crc64,                2)      \
1580         x(xxhash,               3)
1581
1582 enum bch_csum_opts {
1583 #define x(t, n) BCH_CSUM_OPT_##t = n,
1584         BCH_CSUM_OPTS()
1585 #undef x
1586         BCH_CSUM_OPT_NR
1587 };
1588
1589 #define BCH_COMPRESSION_TYPES()         \
1590         x(none,                 0)      \
1591         x(lz4_old,              1)      \
1592         x(gzip,                 2)      \
1593         x(lz4,                  3)      \
1594         x(zstd,                 4)      \
1595         x(incompressible,       5)
1596
1597 enum bch_compression_type {
1598 #define x(t, n) BCH_COMPRESSION_TYPE_##t = n,
1599         BCH_COMPRESSION_TYPES()
1600 #undef x
1601         BCH_COMPRESSION_TYPE_NR
1602 };
1603
1604 #define BCH_COMPRESSION_OPTS()          \
1605         x(none,         0)              \
1606         x(lz4,          1)              \
1607         x(gzip,         2)              \
1608         x(zstd,         3)
1609
1610 enum bch_compression_opts {
1611 #define x(t, n) BCH_COMPRESSION_OPT_##t = n,
1612         BCH_COMPRESSION_OPTS()
1613 #undef x
1614         BCH_COMPRESSION_OPT_NR
1615 };
1616
1617 /*
1618  * Magic numbers
1619  *
1620  * The various other data structures have their own magic numbers, which are
1621  * xored with the first part of the cache set's UUID
1622  */
1623
1624 #define BCACHE_MAGIC                                                    \
1625         UUID_LE(0xf67385c6, 0x1a4e, 0xca45,                             \
1626                 0x82, 0x65, 0xf5, 0x7f, 0x48, 0xba, 0x6d, 0x81)
1627
1628 #define BCACHEFS_STATFS_MAGIC           0xca451a4e
1629
1630 #define JSET_MAGIC              __cpu_to_le64(0x245235c1a3625032ULL)
1631 #define BSET_MAGIC              __cpu_to_le64(0x90135c78b99e07f5ULL)
1632
1633 static inline __le64 __bch2_sb_magic(struct bch_sb *sb)
1634 {
1635         __le64 ret;
1636         memcpy(&ret, &sb->uuid, sizeof(ret));
1637         return ret;
1638 }
1639
1640 static inline __u64 __jset_magic(struct bch_sb *sb)
1641 {
1642         return __le64_to_cpu(__bch2_sb_magic(sb) ^ JSET_MAGIC);
1643 }
1644
1645 static inline __u64 __bset_magic(struct bch_sb *sb)
1646 {
1647         return __le64_to_cpu(__bch2_sb_magic(sb) ^ BSET_MAGIC);
1648 }
1649
1650 /* Journal */
1651
1652 #define JSET_KEYS_U64s  (sizeof(struct jset_entry) / sizeof(__u64))
1653
1654 #define BCH_JSET_ENTRY_TYPES()                  \
1655         x(btree_keys,           0)              \
1656         x(btree_root,           1)              \
1657         x(prio_ptrs,            2)              \
1658         x(blacklist,            3)              \
1659         x(blacklist_v2,         4)              \
1660         x(usage,                5)              \
1661         x(data_usage,           6)              \
1662         x(clock,                7)              \
1663         x(dev_usage,            8)
1664
1665 enum {
1666 #define x(f, nr)        BCH_JSET_ENTRY_##f      = nr,
1667         BCH_JSET_ENTRY_TYPES()
1668 #undef x
1669         BCH_JSET_ENTRY_NR
1670 };
1671
1672 /*
1673  * Journal sequence numbers can be blacklisted: bsets record the max sequence
1674  * number of all the journal entries they contain updates for, so that on
1675  * recovery we can ignore those bsets that contain index updates newer that what
1676  * made it into the journal.
1677  *
1678  * This means that we can't reuse that journal_seq - we have to skip it, and
1679  * then record that we skipped it so that the next time we crash and recover we
1680  * don't think there was a missing journal entry.
1681  */
1682 struct jset_entry_blacklist {
1683         struct jset_entry       entry;
1684         __le64                  seq;
1685 };
1686
1687 struct jset_entry_blacklist_v2 {
1688         struct jset_entry       entry;
1689         __le64                  start;
1690         __le64                  end;
1691 };
1692
1693 enum {
1694         FS_USAGE_RESERVED               = 0,
1695         FS_USAGE_INODES                 = 1,
1696         FS_USAGE_KEY_VERSION            = 2,
1697         FS_USAGE_NR                     = 3
1698 };
1699
1700 struct jset_entry_usage {
1701         struct jset_entry       entry;
1702         __le64                  v;
1703 } __attribute__((packed));
1704
1705 struct jset_entry_data_usage {
1706         struct jset_entry       entry;
1707         __le64                  v;
1708         struct bch_replicas_entry r;
1709 } __attribute__((packed));
1710
1711 struct jset_entry_clock {
1712         struct jset_entry       entry;
1713         __u8                    rw;
1714         __u8                    pad[7];
1715         __le64                  time;
1716 } __attribute__((packed));
1717
1718 struct jset_entry_dev_usage_type {
1719         __le64                  buckets;
1720         __le64                  sectors;
1721         __le64                  fragmented;
1722 } __attribute__((packed));
1723
1724 struct jset_entry_dev_usage {
1725         struct jset_entry       entry;
1726         __le32                  dev;
1727         __u32                   pad;
1728
1729         __le64                  buckets_ec;
1730         __le64                  buckets_unavailable;
1731
1732         struct jset_entry_dev_usage_type d[];
1733 } __attribute__((packed));
1734
1735 /*
1736  * On disk format for a journal entry:
1737  * seq is monotonically increasing; every journal entry has its own unique
1738  * sequence number.
1739  *
1740  * last_seq is the oldest journal entry that still has keys the btree hasn't
1741  * flushed to disk yet.
1742  *
1743  * version is for on disk format changes.
1744  */
1745 struct jset {
1746         struct bch_csum         csum;
1747
1748         __le64                  magic;
1749         __le64                  seq;
1750         __le32                  version;
1751         __le32                  flags;
1752
1753         __le32                  u64s; /* size of d[] in u64s */
1754
1755         __u8                    encrypted_start[0];
1756
1757         __le16                  _read_clock; /* no longer used */
1758         __le16                  _write_clock;
1759
1760         /* Sequence number of oldest dirty journal entry */
1761         __le64                  last_seq;
1762
1763
1764         union {
1765                 struct jset_entry start[0];
1766                 __u64           _data[0];
1767         };
1768 } __attribute__((packed, aligned(8)));
1769
1770 LE32_BITMASK(JSET_CSUM_TYPE,    struct jset, flags, 0, 4);
1771 LE32_BITMASK(JSET_BIG_ENDIAN,   struct jset, flags, 4, 5);
1772 LE32_BITMASK(JSET_NO_FLUSH,     struct jset, flags, 5, 6);
1773
1774 #define BCH_JOURNAL_BUCKETS_MIN         8
1775
1776 /* Btree: */
1777
1778 #define BCH_BTREE_IDS()                         \
1779         x(extents,      0)                      \
1780         x(inodes,       1)                      \
1781         x(dirents,      2)                      \
1782         x(xattrs,       3)                      \
1783         x(alloc,        4)                      \
1784         x(quotas,       5)                      \
1785         x(stripes,      6)                      \
1786         x(reflink,      7)                      \
1787         x(subvolumes,   8)                      \
1788         x(snapshots,    9)
1789
1790 enum btree_id {
1791 #define x(kwd, val) BTREE_ID_##kwd = val,
1792         BCH_BTREE_IDS()
1793 #undef x
1794         BTREE_ID_NR
1795 };
1796
1797 #define BTREE_MAX_DEPTH         4U
1798
1799 /* Btree nodes */
1800
1801 /*
1802  * Btree nodes
1803  *
1804  * On disk a btree node is a list/log of these; within each set the keys are
1805  * sorted
1806  */
1807 struct bset {
1808         __le64                  seq;
1809
1810         /*
1811          * Highest journal entry this bset contains keys for.
1812          * If on recovery we don't see that journal entry, this bset is ignored:
1813          * this allows us to preserve the order of all index updates after a
1814          * crash, since the journal records a total order of all index updates
1815          * and anything that didn't make it to the journal doesn't get used.
1816          */
1817         __le64                  journal_seq;
1818
1819         __le32                  flags;
1820         __le16                  version;
1821         __le16                  u64s; /* count of d[] in u64s */
1822
1823         union {
1824                 struct bkey_packed start[0];
1825                 __u64           _data[0];
1826         };
1827 } __attribute__((packed, aligned(8)));
1828
1829 LE32_BITMASK(BSET_CSUM_TYPE,    struct bset, flags, 0, 4);
1830
1831 LE32_BITMASK(BSET_BIG_ENDIAN,   struct bset, flags, 4, 5);
1832 LE32_BITMASK(BSET_SEPARATE_WHITEOUTS,
1833                                 struct bset, flags, 5, 6);
1834
1835 /* Sector offset within the btree node: */
1836 LE32_BITMASK(BSET_OFFSET,       struct bset, flags, 16, 32);
1837
1838 struct btree_node {
1839         struct bch_csum         csum;
1840         __le64                  magic;
1841
1842         /* this flags field is encrypted, unlike bset->flags: */
1843         __le64                  flags;
1844
1845         /* Closed interval: */
1846         struct bpos             min_key;
1847         struct bpos             max_key;
1848         struct bch_extent_ptr   _ptr; /* not used anymore */
1849         struct bkey_format      format;
1850
1851         union {
1852         struct bset             keys;
1853         struct {
1854                 __u8            pad[22];
1855                 __le16          u64s;
1856                 __u64           _data[0];
1857
1858         };
1859         };
1860 } __attribute__((packed, aligned(8)));
1861
1862 LE64_BITMASK(BTREE_NODE_ID,     struct btree_node, flags,  0,  4);
1863 LE64_BITMASK(BTREE_NODE_LEVEL,  struct btree_node, flags,  4,  8);
1864 LE64_BITMASK(BTREE_NODE_NEW_EXTENT_OVERWRITE,
1865                                 struct btree_node, flags,  8,  9);
1866 /* 9-32 unused */
1867 LE64_BITMASK(BTREE_NODE_SEQ,    struct btree_node, flags, 32, 64);
1868
1869 struct btree_node_entry {
1870         struct bch_csum         csum;
1871
1872         union {
1873         struct bset             keys;
1874         struct {
1875                 __u8            pad[22];
1876                 __le16          u64s;
1877                 __u64           _data[0];
1878
1879         };
1880         };
1881 } __attribute__((packed, aligned(8)));
1882
1883 #endif /* _BCACHEFS_FORMAT_H */