extent_map.c 15 KB

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