2 * Copyright (C) 2011 Red Hat, Inc.
4 * This file is released under the GPL.
6 #ifndef _LINUX_DM_BTREE_H
7 #define _LINUX_DM_BTREE_H
9 #include "dm-block-manager.h"
11 struct dm_transaction_manager;
13 /*----------------------------------------------------------------*/
16 * Annotations used to check on-disk metadata is handled as little-endian.
19 # define __dm_written_to_disk(x) __releases(x)
20 # define __dm_reads_from_disk(x) __acquires(x)
21 # define __dm_bless_for_disk(x) __acquire(x)
22 # define __dm_unbless_for_disk(x) __release(x)
24 # define __dm_written_to_disk(x)
25 # define __dm_reads_from_disk(x)
26 # define __dm_bless_for_disk(x)
27 # define __dm_unbless_for_disk(x)
30 /*----------------------------------------------------------------*/
33 * Manipulates hierarchical B+ trees with 64-bit keys and arbitrary-sized
38 * Infomation about the values stored within the btree.
40 struct dm_btree_value_type {
44 * The size in bytes of each value.
49 * Any of these methods can be safely set to NULL if you do not
50 * need the corresponding feature.
54 * The btree is making a duplicate of the value, for instance
55 * because previously-shared btree nodes have now diverged.
56 * @value argument is the new copy that the copy function may modify.
57 * (Probably it just wants to increment a reference count
58 * somewhere.) This method is _not_ called for insertion of a new
59 * value: It is assumed the ref count is already 1.
61 void (*inc)(void *context, void *value);
64 * This value is being deleted. The btree takes care of freeing
65 * the memory pointed to by @value. Often the del function just
66 * needs to decrement a reference count somewhere.
68 void (*dec)(void *context, void *value);
71 * A test for equality between two values. When a value is
72 * overwritten with a new one, the old one has the dec method
73 * called _unless_ the new and old value are deemed equal.
75 int (*equal)(void *context, void *value1, void *value2);
79 * The shape and contents of a btree.
81 struct dm_btree_info {
82 struct dm_transaction_manager *tm;
85 * Number of nested btrees. (Not the depth of a single tree.)
88 struct dm_btree_value_type value_type;
92 * Set up an empty tree. O(1).
94 int dm_btree_empty(struct dm_btree_info *info, dm_block_t *root);
97 * Delete a tree. O(n) - this is the slow one! It can also block, so
98 * please don't call it on an IO path.
100 int dm_btree_del(struct dm_btree_info *info, dm_block_t root);
103 * All the lookup functions return -ENODATA if the key cannot be found.
107 * Tries to find a key that matches exactly. O(ln(n))
109 int dm_btree_lookup(struct dm_btree_info *info, dm_block_t root,
110 uint64_t *keys, void *value_le);
113 * Insertion (or overwrite an existing value). O(ln(n))
115 int dm_btree_insert(struct dm_btree_info *info, dm_block_t root,
116 uint64_t *keys, void *value, dm_block_t *new_root)
117 __dm_written_to_disk(value);
120 * A variant of insert that indicates whether it actually inserted or just
121 * overwrote. Useful if you're keeping track of the number of entries in a
124 int dm_btree_insert_notify(struct dm_btree_info *info, dm_block_t root,
125 uint64_t *keys, void *value, dm_block_t *new_root,
127 __dm_written_to_disk(value);
130 * Remove a key if present. This doesn't remove empty sub trees. Normally
131 * subtrees represent a separate entity, like a snapshot map, so this is
132 * correct behaviour. O(ln(n)).
134 int dm_btree_remove(struct dm_btree_info *info, dm_block_t root,
135 uint64_t *keys, dm_block_t *new_root);
138 * Returns < 0 on failure. Otherwise the number of key entries that have
139 * been filled out. Remember trees can have zero entries, and as such have
142 int dm_btree_find_highest_key(struct dm_btree_info *info, dm_block_t root,
143 uint64_t *result_keys);
145 #endif /* _LINUX_DM_BTREE_H */