btree.h 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405
  1. #ifndef _BCACHE_BTREE_H
  2. #define _BCACHE_BTREE_H
  3. /*
  4. * THE BTREE:
  5. *
  6. * At a high level, bcache's btree is relatively standard b+ tree. All keys and
  7. * pointers are in the leaves; interior nodes only have pointers to the child
  8. * nodes.
  9. *
  10. * In the interior nodes, a struct bkey always points to a child btree node, and
  11. * the key is the highest key in the child node - except that the highest key in
  12. * an interior node is always MAX_KEY. The size field refers to the size on disk
  13. * of the child node - this would allow us to have variable sized btree nodes
  14. * (handy for keeping the depth of the btree 1 by expanding just the root).
  15. *
  16. * Btree nodes are themselves log structured, but this is hidden fairly
  17. * thoroughly. Btree nodes on disk will in practice have extents that overlap
  18. * (because they were written at different times), but in memory we never have
  19. * overlapping extents - when we read in a btree node from disk, the first thing
  20. * we do is resort all the sets of keys with a mergesort, and in the same pass
  21. * we check for overlapping extents and adjust them appropriately.
  22. *
  23. * struct btree_op is a central interface to the btree code. It's used for
  24. * specifying read vs. write locking, and the embedded closure is used for
  25. * waiting on IO or reserve memory.
  26. *
  27. * BTREE CACHE:
  28. *
  29. * Btree nodes are cached in memory; traversing the btree might require reading
  30. * in btree nodes which is handled mostly transparently.
  31. *
  32. * bch_btree_node_get() looks up a btree node in the cache and reads it in from
  33. * disk if necessary. This function is almost never called directly though - the
  34. * btree() macro is used to get a btree node, call some function on it, and
  35. * unlock the node after the function returns.
  36. *
  37. * The root is special cased - it's taken out of the cache's lru (thus pinning
  38. * it in memory), so we can find the root of the btree by just dereferencing a
  39. * pointer instead of looking it up in the cache. This makes locking a bit
  40. * tricky, since the root pointer is protected by the lock in the btree node it
  41. * points to - the btree_root() macro handles this.
  42. *
  43. * In various places we must be able to allocate memory for multiple btree nodes
  44. * in order to make forward progress. To do this we use the btree cache itself
  45. * as a reserve; if __get_free_pages() fails, we'll find a node in the btree
  46. * cache we can reuse. We can't allow more than one thread to be doing this at a
  47. * time, so there's a lock, implemented by a pointer to the btree_op closure -
  48. * this allows the btree_root() macro to implicitly release this lock.
  49. *
  50. * BTREE IO:
  51. *
  52. * Btree nodes never have to be explicitly read in; bch_btree_node_get() handles
  53. * this.
  54. *
  55. * For writing, we have two btree_write structs embeddded in struct btree - one
  56. * write in flight, and one being set up, and we toggle between them.
  57. *
  58. * Writing is done with a single function - bch_btree_write() really serves two
  59. * different purposes and should be broken up into two different functions. When
  60. * passing now = false, it merely indicates that the node is now dirty - calling
  61. * it ensures that the dirty keys will be written at some point in the future.
  62. *
  63. * When passing now = true, bch_btree_write() causes a write to happen
  64. * "immediately" (if there was already a write in flight, it'll cause the write
  65. * to happen as soon as the previous write completes). It returns immediately
  66. * though - but it takes a refcount on the closure in struct btree_op you passed
  67. * to it, so a closure_sync() later can be used to wait for the write to
  68. * complete.
  69. *
  70. * This is handy because btree_split() and garbage collection can issue writes
  71. * in parallel, reducing the amount of time they have to hold write locks.
  72. *
  73. * LOCKING:
  74. *
  75. * When traversing the btree, we may need write locks starting at some level -
  76. * inserting a key into the btree will typically only require a write lock on
  77. * the leaf node.
  78. *
  79. * This is specified with the lock field in struct btree_op; lock = 0 means we
  80. * take write locks at level <= 0, i.e. only leaf nodes. bch_btree_node_get()
  81. * checks this field and returns the node with the appropriate lock held.
  82. *
  83. * If, after traversing the btree, the insertion code discovers it has to split
  84. * then it must restart from the root and take new locks - to do this it changes
  85. * the lock field and returns -EINTR, which causes the btree_root() macro to
  86. * loop.
  87. *
  88. * Handling cache misses require a different mechanism for upgrading to a write
  89. * lock. We do cache lookups with only a read lock held, but if we get a cache
  90. * miss and we wish to insert this data into the cache, we have to insert a
  91. * placeholder key to detect races - otherwise, we could race with a write and
  92. * overwrite the data that was just written to the cache with stale data from
  93. * the backing device.
  94. *
  95. * For this we use a sequence number that write locks and unlocks increment - to
  96. * insert the check key it unlocks the btree node and then takes a write lock,
  97. * and fails if the sequence number doesn't match.
  98. */
  99. #include "bset.h"
  100. #include "debug.h"
  101. struct btree_write {
  102. struct closure *owner;
  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. unsigned long flags;
  123. uint16_t written; /* would be nice to kill */
  124. uint8_t level;
  125. uint8_t nsets;
  126. uint8_t page_order;
  127. /*
  128. * Set of sorted keys - the real btree node - plus a binary search tree
  129. *
  130. * sets[0] is special; set[0]->tree, set[0]->prev and set[0]->data point
  131. * to the memory we have allocated for this btree node. Additionally,
  132. * set[0]->data points to the entire btree node as it exists on disk.
  133. */
  134. struct bset_tree sets[MAX_BSETS];
  135. /* Used to refcount bio splits, also protects b->bio */
  136. struct closure_with_waitlist io;
  137. /* Gets transferred to w->prio_blocked - see the comment there */
  138. int prio_blocked;
  139. struct list_head list;
  140. struct delayed_work work;
  141. uint64_t io_start_time;
  142. struct btree_write writes[2];
  143. struct bio *bio;
  144. };
  145. #define BTREE_FLAG(flag) \
  146. static inline bool btree_node_ ## flag(struct btree *b) \
  147. { return test_bit(BTREE_NODE_ ## flag, &b->flags); } \
  148. \
  149. static inline void set_btree_node_ ## flag(struct btree *b) \
  150. { set_bit(BTREE_NODE_ ## flag, &b->flags); } \
  151. enum btree_flags {
  152. BTREE_NODE_read_done,
  153. BTREE_NODE_io_error,
  154. BTREE_NODE_dirty,
  155. BTREE_NODE_write_idx,
  156. };
  157. BTREE_FLAG(read_done);
  158. BTREE_FLAG(io_error);
  159. BTREE_FLAG(dirty);
  160. BTREE_FLAG(write_idx);
  161. static inline struct btree_write *btree_current_write(struct btree *b)
  162. {
  163. return b->writes + btree_node_write_idx(b);
  164. }
  165. static inline struct btree_write *btree_prev_write(struct btree *b)
  166. {
  167. return b->writes + (btree_node_write_idx(b) ^ 1);
  168. }
  169. static inline unsigned bset_offset(struct btree *b, struct bset *i)
  170. {
  171. return (((size_t) i) - ((size_t) b->sets->data)) >> 9;
  172. }
  173. static inline struct bset *write_block(struct btree *b)
  174. {
  175. return ((void *) b->sets[0].data) + b->written * block_bytes(b->c);
  176. }
  177. static inline bool bset_written(struct btree *b, struct bset_tree *t)
  178. {
  179. return t->data < write_block(b);
  180. }
  181. static inline bool bkey_written(struct btree *b, struct bkey *k)
  182. {
  183. return k < write_block(b)->start;
  184. }
  185. static inline void set_gc_sectors(struct cache_set *c)
  186. {
  187. atomic_set(&c->sectors_to_gc, c->sb.bucket_size * c->nbuckets / 8);
  188. }
  189. static inline bool bch_ptr_invalid(struct btree *b, const struct bkey *k)
  190. {
  191. return __bch_ptr_invalid(b->c, b->level, k);
  192. }
  193. static inline struct bkey *bch_btree_iter_init(struct btree *b,
  194. struct btree_iter *iter,
  195. struct bkey *search)
  196. {
  197. return __bch_btree_iter_init(b, iter, search, b->sets);
  198. }
  199. /* Looping macros */
  200. #define for_each_cached_btree(b, c, iter) \
  201. for (iter = 0; \
  202. iter < ARRAY_SIZE((c)->bucket_hash); \
  203. iter++) \
  204. hlist_for_each_entry_rcu((b), (c)->bucket_hash + iter, hash)
  205. #define for_each_key_filter(b, k, iter, filter) \
  206. for (bch_btree_iter_init((b), (iter), NULL); \
  207. ((k) = bch_btree_iter_next_filter((iter), b, filter));)
  208. #define for_each_key(b, k, iter) \
  209. for (bch_btree_iter_init((b), (iter), NULL); \
  210. ((k) = bch_btree_iter_next(iter));)
  211. /* Recursing down the btree */
  212. struct btree_op {
  213. struct closure cl;
  214. struct cache_set *c;
  215. /* Journal entry we have a refcount on */
  216. atomic_t *journal;
  217. /* Bio to be inserted into the cache */
  218. struct bio *cache_bio;
  219. unsigned inode;
  220. uint16_t write_prio;
  221. /* Btree level at which we start taking write locks */
  222. short lock;
  223. /* Btree insertion type */
  224. enum {
  225. BTREE_INSERT,
  226. BTREE_REPLACE
  227. } type:8;
  228. unsigned csum:1;
  229. unsigned skip:1;
  230. unsigned flush_journal:1;
  231. unsigned insert_data_done:1;
  232. unsigned lookup_done:1;
  233. unsigned insert_collision:1;
  234. /* Anything after this point won't get zeroed in do_bio_hook() */
  235. /* Keys to be inserted */
  236. struct keylist keys;
  237. BKEY_PADDED(replace);
  238. };
  239. void bch_btree_op_init_stack(struct btree_op *);
  240. static inline void rw_lock(bool w, struct btree *b, int level)
  241. {
  242. w ? down_write_nested(&b->lock, level + 1)
  243. : down_read_nested(&b->lock, level + 1);
  244. if (w)
  245. b->seq++;
  246. }
  247. static inline void rw_unlock(bool w, struct btree *b)
  248. {
  249. #ifdef CONFIG_BCACHE_EDEBUG
  250. unsigned i;
  251. if (w &&
  252. b->key.ptr[0] &&
  253. btree_node_read_done(b))
  254. for (i = 0; i <= b->nsets; i++)
  255. bch_check_key_order(b, b->sets[i].data);
  256. #endif
  257. if (w)
  258. b->seq++;
  259. (w ? up_write : up_read)(&b->lock);
  260. }
  261. #define insert_lock(s, b) ((b)->level <= (s)->lock)
  262. /*
  263. * These macros are for recursing down the btree - they handle the details of
  264. * locking and looking up nodes in the cache for you. They're best treated as
  265. * mere syntax when reading code that uses them.
  266. *
  267. * op->lock determines whether we take a read or a write lock at a given depth.
  268. * If you've got a read lock and find that you need a write lock (i.e. you're
  269. * going to have to split), set op->lock and return -EINTR; btree_root() will
  270. * call you again and you'll have the correct lock.
  271. */
  272. /**
  273. * btree - recurse down the btree on a specified key
  274. * @fn: function to call, which will be passed the child node
  275. * @key: key to recurse on
  276. * @b: parent btree node
  277. * @op: pointer to struct btree_op
  278. */
  279. #define btree(fn, key, b, op, ...) \
  280. ({ \
  281. int _r, l = (b)->level - 1; \
  282. bool _w = l <= (op)->lock; \
  283. struct btree *_b = bch_btree_node_get((b)->c, key, l, op); \
  284. if (!IS_ERR(_b)) { \
  285. _r = bch_btree_ ## fn(_b, op, ##__VA_ARGS__); \
  286. rw_unlock(_w, _b); \
  287. } else \
  288. _r = PTR_ERR(_b); \
  289. _r; \
  290. })
  291. /**
  292. * btree_root - call a function on the root of the btree
  293. * @fn: function to call, which will be passed the child node
  294. * @c: cache set
  295. * @op: pointer to struct btree_op
  296. */
  297. #define btree_root(fn, c, op, ...) \
  298. ({ \
  299. int _r = -EINTR; \
  300. do { \
  301. struct btree *_b = (c)->root; \
  302. bool _w = insert_lock(op, _b); \
  303. rw_lock(_w, _b, _b->level); \
  304. if (_b == (c)->root && \
  305. _w == insert_lock(op, _b)) \
  306. _r = bch_btree_ ## fn(_b, op, ##__VA_ARGS__); \
  307. rw_unlock(_w, _b); \
  308. bch_cannibalize_unlock(c, &(op)->cl); \
  309. } while (_r == -EINTR); \
  310. \
  311. _r; \
  312. })
  313. static inline bool should_split(struct btree *b)
  314. {
  315. struct bset *i = write_block(b);
  316. return b->written >= btree_blocks(b) ||
  317. (i->seq == b->sets[0].data->seq &&
  318. b->written + __set_blocks(i, i->keys + 15, b->c)
  319. > btree_blocks(b));
  320. }
  321. void bch_btree_read_done(struct closure *);
  322. void bch_btree_read(struct btree *);
  323. void bch_btree_write(struct btree *b, bool now, struct btree_op *op);
  324. void bch_cannibalize_unlock(struct cache_set *, struct closure *);
  325. void bch_btree_set_root(struct btree *);
  326. struct btree *bch_btree_node_alloc(struct cache_set *, int, struct closure *);
  327. struct btree *bch_btree_node_get(struct cache_set *, struct bkey *,
  328. int, struct btree_op *);
  329. bool bch_btree_insert_keys(struct btree *, struct btree_op *);
  330. bool bch_btree_insert_check_key(struct btree *, struct btree_op *,
  331. struct bio *);
  332. int bch_btree_insert(struct btree_op *, struct cache_set *);
  333. int bch_btree_search_recurse(struct btree *, struct btree_op *);
  334. void bch_queue_gc(struct cache_set *);
  335. size_t bch_btree_gc_finish(struct cache_set *);
  336. void bch_moving_gc(struct closure *);
  337. int bch_btree_check(struct cache_set *, struct btree_op *);
  338. uint8_t __bch_btree_mark_key(struct cache_set *, int, struct bkey *);
  339. void bch_keybuf_init(struct keybuf *, keybuf_pred_fn *);
  340. void bch_refill_keybuf(struct cache_set *, struct keybuf *, struct bkey *);
  341. bool bch_keybuf_check_overlapping(struct keybuf *, struct bkey *,
  342. struct bkey *);
  343. void bch_keybuf_del(struct keybuf *, struct keybuf_key *);
  344. struct keybuf_key *bch_keybuf_next(struct keybuf *);
  345. struct keybuf_key *bch_keybuf_next_rescan(struct cache_set *,
  346. struct keybuf *, struct bkey *);
  347. #endif