btree.h 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317
  1. /* SPDX-License-Identifier: GPL-2.0 */
  2. #ifndef _BCACHE_BTREE_H
  3. #define _BCACHE_BTREE_H
  4. /*
  5. * THE BTREE:
  6. *
  7. * At a high level, bcache's btree is relatively standard b+ tree. All keys and
  8. * pointers are in the leaves; interior nodes only have pointers to the child
  9. * nodes.
  10. *
  11. * In the interior nodes, a struct bkey always points to a child btree node, and
  12. * the key is the highest key in the child node - except that the highest key in
  13. * an interior node is always MAX_KEY. The size field refers to the size on disk
  14. * of the child node - this would allow us to have variable sized btree nodes
  15. * (handy for keeping the depth of the btree 1 by expanding just the root).
  16. *
  17. * Btree nodes are themselves log structured, but this is hidden fairly
  18. * thoroughly. Btree nodes on disk will in practice have extents that overlap
  19. * (because they were written at different times), but in memory we never have
  20. * overlapping extents - when we read in a btree node from disk, the first thing
  21. * we do is resort all the sets of keys with a mergesort, and in the same pass
  22. * we check for overlapping extents and adjust them appropriately.
  23. *
  24. * struct btree_op is a central interface to the btree code. It's used for
  25. * specifying read vs. write locking, and the embedded closure is used for
  26. * waiting on IO or reserve memory.
  27. *
  28. * BTREE CACHE:
  29. *
  30. * Btree nodes are cached in memory; traversing the btree might require reading
  31. * in btree nodes which is handled mostly transparently.
  32. *
  33. * bch_btree_node_get() looks up a btree node in the cache and reads it in from
  34. * disk if necessary. This function is almost never called directly though - the
  35. * btree() macro is used to get a btree node, call some function on it, and
  36. * unlock the node after the function returns.
  37. *
  38. * The root is special cased - it's taken out of the cache's lru (thus pinning
  39. * it in memory), so we can find the root of the btree by just dereferencing a
  40. * pointer instead of looking it up in the cache. This makes locking a bit
  41. * tricky, since the root pointer is protected by the lock in the btree node it
  42. * points to - the btree_root() macro handles this.
  43. *
  44. * In various places we must be able to allocate memory for multiple btree nodes
  45. * in order to make forward progress. To do this we use the btree cache itself
  46. * as a reserve; if __get_free_pages() fails, we'll find a node in the btree
  47. * cache we can reuse. We can't allow more than one thread to be doing this at a
  48. * time, so there's a lock, implemented by a pointer to the btree_op closure -
  49. * this allows the btree_root() macro to implicitly release this lock.
  50. *
  51. * BTREE IO:
  52. *
  53. * Btree nodes never have to be explicitly read in; bch_btree_node_get() handles
  54. * this.
  55. *
  56. * For writing, we have two btree_write structs embeddded in struct btree - one
  57. * write in flight, and one being set up, and we toggle between them.
  58. *
  59. * Writing is done with a single function - bch_btree_write() really serves two
  60. * different purposes and should be broken up into two different functions. When
  61. * passing now = false, it merely indicates that the node is now dirty - calling
  62. * it ensures that the dirty keys will be written at some point in the future.
  63. *
  64. * When passing now = true, bch_btree_write() causes a write to happen
  65. * "immediately" (if there was already a write in flight, it'll cause the write
  66. * to happen as soon as the previous write completes). It returns immediately
  67. * though - but it takes a refcount on the closure in struct btree_op you passed
  68. * to it, so a closure_sync() later can be used to wait for the write to
  69. * complete.
  70. *
  71. * This is handy because btree_split() and garbage collection can issue writes
  72. * in parallel, reducing the amount of time they have to hold write locks.
  73. *
  74. * LOCKING:
  75. *
  76. * When traversing the btree, we may need write locks starting at some level -
  77. * inserting a key into the btree will typically only require a write lock on
  78. * the leaf node.
  79. *
  80. * This is specified with the lock field in struct btree_op; lock = 0 means we
  81. * take write locks at level <= 0, i.e. only leaf nodes. bch_btree_node_get()
  82. * checks this field and returns the node with the appropriate lock held.
  83. *
  84. * If, after traversing the btree, the insertion code discovers it has to split
  85. * then it must restart from the root and take new locks - to do this it changes
  86. * the lock field and returns -EINTR, which causes the btree_root() macro to
  87. * loop.
  88. *
  89. * Handling cache misses require a different mechanism for upgrading to a write
  90. * lock. We do cache lookups with only a read lock held, but if we get a cache
  91. * miss and we wish to insert this data into the cache, we have to insert a
  92. * placeholder key to detect races - otherwise, we could race with a write and
  93. * overwrite the data that was just written to the cache with stale data from
  94. * the backing device.
  95. *
  96. * For this we use a sequence number that write locks and unlocks increment - to
  97. * insert the check key it unlocks the btree node and then takes a write lock,
  98. * and fails if the sequence number doesn't match.
  99. */
  100. #include "bset.h"
  101. #include "debug.h"
  102. struct btree_write {
  103. atomic_t *journal;
  104. /* If btree_split() frees a btree node, it writes a new pointer to that
  105. * btree node indicating it was freed; it takes a refcount on
  106. * c->prio_blocked because we can't write the gens until the new
  107. * pointer is on disk. This allows btree_write_endio() to release the
  108. * refcount that btree_split() took.
  109. */
  110. int prio_blocked;
  111. };
  112. struct btree {
  113. /* Hottest entries first */
  114. struct hlist_node hash;
  115. /* Key/pointer for this btree node */
  116. BKEY_PADDED(key);
  117. /* Single bit - set when accessed, cleared by shrinker */
  118. unsigned long accessed;
  119. unsigned long seq;
  120. struct rw_semaphore lock;
  121. struct cache_set *c;
  122. struct btree *parent;
  123. struct mutex write_lock;
  124. unsigned long flags;
  125. uint16_t written; /* would be nice to kill */
  126. uint8_t level;
  127. struct btree_keys keys;
  128. /* For outstanding btree writes, used as a lock - protects write_idx */
  129. struct closure io;
  130. struct semaphore io_mutex;
  131. struct list_head list;
  132. struct delayed_work work;
  133. struct btree_write writes[2];
  134. struct bio *bio;
  135. };
  136. #define BTREE_FLAG(flag) \
  137. static inline bool btree_node_ ## flag(struct btree *b) \
  138. { return test_bit(BTREE_NODE_ ## flag, &b->flags); } \
  139. \
  140. static inline void set_btree_node_ ## flag(struct btree *b) \
  141. { set_bit(BTREE_NODE_ ## flag, &b->flags); }
  142. enum btree_flags {
  143. BTREE_NODE_io_error,
  144. BTREE_NODE_dirty,
  145. BTREE_NODE_write_idx,
  146. BTREE_NODE_journal_flush,
  147. };
  148. BTREE_FLAG(io_error);
  149. BTREE_FLAG(dirty);
  150. BTREE_FLAG(write_idx);
  151. BTREE_FLAG(journal_flush);
  152. static inline struct btree_write *btree_current_write(struct btree *b)
  153. {
  154. return b->writes + btree_node_write_idx(b);
  155. }
  156. static inline struct btree_write *btree_prev_write(struct btree *b)
  157. {
  158. return b->writes + (btree_node_write_idx(b) ^ 1);
  159. }
  160. static inline struct bset *btree_bset_first(struct btree *b)
  161. {
  162. return b->keys.set->data;
  163. }
  164. static inline struct bset *btree_bset_last(struct btree *b)
  165. {
  166. return bset_tree_last(&b->keys)->data;
  167. }
  168. static inline unsigned int bset_block_offset(struct btree *b, struct bset *i)
  169. {
  170. return bset_sector_offset(&b->keys, i) >> b->c->block_bits;
  171. }
  172. static inline void set_gc_sectors(struct cache_set *c)
  173. {
  174. atomic_set(&c->sectors_to_gc, c->sb.bucket_size * c->nbuckets / 16);
  175. }
  176. void bkey_put(struct cache_set *c, struct bkey *k);
  177. /* Looping macros */
  178. #define for_each_cached_btree(b, c, iter) \
  179. for (iter = 0; \
  180. iter < ARRAY_SIZE((c)->bucket_hash); \
  181. iter++) \
  182. hlist_for_each_entry_rcu((b), (c)->bucket_hash + iter, hash)
  183. /* Recursing down the btree */
  184. struct btree_op {
  185. /* for waiting on btree reserve in btree_split() */
  186. wait_queue_entry_t wait;
  187. /* Btree level at which we start taking write locks */
  188. short lock;
  189. unsigned int insert_collision:1;
  190. };
  191. static inline void bch_btree_op_init(struct btree_op *op, int write_lock_level)
  192. {
  193. memset(op, 0, sizeof(struct btree_op));
  194. init_wait(&op->wait);
  195. op->lock = write_lock_level;
  196. }
  197. static inline void rw_lock(bool w, struct btree *b, int level)
  198. {
  199. w ? down_write_nested(&b->lock, level + 1)
  200. : down_read_nested(&b->lock, level + 1);
  201. if (w)
  202. b->seq++;
  203. }
  204. static inline void rw_unlock(bool w, struct btree *b)
  205. {
  206. if (w)
  207. b->seq++;
  208. (w ? up_write : up_read)(&b->lock);
  209. }
  210. void bch_btree_node_read_done(struct btree *b);
  211. void __bch_btree_node_write(struct btree *b, struct closure *parent);
  212. void bch_btree_node_write(struct btree *b, struct closure *parent);
  213. void bch_btree_set_root(struct btree *b);
  214. struct btree *__bch_btree_node_alloc(struct cache_set *c, struct btree_op *op,
  215. int level, bool wait,
  216. struct btree *parent);
  217. struct btree *bch_btree_node_get(struct cache_set *c, struct btree_op *op,
  218. struct bkey *k, int level, bool write,
  219. struct btree *parent);
  220. int bch_btree_insert_check_key(struct btree *b, struct btree_op *op,
  221. struct bkey *check_key);
  222. int bch_btree_insert(struct cache_set *c, struct keylist *keys,
  223. atomic_t *journal_ref, struct bkey *replace_key);
  224. int bch_gc_thread_start(struct cache_set *c);
  225. void bch_initial_gc_finish(struct cache_set *c);
  226. void bch_moving_gc(struct cache_set *c);
  227. int bch_btree_check(struct cache_set *c);
  228. void bch_initial_mark_key(struct cache_set *c, int level, struct bkey *k);
  229. static inline void wake_up_gc(struct cache_set *c)
  230. {
  231. wake_up(&c->gc_wait);
  232. }
  233. #define MAP_DONE 0
  234. #define MAP_CONTINUE 1
  235. #define MAP_ALL_NODES 0
  236. #define MAP_LEAF_NODES 1
  237. #define MAP_END_KEY 1
  238. typedef int (btree_map_nodes_fn)(struct btree_op *b_op, struct btree *b);
  239. int __bch_btree_map_nodes(struct btree_op *op, struct cache_set *c,
  240. struct bkey *from, btree_map_nodes_fn *fn, int flags);
  241. static inline int bch_btree_map_nodes(struct btree_op *op, struct cache_set *c,
  242. struct bkey *from, btree_map_nodes_fn *fn)
  243. {
  244. return __bch_btree_map_nodes(op, c, from, fn, MAP_ALL_NODES);
  245. }
  246. static inline int bch_btree_map_leaf_nodes(struct btree_op *op,
  247. struct cache_set *c,
  248. struct bkey *from,
  249. btree_map_nodes_fn *fn)
  250. {
  251. return __bch_btree_map_nodes(op, c, from, fn, MAP_LEAF_NODES);
  252. }
  253. typedef int (btree_map_keys_fn)(struct btree_op *op, struct btree *b,
  254. struct bkey *k);
  255. int bch_btree_map_keys(struct btree_op *op, struct cache_set *c,
  256. struct bkey *from, btree_map_keys_fn *fn, int flags);
  257. typedef bool (keybuf_pred_fn)(struct keybuf *buf, struct bkey *k);
  258. void bch_keybuf_init(struct keybuf *buf);
  259. void bch_refill_keybuf(struct cache_set *c, struct keybuf *buf,
  260. struct bkey *end, keybuf_pred_fn *pred);
  261. bool bch_keybuf_check_overlapping(struct keybuf *buf, struct bkey *start,
  262. struct bkey *end);
  263. void bch_keybuf_del(struct keybuf *buf, struct keybuf_key *w);
  264. struct keybuf_key *bch_keybuf_next(struct keybuf *buf);
  265. struct keybuf_key *bch_keybuf_next_rescan(struct cache_set *c,
  266. struct keybuf *buf,
  267. struct bkey *end,
  268. keybuf_pred_fn *pred);
  269. void bch_update_bucket_in_use(struct cache_set *c, struct gc_stat *stats);
  270. #endif