ordered-data.c 39 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348
  1. // SPDX-License-Identifier: GPL-2.0
  2. /*
  3. * Copyright (C) 2007 Oracle. All rights reserved.
  4. */
  5. #include <linux/slab.h>
  6. #include <linux/blkdev.h>
  7. #include <linux/writeback.h>
  8. #include <linux/sched/mm.h>
  9. #include "messages.h"
  10. #include "misc.h"
  11. #include "ctree.h"
  12. #include "transaction.h"
  13. #include "btrfs_inode.h"
  14. #include "extent_io.h"
  15. #include "disk-io.h"
  16. #include "compression.h"
  17. #include "delalloc-space.h"
  18. #include "qgroup.h"
  19. #include "subpage.h"
  20. #include "file.h"
  21. #include "block-group.h"
  22. static struct kmem_cache *btrfs_ordered_extent_cache;
  23. static u64 entry_end(struct btrfs_ordered_extent *entry)
  24. {
  25. if (entry->file_offset + entry->num_bytes < entry->file_offset)
  26. return (u64)-1;
  27. return entry->file_offset + entry->num_bytes;
  28. }
  29. /* returns NULL if the insertion worked, or it returns the node it did find
  30. * in the tree
  31. */
  32. static struct rb_node *tree_insert(struct rb_root *root, u64 file_offset,
  33. struct rb_node *node)
  34. {
  35. struct rb_node **p = &root->rb_node;
  36. struct rb_node *parent = NULL;
  37. struct btrfs_ordered_extent *entry;
  38. while (*p) {
  39. parent = *p;
  40. entry = rb_entry(parent, struct btrfs_ordered_extent, rb_node);
  41. if (file_offset < entry->file_offset)
  42. p = &(*p)->rb_left;
  43. else if (file_offset >= entry_end(entry))
  44. p = &(*p)->rb_right;
  45. else
  46. return parent;
  47. }
  48. rb_link_node(node, parent, p);
  49. rb_insert_color(node, root);
  50. return NULL;
  51. }
  52. /*
  53. * look for a given offset in the tree, and if it can't be found return the
  54. * first lesser offset
  55. */
  56. static struct rb_node *__tree_search(struct rb_root *root, u64 file_offset,
  57. struct rb_node **prev_ret)
  58. {
  59. struct rb_node *n = root->rb_node;
  60. struct rb_node *prev = NULL;
  61. struct rb_node *test;
  62. struct btrfs_ordered_extent *entry;
  63. struct btrfs_ordered_extent *prev_entry = NULL;
  64. while (n) {
  65. entry = rb_entry(n, struct btrfs_ordered_extent, rb_node);
  66. prev = n;
  67. prev_entry = entry;
  68. if (file_offset < entry->file_offset)
  69. n = n->rb_left;
  70. else if (file_offset >= entry_end(entry))
  71. n = n->rb_right;
  72. else
  73. return n;
  74. }
  75. if (!prev_ret)
  76. return NULL;
  77. while (prev && file_offset >= entry_end(prev_entry)) {
  78. test = rb_next(prev);
  79. if (!test)
  80. break;
  81. prev_entry = rb_entry(test, struct btrfs_ordered_extent,
  82. rb_node);
  83. if (file_offset < entry_end(prev_entry))
  84. break;
  85. prev = test;
  86. }
  87. if (prev)
  88. prev_entry = rb_entry(prev, struct btrfs_ordered_extent,
  89. rb_node);
  90. while (prev && file_offset < entry_end(prev_entry)) {
  91. test = rb_prev(prev);
  92. if (!test)
  93. break;
  94. prev_entry = rb_entry(test, struct btrfs_ordered_extent,
  95. rb_node);
  96. prev = test;
  97. }
  98. *prev_ret = prev;
  99. return NULL;
  100. }
  101. static int range_overlaps(struct btrfs_ordered_extent *entry, u64 file_offset,
  102. u64 len)
  103. {
  104. if (file_offset + len <= entry->file_offset ||
  105. entry->file_offset + entry->num_bytes <= file_offset)
  106. return 0;
  107. return 1;
  108. }
  109. /*
  110. * look find the first ordered struct that has this offset, otherwise
  111. * the first one less than this offset
  112. */
  113. static inline struct rb_node *ordered_tree_search(struct btrfs_inode *inode,
  114. u64 file_offset)
  115. {
  116. struct rb_node *prev = NULL;
  117. struct rb_node *ret;
  118. struct btrfs_ordered_extent *entry;
  119. if (inode->ordered_tree_last) {
  120. entry = rb_entry(inode->ordered_tree_last, struct btrfs_ordered_extent,
  121. rb_node);
  122. if (in_range(file_offset, entry->file_offset, entry->num_bytes))
  123. return inode->ordered_tree_last;
  124. }
  125. ret = __tree_search(&inode->ordered_tree, file_offset, &prev);
  126. if (!ret)
  127. ret = prev;
  128. if (ret)
  129. inode->ordered_tree_last = ret;
  130. return ret;
  131. }
  132. static struct btrfs_ordered_extent *alloc_ordered_extent(
  133. struct btrfs_inode *inode, u64 file_offset, u64 num_bytes,
  134. u64 ram_bytes, u64 disk_bytenr, u64 disk_num_bytes,
  135. u64 offset, unsigned long flags, int compress_type)
  136. {
  137. struct btrfs_ordered_extent *entry;
  138. int ret;
  139. u64 qgroup_rsv = 0;
  140. const bool is_nocow = (flags &
  141. ((1U << BTRFS_ORDERED_NOCOW) | (1U << BTRFS_ORDERED_PREALLOC)));
  142. if (is_nocow) {
  143. /* For nocow write, we can release the qgroup rsv right now */
  144. ret = btrfs_qgroup_free_data(inode, NULL, file_offset, num_bytes, &qgroup_rsv);
  145. if (ret < 0)
  146. return ERR_PTR(ret);
  147. } else {
  148. /*
  149. * The ordered extent has reserved qgroup space, release now
  150. * and pass the reserved number for qgroup_record to free.
  151. */
  152. ret = btrfs_qgroup_release_data(inode, file_offset, num_bytes, &qgroup_rsv);
  153. if (ret < 0)
  154. return ERR_PTR(ret);
  155. }
  156. entry = kmem_cache_zalloc(btrfs_ordered_extent_cache, GFP_NOFS);
  157. if (!entry) {
  158. if (!is_nocow)
  159. btrfs_qgroup_free_refroot(inode->root->fs_info,
  160. btrfs_root_id(inode->root),
  161. qgroup_rsv, BTRFS_QGROUP_RSV_DATA);
  162. return ERR_PTR(-ENOMEM);
  163. }
  164. entry->file_offset = file_offset;
  165. entry->num_bytes = num_bytes;
  166. entry->ram_bytes = ram_bytes;
  167. entry->disk_bytenr = disk_bytenr;
  168. entry->disk_num_bytes = disk_num_bytes;
  169. entry->offset = offset;
  170. entry->bytes_left = num_bytes;
  171. entry->inode = BTRFS_I(igrab(&inode->vfs_inode));
  172. entry->compress_type = compress_type;
  173. entry->truncated_len = (u64)-1;
  174. entry->qgroup_rsv = qgroup_rsv;
  175. entry->flags = flags;
  176. refcount_set(&entry->refs, 1);
  177. init_waitqueue_head(&entry->wait);
  178. INIT_LIST_HEAD(&entry->list);
  179. INIT_LIST_HEAD(&entry->log_list);
  180. INIT_LIST_HEAD(&entry->root_extent_list);
  181. INIT_LIST_HEAD(&entry->work_list);
  182. INIT_LIST_HEAD(&entry->bioc_list);
  183. init_completion(&entry->completion);
  184. /*
  185. * We don't need the count_max_extents here, we can assume that all of
  186. * that work has been done at higher layers, so this is truly the
  187. * smallest the extent is going to get.
  188. */
  189. spin_lock(&inode->lock);
  190. btrfs_mod_outstanding_extents(inode, 1);
  191. spin_unlock(&inode->lock);
  192. return entry;
  193. }
  194. static void insert_ordered_extent(struct btrfs_ordered_extent *entry)
  195. {
  196. struct btrfs_inode *inode = entry->inode;
  197. struct btrfs_root *root = inode->root;
  198. struct btrfs_fs_info *fs_info = root->fs_info;
  199. struct rb_node *node;
  200. trace_btrfs_ordered_extent_add(inode, entry);
  201. percpu_counter_add_batch(&fs_info->ordered_bytes, entry->num_bytes,
  202. fs_info->delalloc_batch);
  203. /* One ref for the tree. */
  204. refcount_inc(&entry->refs);
  205. spin_lock_irq(&inode->ordered_tree_lock);
  206. node = tree_insert(&inode->ordered_tree, entry->file_offset,
  207. &entry->rb_node);
  208. if (unlikely(node))
  209. btrfs_panic(fs_info, -EEXIST,
  210. "inconsistency in ordered tree at offset %llu",
  211. entry->file_offset);
  212. spin_unlock_irq(&inode->ordered_tree_lock);
  213. spin_lock(&root->ordered_extent_lock);
  214. list_add_tail(&entry->root_extent_list,
  215. &root->ordered_extents);
  216. root->nr_ordered_extents++;
  217. if (root->nr_ordered_extents == 1) {
  218. spin_lock(&fs_info->ordered_root_lock);
  219. BUG_ON(!list_empty(&root->ordered_root));
  220. list_add_tail(&root->ordered_root, &fs_info->ordered_roots);
  221. spin_unlock(&fs_info->ordered_root_lock);
  222. }
  223. spin_unlock(&root->ordered_extent_lock);
  224. }
  225. /*
  226. * Add an ordered extent to the per-inode tree.
  227. *
  228. * @inode: Inode that this extent is for.
  229. * @file_offset: Logical offset in file where the extent starts.
  230. * @num_bytes: Logical length of extent in file.
  231. * @ram_bytes: Full length of unencoded data.
  232. * @disk_bytenr: Offset of extent on disk.
  233. * @disk_num_bytes: Size of extent on disk.
  234. * @offset: Offset into unencoded data where file data starts.
  235. * @flags: Flags specifying type of extent (1U << BTRFS_ORDERED_*).
  236. * @compress_type: Compression algorithm used for data.
  237. *
  238. * Most of these parameters correspond to &struct btrfs_file_extent_item. The
  239. * tree is given a single reference on the ordered extent that was inserted, and
  240. * the returned pointer is given a second reference.
  241. *
  242. * Return: the new ordered extent or error pointer.
  243. */
  244. struct btrfs_ordered_extent *btrfs_alloc_ordered_extent(
  245. struct btrfs_inode *inode, u64 file_offset,
  246. const struct btrfs_file_extent *file_extent, unsigned long flags)
  247. {
  248. struct btrfs_ordered_extent *entry;
  249. ASSERT((flags & ~BTRFS_ORDERED_TYPE_FLAGS) == 0);
  250. /*
  251. * For regular writes, we just use the members in @file_extent.
  252. *
  253. * For NOCOW, we don't really care about the numbers except @start and
  254. * file_extent->num_bytes, as we won't insert a file extent item at all.
  255. *
  256. * For PREALLOC, we do not use ordered extent members, but
  257. * btrfs_mark_extent_written() handles everything.
  258. *
  259. * So here we always pass 0 as offset for NOCOW/PREALLOC ordered extents,
  260. * or btrfs_split_ordered_extent() cannot handle it correctly.
  261. */
  262. if (flags & ((1U << BTRFS_ORDERED_NOCOW) | (1U << BTRFS_ORDERED_PREALLOC)))
  263. entry = alloc_ordered_extent(inode, file_offset,
  264. file_extent->num_bytes,
  265. file_extent->num_bytes,
  266. file_extent->disk_bytenr + file_extent->offset,
  267. file_extent->num_bytes, 0, flags,
  268. file_extent->compression);
  269. else
  270. entry = alloc_ordered_extent(inode, file_offset,
  271. file_extent->num_bytes,
  272. file_extent->ram_bytes,
  273. file_extent->disk_bytenr,
  274. file_extent->disk_num_bytes,
  275. file_extent->offset, flags,
  276. file_extent->compression);
  277. if (!IS_ERR(entry))
  278. insert_ordered_extent(entry);
  279. return entry;
  280. }
  281. /*
  282. * Add a struct btrfs_ordered_sum into the list of checksums to be inserted
  283. * when an ordered extent is finished. If the list covers more than one
  284. * ordered extent, it is split across multiples.
  285. */
  286. void btrfs_add_ordered_sum(struct btrfs_ordered_extent *entry,
  287. struct btrfs_ordered_sum *sum)
  288. {
  289. struct btrfs_inode *inode = entry->inode;
  290. spin_lock_irq(&inode->ordered_tree_lock);
  291. list_add_tail(&sum->list, &entry->list);
  292. spin_unlock_irq(&inode->ordered_tree_lock);
  293. }
  294. void btrfs_mark_ordered_extent_error(struct btrfs_ordered_extent *ordered)
  295. {
  296. if (!test_and_set_bit(BTRFS_ORDERED_IOERR, &ordered->flags))
  297. mapping_set_error(ordered->inode->vfs_inode.i_mapping, -EIO);
  298. }
  299. static void finish_ordered_fn(struct btrfs_work *work)
  300. {
  301. struct btrfs_ordered_extent *ordered_extent;
  302. ordered_extent = container_of(work, struct btrfs_ordered_extent, work);
  303. btrfs_finish_ordered_io(ordered_extent);
  304. }
  305. static bool can_finish_ordered_extent(struct btrfs_ordered_extent *ordered,
  306. struct folio *folio, u64 file_offset,
  307. u64 len, bool uptodate)
  308. {
  309. struct btrfs_inode *inode = ordered->inode;
  310. struct btrfs_fs_info *fs_info = inode->root->fs_info;
  311. lockdep_assert_held(&inode->ordered_tree_lock);
  312. if (folio) {
  313. ASSERT(folio->mapping);
  314. ASSERT(folio_pos(folio) <= file_offset);
  315. ASSERT(file_offset + len <= folio_pos(folio) + folio_size(folio));
  316. /*
  317. * Ordered (Private2) bit indicates whether we still have
  318. * pending io unfinished for the ordered extent.
  319. *
  320. * If there's no such bit, we need to skip to next range.
  321. */
  322. if (!btrfs_folio_test_ordered(fs_info, folio, file_offset, len))
  323. return false;
  324. btrfs_folio_clear_ordered(fs_info, folio, file_offset, len);
  325. }
  326. /* Now we're fine to update the accounting. */
  327. if (WARN_ON_ONCE(len > ordered->bytes_left)) {
  328. btrfs_crit(fs_info,
  329. "bad ordered extent accounting, root=%llu ino=%llu OE offset=%llu OE len=%llu to_dec=%llu left=%llu",
  330. btrfs_root_id(inode->root), btrfs_ino(inode),
  331. ordered->file_offset, ordered->num_bytes,
  332. len, ordered->bytes_left);
  333. ordered->bytes_left = 0;
  334. } else {
  335. ordered->bytes_left -= len;
  336. }
  337. if (!uptodate)
  338. set_bit(BTRFS_ORDERED_IOERR, &ordered->flags);
  339. if (ordered->bytes_left)
  340. return false;
  341. /*
  342. * All the IO of the ordered extent is finished, we need to queue
  343. * the finish_func to be executed.
  344. */
  345. set_bit(BTRFS_ORDERED_IO_DONE, &ordered->flags);
  346. cond_wake_up(&ordered->wait);
  347. refcount_inc(&ordered->refs);
  348. trace_btrfs_ordered_extent_mark_finished(inode, ordered);
  349. return true;
  350. }
  351. static void btrfs_queue_ordered_fn(struct btrfs_ordered_extent *ordered)
  352. {
  353. struct btrfs_inode *inode = ordered->inode;
  354. struct btrfs_fs_info *fs_info = inode->root->fs_info;
  355. struct btrfs_workqueue *wq = btrfs_is_free_space_inode(inode) ?
  356. fs_info->endio_freespace_worker : fs_info->endio_write_workers;
  357. btrfs_init_work(&ordered->work, finish_ordered_fn, NULL);
  358. btrfs_queue_work(wq, &ordered->work);
  359. }
  360. void btrfs_finish_ordered_extent(struct btrfs_ordered_extent *ordered,
  361. struct folio *folio, u64 file_offset, u64 len,
  362. bool uptodate)
  363. {
  364. struct btrfs_inode *inode = ordered->inode;
  365. unsigned long flags;
  366. bool ret;
  367. trace_btrfs_finish_ordered_extent(inode, file_offset, len, uptodate);
  368. spin_lock_irqsave(&inode->ordered_tree_lock, flags);
  369. ret = can_finish_ordered_extent(ordered, folio, file_offset, len,
  370. uptodate);
  371. spin_unlock_irqrestore(&inode->ordered_tree_lock, flags);
  372. /*
  373. * If this is a COW write it means we created new extent maps for the
  374. * range and they point to unwritten locations if we got an error either
  375. * before submitting a bio or during IO.
  376. *
  377. * We have marked the ordered extent with BTRFS_ORDERED_IOERR, and we
  378. * are queuing its completion below. During completion, at
  379. * btrfs_finish_one_ordered(), we will drop the extent maps for the
  380. * unwritten extents.
  381. *
  382. * However because completion runs in a work queue we can end up having
  383. * a fast fsync running before that. In the case of direct IO, once we
  384. * unlock the inode the fsync might start, and we queue the completion
  385. * before unlocking the inode. In the case of buffered IO when writeback
  386. * finishes (end_bbio_data_write()) we queue the completion, so if the
  387. * writeback was triggered by a fast fsync, the fsync might start
  388. * logging before ordered extent completion runs in the work queue.
  389. *
  390. * The fast fsync will log file extent items based on the extent maps it
  391. * finds, so if by the time it collects extent maps the ordered extent
  392. * completion didn't happen yet, it will log file extent items that
  393. * point to unwritten extents, resulting in a corruption if a crash
  394. * happens and the log tree is replayed. Note that a fast fsync does not
  395. * wait for completion of ordered extents in order to reduce latency.
  396. *
  397. * Set a flag in the inode so that the next fast fsync will wait for
  398. * ordered extents to complete before starting to log.
  399. */
  400. if (!uptodate && !test_bit(BTRFS_ORDERED_NOCOW, &ordered->flags))
  401. set_bit(BTRFS_INODE_COW_WRITE_ERROR, &inode->runtime_flags);
  402. if (ret)
  403. btrfs_queue_ordered_fn(ordered);
  404. }
  405. /*
  406. * Mark all ordered extents io inside the specified range finished.
  407. *
  408. * @folio: The involved folio for the operation.
  409. * For uncompressed buffered IO, the folio status also needs to be
  410. * updated to indicate whether the pending ordered io is finished.
  411. * Can be NULL for direct IO and compressed write.
  412. * For these cases, callers are ensured they won't execute the
  413. * endio function twice.
  414. *
  415. * This function is called for endio, thus the range must have ordered
  416. * extent(s) covering it.
  417. */
  418. void btrfs_mark_ordered_io_finished(struct btrfs_inode *inode,
  419. struct folio *folio, u64 file_offset,
  420. u64 num_bytes, bool uptodate)
  421. {
  422. struct rb_node *node;
  423. struct btrfs_ordered_extent *entry = NULL;
  424. unsigned long flags;
  425. u64 cur = file_offset;
  426. trace_btrfs_writepage_end_io_hook(inode, file_offset,
  427. file_offset + num_bytes - 1,
  428. uptodate);
  429. spin_lock_irqsave(&inode->ordered_tree_lock, flags);
  430. while (cur < file_offset + num_bytes) {
  431. u64 entry_end;
  432. u64 end;
  433. u32 len;
  434. node = ordered_tree_search(inode, cur);
  435. /* No ordered extents at all */
  436. if (!node)
  437. break;
  438. entry = rb_entry(node, struct btrfs_ordered_extent, rb_node);
  439. entry_end = entry->file_offset + entry->num_bytes;
  440. /*
  441. * |<-- OE --->| |
  442. * cur
  443. * Go to next OE.
  444. */
  445. if (cur >= entry_end) {
  446. node = rb_next(node);
  447. /* No more ordered extents, exit */
  448. if (!node)
  449. break;
  450. entry = rb_entry(node, struct btrfs_ordered_extent,
  451. rb_node);
  452. /* Go to next ordered extent and continue */
  453. cur = entry->file_offset;
  454. continue;
  455. }
  456. /*
  457. * | |<--- OE --->|
  458. * cur
  459. * Go to the start of OE.
  460. */
  461. if (cur < entry->file_offset) {
  462. cur = entry->file_offset;
  463. continue;
  464. }
  465. /*
  466. * Now we are definitely inside one ordered extent.
  467. *
  468. * |<--- OE --->|
  469. * |
  470. * cur
  471. */
  472. end = min(entry->file_offset + entry->num_bytes,
  473. file_offset + num_bytes) - 1;
  474. ASSERT(end + 1 - cur < U32_MAX);
  475. len = end + 1 - cur;
  476. if (can_finish_ordered_extent(entry, folio, cur, len, uptodate)) {
  477. spin_unlock_irqrestore(&inode->ordered_tree_lock, flags);
  478. btrfs_queue_ordered_fn(entry);
  479. spin_lock_irqsave(&inode->ordered_tree_lock, flags);
  480. }
  481. cur += len;
  482. }
  483. spin_unlock_irqrestore(&inode->ordered_tree_lock, flags);
  484. }
  485. /*
  486. * Finish IO for one ordered extent across a given range. The range can only
  487. * contain one ordered extent.
  488. *
  489. * @cached: The cached ordered extent. If not NULL, we can skip the tree
  490. * search and use the ordered extent directly.
  491. * Will be also used to store the finished ordered extent.
  492. * @file_offset: File offset for the finished IO
  493. * @io_size: Length of the finish IO range
  494. *
  495. * Return true if the ordered extent is finished in the range, and update
  496. * @cached.
  497. * Return false otherwise.
  498. *
  499. * NOTE: The range can NOT cross multiple ordered extents.
  500. * Thus caller should ensure the range doesn't cross ordered extents.
  501. */
  502. bool btrfs_dec_test_ordered_pending(struct btrfs_inode *inode,
  503. struct btrfs_ordered_extent **cached,
  504. u64 file_offset, u64 io_size)
  505. {
  506. struct rb_node *node;
  507. struct btrfs_ordered_extent *entry = NULL;
  508. unsigned long flags;
  509. bool finished = false;
  510. spin_lock_irqsave(&inode->ordered_tree_lock, flags);
  511. if (cached && *cached) {
  512. entry = *cached;
  513. goto have_entry;
  514. }
  515. node = ordered_tree_search(inode, file_offset);
  516. if (!node)
  517. goto out;
  518. entry = rb_entry(node, struct btrfs_ordered_extent, rb_node);
  519. have_entry:
  520. if (!in_range(file_offset, entry->file_offset, entry->num_bytes))
  521. goto out;
  522. if (io_size > entry->bytes_left)
  523. btrfs_crit(inode->root->fs_info,
  524. "bad ordered accounting left %llu size %llu",
  525. entry->bytes_left, io_size);
  526. entry->bytes_left -= io_size;
  527. if (entry->bytes_left == 0) {
  528. /*
  529. * Ensure only one caller can set the flag and finished_ret
  530. * accordingly
  531. */
  532. finished = !test_and_set_bit(BTRFS_ORDERED_IO_DONE, &entry->flags);
  533. /* test_and_set_bit implies a barrier */
  534. cond_wake_up_nomb(&entry->wait);
  535. }
  536. out:
  537. if (finished && cached && entry) {
  538. *cached = entry;
  539. refcount_inc(&entry->refs);
  540. trace_btrfs_ordered_extent_dec_test_pending(inode, entry);
  541. }
  542. spin_unlock_irqrestore(&inode->ordered_tree_lock, flags);
  543. return finished;
  544. }
  545. /*
  546. * used to drop a reference on an ordered extent. This will free
  547. * the extent if the last reference is dropped
  548. */
  549. void btrfs_put_ordered_extent(struct btrfs_ordered_extent *entry)
  550. {
  551. struct list_head *cur;
  552. struct btrfs_ordered_sum *sum;
  553. trace_btrfs_ordered_extent_put(entry->inode, entry);
  554. if (refcount_dec_and_test(&entry->refs)) {
  555. ASSERT(list_empty(&entry->root_extent_list));
  556. ASSERT(list_empty(&entry->log_list));
  557. ASSERT(RB_EMPTY_NODE(&entry->rb_node));
  558. if (entry->inode)
  559. btrfs_add_delayed_iput(entry->inode);
  560. while (!list_empty(&entry->list)) {
  561. cur = entry->list.next;
  562. sum = list_entry(cur, struct btrfs_ordered_sum, list);
  563. list_del(&sum->list);
  564. kvfree(sum);
  565. }
  566. kmem_cache_free(btrfs_ordered_extent_cache, entry);
  567. }
  568. }
  569. /*
  570. * remove an ordered extent from the tree. No references are dropped
  571. * and waiters are woken up.
  572. */
  573. void btrfs_remove_ordered_extent(struct btrfs_inode *btrfs_inode,
  574. struct btrfs_ordered_extent *entry)
  575. {
  576. struct btrfs_root *root = btrfs_inode->root;
  577. struct btrfs_fs_info *fs_info = root->fs_info;
  578. struct rb_node *node;
  579. bool pending;
  580. bool freespace_inode;
  581. /*
  582. * If this is a free space inode the thread has not acquired the ordered
  583. * extents lockdep map.
  584. */
  585. freespace_inode = btrfs_is_free_space_inode(btrfs_inode);
  586. btrfs_lockdep_acquire(fs_info, btrfs_trans_pending_ordered);
  587. /* This is paired with alloc_ordered_extent(). */
  588. spin_lock(&btrfs_inode->lock);
  589. btrfs_mod_outstanding_extents(btrfs_inode, -1);
  590. spin_unlock(&btrfs_inode->lock);
  591. if (root != fs_info->tree_root) {
  592. u64 release;
  593. if (test_bit(BTRFS_ORDERED_ENCODED, &entry->flags))
  594. release = entry->disk_num_bytes;
  595. else
  596. release = entry->num_bytes;
  597. btrfs_delalloc_release_metadata(btrfs_inode, release,
  598. test_bit(BTRFS_ORDERED_IOERR,
  599. &entry->flags));
  600. }
  601. percpu_counter_add_batch(&fs_info->ordered_bytes, -entry->num_bytes,
  602. fs_info->delalloc_batch);
  603. spin_lock_irq(&btrfs_inode->ordered_tree_lock);
  604. node = &entry->rb_node;
  605. rb_erase(node, &btrfs_inode->ordered_tree);
  606. RB_CLEAR_NODE(node);
  607. if (btrfs_inode->ordered_tree_last == node)
  608. btrfs_inode->ordered_tree_last = NULL;
  609. set_bit(BTRFS_ORDERED_COMPLETE, &entry->flags);
  610. pending = test_and_clear_bit(BTRFS_ORDERED_PENDING, &entry->flags);
  611. spin_unlock_irq(&btrfs_inode->ordered_tree_lock);
  612. /*
  613. * The current running transaction is waiting on us, we need to let it
  614. * know that we're complete and wake it up.
  615. */
  616. if (pending) {
  617. struct btrfs_transaction *trans;
  618. /*
  619. * The checks for trans are just a formality, it should be set,
  620. * but if it isn't we don't want to deref/assert under the spin
  621. * lock, so be nice and check if trans is set, but ASSERT() so
  622. * if it isn't set a developer will notice.
  623. */
  624. spin_lock(&fs_info->trans_lock);
  625. trans = fs_info->running_transaction;
  626. if (trans)
  627. refcount_inc(&trans->use_count);
  628. spin_unlock(&fs_info->trans_lock);
  629. ASSERT(trans || BTRFS_FS_ERROR(fs_info));
  630. if (trans) {
  631. if (atomic_dec_and_test(&trans->pending_ordered))
  632. wake_up(&trans->pending_wait);
  633. btrfs_put_transaction(trans);
  634. }
  635. }
  636. btrfs_lockdep_release(fs_info, btrfs_trans_pending_ordered);
  637. spin_lock(&root->ordered_extent_lock);
  638. list_del_init(&entry->root_extent_list);
  639. root->nr_ordered_extents--;
  640. trace_btrfs_ordered_extent_remove(btrfs_inode, entry);
  641. if (!root->nr_ordered_extents) {
  642. spin_lock(&fs_info->ordered_root_lock);
  643. BUG_ON(list_empty(&root->ordered_root));
  644. list_del_init(&root->ordered_root);
  645. spin_unlock(&fs_info->ordered_root_lock);
  646. }
  647. spin_unlock(&root->ordered_extent_lock);
  648. wake_up(&entry->wait);
  649. if (!freespace_inode)
  650. btrfs_lockdep_release(fs_info, btrfs_ordered_extent);
  651. }
  652. static void btrfs_run_ordered_extent_work(struct btrfs_work *work)
  653. {
  654. struct btrfs_ordered_extent *ordered;
  655. ordered = container_of(work, struct btrfs_ordered_extent, flush_work);
  656. btrfs_start_ordered_extent(ordered);
  657. complete(&ordered->completion);
  658. }
  659. /*
  660. * Wait for all the ordered extents in a root. Use @bg as range or do whole
  661. * range if it's NULL.
  662. */
  663. u64 btrfs_wait_ordered_extents(struct btrfs_root *root, u64 nr,
  664. const struct btrfs_block_group *bg)
  665. {
  666. struct btrfs_fs_info *fs_info = root->fs_info;
  667. LIST_HEAD(splice);
  668. LIST_HEAD(skipped);
  669. LIST_HEAD(works);
  670. struct btrfs_ordered_extent *ordered, *next;
  671. u64 count = 0;
  672. u64 range_start, range_len;
  673. u64 range_end;
  674. if (bg) {
  675. range_start = bg->start;
  676. range_len = bg->length;
  677. } else {
  678. range_start = 0;
  679. range_len = U64_MAX;
  680. }
  681. range_end = range_start + range_len;
  682. mutex_lock(&root->ordered_extent_mutex);
  683. spin_lock(&root->ordered_extent_lock);
  684. list_splice_init(&root->ordered_extents, &splice);
  685. while (!list_empty(&splice) && nr) {
  686. ordered = list_first_entry(&splice, struct btrfs_ordered_extent,
  687. root_extent_list);
  688. if (range_end <= ordered->disk_bytenr ||
  689. ordered->disk_bytenr + ordered->disk_num_bytes <= range_start) {
  690. list_move_tail(&ordered->root_extent_list, &skipped);
  691. cond_resched_lock(&root->ordered_extent_lock);
  692. continue;
  693. }
  694. list_move_tail(&ordered->root_extent_list,
  695. &root->ordered_extents);
  696. refcount_inc(&ordered->refs);
  697. spin_unlock(&root->ordered_extent_lock);
  698. btrfs_init_work(&ordered->flush_work,
  699. btrfs_run_ordered_extent_work, NULL);
  700. list_add_tail(&ordered->work_list, &works);
  701. btrfs_queue_work(fs_info->flush_workers, &ordered->flush_work);
  702. cond_resched();
  703. if (nr != U64_MAX)
  704. nr--;
  705. count++;
  706. spin_lock(&root->ordered_extent_lock);
  707. }
  708. list_splice_tail(&skipped, &root->ordered_extents);
  709. list_splice_tail(&splice, &root->ordered_extents);
  710. spin_unlock(&root->ordered_extent_lock);
  711. list_for_each_entry_safe(ordered, next, &works, work_list) {
  712. list_del_init(&ordered->work_list);
  713. wait_for_completion(&ordered->completion);
  714. btrfs_put_ordered_extent(ordered);
  715. cond_resched();
  716. }
  717. mutex_unlock(&root->ordered_extent_mutex);
  718. return count;
  719. }
  720. /*
  721. * Wait for @nr ordered extents that intersect the @bg, or the whole range of
  722. * the filesystem if @bg is NULL.
  723. */
  724. void btrfs_wait_ordered_roots(struct btrfs_fs_info *fs_info, u64 nr,
  725. const struct btrfs_block_group *bg)
  726. {
  727. struct btrfs_root *root;
  728. LIST_HEAD(splice);
  729. u64 done;
  730. mutex_lock(&fs_info->ordered_operations_mutex);
  731. spin_lock(&fs_info->ordered_root_lock);
  732. list_splice_init(&fs_info->ordered_roots, &splice);
  733. while (!list_empty(&splice) && nr) {
  734. root = list_first_entry(&splice, struct btrfs_root,
  735. ordered_root);
  736. root = btrfs_grab_root(root);
  737. BUG_ON(!root);
  738. list_move_tail(&root->ordered_root,
  739. &fs_info->ordered_roots);
  740. spin_unlock(&fs_info->ordered_root_lock);
  741. done = btrfs_wait_ordered_extents(root, nr, bg);
  742. btrfs_put_root(root);
  743. if (nr != U64_MAX)
  744. nr -= done;
  745. spin_lock(&fs_info->ordered_root_lock);
  746. }
  747. list_splice_tail(&splice, &fs_info->ordered_roots);
  748. spin_unlock(&fs_info->ordered_root_lock);
  749. mutex_unlock(&fs_info->ordered_operations_mutex);
  750. }
  751. /*
  752. * Start IO and wait for a given ordered extent to finish.
  753. *
  754. * Wait on page writeback for all the pages in the extent and the IO completion
  755. * code to insert metadata into the btree corresponding to the extent.
  756. */
  757. void btrfs_start_ordered_extent(struct btrfs_ordered_extent *entry)
  758. {
  759. u64 start = entry->file_offset;
  760. u64 end = start + entry->num_bytes - 1;
  761. struct btrfs_inode *inode = entry->inode;
  762. bool freespace_inode;
  763. trace_btrfs_ordered_extent_start(inode, entry);
  764. /*
  765. * If this is a free space inode do not take the ordered extents lockdep
  766. * map.
  767. */
  768. freespace_inode = btrfs_is_free_space_inode(inode);
  769. /*
  770. * pages in the range can be dirty, clean or writeback. We
  771. * start IO on any dirty ones so the wait doesn't stall waiting
  772. * for the flusher thread to find them
  773. */
  774. if (!test_bit(BTRFS_ORDERED_DIRECT, &entry->flags))
  775. filemap_fdatawrite_range(inode->vfs_inode.i_mapping, start, end);
  776. if (!freespace_inode)
  777. btrfs_might_wait_for_event(inode->root->fs_info, btrfs_ordered_extent);
  778. wait_event(entry->wait, test_bit(BTRFS_ORDERED_COMPLETE, &entry->flags));
  779. }
  780. /*
  781. * Used to wait on ordered extents across a large range of bytes.
  782. */
  783. int btrfs_wait_ordered_range(struct btrfs_inode *inode, u64 start, u64 len)
  784. {
  785. int ret = 0;
  786. int ret_wb = 0;
  787. u64 end;
  788. u64 orig_end;
  789. struct btrfs_ordered_extent *ordered;
  790. if (start + len < start) {
  791. orig_end = OFFSET_MAX;
  792. } else {
  793. orig_end = start + len - 1;
  794. if (orig_end > OFFSET_MAX)
  795. orig_end = OFFSET_MAX;
  796. }
  797. /* start IO across the range first to instantiate any delalloc
  798. * extents
  799. */
  800. ret = btrfs_fdatawrite_range(inode, start, orig_end);
  801. if (ret)
  802. return ret;
  803. /*
  804. * If we have a writeback error don't return immediately. Wait first
  805. * for any ordered extents that haven't completed yet. This is to make
  806. * sure no one can dirty the same page ranges and call writepages()
  807. * before the ordered extents complete - to avoid failures (-EEXIST)
  808. * when adding the new ordered extents to the ordered tree.
  809. */
  810. ret_wb = filemap_fdatawait_range(inode->vfs_inode.i_mapping, start, orig_end);
  811. end = orig_end;
  812. while (1) {
  813. ordered = btrfs_lookup_first_ordered_extent(inode, end);
  814. if (!ordered)
  815. break;
  816. if (ordered->file_offset > orig_end) {
  817. btrfs_put_ordered_extent(ordered);
  818. break;
  819. }
  820. if (ordered->file_offset + ordered->num_bytes <= start) {
  821. btrfs_put_ordered_extent(ordered);
  822. break;
  823. }
  824. btrfs_start_ordered_extent(ordered);
  825. end = ordered->file_offset;
  826. /*
  827. * If the ordered extent had an error save the error but don't
  828. * exit without waiting first for all other ordered extents in
  829. * the range to complete.
  830. */
  831. if (test_bit(BTRFS_ORDERED_IOERR, &ordered->flags))
  832. ret = -EIO;
  833. btrfs_put_ordered_extent(ordered);
  834. if (end == 0 || end == start)
  835. break;
  836. end--;
  837. }
  838. return ret_wb ? ret_wb : ret;
  839. }
  840. /*
  841. * find an ordered extent corresponding to file_offset. return NULL if
  842. * nothing is found, otherwise take a reference on the extent and return it
  843. */
  844. struct btrfs_ordered_extent *btrfs_lookup_ordered_extent(struct btrfs_inode *inode,
  845. u64 file_offset)
  846. {
  847. struct rb_node *node;
  848. struct btrfs_ordered_extent *entry = NULL;
  849. unsigned long flags;
  850. spin_lock_irqsave(&inode->ordered_tree_lock, flags);
  851. node = ordered_tree_search(inode, file_offset);
  852. if (!node)
  853. goto out;
  854. entry = rb_entry(node, struct btrfs_ordered_extent, rb_node);
  855. if (!in_range(file_offset, entry->file_offset, entry->num_bytes))
  856. entry = NULL;
  857. if (entry) {
  858. refcount_inc(&entry->refs);
  859. trace_btrfs_ordered_extent_lookup(inode, entry);
  860. }
  861. out:
  862. spin_unlock_irqrestore(&inode->ordered_tree_lock, flags);
  863. return entry;
  864. }
  865. /* Since the DIO code tries to lock a wide area we need to look for any ordered
  866. * extents that exist in the range, rather than just the start of the range.
  867. */
  868. struct btrfs_ordered_extent *btrfs_lookup_ordered_range(
  869. struct btrfs_inode *inode, u64 file_offset, u64 len)
  870. {
  871. struct rb_node *node;
  872. struct btrfs_ordered_extent *entry = NULL;
  873. spin_lock_irq(&inode->ordered_tree_lock);
  874. node = ordered_tree_search(inode, file_offset);
  875. if (!node) {
  876. node = ordered_tree_search(inode, file_offset + len);
  877. if (!node)
  878. goto out;
  879. }
  880. while (1) {
  881. entry = rb_entry(node, struct btrfs_ordered_extent, rb_node);
  882. if (range_overlaps(entry, file_offset, len))
  883. break;
  884. if (entry->file_offset >= file_offset + len) {
  885. entry = NULL;
  886. break;
  887. }
  888. entry = NULL;
  889. node = rb_next(node);
  890. if (!node)
  891. break;
  892. }
  893. out:
  894. if (entry) {
  895. refcount_inc(&entry->refs);
  896. trace_btrfs_ordered_extent_lookup_range(inode, entry);
  897. }
  898. spin_unlock_irq(&inode->ordered_tree_lock);
  899. return entry;
  900. }
  901. /*
  902. * Adds all ordered extents to the given list. The list ends up sorted by the
  903. * file_offset of the ordered extents.
  904. */
  905. void btrfs_get_ordered_extents_for_logging(struct btrfs_inode *inode,
  906. struct list_head *list)
  907. {
  908. struct rb_node *n;
  909. btrfs_assert_inode_locked(inode);
  910. spin_lock_irq(&inode->ordered_tree_lock);
  911. for (n = rb_first(&inode->ordered_tree); n; n = rb_next(n)) {
  912. struct btrfs_ordered_extent *ordered;
  913. ordered = rb_entry(n, struct btrfs_ordered_extent, rb_node);
  914. if (test_bit(BTRFS_ORDERED_LOGGED, &ordered->flags))
  915. continue;
  916. ASSERT(list_empty(&ordered->log_list));
  917. list_add_tail(&ordered->log_list, list);
  918. refcount_inc(&ordered->refs);
  919. trace_btrfs_ordered_extent_lookup_for_logging(inode, ordered);
  920. }
  921. spin_unlock_irq(&inode->ordered_tree_lock);
  922. }
  923. /*
  924. * lookup and return any extent before 'file_offset'. NULL is returned
  925. * if none is found
  926. */
  927. struct btrfs_ordered_extent *
  928. btrfs_lookup_first_ordered_extent(struct btrfs_inode *inode, u64 file_offset)
  929. {
  930. struct rb_node *node;
  931. struct btrfs_ordered_extent *entry = NULL;
  932. spin_lock_irq(&inode->ordered_tree_lock);
  933. node = ordered_tree_search(inode, file_offset);
  934. if (!node)
  935. goto out;
  936. entry = rb_entry(node, struct btrfs_ordered_extent, rb_node);
  937. refcount_inc(&entry->refs);
  938. trace_btrfs_ordered_extent_lookup_first(inode, entry);
  939. out:
  940. spin_unlock_irq(&inode->ordered_tree_lock);
  941. return entry;
  942. }
  943. /*
  944. * Lookup the first ordered extent that overlaps the range
  945. * [@file_offset, @file_offset + @len).
  946. *
  947. * The difference between this and btrfs_lookup_first_ordered_extent() is
  948. * that this one won't return any ordered extent that does not overlap the range.
  949. * And the difference against btrfs_lookup_ordered_extent() is, this function
  950. * ensures the first ordered extent gets returned.
  951. */
  952. struct btrfs_ordered_extent *btrfs_lookup_first_ordered_range(
  953. struct btrfs_inode *inode, u64 file_offset, u64 len)
  954. {
  955. struct rb_node *node;
  956. struct rb_node *cur;
  957. struct rb_node *prev;
  958. struct rb_node *next;
  959. struct btrfs_ordered_extent *entry = NULL;
  960. spin_lock_irq(&inode->ordered_tree_lock);
  961. node = inode->ordered_tree.rb_node;
  962. /*
  963. * Here we don't want to use tree_search() which will use tree->last
  964. * and screw up the search order.
  965. * And __tree_search() can't return the adjacent ordered extents
  966. * either, thus here we do our own search.
  967. */
  968. while (node) {
  969. entry = rb_entry(node, struct btrfs_ordered_extent, rb_node);
  970. if (file_offset < entry->file_offset) {
  971. node = node->rb_left;
  972. } else if (file_offset >= entry_end(entry)) {
  973. node = node->rb_right;
  974. } else {
  975. /*
  976. * Direct hit, got an ordered extent that starts at
  977. * @file_offset
  978. */
  979. goto out;
  980. }
  981. }
  982. if (!entry) {
  983. /* Empty tree */
  984. goto out;
  985. }
  986. cur = &entry->rb_node;
  987. /* We got an entry around @file_offset, check adjacent entries */
  988. if (entry->file_offset < file_offset) {
  989. prev = cur;
  990. next = rb_next(cur);
  991. } else {
  992. prev = rb_prev(cur);
  993. next = cur;
  994. }
  995. if (prev) {
  996. entry = rb_entry(prev, struct btrfs_ordered_extent, rb_node);
  997. if (range_overlaps(entry, file_offset, len))
  998. goto out;
  999. }
  1000. if (next) {
  1001. entry = rb_entry(next, struct btrfs_ordered_extent, rb_node);
  1002. if (range_overlaps(entry, file_offset, len))
  1003. goto out;
  1004. }
  1005. /* No ordered extent in the range */
  1006. entry = NULL;
  1007. out:
  1008. if (entry) {
  1009. refcount_inc(&entry->refs);
  1010. trace_btrfs_ordered_extent_lookup_first_range(inode, entry);
  1011. }
  1012. spin_unlock_irq(&inode->ordered_tree_lock);
  1013. return entry;
  1014. }
  1015. /*
  1016. * Lock the passed range and ensures all pending ordered extents in it are run
  1017. * to completion.
  1018. *
  1019. * @inode: Inode whose ordered tree is to be searched
  1020. * @start: Beginning of range to flush
  1021. * @end: Last byte of range to lock
  1022. * @cached_state: If passed, will return the extent state responsible for the
  1023. * locked range. It's the caller's responsibility to free the
  1024. * cached state.
  1025. *
  1026. * Always return with the given range locked, ensuring after it's called no
  1027. * order extent can be pending.
  1028. */
  1029. void btrfs_lock_and_flush_ordered_range(struct btrfs_inode *inode, u64 start,
  1030. u64 end,
  1031. struct extent_state **cached_state)
  1032. {
  1033. struct btrfs_ordered_extent *ordered;
  1034. struct extent_state *cache = NULL;
  1035. struct extent_state **cachedp = &cache;
  1036. if (cached_state)
  1037. cachedp = cached_state;
  1038. while (1) {
  1039. lock_extent(&inode->io_tree, start, end, cachedp);
  1040. ordered = btrfs_lookup_ordered_range(inode, start,
  1041. end - start + 1);
  1042. if (!ordered) {
  1043. /*
  1044. * If no external cached_state has been passed then
  1045. * decrement the extra ref taken for cachedp since we
  1046. * aren't exposing it outside of this function
  1047. */
  1048. if (!cached_state)
  1049. refcount_dec(&cache->refs);
  1050. break;
  1051. }
  1052. unlock_extent(&inode->io_tree, start, end, cachedp);
  1053. btrfs_start_ordered_extent(ordered);
  1054. btrfs_put_ordered_extent(ordered);
  1055. }
  1056. }
  1057. /*
  1058. * Lock the passed range and ensure all pending ordered extents in it are run
  1059. * to completion in nowait mode.
  1060. *
  1061. * Return true if btrfs_lock_ordered_range does not return any extents,
  1062. * otherwise false.
  1063. */
  1064. bool btrfs_try_lock_ordered_range(struct btrfs_inode *inode, u64 start, u64 end,
  1065. struct extent_state **cached_state)
  1066. {
  1067. struct btrfs_ordered_extent *ordered;
  1068. if (!try_lock_extent(&inode->io_tree, start, end, cached_state))
  1069. return false;
  1070. ordered = btrfs_lookup_ordered_range(inode, start, end - start + 1);
  1071. if (!ordered)
  1072. return true;
  1073. btrfs_put_ordered_extent(ordered);
  1074. unlock_extent(&inode->io_tree, start, end, cached_state);
  1075. return false;
  1076. }
  1077. /* Split out a new ordered extent for this first @len bytes of @ordered. */
  1078. struct btrfs_ordered_extent *btrfs_split_ordered_extent(
  1079. struct btrfs_ordered_extent *ordered, u64 len)
  1080. {
  1081. struct btrfs_inode *inode = ordered->inode;
  1082. struct btrfs_root *root = inode->root;
  1083. struct btrfs_fs_info *fs_info = root->fs_info;
  1084. u64 file_offset = ordered->file_offset;
  1085. u64 disk_bytenr = ordered->disk_bytenr;
  1086. unsigned long flags = ordered->flags;
  1087. struct btrfs_ordered_sum *sum, *tmpsum;
  1088. struct btrfs_ordered_extent *new;
  1089. struct rb_node *node;
  1090. u64 offset = 0;
  1091. trace_btrfs_ordered_extent_split(inode, ordered);
  1092. ASSERT(!(flags & (1U << BTRFS_ORDERED_COMPRESSED)));
  1093. /*
  1094. * The entire bio must be covered by the ordered extent, but we can't
  1095. * reduce the original extent to a zero length either.
  1096. */
  1097. if (WARN_ON_ONCE(len >= ordered->num_bytes))
  1098. return ERR_PTR(-EINVAL);
  1099. /*
  1100. * If our ordered extent had an error there's no point in continuing.
  1101. * The error may have come from a transaction abort done either by this
  1102. * task or some other concurrent task, and the transaction abort path
  1103. * iterates over all existing ordered extents and sets the flag
  1104. * BTRFS_ORDERED_IOERR on them.
  1105. */
  1106. if (unlikely(flags & (1U << BTRFS_ORDERED_IOERR))) {
  1107. const int fs_error = BTRFS_FS_ERROR(fs_info);
  1108. return fs_error ? ERR_PTR(fs_error) : ERR_PTR(-EIO);
  1109. }
  1110. /* We cannot split partially completed ordered extents. */
  1111. if (ordered->bytes_left) {
  1112. ASSERT(!(flags & ~BTRFS_ORDERED_TYPE_FLAGS));
  1113. if (WARN_ON_ONCE(ordered->bytes_left != ordered->disk_num_bytes))
  1114. return ERR_PTR(-EINVAL);
  1115. }
  1116. /* We cannot split a compressed ordered extent. */
  1117. if (WARN_ON_ONCE(ordered->disk_num_bytes != ordered->num_bytes))
  1118. return ERR_PTR(-EINVAL);
  1119. new = alloc_ordered_extent(inode, file_offset, len, len, disk_bytenr,
  1120. len, 0, flags, ordered->compress_type);
  1121. if (IS_ERR(new))
  1122. return new;
  1123. /* One ref for the tree. */
  1124. refcount_inc(&new->refs);
  1125. /*
  1126. * Take the root's ordered_extent_lock to avoid a race with
  1127. * btrfs_wait_ordered_extents() when updating the disk_bytenr and
  1128. * disk_num_bytes fields of the ordered extent below. And we disable
  1129. * IRQs because the inode's ordered_tree_lock is used in IRQ context
  1130. * elsewhere.
  1131. *
  1132. * There's no concern about a previous caller of
  1133. * btrfs_wait_ordered_extents() getting the trimmed ordered extent
  1134. * before we insert the new one, because even if it gets the ordered
  1135. * extent before it's trimmed and the new one inserted, right before it
  1136. * uses it or during its use, the ordered extent might have been
  1137. * trimmed in the meanwhile, and it missed the new ordered extent.
  1138. * There's no way around this and it's harmless for current use cases,
  1139. * so we take the root's ordered_extent_lock to fix that race during
  1140. * trimming and silence tools like KCSAN.
  1141. */
  1142. spin_lock_irq(&root->ordered_extent_lock);
  1143. spin_lock(&inode->ordered_tree_lock);
  1144. /*
  1145. * We don't have overlapping ordered extents (that would imply double
  1146. * allocation of extents) and we checked above that the split length
  1147. * does not cross the ordered extent's num_bytes field, so there's
  1148. * no need to remove it and re-insert it in the tree.
  1149. */
  1150. ordered->file_offset += len;
  1151. ordered->disk_bytenr += len;
  1152. ordered->num_bytes -= len;
  1153. ordered->disk_num_bytes -= len;
  1154. ordered->ram_bytes -= len;
  1155. if (test_bit(BTRFS_ORDERED_IO_DONE, &ordered->flags)) {
  1156. ASSERT(ordered->bytes_left == 0);
  1157. new->bytes_left = 0;
  1158. } else {
  1159. ordered->bytes_left -= len;
  1160. }
  1161. if (test_bit(BTRFS_ORDERED_TRUNCATED, &ordered->flags)) {
  1162. if (ordered->truncated_len > len) {
  1163. ordered->truncated_len -= len;
  1164. } else {
  1165. new->truncated_len = ordered->truncated_len;
  1166. ordered->truncated_len = 0;
  1167. }
  1168. }
  1169. list_for_each_entry_safe(sum, tmpsum, &ordered->list, list) {
  1170. if (offset == len)
  1171. break;
  1172. list_move_tail(&sum->list, &new->list);
  1173. offset += sum->len;
  1174. }
  1175. node = tree_insert(&inode->ordered_tree, new->file_offset, &new->rb_node);
  1176. if (unlikely(node))
  1177. btrfs_panic(fs_info, -EEXIST,
  1178. "inconsistency in ordered tree at offset %llu after split",
  1179. new->file_offset);
  1180. spin_unlock(&inode->ordered_tree_lock);
  1181. list_add_tail(&new->root_extent_list, &root->ordered_extents);
  1182. root->nr_ordered_extents++;
  1183. spin_unlock_irq(&root->ordered_extent_lock);
  1184. return new;
  1185. }
  1186. int __init ordered_data_init(void)
  1187. {
  1188. btrfs_ordered_extent_cache = KMEM_CACHE(btrfs_ordered_extent, 0);
  1189. if (!btrfs_ordered_extent_cache)
  1190. return -ENOMEM;
  1191. return 0;
  1192. }
  1193. void __cold ordered_data_exit(void)
  1194. {
  1195. kmem_cache_destroy(btrfs_ordered_extent_cache);
  1196. }