blob: f9d76072398da550e1ad4cd9c77bfcb3007c7c66 [file] [log] [blame]
David Sterbac1d7c512018-04-03 19:23:33 +02001// SPDX-License-Identifier: GPL-2.0
Chris Mason6cbd5572007-06-12 09:07:21 -04002/*
3 * Copyright (C) 2007 Oracle. All rights reserved.
Chris Mason6cbd5572007-06-12 09:07:21 -04004 */
5
Chris Mason39279cc2007-06-12 06:35:45 -04006#include <linux/fs.h>
7#include <linux/pagemap.h>
Chris Mason39279cc2007-06-12 06:35:45 -04008#include <linux/time.h>
9#include <linux/init.h>
10#include <linux/string.h>
Chris Mason39279cc2007-06-12 06:35:45 -040011#include <linux/backing-dev.h>
Christoph Hellwig2fe17c12011-01-14 13:07:43 +010012#include <linux/falloc.h>
Chris Mason39279cc2007-06-12 06:35:45 -040013#include <linux/writeback.h>
Chris Mason39279cc2007-06-12 06:35:45 -040014#include <linux/compat.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090015#include <linux/slab.h>
Filipe Brandenburger55e301f2013-01-29 06:04:50 +000016#include <linux/btrfs.h>
Christoph Hellwige2e40f22015-02-22 08:58:50 -080017#include <linux/uio.h>
Jeff Laytonae5e1652018-01-29 06:41:30 -050018#include <linux/iversion.h>
Boris Burkov14605402021-06-30 13:01:49 -070019#include <linux/fsverity.h>
Josef Bacik3ecb43c2023-08-25 16:19:25 -040020#include <linux/iomap.h>
Chris Mason39279cc2007-06-12 06:35:45 -040021#include "ctree.h"
22#include "disk-io.h"
23#include "transaction.h"
24#include "btrfs_inode.h"
Chris Masone02119d2008-09-05 16:13:11 -040025#include "tree-log.h"
26#include "locking.h"
Josef Bacikfcebe452014-05-13 17:30:47 -070027#include "qgroup.h"
Anand Jainebb87652016-03-10 17:26:59 +080028#include "compression.h"
Josef Bacik86736342019-06-19 15:12:00 -040029#include "delalloc-space.h"
Filipe Manana6a177382020-02-28 13:04:17 +000030#include "reflink.h"
Qu Wenruof02a85d2021-05-31 16:50:41 +080031#include "subpage.h"
Josef Bacikc7f13d42022-10-19 10:50:47 -040032#include "fs.h"
Josef Bacik07e81dc2022-10-19 10:51:00 -040033#include "accessors.h"
Josef Bacika0231802022-10-24 14:46:57 -040034#include "extent-tree.h"
Josef Bacik7c8ede12022-10-26 15:08:27 -040035#include "file-item.h"
Josef Bacik7572dec2022-10-26 15:08:29 -040036#include "ioctl.h"
Josef Bacikaf142b62022-10-26 15:08:30 -040037#include "file.h"
Josef Bacik7f0add22022-10-26 15:08:40 -040038#include "super.h"
Chris Mason39279cc2007-06-12 06:35:45 -040039
Chris Masond352ac62008-09-29 15:18:18 -040040/* simple helper to fault in pages and copy. This should go away
41 * and be replaced with calls into generic code.
42 */
Zhao Leiee22f0c2016-01-06 18:47:31 +080043static noinline int btrfs_copy_from_user(loff_t pos, size_t write_bytes,
Chris Masona1b32a52008-09-05 16:09:51 -040044 struct page **prepared_pages,
Josef Bacik11c65dc2010-05-23 11:07:21 -040045 struct iov_iter *i)
Chris Mason39279cc2007-06-12 06:35:45 -040046{
Xin Zhong914ee292010-12-09 09:30:14 +000047 size_t copied = 0;
Josef Bacikd0215f32011-01-25 14:57:24 -050048 size_t total_copied = 0;
Josef Bacik11c65dc2010-05-23 11:07:21 -040049 int pg = 0;
Johannes Thumshirn70730172018-12-05 15:23:03 +010050 int offset = offset_in_page(pos);
Chris Mason39279cc2007-06-12 06:35:45 -040051
Josef Bacik11c65dc2010-05-23 11:07:21 -040052 while (write_bytes > 0) {
Chris Mason39279cc2007-06-12 06:35:45 -040053 size_t count = min_t(size_t,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +030054 PAGE_SIZE - offset, write_bytes);
Josef Bacik11c65dc2010-05-23 11:07:21 -040055 struct page *page = prepared_pages[pg];
Xin Zhong914ee292010-12-09 09:30:14 +000056 /*
57 * Copy data from userspace to the current page
Xin Zhong914ee292010-12-09 09:30:14 +000058 */
Al Virof0b65f32021-04-30 10:26:41 -040059 copied = copy_page_from_iter_atomic(page, offset, count, i);
Josef Bacik11c65dc2010-05-23 11:07:21 -040060
Chris Mason39279cc2007-06-12 06:35:45 -040061 /* Flush processor's dcache for this page */
62 flush_dcache_page(page);
Chris Mason31339ac2011-03-07 11:10:24 -050063
64 /*
65 * if we get a partial write, we can end up with
66 * partially up to date pages. These add
67 * a lot of complexity, so make sure they don't
68 * happen by forcing this copy to be retried.
69 *
70 * The rest of the btrfs_file_write code will fall
71 * back to page at a time copies after we return 0.
72 */
Al Virof0b65f32021-04-30 10:26:41 -040073 if (unlikely(copied < count)) {
74 if (!PageUptodate(page)) {
75 iov_iter_revert(i, copied);
76 copied = 0;
77 }
78 if (!copied)
79 break;
80 }
Chris Mason31339ac2011-03-07 11:10:24 -050081
Josef Bacik11c65dc2010-05-23 11:07:21 -040082 write_bytes -= copied;
Xin Zhong914ee292010-12-09 09:30:14 +000083 total_copied += copied;
Al Virof0b65f32021-04-30 10:26:41 -040084 offset += copied;
85 if (offset == PAGE_SIZE) {
Josef Bacik11c65dc2010-05-23 11:07:21 -040086 pg++;
87 offset = 0;
88 }
Chris Mason39279cc2007-06-12 06:35:45 -040089 }
Xin Zhong914ee292010-12-09 09:30:14 +000090 return total_copied;
Chris Mason39279cc2007-06-12 06:35:45 -040091}
92
Chris Masond352ac62008-09-29 15:18:18 -040093/*
94 * unlocks pages after btrfs_file_write is done with them
95 */
Qu Wenruoe4f94342021-09-27 15:21:49 +080096static void btrfs_drop_pages(struct btrfs_fs_info *fs_info,
97 struct page **pages, size_t num_pages,
98 u64 pos, u64 copied)
Chris Mason39279cc2007-06-12 06:35:45 -040099{
100 size_t i;
Qu Wenruoe4f94342021-09-27 15:21:49 +0800101 u64 block_start = round_down(pos, fs_info->sectorsize);
102 u64 block_len = round_up(pos + copied, fs_info->sectorsize) - block_start;
103
104 ASSERT(block_len <= U32_MAX);
Chris Mason39279cc2007-06-12 06:35:45 -0400105 for (i = 0; i < num_pages; i++) {
Chris Masond352ac62008-09-29 15:18:18 -0400106 /* page checked is some magic around finding pages that
107 * have been modified without going through btrfs_set_page_dirty
Mel Gorman2457aec2014-06-04 16:10:31 -0700108 * clear it here. There should be no need to mark the pages
109 * accessed as prepare_pages should have marked them accessed
110 * in prepare_pages via find_or_create_page()
Chris Masond352ac62008-09-29 15:18:18 -0400111 */
Qu Wenruo55151ea2023-12-12 12:58:37 +1030112 btrfs_folio_clamp_clear_checked(fs_info, page_folio(pages[i]),
113 block_start, block_len);
Chris Mason39279cc2007-06-12 06:35:45 -0400114 unlock_page(pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300115 put_page(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -0400116 }
117}
118
Chris Masond352ac62008-09-29 15:18:18 -0400119/*
Qu Wenruoc0fab482021-01-06 09:01:42 +0800120 * After btrfs_copy_from_user(), update the following things for delalloc:
121 * - Mark newly dirtied pages as DELALLOC in the io tree.
122 * Used to advise which range is to be written back.
123 * - Mark modified pages as Uptodate/Dirty and not needing COW fixup
124 * - Update inode size for past EOF write
Chris Masond352ac62008-09-29 15:18:18 -0400125 */
Nikolay Borisov088545f2020-06-03 08:55:36 +0300126int btrfs_dirty_pages(struct btrfs_inode *inode, struct page **pages,
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400127 size_t num_pages, loff_t pos, size_t write_bytes,
Goldwyn Rodriguesaa8c1a42020-10-14 09:55:45 -0500128 struct extent_state **cached, bool noreserve)
Chris Mason39279cc2007-06-12 06:35:45 -0400129{
Nikolay Borisov088545f2020-06-03 08:55:36 +0300130 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Chris Mason39279cc2007-06-12 06:35:45 -0400131 int err = 0;
Chris Masona52d9a82007-08-27 16:49:44 -0400132 int i;
Chris Masondb945352007-10-15 16:15:53 -0400133 u64 num_bytes;
Chris Masona52d9a82007-08-27 16:49:44 -0400134 u64 start_pos;
135 u64 end_of_last_block;
136 u64 end_pos = pos + write_bytes;
Nikolay Borisov088545f2020-06-03 08:55:36 +0300137 loff_t isize = i_size_read(&inode->vfs_inode);
Filipe Mananae3b8a482017-11-04 00:16:59 +0000138 unsigned int extra_bits = 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400139
Goldwyn Rodriguesaa8c1a42020-10-14 09:55:45 -0500140 if (write_bytes == 0)
141 return 0;
142
143 if (noreserve)
144 extra_bits |= EXTENT_NORESERVE;
145
Goldwyn Rodrigues13f0dd82020-10-14 09:55:44 -0500146 start_pos = round_down(pos, fs_info->sectorsize);
Jeff Mahoneyda170662016-06-15 09:22:56 -0400147 num_bytes = round_up(write_bytes + pos - start_pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400148 fs_info->sectorsize);
Qu Wenruof02a85d2021-05-31 16:50:41 +0800149 ASSERT(num_bytes <= U32_MAX);
Chris Mason39279cc2007-06-12 06:35:45 -0400150
Chris Masondb945352007-10-15 16:15:53 -0400151 end_of_last_block = start_pos + num_bytes - 1;
Filipe Mananae3b8a482017-11-04 00:16:59 +0000152
Chris Mason7703bdd2018-06-20 07:56:11 -0700153 /*
154 * The pages may have already been dirty, clear out old accounting so
155 * we can set things up properly
156 */
Nikolay Borisov088545f2020-06-03 08:55:36 +0300157 clear_extent_bit(&inode->io_tree, start_pos, end_of_last_block,
Omar Sandovale1821632019-08-15 14:04:04 -0700158 EXTENT_DELALLOC | EXTENT_DO_ACCOUNTING | EXTENT_DEFRAG,
Josef Bacikbd015292022-09-09 17:53:47 -0400159 cached);
Chris Mason7703bdd2018-06-20 07:56:11 -0700160
Nikolay Borisov088545f2020-06-03 08:55:36 +0300161 err = btrfs_set_extent_delalloc(inode, start_pos, end_of_last_block,
Nikolay Borisov330a5822019-07-17 16:18:17 +0300162 extra_bits, cached);
Josef Bacikd0215f32011-01-25 14:57:24 -0500163 if (err)
164 return err;
Josef Bacik9ed74f22009-09-11 16:12:44 -0400165
Chris Masonc8b97812008-10-29 14:49:59 -0400166 for (i = 0; i < num_pages; i++) {
167 struct page *p = pages[i];
Qu Wenruof02a85d2021-05-31 16:50:41 +0800168
Qu Wenruo55151ea2023-12-12 12:58:37 +1030169 btrfs_folio_clamp_set_uptodate(fs_info, page_folio(p),
170 start_pos, num_bytes);
171 btrfs_folio_clamp_clear_checked(fs_info, page_folio(p),
172 start_pos, num_bytes);
173 btrfs_folio_clamp_set_dirty(fs_info, page_folio(p),
174 start_pos, num_bytes);
Chris Masona52d9a82007-08-27 16:49:44 -0400175 }
Josef Bacik9f570b82011-01-25 12:42:37 -0500176
177 /*
178 * we've only changed i_size in ram, and we haven't updated
179 * the disk i_size. There is no need to log the inode
180 * at this time.
181 */
182 if (end_pos > isize)
Nikolay Borisov088545f2020-06-03 08:55:36 +0300183 i_size_write(&inode->vfs_inode, end_pos);
Yan, Zhenga22285a2010-05-16 10:48:46 -0400184 return 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400185}
186
Chris Masond352ac62008-09-29 15:18:18 -0400187/*
Chris Mason39279cc2007-06-12 06:35:45 -0400188 * this is very complex, but the basic idea is to drop all extents
189 * in the range start - end. hint_block is filled in with a block number
190 * that would be a good hint to the block allocator for this file.
191 *
192 * If an extent intersects the range but is not entirely inside the range
193 * it is either truncated or split. Anything entirely inside the range
194 * is deleted from the tree.
Filipe Manana2766ff62020-11-04 11:07:34 +0000195 *
196 * Note: the VFS' inode number of bytes is not updated, it's up to the caller
197 * to deal with that. We set the field 'bytes_found' of the arguments structure
198 * with the number of allocated bytes found in the target range, so that the
199 * caller can update the inode's number of bytes in an atomic way when
200 * replacing extents in a range to avoid races with stat(2).
Chris Mason39279cc2007-06-12 06:35:45 -0400201 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000202int btrfs_drop_extents(struct btrfs_trans_handle *trans,
203 struct btrfs_root *root, struct btrfs_inode *inode,
204 struct btrfs_drop_extents_args *args)
Chris Mason39279cc2007-06-12 06:35:45 -0400205{
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400206 struct btrfs_fs_info *fs_info = root->fs_info;
Chris Mason00f5c792007-11-30 10:09:33 -0500207 struct extent_buffer *leaf;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000208 struct btrfs_file_extent_item *fi;
Qu Wenruo82fa1132019-04-04 14:45:35 +0800209 struct btrfs_ref ref = { 0 };
Chris Mason00f5c792007-11-30 10:09:33 -0500210 struct btrfs_key key;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000211 struct btrfs_key new_key;
Nikolay Borisov906c4482020-06-03 08:55:08 +0300212 u64 ino = btrfs_ino(inode);
Filipe Manana5893dfb2020-11-04 11:07:32 +0000213 u64 search_start = args->start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000214 u64 disk_bytenr = 0;
215 u64 num_bytes = 0;
216 u64 extent_offset = 0;
217 u64 extent_end = 0;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000218 u64 last_end = args->start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000219 int del_nr = 0;
220 int del_slot = 0;
221 int extent_type;
Chris Masonccd467d2007-06-28 15:57:36 -0400222 int recow;
Chris Mason00f5c792007-11-30 10:09:33 -0500223 int ret;
Chris Masondc7fdde2012-04-27 14:31:29 -0400224 int modify_tree = -1;
Miao Xie27cdeb72014-04-02 19:51:05 +0800225 int update_refs;
Josef Bacikc3308f82012-09-14 14:51:22 -0400226 int found = 0;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000227 struct btrfs_path *path = args->path;
Chris Mason39279cc2007-06-12 06:35:45 -0400228
Filipe Manana2766ff62020-11-04 11:07:34 +0000229 args->bytes_found = 0;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000230 args->extent_inserted = false;
Chris Masona52d9a82007-08-27 16:49:44 -0400231
Filipe Manana5893dfb2020-11-04 11:07:32 +0000232 /* Must always have a path if ->replace_extent is true */
233 ASSERT(!(args->replace_extent && !args->path));
234
235 if (!path) {
236 path = btrfs_alloc_path();
237 if (!path) {
238 ret = -ENOMEM;
239 goto out;
240 }
241 }
242
243 if (args->drop_cache)
Filipe Manana4c0c8cf2022-09-19 15:06:29 +0100244 btrfs_drop_extent_map_range(inode, args->start, args->end - 1, false);
Filipe Manana5893dfb2020-11-04 11:07:32 +0000245
246 if (args->start >= inode->disk_i_size && !args->replace_extent)
Chris Masondc7fdde2012-04-27 14:31:29 -0400247 modify_tree = 0;
248
Josef Bacikd1752092021-10-01 13:57:18 -0400249 update_refs = (root->root_key.objectid != BTRFS_TREE_LOG_OBJECTID);
Chris Masond3977122009-01-05 21:25:51 -0500250 while (1) {
Chris Masonccd467d2007-06-28 15:57:36 -0400251 recow = 0;
Li Zefan33345d012011-04-20 10:31:50 +0800252 ret = btrfs_lookup_file_extent(trans, root, path, ino,
Chris Masondc7fdde2012-04-27 14:31:29 -0400253 search_start, modify_tree);
Chris Mason39279cc2007-06-12 06:35:45 -0400254 if (ret < 0)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000255 break;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000256 if (ret > 0 && path->slots[0] > 0 && search_start == args->start) {
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000257 leaf = path->nodes[0];
258 btrfs_item_key_to_cpu(leaf, &key, path->slots[0] - 1);
Li Zefan33345d012011-04-20 10:31:50 +0800259 if (key.objectid == ino &&
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000260 key.type == BTRFS_EXTENT_DATA_KEY)
261 path->slots[0]--;
Chris Mason39279cc2007-06-12 06:35:45 -0400262 }
Chris Mason8c2383c2007-06-18 09:57:58 -0400263 ret = 0;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000264next_slot:
265 leaf = path->nodes[0];
266 if (path->slots[0] >= btrfs_header_nritems(leaf)) {
267 BUG_ON(del_nr > 0);
268 ret = btrfs_next_leaf(root, path);
269 if (ret < 0)
270 break;
271 if (ret > 0) {
272 ret = 0;
273 break;
Chris Mason8c2383c2007-06-18 09:57:58 -0400274 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000275 leaf = path->nodes[0];
276 recow = 1;
277 }
278
279 btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);
Filipe Mananaaeafbf82015-11-06 13:33:33 +0000280
281 if (key.objectid > ino)
282 break;
283 if (WARN_ON_ONCE(key.objectid < ino) ||
284 key.type < BTRFS_EXTENT_DATA_KEY) {
285 ASSERT(del_nr == 0);
286 path->slots[0]++;
287 goto next_slot;
288 }
Filipe Manana5893dfb2020-11-04 11:07:32 +0000289 if (key.type > BTRFS_EXTENT_DATA_KEY || key.offset >= args->end)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000290 break;
291
292 fi = btrfs_item_ptr(leaf, path->slots[0],
293 struct btrfs_file_extent_item);
294 extent_type = btrfs_file_extent_type(leaf, fi);
295
296 if (extent_type == BTRFS_FILE_EXTENT_REG ||
297 extent_type == BTRFS_FILE_EXTENT_PREALLOC) {
298 disk_bytenr = btrfs_file_extent_disk_bytenr(leaf, fi);
299 num_bytes = btrfs_file_extent_disk_num_bytes(leaf, fi);
300 extent_offset = btrfs_file_extent_offset(leaf, fi);
301 extent_end = key.offset +
302 btrfs_file_extent_num_bytes(leaf, fi);
303 } else if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
304 extent_end = key.offset +
Qu Wenruoe41ca582018-06-06 15:41:49 +0800305 btrfs_file_extent_ram_bytes(leaf, fi);
Chris Mason8c2383c2007-06-18 09:57:58 -0400306 } else {
Filipe Mananaaeafbf82015-11-06 13:33:33 +0000307 /* can't happen */
308 BUG();
Chris Mason39279cc2007-06-12 06:35:45 -0400309 }
310
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100311 /*
312 * Don't skip extent items representing 0 byte lengths. They
313 * used to be created (bug) if while punching holes we hit
314 * -ENOSPC condition. So if we find one here, just ensure we
315 * delete it, otherwise we would insert a new file extent item
316 * with the same key (offset) as that 0 bytes length file
317 * extent item in the call to setup_items_for_insert() later
318 * in this function.
319 */
Josef Bacik62fe51c12016-11-16 09:13:39 -0500320 if (extent_end == key.offset && extent_end >= search_start) {
321 last_end = extent_end;
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100322 goto delete_extent_item;
Josef Bacik62fe51c12016-11-16 09:13:39 -0500323 }
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100324
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000325 if (extent_end <= search_start) {
326 path->slots[0]++;
Chris Mason8c2383c2007-06-18 09:57:58 -0400327 goto next_slot;
Chris Mason39279cc2007-06-12 06:35:45 -0400328 }
329
Josef Bacikc3308f82012-09-14 14:51:22 -0400330 found = 1;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000331 search_start = max(key.offset, args->start);
Chris Masondc7fdde2012-04-27 14:31:29 -0400332 if (recow || !modify_tree) {
333 modify_tree = -1;
David Sterbab3b4aa72011-04-21 01:20:15 +0200334 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000335 continue;
Chris Mason39279cc2007-06-12 06:35:45 -0400336 }
Chris Mason771ed682008-11-06 22:02:51 -0500337
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000338 /*
339 * | - range to drop - |
340 * | -------- extent -------- |
341 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000342 if (args->start > key.offset && args->end < extent_end) {
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000343 BUG_ON(del_nr > 0);
Liu Bo00fdf132014-03-10 18:56:07 +0800344 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200345 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800346 break;
347 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000348
349 memcpy(&new_key, &key, sizeof(new_key));
Filipe Manana5893dfb2020-11-04 11:07:32 +0000350 new_key.offset = args->start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000351 ret = btrfs_duplicate_item(trans, root, path,
352 &new_key);
353 if (ret == -EAGAIN) {
David Sterbab3b4aa72011-04-21 01:20:15 +0200354 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000355 continue;
356 }
357 if (ret < 0)
358 break;
Chris Mason8c2383c2007-06-18 09:57:58 -0400359
Chris Mason5f39d392007-10-15 16:14:19 -0400360 leaf = path->nodes[0];
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000361 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
362 struct btrfs_file_extent_item);
363 btrfs_set_file_extent_num_bytes(leaf, fi,
Filipe Manana5893dfb2020-11-04 11:07:32 +0000364 args->start - key.offset);
Chris Mason39279cc2007-06-12 06:35:45 -0400365
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000366 fi = btrfs_item_ptr(leaf, path->slots[0],
367 struct btrfs_file_extent_item);
Chris Masonc8b97812008-10-29 14:49:59 -0400368
Filipe Manana5893dfb2020-11-04 11:07:32 +0000369 extent_offset += args->start - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000370 btrfs_set_file_extent_offset(leaf, fi, extent_offset);
371 btrfs_set_file_extent_num_bytes(leaf, fi,
Filipe Manana5893dfb2020-11-04 11:07:32 +0000372 extent_end - args->start);
Filipe Manana50564b62023-09-12 13:04:29 +0100373 btrfs_mark_buffer_dirty(trans, leaf);
Chris Masondb945352007-10-15 16:15:53 -0400374
Josef Bacik5dc562c2012-08-17 13:14:17 -0400375 if (update_refs && disk_bytenr > 0) {
Qu Wenruo82fa1132019-04-04 14:45:35 +0800376 btrfs_init_generic_ref(&ref,
377 BTRFS_ADD_DELAYED_REF,
Boris Burkov457cb1d2023-03-28 16:04:02 -0700378 disk_bytenr, num_bytes, 0,
379 root->root_key.objectid);
Qu Wenruo82fa1132019-04-04 14:45:35 +0800380 btrfs_init_data_ref(&ref,
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000381 root->root_key.objectid,
382 new_key.objectid,
Nikolay Borisovf42c5da2021-10-12 11:21:35 +0300383 args->start - extent_offset,
384 0, false);
Qu Wenruo82fa1132019-04-04 14:45:35 +0800385 ret = btrfs_inc_extent_ref(trans, &ref);
Filipe Manana162d0532022-11-28 15:07:30 +0000386 if (ret) {
387 btrfs_abort_transaction(trans, ret);
388 break;
389 }
Zheng Yan31840ae2008-09-23 13:14:14 -0400390 }
Filipe Manana5893dfb2020-11-04 11:07:32 +0000391 key.offset = args->start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000392 }
393 /*
Josef Bacik62fe51c12016-11-16 09:13:39 -0500394 * From here on out we will have actually dropped something, so
395 * last_end can be updated.
396 */
397 last_end = extent_end;
398
399 /*
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000400 * | ---- range to drop ----- |
401 * | -------- extent -------- |
402 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000403 if (args->start <= key.offset && args->end < extent_end) {
Liu Bo00fdf132014-03-10 18:56:07 +0800404 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200405 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800406 break;
407 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000408
409 memcpy(&new_key, &key, sizeof(new_key));
Filipe Manana5893dfb2020-11-04 11:07:32 +0000410 new_key.offset = args->end;
Filipe Manana50564b62023-09-12 13:04:29 +0100411 btrfs_set_item_key_safe(trans, path, &new_key);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000412
Filipe Manana5893dfb2020-11-04 11:07:32 +0000413 extent_offset += args->end - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000414 btrfs_set_file_extent_offset(leaf, fi, extent_offset);
415 btrfs_set_file_extent_num_bytes(leaf, fi,
Filipe Manana5893dfb2020-11-04 11:07:32 +0000416 extent_end - args->end);
Filipe Manana50564b62023-09-12 13:04:29 +0100417 btrfs_mark_buffer_dirty(trans, leaf);
Josef Bacik26714852012-08-29 12:24:27 -0400418 if (update_refs && disk_bytenr > 0)
Filipe Manana2766ff62020-11-04 11:07:34 +0000419 args->bytes_found += args->end - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000420 break;
Zheng Yan31840ae2008-09-23 13:14:14 -0400421 }
422
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000423 search_start = extent_end;
424 /*
425 * | ---- range to drop ----- |
426 * | -------- extent -------- |
427 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000428 if (args->start > key.offset && args->end >= extent_end) {
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000429 BUG_ON(del_nr > 0);
Liu Bo00fdf132014-03-10 18:56:07 +0800430 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200431 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800432 break;
433 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000434
435 btrfs_set_file_extent_num_bytes(leaf, fi,
Filipe Manana5893dfb2020-11-04 11:07:32 +0000436 args->start - key.offset);
Filipe Manana50564b62023-09-12 13:04:29 +0100437 btrfs_mark_buffer_dirty(trans, leaf);
Josef Bacik26714852012-08-29 12:24:27 -0400438 if (update_refs && disk_bytenr > 0)
Filipe Manana2766ff62020-11-04 11:07:34 +0000439 args->bytes_found += extent_end - args->start;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000440 if (args->end == extent_end)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000441 break;
442
443 path->slots[0]++;
444 goto next_slot;
Chris Mason39279cc2007-06-12 06:35:45 -0400445 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000446
447 /*
448 * | ---- range to drop ----- |
449 * | ------ extent ------ |
450 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000451 if (args->start <= key.offset && args->end >= extent_end) {
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100452delete_extent_item:
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000453 if (del_nr == 0) {
454 del_slot = path->slots[0];
455 del_nr = 1;
456 } else {
457 BUG_ON(del_slot + del_nr != path->slots[0]);
458 del_nr++;
459 }
460
Josef Bacik5dc562c2012-08-17 13:14:17 -0400461 if (update_refs &&
462 extent_type == BTRFS_FILE_EXTENT_INLINE) {
Filipe Manana2766ff62020-11-04 11:07:34 +0000463 args->bytes_found += extent_end - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000464 extent_end = ALIGN(extent_end,
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400465 fs_info->sectorsize);
Josef Bacik5dc562c2012-08-17 13:14:17 -0400466 } else if (update_refs && disk_bytenr > 0) {
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800467 btrfs_init_generic_ref(&ref,
468 BTRFS_DROP_DELAYED_REF,
Boris Burkov457cb1d2023-03-28 16:04:02 -0700469 disk_bytenr, num_bytes, 0,
470 root->root_key.objectid);
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800471 btrfs_init_data_ref(&ref,
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000472 root->root_key.objectid,
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800473 key.objectid,
Nikolay Borisovf42c5da2021-10-12 11:21:35 +0300474 key.offset - extent_offset, 0,
475 false);
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800476 ret = btrfs_free_extent(trans, &ref);
Filipe Manana162d0532022-11-28 15:07:30 +0000477 if (ret) {
478 btrfs_abort_transaction(trans, ret);
479 break;
480 }
Filipe Manana2766ff62020-11-04 11:07:34 +0000481 args->bytes_found += extent_end - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000482 }
483
Filipe Manana5893dfb2020-11-04 11:07:32 +0000484 if (args->end == extent_end)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000485 break;
486
487 if (path->slots[0] + 1 < btrfs_header_nritems(leaf)) {
488 path->slots[0]++;
489 goto next_slot;
490 }
491
492 ret = btrfs_del_items(trans, root, path, del_slot,
493 del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100494 if (ret) {
Jeff Mahoney66642832016-06-10 18:19:25 -0400495 btrfs_abort_transaction(trans, ret);
Josef Bacik5dc562c2012-08-17 13:14:17 -0400496 break;
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100497 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000498
499 del_nr = 0;
500 del_slot = 0;
501
David Sterbab3b4aa72011-04-21 01:20:15 +0200502 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000503 continue;
504 }
505
Arnd Bergmann290342f2019-03-25 14:02:25 +0100506 BUG();
Chris Mason39279cc2007-06-12 06:35:45 -0400507 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000508
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100509 if (!ret && del_nr > 0) {
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000510 /*
511 * Set path->slots[0] to first slot, so that after the delete
512 * if items are move off from our leaf to its immediate left or
513 * right neighbor leafs, we end up with a correct and adjusted
Filipe Manana5893dfb2020-11-04 11:07:32 +0000514 * path->slots[0] for our insertion (if args->replace_extent).
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000515 */
516 path->slots[0] = del_slot;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000517 ret = btrfs_del_items(trans, root, path, del_slot, del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100518 if (ret)
Jeff Mahoney66642832016-06-10 18:19:25 -0400519 btrfs_abort_transaction(trans, ret);
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +0000520 }
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000521
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +0000522 leaf = path->nodes[0];
523 /*
524 * If btrfs_del_items() was called, it might have deleted a leaf, in
525 * which case it unlocked our path, so check path->locks[0] matches a
526 * write lock.
527 */
Filipe Manana7ecb4c32022-02-03 14:55:48 +0000528 if (!ret && args->replace_extent &&
Josef Bacikac5887c2020-08-20 11:46:10 -0400529 path->locks[0] == BTRFS_WRITE_LOCK &&
David Sterbae902baa2019-03-20 14:36:46 +0100530 btrfs_leaf_free_space(leaf) >=
Filipe Manana5893dfb2020-11-04 11:07:32 +0000531 sizeof(struct btrfs_item) + args->extent_item_size) {
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000532
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +0000533 key.objectid = ino;
534 key.type = BTRFS_EXTENT_DATA_KEY;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000535 key.offset = args->start;
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +0000536 if (!del_nr && path->slots[0] < btrfs_header_nritems(leaf)) {
537 struct btrfs_key slot_key;
538
539 btrfs_item_key_to_cpu(leaf, &slot_key, path->slots[0]);
540 if (btrfs_comp_cpu_keys(&key, &slot_key) > 0)
541 path->slots[0]++;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000542 }
Filipe Manana50564b62023-09-12 13:04:29 +0100543 btrfs_setup_item_for_insert(trans, root, path, &key,
544 args->extent_item_size);
Filipe Manana5893dfb2020-11-04 11:07:32 +0000545 args->extent_inserted = true;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000546 }
547
Filipe Manana5893dfb2020-11-04 11:07:32 +0000548 if (!args->path)
549 btrfs_free_path(path);
550 else if (!args->extent_inserted)
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000551 btrfs_release_path(path);
Filipe Manana5893dfb2020-11-04 11:07:32 +0000552out:
553 args->drop_end = found ? min(args->end, last_end) : args->end;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400554
Chris Mason39279cc2007-06-12 06:35:45 -0400555 return ret;
556}
557
Yan Zhengd899e052008-10-30 14:25:28 -0400558static int extent_mergeable(struct extent_buffer *leaf, int slot,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000559 u64 objectid, u64 bytenr, u64 orig_offset,
560 u64 *start, u64 *end)
Yan Zhengd899e052008-10-30 14:25:28 -0400561{
562 struct btrfs_file_extent_item *fi;
563 struct btrfs_key key;
564 u64 extent_end;
565
566 if (slot < 0 || slot >= btrfs_header_nritems(leaf))
567 return 0;
568
569 btrfs_item_key_to_cpu(leaf, &key, slot);
570 if (key.objectid != objectid || key.type != BTRFS_EXTENT_DATA_KEY)
571 return 0;
572
573 fi = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
574 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_REG ||
575 btrfs_file_extent_disk_bytenr(leaf, fi) != bytenr ||
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000576 btrfs_file_extent_offset(leaf, fi) != key.offset - orig_offset ||
Yan Zhengd899e052008-10-30 14:25:28 -0400577 btrfs_file_extent_compression(leaf, fi) ||
578 btrfs_file_extent_encryption(leaf, fi) ||
579 btrfs_file_extent_other_encoding(leaf, fi))
580 return 0;
581
582 extent_end = key.offset + btrfs_file_extent_num_bytes(leaf, fi);
583 if ((*start && *start != key.offset) || (*end && *end != extent_end))
584 return 0;
585
586 *start = key.offset;
587 *end = extent_end;
588 return 1;
589}
590
591/*
592 * Mark extent in the range start - end as written.
593 *
594 * This changes extent type from 'pre-allocated' to 'regular'. If only
595 * part of extent is marked as written, the extent will be split into
596 * two or three.
597 */
598int btrfs_mark_extent_written(struct btrfs_trans_handle *trans,
Nikolay Borisov7a6d7062017-02-20 13:50:48 +0200599 struct btrfs_inode *inode, u64 start, u64 end)
Yan Zhengd899e052008-10-30 14:25:28 -0400600{
Nikolay Borisov7a6d7062017-02-20 13:50:48 +0200601 struct btrfs_root *root = inode->root;
Yan Zhengd899e052008-10-30 14:25:28 -0400602 struct extent_buffer *leaf;
603 struct btrfs_path *path;
604 struct btrfs_file_extent_item *fi;
Qu Wenruo82fa1132019-04-04 14:45:35 +0800605 struct btrfs_ref ref = { 0 };
Yan Zhengd899e052008-10-30 14:25:28 -0400606 struct btrfs_key key;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000607 struct btrfs_key new_key;
Yan Zhengd899e052008-10-30 14:25:28 -0400608 u64 bytenr;
609 u64 num_bytes;
610 u64 extent_end;
Yan Zheng5d4f98a2009-06-10 10:45:14 -0400611 u64 orig_offset;
Yan Zhengd899e052008-10-30 14:25:28 -0400612 u64 other_start;
613 u64 other_end;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000614 u64 split;
615 int del_nr = 0;
616 int del_slot = 0;
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000617 int recow;
Ritesh Harjanie7b2ec32021-05-30 20:24:05 +0530618 int ret = 0;
Nikolay Borisov7a6d7062017-02-20 13:50:48 +0200619 u64 ino = btrfs_ino(inode);
Yan Zhengd899e052008-10-30 14:25:28 -0400620
Yan Zhengd899e052008-10-30 14:25:28 -0400621 path = btrfs_alloc_path();
Mark Fashehd8926bb2011-07-13 10:38:47 -0700622 if (!path)
623 return -ENOMEM;
Yan Zhengd899e052008-10-30 14:25:28 -0400624again:
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000625 recow = 0;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000626 split = start;
Li Zefan33345d012011-04-20 10:31:50 +0800627 key.objectid = ino;
Yan Zhengd899e052008-10-30 14:25:28 -0400628 key.type = BTRFS_EXTENT_DATA_KEY;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000629 key.offset = split;
Yan Zhengd899e052008-10-30 14:25:28 -0400630
631 ret = btrfs_search_slot(trans, root, &key, path, -1, 1);
Josef Bacik41415732011-03-16 13:59:32 -0400632 if (ret < 0)
633 goto out;
Yan Zhengd899e052008-10-30 14:25:28 -0400634 if (ret > 0 && path->slots[0] > 0)
635 path->slots[0]--;
636
637 leaf = path->nodes[0];
638 btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);
Josef Bacik9c8e63d2016-09-02 15:40:06 -0400639 if (key.objectid != ino ||
640 key.type != BTRFS_EXTENT_DATA_KEY) {
641 ret = -EINVAL;
642 btrfs_abort_transaction(trans, ret);
643 goto out;
644 }
Yan Zhengd899e052008-10-30 14:25:28 -0400645 fi = btrfs_item_ptr(leaf, path->slots[0],
646 struct btrfs_file_extent_item);
Josef Bacik9c8e63d2016-09-02 15:40:06 -0400647 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_PREALLOC) {
648 ret = -EINVAL;
649 btrfs_abort_transaction(trans, ret);
650 goto out;
651 }
Yan Zhengd899e052008-10-30 14:25:28 -0400652 extent_end = key.offset + btrfs_file_extent_num_bytes(leaf, fi);
Josef Bacik9c8e63d2016-09-02 15:40:06 -0400653 if (key.offset > start || extent_end < end) {
654 ret = -EINVAL;
655 btrfs_abort_transaction(trans, ret);
656 goto out;
657 }
Yan Zhengd899e052008-10-30 14:25:28 -0400658
659 bytenr = btrfs_file_extent_disk_bytenr(leaf, fi);
660 num_bytes = btrfs_file_extent_disk_num_bytes(leaf, fi);
Yan Zheng5d4f98a2009-06-10 10:45:14 -0400661 orig_offset = key.offset - btrfs_file_extent_offset(leaf, fi);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000662 memcpy(&new_key, &key, sizeof(new_key));
663
664 if (start == key.offset && end < extent_end) {
665 other_start = 0;
666 other_end = start;
667 if (extent_mergeable(leaf, path->slots[0] - 1,
Li Zefan33345d012011-04-20 10:31:50 +0800668 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000669 &other_start, &other_end)) {
670 new_key.offset = end;
Filipe Manana50564b62023-09-12 13:04:29 +0100671 btrfs_set_item_key_safe(trans, path, &new_key);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000672 fi = btrfs_item_ptr(leaf, path->slots[0],
673 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -0400674 btrfs_set_file_extent_generation(leaf, fi,
675 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000676 btrfs_set_file_extent_num_bytes(leaf, fi,
677 extent_end - end);
678 btrfs_set_file_extent_offset(leaf, fi,
679 end - orig_offset);
680 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
681 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -0400682 btrfs_set_file_extent_generation(leaf, fi,
683 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000684 btrfs_set_file_extent_num_bytes(leaf, fi,
685 end - other_start);
Filipe Manana50564b62023-09-12 13:04:29 +0100686 btrfs_mark_buffer_dirty(trans, leaf);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000687 goto out;
688 }
689 }
690
691 if (start > key.offset && end == extent_end) {
692 other_start = end;
693 other_end = 0;
694 if (extent_mergeable(leaf, path->slots[0] + 1,
Li Zefan33345d012011-04-20 10:31:50 +0800695 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000696 &other_start, &other_end)) {
697 fi = btrfs_item_ptr(leaf, path->slots[0],
698 struct btrfs_file_extent_item);
699 btrfs_set_file_extent_num_bytes(leaf, fi,
700 start - key.offset);
Josef Bacik224ecce2012-08-16 16:32:06 -0400701 btrfs_set_file_extent_generation(leaf, fi,
702 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000703 path->slots[0]++;
704 new_key.offset = start;
Filipe Manana50564b62023-09-12 13:04:29 +0100705 btrfs_set_item_key_safe(trans, path, &new_key);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000706
707 fi = btrfs_item_ptr(leaf, path->slots[0],
708 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -0400709 btrfs_set_file_extent_generation(leaf, fi,
710 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000711 btrfs_set_file_extent_num_bytes(leaf, fi,
712 other_end - start);
713 btrfs_set_file_extent_offset(leaf, fi,
714 start - orig_offset);
Filipe Manana50564b62023-09-12 13:04:29 +0100715 btrfs_mark_buffer_dirty(trans, leaf);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000716 goto out;
717 }
718 }
Yan Zhengd899e052008-10-30 14:25:28 -0400719
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000720 while (start > key.offset || end < extent_end) {
721 if (key.offset == start)
722 split = end;
Yan Zhengd899e052008-10-30 14:25:28 -0400723
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000724 new_key.offset = split;
725 ret = btrfs_duplicate_item(trans, root, path, &new_key);
726 if (ret == -EAGAIN) {
David Sterbab3b4aa72011-04-21 01:20:15 +0200727 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000728 goto again;
Yan Zhengd899e052008-10-30 14:25:28 -0400729 }
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100730 if (ret < 0) {
Jeff Mahoney66642832016-06-10 18:19:25 -0400731 btrfs_abort_transaction(trans, ret);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100732 goto out;
733 }
Yan Zhengd899e052008-10-30 14:25:28 -0400734
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000735 leaf = path->nodes[0];
736 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
Yan Zhengd899e052008-10-30 14:25:28 -0400737 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -0400738 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan Zhengd899e052008-10-30 14:25:28 -0400739 btrfs_set_file_extent_num_bytes(leaf, fi,
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000740 split - key.offset);
741
742 fi = btrfs_item_ptr(leaf, path->slots[0],
743 struct btrfs_file_extent_item);
744
Josef Bacik224ecce2012-08-16 16:32:06 -0400745 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000746 btrfs_set_file_extent_offset(leaf, fi, split - orig_offset);
747 btrfs_set_file_extent_num_bytes(leaf, fi,
748 extent_end - split);
Filipe Manana50564b62023-09-12 13:04:29 +0100749 btrfs_mark_buffer_dirty(trans, leaf);
Yan Zhengd899e052008-10-30 14:25:28 -0400750
Qu Wenruo82fa1132019-04-04 14:45:35 +0800751 btrfs_init_generic_ref(&ref, BTRFS_ADD_DELAYED_REF, bytenr,
Boris Burkov457cb1d2023-03-28 16:04:02 -0700752 num_bytes, 0, root->root_key.objectid);
Qu Wenruo82fa1132019-04-04 14:45:35 +0800753 btrfs_init_data_ref(&ref, root->root_key.objectid, ino,
Nikolay Borisovf42c5da2021-10-12 11:21:35 +0300754 orig_offset, 0, false);
Qu Wenruo82fa1132019-04-04 14:45:35 +0800755 ret = btrfs_inc_extent_ref(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -0400756 if (ret) {
757 btrfs_abort_transaction(trans, ret);
758 goto out;
759 }
Yan Zhengd899e052008-10-30 14:25:28 -0400760
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000761 if (split == start) {
762 key.offset = start;
763 } else {
Josef Bacik9c8e63d2016-09-02 15:40:06 -0400764 if (start != key.offset) {
765 ret = -EINVAL;
766 btrfs_abort_transaction(trans, ret);
767 goto out;
768 }
Yan Zhengd899e052008-10-30 14:25:28 -0400769 path->slots[0]--;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000770 extent_end = end;
Yan Zhengd899e052008-10-30 14:25:28 -0400771 }
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000772 recow = 1;
Yan Zhengd899e052008-10-30 14:25:28 -0400773 }
774
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000775 other_start = end;
776 other_end = 0;
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800777 btrfs_init_generic_ref(&ref, BTRFS_DROP_DELAYED_REF, bytenr,
Boris Burkov457cb1d2023-03-28 16:04:02 -0700778 num_bytes, 0, root->root_key.objectid);
Nikolay Borisovf42c5da2021-10-12 11:21:35 +0300779 btrfs_init_data_ref(&ref, root->root_key.objectid, ino, orig_offset,
780 0, false);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000781 if (extent_mergeable(leaf, path->slots[0] + 1,
Li Zefan33345d012011-04-20 10:31:50 +0800782 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000783 &other_start, &other_end)) {
784 if (recow) {
David Sterbab3b4aa72011-04-21 01:20:15 +0200785 btrfs_release_path(path);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000786 goto again;
787 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000788 extent_end = other_end;
789 del_slot = path->slots[0] + 1;
790 del_nr++;
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800791 ret = btrfs_free_extent(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -0400792 if (ret) {
793 btrfs_abort_transaction(trans, ret);
794 goto out;
795 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000796 }
797 other_start = 0;
798 other_end = start;
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000799 if (extent_mergeable(leaf, path->slots[0] - 1,
Li Zefan33345d012011-04-20 10:31:50 +0800800 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000801 &other_start, &other_end)) {
802 if (recow) {
David Sterbab3b4aa72011-04-21 01:20:15 +0200803 btrfs_release_path(path);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000804 goto again;
805 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000806 key.offset = other_start;
807 del_slot = path->slots[0];
808 del_nr++;
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800809 ret = btrfs_free_extent(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -0400810 if (ret) {
811 btrfs_abort_transaction(trans, ret);
812 goto out;
813 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000814 }
815 if (del_nr == 0) {
Shaohua Li3f6fae92010-02-11 07:43:00 +0000816 fi = btrfs_item_ptr(leaf, path->slots[0],
817 struct btrfs_file_extent_item);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000818 btrfs_set_file_extent_type(leaf, fi,
819 BTRFS_FILE_EXTENT_REG);
Josef Bacik224ecce2012-08-16 16:32:06 -0400820 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Filipe Manana50564b62023-09-12 13:04:29 +0100821 btrfs_mark_buffer_dirty(trans, leaf);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000822 } else {
Shaohua Li3f6fae92010-02-11 07:43:00 +0000823 fi = btrfs_item_ptr(leaf, del_slot - 1,
824 struct btrfs_file_extent_item);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000825 btrfs_set_file_extent_type(leaf, fi,
826 BTRFS_FILE_EXTENT_REG);
Josef Bacik224ecce2012-08-16 16:32:06 -0400827 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000828 btrfs_set_file_extent_num_bytes(leaf, fi,
829 extent_end - key.offset);
Filipe Manana50564b62023-09-12 13:04:29 +0100830 btrfs_mark_buffer_dirty(trans, leaf);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +0000831
832 ret = btrfs_del_items(trans, root, path, del_slot, del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100833 if (ret < 0) {
Jeff Mahoney66642832016-06-10 18:19:25 -0400834 btrfs_abort_transaction(trans, ret);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100835 goto out;
836 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000837 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000838out:
Yan Zhengd899e052008-10-30 14:25:28 -0400839 btrfs_free_path(path);
Ritesh Harjanie7b2ec32021-05-30 20:24:05 +0530840 return ret;
Yan Zhengd899e052008-10-30 14:25:28 -0400841}
842
Chris Mason39279cc2007-06-12 06:35:45 -0400843/*
Chris Masonb1bf8622011-02-28 09:52:08 -0500844 * on error we return an unlocked page and the error value
845 * on success we return a locked page and 0
846 */
Chris Masonbb1591b42015-12-14 15:40:44 -0800847static int prepare_uptodate_page(struct inode *inode,
848 struct page *page, u64 pos,
Josef Bacikb63164292011-09-30 15:23:54 -0400849 bool force_uptodate)
Chris Masonb1bf8622011-02-28 09:52:08 -0500850{
Matthew Wilcox (Oracle)fb124892022-04-29 11:12:16 -0400851 struct folio *folio = page_folio(page);
Chris Masonb1bf8622011-02-28 09:52:08 -0500852 int ret = 0;
853
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300854 if (((pos & (PAGE_SIZE - 1)) || force_uptodate) &&
Josef Bacikb63164292011-09-30 15:23:54 -0400855 !PageUptodate(page)) {
Matthew Wilcox (Oracle)fb124892022-04-29 11:12:16 -0400856 ret = btrfs_read_folio(NULL, folio);
Chris Masonb1bf8622011-02-28 09:52:08 -0500857 if (ret)
858 return ret;
859 lock_page(page);
860 if (!PageUptodate(page)) {
861 unlock_page(page);
862 return -EIO;
863 }
Qu Wenruoe0467862021-07-26 14:35:02 +0800864
865 /*
Matthew Wilcox (Oracle)fb124892022-04-29 11:12:16 -0400866 * Since btrfs_read_folio() will unlock the folio before it
Matthew Wilcox (Oracle)f913cff2022-04-30 23:15:16 -0400867 * returns, there is a window where btrfs_release_folio() can be
Qu Wenruo7c11d0a2021-07-26 14:35:03 +0800868 * called to release the page. Here we check both inode
869 * mapping and PagePrivate() to make sure the page was not
870 * released.
Qu Wenruoe0467862021-07-26 14:35:02 +0800871 *
872 * The private flag check is essential for subpage as we need
Qu Wenruocfbf07e2023-11-17 14:24:14 +1030873 * to store extra bitmap using folio private.
Qu Wenruoe0467862021-07-26 14:35:02 +0800874 */
Qu Wenruocfbf07e2023-11-17 14:24:14 +1030875 if (page->mapping != inode->i_mapping || !folio_test_private(folio)) {
Chris Masonbb1591b42015-12-14 15:40:44 -0800876 unlock_page(page);
877 return -EAGAIN;
878 }
Chris Masonb1bf8622011-02-28 09:52:08 -0500879 }
880 return 0;
881}
882
Matthew Wilcox (Oracle)ffc143d2023-05-26 16:43:23 -0400883static fgf_t get_prepare_fgp_flags(bool nowait)
Stefan Roeschfc226002022-09-12 12:27:47 -0700884{
Matthew Wilcox (Oracle)ffc143d2023-05-26 16:43:23 -0400885 fgf_t fgp_flags = FGP_LOCK | FGP_ACCESSED | FGP_CREAT;
Stefan Roeschfc226002022-09-12 12:27:47 -0700886
887 if (nowait)
888 fgp_flags |= FGP_NOWAIT;
889
890 return fgp_flags;
891}
892
893static gfp_t get_prepare_gfp_flags(struct inode *inode, bool nowait)
894{
895 gfp_t gfp;
896
897 gfp = btrfs_alloc_write_mask(inode->i_mapping);
898 if (nowait) {
899 gfp &= ~__GFP_DIRECT_RECLAIM;
900 gfp |= GFP_NOWAIT;
901 }
902
903 return gfp;
904}
905
Chris Masonb1bf8622011-02-28 09:52:08 -0500906/*
Miao Xie376cc682013-12-10 19:25:04 +0800907 * this just gets pages into the page cache and locks them down.
Chris Mason39279cc2007-06-12 06:35:45 -0400908 */
Miao Xieb37392e2013-12-10 19:25:03 +0800909static noinline int prepare_pages(struct inode *inode, struct page **pages,
910 size_t num_pages, loff_t pos,
Stefan Roeschfc226002022-09-12 12:27:47 -0700911 size_t write_bytes, bool force_uptodate,
912 bool nowait)
Chris Mason39279cc2007-06-12 06:35:45 -0400913{
914 int i;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300915 unsigned long index = pos >> PAGE_SHIFT;
Stefan Roeschfc226002022-09-12 12:27:47 -0700916 gfp_t mask = get_prepare_gfp_flags(inode, nowait);
Matthew Wilcox (Oracle)ffc143d2023-05-26 16:43:23 -0400917 fgf_t fgp_flags = get_prepare_fgp_flags(nowait);
Filipe David Borba Mananafc28b622013-12-13 19:39:34 +0000918 int err = 0;
Miao Xie376cc682013-12-10 19:25:04 +0800919 int faili;
Chris Mason8c2383c2007-06-18 09:57:58 -0400920
Chris Mason39279cc2007-06-12 06:35:45 -0400921 for (i = 0; i < num_pages; i++) {
Chris Masonbb1591b42015-12-14 15:40:44 -0800922again:
Stefan Roeschfc226002022-09-12 12:27:47 -0700923 pages[i] = pagecache_get_page(inode->i_mapping, index + i,
924 fgp_flags, mask | __GFP_WRITE);
Chris Mason39279cc2007-06-12 06:35:45 -0400925 if (!pages[i]) {
Chris Masonb1bf8622011-02-28 09:52:08 -0500926 faili = i - 1;
Stefan Roeschfc226002022-09-12 12:27:47 -0700927 if (nowait)
928 err = -EAGAIN;
929 else
930 err = -ENOMEM;
Chris Masonb1bf8622011-02-28 09:52:08 -0500931 goto fail;
932 }
933
Qu Wenruo32443de2021-01-26 16:34:00 +0800934 err = set_page_extent_mapped(pages[i]);
935 if (err < 0) {
936 faili = i;
937 goto fail;
938 }
939
Chris Masonb1bf8622011-02-28 09:52:08 -0500940 if (i == 0)
Chris Masonbb1591b42015-12-14 15:40:44 -0800941 err = prepare_uptodate_page(inode, pages[i], pos,
Josef Bacikb63164292011-09-30 15:23:54 -0400942 force_uptodate);
Chris Masonbb1591b42015-12-14 15:40:44 -0800943 if (!err && i == num_pages - 1)
944 err = prepare_uptodate_page(inode, pages[i],
Josef Bacikb63164292011-09-30 15:23:54 -0400945 pos + write_bytes, false);
Chris Masonb1bf8622011-02-28 09:52:08 -0500946 if (err) {
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300947 put_page(pages[i]);
Stefan Roeschfc226002022-09-12 12:27:47 -0700948 if (!nowait && err == -EAGAIN) {
Chris Masonbb1591b42015-12-14 15:40:44 -0800949 err = 0;
950 goto again;
951 }
Chris Masonb1bf8622011-02-28 09:52:08 -0500952 faili = i - 1;
953 goto fail;
Chris Mason39279cc2007-06-12 06:35:45 -0400954 }
Chris Masonccd467d2007-06-28 15:57:36 -0400955 wait_on_page_writeback(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -0400956 }
Chris Masone6dcd2d2008-07-17 12:53:50 -0400957
Chris Mason39279cc2007-06-12 06:35:45 -0400958 return 0;
Chris Masonb1bf8622011-02-28 09:52:08 -0500959fail:
960 while (faili >= 0) {
961 unlock_page(pages[faili]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300962 put_page(pages[faili]);
Chris Masonb1bf8622011-02-28 09:52:08 -0500963 faili--;
964 }
965 return err;
966
Chris Mason39279cc2007-06-12 06:35:45 -0400967}
968
Miao Xie376cc682013-12-10 19:25:04 +0800969/*
970 * This function locks the extent and properly waits for data=ordered extents
971 * to finish before allowing the pages to be modified if need.
972 *
973 * The return value:
974 * 1 - the extent is locked
975 * 0 - the extent is not locked, and everything is OK
976 * -EAGAIN - need re-prepare the pages
977 * the other < 0 number - Something wrong happens
978 */
979static noinline int
Nikolay Borisov2cff578c2017-02-20 13:50:51 +0200980lock_and_cleanup_extent_if_need(struct btrfs_inode *inode, struct page **pages,
Miao Xie376cc682013-12-10 19:25:04 +0800981 size_t num_pages, loff_t pos,
Chandan Rajendra2e78c922016-01-21 15:55:53 +0530982 size_t write_bytes,
Stefan Roesch2fcab922022-09-12 12:27:48 -0700983 u64 *lockstart, u64 *lockend, bool nowait,
Miao Xie376cc682013-12-10 19:25:04 +0800984 struct extent_state **cached_state)
985{
David Sterba3ffbd682018-06-29 10:56:42 +0200986 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Miao Xie376cc682013-12-10 19:25:04 +0800987 u64 start_pos;
988 u64 last_pos;
989 int i;
990 int ret = 0;
991
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400992 start_pos = round_down(pos, fs_info->sectorsize);
Qu Wenruoe21139c2020-08-13 14:33:52 +0800993 last_pos = round_up(pos + write_bytes, fs_info->sectorsize) - 1;
Miao Xie376cc682013-12-10 19:25:04 +0800994
Filipe Mananae3b8a482017-11-04 00:16:59 +0000995 if (start_pos < inode->vfs_inode.i_size) {
Miao Xie376cc682013-12-10 19:25:04 +0800996 struct btrfs_ordered_extent *ordered;
Filipe Mananaa7e3b972017-04-03 10:45:46 +0100997
Stefan Roesch2fcab922022-09-12 12:27:48 -0700998 if (nowait) {
Josef Bacik83ae4132022-09-30 16:45:09 -0400999 if (!try_lock_extent(&inode->io_tree, start_pos, last_pos,
1000 cached_state)) {
Stefan Roesch2fcab922022-09-12 12:27:48 -07001001 for (i = 0; i < num_pages; i++) {
1002 unlock_page(pages[i]);
1003 put_page(pages[i]);
1004 pages[i] = NULL;
1005 }
1006
1007 return -EAGAIN;
1008 }
1009 } else {
1010 lock_extent(&inode->io_tree, start_pos, last_pos, cached_state);
1011 }
1012
Miao Xieb88935b2014-03-06 13:54:58 +08001013 ordered = btrfs_lookup_ordered_range(inode, start_pos,
1014 last_pos - start_pos + 1);
Miao Xie376cc682013-12-10 19:25:04 +08001015 if (ordered &&
Omar Sandovalbffe6332019-12-02 17:34:19 -08001016 ordered->file_offset + ordered->num_bytes > start_pos &&
Miao Xie376cc682013-12-10 19:25:04 +08001017 ordered->file_offset <= last_pos) {
Josef Bacik570eb972022-09-09 17:53:43 -04001018 unlock_extent(&inode->io_tree, start_pos, last_pos,
1019 cached_state);
Miao Xie376cc682013-12-10 19:25:04 +08001020 for (i = 0; i < num_pages; i++) {
1021 unlock_page(pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001022 put_page(pages[i]);
Miao Xie376cc682013-12-10 19:25:04 +08001023 }
Christoph Hellwig36d45562022-12-12 08:12:43 +01001024 btrfs_start_ordered_extent(ordered);
Miao Xieb88935b2014-03-06 13:54:58 +08001025 btrfs_put_ordered_extent(ordered);
1026 return -EAGAIN;
Miao Xie376cc682013-12-10 19:25:04 +08001027 }
1028 if (ordered)
1029 btrfs_put_ordered_extent(ordered);
Chris Mason7703bdd2018-06-20 07:56:11 -07001030
Miao Xie376cc682013-12-10 19:25:04 +08001031 *lockstart = start_pos;
1032 *lockend = last_pos;
1033 ret = 1;
1034 }
1035
Chris Mason7703bdd2018-06-20 07:56:11 -07001036 /*
Qu Wenruo32443de2021-01-26 16:34:00 +08001037 * We should be called after prepare_pages() which should have locked
1038 * all pages in the range.
Chris Mason7703bdd2018-06-20 07:56:11 -07001039 */
Qu Wenruo32443de2021-01-26 16:34:00 +08001040 for (i = 0; i < num_pages; i++)
Miao Xie376cc682013-12-10 19:25:04 +08001041 WARN_ON(!PageLocked(pages[i]));
Miao Xie376cc682013-12-10 19:25:04 +08001042
1043 return ret;
1044}
1045
Filipe Mananad7a8ab42022-03-23 16:19:25 +00001046/*
1047 * Check if we can do nocow write into the range [@pos, @pos + @write_bytes)
1048 *
1049 * @pos: File offset.
1050 * @write_bytes: The length to write, will be updated to the nocow writeable
1051 * range.
1052 *
1053 * This function will flush ordered extents in the range to ensure proper
1054 * nocow checks.
1055 *
1056 * Return:
1057 * > 0 If we can nocow, and updates @write_bytes.
1058 * 0 If we can't do a nocow write.
1059 * -EAGAIN If we can't do a nocow write because snapshoting of the inode's
1060 * root is in progress.
1061 * < 0 If an error happened.
1062 *
1063 * NOTE: Callers need to call btrfs_check_nocow_unlock() if we return > 0.
1064 */
1065int btrfs_check_nocow_lock(struct btrfs_inode *inode, loff_t pos,
Josef Bacik80f9d242022-09-12 12:27:46 -07001066 size_t *write_bytes, bool nowait)
Josef Bacik7ee9e442013-06-21 16:37:03 -04001067{
David Sterba3ffbd682018-06-29 10:56:42 +02001068 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001069 struct btrfs_root *root = inode->root;
Josef Bacik632ddfa2022-09-30 16:45:10 -04001070 struct extent_state *cached_state = NULL;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001071 u64 lockstart, lockend;
1072 u64 num_bytes;
1073 int ret;
1074
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001075 if (!(inode->flags & (BTRFS_INODE_NODATACOW | BTRFS_INODE_PREALLOC)))
1076 return 0;
1077
Filipe Mananad7a8ab42022-03-23 16:19:25 +00001078 if (!btrfs_drew_try_write_lock(&root->snapshot_lock))
Nikolay Borisov5f791ec2019-05-07 10:23:46 +03001079 return -EAGAIN;
Miao Xie8257b2d2014-03-06 13:38:19 +08001080
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001081 lockstart = round_down(pos, fs_info->sectorsize);
Jeff Mahoneyda170662016-06-15 09:22:56 -04001082 lockend = round_up(pos + *write_bytes,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001083 fs_info->sectorsize) - 1;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001084 num_bytes = lockend - lockstart + 1;
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001085
Josef Bacik80f9d242022-09-12 12:27:46 -07001086 if (nowait) {
Josef Bacik632ddfa2022-09-30 16:45:10 -04001087 if (!btrfs_try_lock_ordered_range(inode, lockstart, lockend,
1088 &cached_state)) {
Josef Bacik80f9d242022-09-12 12:27:46 -07001089 btrfs_drew_write_unlock(&root->snapshot_lock);
1090 return -EAGAIN;
1091 }
Josef Bacik7ee9e442013-06-21 16:37:03 -04001092 } else {
Josef Bacik632ddfa2022-09-30 16:45:10 -04001093 btrfs_lock_and_flush_ordered_range(inode, lockstart, lockend,
1094 &cached_state);
Josef Bacik80f9d242022-09-12 12:27:46 -07001095 }
1096 ret = can_nocow_extent(&inode->vfs_inode, lockstart, &num_bytes,
1097 NULL, NULL, NULL, nowait, false);
1098 if (ret <= 0)
1099 btrfs_drew_write_unlock(&root->snapshot_lock);
1100 else
Miao Xiec9339562014-02-27 13:58:04 +08001101 *write_bytes = min_t(size_t, *write_bytes ,
1102 num_bytes - pos + lockstart);
Josef Bacik632ddfa2022-09-30 16:45:10 -04001103 unlock_extent(&inode->io_tree, lockstart, lockend, &cached_state);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001104
1105 return ret;
1106}
1107
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001108void btrfs_check_nocow_unlock(struct btrfs_inode *inode)
1109{
1110 btrfs_drew_write_unlock(&inode->root->snapshot_lock);
1111}
1112
Christian Braunerefd34f02023-09-20 16:41:47 +02001113static void update_time_for_write(struct inode *inode)
1114{
Jeff Laytonb1c38a12023-10-04 14:52:08 -04001115 struct timespec64 now, ts;
Christian Braunerefd34f02023-09-20 16:41:47 +02001116
1117 if (IS_NOCMTIME(inode))
1118 return;
1119
1120 now = current_time(inode);
Jeff Laytonb1c38a12023-10-04 14:52:08 -04001121 ts = inode_get_mtime(inode);
1122 if (!timespec64_equal(&ts, &now))
1123 inode_set_mtime_to_ts(inode, now);
Christian Braunerefd34f02023-09-20 16:41:47 +02001124
Jeff Laytonb1c38a12023-10-04 14:52:08 -04001125 ts = inode_get_ctime(inode);
1126 if (!timespec64_equal(&ts, &now))
Christian Braunerefd34f02023-09-20 16:41:47 +02001127 inode_set_ctime_to_ts(inode, now);
1128
1129 if (IS_I_VERSION(inode))
1130 inode_inc_iversion(inode);
1131}
1132
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05001133static int btrfs_write_check(struct kiocb *iocb, struct iov_iter *from,
1134 size_t count)
1135{
1136 struct file *file = iocb->ki_filp;
1137 struct inode *inode = file_inode(file);
David Sterba41044b42023-09-14 16:45:41 +02001138 struct btrfs_fs_info *fs_info = inode_to_fs_info(inode);
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05001139 loff_t pos = iocb->ki_pos;
1140 int ret;
1141 loff_t oldsize;
1142 loff_t start_pos;
1143
Filipe Mananad7a8ab42022-03-23 16:19:25 +00001144 /*
1145 * Quickly bail out on NOWAIT writes if we don't have the nodatacow or
1146 * prealloc flags, as without those flags we always have to COW. We will
1147 * later check if we can really COW into the target range (using
1148 * can_nocow_extent() at btrfs_get_blocks_direct_write()).
1149 */
1150 if ((iocb->ki_flags & IOCB_NOWAIT) &&
1151 !(BTRFS_I(inode)->flags & (BTRFS_INODE_NODATACOW | BTRFS_INODE_PREALLOC)))
1152 return -EAGAIN;
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05001153
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05001154 ret = file_remove_privs(file);
1155 if (ret)
1156 return ret;
1157
1158 /*
1159 * We reserve space for updating the inode when we reserve space for the
1160 * extent we are going to write, so we will enospc out there. We don't
1161 * need to start yet another transaction to update the inode as we will
1162 * update the inode when we finish writing whatever data we write.
1163 */
Christian Braunerefd34f02023-09-20 16:41:47 +02001164 update_time_for_write(inode);
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05001165
1166 start_pos = round_down(pos, fs_info->sectorsize);
1167 oldsize = i_size_read(inode);
1168 if (start_pos > oldsize) {
1169 /* Expand hole size to cover write data, preventing empty gap */
1170 loff_t end_pos = round_up(pos + count, fs_info->sectorsize);
1171
Nikolay Borisovb06359a32020-11-02 16:49:04 +02001172 ret = btrfs_cont_expand(BTRFS_I(inode), oldsize, end_pos);
Christoph Hellwig0d625442023-06-01 16:58:53 +02001173 if (ret)
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05001174 return ret;
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05001175 }
1176
1177 return 0;
1178}
1179
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001180static noinline ssize_t btrfs_buffered_write(struct kiocb *iocb,
1181 struct iov_iter *i)
Josef Bacik4b46fce2010-05-23 11:00:55 -04001182{
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001183 struct file *file = iocb->ki_filp;
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001184 loff_t pos;
Al Viro496ad9a2013-01-23 17:07:38 -05001185 struct inode *inode = file_inode(file);
David Sterba41044b42023-09-14 16:45:41 +02001186 struct btrfs_fs_info *fs_info = inode_to_fs_info(inode);
Josef Bacik11c65dc2010-05-23 11:07:21 -04001187 struct page **pages = NULL;
Qu Wenruo364ecf32017-02-27 15:10:38 +08001188 struct extent_changeset *data_reserved = NULL;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001189 u64 release_bytes = 0;
Miao Xie376cc682013-12-10 19:25:04 +08001190 u64 lockstart;
1191 u64 lockend;
Josef Bacikd0215f32011-01-25 14:57:24 -05001192 size_t num_written = 0;
1193 int nrptrs;
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001194 ssize_t ret;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001195 bool only_release_metadata = false;
Josef Bacikb63164292011-09-30 15:23:54 -04001196 bool force_page_uptodate = false;
Goldwyn Rodrigues5e8b9ef2020-09-24 11:39:13 -05001197 loff_t old_isize = i_size_read(inode);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001198 unsigned int ilock_flags = 0;
Stefan Roesch304e45a2022-09-12 12:27:49 -07001199 const bool nowait = (iocb->ki_flags & IOCB_NOWAIT);
Stefan Roesch965f47ae2022-09-12 12:27:50 -07001200 unsigned int bdp_flags = (nowait ? BDP_ASYNC : 0);
Chris Masoncb843a62008-10-03 12:30:02 -04001201
Stefan Roesch304e45a2022-09-12 12:27:49 -07001202 if (nowait)
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001203 ilock_flags |= BTRFS_ILOCK_TRY;
1204
David Sterba29b63522022-10-27 02:41:32 +02001205 ret = btrfs_inode_lock(BTRFS_I(inode), ilock_flags);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001206 if (ret < 0)
1207 return ret;
1208
1209 ret = generic_write_checks(iocb, i);
1210 if (ret <= 0)
1211 goto out;
1212
1213 ret = btrfs_write_check(iocb, i, ret);
1214 if (ret < 0)
1215 goto out;
1216
1217 pos = iocb->ki_pos;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001218 nrptrs = min(DIV_ROUND_UP(iov_iter_count(i), PAGE_SIZE),
1219 PAGE_SIZE / (sizeof(struct page *)));
Wu Fengguang142349f2011-12-16 12:32:57 -05001220 nrptrs = min(nrptrs, current->nr_dirtied_pause - current->nr_dirtied);
1221 nrptrs = max(nrptrs, 8);
David Sterba31e818f2015-02-20 18:00:26 +01001222 pages = kmalloc_array(nrptrs, sizeof(struct page *), GFP_KERNEL);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001223 if (!pages) {
1224 ret = -ENOMEM;
1225 goto out;
1226 }
Chris Masonab93dbe2009-10-01 12:29:10 -04001227
Josef Bacikd0215f32011-01-25 14:57:24 -05001228 while (iov_iter_count(i) > 0) {
Filipe Mananac67d9702019-09-30 10:20:25 +01001229 struct extent_state *cached_state = NULL;
Johannes Thumshirn70730172018-12-05 15:23:03 +01001230 size_t offset = offset_in_page(pos);
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301231 size_t sector_offset;
Josef Bacikd0215f32011-01-25 14:57:24 -05001232 size_t write_bytes = min(iov_iter_count(i),
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001233 nrptrs * (size_t)PAGE_SIZE -
Chris Mason8c2383c2007-06-18 09:57:58 -04001234 offset);
Goldwyn Rodrigueseefa45f52020-09-25 15:36:38 -05001235 size_t num_pages;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001236 size_t reserve_bytes;
Josef Bacikd0215f32011-01-25 14:57:24 -05001237 size_t dirty_pages;
1238 size_t copied;
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301239 size_t dirty_sectors;
1240 size_t num_sectors;
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001241 int extents_locked;
Chris Mason39279cc2007-06-12 06:35:45 -04001242
Xin Zhong914ee292010-12-09 09:30:14 +00001243 /*
1244 * Fault pages before locking them in prepare_pages
1245 * to avoid recursive lock
1246 */
Andreas Gruenbachera6294592021-08-02 14:54:16 +02001247 if (unlikely(fault_in_iov_iter_readable(i, write_bytes))) {
Xin Zhong914ee292010-12-09 09:30:14 +00001248 ret = -EFAULT;
Josef Bacikd0215f32011-01-25 14:57:24 -05001249 break;
Xin Zhong914ee292010-12-09 09:30:14 +00001250 }
1251
Filipe Mananaa0e248b2019-10-11 16:41:20 +01001252 only_release_metadata = false;
Jeff Mahoneyda170662016-06-15 09:22:56 -04001253 sector_offset = pos & (fs_info->sectorsize - 1);
Qu Wenruod9d8b2a2015-09-08 17:22:43 +08001254
Qu Wenruo364ecf32017-02-27 15:10:38 +08001255 extent_changeset_release(data_reserved);
Nikolay Borisov36ea6f32020-06-03 08:55:41 +03001256 ret = btrfs_check_data_free_space(BTRFS_I(inode),
1257 &data_reserved, pos,
Stefan Roesch304e45a2022-09-12 12:27:49 -07001258 write_bytes, nowait);
Josef Bacikc6887cd2016-03-25 13:26:00 -04001259 if (ret < 0) {
Josef Bacik80f9d242022-09-12 12:27:46 -07001260 int can_nocow;
1261
Stefan Roesch304e45a2022-09-12 12:27:49 -07001262 if (nowait && (ret == -ENOSPC || ret == -EAGAIN)) {
1263 ret = -EAGAIN;
1264 break;
1265 }
1266
Goldwyn Rodrigueseefa45f52020-09-25 15:36:38 -05001267 /*
1268 * If we don't have to COW at the offset, reserve
1269 * metadata only. write_bytes may get smaller than
1270 * requested here.
1271 */
Josef Bacik80f9d242022-09-12 12:27:46 -07001272 can_nocow = btrfs_check_nocow_lock(BTRFS_I(inode), pos,
Stefan Roesch304e45a2022-09-12 12:27:49 -07001273 &write_bytes, nowait);
Josef Bacik80f9d242022-09-12 12:27:46 -07001274 if (can_nocow < 0)
1275 ret = can_nocow;
1276 if (can_nocow > 0)
1277 ret = 0;
1278 if (ret)
Josef Bacikc6887cd2016-03-25 13:26:00 -04001279 break;
Josef Bacik80f9d242022-09-12 12:27:46 -07001280 only_release_metadata = true;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001281 }
Zhao Lei4da2e262016-01-06 18:24:43 +08001282
Goldwyn Rodrigueseefa45f52020-09-25 15:36:38 -05001283 num_pages = DIV_ROUND_UP(write_bytes + offset, PAGE_SIZE);
1284 WARN_ON(num_pages > nrptrs);
1285 reserve_bytes = round_up(write_bytes + sector_offset,
1286 fs_info->sectorsize);
Josef Bacik8b62f87b2017-10-19 14:15:55 -04001287 WARN_ON(reserve_bytes == 0);
Nikolay Borisov9f3db422017-02-20 13:50:41 +02001288 ret = btrfs_delalloc_reserve_metadata(BTRFS_I(inode),
Omar Sandoval28c9b1e2019-11-18 22:45:55 -08001289 reserve_bytes,
Stefan Roesch304e45a2022-09-12 12:27:49 -07001290 reserve_bytes, nowait);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001291 if (ret) {
1292 if (!only_release_metadata)
Nikolay Borisov25ce28c2020-06-03 08:55:39 +03001293 btrfs_free_reserved_data_space(BTRFS_I(inode),
Qu Wenruobc42bda2017-02-27 15:10:39 +08001294 data_reserved, pos,
1295 write_bytes);
Miao Xie8257b2d2014-03-06 13:38:19 +08001296 else
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001297 btrfs_check_nocow_unlock(BTRFS_I(inode));
Filipe Mananaa348c8d2022-11-02 12:46:35 +00001298
1299 if (nowait && ret == -ENOSPC)
1300 ret = -EAGAIN;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001301 break;
1302 }
1303
1304 release_bytes = reserve_bytes;
Miao Xie376cc682013-12-10 19:25:04 +08001305again:
Stefan Roesch965f47ae2022-09-12 12:27:50 -07001306 ret = balance_dirty_pages_ratelimited_flags(inode->i_mapping, bdp_flags);
Filipe Mananaeb81b682022-11-02 12:46:36 +00001307 if (ret) {
1308 btrfs_delalloc_release_extents(BTRFS_I(inode), reserve_bytes);
Stefan Roesch965f47ae2022-09-12 12:27:50 -07001309 break;
Filipe Mananaeb81b682022-11-02 12:46:36 +00001310 }
Stefan Roesch965f47ae2022-09-12 12:27:50 -07001311
Josef Bacik4a640012011-01-25 15:10:08 -05001312 /*
1313 * This is going to setup the pages array with the number of
1314 * pages we want, so we don't really need to worry about the
1315 * contents of pages from loop to loop
1316 */
Miao Xieb37392e2013-12-10 19:25:03 +08001317 ret = prepare_pages(inode, pages, num_pages,
Stefan Roeschfc226002022-09-12 12:27:47 -07001318 pos, write_bytes, force_page_uptodate, false);
Josef Bacik8b62f87b2017-10-19 14:15:55 -04001319 if (ret) {
1320 btrfs_delalloc_release_extents(BTRFS_I(inode),
Qu Wenruo8702ba92019-10-14 14:34:51 +08001321 reserve_bytes);
Josef Bacikd0215f32011-01-25 14:57:24 -05001322 break;
Josef Bacik8b62f87b2017-10-19 14:15:55 -04001323 }
Chris Mason39279cc2007-06-12 06:35:45 -04001324
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001325 extents_locked = lock_and_cleanup_extent_if_need(
1326 BTRFS_I(inode), pages,
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001327 num_pages, pos, write_bytes, &lockstart,
Stefan Roesch304e45a2022-09-12 12:27:49 -07001328 &lockend, nowait, &cached_state);
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001329 if (extents_locked < 0) {
Stefan Roesch304e45a2022-09-12 12:27:49 -07001330 if (!nowait && extents_locked == -EAGAIN)
Miao Xie376cc682013-12-10 19:25:04 +08001331 goto again;
Stefan Roesch304e45a2022-09-12 12:27:49 -07001332
Josef Bacik8b62f87b2017-10-19 14:15:55 -04001333 btrfs_delalloc_release_extents(BTRFS_I(inode),
Qu Wenruo8702ba92019-10-14 14:34:51 +08001334 reserve_bytes);
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001335 ret = extents_locked;
Miao Xie376cc682013-12-10 19:25:04 +08001336 break;
Miao Xie376cc682013-12-10 19:25:04 +08001337 }
1338
Zhao Leiee22f0c2016-01-06 18:47:31 +08001339 copied = btrfs_copy_from_user(pos, write_bytes, pages, i);
Chris Masonb1bf8622011-02-28 09:52:08 -05001340
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001341 num_sectors = BTRFS_BYTES_TO_BLKS(fs_info, reserve_bytes);
Chris Mason56244ef2016-05-16 09:21:01 -07001342 dirty_sectors = round_up(copied + sector_offset,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001343 fs_info->sectorsize);
1344 dirty_sectors = BTRFS_BYTES_TO_BLKS(fs_info, dirty_sectors);
Chris Mason56244ef2016-05-16 09:21:01 -07001345
Chris Masonb1bf8622011-02-28 09:52:08 -05001346 /*
1347 * if we have trouble faulting in the pages, fall
1348 * back to one page at a time
1349 */
1350 if (copied < write_bytes)
1351 nrptrs = 1;
1352
Josef Bacikb63164292011-09-30 15:23:54 -04001353 if (copied == 0) {
1354 force_page_uptodate = true;
Chris Mason56244ef2016-05-16 09:21:01 -07001355 dirty_sectors = 0;
Chris Masonb1bf8622011-02-28 09:52:08 -05001356 dirty_pages = 0;
Josef Bacikb63164292011-09-30 15:23:54 -04001357 } else {
1358 force_page_uptodate = false;
David Sterbaed6078f2014-06-05 01:59:57 +02001359 dirty_pages = DIV_ROUND_UP(copied + offset,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001360 PAGE_SIZE);
Josef Bacikb63164292011-09-30 15:23:54 -04001361 }
Xin Zhong914ee292010-12-09 09:30:14 +00001362
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301363 if (num_sectors > dirty_sectors) {
Chris Mason8b8b08c2016-07-19 05:52:36 -07001364 /* release everything except the sectors we dirtied */
David Sterba265fdfa2020-07-01 21:19:09 +02001365 release_bytes -= dirty_sectors << fs_info->sectorsize_bits;
Qu Wenruo485290a2015-10-29 17:28:46 +08001366 if (only_release_metadata) {
Nikolay Borisov691fa052017-02-20 13:50:42 +02001367 btrfs_delalloc_release_metadata(BTRFS_I(inode),
Qu Wenruo43b18592017-12-12 15:34:32 +08001368 release_bytes, true);
Qu Wenruo485290a2015-10-29 17:28:46 +08001369 } else {
1370 u64 __pos;
1371
Jeff Mahoneyda170662016-06-15 09:22:56 -04001372 __pos = round_down(pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001373 fs_info->sectorsize) +
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001374 (dirty_pages << PAGE_SHIFT);
Nikolay Borisov86d52922020-06-03 08:55:40 +03001375 btrfs_delalloc_release_space(BTRFS_I(inode),
Qu Wenruobc42bda2017-02-27 15:10:39 +08001376 data_reserved, __pos,
Qu Wenruo43b18592017-12-12 15:34:32 +08001377 release_bytes, true);
Qu Wenruo485290a2015-10-29 17:28:46 +08001378 }
Xin Zhong914ee292010-12-09 09:30:14 +00001379 }
1380
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301381 release_bytes = round_up(copied + sector_offset,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001382 fs_info->sectorsize);
Miao Xie376cc682013-12-10 19:25:04 +08001383
Goldwyn Rodriguesaa8c1a42020-10-14 09:55:45 -05001384 ret = btrfs_dirty_pages(BTRFS_I(inode), pages,
1385 dirty_pages, pos, copied,
1386 &cached_state, only_release_metadata);
Filipe Mananac67d9702019-09-30 10:20:25 +01001387
1388 /*
1389 * If we have not locked the extent range, because the range's
1390 * start offset is >= i_size, we might still have a non-NULL
1391 * cached extent state, acquired while marking the extent range
1392 * as delalloc through btrfs_dirty_pages(). Therefore free any
1393 * possible cached extent state to avoid a memory leak.
1394 */
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001395 if (extents_locked)
Josef Bacik570eb972022-09-09 17:53:43 -04001396 unlock_extent(&BTRFS_I(inode)->io_tree, lockstart,
1397 lockend, &cached_state);
Filipe Mananac67d9702019-09-30 10:20:25 +01001398 else
1399 free_extent_state(cached_state);
1400
Qu Wenruo8702ba92019-10-14 14:34:51 +08001401 btrfs_delalloc_release_extents(BTRFS_I(inode), reserve_bytes);
Miao Xief1de9682014-01-09 10:06:10 +08001402 if (ret) {
Qu Wenruoe4f94342021-09-27 15:21:49 +08001403 btrfs_drop_pages(fs_info, pages, num_pages, pos, copied);
Miao Xie376cc682013-12-10 19:25:04 +08001404 break;
Miao Xief1de9682014-01-09 10:06:10 +08001405 }
Chris Mason39279cc2007-06-12 06:35:45 -04001406
Josef Bacik7ee9e442013-06-21 16:37:03 -04001407 release_bytes = 0;
Miao Xie8257b2d2014-03-06 13:38:19 +08001408 if (only_release_metadata)
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001409 btrfs_check_nocow_unlock(BTRFS_I(inode));
Miao Xie8257b2d2014-03-06 13:38:19 +08001410
Qu Wenruoe4f94342021-09-27 15:21:49 +08001411 btrfs_drop_pages(fs_info, pages, num_pages, pos, copied);
Miao Xief1de9682014-01-09 10:06:10 +08001412
Josef Bacikd0215f32011-01-25 14:57:24 -05001413 cond_resched();
1414
Xin Zhong914ee292010-12-09 09:30:14 +00001415 pos += copied;
1416 num_written += copied;
Chris Mason39279cc2007-06-12 06:35:45 -04001417 }
Chris Mason5b92ee72008-01-03 13:46:11 -05001418
Chris Mason8c2383c2007-06-18 09:57:58 -04001419 kfree(pages);
Josef Bacikd0215f32011-01-25 14:57:24 -05001420
Josef Bacik7ee9e442013-06-21 16:37:03 -04001421 if (release_bytes) {
Miao Xie8257b2d2014-03-06 13:38:19 +08001422 if (only_release_metadata) {
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001423 btrfs_check_nocow_unlock(BTRFS_I(inode));
Nikolay Borisov691fa052017-02-20 13:50:42 +02001424 btrfs_delalloc_release_metadata(BTRFS_I(inode),
Qu Wenruo43b18592017-12-12 15:34:32 +08001425 release_bytes, true);
Miao Xie8257b2d2014-03-06 13:38:19 +08001426 } else {
Nikolay Borisov86d52922020-06-03 08:55:40 +03001427 btrfs_delalloc_release_space(BTRFS_I(inode),
1428 data_reserved,
Qu Wenruobc42bda2017-02-27 15:10:39 +08001429 round_down(pos, fs_info->sectorsize),
Qu Wenruo43b18592017-12-12 15:34:32 +08001430 release_bytes, true);
Miao Xie8257b2d2014-03-06 13:38:19 +08001431 }
Josef Bacik7ee9e442013-06-21 16:37:03 -04001432 }
1433
Qu Wenruo364ecf32017-02-27 15:10:38 +08001434 extent_changeset_free(data_reserved);
Goldwyn Rodrigues5e8b9ef2020-09-24 11:39:13 -05001435 if (num_written > 0) {
1436 pagecache_isize_extended(inode, old_isize, iocb->ki_pos);
1437 iocb->ki_pos += num_written;
1438 }
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001439out:
David Sterbae5d4d75b2022-10-27 02:41:32 +02001440 btrfs_inode_unlock(BTRFS_I(inode), ilock_flags);
Josef Bacikd0215f32011-01-25 14:57:24 -05001441 return num_written ? num_written : ret;
1442}
1443
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001444static ssize_t check_direct_IO(struct btrfs_fs_info *fs_info,
1445 const struct iov_iter *iter, loff_t offset)
1446{
1447 const u32 blocksize_mask = fs_info->sectorsize - 1;
1448
1449 if (offset & blocksize_mask)
1450 return -EINVAL;
1451
1452 if (iov_iter_alignment(iter) & blocksize_mask)
1453 return -EINVAL;
1454
1455 return 0;
1456}
1457
1458static ssize_t btrfs_direct_write(struct kiocb *iocb, struct iov_iter *from)
Josef Bacikd0215f32011-01-25 14:57:24 -05001459{
1460 struct file *file = iocb->ki_filp;
Filipe Manana728404d2014-10-10 09:43:11 +01001461 struct inode *inode = file_inode(file);
David Sterba41044b42023-09-14 16:45:41 +02001462 struct btrfs_fs_info *fs_info = inode_to_fs_info(inode);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001463 loff_t pos;
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001464 ssize_t written = 0;
Josef Bacikd0215f32011-01-25 14:57:24 -05001465 ssize_t written_buffered;
Filipe Manana51bd9562021-10-25 17:27:47 +01001466 size_t prev_left = 0;
Josef Bacikd0215f32011-01-25 14:57:24 -05001467 loff_t endbyte;
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001468 ssize_t err;
1469 unsigned int ilock_flags = 0;
Filipe Manana81846202022-10-28 13:15:35 +01001470 struct iomap_dio *dio;
Josef Bacikd0215f32011-01-25 14:57:24 -05001471
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001472 if (iocb->ki_flags & IOCB_NOWAIT)
1473 ilock_flags |= BTRFS_ILOCK_TRY;
1474
Bernd Schubert9af86692023-09-06 17:59:03 +02001475 /*
1476 * If the write DIO is within EOF, use a shared lock and also only if
1477 * security bits will likely not be dropped by file_remove_privs() called
1478 * from btrfs_write_check(). Either will need to be rechecked after the
1479 * lock was acquired.
1480 */
1481 if (iocb->ki_pos + iov_iter_count(from) <= i_size_read(inode) && IS_NOSEC(inode))
Goldwyn Rodriguese9adabb2020-09-24 11:39:18 -05001482 ilock_flags |= BTRFS_ILOCK_SHARED;
1483
1484relock:
David Sterba29b63522022-10-27 02:41:32 +02001485 err = btrfs_inode_lock(BTRFS_I(inode), ilock_flags);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001486 if (err < 0)
1487 return err;
1488
Bernd Schubert9af86692023-09-06 17:59:03 +02001489 /* Shared lock cannot be used with security bits set. */
1490 if ((ilock_flags & BTRFS_ILOCK_SHARED) && !IS_NOSEC(inode)) {
1491 btrfs_inode_unlock(BTRFS_I(inode), ilock_flags);
1492 ilock_flags &= ~BTRFS_ILOCK_SHARED;
1493 goto relock;
1494 }
1495
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001496 err = generic_write_checks(iocb, from);
1497 if (err <= 0) {
David Sterbae5d4d75b2022-10-27 02:41:32 +02001498 btrfs_inode_unlock(BTRFS_I(inode), ilock_flags);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001499 return err;
1500 }
1501
1502 err = btrfs_write_check(iocb, from, err);
1503 if (err < 0) {
David Sterbae5d4d75b2022-10-27 02:41:32 +02001504 btrfs_inode_unlock(BTRFS_I(inode), ilock_flags);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001505 goto out;
1506 }
1507
1508 pos = iocb->ki_pos;
Goldwyn Rodriguese9adabb2020-09-24 11:39:18 -05001509 /*
1510 * Re-check since file size may have changed just before taking the
1511 * lock or pos may have changed because of O_APPEND in generic_write_check()
1512 */
1513 if ((ilock_flags & BTRFS_ILOCK_SHARED) &&
1514 pos + iov_iter_count(from) > i_size_read(inode)) {
David Sterbae5d4d75b2022-10-27 02:41:32 +02001515 btrfs_inode_unlock(BTRFS_I(inode), ilock_flags);
Goldwyn Rodriguese9adabb2020-09-24 11:39:18 -05001516 ilock_flags &= ~BTRFS_ILOCK_SHARED;
1517 goto relock;
1518 }
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001519
1520 if (check_direct_IO(fs_info, from, pos)) {
David Sterbae5d4d75b2022-10-27 02:41:32 +02001521 btrfs_inode_unlock(BTRFS_I(inode), ilock_flags);
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001522 goto buffered;
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001523 }
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001524
Filipe Manana51bd9562021-10-25 17:27:47 +01001525 /*
Filipe Manana51bd9562021-10-25 17:27:47 +01001526 * The iov_iter can be mapped to the same file range we are writing to.
1527 * If that's the case, then we will deadlock in the iomap code, because
1528 * it first calls our callback btrfs_dio_iomap_begin(), which will create
1529 * an ordered extent, and after that it will fault in the pages that the
1530 * iov_iter refers to. During the fault in we end up in the readahead
1531 * pages code (starting at btrfs_readahead()), which will lock the range,
1532 * find that ordered extent and then wait for it to complete (at
1533 * btrfs_lock_and_flush_ordered_range()), resulting in a deadlock since
1534 * obviously the ordered extent can never complete as we didn't submit
1535 * yet the respective bio(s). This always happens when the buffer is
1536 * memory mapped to the same file range, since the iomap DIO code always
1537 * invalidates pages in the target file range (after starting and waiting
1538 * for any writeback).
1539 *
1540 * So here we disable page faults in the iov_iter and then retry if we
1541 * got -EFAULT, faulting in the pages before the retry.
1542 */
Filipe Manana51bd9562021-10-25 17:27:47 +01001543 from->nofault = true;
Filipe Manana81846202022-10-28 13:15:35 +01001544 dio = btrfs_dio_write(iocb, from, written);
Filipe Manana51bd9562021-10-25 17:27:47 +01001545 from->nofault = false;
1546
Filipe Manana81846202022-10-28 13:15:35 +01001547 /*
1548 * iomap_dio_complete() will call btrfs_sync_file() if we have a dsync
1549 * iocb, and that needs to lock the inode. So unlock it before calling
1550 * iomap_dio_complete() to avoid a deadlock.
1551 */
David Sterbae5d4d75b2022-10-27 02:41:32 +02001552 btrfs_inode_unlock(BTRFS_I(inode), ilock_flags);
Filipe Manana81846202022-10-28 13:15:35 +01001553
1554 if (IS_ERR_OR_NULL(dio))
1555 err = PTR_ERR_OR_ZERO(dio);
1556 else
1557 err = iomap_dio_complete(dio);
1558
Filipe Manana51bd9562021-10-25 17:27:47 +01001559 /* No increment (+=) because iomap returns a cumulative value. */
1560 if (err > 0)
1561 written = err;
1562
1563 if (iov_iter_count(from) > 0 && (err == -EFAULT || err > 0)) {
1564 const size_t left = iov_iter_count(from);
1565 /*
1566 * We have more data left to write. Try to fault in as many as
1567 * possible of the remainder pages and retry. We do this without
1568 * releasing and locking again the inode, to prevent races with
1569 * truncate.
1570 *
1571 * Also, in case the iov refers to pages in the file range of the
1572 * file we want to write to (due to a mmap), we could enter an
1573 * infinite loop if we retry after faulting the pages in, since
1574 * iomap will invalidate any pages in the range early on, before
1575 * it tries to fault in the pages of the iov. So we keep track of
1576 * how much was left of iov in the previous EFAULT and fallback
1577 * to buffered IO in case we haven't made any progress.
1578 */
1579 if (left == prev_left) {
1580 err = -ENOTBLK;
1581 } else {
1582 fault_in_iov_iter_readable(from, left);
1583 prev_left = left;
Filipe Manana81846202022-10-28 13:15:35 +01001584 goto relock;
Filipe Manana51bd9562021-10-25 17:27:47 +01001585 }
1586 }
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001587
Filipe Manana51bd9562021-10-25 17:27:47 +01001588 /*
Filipe Mananaac5e6662022-07-04 12:42:04 +01001589 * If 'err' is -ENOTBLK or we have not written all data, then it means
1590 * we must fallback to buffered IO.
1591 */
Filipe Manana51bd9562021-10-25 17:27:47 +01001592 if ((err < 0 && err != -ENOTBLK) || !iov_iter_count(from))
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001593 goto out;
Josef Bacikd0215f32011-01-25 14:57:24 -05001594
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001595buffered:
Filipe Mananaac5e6662022-07-04 12:42:04 +01001596 /*
1597 * If we are in a NOWAIT context, then return -EAGAIN to signal the caller
1598 * it must retry the operation in a context where blocking is acceptable,
Filipe Manana20af93d2022-10-31 11:43:56 +00001599 * because even if we end up not blocking during the buffered IO attempt
1600 * below, we will block when flushing and waiting for the IO.
Filipe Mananaac5e6662022-07-04 12:42:04 +01001601 */
1602 if (iocb->ki_flags & IOCB_NOWAIT) {
1603 err = -EAGAIN;
1604 goto out;
1605 }
1606
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001607 pos = iocb->ki_pos;
1608 written_buffered = btrfs_buffered_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001609 if (written_buffered < 0) {
1610 err = written_buffered;
1611 goto out;
1612 }
Filipe Manana075bdbd2014-10-09 21:18:55 +01001613 /*
1614 * Ensure all data is persisted. We want the next direct IO read to be
1615 * able to read what was just written.
1616 */
Josef Bacikd0215f32011-01-25 14:57:24 -05001617 endbyte = pos + written_buffered - 1;
Filipe Manana728404d2014-10-10 09:43:11 +01001618 err = btrfs_fdatawrite_range(inode, pos, endbyte);
Filipe Manana075bdbd2014-10-09 21:18:55 +01001619 if (err)
1620 goto out;
Filipe Manana728404d2014-10-10 09:43:11 +01001621 err = filemap_fdatawait_range(inode->i_mapping, pos, endbyte);
Josef Bacikd0215f32011-01-25 14:57:24 -05001622 if (err)
1623 goto out;
1624 written += written_buffered;
Al Viro867c4f92014-02-11 19:31:06 -05001625 iocb->ki_pos = pos + written_buffered;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001626 invalidate_mapping_pages(file->f_mapping, pos >> PAGE_SHIFT,
1627 endbyte >> PAGE_SHIFT);
Josef Bacikd0215f32011-01-25 14:57:24 -05001628out:
Filipe Manana51bd9562021-10-25 17:27:47 +01001629 return err < 0 ? err : written;
Josef Bacikd0215f32011-01-25 14:57:24 -05001630}
1631
Omar Sandoval7c0c7262019-08-13 16:00:02 -07001632static ssize_t btrfs_encoded_write(struct kiocb *iocb, struct iov_iter *from,
1633 const struct btrfs_ioctl_encoded_io_args *encoded)
1634{
1635 struct file *file = iocb->ki_filp;
1636 struct inode *inode = file_inode(file);
1637 loff_t count;
1638 ssize_t ret;
1639
David Sterba29b63522022-10-27 02:41:32 +02001640 btrfs_inode_lock(BTRFS_I(inode), 0);
Omar Sandoval7c0c7262019-08-13 16:00:02 -07001641 count = encoded->len;
1642 ret = generic_write_checks_count(iocb, &count);
1643 if (ret == 0 && count != encoded->len) {
1644 /*
1645 * The write got truncated by generic_write_checks_count(). We
1646 * can't do a partial encoded write.
1647 */
1648 ret = -EFBIG;
1649 }
1650 if (ret || encoded->len == 0)
1651 goto out;
1652
1653 ret = btrfs_write_check(iocb, from, encoded->len);
1654 if (ret < 0)
1655 goto out;
1656
1657 ret = btrfs_do_encoded_write(iocb, from, encoded);
1658out:
David Sterbae5d4d75b2022-10-27 02:41:32 +02001659 btrfs_inode_unlock(BTRFS_I(inode), 0);
Omar Sandoval7c0c7262019-08-13 16:00:02 -07001660 return ret;
1661}
1662
1663ssize_t btrfs_do_write_iter(struct kiocb *iocb, struct iov_iter *from,
1664 const struct btrfs_ioctl_encoded_io_args *encoded)
Josef Bacikd0215f32011-01-25 14:57:24 -05001665{
1666 struct file *file = iocb->ki_filp;
Nikolay Borisov14971652020-12-10 10:38:32 +02001667 struct btrfs_inode *inode = BTRFS_I(file_inode(file));
Omar Sandoval7c0c7262019-08-13 16:00:02 -07001668 ssize_t num_written, num_sync;
Josef Bacikd0215f32011-01-25 14:57:24 -05001669
Goldwyn Rodriguesc86537a2020-09-24 11:39:14 -05001670 /*
1671 * If the fs flips readonly due to some impossible error, although we
1672 * have opened a file as writable, we have to stop this write operation
1673 * to ensure consistency.
1674 */
Josef Bacik84961532021-10-05 16:35:25 -04001675 if (BTRFS_FS_ERROR(inode->root->fs_info))
Goldwyn Rodriguesc86537a2020-09-24 11:39:14 -05001676 return -EROFS;
1677
Stefan Roesch926078b2022-09-12 12:27:52 -07001678 if (encoded && (iocb->ki_flags & IOCB_NOWAIT))
Christoph Hellwig91f99432017-08-29 16:13:20 +02001679 return -EOPNOTSUPP;
1680
Omar Sandoval7c0c7262019-08-13 16:00:02 -07001681 if (encoded) {
1682 num_written = btrfs_encoded_write(iocb, from, encoded);
1683 num_sync = encoded->len;
1684 } else if (iocb->ki_flags & IOCB_DIRECT) {
David Sterbac1867eb2022-06-21 18:40:48 +02001685 num_written = btrfs_direct_write(iocb, from);
1686 num_sync = num_written;
Omar Sandoval7c0c7262019-08-13 16:00:02 -07001687 } else {
David Sterbac1867eb2022-06-21 18:40:48 +02001688 num_written = btrfs_buffered_write(iocb, from);
1689 num_sync = num_written;
Omar Sandoval7c0c7262019-08-13 16:00:02 -07001690 }
Josef Bacikd0215f32011-01-25 14:57:24 -05001691
Filipe Mananabc0939f2021-02-23 12:08:48 +00001692 btrfs_set_inode_last_sub_trans(inode);
1693
Omar Sandoval7c0c7262019-08-13 16:00:02 -07001694 if (num_sync > 0) {
1695 num_sync = generic_write_sync(iocb, num_sync);
1696 if (num_sync < 0)
1697 num_written = num_sync;
1698 }
Miao Xie0a3404d2013-01-28 12:34:55 +00001699
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001700 return num_written;
Chris Mason39279cc2007-06-12 06:35:45 -04001701}
1702
Omar Sandoval7c0c7262019-08-13 16:00:02 -07001703static ssize_t btrfs_file_write_iter(struct kiocb *iocb, struct iov_iter *from)
1704{
1705 return btrfs_do_write_iter(iocb, from, NULL);
1706}
1707
Chris Masond3977122009-01-05 21:25:51 -05001708int btrfs_release_file(struct inode *inode, struct file *filp)
Mingminge1b81e62008-05-27 10:55:43 -04001709{
Josef Bacik23b5ec72017-07-24 15:14:25 -04001710 struct btrfs_file_private *private = filp->private_data;
1711
Filipe Manana3c32c722022-11-11 11:50:35 +00001712 if (private) {
Josef Bacik23b5ec72017-07-24 15:14:25 -04001713 kfree(private->filldir_buf);
Filipe Manana3c32c722022-11-11 11:50:35 +00001714 free_extent_state(private->llseek_cached_state);
1715 kfree(private);
1716 filp->private_data = NULL;
1717 }
Josef Bacik23b5ec72017-07-24 15:14:25 -04001718
Chris Masonf6dc45c2014-08-20 07:15:33 -07001719 /*
Nikolay Borisov1fd40332020-10-01 09:40:39 +03001720 * Set by setattr when we are about to truncate a file from a non-zero
1721 * size to a zero size. This tries to flush down new bytes that may
1722 * have been written if the application were using truncate to replace
1723 * a file in place.
Chris Masonf6dc45c2014-08-20 07:15:33 -07001724 */
Nikolay Borisov1fd40332020-10-01 09:40:39 +03001725 if (test_and_clear_bit(BTRFS_INODE_FLUSH_ON_CLOSE,
Chris Masonf6dc45c2014-08-20 07:15:33 -07001726 &BTRFS_I(inode)->runtime_flags))
1727 filemap_flush(inode->i_mapping);
Mingminge1b81e62008-05-27 10:55:43 -04001728 return 0;
1729}
1730
Filipe Manana669249e2014-09-02 11:09:58 +01001731static int start_ordered_ops(struct inode *inode, loff_t start, loff_t end)
1732{
1733 int ret;
Liu Bo343e4fc2017-11-15 16:10:28 -07001734 struct blk_plug plug;
Filipe Manana669249e2014-09-02 11:09:58 +01001735
Liu Bo343e4fc2017-11-15 16:10:28 -07001736 /*
1737 * This is only called in fsync, which would do synchronous writes, so
1738 * a plug can merge adjacent IOs as much as possible. Esp. in case of
1739 * multiple disks using raid profile, a large IO can be split to
1740 * several segments of stripe length (currently 64K).
1741 */
1742 blk_start_plug(&plug);
Filipe Manana728404d2014-10-10 09:43:11 +01001743 ret = btrfs_fdatawrite_range(inode, start, end);
Liu Bo343e4fc2017-11-15 16:10:28 -07001744 blk_finish_plug(&plug);
Filipe Manana669249e2014-09-02 11:09:58 +01001745
1746 return ret;
1747}
1748
Filipe Manana626e9f42021-04-27 11:27:20 +01001749static inline bool skip_inode_logging(const struct btrfs_log_ctx *ctx)
1750{
1751 struct btrfs_inode *inode = BTRFS_I(ctx->inode);
1752 struct btrfs_fs_info *fs_info = inode->root->fs_info;
1753
Filipe Manana4a4f8fe2023-10-04 11:38:50 +01001754 if (btrfs_inode_in_log(inode, btrfs_get_fs_generation(fs_info)) &&
Filipe Manana626e9f42021-04-27 11:27:20 +01001755 list_empty(&ctx->ordered_extents))
1756 return true;
1757
1758 /*
1759 * If we are doing a fast fsync we can not bail out if the inode's
1760 * last_trans is <= then the last committed transaction, because we only
1761 * update the last_trans of the inode during ordered extent completion,
1762 * and for a fast fsync we don't wait for that, we only wait for the
1763 * writeback to complete.
1764 */
Filipe Manana01248552023-10-04 11:38:51 +01001765 if (inode->last_trans <= btrfs_get_last_trans_committed(fs_info) &&
Filipe Manana626e9f42021-04-27 11:27:20 +01001766 (test_bit(BTRFS_INODE_NEEDS_FULL_SYNC, &inode->runtime_flags) ||
1767 list_empty(&ctx->ordered_extents)))
1768 return true;
1769
1770 return false;
1771}
1772
Chris Masond352ac62008-09-29 15:18:18 -04001773/*
1774 * fsync call for both files and directories. This logs the inode into
1775 * the tree log instead of forcing full commits whenever possible.
1776 *
1777 * It needs to call filemap_fdatawait so that all ordered extent updates are
1778 * in the metadata btree are up to date for copying to the log.
1779 *
1780 * It drops the inode mutex before doing the tree log commit. This is an
1781 * important optimization for directories because holding the mutex prevents
1782 * new operations on the dir while we write to disk.
1783 */
Josef Bacik02c24a82011-07-16 20:44:56 -04001784int btrfs_sync_file(struct file *file, loff_t start, loff_t end, int datasync)
Chris Mason39279cc2007-06-12 06:35:45 -04001785{
Filipe Mananade17e792016-03-30 19:03:13 -04001786 struct dentry *dentry = file_dentry(file);
David Howells2b0143b2015-03-17 22:25:59 +00001787 struct inode *inode = d_inode(dentry);
David Sterba41044b42023-09-14 16:45:41 +02001788 struct btrfs_fs_info *fs_info = inode_to_fs_info(inode);
Chris Mason39279cc2007-06-12 06:35:45 -04001789 struct btrfs_root *root = BTRFS_I(inode)->root;
Chris Mason39279cc2007-06-12 06:35:45 -04001790 struct btrfs_trans_handle *trans;
Miao Xie8b050d32014-02-20 18:08:58 +08001791 struct btrfs_log_ctx ctx;
Jeff Layton333427a2017-07-06 07:02:31 -04001792 int ret = 0, err;
Filipe Manana48778172020-08-11 12:43:58 +01001793 u64 len;
1794 bool full_sync;
Chris Mason39279cc2007-06-12 06:35:45 -04001795
liubo1abe9b82011-03-24 11:18:59 +00001796 trace_btrfs_sync_file(file, datasync);
Chris Mason257c62e2009-10-13 13:21:08 -04001797
Liu Boebb70442017-11-21 14:35:40 -07001798 btrfs_init_log_ctx(&ctx, inode);
1799
Miao Xie90abccf2012-09-13 04:53:47 -06001800 /*
Filipe Manana48778172020-08-11 12:43:58 +01001801 * Always set the range to a full range, otherwise we can get into
1802 * several problems, from missing file extent items to represent holes
1803 * when not using the NO_HOLES feature, to log tree corruption due to
1804 * races between hole detection during logging and completion of ordered
1805 * extents outside the range, to missing checksums due to ordered extents
1806 * for which we flushed only a subset of their pages.
Filipe Manana95418ed2020-03-09 12:41:05 +00001807 */
Filipe Manana48778172020-08-11 12:43:58 +01001808 start = 0;
1809 end = LLONG_MAX;
1810 len = (u64)LLONG_MAX + 1;
Filipe Manana95418ed2020-03-09 12:41:05 +00001811
1812 /*
Miao Xie90abccf2012-09-13 04:53:47 -06001813 * We write the dirty pages in the range and wait until they complete
1814 * out of the ->i_mutex. If so, we can flush the dirty pages by
Josef Bacik2ab28f32012-10-12 15:27:49 -04001815 * multi-task, and make the performance up. See
1816 * btrfs_wait_ordered_range for an explanation of the ASYNC check.
Miao Xie90abccf2012-09-13 04:53:47 -06001817 */
Filipe Manana669249e2014-09-02 11:09:58 +01001818 ret = start_ordered_ops(inode, start, end);
Miao Xie90abccf2012-09-13 04:53:47 -06001819 if (ret)
Jeff Layton333427a2017-07-06 07:02:31 -04001820 goto out;
Miao Xie90abccf2012-09-13 04:53:47 -06001821
David Sterba29b63522022-10-27 02:41:32 +02001822 btrfs_inode_lock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Josef Bacikc4951442018-10-12 15:32:32 -04001823
Miao Xie2ecb7922012-09-06 04:04:27 -06001824 atomic_inc(&root->log_batch);
Josef Bacikb5e6c3e2018-05-23 11:58:33 -04001825
Filipe Manana669249e2014-09-02 11:09:58 +01001826 /*
Filipe Manana885f46d2021-02-23 12:08:47 +00001827 * Before we acquired the inode's lock and the mmap lock, someone may
1828 * have dirtied more pages in the target range. We need to make sure
1829 * that writeback for any such pages does not start while we are logging
1830 * the inode, because if it does, any of the following might happen when
1831 * we are not doing a full inode sync:
Filipe Mananaaab15e82018-11-12 10:23:58 +00001832 *
1833 * 1) We log an extent after its writeback finishes but before its
1834 * checksums are added to the csum tree, leading to -EIO errors
1835 * when attempting to read the extent after a log replay.
1836 *
1837 * 2) We can end up logging an extent before its writeback finishes.
1838 * Therefore after the log replay we will have a file extent item
1839 * pointing to an unwritten extent (and no data checksums as well).
1840 *
1841 * So trigger writeback for any eventual new dirty pages and then we
1842 * wait for all ordered extents to complete below.
1843 */
1844 ret = start_ordered_ops(inode, start, end);
1845 if (ret) {
David Sterbae5d4d75b2022-10-27 02:41:32 +02001846 btrfs_inode_unlock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Filipe Mananaaab15e82018-11-12 10:23:58 +00001847 goto out;
1848 }
1849
1850 /*
Filipe Mananacef78202022-09-19 15:06:28 +01001851 * Always check for the full sync flag while holding the inode's lock,
1852 * to avoid races with other tasks. The flag must be either set all the
1853 * time during logging or always off all the time while logging.
1854 * We check the flag here after starting delalloc above, because when
1855 * running delalloc the full sync flag may be set if we need to drop
1856 * extra extent map ranges due to temporary memory allocation failures.
1857 */
1858 full_sync = test_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
1859 &BTRFS_I(inode)->runtime_flags);
1860
1861 /*
Josef Bacikb5e6c3e2018-05-23 11:58:33 -04001862 * We have to do this here to avoid the priority inversion of waiting on
Andrea Gelmini52042d82018-11-28 12:05:13 +01001863 * IO of a lower priority task while holding a transaction open.
Filipe Mananaba0b0842019-10-16 16:28:52 +01001864 *
Filipe Manana48778172020-08-11 12:43:58 +01001865 * For a full fsync we wait for the ordered extents to complete while
1866 * for a fast fsync we wait just for writeback to complete, and then
1867 * attach the ordered extents to the transaction so that a transaction
1868 * commit waits for their completion, to avoid data loss if we fsync,
1869 * the current transaction commits before the ordered extents complete
1870 * and a power failure happens right after that.
Naohiro Aotad8e3fb12021-02-04 19:22:05 +09001871 *
1872 * For zoned filesystem, if a write IO uses a ZONE_APPEND command, the
1873 * logical address recorded in the ordered extent may change. We need
1874 * to wait for the IO to stabilize the logical address.
Filipe Manana669249e2014-09-02 11:09:58 +01001875 */
Naohiro Aotad8e3fb12021-02-04 19:22:05 +09001876 if (full_sync || btrfs_is_zoned(fs_info)) {
Filipe Manana48778172020-08-11 12:43:58 +01001877 ret = btrfs_wait_ordered_range(inode, start, len);
1878 } else {
1879 /*
1880 * Get our ordered extents as soon as possible to avoid doing
1881 * checksum lookups in the csum tree, and use instead the
1882 * checksums attached to the ordered extents.
1883 */
1884 btrfs_get_ordered_extents_for_logging(BTRFS_I(inode),
1885 &ctx.ordered_extents);
1886 ret = filemap_fdatawait_range(inode->i_mapping, start, end);
Josef Bacik0ef8b722013-10-25 16:13:35 -04001887 }
Filipe Manana48778172020-08-11 12:43:58 +01001888
1889 if (ret)
1890 goto out_release_extents;
1891
Miao Xie2ecb7922012-09-06 04:04:27 -06001892 atomic_inc(&root->log_batch);
Chris Mason257c62e2009-10-13 13:21:08 -04001893
Filipe Manana626e9f42021-04-27 11:27:20 +01001894 if (skip_inode_logging(&ctx)) {
Josef Bacik5dc562c2012-08-17 13:14:17 -04001895 /*
Nicholas D Steeves01327612016-05-19 21:18:45 -04001896 * We've had everything committed since the last time we were
Josef Bacik5dc562c2012-08-17 13:14:17 -04001897 * modified so clear this flag in case it was set for whatever
1898 * reason, it's no longer relevant.
1899 */
1900 clear_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
1901 &BTRFS_I(inode)->runtime_flags);
Filipe Manana0596a902016-06-14 14:18:27 +01001902 /*
1903 * An ordered extent might have started before and completed
1904 * already with io errors, in which case the inode was not
1905 * updated and we end up here. So check the inode's mapping
Jeff Layton333427a2017-07-06 07:02:31 -04001906 * for any errors that might have happened since we last
1907 * checked called fsync.
Filipe Manana0596a902016-06-14 14:18:27 +01001908 */
Jeff Layton333427a2017-07-06 07:02:31 -04001909 ret = filemap_check_wb_err(inode->i_mapping, file->f_wb_err);
Filipe Manana48778172020-08-11 12:43:58 +01001910 goto out_release_extents;
Josef Bacik15ee9bc2007-08-10 16:22:09 -04001911 }
Josef Bacik15ee9bc2007-08-10 16:22:09 -04001912
Filipe Mananae383e152024-01-26 12:59:23 +00001913 btrfs_init_log_ctx_scratch_eb(&ctx);
1914
Josef Bacik15ee9bc2007-08-10 16:22:09 -04001915 /*
Josef Bacik5039edd2014-01-15 13:34:13 -05001916 * We use start here because we will need to wait on the IO to complete
1917 * in btrfs_sync_log, which could require joining a transaction (for
1918 * example checking cross references in the nocow path). If we use join
1919 * here we could get into a situation where we're waiting on IO to
1920 * happen that is blocked on a transaction trying to commit. With start
1921 * we inc the extwriter counter, so we wait for all extwriters to exit
Andrea Gelmini52042d82018-11-28 12:05:13 +01001922 * before we start blocking joiners. This comment is to keep somebody
Josef Bacik5039edd2014-01-15 13:34:13 -05001923 * from thinking they are super smart and changing this to
1924 * btrfs_join_transaction *cough*Josef*cough*.
1925 */
Yan, Zhenga22285a2010-05-16 10:48:46 -04001926 trans = btrfs_start_transaction(root, 0);
1927 if (IS_ERR(trans)) {
1928 ret = PTR_ERR(trans);
Filipe Manana48778172020-08-11 12:43:58 +01001929 goto out_release_extents;
Chris Mason39279cc2007-06-12 06:35:45 -04001930 }
Filipe Mananad0c2f4f2021-01-27 10:35:00 +00001931 trans->in_fsync = true;
Chris Masone02119d2008-09-05 16:13:11 -04001932
Filipe Manana48778172020-08-11 12:43:58 +01001933 ret = btrfs_log_dentry_safe(trans, dentry, &ctx);
Filipe Mananae383e152024-01-26 12:59:23 +00001934 /*
1935 * Scratch eb no longer needed, release before syncing log or commit
1936 * transaction, to avoid holding unnecessary memory during such long
1937 * operations.
1938 */
1939 if (ctx.scratch_eb) {
1940 free_extent_buffer(ctx.scratch_eb);
1941 ctx.scratch_eb = NULL;
1942 }
Filipe Manana48778172020-08-11 12:43:58 +01001943 btrfs_release_log_ctx_extents(&ctx);
Josef Bacik02c24a82011-07-16 20:44:56 -04001944 if (ret < 0) {
Filipe David Borba Mananaa0634be2013-09-11 20:36:44 +01001945 /* Fallthrough and commit/free transaction. */
Josef Bacikf31f09f2022-06-13 15:09:48 -04001946 ret = BTRFS_LOG_FORCE_COMMIT;
Josef Bacik02c24a82011-07-16 20:44:56 -04001947 }
Chris Mason49eb7e42008-09-11 15:53:12 -04001948
1949 /* we've logged all the items and now have a consistent
1950 * version of the file in the log. It is possible that
1951 * someone will come in and modify the file, but that's
1952 * fine because the log is consistent on disk, and we
1953 * have references to all of the file's extents
1954 *
1955 * It is possible that someone will come in and log the
1956 * file again, but that will end up using the synchronization
1957 * inside btrfs_sync_log to keep things safe.
1958 */
David Sterbae5d4d75b2022-10-27 02:41:32 +02001959 btrfs_inode_unlock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Chris Mason49eb7e42008-09-11 15:53:12 -04001960
Josef Bacikbf7ba8e2022-06-13 15:09:49 -04001961 if (ret == BTRFS_NO_LOG_SYNC) {
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04001962 ret = btrfs_end_transaction(trans);
Josef Bacikbf7ba8e2022-06-13 15:09:49 -04001963 goto out;
Chris Masone02119d2008-09-05 16:13:11 -04001964 }
Josef Bacikbf7ba8e2022-06-13 15:09:49 -04001965
1966 /* We successfully logged the inode, attempt to sync the log. */
1967 if (!ret) {
1968 ret = btrfs_sync_log(trans, root, &ctx);
1969 if (!ret) {
1970 ret = btrfs_end_transaction(trans);
1971 goto out;
1972 }
1973 }
1974
1975 /*
1976 * At this point we need to commit the transaction because we had
1977 * btrfs_need_log_full_commit() or some other error.
1978 *
1979 * If we didn't do a full sync we have to stop the trans handle, wait on
1980 * the ordered extents, start it again and commit the transaction. If
1981 * we attempt to wait on the ordered extents here we could deadlock with
1982 * something like fallocate() that is holding the extent lock trying to
1983 * start a transaction while some other thread is trying to commit the
1984 * transaction while we (fsync) are currently holding the transaction
1985 * open.
1986 */
1987 if (!full_sync) {
1988 ret = btrfs_end_transaction(trans);
1989 if (ret)
1990 goto out;
1991 ret = btrfs_wait_ordered_range(inode, start, len);
1992 if (ret)
1993 goto out;
1994
1995 /*
1996 * This is safe to use here because we're only interested in
1997 * making sure the transaction that had the ordered extents is
1998 * committed. We aren't waiting on anything past this point,
1999 * we're purely getting the transaction and committing it.
2000 */
2001 trans = btrfs_attach_transaction_barrier(root);
2002 if (IS_ERR(trans)) {
2003 ret = PTR_ERR(trans);
2004
2005 /*
2006 * We committed the transaction and there's no currently
2007 * running transaction, this means everything we care
2008 * about made it to disk and we are done.
2009 */
2010 if (ret == -ENOENT)
2011 ret = 0;
2012 goto out;
2013 }
2014 }
2015
2016 ret = btrfs_commit_transaction(trans);
Chris Mason39279cc2007-06-12 06:35:45 -04002017out:
Filipe Mananae383e152024-01-26 12:59:23 +00002018 free_extent_buffer(ctx.scratch_eb);
Liu Boebb70442017-11-21 14:35:40 -07002019 ASSERT(list_empty(&ctx.list));
Filipe Mananae09d94c2022-08-17 12:22:46 +01002020 ASSERT(list_empty(&ctx.conflict_inodes));
Jeff Layton333427a2017-07-06 07:02:31 -04002021 err = file_check_and_advance_wb_err(file);
2022 if (!ret)
2023 ret = err;
Roel Kluin014e4ac2010-01-29 10:42:11 +00002024 return ret > 0 ? -EIO : ret;
Filipe Manana48778172020-08-11 12:43:58 +01002025
2026out_release_extents:
2027 btrfs_release_log_ctx_extents(&ctx);
David Sterbae5d4d75b2022-10-27 02:41:32 +02002028 btrfs_inode_unlock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Filipe Manana48778172020-08-11 12:43:58 +01002029 goto out;
Chris Mason39279cc2007-06-12 06:35:45 -04002030}
2031
Alexey Dobriyanf0f37e2f2009-09-27 22:29:37 +04002032static const struct vm_operations_struct btrfs_file_vm_ops = {
Chris Mason92fee662007-07-25 12:31:35 -04002033 .fault = filemap_fault,
Kirill A. Shutemovf1820362014-04-07 15:37:19 -07002034 .map_pages = filemap_map_pages,
Chris Mason9ebefb182007-06-15 13:50:00 -04002035 .page_mkwrite = btrfs_page_mkwrite,
2036};
2037
2038static int btrfs_file_mmap(struct file *filp, struct vm_area_struct *vma)
2039{
Miao Xie058a4572010-05-20 07:21:50 +00002040 struct address_space *mapping = filp->f_mapping;
2041
Matthew Wilcox (Oracle)7e0a1262022-04-29 11:53:28 -04002042 if (!mapping->a_ops->read_folio)
Miao Xie058a4572010-05-20 07:21:50 +00002043 return -ENOEXEC;
2044
Chris Mason9ebefb182007-06-15 13:50:00 -04002045 file_accessed(filp);
Miao Xie058a4572010-05-20 07:21:50 +00002046 vma->vm_ops = &btrfs_file_vm_ops;
Miao Xie058a4572010-05-20 07:21:50 +00002047
Chris Mason9ebefb182007-06-15 13:50:00 -04002048 return 0;
2049}
2050
Nikolay Borisov35339c22017-02-20 13:50:46 +02002051static int hole_mergeable(struct btrfs_inode *inode, struct extent_buffer *leaf,
Josef Bacik2aaa6652012-08-29 14:27:18 -04002052 int slot, u64 start, u64 end)
2053{
2054 struct btrfs_file_extent_item *fi;
2055 struct btrfs_key key;
2056
2057 if (slot < 0 || slot >= btrfs_header_nritems(leaf))
2058 return 0;
2059
2060 btrfs_item_key_to_cpu(leaf, &key, slot);
Nikolay Borisov35339c22017-02-20 13:50:46 +02002061 if (key.objectid != btrfs_ino(inode) ||
Josef Bacik2aaa6652012-08-29 14:27:18 -04002062 key.type != BTRFS_EXTENT_DATA_KEY)
2063 return 0;
2064
2065 fi = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
2066
2067 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_REG)
2068 return 0;
2069
2070 if (btrfs_file_extent_disk_bytenr(leaf, fi))
2071 return 0;
2072
2073 if (key.offset == end)
2074 return 1;
2075 if (key.offset + btrfs_file_extent_num_bytes(leaf, fi) == start)
2076 return 1;
2077 return 0;
2078}
2079
Nikolay Borisova012a742017-02-20 13:50:47 +02002080static int fill_holes(struct btrfs_trans_handle *trans,
2081 struct btrfs_inode *inode,
2082 struct btrfs_path *path, u64 offset, u64 end)
Josef Bacik2aaa6652012-08-29 14:27:18 -04002083{
David Sterba3ffbd682018-06-29 10:56:42 +02002084 struct btrfs_fs_info *fs_info = trans->fs_info;
Nikolay Borisova012a742017-02-20 13:50:47 +02002085 struct btrfs_root *root = inode->root;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002086 struct extent_buffer *leaf;
2087 struct btrfs_file_extent_item *fi;
2088 struct extent_map *hole_em;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002089 struct btrfs_key key;
2090 int ret;
2091
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002092 if (btrfs_fs_incompat(fs_info, NO_HOLES))
Josef Bacik16e75492013-10-22 12:18:51 -04002093 goto out;
2094
Nikolay Borisova012a742017-02-20 13:50:47 +02002095 key.objectid = btrfs_ino(inode);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002096 key.type = BTRFS_EXTENT_DATA_KEY;
2097 key.offset = offset;
2098
Josef Bacik2aaa6652012-08-29 14:27:18 -04002099 ret = btrfs_search_slot(trans, root, &key, path, 0, 1);
Josef Bacikf94480b2016-11-14 14:06:22 -05002100 if (ret <= 0) {
2101 /*
2102 * We should have dropped this offset, so if we find it then
2103 * something has gone horribly wrong.
2104 */
2105 if (ret == 0)
2106 ret = -EINVAL;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002107 return ret;
Josef Bacikf94480b2016-11-14 14:06:22 -05002108 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002109
2110 leaf = path->nodes[0];
Nikolay Borisova012a742017-02-20 13:50:47 +02002111 if (hole_mergeable(inode, leaf, path->slots[0] - 1, offset, end)) {
Josef Bacik2aaa6652012-08-29 14:27:18 -04002112 u64 num_bytes;
2113
2114 path->slots[0]--;
2115 fi = btrfs_item_ptr(leaf, path->slots[0],
2116 struct btrfs_file_extent_item);
2117 num_bytes = btrfs_file_extent_num_bytes(leaf, fi) +
2118 end - offset;
2119 btrfs_set_file_extent_num_bytes(leaf, fi, num_bytes);
2120 btrfs_set_file_extent_ram_bytes(leaf, fi, num_bytes);
2121 btrfs_set_file_extent_offset(leaf, fi, 0);
Filipe Mananae6e3dec2022-08-08 12:18:37 +01002122 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Filipe Manana50564b62023-09-12 13:04:29 +01002123 btrfs_mark_buffer_dirty(trans, leaf);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002124 goto out;
2125 }
2126
chandan1707e262014-07-01 12:04:28 +05302127 if (hole_mergeable(inode, leaf, path->slots[0], offset, end)) {
Josef Bacik2aaa6652012-08-29 14:27:18 -04002128 u64 num_bytes;
2129
Josef Bacik2aaa6652012-08-29 14:27:18 -04002130 key.offset = offset;
Filipe Manana50564b62023-09-12 13:04:29 +01002131 btrfs_set_item_key_safe(trans, path, &key);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002132 fi = btrfs_item_ptr(leaf, path->slots[0],
2133 struct btrfs_file_extent_item);
2134 num_bytes = btrfs_file_extent_num_bytes(leaf, fi) + end -
2135 offset;
2136 btrfs_set_file_extent_num_bytes(leaf, fi, num_bytes);
2137 btrfs_set_file_extent_ram_bytes(leaf, fi, num_bytes);
2138 btrfs_set_file_extent_offset(leaf, fi, 0);
Filipe Mananae6e3dec2022-08-08 12:18:37 +01002139 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Filipe Manana50564b62023-09-12 13:04:29 +01002140 btrfs_mark_buffer_dirty(trans, leaf);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002141 goto out;
2142 }
2143 btrfs_release_path(path);
2144
Omar Sandovald1f68ba2022-07-23 18:25:29 -04002145 ret = btrfs_insert_hole_extent(trans, root, btrfs_ino(inode), offset,
2146 end - offset);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002147 if (ret)
2148 return ret;
2149
2150out:
2151 btrfs_release_path(path);
2152
2153 hole_em = alloc_extent_map();
2154 if (!hole_em) {
Filipe Manana4c0c8cf2022-09-19 15:06:29 +01002155 btrfs_drop_extent_map_range(inode, offset, end - 1, false);
Filipe Manana23e33372022-02-17 12:12:06 +00002156 btrfs_set_inode_full_sync(inode);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002157 } else {
2158 hole_em->start = offset;
2159 hole_em->len = end - offset;
Josef Bacikcc95bef2013-04-04 14:31:27 -04002160 hole_em->ram_bytes = hole_em->len;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002161 hole_em->orig_start = offset;
2162
2163 hole_em->block_start = EXTENT_MAP_HOLE;
2164 hole_em->block_len = 0;
Josef Bacikb4939682012-12-03 10:31:19 -05002165 hole_em->orig_block_len = 0;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002166 hole_em->generation = trans->transid;
2167
Filipe Mananaa1ba4c02022-09-19 15:06:33 +01002168 ret = btrfs_replace_extent_map_range(inode, hole_em, true);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002169 free_extent_map(hole_em);
2170 if (ret)
Filipe Manana23e33372022-02-17 12:12:06 +00002171 btrfs_set_inode_full_sync(inode);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002172 }
2173
2174 return 0;
2175}
2176
Qu Wenruod7781542014-05-30 15:16:10 +08002177/*
2178 * Find a hole extent on given inode and change start/len to the end of hole
2179 * extent.(hole/vacuum extent whose em->start <= start &&
2180 * em->start + em->len > start)
2181 * When a hole extent is found, return 1 and modify start/len.
2182 */
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002183static int find_first_non_hole(struct btrfs_inode *inode, u64 *start, u64 *len)
Qu Wenruod7781542014-05-30 15:16:10 +08002184{
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002185 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Qu Wenruod7781542014-05-30 15:16:10 +08002186 struct extent_map *em;
2187 int ret = 0;
2188
Qu Wenruo8bab0a32024-01-08 13:50:20 +10302189 em = btrfs_get_extent(inode, NULL,
Filipe Manana609805d2017-05-30 05:29:09 +01002190 round_down(*start, fs_info->sectorsize),
Omar Sandoval39b07b52019-12-02 17:34:23 -08002191 round_up(*len, fs_info->sectorsize));
Dan Carpenter99862772017-04-11 11:57:15 +03002192 if (IS_ERR(em))
2193 return PTR_ERR(em);
Qu Wenruod7781542014-05-30 15:16:10 +08002194
2195 /* Hole or vacuum extent(only exists in no-hole mode) */
2196 if (em->block_start == EXTENT_MAP_HOLE) {
2197 ret = 1;
2198 *len = em->start + em->len > *start + *len ?
2199 0 : *start + *len - em->start - em->len;
2200 *start = em->start + em->len;
2201 }
2202 free_extent_map(em);
2203 return ret;
2204}
2205
Filipe Manana55961c82022-03-15 15:22:40 +00002206static void btrfs_punch_hole_lock_range(struct inode *inode,
2207 const u64 lockstart,
2208 const u64 lockend,
2209 struct extent_state **cached_state)
Filipe Mananaf27451f2017-10-25 11:55:28 +01002210{
Qu Wenruo05284762021-05-31 16:50:54 +08002211 /*
2212 * For subpage case, if the range is not at page boundary, we could
2213 * have pages at the leading/tailing part of the range.
2214 * This could lead to dead loop since filemap_range_has_page()
2215 * will always return true.
2216 * So here we need to do extra page alignment for
2217 * filemap_range_has_page().
2218 */
2219 const u64 page_lockstart = round_up(lockstart, PAGE_SIZE);
2220 const u64 page_lockend = round_down(lockend + 1, PAGE_SIZE) - 1;
2221
Filipe Mananaf27451f2017-10-25 11:55:28 +01002222 while (1) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01002223 truncate_pagecache_range(inode, lockstart, lockend);
2224
Josef Bacik570eb972022-09-09 17:53:43 -04002225 lock_extent(&BTRFS_I(inode)->io_tree, lockstart, lockend,
2226 cached_state);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002227 /*
Filipe Manana55961c82022-03-15 15:22:40 +00002228 * We can't have ordered extents in the range, nor dirty/writeback
2229 * pages, because we have locked the inode's VFS lock in exclusive
2230 * mode, we have locked the inode's i_mmap_lock in exclusive mode,
2231 * we have flushed all delalloc in the range and we have waited
2232 * for any ordered extents in the range to complete.
2233 * We can race with anyone reading pages from this range, so after
2234 * locking the range check if we have pages in the range, and if
2235 * we do, unlock the range and retry.
Filipe Mananaf27451f2017-10-25 11:55:28 +01002236 */
Filipe Manana55961c82022-03-15 15:22:40 +00002237 if (!filemap_range_has_page(inode->i_mapping, page_lockstart,
2238 page_lockend))
Filipe Mananaf27451f2017-10-25 11:55:28 +01002239 break;
Filipe Manana55961c82022-03-15 15:22:40 +00002240
Josef Bacik570eb972022-09-09 17:53:43 -04002241 unlock_extent(&BTRFS_I(inode)->io_tree, lockstart, lockend,
2242 cached_state);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002243 }
Filipe Manana63c34cb2022-03-15 15:22:41 +00002244
2245 btrfs_assert_inode_range_clean(BTRFS_I(inode), lockstart, lockend);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002246}
2247
Filipe Manana0cbb5bd2020-09-08 11:27:24 +01002248static int btrfs_insert_replace_extent(struct btrfs_trans_handle *trans,
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002249 struct btrfs_inode *inode,
Filipe Manana690a5db2019-07-05 11:09:50 +01002250 struct btrfs_path *path,
Filipe Mananabf385642020-09-08 11:27:22 +01002251 struct btrfs_replace_extent_info *extent_info,
Filipe Manana2766ff62020-11-04 11:07:34 +00002252 const u64 replace_len,
2253 const u64 bytes_to_drop)
Filipe Manana690a5db2019-07-05 11:09:50 +01002254{
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002255 struct btrfs_fs_info *fs_info = trans->fs_info;
2256 struct btrfs_root *root = inode->root;
Filipe Manana690a5db2019-07-05 11:09:50 +01002257 struct btrfs_file_extent_item *extent;
2258 struct extent_buffer *leaf;
2259 struct btrfs_key key;
2260 int slot;
2261 struct btrfs_ref ref = { 0 };
Filipe Manana690a5db2019-07-05 11:09:50 +01002262 int ret;
2263
Filipe Mananabf385642020-09-08 11:27:22 +01002264 if (replace_len == 0)
Filipe Manana690a5db2019-07-05 11:09:50 +01002265 return 0;
2266
Filipe Mananabf385642020-09-08 11:27:22 +01002267 if (extent_info->disk_offset == 0 &&
Filipe Manana2766ff62020-11-04 11:07:34 +00002268 btrfs_fs_incompat(fs_info, NO_HOLES)) {
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002269 btrfs_update_inode_bytes(inode, 0, bytes_to_drop);
Filipe Manana690a5db2019-07-05 11:09:50 +01002270 return 0;
Filipe Manana2766ff62020-11-04 11:07:34 +00002271 }
Filipe Manana690a5db2019-07-05 11:09:50 +01002272
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002273 key.objectid = btrfs_ino(inode);
Filipe Manana690a5db2019-07-05 11:09:50 +01002274 key.type = BTRFS_EXTENT_DATA_KEY;
Filipe Mananabf385642020-09-08 11:27:22 +01002275 key.offset = extent_info->file_offset;
Filipe Manana690a5db2019-07-05 11:09:50 +01002276 ret = btrfs_insert_empty_item(trans, root, path, &key,
Filipe Mananafb870f62020-09-08 11:27:21 +01002277 sizeof(struct btrfs_file_extent_item));
Filipe Manana690a5db2019-07-05 11:09:50 +01002278 if (ret)
2279 return ret;
2280 leaf = path->nodes[0];
2281 slot = path->slots[0];
Filipe Mananabf385642020-09-08 11:27:22 +01002282 write_extent_buffer(leaf, extent_info->extent_buf,
Filipe Manana690a5db2019-07-05 11:09:50 +01002283 btrfs_item_ptr_offset(leaf, slot),
Filipe Mananafb870f62020-09-08 11:27:21 +01002284 sizeof(struct btrfs_file_extent_item));
Filipe Manana690a5db2019-07-05 11:09:50 +01002285 extent = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
Filipe Mananafb870f62020-09-08 11:27:21 +01002286 ASSERT(btrfs_file_extent_type(leaf, extent) != BTRFS_FILE_EXTENT_INLINE);
Filipe Mananabf385642020-09-08 11:27:22 +01002287 btrfs_set_file_extent_offset(leaf, extent, extent_info->data_offset);
2288 btrfs_set_file_extent_num_bytes(leaf, extent, replace_len);
2289 if (extent_info->is_new_extent)
Filipe Manana8fccebf2020-09-08 11:27:20 +01002290 btrfs_set_file_extent_generation(leaf, extent, trans->transid);
Filipe Manana50564b62023-09-12 13:04:29 +01002291 btrfs_mark_buffer_dirty(trans, leaf);
Filipe Manana690a5db2019-07-05 11:09:50 +01002292 btrfs_release_path(path);
2293
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002294 ret = btrfs_inode_set_file_extent_range(inode, extent_info->file_offset,
2295 replace_len);
Josef Bacik9ddc9592020-01-17 09:02:22 -05002296 if (ret)
2297 return ret;
2298
Filipe Manana690a5db2019-07-05 11:09:50 +01002299 /* If it's a hole, nothing more needs to be done. */
Filipe Manana2766ff62020-11-04 11:07:34 +00002300 if (extent_info->disk_offset == 0) {
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002301 btrfs_update_inode_bytes(inode, 0, bytes_to_drop);
Filipe Manana690a5db2019-07-05 11:09:50 +01002302 return 0;
Filipe Manana2766ff62020-11-04 11:07:34 +00002303 }
Filipe Manana690a5db2019-07-05 11:09:50 +01002304
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002305 btrfs_update_inode_bytes(inode, replace_len, bytes_to_drop);
Filipe Manana8fccebf2020-09-08 11:27:20 +01002306
Filipe Mananabf385642020-09-08 11:27:22 +01002307 if (extent_info->is_new_extent && extent_info->insertions == 0) {
2308 key.objectid = extent_info->disk_offset;
Filipe Manana8fccebf2020-09-08 11:27:20 +01002309 key.type = BTRFS_EXTENT_ITEM_KEY;
Filipe Mananabf385642020-09-08 11:27:22 +01002310 key.offset = extent_info->disk_len;
Filipe Manana8fccebf2020-09-08 11:27:20 +01002311 ret = btrfs_alloc_reserved_file_extent(trans, root,
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002312 btrfs_ino(inode),
Filipe Mananabf385642020-09-08 11:27:22 +01002313 extent_info->file_offset,
2314 extent_info->qgroup_reserved,
Filipe Manana8fccebf2020-09-08 11:27:20 +01002315 &key);
2316 } else {
2317 u64 ref_offset;
2318
2319 btrfs_init_generic_ref(&ref, BTRFS_ADD_DELAYED_REF,
Filipe Mananabf385642020-09-08 11:27:22 +01002320 extent_info->disk_offset,
Boris Burkov457cb1d2023-03-28 16:04:02 -07002321 extent_info->disk_len, 0,
2322 root->root_key.objectid);
Filipe Mananabf385642020-09-08 11:27:22 +01002323 ref_offset = extent_info->file_offset - extent_info->data_offset;
Filipe Manana8fccebf2020-09-08 11:27:20 +01002324 btrfs_init_data_ref(&ref, root->root_key.objectid,
Nikolay Borisovf42c5da2021-10-12 11:21:35 +03002325 btrfs_ino(inode), ref_offset, 0, false);
Filipe Manana8fccebf2020-09-08 11:27:20 +01002326 ret = btrfs_inc_extent_ref(trans, &ref);
2327 }
2328
Filipe Mananabf385642020-09-08 11:27:22 +01002329 extent_info->insertions++;
Filipe Manana690a5db2019-07-05 11:09:50 +01002330
2331 return ret;
2332}
2333
Filipe Manana9cba40a2019-06-28 23:11:26 +01002334/*
2335 * The respective range must have been previously locked, as well as the inode.
2336 * The end offset is inclusive (last byte of the range).
Filipe Mananabf385642020-09-08 11:27:22 +01002337 * @extent_info is NULL for fallocate's hole punching and non-NULL when replacing
2338 * the file range with an extent.
2339 * When not punching a hole, we don't want to end up in a state where we dropped
2340 * extents without inserting a new one, so we must abort the transaction to avoid
2341 * a corruption.
Filipe Manana9cba40a2019-06-28 23:11:26 +01002342 */
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002343int btrfs_replace_file_extents(struct btrfs_inode *inode,
2344 struct btrfs_path *path, const u64 start,
2345 const u64 end,
2346 struct btrfs_replace_extent_info *extent_info,
2347 struct btrfs_trans_handle **trans_out)
Filipe Manana9cba40a2019-06-28 23:11:26 +01002348{
Filipe Manana5893dfb2020-11-04 11:07:32 +00002349 struct btrfs_drop_extents_args drop_args = { 0 };
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002350 struct btrfs_root *root = inode->root;
2351 struct btrfs_fs_info *fs_info = root->fs_info;
Josef Bacik2bd36e72019-08-22 15:14:33 -04002352 u64 min_size = btrfs_calc_insert_metadata_size(fs_info, 1);
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002353 u64 ino_size = round_up(inode->vfs_inode.i_size, fs_info->sectorsize);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002354 struct btrfs_trans_handle *trans = NULL;
2355 struct btrfs_block_rsv *rsv;
2356 unsigned int rsv_count;
2357 u64 cur_offset;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002358 u64 len = end - start;
2359 int ret = 0;
2360
2361 if (end <= start)
2362 return -EINVAL;
2363
2364 rsv = btrfs_alloc_block_rsv(fs_info, BTRFS_BLOCK_RSV_TEMP);
2365 if (!rsv) {
2366 ret = -ENOMEM;
2367 goto out;
2368 }
Josef Bacik2bd36e72019-08-22 15:14:33 -04002369 rsv->size = btrfs_calc_insert_metadata_size(fs_info, 1);
David Sterba710d5922022-06-23 17:08:14 +02002370 rsv->failfast = true;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002371
2372 /*
2373 * 1 - update the inode
2374 * 1 - removing the extents in the range
Filipe Mananabf385642020-09-08 11:27:22 +01002375 * 1 - adding the hole extent if no_holes isn't set or if we are
2376 * replacing the range with a new extent
Filipe Manana9cba40a2019-06-28 23:11:26 +01002377 */
Filipe Mananabf385642020-09-08 11:27:22 +01002378 if (!btrfs_fs_incompat(fs_info, NO_HOLES) || extent_info)
Filipe Manana690a5db2019-07-05 11:09:50 +01002379 rsv_count = 3;
2380 else
2381 rsv_count = 2;
2382
Filipe Manana9cba40a2019-06-28 23:11:26 +01002383 trans = btrfs_start_transaction(root, rsv_count);
2384 if (IS_ERR(trans)) {
2385 ret = PTR_ERR(trans);
2386 trans = NULL;
2387 goto out_free;
2388 }
2389
2390 ret = btrfs_block_rsv_migrate(&fs_info->trans_block_rsv, rsv,
2391 min_size, false);
Filipe Manana650c9ca2022-06-06 10:41:19 +01002392 if (WARN_ON(ret))
2393 goto out_trans;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002394 trans->block_rsv = rsv;
2395
2396 cur_offset = start;
Filipe Manana5893dfb2020-11-04 11:07:32 +00002397 drop_args.path = path;
2398 drop_args.end = end + 1;
2399 drop_args.drop_cache = true;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002400 while (cur_offset < end) {
Filipe Manana5893dfb2020-11-04 11:07:32 +00002401 drop_args.start = cur_offset;
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002402 ret = btrfs_drop_extents(trans, root, inode, &drop_args);
Filipe Manana2766ff62020-11-04 11:07:34 +00002403 /* If we are punching a hole decrement the inode's byte count */
2404 if (!extent_info)
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002405 btrfs_update_inode_bytes(inode, 0,
Filipe Manana2766ff62020-11-04 11:07:34 +00002406 drop_args.bytes_found);
Filipe Manana690a5db2019-07-05 11:09:50 +01002407 if (ret != -ENOSPC) {
2408 /*
Josef Bacik4afb9122021-10-05 16:35:27 -04002409 * The only time we don't want to abort is if we are
2410 * attempting to clone a partial inline extent, in which
2411 * case we'll get EOPNOTSUPP. However if we aren't
2412 * clone we need to abort no matter what, because if we
2413 * got EOPNOTSUPP via prealloc then we messed up and
2414 * need to abort.
Filipe Manana690a5db2019-07-05 11:09:50 +01002415 */
Josef Bacik4afb9122021-10-05 16:35:27 -04002416 if (ret &&
2417 (ret != -EOPNOTSUPP ||
2418 (extent_info && extent_info->is_new_extent)))
Filipe Manana690a5db2019-07-05 11:09:50 +01002419 btrfs_abort_transaction(trans, ret);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002420 break;
Filipe Manana690a5db2019-07-05 11:09:50 +01002421 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002422
2423 trans->block_rsv = &fs_info->trans_block_rsv;
2424
Filipe Manana5893dfb2020-11-04 11:07:32 +00002425 if (!extent_info && cur_offset < drop_args.drop_end &&
Filipe Manana690a5db2019-07-05 11:09:50 +01002426 cur_offset < ino_size) {
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002427 ret = fill_holes(trans, inode, path, cur_offset,
2428 drop_args.drop_end);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002429 if (ret) {
2430 /*
2431 * If we failed then we didn't insert our hole
2432 * entries for the area we dropped, so now the
2433 * fs is corrupted, so we must abort the
2434 * transaction.
2435 */
2436 btrfs_abort_transaction(trans, ret);
2437 break;
2438 }
Filipe Manana5893dfb2020-11-04 11:07:32 +00002439 } else if (!extent_info && cur_offset < drop_args.drop_end) {
Josef Bacik9ddc9592020-01-17 09:02:22 -05002440 /*
2441 * We are past the i_size here, but since we didn't
2442 * insert holes we need to clear the mapped area so we
2443 * know to not set disk_i_size in this area until a new
2444 * file extent is inserted here.
2445 */
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002446 ret = btrfs_inode_clear_file_extent_range(inode,
Filipe Manana5893dfb2020-11-04 11:07:32 +00002447 cur_offset,
2448 drop_args.drop_end - cur_offset);
Josef Bacik9ddc9592020-01-17 09:02:22 -05002449 if (ret) {
2450 /*
2451 * We couldn't clear our area, so we could
2452 * presumably adjust up and corrupt the fs, so
2453 * we need to abort.
2454 */
2455 btrfs_abort_transaction(trans, ret);
2456 break;
2457 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002458 }
2459
Filipe Manana5893dfb2020-11-04 11:07:32 +00002460 if (extent_info &&
2461 drop_args.drop_end > extent_info->file_offset) {
2462 u64 replace_len = drop_args.drop_end -
2463 extent_info->file_offset;
Filipe Manana690a5db2019-07-05 11:09:50 +01002464
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002465 ret = btrfs_insert_replace_extent(trans, inode, path,
2466 extent_info, replace_len,
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002467 drop_args.bytes_found);
Filipe Manana690a5db2019-07-05 11:09:50 +01002468 if (ret) {
2469 btrfs_abort_transaction(trans, ret);
2470 break;
2471 }
Filipe Mananabf385642020-09-08 11:27:22 +01002472 extent_info->data_len -= replace_len;
2473 extent_info->data_offset += replace_len;
2474 extent_info->file_offset += replace_len;
Filipe Manana690a5db2019-07-05 11:09:50 +01002475 }
2476
Filipe Manana983d8202022-06-06 10:41:18 +01002477 /*
2478 * We are releasing our handle on the transaction, balance the
2479 * dirty pages of the btree inode and flush delayed items, and
2480 * then get a new transaction handle, which may now point to a
2481 * new transaction in case someone else may have committed the
2482 * transaction we used to replace/drop file extent items. So
2483 * bump the inode's iversion and update mtime and ctime except
2484 * if we are called from a dedupe context. This is because a
2485 * power failure/crash may happen after the transaction is
2486 * committed and before we finish replacing/dropping all the
2487 * file extent items we need.
2488 */
2489 inode_inc_iversion(&inode->vfs_inode);
2490
Jeff Layton2a9462d2023-07-05 15:00:54 -04002491 if (!extent_info || extent_info->update_times)
Jeff Laytonb1c38a12023-10-04 14:52:08 -04002492 inode_set_mtime_to_ts(&inode->vfs_inode,
2493 inode_set_ctime_current(&inode->vfs_inode));
Filipe Manana983d8202022-06-06 10:41:18 +01002494
Filipe Manana8b9d0322023-09-22 11:37:22 +01002495 ret = btrfs_update_inode(trans, inode);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002496 if (ret)
2497 break;
2498
2499 btrfs_end_transaction(trans);
2500 btrfs_btree_balance_dirty(fs_info);
2501
2502 trans = btrfs_start_transaction(root, rsv_count);
2503 if (IS_ERR(trans)) {
2504 ret = PTR_ERR(trans);
2505 trans = NULL;
2506 break;
2507 }
2508
2509 ret = btrfs_block_rsv_migrate(&fs_info->trans_block_rsv,
2510 rsv, min_size, false);
Filipe Manana650c9ca2022-06-06 10:41:19 +01002511 if (WARN_ON(ret))
2512 break;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002513 trans->block_rsv = rsv;
2514
BingJing Chang32277882021-03-25 09:56:22 +08002515 cur_offset = drop_args.drop_end;
2516 len = end - cur_offset;
2517 if (!extent_info && len) {
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002518 ret = find_first_non_hole(inode, &cur_offset, &len);
Filipe Manana690a5db2019-07-05 11:09:50 +01002519 if (unlikely(ret < 0))
2520 break;
2521 if (ret && !len) {
2522 ret = 0;
2523 break;
2524 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002525 }
2526 }
2527
Filipe Manana690a5db2019-07-05 11:09:50 +01002528 /*
2529 * If we were cloning, force the next fsync to be a full one since we
2530 * we replaced (or just dropped in the case of cloning holes when
Filipe Mananae2b84212021-03-26 13:14:41 +00002531 * NO_HOLES is enabled) file extent items and did not setup new extent
2532 * maps for the replacement extents (or holes).
Filipe Manana690a5db2019-07-05 11:09:50 +01002533 */
Filipe Mananabf385642020-09-08 11:27:22 +01002534 if (extent_info && !extent_info->is_new_extent)
Filipe Manana23e33372022-02-17 12:12:06 +00002535 btrfs_set_inode_full_sync(inode);
Filipe Manana690a5db2019-07-05 11:09:50 +01002536
Filipe Manana9cba40a2019-06-28 23:11:26 +01002537 if (ret)
2538 goto out_trans;
2539
2540 trans->block_rsv = &fs_info->trans_block_rsv;
2541 /*
2542 * If we are using the NO_HOLES feature we might have had already an
2543 * hole that overlaps a part of the region [lockstart, lockend] and
2544 * ends at (or beyond) lockend. Since we have no file extent items to
2545 * represent holes, drop_end can be less than lockend and so we must
2546 * make sure we have an extent map representing the existing hole (the
2547 * call to __btrfs_drop_extents() might have dropped the existing extent
2548 * map representing the existing hole), otherwise the fast fsync path
2549 * will not record the existence of the hole region
2550 * [existing_hole_start, lockend].
2551 */
Filipe Manana5893dfb2020-11-04 11:07:32 +00002552 if (drop_args.drop_end <= end)
2553 drop_args.drop_end = end + 1;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002554 /*
2555 * Don't insert file hole extent item if it's for a range beyond eof
2556 * (because it's useless) or if it represents a 0 bytes range (when
2557 * cur_offset == drop_end).
2558 */
Filipe Manana5893dfb2020-11-04 11:07:32 +00002559 if (!extent_info && cur_offset < ino_size &&
2560 cur_offset < drop_args.drop_end) {
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002561 ret = fill_holes(trans, inode, path, cur_offset,
2562 drop_args.drop_end);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002563 if (ret) {
2564 /* Same comment as above. */
2565 btrfs_abort_transaction(trans, ret);
2566 goto out_trans;
2567 }
Filipe Manana5893dfb2020-11-04 11:07:32 +00002568 } else if (!extent_info && cur_offset < drop_args.drop_end) {
Josef Bacik9ddc9592020-01-17 09:02:22 -05002569 /* See the comment in the loop above for the reasoning here. */
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002570 ret = btrfs_inode_clear_file_extent_range(inode, cur_offset,
2571 drop_args.drop_end - cur_offset);
Josef Bacik9ddc9592020-01-17 09:02:22 -05002572 if (ret) {
2573 btrfs_abort_transaction(trans, ret);
2574 goto out_trans;
2575 }
2576
Filipe Manana9cba40a2019-06-28 23:11:26 +01002577 }
Filipe Mananabf385642020-09-08 11:27:22 +01002578 if (extent_info) {
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002579 ret = btrfs_insert_replace_extent(trans, inode, path,
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002580 extent_info, extent_info->data_len,
2581 drop_args.bytes_found);
Filipe Manana690a5db2019-07-05 11:09:50 +01002582 if (ret) {
2583 btrfs_abort_transaction(trans, ret);
2584 goto out_trans;
2585 }
2586 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002587
2588out_trans:
2589 if (!trans)
2590 goto out_free;
2591
2592 trans->block_rsv = &fs_info->trans_block_rsv;
2593 if (ret)
2594 btrfs_end_transaction(trans);
2595 else
2596 *trans_out = trans;
2597out_free:
2598 btrfs_free_block_rsv(fs_info, rsv);
2599out:
2600 return ret;
2601}
2602
Darrick J. Wong05fd9562022-03-14 10:55:32 -07002603static int btrfs_punch_hole(struct file *file, loff_t offset, loff_t len)
Josef Bacik2aaa6652012-08-29 14:27:18 -04002604{
Darrick J. Wong05fd9562022-03-14 10:55:32 -07002605 struct inode *inode = file_inode(file);
David Sterba41044b42023-09-14 16:45:41 +02002606 struct btrfs_fs_info *fs_info = inode_to_fs_info(inode);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002607 struct btrfs_root *root = BTRFS_I(inode)->root;
2608 struct extent_state *cached_state = NULL;
2609 struct btrfs_path *path;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002610 struct btrfs_trans_handle *trans = NULL;
Qu Wenruod7781542014-05-30 15:16:10 +08002611 u64 lockstart;
2612 u64 lockend;
2613 u64 tail_start;
2614 u64 tail_len;
2615 u64 orig_start = offset;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002616 int ret = 0;
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302617 bool same_block;
Filipe Mananaa1a50f62014-04-26 01:35:31 +01002618 u64 ino_size;
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302619 bool truncated_block = false;
Filipe Mananae8c1c762015-02-15 22:38:54 +00002620 bool updated_inode = false;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002621
David Sterba29b63522022-10-27 02:41:32 +02002622 btrfs_inode_lock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Filipe Mananabd6526d2022-03-15 15:22:39 +00002623
Josef Bacik0ef8b722013-10-25 16:13:35 -04002624 ret = btrfs_wait_ordered_range(inode, offset, len);
2625 if (ret)
Filipe Mananabd6526d2022-03-15 15:22:39 +00002626 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002627
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002628 ino_size = round_up(inode->i_size, fs_info->sectorsize);
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002629 ret = find_first_non_hole(BTRFS_I(inode), &offset, &len);
Qu Wenruod7781542014-05-30 15:16:10 +08002630 if (ret < 0)
2631 goto out_only_mutex;
2632 if (ret && !len) {
2633 /* Already in a large hole */
2634 ret = 0;
2635 goto out_only_mutex;
2636 }
2637
Darrick J. Wong05fd9562022-03-14 10:55:32 -07002638 ret = file_modified(file);
2639 if (ret)
2640 goto out_only_mutex;
2641
Josef Bacikee8ba052022-09-14 19:04:48 -04002642 lockstart = round_up(offset, fs_info->sectorsize);
2643 lockend = round_down(offset + len, fs_info->sectorsize) - 1;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002644 same_block = (BTRFS_BYTES_TO_BLKS(fs_info, offset))
2645 == (BTRFS_BYTES_TO_BLKS(fs_info, offset + len - 1));
Miao Xie7426cc02012-12-05 10:54:52 +00002646 /*
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302647 * We needn't truncate any block which is beyond the end of the file
Miao Xie7426cc02012-12-05 10:54:52 +00002648 * because we are sure there is no data there.
2649 */
Josef Bacik2aaa6652012-08-29 14:27:18 -04002650 /*
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302651 * Only do this if we are in the same block and we aren't doing the
2652 * entire block.
Josef Bacik2aaa6652012-08-29 14:27:18 -04002653 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002654 if (same_block && len < fs_info->sectorsize) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002655 if (offset < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302656 truncated_block = true;
Nikolay Borisov217f42e2020-11-02 16:49:03 +02002657 ret = btrfs_truncate_block(BTRFS_I(inode), offset, len,
2658 0);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002659 } else {
2660 ret = 0;
2661 }
Qu Wenruod7781542014-05-30 15:16:10 +08002662 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002663 }
2664
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302665 /* zero back part of the first block */
Filipe Manana12870f12014-02-15 15:55:58 +00002666 if (offset < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302667 truncated_block = true;
Nikolay Borisov217f42e2020-11-02 16:49:03 +02002668 ret = btrfs_truncate_block(BTRFS_I(inode), offset, 0, 0);
Miao Xie7426cc02012-12-05 10:54:52 +00002669 if (ret) {
David Sterbae5d4d75b2022-10-27 02:41:32 +02002670 btrfs_inode_unlock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Miao Xie7426cc02012-12-05 10:54:52 +00002671 return ret;
2672 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002673 }
2674
Qu Wenruod7781542014-05-30 15:16:10 +08002675 /* Check the aligned pages after the first unaligned page,
2676 * if offset != orig_start, which means the first unaligned page
Nicholas D Steeves01327612016-05-19 21:18:45 -04002677 * including several following pages are already in holes,
Qu Wenruod7781542014-05-30 15:16:10 +08002678 * the extra check can be skipped */
2679 if (offset == orig_start) {
2680 /* after truncate page, check hole again */
2681 len = offset + len - lockstart;
2682 offset = lockstart;
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002683 ret = find_first_non_hole(BTRFS_I(inode), &offset, &len);
Qu Wenruod7781542014-05-30 15:16:10 +08002684 if (ret < 0)
2685 goto out_only_mutex;
2686 if (ret && !len) {
2687 ret = 0;
2688 goto out_only_mutex;
2689 }
2690 lockstart = offset;
2691 }
2692
2693 /* Check the tail unaligned part is in a hole */
2694 tail_start = lockend + 1;
2695 tail_len = offset + len - tail_start;
2696 if (tail_len) {
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002697 ret = find_first_non_hole(BTRFS_I(inode), &tail_start, &tail_len);
Qu Wenruod7781542014-05-30 15:16:10 +08002698 if (unlikely(ret < 0))
2699 goto out_only_mutex;
2700 if (!ret) {
2701 /* zero the front end of the last page */
2702 if (tail_start + tail_len < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302703 truncated_block = true;
Nikolay Borisov217f42e2020-11-02 16:49:03 +02002704 ret = btrfs_truncate_block(BTRFS_I(inode),
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302705 tail_start + tail_len,
2706 0, 1);
Qu Wenruod7781542014-05-30 15:16:10 +08002707 if (ret)
2708 goto out_only_mutex;
Qu Wenruo51f395a2014-08-08 13:06:20 +08002709 }
Miao Xie00612802012-12-05 10:54:12 +00002710 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002711 }
2712
2713 if (lockend < lockstart) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002714 ret = 0;
2715 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002716 }
2717
Filipe Manana55961c82022-03-15 15:22:40 +00002718 btrfs_punch_hole_lock_range(inode, lockstart, lockend, &cached_state);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002719
2720 path = btrfs_alloc_path();
2721 if (!path) {
2722 ret = -ENOMEM;
2723 goto out;
2724 }
2725
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002726 ret = btrfs_replace_file_extents(BTRFS_I(inode), path, lockstart,
2727 lockend, NULL, &trans);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002728 btrfs_free_path(path);
2729 if (ret)
2730 goto out;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002731
Filipe Manana9cba40a2019-06-28 23:11:26 +01002732 ASSERT(trans != NULL);
Tsutomu Itohe1f57902012-11-08 04:47:33 +00002733 inode_inc_iversion(inode);
Jeff Laytonb1c38a12023-10-04 14:52:08 -04002734 inode_set_mtime_to_ts(inode, inode_set_ctime_current(inode));
Filipe Manana8b9d0322023-09-22 11:37:22 +01002735 ret = btrfs_update_inode(trans, BTRFS_I(inode));
Filipe Mananae8c1c762015-02-15 22:38:54 +00002736 updated_inode = true;
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002737 btrfs_end_transaction(trans);
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04002738 btrfs_btree_balance_dirty(fs_info);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002739out:
Josef Bacik570eb972022-09-09 17:53:43 -04002740 unlock_extent(&BTRFS_I(inode)->io_tree, lockstart, lockend,
2741 &cached_state);
Qu Wenruod7781542014-05-30 15:16:10 +08002742out_only_mutex:
Filipe Manana9cba40a2019-06-28 23:11:26 +01002743 if (!updated_inode && truncated_block && !ret) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002744 /*
2745 * If we only end up zeroing part of a page, we still need to
2746 * update the inode item, so that all the time fields are
2747 * updated as well as the necessary btrfs inode in memory fields
2748 * for detecting, at fsync time, if the inode isn't yet in the
2749 * log tree or it's there but not up to date.
2750 */
Jeff Layton2a9462d2023-07-05 15:00:54 -04002751 struct timespec64 now = inode_set_ctime_current(inode);
Filipe Manana17900662019-06-19 13:05:50 +01002752
2753 inode_inc_iversion(inode);
Jeff Laytonb1c38a12023-10-04 14:52:08 -04002754 inode_set_mtime_to_ts(inode, now);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002755 trans = btrfs_start_transaction(root, 1);
2756 if (IS_ERR(trans)) {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002757 ret = PTR_ERR(trans);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002758 } else {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002759 int ret2;
2760
Filipe Manana8b9d0322023-09-22 11:37:22 +01002761 ret = btrfs_update_inode(trans, BTRFS_I(inode));
Filipe Manana9cba40a2019-06-28 23:11:26 +01002762 ret2 = btrfs_end_transaction(trans);
2763 if (!ret)
2764 ret = ret2;
Filipe Mananae8c1c762015-02-15 22:38:54 +00002765 }
2766 }
David Sterbae5d4d75b2022-10-27 02:41:32 +02002767 btrfs_inode_unlock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002768 return ret;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002769}
2770
Qu Wenruo14524a82015-09-08 17:22:44 +08002771/* Helper structure to record which range is already reserved */
2772struct falloc_range {
2773 struct list_head list;
2774 u64 start;
2775 u64 len;
2776};
2777
2778/*
2779 * Helper function to add falloc range
2780 *
2781 * Caller should have locked the larger range of extent containing
2782 * [start, len)
2783 */
2784static int add_falloc_range(struct list_head *head, u64 start, u64 len)
2785{
Qu Wenruo14524a82015-09-08 17:22:44 +08002786 struct falloc_range *range = NULL;
2787
Nikolay Borisov77d25532021-06-01 09:08:15 +03002788 if (!list_empty(head)) {
2789 /*
2790 * As fallocate iterates by bytenr order, we only need to check
2791 * the last range.
2792 */
2793 range = list_last_entry(head, struct falloc_range, list);
2794 if (range->start + range->len == start) {
2795 range->len += len;
2796 return 0;
2797 }
Qu Wenruo14524a82015-09-08 17:22:44 +08002798 }
Nikolay Borisov77d25532021-06-01 09:08:15 +03002799
David Sterba32fc9322016-02-11 14:25:38 +01002800 range = kmalloc(sizeof(*range), GFP_KERNEL);
Qu Wenruo14524a82015-09-08 17:22:44 +08002801 if (!range)
2802 return -ENOMEM;
2803 range->start = start;
2804 range->len = len;
2805 list_add_tail(&range->list, head);
2806 return 0;
2807}
2808
Filipe Mananaf27451f2017-10-25 11:55:28 +01002809static int btrfs_fallocate_update_isize(struct inode *inode,
2810 const u64 end,
2811 const int mode)
2812{
2813 struct btrfs_trans_handle *trans;
2814 struct btrfs_root *root = BTRFS_I(inode)->root;
2815 int ret;
2816 int ret2;
2817
2818 if (mode & FALLOC_FL_KEEP_SIZE || end <= i_size_read(inode))
2819 return 0;
2820
2821 trans = btrfs_start_transaction(root, 1);
2822 if (IS_ERR(trans))
2823 return PTR_ERR(trans);
2824
Jeff Layton2a9462d2023-07-05 15:00:54 -04002825 inode_set_ctime_current(inode);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002826 i_size_write(inode, end);
Nikolay Borisov76aea532020-11-02 16:48:53 +02002827 btrfs_inode_safe_disk_i_size_write(BTRFS_I(inode), 0);
Filipe Manana8b9d0322023-09-22 11:37:22 +01002828 ret = btrfs_update_inode(trans, BTRFS_I(inode));
Filipe Mananaf27451f2017-10-25 11:55:28 +01002829 ret2 = btrfs_end_transaction(trans);
2830
2831 return ret ? ret : ret2;
2832}
2833
Filipe Manana81fdf632018-01-18 11:34:31 +00002834enum {
David Sterbaf262fa82019-06-18 20:00:08 +02002835 RANGE_BOUNDARY_WRITTEN_EXTENT,
2836 RANGE_BOUNDARY_PREALLOC_EXTENT,
2837 RANGE_BOUNDARY_HOLE,
Filipe Manana81fdf632018-01-18 11:34:31 +00002838};
2839
Nikolay Borisov948dfeb2020-08-31 14:42:48 +03002840static int btrfs_zero_range_check_range_boundary(struct btrfs_inode *inode,
Filipe Mananaf27451f2017-10-25 11:55:28 +01002841 u64 offset)
2842{
Josef Bacikee8ba052022-09-14 19:04:48 -04002843 const u64 sectorsize = inode->root->fs_info->sectorsize;
Filipe Mananaf27451f2017-10-25 11:55:28 +01002844 struct extent_map *em;
Filipe Manana81fdf632018-01-18 11:34:31 +00002845 int ret;
Filipe Mananaf27451f2017-10-25 11:55:28 +01002846
2847 offset = round_down(offset, sectorsize);
Qu Wenruo8bab0a32024-01-08 13:50:20 +10302848 em = btrfs_get_extent(inode, NULL, offset, sectorsize);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002849 if (IS_ERR(em))
2850 return PTR_ERR(em);
2851
2852 if (em->block_start == EXTENT_MAP_HOLE)
Filipe Manana81fdf632018-01-18 11:34:31 +00002853 ret = RANGE_BOUNDARY_HOLE;
Filipe Mananaf86f7a72023-12-04 16:20:33 +00002854 else if (em->flags & EXTENT_FLAG_PREALLOC)
Filipe Manana81fdf632018-01-18 11:34:31 +00002855 ret = RANGE_BOUNDARY_PREALLOC_EXTENT;
2856 else
2857 ret = RANGE_BOUNDARY_WRITTEN_EXTENT;
Filipe Mananaf27451f2017-10-25 11:55:28 +01002858
2859 free_extent_map(em);
2860 return ret;
2861}
2862
2863static int btrfs_zero_range(struct inode *inode,
2864 loff_t offset,
2865 loff_t len,
2866 const int mode)
2867{
2868 struct btrfs_fs_info *fs_info = BTRFS_I(inode)->root->fs_info;
2869 struct extent_map *em;
2870 struct extent_changeset *data_reserved = NULL;
2871 int ret;
2872 u64 alloc_hint = 0;
Josef Bacikee8ba052022-09-14 19:04:48 -04002873 const u64 sectorsize = fs_info->sectorsize;
Filipe Mananaf27451f2017-10-25 11:55:28 +01002874 u64 alloc_start = round_down(offset, sectorsize);
2875 u64 alloc_end = round_up(offset + len, sectorsize);
2876 u64 bytes_to_reserve = 0;
2877 bool space_reserved = false;
2878
Qu Wenruo8bab0a32024-01-08 13:50:20 +10302879 em = btrfs_get_extent(BTRFS_I(inode), NULL, alloc_start,
Omar Sandoval39b07b52019-12-02 17:34:23 -08002880 alloc_end - alloc_start);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002881 if (IS_ERR(em)) {
2882 ret = PTR_ERR(em);
2883 goto out;
2884 }
2885
2886 /*
2887 * Avoid hole punching and extent allocation for some cases. More cases
2888 * could be considered, but these are unlikely common and we keep things
2889 * as simple as possible for now. Also, intentionally, if the target
2890 * range contains one or more prealloc extents together with regular
2891 * extents and holes, we drop all the existing extents and allocate a
2892 * new prealloc extent, so that we get a larger contiguous disk extent.
2893 */
Filipe Mananaf86f7a72023-12-04 16:20:33 +00002894 if (em->start <= alloc_start && (em->flags & EXTENT_FLAG_PREALLOC)) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01002895 const u64 em_end = em->start + em->len;
2896
2897 if (em_end >= offset + len) {
2898 /*
2899 * The whole range is already a prealloc extent,
2900 * do nothing except updating the inode's i_size if
2901 * needed.
2902 */
2903 free_extent_map(em);
2904 ret = btrfs_fallocate_update_isize(inode, offset + len,
2905 mode);
2906 goto out;
2907 }
2908 /*
2909 * Part of the range is already a prealloc extent, so operate
2910 * only on the remaining part of the range.
2911 */
2912 alloc_start = em_end;
2913 ASSERT(IS_ALIGNED(alloc_start, sectorsize));
2914 len = offset + len - alloc_start;
2915 offset = alloc_start;
2916 alloc_hint = em->block_start + em->len;
2917 }
2918 free_extent_map(em);
2919
2920 if (BTRFS_BYTES_TO_BLKS(fs_info, offset) ==
2921 BTRFS_BYTES_TO_BLKS(fs_info, offset + len - 1)) {
Qu Wenruo8bab0a32024-01-08 13:50:20 +10302922 em = btrfs_get_extent(BTRFS_I(inode), NULL, alloc_start, sectorsize);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002923 if (IS_ERR(em)) {
2924 ret = PTR_ERR(em);
2925 goto out;
2926 }
2927
Filipe Mananaf86f7a72023-12-04 16:20:33 +00002928 if (em->flags & EXTENT_FLAG_PREALLOC) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01002929 free_extent_map(em);
2930 ret = btrfs_fallocate_update_isize(inode, offset + len,
2931 mode);
2932 goto out;
2933 }
2934 if (len < sectorsize && em->block_start != EXTENT_MAP_HOLE) {
2935 free_extent_map(em);
Nikolay Borisov217f42e2020-11-02 16:49:03 +02002936 ret = btrfs_truncate_block(BTRFS_I(inode), offset, len,
2937 0);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002938 if (!ret)
2939 ret = btrfs_fallocate_update_isize(inode,
2940 offset + len,
2941 mode);
2942 return ret;
2943 }
2944 free_extent_map(em);
2945 alloc_start = round_down(offset, sectorsize);
2946 alloc_end = alloc_start + sectorsize;
2947 goto reserve_space;
2948 }
2949
2950 alloc_start = round_up(offset, sectorsize);
2951 alloc_end = round_down(offset + len, sectorsize);
2952
2953 /*
2954 * For unaligned ranges, check the pages at the boundaries, they might
2955 * map to an extent, in which case we need to partially zero them, or
2956 * they might map to a hole, in which case we need our allocation range
2957 * to cover them.
2958 */
2959 if (!IS_ALIGNED(offset, sectorsize)) {
Nikolay Borisov948dfeb2020-08-31 14:42:48 +03002960 ret = btrfs_zero_range_check_range_boundary(BTRFS_I(inode),
2961 offset);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002962 if (ret < 0)
2963 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00002964 if (ret == RANGE_BOUNDARY_HOLE) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01002965 alloc_start = round_down(offset, sectorsize);
2966 ret = 0;
Filipe Manana81fdf632018-01-18 11:34:31 +00002967 } else if (ret == RANGE_BOUNDARY_WRITTEN_EXTENT) {
Nikolay Borisov217f42e2020-11-02 16:49:03 +02002968 ret = btrfs_truncate_block(BTRFS_I(inode), offset, 0, 0);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002969 if (ret)
2970 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00002971 } else {
2972 ret = 0;
Filipe Mananaf27451f2017-10-25 11:55:28 +01002973 }
2974 }
2975
2976 if (!IS_ALIGNED(offset + len, sectorsize)) {
Nikolay Borisov948dfeb2020-08-31 14:42:48 +03002977 ret = btrfs_zero_range_check_range_boundary(BTRFS_I(inode),
Filipe Mananaf27451f2017-10-25 11:55:28 +01002978 offset + len);
2979 if (ret < 0)
2980 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00002981 if (ret == RANGE_BOUNDARY_HOLE) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01002982 alloc_end = round_up(offset + len, sectorsize);
2983 ret = 0;
Filipe Manana81fdf632018-01-18 11:34:31 +00002984 } else if (ret == RANGE_BOUNDARY_WRITTEN_EXTENT) {
Nikolay Borisov217f42e2020-11-02 16:49:03 +02002985 ret = btrfs_truncate_block(BTRFS_I(inode), offset + len,
2986 0, 1);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002987 if (ret)
2988 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00002989 } else {
2990 ret = 0;
Filipe Mananaf27451f2017-10-25 11:55:28 +01002991 }
2992 }
2993
2994reserve_space:
2995 if (alloc_start < alloc_end) {
2996 struct extent_state *cached_state = NULL;
2997 const u64 lockstart = alloc_start;
2998 const u64 lockend = alloc_end - 1;
2999
3000 bytes_to_reserve = alloc_end - alloc_start;
3001 ret = btrfs_alloc_data_chunk_ondemand(BTRFS_I(inode),
3002 bytes_to_reserve);
3003 if (ret < 0)
3004 goto out;
3005 space_reserved = true;
Filipe Manana55961c82022-03-15 15:22:40 +00003006 btrfs_punch_hole_lock_range(inode, lockstart, lockend,
3007 &cached_state);
Nikolay Borisov7661a3e2020-06-03 08:55:37 +03003008 ret = btrfs_qgroup_reserve_data(BTRFS_I(inode), &data_reserved,
Qu Wenruoa7f8b1c2020-06-10 09:04:42 +08003009 alloc_start, bytes_to_reserve);
Nikolay Borisov4f6a49d2021-02-23 15:20:42 +02003010 if (ret) {
Josef Bacik570eb972022-09-09 17:53:43 -04003011 unlock_extent(&BTRFS_I(inode)->io_tree, lockstart,
3012 lockend, &cached_state);
Qu Wenruoa7f8b1c2020-06-10 09:04:42 +08003013 goto out;
Nikolay Borisov4f6a49d2021-02-23 15:20:42 +02003014 }
Filipe Mananaf27451f2017-10-25 11:55:28 +01003015 ret = btrfs_prealloc_file_range(inode, mode, alloc_start,
3016 alloc_end - alloc_start,
David Sterbadc527962024-01-16 18:17:14 +01003017 fs_info->sectorsize,
Filipe Mananaf27451f2017-10-25 11:55:28 +01003018 offset + len, &alloc_hint);
Josef Bacik570eb972022-09-09 17:53:43 -04003019 unlock_extent(&BTRFS_I(inode)->io_tree, lockstart, lockend,
3020 &cached_state);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003021 /* btrfs_prealloc_file_range releases reserved space on error */
Filipe Manana9f13ce72018-01-18 11:34:20 +00003022 if (ret) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003023 space_reserved = false;
Filipe Manana9f13ce72018-01-18 11:34:20 +00003024 goto out;
3025 }
Filipe Mananaf27451f2017-10-25 11:55:28 +01003026 }
Filipe Manana9f13ce72018-01-18 11:34:20 +00003027 ret = btrfs_fallocate_update_isize(inode, offset + len, mode);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003028 out:
3029 if (ret && space_reserved)
Nikolay Borisov25ce28c2020-06-03 08:55:39 +03003030 btrfs_free_reserved_data_space(BTRFS_I(inode), data_reserved,
Filipe Mananaf27451f2017-10-25 11:55:28 +01003031 alloc_start, bytes_to_reserve);
3032 extent_changeset_free(data_reserved);
3033
3034 return ret;
3035}
3036
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003037static long btrfs_fallocate(struct file *file, int mode,
3038 loff_t offset, loff_t len)
3039{
Al Viro496ad9a2013-01-23 17:07:38 -05003040 struct inode *inode = file_inode(file);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003041 struct extent_state *cached_state = NULL;
Qu Wenruo364ecf32017-02-27 15:10:38 +08003042 struct extent_changeset *data_reserved = NULL;
Qu Wenruo14524a82015-09-08 17:22:44 +08003043 struct falloc_range *range;
3044 struct falloc_range *tmp;
Ruan Jinjie84af9942023-08-10 11:00:22 +08003045 LIST_HEAD(reserve_list);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003046 u64 cur_offset;
3047 u64 last_byte;
3048 u64 alloc_start;
3049 u64 alloc_end;
3050 u64 alloc_hint = 0;
3051 u64 locked_end;
Qu Wenruo14524a82015-09-08 17:22:44 +08003052 u64 actual_end = 0;
Filipe Manana47e1d1c2022-03-15 15:22:35 +00003053 u64 data_space_needed = 0;
3054 u64 data_space_reserved = 0;
3055 u64 qgroup_reserved = 0;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003056 struct extent_map *em;
Josef Bacikee8ba052022-09-14 19:04:48 -04003057 int blocksize = BTRFS_I(inode)->root->fs_info->sectorsize;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003058 int ret;
3059
Naohiro Aotaf1569c42020-11-10 20:26:12 +09003060 /* Do not allow fallocate in ZONED mode */
David Sterba41044b42023-09-14 16:45:41 +02003061 if (btrfs_is_zoned(inode_to_fs_info(inode)))
Naohiro Aotaf1569c42020-11-10 20:26:12 +09003062 return -EOPNOTSUPP;
3063
Miao Xie797f4272012-11-28 10:28:07 +00003064 alloc_start = round_down(offset, blocksize);
3065 alloc_end = round_up(offset + len, blocksize);
Wang Xiaoguang18513092016-07-25 15:51:40 +08003066 cur_offset = alloc_start;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003067
Josef Bacik2aaa6652012-08-29 14:27:18 -04003068 /* Make sure we aren't being give some crap mode */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003069 if (mode & ~(FALLOC_FL_KEEP_SIZE | FALLOC_FL_PUNCH_HOLE |
3070 FALLOC_FL_ZERO_RANGE))
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003071 return -EOPNOTSUPP;
3072
Josef Bacik2aaa6652012-08-29 14:27:18 -04003073 if (mode & FALLOC_FL_PUNCH_HOLE)
Darrick J. Wong05fd9562022-03-14 10:55:32 -07003074 return btrfs_punch_hole(file, offset, len);
Josef Bacik2aaa6652012-08-29 14:27:18 -04003075
David Sterba29b63522022-10-27 02:41:32 +02003076 btrfs_inode_lock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Davide Italiano2a162ce2015-04-06 22:09:15 -07003077
3078 if (!(mode & FALLOC_FL_KEEP_SIZE) && offset + len > inode->i_size) {
3079 ret = inode_newsize_ok(inode, offset + len);
3080 if (ret)
3081 goto out;
3082 }
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003083
Darrick J. Wong05fd9562022-03-14 10:55:32 -07003084 ret = file_modified(file);
3085 if (ret)
3086 goto out;
3087
Qu Wenruo14524a82015-09-08 17:22:44 +08003088 /*
3089 * TODO: Move these two operations after we have checked
3090 * accurate reserved space, or fallocate can still fail but
3091 * with page truncated or size expanded.
3092 *
3093 * But that's a minor problem and won't do much harm BTW.
3094 */
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003095 if (alloc_start > inode->i_size) {
Nikolay Borisovb06359a32020-11-02 16:49:04 +02003096 ret = btrfs_cont_expand(BTRFS_I(inode), i_size_read(inode),
Josef Bacika41ad392011-01-31 15:30:16 -05003097 alloc_start);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003098 if (ret)
3099 goto out;
Qu Wenruo0f6925f2015-10-14 15:26:13 +08003100 } else if (offset + len > inode->i_size) {
Josef Bacika71754f2013-06-17 17:14:39 -04003101 /*
3102 * If we are fallocating from the end of the file onward we
Chandan Rajendra9703fef2016-01-21 15:55:56 +05303103 * need to zero out the end of the block if i_size lands in the
3104 * middle of a block.
Josef Bacika71754f2013-06-17 17:14:39 -04003105 */
Nikolay Borisov217f42e2020-11-02 16:49:03 +02003106 ret = btrfs_truncate_block(BTRFS_I(inode), inode->i_size, 0, 0);
Josef Bacika71754f2013-06-17 17:14:39 -04003107 if (ret)
3108 goto out;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003109 }
3110
Josef Bacika71754f2013-06-17 17:14:39 -04003111 /*
Filipe Mananaffa8fc62022-03-15 15:22:38 +00003112 * We have locked the inode at the VFS level (in exclusive mode) and we
3113 * have locked the i_mmap_lock lock (in exclusive mode). Now before
3114 * locking the file range, flush all dealloc in the range and wait for
3115 * all ordered extents in the range to complete. After this we can lock
3116 * the file range and, due to the previous locking we did, we know there
3117 * can't be more delalloc or ordered extents in the range.
Josef Bacika71754f2013-06-17 17:14:39 -04003118 */
Josef Bacik0ef8b722013-10-25 16:13:35 -04003119 ret = btrfs_wait_ordered_range(inode, alloc_start,
3120 alloc_end - alloc_start);
3121 if (ret)
3122 goto out;
Josef Bacika71754f2013-06-17 17:14:39 -04003123
Filipe Mananaf27451f2017-10-25 11:55:28 +01003124 if (mode & FALLOC_FL_ZERO_RANGE) {
3125 ret = btrfs_zero_range(inode, offset, len, mode);
David Sterbae5d4d75b2022-10-27 02:41:32 +02003126 btrfs_inode_unlock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003127 return ret;
3128 }
3129
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003130 locked_end = alloc_end - 1;
Josef Bacik570eb972022-09-09 17:53:43 -04003131 lock_extent(&BTRFS_I(inode)->io_tree, alloc_start, locked_end,
3132 &cached_state);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003133
Filipe Manana63c34cb2022-03-15 15:22:41 +00003134 btrfs_assert_inode_range_clean(BTRFS_I(inode), alloc_start, locked_end);
3135
Qu Wenruo14524a82015-09-08 17:22:44 +08003136 /* First, check if we exceed the qgroup limit */
Nikolay Borisov6b7d6e92017-11-01 11:32:18 +02003137 while (cur_offset < alloc_end) {
Qu Wenruo8bab0a32024-01-08 13:50:20 +10303138 em = btrfs_get_extent(BTRFS_I(inode), NULL, cur_offset,
Omar Sandoval39b07b52019-12-02 17:34:23 -08003139 alloc_end - cur_offset);
Dan Carpenter99862772017-04-11 11:57:15 +03003140 if (IS_ERR(em)) {
3141 ret = PTR_ERR(em);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01003142 break;
3143 }
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003144 last_byte = min(extent_map_end(em), alloc_end);
Josef Bacikf1e490a2011-08-18 10:36:39 -04003145 actual_end = min_t(u64, extent_map_end(em), offset + len);
Miao Xie797f4272012-11-28 10:28:07 +00003146 last_byte = ALIGN(last_byte, blocksize);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003147 if (em->block_start == EXTENT_MAP_HOLE ||
3148 (cur_offset >= inode->i_size &&
Filipe Mananaf86f7a72023-12-04 16:20:33 +00003149 !(em->flags & EXTENT_FLAG_PREALLOC))) {
Filipe Manana47e1d1c2022-03-15 15:22:35 +00003150 const u64 range_len = last_byte - cur_offset;
3151
3152 ret = add_falloc_range(&reserve_list, cur_offset, range_len);
Qu Wenruo14524a82015-09-08 17:22:44 +08003153 if (ret < 0) {
3154 free_extent_map(em);
3155 break;
Filipe Manana3d850dd2015-03-12 23:23:13 +00003156 }
Nikolay Borisov7661a3e2020-06-03 08:55:37 +03003157 ret = btrfs_qgroup_reserve_data(BTRFS_I(inode),
Filipe Manana47e1d1c2022-03-15 15:22:35 +00003158 &data_reserved, cur_offset, range_len);
Filipe Mananabe2d2532017-04-03 15:57:17 +01003159 if (ret < 0) {
3160 free_extent_map(em);
Qu Wenruo14524a82015-09-08 17:22:44 +08003161 break;
Filipe Mananabe2d2532017-04-03 15:57:17 +01003162 }
Filipe Manana47e1d1c2022-03-15 15:22:35 +00003163 qgroup_reserved += range_len;
3164 data_space_needed += range_len;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003165 }
3166 free_extent_map(em);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003167 cur_offset = last_byte;
Qu Wenruo14524a82015-09-08 17:22:44 +08003168 }
3169
Filipe Manana47e1d1c2022-03-15 15:22:35 +00003170 if (!ret && data_space_needed > 0) {
3171 /*
3172 * We are safe to reserve space here as we can't have delalloc
3173 * in the range, see above.
3174 */
3175 ret = btrfs_alloc_data_chunk_ondemand(BTRFS_I(inode),
3176 data_space_needed);
3177 if (!ret)
3178 data_space_reserved = data_space_needed;
3179 }
3180
Qu Wenruo14524a82015-09-08 17:22:44 +08003181 /*
3182 * If ret is still 0, means we're OK to fallocate.
3183 * Or just cleanup the list and exit.
3184 */
3185 list_for_each_entry_safe(range, tmp, &reserve_list, list) {
Filipe Manana47e1d1c2022-03-15 15:22:35 +00003186 if (!ret) {
Qu Wenruo14524a82015-09-08 17:22:44 +08003187 ret = btrfs_prealloc_file_range(inode, mode,
3188 range->start,
David Sterbadc527962024-01-16 18:17:14 +01003189 range->len, blocksize,
Qu Wenruo14524a82015-09-08 17:22:44 +08003190 offset + len, &alloc_hint);
Filipe Manana47e1d1c2022-03-15 15:22:35 +00003191 /*
3192 * btrfs_prealloc_file_range() releases space even
3193 * if it returns an error.
3194 */
3195 data_space_reserved -= range->len;
3196 qgroup_reserved -= range->len;
3197 } else if (data_space_reserved > 0) {
Nikolay Borisov25ce28c2020-06-03 08:55:39 +03003198 btrfs_free_reserved_data_space(BTRFS_I(inode),
Filipe Manana47e1d1c2022-03-15 15:22:35 +00003199 data_reserved, range->start,
3200 range->len);
3201 data_space_reserved -= range->len;
3202 qgroup_reserved -= range->len;
3203 } else if (qgroup_reserved > 0) {
3204 btrfs_qgroup_free_data(BTRFS_I(inode), data_reserved,
Boris Burkov9e65bfc2023-12-01 13:00:10 -08003205 range->start, range->len, NULL);
Filipe Manana47e1d1c2022-03-15 15:22:35 +00003206 qgroup_reserved -= range->len;
3207 }
Qu Wenruo14524a82015-09-08 17:22:44 +08003208 list_del(&range->list);
3209 kfree(range);
3210 }
3211 if (ret < 0)
3212 goto out_unlock;
3213
Filipe Mananaf27451f2017-10-25 11:55:28 +01003214 /*
3215 * We didn't need to allocate any more space, but we still extended the
3216 * size of the file so we need to update i_size and the inode item.
3217 */
3218 ret = btrfs_fallocate_update_isize(inode, actual_end, mode);
Qu Wenruo14524a82015-09-08 17:22:44 +08003219out_unlock:
Josef Bacik570eb972022-09-09 17:53:43 -04003220 unlock_extent(&BTRFS_I(inode)->io_tree, alloc_start, locked_end,
3221 &cached_state);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003222out:
David Sterbae5d4d75b2022-10-27 02:41:32 +02003223 btrfs_inode_unlock(BTRFS_I(inode), BTRFS_ILOCK_MMAP);
Qu Wenruo364ecf32017-02-27 15:10:38 +08003224 extent_changeset_free(data_reserved);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003225 return ret;
3226}
3227
Filipe Mananab6e833562022-09-01 14:18:22 +01003228/*
Filipe Mananaac3c0d32022-09-01 14:18:30 +01003229 * Helper for btrfs_find_delalloc_in_range(). Find a subrange in a given range
3230 * that has unflushed and/or flushing delalloc. There might be other adjacent
3231 * subranges after the one it found, so btrfs_find_delalloc_in_range() keeps
3232 * looping while it gets adjacent subranges, and merging them together.
Filipe Mananab6e833562022-09-01 14:18:22 +01003233 */
3234static bool find_delalloc_subrange(struct btrfs_inode *inode, u64 start, u64 end,
Filipe Mananab3e744f2022-11-11 11:50:34 +00003235 struct extent_state **cached_state,
Filipe Mananaaf979fd2022-11-11 11:50:29 +00003236 bool *search_io_tree,
Filipe Mananab6e833562022-09-01 14:18:22 +01003237 u64 *delalloc_start_ret, u64 *delalloc_end_ret)
3238{
Filipe Manana40daf3e02022-11-11 11:50:28 +00003239 u64 len = end + 1 - start;
Filipe Manana8ddc8272022-11-11 11:50:30 +00003240 u64 delalloc_len = 0;
3241 struct btrfs_ordered_extent *oe;
3242 u64 oe_start;
3243 u64 oe_end;
Filipe Mananab6e833562022-09-01 14:18:22 +01003244
3245 /*
3246 * Search the io tree first for EXTENT_DELALLOC. If we find any, it
3247 * means we have delalloc (dirty pages) for which writeback has not
3248 * started yet.
3249 */
Filipe Manana8ddc8272022-11-11 11:50:30 +00003250 if (*search_io_tree) {
3251 spin_lock(&inode->lock);
3252 if (inode->delalloc_bytes > 0) {
3253 spin_unlock(&inode->lock);
3254 *delalloc_start_ret = start;
3255 delalloc_len = count_range_bits(&inode->io_tree,
3256 delalloc_start_ret, end,
Filipe Manana8c6e53a2022-11-11 11:50:32 +00003257 len, EXTENT_DELALLOC, 1,
Filipe Mananab3e744f2022-11-11 11:50:34 +00003258 cached_state);
Filipe Manana8ddc8272022-11-11 11:50:30 +00003259 } else {
3260 spin_unlock(&inode->lock);
3261 }
Filipe Mananaa2853ff2022-10-11 13:16:56 +01003262 }
3263
Filipe Manana40daf3e02022-11-11 11:50:28 +00003264 if (delalloc_len > 0) {
3265 /*
3266 * If delalloc was found then *delalloc_start_ret has a sector size
3267 * aligned value (rounded down).
3268 */
Filipe Mananab6e833562022-09-01 14:18:22 +01003269 *delalloc_end_ret = *delalloc_start_ret + delalloc_len - 1;
3270
Filipe Manana40daf3e02022-11-11 11:50:28 +00003271 if (*delalloc_start_ret == start) {
3272 /* Delalloc for the whole range, nothing more to do. */
3273 if (*delalloc_end_ret == end)
3274 return true;
Filipe Manana8ddc8272022-11-11 11:50:30 +00003275 /* Else trim our search range for ordered extents. */
Filipe Manana40daf3e02022-11-11 11:50:28 +00003276 start = *delalloc_end_ret + 1;
3277 len = end + 1 - start;
3278 }
Filipe Mananaaf979fd2022-11-11 11:50:29 +00003279 } else {
3280 /* No delalloc, future calls don't need to search again. */
3281 *search_io_tree = false;
Filipe Manana40daf3e02022-11-11 11:50:28 +00003282 }
3283
Filipe Mananaa2853ff2022-10-11 13:16:56 +01003284 /*
Filipe Manana8ddc8272022-11-11 11:50:30 +00003285 * Now also check if there's any ordered extent in the range.
3286 * We do this because:
Filipe Mananab6e833562022-09-01 14:18:22 +01003287 *
3288 * 1) When delalloc is flushed, the file range is locked, we clear the
Filipe Manana8ddc8272022-11-11 11:50:30 +00003289 * EXTENT_DELALLOC bit from the io tree and create an extent map and
3290 * an ordered extent for the write. So we might just have been called
3291 * after delalloc is flushed and before the ordered extent completes
3292 * and inserts the new file extent item in the subvolume's btree;
Filipe Mananab6e833562022-09-01 14:18:22 +01003293 *
Filipe Manana8ddc8272022-11-11 11:50:30 +00003294 * 2) We may have an ordered extent created by flushing delalloc for a
Filipe Mananab6e833562022-09-01 14:18:22 +01003295 * subrange that starts before the subrange we found marked with
3296 * EXTENT_DELALLOC in the io tree.
Filipe Manana8ddc8272022-11-11 11:50:30 +00003297 *
3298 * We could also use the extent map tree to find such delalloc that is
3299 * being flushed, but using the ordered extents tree is more efficient
3300 * because it's usually much smaller as ordered extents are removed from
3301 * the tree once they complete. With the extent maps, we mau have them
3302 * in the extent map tree for a very long time, and they were either
3303 * created by previous writes or loaded by read operations.
Filipe Mananab6e833562022-09-01 14:18:22 +01003304 */
Filipe Manana8ddc8272022-11-11 11:50:30 +00003305 oe = btrfs_lookup_first_ordered_range(inode, start, len);
3306 if (!oe)
Filipe Mananad47704b2022-10-11 13:16:54 +01003307 return (delalloc_len > 0);
Filipe Mananab6e833562022-09-01 14:18:22 +01003308
Filipe Manana8ddc8272022-11-11 11:50:30 +00003309 /* The ordered extent may span beyond our search range. */
3310 oe_start = max(oe->file_offset, start);
3311 oe_end = min(oe->file_offset + oe->num_bytes - 1, end);
Filipe Mananab6e833562022-09-01 14:18:22 +01003312
Filipe Manana8ddc8272022-11-11 11:50:30 +00003313 btrfs_put_ordered_extent(oe);
Filipe Mananab6e833562022-09-01 14:18:22 +01003314
Filipe Manana8ddc8272022-11-11 11:50:30 +00003315 /* Don't have unflushed delalloc, return the ordered extent range. */
Filipe Mananab6e833562022-09-01 14:18:22 +01003316 if (delalloc_len == 0) {
Filipe Manana8ddc8272022-11-11 11:50:30 +00003317 *delalloc_start_ret = oe_start;
3318 *delalloc_end_ret = oe_end;
Filipe Mananab6e833562022-09-01 14:18:22 +01003319 return true;
3320 }
3321
3322 /*
Filipe Manana8ddc8272022-11-11 11:50:30 +00003323 * We have both unflushed delalloc (io_tree) and an ordered extent.
3324 * If the ranges are adjacent returned a combined range, otherwise
3325 * return the leftmost range.
Filipe Mananab6e833562022-09-01 14:18:22 +01003326 */
Filipe Manana8ddc8272022-11-11 11:50:30 +00003327 if (oe_start < *delalloc_start_ret) {
3328 if (oe_end < *delalloc_start_ret)
3329 *delalloc_end_ret = oe_end;
3330 *delalloc_start_ret = oe_start;
3331 } else if (*delalloc_end_ret + 1 == oe_start) {
3332 *delalloc_end_ret = oe_end;
Filipe Mananab6e833562022-09-01 14:18:22 +01003333 }
3334
Filipe Mananab6e833562022-09-01 14:18:22 +01003335 return true;
3336}
3337
3338/*
3339 * Check if there's delalloc in a given range.
3340 *
3341 * @inode: The inode.
3342 * @start: The start offset of the range. It does not need to be
3343 * sector size aligned.
3344 * @end: The end offset (inclusive value) of the search range.
3345 * It does not need to be sector size aligned.
Filipe Mananab3e744f2022-11-11 11:50:34 +00003346 * @cached_state: Extent state record used for speeding up delalloc
3347 * searches in the inode's io_tree. Can be NULL.
Filipe Mananab6e833562022-09-01 14:18:22 +01003348 * @delalloc_start_ret: Output argument, set to the start offset of the
3349 * subrange found with delalloc (may not be sector size
3350 * aligned).
3351 * @delalloc_end_ret: Output argument, set to he end offset (inclusive value)
3352 * of the subrange found with delalloc.
3353 *
3354 * Returns true if a subrange with delalloc is found within the given range, and
3355 * if so it sets @delalloc_start_ret and @delalloc_end_ret with the start and
3356 * end offsets of the subrange.
3357 */
Filipe Mananaac3c0d32022-09-01 14:18:30 +01003358bool btrfs_find_delalloc_in_range(struct btrfs_inode *inode, u64 start, u64 end,
Filipe Mananab3e744f2022-11-11 11:50:34 +00003359 struct extent_state **cached_state,
Filipe Mananaac3c0d32022-09-01 14:18:30 +01003360 u64 *delalloc_start_ret, u64 *delalloc_end_ret)
Filipe Mananab6e833562022-09-01 14:18:22 +01003361{
3362 u64 cur_offset = round_down(start, inode->root->fs_info->sectorsize);
3363 u64 prev_delalloc_end = 0;
Filipe Mananaaf979fd2022-11-11 11:50:29 +00003364 bool search_io_tree = true;
Filipe Mananab6e833562022-09-01 14:18:22 +01003365 bool ret = false;
3366
Filipe Manana2f2e84c2022-12-23 18:28:53 +00003367 while (cur_offset <= end) {
Filipe Mananab6e833562022-09-01 14:18:22 +01003368 u64 delalloc_start;
3369 u64 delalloc_end;
3370 bool delalloc;
3371
3372 delalloc = find_delalloc_subrange(inode, cur_offset, end,
Filipe Mananab3e744f2022-11-11 11:50:34 +00003373 cached_state, &search_io_tree,
Filipe Mananab6e833562022-09-01 14:18:22 +01003374 &delalloc_start,
3375 &delalloc_end);
3376 if (!delalloc)
3377 break;
3378
3379 if (prev_delalloc_end == 0) {
3380 /* First subrange found. */
3381 *delalloc_start_ret = max(delalloc_start, start);
3382 *delalloc_end_ret = delalloc_end;
3383 ret = true;
3384 } else if (delalloc_start == prev_delalloc_end + 1) {
3385 /* Subrange adjacent to the previous one, merge them. */
3386 *delalloc_end_ret = delalloc_end;
3387 } else {
3388 /* Subrange not adjacent to the previous one, exit. */
3389 break;
3390 }
3391
3392 prev_delalloc_end = delalloc_end;
3393 cur_offset = delalloc_end + 1;
3394 cond_resched();
3395 }
3396
3397 return ret;
3398}
3399
3400/*
3401 * Check if there's a hole or delalloc range in a range representing a hole (or
3402 * prealloc extent) found in the inode's subvolume btree.
3403 *
3404 * @inode: The inode.
3405 * @whence: Seek mode (SEEK_DATA or SEEK_HOLE).
3406 * @start: Start offset of the hole region. It does not need to be sector
3407 * size aligned.
3408 * @end: End offset (inclusive value) of the hole region. It does not
3409 * need to be sector size aligned.
3410 * @start_ret: Return parameter, used to set the start of the subrange in the
3411 * hole that matches the search criteria (seek mode), if such
3412 * subrange is found (return value of the function is true).
3413 * The value returned here may not be sector size aligned.
3414 *
3415 * Returns true if a subrange matching the given seek mode is found, and if one
3416 * is found, it updates @start_ret with the start of the subrange.
3417 */
3418static bool find_desired_extent_in_hole(struct btrfs_inode *inode, int whence,
Filipe Manana3c32c722022-11-11 11:50:35 +00003419 struct extent_state **cached_state,
Filipe Mananab6e833562022-09-01 14:18:22 +01003420 u64 start, u64 end, u64 *start_ret)
3421{
3422 u64 delalloc_start;
3423 u64 delalloc_end;
3424 bool delalloc;
3425
Filipe Manana3c32c722022-11-11 11:50:35 +00003426 delalloc = btrfs_find_delalloc_in_range(inode, start, end, cached_state,
Filipe Mananaac3c0d32022-09-01 14:18:30 +01003427 &delalloc_start, &delalloc_end);
Filipe Mananab6e833562022-09-01 14:18:22 +01003428 if (delalloc && whence == SEEK_DATA) {
3429 *start_ret = delalloc_start;
3430 return true;
3431 }
3432
3433 if (delalloc && whence == SEEK_HOLE) {
3434 /*
3435 * We found delalloc but it starts after out start offset. So we
3436 * have a hole between our start offset and the delalloc start.
3437 */
3438 if (start < delalloc_start) {
3439 *start_ret = start;
3440 return true;
3441 }
3442 /*
3443 * Delalloc range starts at our start offset.
3444 * If the delalloc range's length is smaller than our range,
3445 * then it means we have a hole that starts where the delalloc
3446 * subrange ends.
3447 */
3448 if (delalloc_end < end) {
3449 *start_ret = delalloc_end + 1;
3450 return true;
3451 }
3452
3453 /* There's delalloc for the whole range. */
3454 return false;
3455 }
3456
3457 if (!delalloc && whence == SEEK_HOLE) {
3458 *start_ret = start;
3459 return true;
3460 }
3461
3462 /*
3463 * No delalloc in the range and we are seeking for data. The caller has
3464 * to iterate to the next extent item in the subvolume btree.
3465 */
3466 return false;
3467}
3468
Filipe Manana3c32c722022-11-11 11:50:35 +00003469static loff_t find_desired_extent(struct file *file, loff_t offset, int whence)
Josef Bacikb2675152011-07-18 13:21:36 -04003470{
Filipe Manana3c32c722022-11-11 11:50:35 +00003471 struct btrfs_inode *inode = BTRFS_I(file->f_mapping->host);
3472 struct btrfs_file_private *private = file->private_data;
Nikolay Borisovcca5de92021-02-17 15:12:48 +02003473 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Josef Bacikb2675152011-07-18 13:21:36 -04003474 struct extent_state *cached_state = NULL;
Filipe Manana3c32c722022-11-11 11:50:35 +00003475 struct extent_state **delalloc_cached_state;
Filipe Mananab6e833562022-09-01 14:18:22 +01003476 const loff_t i_size = i_size_read(&inode->vfs_inode);
3477 const u64 ino = btrfs_ino(inode);
3478 struct btrfs_root *root = inode->root;
3479 struct btrfs_path *path;
3480 struct btrfs_key key;
3481 u64 last_extent_end;
Liu Bo4d1a40c2014-09-16 17:49:30 +08003482 u64 lockstart;
3483 u64 lockend;
3484 u64 start;
Filipe Mananab6e833562022-09-01 14:18:22 +01003485 int ret;
3486 bool found = false;
Josef Bacikb2675152011-07-18 13:21:36 -04003487
Nikolay Borisovbc802302019-09-27 13:23:18 +03003488 if (i_size == 0 || offset >= i_size)
Josef Bacikb2675152011-07-18 13:21:36 -04003489 return -ENXIO;
3490
Liu Bo4d1a40c2014-09-16 17:49:30 +08003491 /*
Filipe Mananab6e833562022-09-01 14:18:22 +01003492 * Quick path. If the inode has no prealloc extents and its number of
3493 * bytes used matches its i_size, then it can not have holes.
3494 */
3495 if (whence == SEEK_HOLE &&
3496 !(inode->flags & BTRFS_INODE_PREALLOC) &&
3497 inode_get_bytes(&inode->vfs_inode) == i_size)
3498 return i_size;
3499
Filipe Manana3c32c722022-11-11 11:50:35 +00003500 if (!private) {
3501 private = kzalloc(sizeof(*private), GFP_KERNEL);
3502 /*
3503 * No worries if memory allocation failed.
3504 * The private structure is used only for speeding up multiple
3505 * lseek SEEK_HOLE/DATA calls to a file when there's delalloc,
3506 * so everything will still be correct.
3507 */
3508 file->private_data = private;
3509 }
3510
3511 if (private)
3512 delalloc_cached_state = &private->llseek_cached_state;
3513 else
3514 delalloc_cached_state = NULL;
3515
Filipe Mananab6e833562022-09-01 14:18:22 +01003516 /*
Nikolay Borisovbc802302019-09-27 13:23:18 +03003517 * offset can be negative, in this case we start finding DATA/HOLE from
Liu Bo4d1a40c2014-09-16 17:49:30 +08003518 * the very start of the file.
3519 */
Nikolay Borisovbc802302019-09-27 13:23:18 +03003520 start = max_t(loff_t, 0, offset);
Liu Bo4d1a40c2014-09-16 17:49:30 +08003521
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003522 lockstart = round_down(start, fs_info->sectorsize);
Nikolay Borisovd79b7c22019-09-27 13:23:16 +03003523 lockend = round_up(i_size, fs_info->sectorsize);
Liu Bo4d1a40c2014-09-16 17:49:30 +08003524 if (lockend <= lockstart)
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003525 lockend = lockstart + fs_info->sectorsize;
Liu Bo4d1a40c2014-09-16 17:49:30 +08003526 lockend--;
Filipe Mananab6e833562022-09-01 14:18:22 +01003527
3528 path = btrfs_alloc_path();
3529 if (!path)
3530 return -ENOMEM;
3531 path->reada = READA_FORWARD;
3532
3533 key.objectid = ino;
3534 key.type = BTRFS_EXTENT_DATA_KEY;
3535 key.offset = start;
3536
3537 last_extent_end = lockstart;
Liu Bo4d1a40c2014-09-16 17:49:30 +08003538
Josef Bacik570eb972022-09-09 17:53:43 -04003539 lock_extent(&inode->io_tree, lockstart, lockend, &cached_state);
Josef Bacikb2675152011-07-18 13:21:36 -04003540
Filipe Mananab6e833562022-09-01 14:18:22 +01003541 ret = btrfs_search_slot(NULL, root, &key, path, 0, 0);
3542 if (ret < 0) {
3543 goto out;
3544 } else if (ret > 0 && path->slots[0] > 0) {
3545 btrfs_item_key_to_cpu(path->nodes[0], &key, path->slots[0] - 1);
3546 if (key.objectid == ino && key.type == BTRFS_EXTENT_DATA_KEY)
3547 path->slots[0]--;
3548 }
3549
Nikolay Borisovd79b7c22019-09-27 13:23:16 +03003550 while (start < i_size) {
Filipe Mananab6e833562022-09-01 14:18:22 +01003551 struct extent_buffer *leaf = path->nodes[0];
3552 struct btrfs_file_extent_item *extent;
3553 u64 extent_end;
Filipe Manana1f55ee62023-01-12 14:17:20 +00003554 u8 type;
Filipe Mananab6e833562022-09-01 14:18:22 +01003555
3556 if (path->slots[0] >= btrfs_header_nritems(leaf)) {
3557 ret = btrfs_next_leaf(root, path);
3558 if (ret < 0)
3559 goto out;
3560 else if (ret > 0)
3561 break;
3562
3563 leaf = path->nodes[0];
Josef Bacikb2675152011-07-18 13:21:36 -04003564 }
3565
Filipe Mananab6e833562022-09-01 14:18:22 +01003566 btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);
3567 if (key.objectid != ino || key.type != BTRFS_EXTENT_DATA_KEY)
Josef Bacik7f4ca372013-10-18 11:44:46 -04003568 break;
Josef Bacikb2675152011-07-18 13:21:36 -04003569
Filipe Mananab6e833562022-09-01 14:18:22 +01003570 extent_end = btrfs_file_extent_end(path);
3571
3572 /*
3573 * In the first iteration we may have a slot that points to an
3574 * extent that ends before our start offset, so skip it.
3575 */
3576 if (extent_end <= start) {
3577 path->slots[0]++;
3578 continue;
3579 }
3580
3581 /* We have an implicit hole, NO_HOLES feature is likely set. */
3582 if (last_extent_end < key.offset) {
3583 u64 search_start = last_extent_end;
3584 u64 found_start;
3585
3586 /*
3587 * First iteration, @start matches @offset and it's
3588 * within the hole.
3589 */
3590 if (start == offset)
3591 search_start = offset;
3592
3593 found = find_desired_extent_in_hole(inode, whence,
Filipe Manana3c32c722022-11-11 11:50:35 +00003594 delalloc_cached_state,
Filipe Mananab6e833562022-09-01 14:18:22 +01003595 search_start,
3596 key.offset - 1,
3597 &found_start);
3598 if (found) {
3599 start = found_start;
3600 break;
3601 }
3602 /*
3603 * Didn't find data or a hole (due to delalloc) in the
3604 * implicit hole range, so need to analyze the extent.
3605 */
3606 }
3607
3608 extent = btrfs_item_ptr(leaf, path->slots[0],
3609 struct btrfs_file_extent_item);
Filipe Manana1f55ee62023-01-12 14:17:20 +00003610 type = btrfs_file_extent_type(leaf, extent);
Filipe Mananab6e833562022-09-01 14:18:22 +01003611
Filipe Manana1f55ee62023-01-12 14:17:20 +00003612 /*
3613 * Can't access the extent's disk_bytenr field if this is an
3614 * inline extent, since at that offset, it's where the extent
3615 * data starts.
3616 */
3617 if (type == BTRFS_FILE_EXTENT_PREALLOC ||
3618 (type == BTRFS_FILE_EXTENT_REG &&
3619 btrfs_file_extent_disk_bytenr(leaf, extent) == 0)) {
Filipe Mananab6e833562022-09-01 14:18:22 +01003620 /*
3621 * Explicit hole or prealloc extent, search for delalloc.
3622 * A prealloc extent is treated like a hole.
3623 */
3624 u64 search_start = key.offset;
3625 u64 found_start;
3626
3627 /*
3628 * First iteration, @start matches @offset and it's
3629 * within the hole.
3630 */
3631 if (start == offset)
3632 search_start = offset;
3633
3634 found = find_desired_extent_in_hole(inode, whence,
Filipe Manana3c32c722022-11-11 11:50:35 +00003635 delalloc_cached_state,
Filipe Mananab6e833562022-09-01 14:18:22 +01003636 search_start,
3637 extent_end - 1,
3638 &found_start);
3639 if (found) {
3640 start = found_start;
3641 break;
3642 }
3643 /*
3644 * Didn't find data or a hole (due to delalloc) in the
3645 * implicit hole range, so need to analyze the next
3646 * extent item.
3647 */
3648 } else {
3649 /*
3650 * Found a regular or inline extent.
3651 * If we are seeking for data, adjust the start offset
3652 * and stop, we're done.
3653 */
3654 if (whence == SEEK_DATA) {
3655 start = max_t(u64, key.offset, offset);
3656 found = true;
3657 break;
3658 }
3659 /*
3660 * Else, we are seeking for a hole, check the next file
3661 * extent item.
3662 */
3663 }
3664
3665 start = extent_end;
3666 last_extent_end = extent_end;
3667 path->slots[0]++;
Filipe Mananaaed0ca12022-09-01 14:18:21 +01003668 if (fatal_signal_pending(current)) {
3669 ret = -EINTR;
Filipe Mananab6e833562022-09-01 14:18:22 +01003670 goto out;
Filipe Mananaaed0ca12022-09-01 14:18:21 +01003671 }
Josef Bacikb2675152011-07-18 13:21:36 -04003672 cond_resched();
3673 }
Filipe Mananab6e833562022-09-01 14:18:22 +01003674
3675 /* We have an implicit hole from the last extent found up to i_size. */
3676 if (!found && start < i_size) {
Filipe Manana3c32c722022-11-11 11:50:35 +00003677 found = find_desired_extent_in_hole(inode, whence,
3678 delalloc_cached_state, start,
Filipe Mananab6e833562022-09-01 14:18:22 +01003679 i_size - 1, &start);
3680 if (!found)
3681 start = i_size;
Nikolay Borisovbc802302019-09-27 13:23:18 +03003682 }
3683
Filipe Mananab6e833562022-09-01 14:18:22 +01003684out:
Josef Bacik570eb972022-09-09 17:53:43 -04003685 unlock_extent(&inode->io_tree, lockstart, lockend, &cached_state);
Filipe Mananab6e833562022-09-01 14:18:22 +01003686 btrfs_free_path(path);
3687
3688 if (ret < 0)
3689 return ret;
3690
3691 if (whence == SEEK_DATA && start >= i_size)
3692 return -ENXIO;
3693
3694 return min_t(loff_t, start, i_size);
Josef Bacikb2675152011-07-18 13:21:36 -04003695}
3696
Andrew Morton965c8e52012-12-17 15:59:39 -08003697static loff_t btrfs_file_llseek(struct file *file, loff_t offset, int whence)
Josef Bacikb2675152011-07-18 13:21:36 -04003698{
3699 struct inode *inode = file->f_mapping->host;
Josef Bacikb2675152011-07-18 13:21:36 -04003700
Andrew Morton965c8e52012-12-17 15:59:39 -08003701 switch (whence) {
Nikolay Borisov2034f3b2019-09-27 13:23:17 +03003702 default:
3703 return generic_file_llseek(file, offset, whence);
Josef Bacikb2675152011-07-18 13:21:36 -04003704 case SEEK_DATA:
3705 case SEEK_HOLE:
David Sterba29b63522022-10-27 02:41:32 +02003706 btrfs_inode_lock(BTRFS_I(inode), BTRFS_ILOCK_SHARED);
Filipe Manana3c32c722022-11-11 11:50:35 +00003707 offset = find_desired_extent(file, offset, whence);
David Sterbae5d4d75b2022-10-27 02:41:32 +02003708 btrfs_inode_unlock(BTRFS_I(inode), BTRFS_ILOCK_SHARED);
Nikolay Borisovbc802302019-09-27 13:23:18 +03003709 break;
Josef Bacikb2675152011-07-18 13:21:36 -04003710 }
3711
Nikolay Borisovbc802302019-09-27 13:23:18 +03003712 if (offset < 0)
3713 return offset;
3714
Nikolay Borisov2034f3b2019-09-27 13:23:17 +03003715 return vfs_setpos(file, offset, inode->i_sb->s_maxbytes);
Josef Bacikb2675152011-07-18 13:21:36 -04003716}
3717
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003718static int btrfs_file_open(struct inode *inode, struct file *filp)
3719{
Boris Burkov14605402021-06-30 13:01:49 -07003720 int ret;
3721
Christoph Hellwigf02c75e2023-06-08 11:11:33 +02003722 filp->f_mode |= FMODE_NOWAIT | FMODE_BUF_RASYNC | FMODE_BUF_WASYNC |
3723 FMODE_CAN_ODIRECT;
Boris Burkov14605402021-06-30 13:01:49 -07003724
3725 ret = fsverity_file_open(inode, filp);
3726 if (ret)
3727 return ret;
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003728 return generic_file_open(inode, filp);
3729}
3730
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003731static int check_direct_read(struct btrfs_fs_info *fs_info,
3732 const struct iov_iter *iter, loff_t offset)
3733{
3734 int ret;
3735 int i, seg;
3736
3737 ret = check_direct_IO(fs_info, iter, offset);
3738 if (ret < 0)
3739 return ret;
3740
3741 if (!iter_is_iovec(iter))
3742 return 0;
3743
Jens Axboede4f5fe2023-03-29 08:52:15 -06003744 for (seg = 0; seg < iter->nr_segs; seg++) {
3745 for (i = seg + 1; i < iter->nr_segs; i++) {
3746 const struct iovec *iov1 = iter_iov(iter) + seg;
3747 const struct iovec *iov2 = iter_iov(iter) + i;
3748
3749 if (iov1->iov_base == iov2->iov_base)
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003750 return -EINVAL;
Jens Axboede4f5fe2023-03-29 08:52:15 -06003751 }
3752 }
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003753 return 0;
3754}
3755
3756static ssize_t btrfs_direct_read(struct kiocb *iocb, struct iov_iter *to)
3757{
3758 struct inode *inode = file_inode(iocb->ki_filp);
Filipe Manana51bd9562021-10-25 17:27:47 +01003759 size_t prev_left = 0;
3760 ssize_t read = 0;
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003761 ssize_t ret;
3762
Boris Burkov14605402021-06-30 13:01:49 -07003763 if (fsverity_active(inode))
3764 return 0;
3765
David Sterba41044b42023-09-14 16:45:41 +02003766 if (check_direct_read(inode_to_fs_info(inode), to, iocb->ki_pos))
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003767 return 0;
3768
David Sterba29b63522022-10-27 02:41:32 +02003769 btrfs_inode_lock(BTRFS_I(inode), BTRFS_ILOCK_SHARED);
Filipe Manana51bd9562021-10-25 17:27:47 +01003770again:
3771 /*
3772 * This is similar to what we do for direct IO writes, see the comment
3773 * at btrfs_direct_write(), but we also disable page faults in addition
3774 * to disabling them only at the iov_iter level. This is because when
3775 * reading from a hole or prealloc extent, iomap calls iov_iter_zero(),
3776 * which can still trigger page fault ins despite having set ->nofault
3777 * to true of our 'to' iov_iter.
3778 *
3779 * The difference to direct IO writes is that we deadlock when trying
3780 * to lock the extent range in the inode's tree during he page reads
3781 * triggered by the fault in (while for writes it is due to waiting for
3782 * our own ordered extent). This is because for direct IO reads,
3783 * btrfs_dio_iomap_begin() returns with the extent range locked, which
3784 * is only unlocked in the endio callback (end_bio_extent_readpage()).
3785 */
3786 pagefault_disable();
3787 to->nofault = true;
Filipe Manana81846202022-10-28 13:15:35 +01003788 ret = btrfs_dio_read(iocb, to, read);
Filipe Manana51bd9562021-10-25 17:27:47 +01003789 to->nofault = false;
3790 pagefault_enable();
3791
3792 /* No increment (+=) because iomap returns a cumulative value. */
3793 if (ret > 0)
3794 read = ret;
3795
3796 if (iov_iter_count(to) > 0 && (ret == -EFAULT || ret > 0)) {
3797 const size_t left = iov_iter_count(to);
3798
3799 if (left == prev_left) {
3800 /*
3801 * We didn't make any progress since the last attempt,
3802 * fallback to a buffered read for the remainder of the
3803 * range. This is just to avoid any possibility of looping
3804 * for too long.
3805 */
3806 ret = read;
3807 } else {
3808 /*
3809 * We made some progress since the last retry or this is
3810 * the first time we are retrying. Fault in as many pages
3811 * as possible and retry.
3812 */
3813 fault_in_iov_iter_writeable(to, left);
3814 prev_left = left;
3815 goto again;
3816 }
3817 }
David Sterbae5d4d75b2022-10-27 02:41:32 +02003818 btrfs_inode_unlock(BTRFS_I(inode), BTRFS_ILOCK_SHARED);
Filipe Manana51bd9562021-10-25 17:27:47 +01003819 return ret < 0 ? ret : read;
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003820}
3821
Goldwyn Rodriguesf85781f2020-08-17 11:18:21 -05003822static ssize_t btrfs_file_read_iter(struct kiocb *iocb, struct iov_iter *to)
3823{
3824 ssize_t ret = 0;
3825
3826 if (iocb->ki_flags & IOCB_DIRECT) {
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003827 ret = btrfs_direct_read(iocb, to);
Johannes Thumshirn0425e7b2020-10-22 23:05:05 +09003828 if (ret < 0 || !iov_iter_count(to) ||
3829 iocb->ki_pos >= i_size_read(file_inode(iocb->ki_filp)))
Goldwyn Rodriguesf85781f2020-08-17 11:18:21 -05003830 return ret;
3831 }
3832
Christoph Hellwig87fa0f32021-02-24 12:02:42 -08003833 return filemap_read(iocb, to, ret);
Goldwyn Rodriguesf85781f2020-08-17 11:18:21 -05003834}
3835
Alexey Dobriyan828c0952009-10-01 15:43:56 -07003836const struct file_operations btrfs_file_operations = {
Josef Bacikb2675152011-07-18 13:21:36 -04003837 .llseek = btrfs_file_llseek,
Goldwyn Rodriguesf85781f2020-08-17 11:18:21 -05003838 .read_iter = btrfs_file_read_iter,
David Howells2cb1e0892023-05-22 14:50:15 +01003839 .splice_read = filemap_splice_read,
Al Virob30ac0f2014-04-03 14:29:04 -04003840 .write_iter = btrfs_file_write_iter,
Christoph Hellwigd7776592020-07-09 18:22:06 +02003841 .splice_write = iter_file_splice_write,
Chris Mason9ebefb182007-06-15 13:50:00 -04003842 .mmap = btrfs_file_mmap,
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003843 .open = btrfs_file_open,
Mingminge1b81e62008-05-27 10:55:43 -04003844 .release = btrfs_release_file,
Alexander Zhub0c58222022-08-02 13:32:46 -07003845 .get_unmapped_area = thp_get_unmapped_area,
Chris Mason39279cc2007-06-12 06:35:45 -04003846 .fsync = btrfs_sync_file,
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003847 .fallocate = btrfs_fallocate,
Christoph Hellwig34287aa2007-09-14 10:22:47 -04003848 .unlocked_ioctl = btrfs_ioctl,
Chris Mason39279cc2007-06-12 06:35:45 -04003849#ifdef CONFIG_COMPAT
Luke Dashjr4c63c242015-10-29 08:22:21 +00003850 .compat_ioctl = btrfs_compat_ioctl,
Chris Mason39279cc2007-06-12 06:35:45 -04003851#endif
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11003852 .remap_file_range = btrfs_remap_file_range,
Chris Mason39279cc2007-06-12 06:35:45 -04003853};
Miao Xie9247f312012-11-26 09:24:43 +00003854
Filipe Manana728404d2014-10-10 09:43:11 +01003855int btrfs_fdatawrite_range(struct inode *inode, loff_t start, loff_t end)
3856{
3857 int ret;
3858
3859 /*
3860 * So with compression we will find and lock a dirty page and clear the
3861 * first one as dirty, setup an async extent, and immediately return
3862 * with the entire range locked but with nobody actually marked with
3863 * writeback. So we can't just filemap_write_and_wait_range() and
3864 * expect it to work since it will just kick off a thread to do the
3865 * actual work. So we need to call filemap_fdatawrite_range _again_
3866 * since it will wait on the page lock, which won't be unlocked until
3867 * after the pages have been marked as writeback and so we're good to go
3868 * from there. We have to do this otherwise we'll miss the ordered
3869 * extents and that results in badness. Please Josef, do not think you
3870 * know better and pull this out at some point in the future, it is
3871 * right and you are wrong.
3872 */
3873 ret = filemap_fdatawrite_range(inode->i_mapping, start, end);
3874 if (!ret && test_bit(BTRFS_INODE_HAS_ASYNC_EXTENT,
3875 &BTRFS_I(inode)->runtime_flags))
3876 ret = filemap_fdatawrite_range(inode->i_mapping, start, end);
3877
3878 return ret;
3879}