extent_map.c 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604
  1. // SPDX-License-Identifier: GPL-2.0
  2. #include <linux/err.h>
  3. #include <linux/slab.h>
  4. #include <linux/spinlock.h>
  5. #include "ctree.h"
  6. #include "extent_map.h"
  7. #include "compression.h"
  8. static struct kmem_cache *extent_map_cache;
  9. int __init extent_map_init(void)
  10. {
  11. extent_map_cache = kmem_cache_create("btrfs_extent_map",
  12. sizeof(struct extent_map), 0,
  13. SLAB_MEM_SPREAD, NULL);
  14. if (!extent_map_cache)
  15. return -ENOMEM;
  16. return 0;
  17. }
  18. void __cold extent_map_exit(void)
  19. {
  20. kmem_cache_destroy(extent_map_cache);
  21. }
  22. /**
  23. * extent_map_tree_init - initialize extent map tree
  24. * @tree: tree to initialize
  25. *
  26. * Initialize the extent tree @tree. Should be called for each new inode
  27. * or other user of the extent_map interface.
  28. */
  29. void extent_map_tree_init(struct extent_map_tree *tree)
  30. {
  31. tree->map = RB_ROOT;
  32. INIT_LIST_HEAD(&tree->modified_extents);
  33. rwlock_init(&tree->lock);
  34. }
  35. /**
  36. * alloc_extent_map - allocate new extent map structure
  37. *
  38. * Allocate a new extent_map structure. The new structure is
  39. * returned with a reference count of one and needs to be
  40. * freed using free_extent_map()
  41. */
  42. struct extent_map *alloc_extent_map(void)
  43. {
  44. struct extent_map *em;
  45. em = kmem_cache_zalloc(extent_map_cache, GFP_NOFS);
  46. if (!em)
  47. return NULL;
  48. RB_CLEAR_NODE(&em->rb_node);
  49. em->flags = 0;
  50. em->compress_type = BTRFS_COMPRESS_NONE;
  51. em->generation = 0;
  52. refcount_set(&em->refs, 1);
  53. INIT_LIST_HEAD(&em->list);
  54. return em;
  55. }
  56. /**
  57. * free_extent_map - drop reference count of an extent_map
  58. * @em: extent map being released
  59. *
  60. * Drops the reference out on @em by one and free the structure
  61. * if the reference count hits zero.
  62. */
  63. void free_extent_map(struct extent_map *em)
  64. {
  65. if (!em)
  66. return;
  67. WARN_ON(refcount_read(&em->refs) == 0);
  68. if (refcount_dec_and_test(&em->refs)) {
  69. WARN_ON(extent_map_in_tree(em));
  70. WARN_ON(!list_empty(&em->list));
  71. if (test_bit(EXTENT_FLAG_FS_MAPPING, &em->flags))
  72. kfree(em->map_lookup);
  73. kmem_cache_free(extent_map_cache, em);
  74. }
  75. }
  76. /* simple helper to do math around the end of an extent, handling wrap */
  77. static u64 range_end(u64 start, u64 len)
  78. {
  79. if (start + len < start)
  80. return (u64)-1;
  81. return start + len;
  82. }
  83. static int tree_insert(struct rb_root *root, struct extent_map *em)
  84. {
  85. struct rb_node **p = &root->rb_node;
  86. struct rb_node *parent = NULL;
  87. struct extent_map *entry = NULL;
  88. struct rb_node *orig_parent = NULL;
  89. u64 end = range_end(em->start, em->len);
  90. while (*p) {
  91. parent = *p;
  92. entry = rb_entry(parent, struct extent_map, rb_node);
  93. if (em->start < entry->start)
  94. p = &(*p)->rb_left;
  95. else if (em->start >= extent_map_end(entry))
  96. p = &(*p)->rb_right;
  97. else
  98. return -EEXIST;
  99. }
  100. orig_parent = parent;
  101. while (parent && em->start >= extent_map_end(entry)) {
  102. parent = rb_next(parent);
  103. entry = rb_entry(parent, struct extent_map, rb_node);
  104. }
  105. if (parent)
  106. if (end > entry->start && em->start < extent_map_end(entry))
  107. return -EEXIST;
  108. parent = orig_parent;
  109. entry = rb_entry(parent, struct extent_map, rb_node);
  110. while (parent && em->start < entry->start) {
  111. parent = rb_prev(parent);
  112. entry = rb_entry(parent, struct extent_map, rb_node);
  113. }
  114. if (parent)
  115. if (end > entry->start && em->start < extent_map_end(entry))
  116. return -EEXIST;
  117. rb_link_node(&em->rb_node, orig_parent, p);
  118. rb_insert_color(&em->rb_node, root);
  119. return 0;
  120. }
  121. /*
  122. * search through the tree for an extent_map with a given offset. If
  123. * it can't be found, try to find some neighboring extents
  124. */
  125. static struct rb_node *__tree_search(struct rb_root *root, u64 offset,
  126. struct rb_node **prev_ret,
  127. struct rb_node **next_ret)
  128. {
  129. struct rb_node *n = root->rb_node;
  130. struct rb_node *prev = NULL;
  131. struct rb_node *orig_prev = NULL;
  132. struct extent_map *entry;
  133. struct extent_map *prev_entry = NULL;
  134. while (n) {
  135. entry = rb_entry(n, struct extent_map, rb_node);
  136. prev = n;
  137. prev_entry = entry;
  138. if (offset < entry->start)
  139. n = n->rb_left;
  140. else if (offset >= extent_map_end(entry))
  141. n = n->rb_right;
  142. else
  143. return n;
  144. }
  145. if (prev_ret) {
  146. orig_prev = prev;
  147. while (prev && offset >= extent_map_end(prev_entry)) {
  148. prev = rb_next(prev);
  149. prev_entry = rb_entry(prev, struct extent_map, rb_node);
  150. }
  151. *prev_ret = prev;
  152. prev = orig_prev;
  153. }
  154. if (next_ret) {
  155. prev_entry = rb_entry(prev, struct extent_map, rb_node);
  156. while (prev && offset < prev_entry->start) {
  157. prev = rb_prev(prev);
  158. prev_entry = rb_entry(prev, struct extent_map, rb_node);
  159. }
  160. *next_ret = prev;
  161. }
  162. return NULL;
  163. }
  164. /* check to see if two extent_map structs are adjacent and safe to merge */
  165. static int mergable_maps(struct extent_map *prev, struct extent_map *next)
  166. {
  167. if (test_bit(EXTENT_FLAG_PINNED, &prev->flags))
  168. return 0;
  169. /*
  170. * don't merge compressed extents, we need to know their
  171. * actual size
  172. */
  173. if (test_bit(EXTENT_FLAG_COMPRESSED, &prev->flags))
  174. return 0;
  175. if (test_bit(EXTENT_FLAG_LOGGING, &prev->flags) ||
  176. test_bit(EXTENT_FLAG_LOGGING, &next->flags))
  177. return 0;
  178. /*
  179. * We don't want to merge stuff that hasn't been written to the log yet
  180. * since it may not reflect exactly what is on disk, and that would be
  181. * bad.
  182. */
  183. if (!list_empty(&prev->list) || !list_empty(&next->list))
  184. return 0;
  185. if (extent_map_end(prev) == next->start &&
  186. prev->flags == next->flags &&
  187. prev->bdev == next->bdev &&
  188. ((next->block_start == EXTENT_MAP_HOLE &&
  189. prev->block_start == EXTENT_MAP_HOLE) ||
  190. (next->block_start == EXTENT_MAP_INLINE &&
  191. prev->block_start == EXTENT_MAP_INLINE) ||
  192. (next->block_start == EXTENT_MAP_DELALLOC &&
  193. prev->block_start == EXTENT_MAP_DELALLOC) ||
  194. (next->block_start < EXTENT_MAP_LAST_BYTE - 1 &&
  195. next->block_start == extent_map_block_end(prev)))) {
  196. return 1;
  197. }
  198. return 0;
  199. }
  200. static void try_merge_map(struct extent_map_tree *tree, struct extent_map *em)
  201. {
  202. struct extent_map *merge = NULL;
  203. struct rb_node *rb;
  204. /*
  205. * We can't modify an extent map that is in the tree and that is being
  206. * used by another task, as it can cause that other task to see it in
  207. * inconsistent state during the merging. We always have 1 reference for
  208. * the tree and 1 for this task (which is unpinning the extent map or
  209. * clearing the logging flag), so anything > 2 means it's being used by
  210. * other tasks too.
  211. */
  212. if (refcount_read(&em->refs) > 2)
  213. return;
  214. if (em->start != 0) {
  215. rb = rb_prev(&em->rb_node);
  216. if (rb)
  217. merge = rb_entry(rb, struct extent_map, rb_node);
  218. if (rb && mergable_maps(merge, em)) {
  219. em->start = merge->start;
  220. em->orig_start = merge->orig_start;
  221. em->len += merge->len;
  222. em->block_len += merge->block_len;
  223. em->block_start = merge->block_start;
  224. em->mod_len = (em->mod_len + em->mod_start) - merge->mod_start;
  225. em->mod_start = merge->mod_start;
  226. em->generation = max(em->generation, merge->generation);
  227. rb_erase(&merge->rb_node, &tree->map);
  228. RB_CLEAR_NODE(&merge->rb_node);
  229. free_extent_map(merge);
  230. }
  231. }
  232. rb = rb_next(&em->rb_node);
  233. if (rb)
  234. merge = rb_entry(rb, struct extent_map, rb_node);
  235. if (rb && mergable_maps(em, merge)) {
  236. em->len += merge->len;
  237. em->block_len += merge->block_len;
  238. rb_erase(&merge->rb_node, &tree->map);
  239. RB_CLEAR_NODE(&merge->rb_node);
  240. em->mod_len = (merge->mod_start + merge->mod_len) - em->mod_start;
  241. em->generation = max(em->generation, merge->generation);
  242. free_extent_map(merge);
  243. }
  244. }
  245. /**
  246. * unpin_extent_cache - unpin an extent from the cache
  247. * @tree: tree to unpin the extent in
  248. * @start: logical offset in the file
  249. * @len: length of the extent
  250. * @gen: generation that this extent has been modified in
  251. *
  252. * Called after an extent has been written to disk properly. Set the generation
  253. * to the generation that actually added the file item to the inode so we know
  254. * we need to sync this extent when we call fsync().
  255. */
  256. int unpin_extent_cache(struct extent_map_tree *tree, u64 start, u64 len,
  257. u64 gen)
  258. {
  259. int ret = 0;
  260. struct extent_map *em;
  261. bool prealloc = false;
  262. write_lock(&tree->lock);
  263. em = lookup_extent_mapping(tree, start, len);
  264. WARN_ON(!em || em->start != start);
  265. if (!em)
  266. goto out;
  267. em->generation = gen;
  268. clear_bit(EXTENT_FLAG_PINNED, &em->flags);
  269. em->mod_start = em->start;
  270. em->mod_len = em->len;
  271. if (test_bit(EXTENT_FLAG_FILLING, &em->flags)) {
  272. prealloc = true;
  273. clear_bit(EXTENT_FLAG_FILLING, &em->flags);
  274. }
  275. try_merge_map(tree, em);
  276. if (prealloc) {
  277. em->mod_start = em->start;
  278. em->mod_len = em->len;
  279. }
  280. free_extent_map(em);
  281. out:
  282. write_unlock(&tree->lock);
  283. return ret;
  284. }
  285. void clear_em_logging(struct extent_map_tree *tree, struct extent_map *em)
  286. {
  287. clear_bit(EXTENT_FLAG_LOGGING, &em->flags);
  288. if (extent_map_in_tree(em))
  289. try_merge_map(tree, em);
  290. }
  291. static inline void setup_extent_mapping(struct extent_map_tree *tree,
  292. struct extent_map *em,
  293. int modified)
  294. {
  295. refcount_inc(&em->refs);
  296. em->mod_start = em->start;
  297. em->mod_len = em->len;
  298. if (modified)
  299. list_move(&em->list, &tree->modified_extents);
  300. else
  301. try_merge_map(tree, em);
  302. }
  303. /**
  304. * add_extent_mapping - add new extent map to the extent tree
  305. * @tree: tree to insert new map in
  306. * @em: map to insert
  307. *
  308. * Insert @em into @tree or perform a simple forward/backward merge with
  309. * existing mappings. The extent_map struct passed in will be inserted
  310. * into the tree directly, with an additional reference taken, or a
  311. * reference dropped if the merge attempt was successful.
  312. */
  313. int add_extent_mapping(struct extent_map_tree *tree,
  314. struct extent_map *em, int modified)
  315. {
  316. int ret = 0;
  317. ret = tree_insert(&tree->map, em);
  318. if (ret)
  319. goto out;
  320. setup_extent_mapping(tree, em, modified);
  321. out:
  322. return ret;
  323. }
  324. static struct extent_map *
  325. __lookup_extent_mapping(struct extent_map_tree *tree,
  326. u64 start, u64 len, int strict)
  327. {
  328. struct extent_map *em;
  329. struct rb_node *rb_node;
  330. struct rb_node *prev = NULL;
  331. struct rb_node *next = NULL;
  332. u64 end = range_end(start, len);
  333. rb_node = __tree_search(&tree->map, start, &prev, &next);
  334. if (!rb_node) {
  335. if (prev)
  336. rb_node = prev;
  337. else if (next)
  338. rb_node = next;
  339. else
  340. return NULL;
  341. }
  342. em = rb_entry(rb_node, struct extent_map, rb_node);
  343. if (strict && !(end > em->start && start < extent_map_end(em)))
  344. return NULL;
  345. refcount_inc(&em->refs);
  346. return em;
  347. }
  348. /**
  349. * lookup_extent_mapping - lookup extent_map
  350. * @tree: tree to lookup in
  351. * @start: byte offset to start the search
  352. * @len: length of the lookup range
  353. *
  354. * Find and return the first extent_map struct in @tree that intersects the
  355. * [start, len] range. There may be additional objects in the tree that
  356. * intersect, so check the object returned carefully to make sure that no
  357. * additional lookups are needed.
  358. */
  359. struct extent_map *lookup_extent_mapping(struct extent_map_tree *tree,
  360. u64 start, u64 len)
  361. {
  362. return __lookup_extent_mapping(tree, start, len, 1);
  363. }
  364. /**
  365. * search_extent_mapping - find a nearby extent map
  366. * @tree: tree to lookup in
  367. * @start: byte offset to start the search
  368. * @len: length of the lookup range
  369. *
  370. * Find and return the first extent_map struct in @tree that intersects the
  371. * [start, len] range.
  372. *
  373. * If one can't be found, any nearby extent may be returned
  374. */
  375. struct extent_map *search_extent_mapping(struct extent_map_tree *tree,
  376. u64 start, u64 len)
  377. {
  378. return __lookup_extent_mapping(tree, start, len, 0);
  379. }
  380. /**
  381. * remove_extent_mapping - removes an extent_map from the extent tree
  382. * @tree: extent tree to remove from
  383. * @em: extent map being removed
  384. *
  385. * Removes @em from @tree. No reference counts are dropped, and no checks
  386. * are done to see if the range is in use
  387. */
  388. int remove_extent_mapping(struct extent_map_tree *tree, struct extent_map *em)
  389. {
  390. int ret = 0;
  391. WARN_ON(test_bit(EXTENT_FLAG_PINNED, &em->flags));
  392. rb_erase(&em->rb_node, &tree->map);
  393. if (!test_bit(EXTENT_FLAG_LOGGING, &em->flags))
  394. list_del_init(&em->list);
  395. RB_CLEAR_NODE(&em->rb_node);
  396. return ret;
  397. }
  398. void replace_extent_mapping(struct extent_map_tree *tree,
  399. struct extent_map *cur,
  400. struct extent_map *new,
  401. int modified)
  402. {
  403. WARN_ON(test_bit(EXTENT_FLAG_PINNED, &cur->flags));
  404. ASSERT(extent_map_in_tree(cur));
  405. if (!test_bit(EXTENT_FLAG_LOGGING, &cur->flags))
  406. list_del_init(&cur->list);
  407. rb_replace_node(&cur->rb_node, &new->rb_node, &tree->map);
  408. RB_CLEAR_NODE(&cur->rb_node);
  409. setup_extent_mapping(tree, new, modified);
  410. }
  411. static struct extent_map *next_extent_map(struct extent_map *em)
  412. {
  413. struct rb_node *next;
  414. next = rb_next(&em->rb_node);
  415. if (!next)
  416. return NULL;
  417. return container_of(next, struct extent_map, rb_node);
  418. }
  419. static struct extent_map *prev_extent_map(struct extent_map *em)
  420. {
  421. struct rb_node *prev;
  422. prev = rb_prev(&em->rb_node);
  423. if (!prev)
  424. return NULL;
  425. return container_of(prev, struct extent_map, rb_node);
  426. }
  427. /* helper for btfs_get_extent. Given an existing extent in the tree,
  428. * the existing extent is the nearest extent to map_start,
  429. * and an extent that you want to insert, deal with overlap and insert
  430. * the best fitted new extent into the tree.
  431. */
  432. static noinline int merge_extent_mapping(struct extent_map_tree *em_tree,
  433. struct extent_map *existing,
  434. struct extent_map *em,
  435. u64 map_start)
  436. {
  437. struct extent_map *prev;
  438. struct extent_map *next;
  439. u64 start;
  440. u64 end;
  441. u64 start_diff;
  442. BUG_ON(map_start < em->start || map_start >= extent_map_end(em));
  443. if (existing->start > map_start) {
  444. next = existing;
  445. prev = prev_extent_map(next);
  446. } else {
  447. prev = existing;
  448. next = next_extent_map(prev);
  449. }
  450. start = prev ? extent_map_end(prev) : em->start;
  451. start = max_t(u64, start, em->start);
  452. end = next ? next->start : extent_map_end(em);
  453. end = min_t(u64, end, extent_map_end(em));
  454. start_diff = start - em->start;
  455. em->start = start;
  456. em->len = end - start;
  457. if (em->block_start < EXTENT_MAP_LAST_BYTE &&
  458. !test_bit(EXTENT_FLAG_COMPRESSED, &em->flags)) {
  459. em->block_start += start_diff;
  460. em->block_len = em->len;
  461. }
  462. return add_extent_mapping(em_tree, em, 0);
  463. }
  464. /**
  465. * btrfs_add_extent_mapping - add extent mapping into em_tree
  466. * @fs_info - used for tracepoint
  467. * @em_tree - the extent tree into which we want to insert the extent mapping
  468. * @em_in - extent we are inserting
  469. * @start - start of the logical range btrfs_get_extent() is requesting
  470. * @len - length of the logical range btrfs_get_extent() is requesting
  471. *
  472. * Note that @em_in's range may be different from [start, start+len),
  473. * but they must be overlapped.
  474. *
  475. * Insert @em_in into @em_tree. In case there is an overlapping range, handle
  476. * the -EEXIST by either:
  477. * a) Returning the existing extent in @em_in if @start is within the
  478. * existing em.
  479. * b) Merge the existing extent with @em_in passed in.
  480. *
  481. * Return 0 on success, otherwise -EEXIST.
  482. *
  483. */
  484. int btrfs_add_extent_mapping(struct btrfs_fs_info *fs_info,
  485. struct extent_map_tree *em_tree,
  486. struct extent_map **em_in, u64 start, u64 len)
  487. {
  488. int ret;
  489. struct extent_map *em = *em_in;
  490. ret = add_extent_mapping(em_tree, em, 0);
  491. /* it is possible that someone inserted the extent into the tree
  492. * while we had the lock dropped. It is also possible that
  493. * an overlapping map exists in the tree
  494. */
  495. if (ret == -EEXIST) {
  496. struct extent_map *existing;
  497. ret = 0;
  498. existing = search_extent_mapping(em_tree, start, len);
  499. trace_btrfs_handle_em_exist(fs_info, existing, em, start, len);
  500. /*
  501. * existing will always be non-NULL, since there must be
  502. * extent causing the -EEXIST.
  503. */
  504. if (start >= existing->start &&
  505. start < extent_map_end(existing)) {
  506. free_extent_map(em);
  507. *em_in = existing;
  508. ret = 0;
  509. } else {
  510. u64 orig_start = em->start;
  511. u64 orig_len = em->len;
  512. /*
  513. * The existing extent map is the one nearest to
  514. * the [start, start + len) range which overlaps
  515. */
  516. ret = merge_extent_mapping(em_tree, existing,
  517. em, start);
  518. if (ret) {
  519. free_extent_map(em);
  520. *em_in = NULL;
  521. WARN_ONCE(ret,
  522. "unexpected error %d: merge existing(start %llu len %llu) with em(start %llu len %llu)\n",
  523. ret, existing->start, existing->len,
  524. orig_start, orig_len);
  525. }
  526. free_extent_map(existing);
  527. }
  528. }
  529. ASSERT(ret == 0 || ret == -EEXIST);
  530. return ret;
  531. }