Merge branches 'hammer2' and 'master' of ssh://crater.dragonflybsd.org/repository...
[dragonfly.git] / sys / vfs / hammer2 / hammer2_disk.h
1 /*
2  * Copyright (c) 2011-2012 The DragonFly Project.  All rights reserved.
3  *
4  * This code is derived from software contributed to The DragonFly Project
5  * by Matthew Dillon <dillon@dragonflybsd.org>
6  * by Venkatesh Srinivas <vsrinivas@dragonflybsd.org>
7  *
8  * Redistribution and use in source and binary forms, with or without
9  * modification, are permitted provided that the following conditions
10  * are met:
11  *
12  * 1. Redistributions of source code must retain the above copyright
13  *    notice, this list of conditions and the following disclaimer.
14  * 2. Redistributions in binary form must reproduce the above copyright
15  *    notice, this list of conditions and the following disclaimer in
16  *    the documentation and/or other materials provided with the
17  *    distribution.
18  * 3. Neither the name of The DragonFly Project nor the names of its
19  *    contributors may be used to endorse or promote products derived
20  *    from this software without specific, prior written permission.
21  *
22  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
23  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
24  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
25  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE
26  * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
27  * INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING,
28  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
29  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
30  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
31  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
32  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33  * SUCH DAMAGE.
34  */
35 #ifndef VFS_HAMMER2_DISK_H_
36 #define VFS_HAMMER2_DISK_H_
37
38 /*
39  * The structures below represent the on-disk media structures for the HAMMER2
40  * filesystem.  Note that all fields for on-disk structures are naturally
41  * aligned.  The host endian format is typically used - compatibility is
42  * possible if the implementation detects reversed endian and adjusts accesses
43  * accordingly.
44  *
45  * HAMMER2 primarily revolves around the directory topology:  inodes,
46  * directory entries, and block tables.  Block device buffer cache buffers
47  * are always 64KB.  Logical file buffers are typically 16KB.  All data
48  * references utilize 64-bit byte offsets.
49  *
50  * Free block management is handled independently using blocks reserved by
51  * the media topology.
52  */
53
54 /*
55  * The data at the end of a file or directory may be a fragment in order
56  * to optimize storage efficiency.  The minimum fragment size is 64 bytes.
57  * Since allocations are in powers of 2 fragments must also be sized in
58  * powers of 2 (64, 128, 256, ... 65536).
59  *
60  * For the moment the maximum allocation size is HAMMER2_PBUFSIZE (64K),
61  * which is 2^16.  Larger extents may be supported in the future.
62  *
63  * A full indirect block uses supports 1024 x 64-byte blockrefs.
64  *
65  * A maximally sized file (2^64-1 bytes) requires 5 indirect block levels.
66  * The hammer2_blockset in the volume header or file inode has another 8
67  * entries, giving us 66+3 = 69 bits of address space.  However, some bits
68  * are taken up by (potentially) requests for redundant copies.  HAMMER2
69  * currently supports up to 8 copies, which brings the address space down
70  * to 66 bits and gives us 2 bits of leeway.
71  */
72 #define HAMMER2_MIN_ALLOC       64      /* minimum allocation size */
73 #define HAMMER2_MIN_RADIX       6       /* minimum allocation size 2^N */
74 #define HAMMER2_MAX_RADIX       16      /* maximum allocation size 2^N */
75 #define HAMMER2_IND1_RADIX      26      /* lowest full indirect block radix */
76 #define HAMMER2_IND2_RADIX      36
77 #define HAMMER2_IND3_RADIX      46
78 #define HAMMER2_IND4_RADIX      56
79 #define HAMMER2_IND5_RADIX      66      /* highest full indirect block radix */
80
81 /*
82  * HAMMER2 utilizes 64K physical buffers and 16K logical filesystem buffers.
83  * The smaller logical filesystem buffers reduce ram waste when the OS is
84  * caching lots of small files.
85  */
86 #define HAMMER2_PBUFRADIX       16      /* physical buf (1<<16) bytes */
87 #define HAMMER2_PBUFSIZE        65536   /* fixed physical device buffer size */
88 #define HAMMER2_LBUFSIZE        16384   /* vnode/logical file buffer size */
89
90 /*
91  * HAMMER2 processes blockrefs in sets of 8.  The set is fully associative,
92  * is not sorted, and may contain holes.
93  *
94  * A full indirect block supports 1024 blockrefs.
95  *
96  * An inode embeds one set of blockrefs but may also use the data area for
97  * up to 512 bytes of direct data.
98  */
99 #define HAMMER2_SET_COUNT       8       /* direct entries & associativity */
100 #define HAMMER2_SET_RADIX       3
101 #define HAMMER2_IND_COUNT       1024    /* 1 << HAMMER2_IND_RADIX */
102 #define HAMMER2_IND_RADIX       10
103 #define HAMMER2_EMBEDDED_BYTES  512
104 #define HAMMER2_EMBEDDED_RADIX  9
105
106 #define HAMMER2_PBUFMASK        (HAMMER2_PBUFSIZE - 1)
107 #define HAMMER2_LBUFMASK        (HAMMER2_LBUFSIZE - 1)
108
109 #define HAMMER2_PBUFSIZE64      ((hammer2_off_t)HAMMER2_PBUFSIZE)
110 #define HAMMER2_PBUFMASK64      ((hammer2_off_t)HAMMER2_PBUFMASK)
111 #define HAMMER2_LBUFMASK64      ((hammer2_off_t)HAMMER2_LBUFMASK)
112
113 #define HAMMER2_UUID_STRING     "5cbb9ad1-862d-11dc-a94d-01301bb8a9f5"
114
115 /*
116  * A HAMMER2 filesystem is always sized in multiples of 8MB.
117  *
118  * A 4MB segment is reserved at the beginning of each 2GB zone.  This segment
119  * contains the volume header, the free block table, and possibly other
120  * information in the future.  4MB = 64 x 64K blocks.
121  */
122 #define HAMMER2_VOLUME_ALIGN            (8 * 1024 * 1024)
123 #define HAMMER2_VOLUME_ALIGN64          ((hammer2_off_t)HAMMER2_VOLUME_ALIGN)
124 #define HAMMER2_VOLUME_ALIGNMASK        (HAMMER2_VOLUME_ALIGN - 1)
125 #define HAMMER2_VOLUME_ALIGNMASK64     ((hammer2_off_t)HAMMER2_VOLUME_ALIGNMASK)
126
127 #define HAMMER2_NEWFS_ALIGN             (HAMMER2_VOLUME_ALIGN)
128 #define HAMMER2_NEWFS_ALIGN64           ((hammer2_off_t)HAMMER2_VOLUME_ALIGN)
129 #define HAMMER2_NEWFS_ALIGNMASK         (HAMMER2_VOLUME_ALIGN - 1)
130 #define HAMMER2_NEWFS_ALIGNMASK64       ((hammer2_off_t)HAMMER2_NEWFS_ALIGNMASK)
131
132 #define HAMMER2_RESERVE_BYTES64         (2LLU * 1024 * 1024 * 1024)
133 #define HAMMER2_RESERVE_MASK64          (HAMMER2_RESERVE_BYTES64 - 1)
134 #define HAMMER2_RESERVE_SEG             (4 * 1024 * 1024)
135 #define HAMMER2_RESERVE_SEG64           ((hammer2_off_t)HAMMER2_RESERVE_SEG)
136 #define HAMMER2_RESERVE_BLOCKS          (HAMMER2_RESERVE_SEG / HAMMER2_PBUFSIZE)
137
138 /*
139  * Two linear areas can be reserved after the initial 2MB segment in the base
140  * zone (the one starting at offset 0).  These areas are NOT managed by the
141  * block allocator and do not fall under HAMMER2 crc checking rules based
142  * at the volume header (but can be self-CRCd internally, depending).
143  */
144 #define HAMMER2_BOOT_MIN_BYTES          HAMMER2_VOLUME_ALIGN
145 #define HAMMER2_BOOT_NOM_BYTES          (64*1024*1024)
146 #define HAMMER2_BOOT_MAX_BYTES          (256*1024*1024)
147
148 #define HAMMER2_REDO_MIN_BYTES          HAMMER2_VOLUME_ALIGN
149 #define HAMMER2_REDO_NOM_BYTES          (256*1024*1024)
150 #define HAMMER2_REDO_MAX_BYTES          (1024*1024*1024)
151
152 /*
153  * Most HAMMER2 types are implemented as unsigned 64-bit integers.
154  * Transaction ids are monotonic.
155  *
156  * We utilize 32-bit iSCSI CRCs.
157  */
158 typedef uint64_t hammer2_tid_t;
159 typedef uint64_t hammer2_off_t;
160 typedef uint64_t hammer2_key_t;
161 typedef uint32_t hammer2_crc32_t;
162
163 /*
164  * Miscellanious ranges (all are unsigned).
165  */
166 #define HAMMER2_MIN_TID         1ULL
167 #define HAMMER2_MAX_TID         0xFFFFFFFFFFFFFFFFULL
168 #define HAMMER2_MIN_KEY         0ULL
169 #define HAMMER2_MAX_KEY         0xFFFFFFFFFFFFFFFFULL
170 #define HAMMER2_MIN_OFFSET      0ULL
171 #define HAMMER2_MAX_OFFSET      0xFFFFFFFFFFFFFFFFULL
172
173 /*
174  * HAMMER2 data offset special cases and masking.
175  *
176  * All HAMMER2 data offsets have to be broken down into a 64K buffer base
177  * offset (HAMMER2_OFF_MASK_HI) and a 64K buffer index (HAMMER2_OFF_MASK_LO).
178  *
179  * Indexes into physical buffers are always 64-byte aligned.  The low 6 bits
180  * of the data offset field specifies how large the data chunk being pointed
181  * to as a power of 2.  This value typically ranges from HAMMER2_MIN_RADIX
182  * to HAMMER2_MAX_RADIX (6-16).  Larger values may be supported in the future
183  * to support file extents.
184  */
185 #define HAMMER2_OFF_BAD         ((hammer2_off_t)-1)
186 #define HAMMER2_OFF_MASK        0xFFFFFFFFFFFFFFC0ULL
187 #define HAMMER2_OFF_MASK_LO     (HAMMER2_OFF_MASK & HAMMER2_PBUFMASK64)
188 #define HAMMER2_OFF_MASK_HI     (~HAMMER2_PBUFMASK64)
189 #define HAMMER2_OFF_MASK_RADIX  0x000000000000003FULL
190 #define HAMMER2_MAX_COPIES      6
191
192 /*
193  * The media block reference structure.  This forms the core of the HAMMER2
194  * media topology recursion.  This 64-byte data structure is embedded in the
195  * volume header, in inodes (which are also directory entries), and in
196  * indirect blocks.
197  *
198  * A blockref references a single media item, which typically can be a
199  * directory entry (aka inode), indirect block, or data block.
200  *
201  * The primary feature a blockref represents is the ability to validate
202  * the entire tree underneath it via its check code.  Any modification to
203  * anything propagates up the blockref tree all the way to the root, replacing
204  * the related blocks.  Propagations can shortcut to the volume root to
205  * implement the 'fast syncing' feature but this only delays the eventual
206  * propagation.
207  *
208  * The check code can be a simple 32-bit iscsi code, a 64-bit crc,
209  * or as complex as a 192 bit cryptographic hash.  192 bits is the maximum
210  * supported check code size, which is not sufficient for unverified dedup
211  * UNLESS one doesn't mind once-in-a-blue-moon data corruption (such as when
212  * farming web data).  HAMMER2 has an unverified dedup feature for just this
213  * purpose.
214  */
215 struct hammer2_blockref {               /* MUST BE EXACTLY 64 BYTES */
216         uint8_t         type;           /* type of underlying item */
217         uint8_t         methods;        /* check method & compression method */
218         uint8_t         copyid;         /* specify which copy this is */
219         uint8_t         keybits;        /* keymask = ((1ULL << keybits) - 1) */
220         uint8_t         vradix;         /* virtual data/meta-data size */
221         uint8_t         flags;          /* blockref flags */
222         uint8_t         reserved06;
223         uint8_t         reserved07;
224         hammer2_key_t   key;            /* key specification */
225         hammer2_tid_t   mirror_tid;     /* propagate for mirror scan */
226         hammer2_tid_t   modify_tid;     /* modifications sans propagation */
227         hammer2_off_t   data_off;       /* low 6 bits is phys size (radix)*/
228         union {                         /* check info */
229                 char    buf[24];
230                 struct {
231                         uint32_t value;
232                         uint32_t unused[5];
233                 } iscsi32;
234                 struct {
235                         uint64_t value;
236                         uint64_t unused[2];
237                 } crc64;
238                 struct {
239                         char data[24];
240                 } sha192;
241         } check;
242 };
243
244 typedef struct hammer2_blockref hammer2_blockref_t;
245
246 #define HAMMER2_BREF_SYNC1              0x01    /* modification synchronized */
247 #define HAMMER2_BREF_SYNC2              0x02    /* modification committed */
248 #define HAMMER2_BREF_DESYNCCHLD         0x04    /* desynchronize children */
249 #define HAMMER2_BREF_DELETED            0x80    /* indicates a deletion */
250
251 #define HAMMER2_BLOCKREF_BYTES          64      /* blockref struct in bytes */
252
253 #define HAMMER2_BREF_TYPE_EMPTY         0
254 #define HAMMER2_BREF_TYPE_INODE         1
255 #define HAMMER2_BREF_TYPE_INDBLOCK      2
256 #define HAMMER2_BREF_TYPE_DATA          3
257
258 #define HAMMER2_ENC_COMPMETHOD(n)       (n)
259 #define HAMMER2_ENC_CHECKMETHOD(n)      ((n) << 4)
260 #define HAMMER2_DEC_COMPMETHOD(n)       ((n) & 15)
261 #define HAMMER2_DEC_CHECKMETHOD(n)      (((n) >> 4) & 15)
262
263 /*
264  * HAMMER2 block references are collected into sets of 8 blockrefs.  These
265  * sets are fully associative, meaning the elements making up a set are
266  * not sorted in any way and may contain duplicate entries, holes, or
267  * entries which shortcut multiple levels of indirection.  Sets are used
268  * in various ways:
269  *
270  * (1) When redundancy is desired a set may contain several duplicate
271  *     entries pointing to different copies of the same data.  Up to 8 copies
272  *     are supported but the set structure becomes a bit inefficient once
273  *     you go over 4.
274  *
275  * (2) The blockrefs in a set can shortcut multiple levels of indirections
276  *     within the bounds imposed by the parent of set.
277  *
278  * When a set fills up another level of indirection is inserted, moving
279  * some or all of the set's contents into indirect blocks placed under the
280  * set.  This is a top-down approach in that indirect blocks are not created
281  * until the set actually becomes full (that is, the entries in the set can
282  * shortcut the indirect blocks when the set is not full).  Depending on how
283  * things are filled multiple indirect blocks will eventually be created.
284  */
285 struct hammer2_blockset {
286         hammer2_blockref_t      blockref[HAMMER2_SET_COUNT];
287 };
288
289 typedef struct hammer2_blockset hammer2_blockset_t;
290
291 /*
292  * Catch programmer snafus
293  */
294 #if (1 << HAMMER2_IND_RADIX) != HAMMER2_IND_COUNT
295 #error "hammer2 indirect radix is incorrect"
296 #endif
297 #if (HAMMER2_IND_COUNT * 64) != HAMMER2_PBUFSIZE
298 #error "hammer2 indirect entries is incorrect"
299 #endif
300 #if (1 << HAMMER2_SET_RADIX) != HAMMER2_SET_COUNT
301 #error "hammer2 direct radix is incorrect"
302 #endif
303 #if (1 << HAMMER2_PBUFRADIX) != HAMMER2_PBUFSIZE
304 #error "HAMMER2_PBUFRADIX and HAMMER2_PBUFSIZE are inconsistent"
305 #endif
306 #if (1 << HAMMER2_MIN_RADIX) != HAMMER2_MIN_ALLOC
307 #error "HAMMER2_MIN_RADIX and HAMMER2_MIN_ALLOC are inconsistent"
308 #endif
309
310 /*
311  * The media indirect block structure.
312  */
313 struct hammer2_indblock {
314         hammer2_blockref_t blocks[HAMMER2_IND_COUNT];
315 };
316
317 typedef struct hammer2_indblock hammer2_indblock_t;
318
319 /*
320  * In HAMMER2 inodes ARE directory entries, with a special exception for
321  * hardlinks.  The inode number is stored in the inode rather than being
322  * based on the location of the inode (since the location moves every time
323  * the inode or anything underneath the inode is modified).
324  *
325  * The inode is 1024 bytes, made up of 256 bytes of meta-data, 256 bytes
326  * for the filename, and 512 bytes worth of direct file data OR an embedded
327  * blockset.
328  *
329  * Directories represent one inode per blockref.  Inodes are not laid out
330  * as a file but instead are represented by the related blockrefs.  The
331  * blockrefs, in turn, are indexed by the 64-bit directory hash key.  Remember
332  * that blocksets are fully associative, so a certain degree efficiency is
333  * achieved just from that.
334  *
335  * Up to 512 bytes of direct data can be embedded in an inode, and since
336  * inodes are essentially directory entries this also means that small data
337  * files end up simply being laid out linearly in the directory, resulting
338  * in fewer seeks and highly optimal access.
339  *
340  * The compression mode can be changed at any time in the inode and is
341  * recorded on a blockref-by-blockref basis.
342  *
343  * Hardlinks are supported via the inode map.  Essentially the way a hardlink
344  * works is that all individual directory entries representing the same file
345  * are special cased and specify the same inode number.  The actual file
346  * is placed in the nearest parent directory that is parent to all instances
347  * of the hardlink.  If all hardlinks to a file are in the same directory
348  * the actual file will also be placed in that directory.  This file uses
349  * the inode number as the directory entry key and is invisible to normal
350  * directory scans.  Real directory entry keys are differentiated from the
351  * inode number key via bit 63.  Access to the hardlink silently looks up
352  * the real file and forwards all operations to that file.  Removal of the
353  * last hardlink also removes the real file.
354  */
355 #define HAMMER2_INODE_BYTES             1024    /* (asserted by code) */
356 #define HAMMER2_INODE_MAXNAME           256     /* maximum name in bytes */
357 #define HAMMER2_INODE_VERSION_ONE       1
358
359 struct hammer2_inode_data {
360         uint16_t        version;        /* 0000 inode data version */
361         uint16_t        reserved02;     /* 0002 */
362         uint32_t        uflags;         /* 0004 chflags */
363         uint32_t        rmajor;         /* 0008 available for device nodes */
364         uint32_t        rminor;         /* 000C available for device nodes */
365         uint64_t        ctime;          /* 0010 inode change time */
366         uint64_t        mtime;          /* 0018 modified time */
367         uint64_t        atime;          /* 0020 access time (unsupported) */
368         uint64_t        btime;          /* 0028 birth time */
369         uuid_t          uid;            /* 0030 uid / degenerate unix uid */
370         uuid_t          gid;            /* 0040 gid / degenerate unix gid */
371
372         uint8_t         type;           /* 0050 object type */
373         uint8_t         op_flags;       /* 0051 operational flags */
374         uint16_t        cap_flags;      /* 0052 capability flags */
375         uint32_t        mode;           /* 0054 unix modes (typ low 16 bits) */
376
377         hammer2_tid_t   inum;           /* 0058 inode number */
378         hammer2_off_t   size;           /* 0060 size of file */
379         uint64_t        nlinks;         /* 0068 hard links (typ only dirs) */
380         hammer2_tid_t   iparent;        /* 0070 parent inum (recovery only) */
381         uint64_t        reserved78;     /* 0078 */
382
383         hammer2_off_t   data_quota;     /* 0080 subtree quota in bytes */
384         hammer2_off_t   data_count;     /* 0088 subtree byte count */
385         hammer2_off_t   inode_quota;    /* 0090 subtree quota inode count */
386         hammer2_off_t   inode_count;    /* 0098 subtree inode count */
387         uint16_t        name_len;       /* 00A0 filename length */
388         uint8_t         comp_algo;      /* 00A2 compression request & algo */
389         uint8_t         reservedA3;     /* 00A3 */
390         uint32_t        reservedA4;     /* 00A4 */
391         hammer2_key_t   name_key;       /* 00A8 full filename key */
392         uint8_t         copyids[8];     /* 00B0 request copies to (up to 8) */
393         uuid_t          pfsid;          /* 00B8 pfs uuid if PFSROOT */
394         uint64_t        reservedC8;     /* 00C8 */
395         uint64_t        reservedD0;     /* 00D0 */
396         uint64_t        reservedD8;     /* 00D8 */
397         uint64_t        reservedE0;     /* 00E0 */
398         uint64_t        reservedE8;     /* 00E8 */
399         uint64_t        reservedF0;     /* 00F0 */
400         uint64_t        reservedF8;     /* 00F8 */
401
402         unsigned char   filename[HAMMER2_INODE_MAXNAME];
403                                         /* 0100-01FF (256 char, unterminated) */
404         union {                         /* 0200-03FF (64x8 = 512 bytes) */
405                 struct hammer2_blockset blockset;
406                 char data[HAMMER2_EMBEDDED_BYTES];
407         } u;
408 };
409
410 typedef struct hammer2_inode_data hammer2_inode_data_t;
411
412 #define HAMMER2_OPFLAG_DIRECTDATA       0x01
413 #define HAMMER2_OPFLAG_PFSROOT          0x02
414
415 #define HAMMER2_OBJTYPE_UNKNOWN         0
416 #define HAMMER2_OBJTYPE_DIRECTORY       1
417 #define HAMMER2_OBJTYPE_REGFILE         2
418 #define HAMMER2_OBJTYPE_FIFO            4
419 #define HAMMER2_OBJTYPE_CDEV            5
420 #define HAMMER2_OBJTYPE_BDEV            6
421 #define HAMMER2_OBJTYPE_SOFTLINK        7
422 #define HAMMER2_OBJTYPE_HARDLINK        8
423 #define HAMMER2_OBJTYPE_SOCKET          9
424 #define HAMMER2_OBJTYPE_WHITEOUT        10
425
426 #define HAMMER2_COPYID_NONE             0
427 #define HAMMER2_COPYID_LOCAL            ((uint8_t)-1)
428
429 #define HAMMER2_COMP_NONE               0
430 #define HAMMER2_COMP_AUTOZERO           1
431
432 #define HAMMER2_CHECK_NONE              0
433 #define HAMMER2_CHECK_ICRC              1
434
435 /*
436  * The allocref structure represents the allocation table.  One 64K block
437  * is broken down into 4096 x 16 byte entries.  Each indirect block chops
438  * 11 bits off the 64-bit storage space, with leaf entries representing
439  * 64KB blocks.  So:  (12, 12, 12, 12, 16) = 64 bit storage space.
440  *
441  * Each 64K freemap block breaks the 4096 entries into a 64x64 tree with
442  * big_hint1 representing the top level every 64th entry and big_hint2
443  * representing the lower level in each entry.  These fields specify the
444  * largest contiguous radix (1-63) available for allocation in the related
445  * sub-tree.  The largest contiguous radix available for the entire block
446  * is saved in the parent (for the root this will be alloc_blockref in the
447  * volume header).  The hints may be larger than actual and will be corrected
448  * on the fly but must not be smaller.  The allocator uses the hints to
449  * very quickly locate nearby blocks of the desired size.
450  *
451  * In indirect blocks the 64-bit free[_or_mask] field stores the total free
452  * space for each of the 4096 sub-nodes in bytes.  The total free space
453  * represented by the indirect block is stored in its parent.
454  *
455  * Each leaf element represents a 64K block.  A bitmap replaces the free space
456  * count, giving us a 1KB allocation resolution.  A micro-allocation append
457  * offset replaces the icrc field.  The micro-allocation feature is not
458  * currently implemented and the field will be set to 65536.
459  *
460  * The allocation map uses reserved blocks so no data block reference is
461  * required, only a bit in the flags field to specify which of two possible
462  * reserved blocks to use.  This allows the allocation map to be flushed to
463  * disk with minimal synchronization.
464  */
465 struct hammer2_allocref {
466         uint32_t        icrc_or_app;    /* node: icrc, leaf: append offset */
467         uint16_t        flags;
468         uint8_t         big_hint1;      /* upper level hint */
469         uint8_t         big_hint2;      /* lower level hint */
470         uint64_t        free_or_mask;   /* node: free bytes, leaf: bitmask */
471 };
472
473 typedef struct hammer2_allocref hammer2_allocref_t;
474
475 /*
476  * WARNING - allocref size x entries must equate to the hammer buffer size,
477  *           and 12 bits per recursion is assumed by the allocator.
478  *
479  * ALTA-D       Since no data_offset is specified flags are needed to select
480  *              which sub-block to recurse down into for root & internal nodes.
481  *              (only ALTA and ALTB is currently supported).
482  *
483  * LEAF         Terminal entry, always set for leafs.  May be used to support
484  *              4MB extent allocations and early termination in the future.
485  *              (not required to shortcut allocation scans as the big_hint1/2
486  *              fields are used for this).
487  */
488 #define HAMMER2_ALLOCREF_BYTES          16      /* structure size */
489 #define HAMMER2_ALLOCREF_ENTRIES        4096    /* entries */
490 #define HAMMER2_ALLOCREF_RADIX          12      /* log2(entries) */
491
492 #if (HAMMER2_ALLOCREF_BYTES * HAMMER2_ALLOCREF_ENTRIES) != HAMMER2_PBUFSIZE
493 #error "allocref parameters do not fit in hammer buffer"
494 #endif
495 #if (1 << HAMMER2_ALLOCREF_RADIX) != HAMMER2_ALLOCREF_ENTRIES
496 #error "allocref parameters are inconsistent"
497 #endif
498
499 #define HAMMER2_ALLOCREF_ALTMASK        0x0003  /* select block for recurse */
500 #define HAMMER2_ALLOCREF_ALTA           0x0000
501 #define HAMMER2_ALLOCREF_ALTB           0x0001
502 #define HAMMER2_ALLOCREF_ALTC           0x0002  /* unsupported */
503 #define HAMMER2_ALLOCREF_ALTD           0x0003  /* unsupported */
504 #define HAMMER2_ALLOCREF_LEAF           0x0004
505
506 /*
507  * Copies information stored in the volume header.  Typically formatted
508  * e.g. like 'serno/A21343249.s1d'
509  *
510  * There are 8 copy_data[]'s in the volume header but up to 256 copyid's.
511  * When a copy is removed its copyid remains reserved in the copyid bitmap
512  * (copyexists[] bitmap in volume_data) until the copy references have
513  * been removed from the entire filesystem and cannot be reused until the
514  * removal is complete.  However, new copy entries with other ids can be
515  * instantly added, replacing the original copy_data[]... which is fine as
516  * long as the copyid does not conflict.
517  *
518  * This structure must be exactly 64 bytes long.
519  */
520 struct hammer2_copy_data {
521         uint8_t copyid;         /* 0-255 */
522         uint8_t flags;
523         uint8_t reserved02;
524         uint8_t reserved03;
525         uint8_t path[60];       /* up to 59-char string, nul-terminated */
526 };
527
528 typedef struct hammer2_copy_data hammer2_copy_data_t;
529
530 #define COPYDATAF_OUTOFSYNC     0x0001
531
532 /*
533  * The volume header eats a 64K block.  There is currently an issue where
534  * we want to try to fit all nominal filesystem updates in a 512-byte section
535  * but it may be a lost cause due to the need for a blockset.
536  *
537  * All information is stored in host byte order.  The volume header's magic
538  * number may be checked to determine the byte order.  If you wish to mount
539  * between machines w/ different endian modes you'll need filesystem code
540  * which acts on the media data consistently (either all one way or all the
541  * other).  Our code currently does not do that.
542  *
543  * A read-write mount may have to recover missing allocations by doing an
544  * incremental mirror scan looking for modifications made after alloc_tid.
545  * If alloc_tid == last_tid then no recovery operation is needed.  Recovery
546  * operations are usually very, very fast.
547  *
548  * Read-only mounts do not need to do any recovery, access to the filesystem
549  * topology is always consistent after a crash (is always consistent, period).
550  * However, there may be shortcutted blockref updates present from deep in
551  * the tree which are stored in the volumeh eader and must be tracked on
552  * the fly.
553  *
554  * icrc_sect0 only applies to the first 512-4 bytes in the volume header.
555  *
556  * COPIES: Multiple copies may be specified on the mount line AND/OR you
557  *         just specify one and the mount code tries to pick up the others
558  *         from copyinfo[].  The copyid field in the volume header along
559  *         with the fsid validates the copies.
560  *
561  * NOTE: root_blockref points to the super-root directory, not the root
562  *       directory.  The root directory will be a subdirectory under the
563  *       super-root.
564  *
565  *       The super-root directory contains all root directories and all
566  *       snapshots (readonly or writable).  It is possible to do a
567  *       null-mount of the super-root using special path constructions
568  *       relative to your mounted root.
569  *
570  * NOTE: HAMMER2 allows any subdirectory tree to be managed as if it were
571  *       a PFS, including mirroring and storage quota operations, and this is
572  *       prefered over creating discrete PFSs in the super-root.  Instead
573  *       the super-root is most typically used to create writable snapshots,
574  *       alternative roots, and so forth.  The super-root is also used by
575  *       the automatic snapshotting mechanism.
576  */
577 #define HAMMER2_VOLUME_ID_HBO   0x48414d3205172011LLU
578 #define HAMMER2_VOLUME_ID_ABO   0x11201705324d4148LLU
579
580 struct hammer2_volume_data {
581         /*
582          * 512-byte sector #0
583          */
584         uint64_t        magic;                  /* 0000 Signature */
585         hammer2_off_t   boot_beg;               /* 0008 Boot area (future) */
586         hammer2_off_t   boot_end;               /* 0010 (size = end - beg) */
587         hammer2_off_t   redo_beg;               /* 0018 Redo area (future) */
588         hammer2_off_t   redo_end;               /* 0020 (size = end - beg) */
589         hammer2_off_t   volu_size;              /* 0028 Volume size, bytes */
590
591         uint32_t        version;                /* 0030 */
592         uint32_t        flags;                  /* 0034 */
593         uint8_t         copyid;                 /* 0038 copyid of phys vol */
594         uint8_t         freemap_version;        /* 0039 freemap algorithm */
595         uint8_t         reserved003A;           /* 003A */
596         uint8_t         reserved003B;           /* 003B */
597         uint32_t        reserved003C;           /* 003C */
598
599         uuid_t          fsid;                   /* 0040 */
600         uuid_t          fstype;                 /* 0050 */
601
602         /*
603          * allocator_size is precalculated at newfs time and does not include
604          * reserved blocks, boot, or redo areas.
605          *
606          * Initial non-reserved-area allocations do not use the allocation
607          * map but instead adjust alloc_iterator.  Dynamic allocations take
608          * over starting at (allocator_beg).  This makes newfs_hammer2's
609          * job a lot easier and can also serve as a testing jig.
610          */
611         hammer2_off_t   allocator_size;         /* 0060 Total data space */
612         hammer2_off_t   allocator_free;         /* 0068 Free space */
613         hammer2_tid_t   allocator_beg;          /* 0070 Initial allocations */
614         hammer2_tid_t   last_tid;               /* 0078 Last transaction id */
615         hammer2_tid_t   alloc_tid;              /* 0080 Alloctable modify tid */
616         hammer2_blockref_t alloc_blockref;      /* 0088-00C7 */
617
618         /*
619          * Copyids are allocated dynamically from the copyexists bitmap.
620          * An id from the active copies set (up to 8, see copyinfo later on)
621          * may still exist after the copy set has been removed from the
622          * volume header and its bit will remain active in the bitmap and
623          * cannot be reused until it is 100% removed from the hierarchy.
624          */
625         uint32_t        copyexists[8];          /* 00C8-00E7 copy exists bmap */
626         char            reserved0140[248];      /* 00E8-01DF */
627
628         /*
629          * 32 bit CRC array at the end of the first 512 byte sector.
630          *
631          * icrc_sects[7] - First 512-4 bytes of volume header (including all
632          *                 the other icrc's except the last one).
633          *
634          * icrc_sects[6] - Second 512-4 bytes of volume header, which is
635          *                 the blockset for the root.
636          */
637         hammer2_crc32_t icrc_sects[8];          /* 01E0-01FF */
638
639         /*
640          * 512-byte sector #1
641          *
642          * The entire sector is used by a blockset.
643          */
644         hammer2_blockset_t sroot_blockset;      /* 0200 Superroot directory */
645
646         /*
647          * 512-byte sector #2-33
648          *
649          * Up to 256 copyinfo specifications can be configured.  Note that
650          * any given subdirectory tree can only use 8 of the 256.  Having
651          * up to 256 configurable in the volume header allows
652          *
653          * A specification takes 64 bytes.  Each specification typically
654          * configures a device path such as 'serno/<serial>.s1d'.
655          */
656         struct hammer2_copy_data copyinfo[256]; /* 0400-43FF copyinfo config */
657
658         /*
659          * Remaining sections are reserved for future use.
660          */
661         char            reserved0400[0xBBFC];   /* 4400-FFFB reserved */
662
663         /*
664          * icrc on entire volume header
665          */
666         hammer2_crc32_t icrc_volheader;         /* FFFC-FFFF full volume icrc*/
667 };
668
669 typedef struct hammer2_volume_data hammer2_volume_data_t;
670
671 /*
672  * Various parts of the volume header have their own iCRCs.
673  *
674  * The first 512 bytes has its own iCRC stored at the end of the 512 bytes
675  * and not included the icrc calculation.
676  *
677  * The second 512 bytes also has its own iCRC but it is stored in the first
678  * 512 bytes so it covers the entire second 512 bytes.
679  *
680  * The whole volume block (64KB) has an iCRC covering all but the last 4 bytes,
681  * which is where the iCRC for the whole volume is stored.  This is currently
682  * a catch-all for anything not individually iCRCd.
683  */
684 #define HAMMER2_VOL_ICRC_SECT0          7
685 #define HAMMER2_VOL_ICRC_SECT1          6
686
687 #define HAMMER2_VOLUME_BYTES            65536
688
689 #define HAMMER2_VOLUME_ICRC0_OFF        0
690 #define HAMMER2_VOLUME_ICRC1_OFF        512
691 #define HAMMER2_VOLUME_ICRCVH_OFF       0
692
693 #define HAMMER2_VOLUME_ICRC0_SIZE       (512 - 4)
694 #define HAMMER2_VOLUME_ICRC1_SIZE       (512)
695 #define HAMMER2_VOLUME_ICRCVH_SIZE      (65536 - 4)
696
697 #define HAMMER2_VOL_VERSION_MIN         1
698 #define HAMMER2_VOL_VERSION_DEFAULT     1
699 #define HAMMER2_VOL_VERSION_WIP         2
700
701 #define HAMMER2_NUM_VOLHDRS             4
702
703 /*
704  * Prototypes for user & kernel functions.  Kernel-only prototypes are
705  * elsewhere.
706  */
707 uint32_t hammer2_icrc32(const void *buf, size_t size);
708 uint32_t hammer2_icrc32c(const void *buf, size_t size, uint32_t crc);
709
710 #endif