extent_map.c 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593
  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_CACHED;
  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_cached *root, struct extent_map *em)
  84. {
  85. struct rb_node **p = &root->rb_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. bool leftmost = true;
  91. while (*p) {
  92. parent = *p;
  93. entry = rb_entry(parent, struct extent_map, rb_node);
  94. if (em->start < entry->start) {
  95. p = &(*p)->rb_left;
  96. } else if (em->start >= extent_map_end(entry)) {
  97. p = &(*p)->rb_right;
  98. leftmost = false;
  99. } else {
  100. return -EEXIST;
  101. }
  102. }
  103. orig_parent = parent;
  104. while (parent && em->start >= extent_map_end(entry)) {
  105. parent = rb_next(parent);
  106. entry = rb_entry(parent, struct extent_map, rb_node);
  107. }
  108. if (parent)
  109. if (end > entry->start && em->start < extent_map_end(entry))
  110. return -EEXIST;
  111. parent = orig_parent;
  112. entry = rb_entry(parent, struct extent_map, rb_node);
  113. while (parent && em->start < entry->start) {
  114. parent = rb_prev(parent);
  115. entry = rb_entry(parent, struct extent_map, rb_node);
  116. }
  117. if (parent)
  118. if (end > entry->start && em->start < extent_map_end(entry))
  119. return -EEXIST;
  120. rb_link_node(&em->rb_node, orig_parent, p);
  121. rb_insert_color_cached(&em->rb_node, root, leftmost);
  122. return 0;
  123. }
  124. /*
  125. * search through the tree for an extent_map with a given offset. If
  126. * it can't be found, try to find some neighboring extents
  127. */
  128. static struct rb_node *__tree_search(struct rb_root *root, u64 offset,
  129. struct rb_node **prev_ret,
  130. struct rb_node **next_ret)
  131. {
  132. struct rb_node *n = root->rb_node;
  133. struct rb_node *prev = NULL;
  134. struct rb_node *orig_prev = NULL;
  135. struct extent_map *entry;
  136. struct extent_map *prev_entry = NULL;
  137. while (n) {
  138. entry = rb_entry(n, struct extent_map, rb_node);
  139. prev = n;
  140. prev_entry = entry;
  141. if (offset < entry->start)
  142. n = n->rb_left;
  143. else if (offset >= extent_map_end(entry))
  144. n = n->rb_right;
  145. else
  146. return n;
  147. }
  148. if (prev_ret) {
  149. orig_prev = prev;
  150. while (prev && offset >= extent_map_end(prev_entry)) {
  151. prev = rb_next(prev);
  152. prev_entry = rb_entry(prev, struct extent_map, rb_node);
  153. }
  154. *prev_ret = prev;
  155. prev = orig_prev;
  156. }
  157. if (next_ret) {
  158. prev_entry = rb_entry(prev, struct extent_map, rb_node);
  159. while (prev && offset < prev_entry->start) {
  160. prev = rb_prev(prev);
  161. prev_entry = rb_entry(prev, struct extent_map, rb_node);
  162. }
  163. *next_ret = prev;
  164. }
  165. return NULL;
  166. }
  167. /* check to see if two extent_map structs are adjacent and safe to merge */
  168. static int mergable_maps(struct extent_map *prev, struct extent_map *next)
  169. {
  170. if (test_bit(EXTENT_FLAG_PINNED, &prev->flags))
  171. return 0;
  172. /*
  173. * don't merge compressed extents, we need to know their
  174. * actual size
  175. */
  176. if (test_bit(EXTENT_FLAG_COMPRESSED, &prev->flags))
  177. return 0;
  178. if (test_bit(EXTENT_FLAG_LOGGING, &prev->flags) ||
  179. test_bit(EXTENT_FLAG_LOGGING, &next->flags))
  180. return 0;
  181. /*
  182. * We don't want to merge stuff that hasn't been written to the log yet
  183. * since it may not reflect exactly what is on disk, and that would be
  184. * bad.
  185. */
  186. if (!list_empty(&prev->list) || !list_empty(&next->list))
  187. return 0;
  188. if (extent_map_end(prev) == next->start &&
  189. prev->flags == next->flags &&
  190. prev->bdev == next->bdev &&
  191. ((next->block_start == EXTENT_MAP_HOLE &&
  192. prev->block_start == EXTENT_MAP_HOLE) ||
  193. (next->block_start == EXTENT_MAP_INLINE &&
  194. prev->block_start == EXTENT_MAP_INLINE) ||
  195. (next->block_start == EXTENT_MAP_DELALLOC &&
  196. prev->block_start == EXTENT_MAP_DELALLOC) ||
  197. (next->block_start < EXTENT_MAP_LAST_BYTE - 1 &&
  198. next->block_start == extent_map_block_end(prev)))) {
  199. return 1;
  200. }
  201. return 0;
  202. }
  203. static void try_merge_map(struct extent_map_tree *tree, struct extent_map *em)
  204. {
  205. struct extent_map *merge = NULL;
  206. struct rb_node *rb;
  207. if (em->start != 0) {
  208. rb = rb_prev(&em->rb_node);
  209. if (rb)
  210. merge = rb_entry(rb, struct extent_map, rb_node);
  211. if (rb && mergable_maps(merge, em)) {
  212. em->start = merge->start;
  213. em->orig_start = merge->orig_start;
  214. em->len += merge->len;
  215. em->block_len += merge->block_len;
  216. em->block_start = merge->block_start;
  217. em->mod_len = (em->mod_len + em->mod_start) - merge->mod_start;
  218. em->mod_start = merge->mod_start;
  219. em->generation = max(em->generation, merge->generation);
  220. rb_erase_cached(&merge->rb_node, &tree->map);
  221. RB_CLEAR_NODE(&merge->rb_node);
  222. free_extent_map(merge);
  223. }
  224. }
  225. rb = rb_next(&em->rb_node);
  226. if (rb)
  227. merge = rb_entry(rb, struct extent_map, rb_node);
  228. if (rb && mergable_maps(em, merge)) {
  229. em->len += merge->len;
  230. em->block_len += merge->block_len;
  231. rb_erase_cached(&merge->rb_node, &tree->map);
  232. RB_CLEAR_NODE(&merge->rb_node);
  233. em->mod_len = (merge->mod_start + merge->mod_len) - em->mod_start;
  234. em->generation = max(em->generation, merge->generation);
  235. free_extent_map(merge);
  236. }
  237. }
  238. /**
  239. * unpin_extent_cache - unpin an extent from the cache
  240. * @tree: tree to unpin the extent in
  241. * @start: logical offset in the file
  242. * @len: length of the extent
  243. * @gen: generation that this extent has been modified in
  244. *
  245. * Called after an extent has been written to disk properly. Set the generation
  246. * to the generation that actually added the file item to the inode so we know
  247. * we need to sync this extent when we call fsync().
  248. */
  249. int unpin_extent_cache(struct extent_map_tree *tree, u64 start, u64 len,
  250. u64 gen)
  251. {
  252. int ret = 0;
  253. struct extent_map *em;
  254. bool prealloc = false;
  255. write_lock(&tree->lock);
  256. em = lookup_extent_mapping(tree, start, len);
  257. WARN_ON(!em || em->start != start);
  258. if (!em)
  259. goto out;
  260. em->generation = gen;
  261. clear_bit(EXTENT_FLAG_PINNED, &em->flags);
  262. em->mod_start = em->start;
  263. em->mod_len = em->len;
  264. if (test_bit(EXTENT_FLAG_FILLING, &em->flags)) {
  265. prealloc = true;
  266. clear_bit(EXTENT_FLAG_FILLING, &em->flags);
  267. }
  268. try_merge_map(tree, em);
  269. if (prealloc) {
  270. em->mod_start = em->start;
  271. em->mod_len = em->len;
  272. }
  273. free_extent_map(em);
  274. out:
  275. write_unlock(&tree->lock);
  276. return ret;
  277. }
  278. void clear_em_logging(struct extent_map_tree *tree, struct extent_map *em)
  279. {
  280. clear_bit(EXTENT_FLAG_LOGGING, &em->flags);
  281. if (extent_map_in_tree(em))
  282. try_merge_map(tree, em);
  283. }
  284. static inline void setup_extent_mapping(struct extent_map_tree *tree,
  285. struct extent_map *em,
  286. int modified)
  287. {
  288. refcount_inc(&em->refs);
  289. em->mod_start = em->start;
  290. em->mod_len = em->len;
  291. if (modified)
  292. list_move(&em->list, &tree->modified_extents);
  293. else
  294. try_merge_map(tree, em);
  295. }
  296. /**
  297. * add_extent_mapping - add new extent map to the extent tree
  298. * @tree: tree to insert new map in
  299. * @em: map to insert
  300. *
  301. * Insert @em into @tree or perform a simple forward/backward merge with
  302. * existing mappings. The extent_map struct passed in will be inserted
  303. * into the tree directly, with an additional reference taken, or a
  304. * reference dropped if the merge attempt was successful.
  305. */
  306. int add_extent_mapping(struct extent_map_tree *tree,
  307. struct extent_map *em, int modified)
  308. {
  309. int ret = 0;
  310. ret = tree_insert(&tree->map, em);
  311. if (ret)
  312. goto out;
  313. setup_extent_mapping(tree, em, modified);
  314. out:
  315. return ret;
  316. }
  317. static struct extent_map *
  318. __lookup_extent_mapping(struct extent_map_tree *tree,
  319. u64 start, u64 len, int strict)
  320. {
  321. struct extent_map *em;
  322. struct rb_node *rb_node;
  323. struct rb_node *prev = NULL;
  324. struct rb_node *next = NULL;
  325. u64 end = range_end(start, len);
  326. rb_node = __tree_search(&tree->map.rb_root, start, &prev, &next);
  327. if (!rb_node) {
  328. if (prev)
  329. rb_node = prev;
  330. else if (next)
  331. rb_node = next;
  332. else
  333. return NULL;
  334. }
  335. em = rb_entry(rb_node, struct extent_map, rb_node);
  336. if (strict && !(end > em->start && start < extent_map_end(em)))
  337. return NULL;
  338. refcount_inc(&em->refs);
  339. return em;
  340. }
  341. /**
  342. * lookup_extent_mapping - lookup extent_map
  343. * @tree: tree to lookup in
  344. * @start: byte offset to start the search
  345. * @len: length of the lookup range
  346. *
  347. * Find and return the first extent_map struct in @tree that intersects the
  348. * [start, len] range. There may be additional objects in the tree that
  349. * intersect, so check the object returned carefully to make sure that no
  350. * additional lookups are needed.
  351. */
  352. struct extent_map *lookup_extent_mapping(struct extent_map_tree *tree,
  353. u64 start, u64 len)
  354. {
  355. return __lookup_extent_mapping(tree, start, len, 1);
  356. }
  357. /**
  358. * search_extent_mapping - find a nearby extent map
  359. * @tree: tree to lookup in
  360. * @start: byte offset to start the search
  361. * @len: length of the lookup range
  362. *
  363. * Find and return the first extent_map struct in @tree that intersects the
  364. * [start, len] range.
  365. *
  366. * If one can't be found, any nearby extent may be returned
  367. */
  368. struct extent_map *search_extent_mapping(struct extent_map_tree *tree,
  369. u64 start, u64 len)
  370. {
  371. return __lookup_extent_mapping(tree, start, len, 0);
  372. }
  373. /**
  374. * remove_extent_mapping - removes an extent_map from the extent tree
  375. * @tree: extent tree to remove from
  376. * @em: extent map being removed
  377. *
  378. * Removes @em from @tree. No reference counts are dropped, and no checks
  379. * are done to see if the range is in use
  380. */
  381. void remove_extent_mapping(struct extent_map_tree *tree, struct extent_map *em)
  382. {
  383. WARN_ON(test_bit(EXTENT_FLAG_PINNED, &em->flags));
  384. rb_erase_cached(&em->rb_node, &tree->map);
  385. if (!test_bit(EXTENT_FLAG_LOGGING, &em->flags))
  386. list_del_init(&em->list);
  387. RB_CLEAR_NODE(&em->rb_node);
  388. }
  389. void replace_extent_mapping(struct extent_map_tree *tree,
  390. struct extent_map *cur,
  391. struct extent_map *new,
  392. int modified)
  393. {
  394. WARN_ON(test_bit(EXTENT_FLAG_PINNED, &cur->flags));
  395. ASSERT(extent_map_in_tree(cur));
  396. if (!test_bit(EXTENT_FLAG_LOGGING, &cur->flags))
  397. list_del_init(&cur->list);
  398. rb_replace_node_cached(&cur->rb_node, &new->rb_node, &tree->map);
  399. RB_CLEAR_NODE(&cur->rb_node);
  400. setup_extent_mapping(tree, new, modified);
  401. }
  402. static struct extent_map *next_extent_map(struct extent_map *em)
  403. {
  404. struct rb_node *next;
  405. next = rb_next(&em->rb_node);
  406. if (!next)
  407. return NULL;
  408. return container_of(next, struct extent_map, rb_node);
  409. }
  410. static struct extent_map *prev_extent_map(struct extent_map *em)
  411. {
  412. struct rb_node *prev;
  413. prev = rb_prev(&em->rb_node);
  414. if (!prev)
  415. return NULL;
  416. return container_of(prev, struct extent_map, rb_node);
  417. }
  418. /* helper for btfs_get_extent. Given an existing extent in the tree,
  419. * the existing extent is the nearest extent to map_start,
  420. * and an extent that you want to insert, deal with overlap and insert
  421. * the best fitted new extent into the tree.
  422. */
  423. static noinline int merge_extent_mapping(struct extent_map_tree *em_tree,
  424. struct extent_map *existing,
  425. struct extent_map *em,
  426. u64 map_start)
  427. {
  428. struct extent_map *prev;
  429. struct extent_map *next;
  430. u64 start;
  431. u64 end;
  432. u64 start_diff;
  433. BUG_ON(map_start < em->start || map_start >= extent_map_end(em));
  434. if (existing->start > map_start) {
  435. next = existing;
  436. prev = prev_extent_map(next);
  437. } else {
  438. prev = existing;
  439. next = next_extent_map(prev);
  440. }
  441. start = prev ? extent_map_end(prev) : em->start;
  442. start = max_t(u64, start, em->start);
  443. end = next ? next->start : extent_map_end(em);
  444. end = min_t(u64, end, extent_map_end(em));
  445. start_diff = start - em->start;
  446. em->start = start;
  447. em->len = end - start;
  448. if (em->block_start < EXTENT_MAP_LAST_BYTE &&
  449. !test_bit(EXTENT_FLAG_COMPRESSED, &em->flags)) {
  450. em->block_start += start_diff;
  451. em->block_len = em->len;
  452. }
  453. return add_extent_mapping(em_tree, em, 0);
  454. }
  455. /**
  456. * btrfs_add_extent_mapping - add extent mapping into em_tree
  457. * @fs_info - used for tracepoint
  458. * @em_tree - the extent tree into which we want to insert the extent mapping
  459. * @em_in - extent we are inserting
  460. * @start - start of the logical range btrfs_get_extent() is requesting
  461. * @len - length of the logical range btrfs_get_extent() is requesting
  462. *
  463. * Note that @em_in's range may be different from [start, start+len),
  464. * but they must be overlapped.
  465. *
  466. * Insert @em_in into @em_tree. In case there is an overlapping range, handle
  467. * the -EEXIST by either:
  468. * a) Returning the existing extent in @em_in if @start is within the
  469. * existing em.
  470. * b) Merge the existing extent with @em_in passed in.
  471. *
  472. * Return 0 on success, otherwise -EEXIST.
  473. *
  474. */
  475. int btrfs_add_extent_mapping(struct btrfs_fs_info *fs_info,
  476. struct extent_map_tree *em_tree,
  477. struct extent_map **em_in, u64 start, u64 len)
  478. {
  479. int ret;
  480. struct extent_map *em = *em_in;
  481. ret = add_extent_mapping(em_tree, em, 0);
  482. /* it is possible that someone inserted the extent into the tree
  483. * while we had the lock dropped. It is also possible that
  484. * an overlapping map exists in the tree
  485. */
  486. if (ret == -EEXIST) {
  487. struct extent_map *existing;
  488. ret = 0;
  489. existing = search_extent_mapping(em_tree, start, len);
  490. trace_btrfs_handle_em_exist(fs_info, existing, em, start, len);
  491. /*
  492. * existing will always be non-NULL, since there must be
  493. * extent causing the -EEXIST.
  494. */
  495. if (start >= existing->start &&
  496. start < extent_map_end(existing)) {
  497. free_extent_map(em);
  498. *em_in = existing;
  499. ret = 0;
  500. } else {
  501. u64 orig_start = em->start;
  502. u64 orig_len = em->len;
  503. /*
  504. * The existing extent map is the one nearest to
  505. * the [start, start + len) range which overlaps
  506. */
  507. ret = merge_extent_mapping(em_tree, existing,
  508. em, start);
  509. if (ret) {
  510. free_extent_map(em);
  511. *em_in = NULL;
  512. WARN_ONCE(ret,
  513. "unexpected error %d: merge existing(start %llu len %llu) with em(start %llu len %llu)\n",
  514. ret, existing->start, existing->len,
  515. orig_start, orig_len);
  516. }
  517. free_extent_map(existing);
  518. }
  519. }
  520. ASSERT(ret == 0 || ret == -EEXIST);
  521. return ret;
  522. }