blob: a1762363f61faff8248c9fc4e7cda9503c775da5 [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>
Chris Mason39279cc2007-06-12 06:35:45 -040020#include "ctree.h"
21#include "disk-io.h"
22#include "transaction.h"
23#include "btrfs_inode.h"
Chris Mason39279cc2007-06-12 06:35:45 -040024#include "print-tree.h"
Chris Masone02119d2008-09-05 16:13:11 -040025#include "tree-log.h"
26#include "locking.h"
Josef Bacik2aaa6652012-08-29 14:27:18 -040027#include "volumes.h"
Josef Bacikfcebe452014-05-13 17:30:47 -070028#include "qgroup.h"
Anand Jainebb87652016-03-10 17:26:59 +080029#include "compression.h"
Josef Bacik86736342019-06-19 15:12:00 -040030#include "delalloc-space.h"
Filipe Manana6a177382020-02-28 13:04:17 +000031#include "reflink.h"
Qu Wenruof02a85d2021-05-31 16:50:41 +080032#include "subpage.h"
Chris Mason39279cc2007-06-12 06:35:45 -040033
Miao Xie9247f312012-11-26 09:24:43 +000034static struct kmem_cache *btrfs_inode_defrag_cachep;
Chris Mason4cb53002011-05-24 15:35:30 -040035/*
36 * when auto defrag is enabled we
37 * queue up these defrag structs to remember which
38 * inodes need defragging passes
39 */
40struct inode_defrag {
41 struct rb_node rb_node;
42 /* objectid */
43 u64 ino;
44 /*
45 * transid where the defrag was added, we search for
46 * extents newer than this
47 */
48 u64 transid;
49
50 /* root objectid */
51 u64 root;
52
53 /* last offset we were able to defrag */
54 u64 last_offset;
55
56 /* if we've wrapped around back to zero once already */
57 int cycled;
58};
59
Miao Xie762f2262012-05-24 18:58:27 +080060static int __compare_inode_defrag(struct inode_defrag *defrag1,
61 struct inode_defrag *defrag2)
62{
63 if (defrag1->root > defrag2->root)
64 return 1;
65 else if (defrag1->root < defrag2->root)
66 return -1;
67 else if (defrag1->ino > defrag2->ino)
68 return 1;
69 else if (defrag1->ino < defrag2->ino)
70 return -1;
71 else
72 return 0;
73}
74
Chris Mason4cb53002011-05-24 15:35:30 -040075/* pop a record for an inode into the defrag tree. The lock
76 * must be held already
77 *
78 * If you're inserting a record for an older transid than an
79 * existing record, the transid already in the tree is lowered
80 *
81 * If an existing record is found the defrag item you
82 * pass in is freed
83 */
Nikolay Borisov6158e1c2017-02-20 13:50:43 +020084static int __btrfs_add_inode_defrag(struct btrfs_inode *inode,
Chris Mason4cb53002011-05-24 15:35:30 -040085 struct inode_defrag *defrag)
86{
David Sterba3ffbd682018-06-29 10:56:42 +020087 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Chris Mason4cb53002011-05-24 15:35:30 -040088 struct inode_defrag *entry;
89 struct rb_node **p;
90 struct rb_node *parent = NULL;
Miao Xie762f2262012-05-24 18:58:27 +080091 int ret;
Chris Mason4cb53002011-05-24 15:35:30 -040092
Jeff Mahoney0b246af2016-06-22 18:54:23 -040093 p = &fs_info->defrag_inodes.rb_node;
Chris Mason4cb53002011-05-24 15:35:30 -040094 while (*p) {
95 parent = *p;
96 entry = rb_entry(parent, struct inode_defrag, rb_node);
97
Miao Xie762f2262012-05-24 18:58:27 +080098 ret = __compare_inode_defrag(defrag, entry);
99 if (ret < 0)
Chris Mason4cb53002011-05-24 15:35:30 -0400100 p = &parent->rb_left;
Miao Xie762f2262012-05-24 18:58:27 +0800101 else if (ret > 0)
Chris Mason4cb53002011-05-24 15:35:30 -0400102 p = &parent->rb_right;
103 else {
104 /* if we're reinserting an entry for
105 * an old defrag run, make sure to
106 * lower the transid of our existing record
107 */
108 if (defrag->transid < entry->transid)
109 entry->transid = defrag->transid;
110 if (defrag->last_offset > entry->last_offset)
111 entry->last_offset = defrag->last_offset;
Miao Xie8ddc4732012-11-26 09:25:38 +0000112 return -EEXIST;
Chris Mason4cb53002011-05-24 15:35:30 -0400113 }
114 }
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200115 set_bit(BTRFS_INODE_IN_DEFRAG, &inode->runtime_flags);
Chris Mason4cb53002011-05-24 15:35:30 -0400116 rb_link_node(&defrag->rb_node, parent, p);
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400117 rb_insert_color(&defrag->rb_node, &fs_info->defrag_inodes);
Miao Xie8ddc4732012-11-26 09:25:38 +0000118 return 0;
119}
Chris Mason4cb53002011-05-24 15:35:30 -0400120
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400121static inline int __need_auto_defrag(struct btrfs_fs_info *fs_info)
Miao Xie8ddc4732012-11-26 09:25:38 +0000122{
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400123 if (!btrfs_test_opt(fs_info, AUTO_DEFRAG))
Miao Xie8ddc4732012-11-26 09:25:38 +0000124 return 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400125
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400126 if (btrfs_fs_closing(fs_info))
Miao Xie8ddc4732012-11-26 09:25:38 +0000127 return 0;
128
129 return 1;
Chris Mason4cb53002011-05-24 15:35:30 -0400130}
131
132/*
133 * insert a defrag record for this inode if auto defrag is
134 * enabled
135 */
136int btrfs_add_inode_defrag(struct btrfs_trans_handle *trans,
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200137 struct btrfs_inode *inode)
Chris Mason4cb53002011-05-24 15:35:30 -0400138{
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200139 struct btrfs_root *root = inode->root;
David Sterba3ffbd682018-06-29 10:56:42 +0200140 struct btrfs_fs_info *fs_info = root->fs_info;
Chris Mason4cb53002011-05-24 15:35:30 -0400141 struct inode_defrag *defrag;
Chris Mason4cb53002011-05-24 15:35:30 -0400142 u64 transid;
Miao Xie8ddc4732012-11-26 09:25:38 +0000143 int ret;
Chris Mason4cb53002011-05-24 15:35:30 -0400144
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400145 if (!__need_auto_defrag(fs_info))
Chris Mason4cb53002011-05-24 15:35:30 -0400146 return 0;
147
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200148 if (test_bit(BTRFS_INODE_IN_DEFRAG, &inode->runtime_flags))
Chris Mason4cb53002011-05-24 15:35:30 -0400149 return 0;
150
151 if (trans)
152 transid = trans->transid;
153 else
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200154 transid = inode->root->last_trans;
Chris Mason4cb53002011-05-24 15:35:30 -0400155
Miao Xie9247f312012-11-26 09:24:43 +0000156 defrag = kmem_cache_zalloc(btrfs_inode_defrag_cachep, GFP_NOFS);
Chris Mason4cb53002011-05-24 15:35:30 -0400157 if (!defrag)
158 return -ENOMEM;
159
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200160 defrag->ino = btrfs_ino(inode);
Chris Mason4cb53002011-05-24 15:35:30 -0400161 defrag->transid = transid;
162 defrag->root = root->root_key.objectid;
163
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400164 spin_lock(&fs_info->defrag_inodes_lock);
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200165 if (!test_bit(BTRFS_INODE_IN_DEFRAG, &inode->runtime_flags)) {
Miao Xie8ddc4732012-11-26 09:25:38 +0000166 /*
167 * If we set IN_DEFRAG flag and evict the inode from memory,
168 * and then re-read this inode, this new inode doesn't have
169 * IN_DEFRAG flag. At the case, we may find the existed defrag.
170 */
171 ret = __btrfs_add_inode_defrag(inode, defrag);
172 if (ret)
173 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
174 } else {
Miao Xie9247f312012-11-26 09:24:43 +0000175 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
Miao Xie8ddc4732012-11-26 09:25:38 +0000176 }
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400177 spin_unlock(&fs_info->defrag_inodes_lock);
Wanlong Gaoa0f98dd2011-07-18 12:19:35 +0000178 return 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400179}
180
181/*
Miao Xie8ddc4732012-11-26 09:25:38 +0000182 * Requeue the defrag object. If there is a defrag object that points to
183 * the same inode in the tree, we will merge them together (by
184 * __btrfs_add_inode_defrag()) and free the one that we want to requeue.
Chris Mason4cb53002011-05-24 15:35:30 -0400185 */
Nikolay Borisov46e59792017-02-20 13:50:44 +0200186static void btrfs_requeue_inode_defrag(struct btrfs_inode *inode,
Eric Sandeen48a3b632013-04-25 20:41:01 +0000187 struct inode_defrag *defrag)
Miao Xie8ddc4732012-11-26 09:25:38 +0000188{
David Sterba3ffbd682018-06-29 10:56:42 +0200189 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Miao Xie8ddc4732012-11-26 09:25:38 +0000190 int ret;
191
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400192 if (!__need_auto_defrag(fs_info))
Miao Xie8ddc4732012-11-26 09:25:38 +0000193 goto out;
194
195 /*
196 * Here we don't check the IN_DEFRAG flag, because we need merge
197 * them together.
198 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400199 spin_lock(&fs_info->defrag_inodes_lock);
Miao Xie8ddc4732012-11-26 09:25:38 +0000200 ret = __btrfs_add_inode_defrag(inode, defrag);
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400201 spin_unlock(&fs_info->defrag_inodes_lock);
Miao Xie8ddc4732012-11-26 09:25:38 +0000202 if (ret)
203 goto out;
204 return;
205out:
206 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
207}
208
209/*
Miao Xie26176e72012-11-26 09:26:20 +0000210 * pick the defragable inode that we want, if it doesn't exist, we will get
211 * the next one.
Chris Mason4cb53002011-05-24 15:35:30 -0400212 */
Miao Xie26176e72012-11-26 09:26:20 +0000213static struct inode_defrag *
214btrfs_pick_defrag_inode(struct btrfs_fs_info *fs_info, u64 root, u64 ino)
Chris Mason4cb53002011-05-24 15:35:30 -0400215{
216 struct inode_defrag *entry = NULL;
Miao Xie762f2262012-05-24 18:58:27 +0800217 struct inode_defrag tmp;
Chris Mason4cb53002011-05-24 15:35:30 -0400218 struct rb_node *p;
219 struct rb_node *parent = NULL;
Miao Xie762f2262012-05-24 18:58:27 +0800220 int ret;
221
222 tmp.ino = ino;
223 tmp.root = root;
Chris Mason4cb53002011-05-24 15:35:30 -0400224
Miao Xie26176e72012-11-26 09:26:20 +0000225 spin_lock(&fs_info->defrag_inodes_lock);
226 p = fs_info->defrag_inodes.rb_node;
Chris Mason4cb53002011-05-24 15:35:30 -0400227 while (p) {
228 parent = p;
229 entry = rb_entry(parent, struct inode_defrag, rb_node);
230
Miao Xie762f2262012-05-24 18:58:27 +0800231 ret = __compare_inode_defrag(&tmp, entry);
232 if (ret < 0)
Chris Mason4cb53002011-05-24 15:35:30 -0400233 p = parent->rb_left;
Miao Xie762f2262012-05-24 18:58:27 +0800234 else if (ret > 0)
Chris Mason4cb53002011-05-24 15:35:30 -0400235 p = parent->rb_right;
236 else
Miao Xie26176e72012-11-26 09:26:20 +0000237 goto out;
Chris Mason4cb53002011-05-24 15:35:30 -0400238 }
239
Miao Xie26176e72012-11-26 09:26:20 +0000240 if (parent && __compare_inode_defrag(&tmp, entry) > 0) {
241 parent = rb_next(parent);
242 if (parent)
Chris Mason4cb53002011-05-24 15:35:30 -0400243 entry = rb_entry(parent, struct inode_defrag, rb_node);
Miao Xie26176e72012-11-26 09:26:20 +0000244 else
245 entry = NULL;
Chris Mason4cb53002011-05-24 15:35:30 -0400246 }
Miao Xie26176e72012-11-26 09:26:20 +0000247out:
248 if (entry)
249 rb_erase(parent, &fs_info->defrag_inodes);
250 spin_unlock(&fs_info->defrag_inodes_lock);
251 return entry;
252}
253
254void btrfs_cleanup_defrag_inodes(struct btrfs_fs_info *fs_info)
255{
256 struct inode_defrag *defrag;
257 struct rb_node *node;
258
259 spin_lock(&fs_info->defrag_inodes_lock);
260 node = rb_first(&fs_info->defrag_inodes);
261 while (node) {
262 rb_erase(node, &fs_info->defrag_inodes);
263 defrag = rb_entry(node, struct inode_defrag, rb_node);
264 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
265
David Sterba351810c2015-01-08 15:20:54 +0100266 cond_resched_lock(&fs_info->defrag_inodes_lock);
Miao Xie26176e72012-11-26 09:26:20 +0000267
268 node = rb_first(&fs_info->defrag_inodes);
269 }
270 spin_unlock(&fs_info->defrag_inodes_lock);
271}
272
273#define BTRFS_DEFRAG_BATCH 1024
274
275static int __btrfs_run_defrag_inode(struct btrfs_fs_info *fs_info,
276 struct inode_defrag *defrag)
277{
278 struct btrfs_root *inode_root;
279 struct inode *inode;
Miao Xie26176e72012-11-26 09:26:20 +0000280 struct btrfs_ioctl_defrag_range_args range;
281 int num_defrag;
Liu Bo6f1c3602013-01-29 03:22:10 +0000282 int ret;
Miao Xie26176e72012-11-26 09:26:20 +0000283
284 /* get the inode */
David Sterba56e93572020-05-15 19:35:55 +0200285 inode_root = btrfs_get_fs_root(fs_info, defrag->root, true);
Miao Xie26176e72012-11-26 09:26:20 +0000286 if (IS_ERR(inode_root)) {
Liu Bo6f1c3602013-01-29 03:22:10 +0000287 ret = PTR_ERR(inode_root);
288 goto cleanup;
289 }
Miao Xie26176e72012-11-26 09:26:20 +0000290
David Sterba0202e832020-05-15 19:35:59 +0200291 inode = btrfs_iget(fs_info->sb, defrag->ino, inode_root);
Josef Bacik00246522020-01-24 09:33:01 -0500292 btrfs_put_root(inode_root);
Miao Xie26176e72012-11-26 09:26:20 +0000293 if (IS_ERR(inode)) {
Liu Bo6f1c3602013-01-29 03:22:10 +0000294 ret = PTR_ERR(inode);
295 goto cleanup;
Miao Xie26176e72012-11-26 09:26:20 +0000296 }
297
298 /* do a chunk of defrag */
299 clear_bit(BTRFS_INODE_IN_DEFRAG, &BTRFS_I(inode)->runtime_flags);
300 memset(&range, 0, sizeof(range));
301 range.len = (u64)-1;
302 range.start = defrag->last_offset;
Miao Xieb66f00d2012-11-26 09:27:29 +0000303
304 sb_start_write(fs_info->sb);
Miao Xie26176e72012-11-26 09:26:20 +0000305 num_defrag = btrfs_defrag_file(inode, NULL, &range, defrag->transid,
306 BTRFS_DEFRAG_BATCH);
Miao Xieb66f00d2012-11-26 09:27:29 +0000307 sb_end_write(fs_info->sb);
Miao Xie26176e72012-11-26 09:26:20 +0000308 /*
309 * if we filled the whole defrag batch, there
310 * must be more work to do. Queue this defrag
311 * again
312 */
313 if (num_defrag == BTRFS_DEFRAG_BATCH) {
314 defrag->last_offset = range.start;
Nikolay Borisov46e59792017-02-20 13:50:44 +0200315 btrfs_requeue_inode_defrag(BTRFS_I(inode), defrag);
Miao Xie26176e72012-11-26 09:26:20 +0000316 } else if (defrag->last_offset && !defrag->cycled) {
317 /*
318 * we didn't fill our defrag batch, but
319 * we didn't start at zero. Make sure we loop
320 * around to the start of the file.
321 */
322 defrag->last_offset = 0;
323 defrag->cycled = 1;
Nikolay Borisov46e59792017-02-20 13:50:44 +0200324 btrfs_requeue_inode_defrag(BTRFS_I(inode), defrag);
Miao Xie26176e72012-11-26 09:26:20 +0000325 } else {
326 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
327 }
328
329 iput(inode);
330 return 0;
Liu Bo6f1c3602013-01-29 03:22:10 +0000331cleanup:
Liu Bo6f1c3602013-01-29 03:22:10 +0000332 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
333 return ret;
Chris Mason4cb53002011-05-24 15:35:30 -0400334}
335
336/*
337 * run through the list of inodes in the FS that need
338 * defragging
339 */
340int btrfs_run_defrag_inodes(struct btrfs_fs_info *fs_info)
341{
342 struct inode_defrag *defrag;
Chris Mason4cb53002011-05-24 15:35:30 -0400343 u64 first_ino = 0;
Miao Xie762f2262012-05-24 18:58:27 +0800344 u64 root_objectid = 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400345
346 atomic_inc(&fs_info->defrag_running);
Dulshani Gunawardhana67871252013-10-31 10:33:04 +0530347 while (1) {
Miao Xiedc81cdc2013-02-20 23:32:52 -0700348 /* Pause the auto defragger. */
349 if (test_bit(BTRFS_FS_STATE_REMOUNTING,
350 &fs_info->fs_state))
351 break;
352
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400353 if (!__need_auto_defrag(fs_info))
Miao Xie26176e72012-11-26 09:26:20 +0000354 break;
Chris Mason4cb53002011-05-24 15:35:30 -0400355
356 /* find an inode to defrag */
Miao Xie26176e72012-11-26 09:26:20 +0000357 defrag = btrfs_pick_defrag_inode(fs_info, root_objectid,
358 first_ino);
Chris Mason4cb53002011-05-24 15:35:30 -0400359 if (!defrag) {
Miao Xie26176e72012-11-26 09:26:20 +0000360 if (root_objectid || first_ino) {
Miao Xie762f2262012-05-24 18:58:27 +0800361 root_objectid = 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400362 first_ino = 0;
363 continue;
364 } else {
365 break;
366 }
367 }
368
Chris Mason4cb53002011-05-24 15:35:30 -0400369 first_ino = defrag->ino + 1;
Miao Xie762f2262012-05-24 18:58:27 +0800370 root_objectid = defrag->root;
Chris Mason4cb53002011-05-24 15:35:30 -0400371
Miao Xie26176e72012-11-26 09:26:20 +0000372 __btrfs_run_defrag_inode(fs_info, defrag);
Chris Mason4cb53002011-05-24 15:35:30 -0400373 }
Chris Mason4cb53002011-05-24 15:35:30 -0400374 atomic_dec(&fs_info->defrag_running);
375
376 /*
377 * during unmount, we use the transaction_wait queue to
378 * wait for the defragger to stop
379 */
380 wake_up(&fs_info->transaction_wait);
381 return 0;
382}
Chris Mason39279cc2007-06-12 06:35:45 -0400383
Chris Masond352ac62008-09-29 15:18:18 -0400384/* simple helper to fault in pages and copy. This should go away
385 * and be replaced with calls into generic code.
386 */
Zhao Leiee22f0c2016-01-06 18:47:31 +0800387static noinline int btrfs_copy_from_user(loff_t pos, size_t write_bytes,
Chris Masona1b32a52008-09-05 16:09:51 -0400388 struct page **prepared_pages,
Josef Bacik11c65dc2010-05-23 11:07:21 -0400389 struct iov_iter *i)
Chris Mason39279cc2007-06-12 06:35:45 -0400390{
Xin Zhong914ee292010-12-09 09:30:14 +0000391 size_t copied = 0;
Josef Bacikd0215f32011-01-25 14:57:24 -0500392 size_t total_copied = 0;
Josef Bacik11c65dc2010-05-23 11:07:21 -0400393 int pg = 0;
Johannes Thumshirn70730172018-12-05 15:23:03 +0100394 int offset = offset_in_page(pos);
Chris Mason39279cc2007-06-12 06:35:45 -0400395
Josef Bacik11c65dc2010-05-23 11:07:21 -0400396 while (write_bytes > 0) {
Chris Mason39279cc2007-06-12 06:35:45 -0400397 size_t count = min_t(size_t,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300398 PAGE_SIZE - offset, write_bytes);
Josef Bacik11c65dc2010-05-23 11:07:21 -0400399 struct page *page = prepared_pages[pg];
Xin Zhong914ee292010-12-09 09:30:14 +0000400 /*
401 * Copy data from userspace to the current page
Xin Zhong914ee292010-12-09 09:30:14 +0000402 */
Al Virof0b65f32021-04-30 10:26:41 -0400403 copied = copy_page_from_iter_atomic(page, offset, count, i);
Josef Bacik11c65dc2010-05-23 11:07:21 -0400404
Chris Mason39279cc2007-06-12 06:35:45 -0400405 /* Flush processor's dcache for this page */
406 flush_dcache_page(page);
Chris Mason31339ac2011-03-07 11:10:24 -0500407
408 /*
409 * if we get a partial write, we can end up with
410 * partially up to date pages. These add
411 * a lot of complexity, so make sure they don't
412 * happen by forcing this copy to be retried.
413 *
414 * The rest of the btrfs_file_write code will fall
415 * back to page at a time copies after we return 0.
416 */
Al Virof0b65f32021-04-30 10:26:41 -0400417 if (unlikely(copied < count)) {
418 if (!PageUptodate(page)) {
419 iov_iter_revert(i, copied);
420 copied = 0;
421 }
422 if (!copied)
423 break;
424 }
Chris Mason31339ac2011-03-07 11:10:24 -0500425
Josef Bacik11c65dc2010-05-23 11:07:21 -0400426 write_bytes -= copied;
Xin Zhong914ee292010-12-09 09:30:14 +0000427 total_copied += copied;
Al Virof0b65f32021-04-30 10:26:41 -0400428 offset += copied;
429 if (offset == PAGE_SIZE) {
Josef Bacik11c65dc2010-05-23 11:07:21 -0400430 pg++;
431 offset = 0;
432 }
Chris Mason39279cc2007-06-12 06:35:45 -0400433 }
Xin Zhong914ee292010-12-09 09:30:14 +0000434 return total_copied;
Chris Mason39279cc2007-06-12 06:35:45 -0400435}
436
Chris Masond352ac62008-09-29 15:18:18 -0400437/*
438 * unlocks pages after btrfs_file_write is done with them
439 */
Eric Sandeen48a3b632013-04-25 20:41:01 +0000440static void btrfs_drop_pages(struct page **pages, size_t num_pages)
Chris Mason39279cc2007-06-12 06:35:45 -0400441{
442 size_t i;
443 for (i = 0; i < num_pages; i++) {
Chris Masond352ac62008-09-29 15:18:18 -0400444 /* page checked is some magic around finding pages that
445 * have been modified without going through btrfs_set_page_dirty
Mel Gorman2457aec2014-06-04 16:10:31 -0700446 * clear it here. There should be no need to mark the pages
447 * accessed as prepare_pages should have marked them accessed
448 * in prepare_pages via find_or_create_page()
Chris Masond352ac62008-09-29 15:18:18 -0400449 */
Chris Mason4a096752008-07-21 10:29:44 -0400450 ClearPageChecked(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -0400451 unlock_page(pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300452 put_page(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -0400453 }
454}
455
Chris Masond352ac62008-09-29 15:18:18 -0400456/*
Qu Wenruoc0fab482021-01-06 09:01:42 +0800457 * After btrfs_copy_from_user(), update the following things for delalloc:
458 * - Mark newly dirtied pages as DELALLOC in the io tree.
459 * Used to advise which range is to be written back.
460 * - Mark modified pages as Uptodate/Dirty and not needing COW fixup
461 * - Update inode size for past EOF write
Chris Masond352ac62008-09-29 15:18:18 -0400462 */
Nikolay Borisov088545f2020-06-03 08:55:36 +0300463int btrfs_dirty_pages(struct btrfs_inode *inode, struct page **pages,
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400464 size_t num_pages, loff_t pos, size_t write_bytes,
Goldwyn Rodriguesaa8c1a42020-10-14 09:55:45 -0500465 struct extent_state **cached, bool noreserve)
Chris Mason39279cc2007-06-12 06:35:45 -0400466{
Nikolay Borisov088545f2020-06-03 08:55:36 +0300467 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Chris Mason39279cc2007-06-12 06:35:45 -0400468 int err = 0;
Chris Masona52d9a82007-08-27 16:49:44 -0400469 int i;
Chris Masondb945352007-10-15 16:15:53 -0400470 u64 num_bytes;
Chris Masona52d9a82007-08-27 16:49:44 -0400471 u64 start_pos;
472 u64 end_of_last_block;
473 u64 end_pos = pos + write_bytes;
Nikolay Borisov088545f2020-06-03 08:55:36 +0300474 loff_t isize = i_size_read(&inode->vfs_inode);
Filipe Mananae3b8a482017-11-04 00:16:59 +0000475 unsigned int extra_bits = 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400476
Goldwyn Rodriguesaa8c1a42020-10-14 09:55:45 -0500477 if (write_bytes == 0)
478 return 0;
479
480 if (noreserve)
481 extra_bits |= EXTENT_NORESERVE;
482
Goldwyn Rodrigues13f0dd82020-10-14 09:55:44 -0500483 start_pos = round_down(pos, fs_info->sectorsize);
Jeff Mahoneyda170662016-06-15 09:22:56 -0400484 num_bytes = round_up(write_bytes + pos - start_pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400485 fs_info->sectorsize);
Qu Wenruof02a85d2021-05-31 16:50:41 +0800486 ASSERT(num_bytes <= U32_MAX);
Chris Mason39279cc2007-06-12 06:35:45 -0400487
Chris Masondb945352007-10-15 16:15:53 -0400488 end_of_last_block = start_pos + num_bytes - 1;
Filipe Mananae3b8a482017-11-04 00:16:59 +0000489
Chris Mason7703bdd2018-06-20 07:56:11 -0700490 /*
491 * The pages may have already been dirty, clear out old accounting so
492 * we can set things up properly
493 */
Nikolay Borisov088545f2020-06-03 08:55:36 +0300494 clear_extent_bit(&inode->io_tree, start_pos, end_of_last_block,
Omar Sandovale1821632019-08-15 14:04:04 -0700495 EXTENT_DELALLOC | EXTENT_DO_ACCOUNTING | EXTENT_DEFRAG,
496 0, 0, cached);
Chris Mason7703bdd2018-06-20 07:56:11 -0700497
Nikolay Borisov088545f2020-06-03 08:55:36 +0300498 err = btrfs_set_extent_delalloc(inode, start_pos, end_of_last_block,
Nikolay Borisov330a5822019-07-17 16:18:17 +0300499 extra_bits, cached);
Josef Bacikd0215f32011-01-25 14:57:24 -0500500 if (err)
501 return err;
Josef Bacik9ed74f22009-09-11 16:12:44 -0400502
Chris Masonc8b97812008-10-29 14:49:59 -0400503 for (i = 0; i < num_pages; i++) {
504 struct page *p = pages[i];
Qu Wenruof02a85d2021-05-31 16:50:41 +0800505
506 btrfs_page_clamp_set_uptodate(fs_info, p, start_pos, num_bytes);
Chris Masonc8b97812008-10-29 14:49:59 -0400507 ClearPageChecked(p);
Qu Wenruof02a85d2021-05-31 16:50:41 +0800508 btrfs_page_clamp_set_dirty(fs_info, p, start_pos, num_bytes);
Chris Masona52d9a82007-08-27 16:49:44 -0400509 }
Josef Bacik9f570b82011-01-25 12:42:37 -0500510
511 /*
512 * we've only changed i_size in ram, and we haven't updated
513 * the disk i_size. There is no need to log the inode
514 * at this time.
515 */
516 if (end_pos > isize)
Nikolay Borisov088545f2020-06-03 08:55:36 +0300517 i_size_write(&inode->vfs_inode, end_pos);
Yan, Zhenga22285a2010-05-16 10:48:46 -0400518 return 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400519}
520
Chris Masond352ac62008-09-29 15:18:18 -0400521/*
522 * this drops all the extents in the cache that intersect the range
523 * [start, end]. Existing extents are split as required.
524 */
Nikolay Borisovdcdbc052017-02-20 13:50:45 +0200525void btrfs_drop_extent_cache(struct btrfs_inode *inode, u64 start, u64 end,
Josef Bacik7014cdb2012-08-30 20:06:49 -0400526 int skip_pinned)
Chris Masona52d9a82007-08-27 16:49:44 -0400527{
528 struct extent_map *em;
Chris Mason3b951512008-04-17 11:29:12 -0400529 struct extent_map *split = NULL;
530 struct extent_map *split2 = NULL;
Nikolay Borisovdcdbc052017-02-20 13:50:45 +0200531 struct extent_map_tree *em_tree = &inode->extent_tree;
Yan39b56372008-02-15 10:40:50 -0500532 u64 len = end - start + 1;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400533 u64 gen;
Chris Mason3b951512008-04-17 11:29:12 -0400534 int ret;
535 int testend = 1;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400536 unsigned long flags;
Chris Masonc8b97812008-10-29 14:49:59 -0400537 int compressed = 0;
Josef Bacik09a2a8f92013-04-05 16:51:15 -0400538 bool modified;
Chris Masona52d9a82007-08-27 16:49:44 -0400539
Chris Masone6dcd2d2008-07-17 12:53:50 -0400540 WARN_ON(end < start);
Chris Mason3b951512008-04-17 11:29:12 -0400541 if (end == (u64)-1) {
Yan39b56372008-02-15 10:40:50 -0500542 len = (u64)-1;
Chris Mason3b951512008-04-17 11:29:12 -0400543 testend = 0;
544 }
Chris Masond3977122009-01-05 21:25:51 -0500545 while (1) {
Josef Bacik7014cdb2012-08-30 20:06:49 -0400546 int no_splits = 0;
547
Josef Bacik09a2a8f92013-04-05 16:51:15 -0400548 modified = false;
Chris Mason3b951512008-04-17 11:29:12 -0400549 if (!split)
David Sterba172ddd62011-04-21 00:48:27 +0200550 split = alloc_extent_map();
Chris Mason3b951512008-04-17 11:29:12 -0400551 if (!split2)
David Sterba172ddd62011-04-21 00:48:27 +0200552 split2 = alloc_extent_map();
Josef Bacik7014cdb2012-08-30 20:06:49 -0400553 if (!split || !split2)
554 no_splits = 1;
Chris Mason3b951512008-04-17 11:29:12 -0400555
Chris Mason890871b2009-09-02 16:24:52 -0400556 write_lock(&em_tree->lock);
Yan39b56372008-02-15 10:40:50 -0500557 em = lookup_extent_mapping(em_tree, start, len);
Chris Masond1310b22008-01-24 16:13:08 -0500558 if (!em) {
Chris Mason890871b2009-09-02 16:24:52 -0400559 write_unlock(&em_tree->lock);
Chris Masona52d9a82007-08-27 16:49:44 -0400560 break;
Chris Masond1310b22008-01-24 16:13:08 -0500561 }
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400562 flags = em->flags;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400563 gen = em->generation;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400564 if (skip_pinned && test_bit(EXTENT_FLAG_PINNED, &em->flags)) {
Yan, Zheng55ef6892009-11-12 09:36:44 +0000565 if (testend && em->start + em->len >= start + len) {
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400566 free_extent_map(em);
Chris Masona1ed835e12009-09-11 12:27:37 -0400567 write_unlock(&em_tree->lock);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400568 break;
569 }
Yan, Zheng55ef6892009-11-12 09:36:44 +0000570 start = em->start + em->len;
571 if (testend)
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400572 len = start + len - (em->start + em->len);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400573 free_extent_map(em);
Chris Masona1ed835e12009-09-11 12:27:37 -0400574 write_unlock(&em_tree->lock);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400575 continue;
576 }
Chris Masonc8b97812008-10-29 14:49:59 -0400577 compressed = test_bit(EXTENT_FLAG_COMPRESSED, &em->flags);
Chris Mason3ce7e672008-07-31 15:42:54 -0400578 clear_bit(EXTENT_FLAG_PINNED, &em->flags);
Liu Bo3b277592013-03-15 08:46:39 -0600579 clear_bit(EXTENT_FLAG_LOGGING, &flags);
Josef Bacik09a2a8f92013-04-05 16:51:15 -0400580 modified = !list_empty(&em->list);
Josef Bacik7014cdb2012-08-30 20:06:49 -0400581 if (no_splits)
582 goto next;
Chris Mason3b951512008-04-17 11:29:12 -0400583
Josef Bacikee20a982013-07-11 10:34:59 -0400584 if (em->start < start) {
Chris Mason3b951512008-04-17 11:29:12 -0400585 split->start = em->start;
586 split->len = start - em->start;
Chris Masonc8b97812008-10-29 14:49:59 -0400587
Josef Bacikee20a982013-07-11 10:34:59 -0400588 if (em->block_start < EXTENT_MAP_LAST_BYTE) {
589 split->orig_start = em->orig_start;
590 split->block_start = em->block_start;
591
592 if (compressed)
593 split->block_len = em->block_len;
594 else
595 split->block_len = split->len;
596 split->orig_block_len = max(split->block_len,
597 em->orig_block_len);
598 split->ram_bytes = em->ram_bytes;
599 } else {
600 split->orig_start = split->start;
601 split->block_len = 0;
602 split->block_start = em->block_start;
603 split->orig_block_len = 0;
604 split->ram_bytes = split->len;
605 }
606
Josef Bacik5dc562c2012-08-17 13:14:17 -0400607 split->generation = gen;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400608 split->flags = flags;
Li Zefan261507a02010-12-17 14:21:50 +0800609 split->compress_type = em->compress_type;
Filipe Manana176840b2014-02-25 14:15:13 +0000610 replace_extent_mapping(em_tree, em, split, modified);
Chris Mason3b951512008-04-17 11:29:12 -0400611 free_extent_map(split);
612 split = split2;
613 split2 = NULL;
614 }
Josef Bacikee20a982013-07-11 10:34:59 -0400615 if (testend && em->start + em->len > start + len) {
Chris Mason3b951512008-04-17 11:29:12 -0400616 u64 diff = start + len - em->start;
617
618 split->start = start + len;
619 split->len = em->start + em->len - (start + len);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400620 split->flags = flags;
Li Zefan261507a02010-12-17 14:21:50 +0800621 split->compress_type = em->compress_type;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400622 split->generation = gen;
Chris Mason3b951512008-04-17 11:29:12 -0400623
Josef Bacikee20a982013-07-11 10:34:59 -0400624 if (em->block_start < EXTENT_MAP_LAST_BYTE) {
625 split->orig_block_len = max(em->block_len,
626 em->orig_block_len);
627
628 split->ram_bytes = em->ram_bytes;
629 if (compressed) {
630 split->block_len = em->block_len;
631 split->block_start = em->block_start;
632 split->orig_start = em->orig_start;
633 } else {
634 split->block_len = split->len;
635 split->block_start = em->block_start
636 + diff;
637 split->orig_start = em->orig_start;
638 }
Chris Masonc8b97812008-10-29 14:49:59 -0400639 } else {
Josef Bacikee20a982013-07-11 10:34:59 -0400640 split->ram_bytes = split->len;
641 split->orig_start = split->start;
642 split->block_len = 0;
643 split->block_start = em->block_start;
644 split->orig_block_len = 0;
Chris Masonc8b97812008-10-29 14:49:59 -0400645 }
Chris Mason3b951512008-04-17 11:29:12 -0400646
Filipe Manana176840b2014-02-25 14:15:13 +0000647 if (extent_map_in_tree(em)) {
648 replace_extent_mapping(em_tree, em, split,
649 modified);
650 } else {
651 ret = add_extent_mapping(em_tree, split,
652 modified);
653 ASSERT(ret == 0); /* Logic error */
654 }
Chris Mason3b951512008-04-17 11:29:12 -0400655 free_extent_map(split);
656 split = NULL;
657 }
Josef Bacik7014cdb2012-08-30 20:06:49 -0400658next:
Filipe Manana176840b2014-02-25 14:15:13 +0000659 if (extent_map_in_tree(em))
660 remove_extent_mapping(em_tree, em);
Chris Mason890871b2009-09-02 16:24:52 -0400661 write_unlock(&em_tree->lock);
Chris Masond1310b22008-01-24 16:13:08 -0500662
Chris Masona52d9a82007-08-27 16:49:44 -0400663 /* once for us */
664 free_extent_map(em);
665 /* once for the tree*/
666 free_extent_map(em);
667 }
Chris Mason3b951512008-04-17 11:29:12 -0400668 if (split)
669 free_extent_map(split);
670 if (split2)
671 free_extent_map(split2);
Chris Masona52d9a82007-08-27 16:49:44 -0400672}
673
Chris Mason39279cc2007-06-12 06:35:45 -0400674/*
675 * this is very complex, but the basic idea is to drop all extents
676 * in the range start - end. hint_block is filled in with a block number
677 * that would be a good hint to the block allocator for this file.
678 *
679 * If an extent intersects the range but is not entirely inside the range
680 * it is either truncated or split. Anything entirely inside the range
681 * is deleted from the tree.
Filipe Manana2766ff62020-11-04 11:07:34 +0000682 *
683 * Note: the VFS' inode number of bytes is not updated, it's up to the caller
684 * to deal with that. We set the field 'bytes_found' of the arguments structure
685 * with the number of allocated bytes found in the target range, so that the
686 * caller can update the inode's number of bytes in an atomic way when
687 * replacing extents in a range to avoid races with stat(2).
Chris Mason39279cc2007-06-12 06:35:45 -0400688 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000689int btrfs_drop_extents(struct btrfs_trans_handle *trans,
690 struct btrfs_root *root, struct btrfs_inode *inode,
691 struct btrfs_drop_extents_args *args)
Chris Mason39279cc2007-06-12 06:35:45 -0400692{
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400693 struct btrfs_fs_info *fs_info = root->fs_info;
Chris Mason00f5c792007-11-30 10:09:33 -0500694 struct extent_buffer *leaf;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000695 struct btrfs_file_extent_item *fi;
Qu Wenruo82fa1132019-04-04 14:45:35 +0800696 struct btrfs_ref ref = { 0 };
Chris Mason00f5c792007-11-30 10:09:33 -0500697 struct btrfs_key key;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000698 struct btrfs_key new_key;
Nikolay Borisov906c4482020-06-03 08:55:08 +0300699 u64 ino = btrfs_ino(inode);
Filipe Manana5893dfb2020-11-04 11:07:32 +0000700 u64 search_start = args->start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000701 u64 disk_bytenr = 0;
702 u64 num_bytes = 0;
703 u64 extent_offset = 0;
704 u64 extent_end = 0;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000705 u64 last_end = args->start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000706 int del_nr = 0;
707 int del_slot = 0;
708 int extent_type;
Chris Masonccd467d2007-06-28 15:57:36 -0400709 int recow;
Chris Mason00f5c792007-11-30 10:09:33 -0500710 int ret;
Chris Masondc7fdde2012-04-27 14:31:29 -0400711 int modify_tree = -1;
Miao Xie27cdeb72014-04-02 19:51:05 +0800712 int update_refs;
Josef Bacikc3308f82012-09-14 14:51:22 -0400713 int found = 0;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000714 int leafs_visited = 0;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000715 struct btrfs_path *path = args->path;
Chris Mason39279cc2007-06-12 06:35:45 -0400716
Filipe Manana2766ff62020-11-04 11:07:34 +0000717 args->bytes_found = 0;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000718 args->extent_inserted = false;
Chris Masona52d9a82007-08-27 16:49:44 -0400719
Filipe Manana5893dfb2020-11-04 11:07:32 +0000720 /* Must always have a path if ->replace_extent is true */
721 ASSERT(!(args->replace_extent && !args->path));
722
723 if (!path) {
724 path = btrfs_alloc_path();
725 if (!path) {
726 ret = -ENOMEM;
727 goto out;
728 }
729 }
730
731 if (args->drop_cache)
732 btrfs_drop_extent_cache(inode, args->start, args->end - 1, 0);
733
734 if (args->start >= inode->disk_i_size && !args->replace_extent)
Chris Masondc7fdde2012-04-27 14:31:29 -0400735 modify_tree = 0;
736
Josef Bacikd1752092021-10-01 13:57:18 -0400737 update_refs = (root->root_key.objectid != BTRFS_TREE_LOG_OBJECTID);
Chris Masond3977122009-01-05 21:25:51 -0500738 while (1) {
Chris Masonccd467d2007-06-28 15:57:36 -0400739 recow = 0;
Li Zefan33345d012011-04-20 10:31:50 +0800740 ret = btrfs_lookup_file_extent(trans, root, path, ino,
Chris Masondc7fdde2012-04-27 14:31:29 -0400741 search_start, modify_tree);
Chris Mason39279cc2007-06-12 06:35:45 -0400742 if (ret < 0)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000743 break;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000744 if (ret > 0 && path->slots[0] > 0 && search_start == args->start) {
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000745 leaf = path->nodes[0];
746 btrfs_item_key_to_cpu(leaf, &key, path->slots[0] - 1);
Li Zefan33345d012011-04-20 10:31:50 +0800747 if (key.objectid == ino &&
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000748 key.type == BTRFS_EXTENT_DATA_KEY)
749 path->slots[0]--;
Chris Mason39279cc2007-06-12 06:35:45 -0400750 }
Chris Mason8c2383c2007-06-18 09:57:58 -0400751 ret = 0;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000752 leafs_visited++;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000753next_slot:
754 leaf = path->nodes[0];
755 if (path->slots[0] >= btrfs_header_nritems(leaf)) {
756 BUG_ON(del_nr > 0);
757 ret = btrfs_next_leaf(root, path);
758 if (ret < 0)
759 break;
760 if (ret > 0) {
761 ret = 0;
762 break;
Chris Mason8c2383c2007-06-18 09:57:58 -0400763 }
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000764 leafs_visited++;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000765 leaf = path->nodes[0];
766 recow = 1;
767 }
768
769 btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);
Filipe Mananaaeafbf82015-11-06 13:33:33 +0000770
771 if (key.objectid > ino)
772 break;
773 if (WARN_ON_ONCE(key.objectid < ino) ||
774 key.type < BTRFS_EXTENT_DATA_KEY) {
775 ASSERT(del_nr == 0);
776 path->slots[0]++;
777 goto next_slot;
778 }
Filipe Manana5893dfb2020-11-04 11:07:32 +0000779 if (key.type > BTRFS_EXTENT_DATA_KEY || key.offset >= args->end)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000780 break;
781
782 fi = btrfs_item_ptr(leaf, path->slots[0],
783 struct btrfs_file_extent_item);
784 extent_type = btrfs_file_extent_type(leaf, fi);
785
786 if (extent_type == BTRFS_FILE_EXTENT_REG ||
787 extent_type == BTRFS_FILE_EXTENT_PREALLOC) {
788 disk_bytenr = btrfs_file_extent_disk_bytenr(leaf, fi);
789 num_bytes = btrfs_file_extent_disk_num_bytes(leaf, fi);
790 extent_offset = btrfs_file_extent_offset(leaf, fi);
791 extent_end = key.offset +
792 btrfs_file_extent_num_bytes(leaf, fi);
793 } else if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
794 extent_end = key.offset +
Qu Wenruoe41ca582018-06-06 15:41:49 +0800795 btrfs_file_extent_ram_bytes(leaf, fi);
Chris Mason8c2383c2007-06-18 09:57:58 -0400796 } else {
Filipe Mananaaeafbf82015-11-06 13:33:33 +0000797 /* can't happen */
798 BUG();
Chris Mason39279cc2007-06-12 06:35:45 -0400799 }
800
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100801 /*
802 * Don't skip extent items representing 0 byte lengths. They
803 * used to be created (bug) if while punching holes we hit
804 * -ENOSPC condition. So if we find one here, just ensure we
805 * delete it, otherwise we would insert a new file extent item
806 * with the same key (offset) as that 0 bytes length file
807 * extent item in the call to setup_items_for_insert() later
808 * in this function.
809 */
Josef Bacik62fe51c12016-11-16 09:13:39 -0500810 if (extent_end == key.offset && extent_end >= search_start) {
811 last_end = extent_end;
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100812 goto delete_extent_item;
Josef Bacik62fe51c12016-11-16 09:13:39 -0500813 }
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100814
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000815 if (extent_end <= search_start) {
816 path->slots[0]++;
Chris Mason8c2383c2007-06-18 09:57:58 -0400817 goto next_slot;
Chris Mason39279cc2007-06-12 06:35:45 -0400818 }
819
Josef Bacikc3308f82012-09-14 14:51:22 -0400820 found = 1;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000821 search_start = max(key.offset, args->start);
Chris Masondc7fdde2012-04-27 14:31:29 -0400822 if (recow || !modify_tree) {
823 modify_tree = -1;
David Sterbab3b4aa72011-04-21 01:20:15 +0200824 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000825 continue;
Chris Mason39279cc2007-06-12 06:35:45 -0400826 }
Chris Mason771ed682008-11-06 22:02:51 -0500827
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000828 /*
829 * | - range to drop - |
830 * | -------- extent -------- |
831 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000832 if (args->start > key.offset && args->end < extent_end) {
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000833 BUG_ON(del_nr > 0);
Liu Bo00fdf132014-03-10 18:56:07 +0800834 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200835 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800836 break;
837 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000838
839 memcpy(&new_key, &key, sizeof(new_key));
Filipe Manana5893dfb2020-11-04 11:07:32 +0000840 new_key.offset = args->start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000841 ret = btrfs_duplicate_item(trans, root, path,
842 &new_key);
843 if (ret == -EAGAIN) {
David Sterbab3b4aa72011-04-21 01:20:15 +0200844 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000845 continue;
846 }
847 if (ret < 0)
848 break;
Chris Mason8c2383c2007-06-18 09:57:58 -0400849
Chris Mason5f39d392007-10-15 16:14:19 -0400850 leaf = path->nodes[0];
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000851 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
852 struct btrfs_file_extent_item);
853 btrfs_set_file_extent_num_bytes(leaf, fi,
Filipe Manana5893dfb2020-11-04 11:07:32 +0000854 args->start - key.offset);
Chris Mason39279cc2007-06-12 06:35:45 -0400855
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000856 fi = btrfs_item_ptr(leaf, path->slots[0],
857 struct btrfs_file_extent_item);
Chris Masonc8b97812008-10-29 14:49:59 -0400858
Filipe Manana5893dfb2020-11-04 11:07:32 +0000859 extent_offset += args->start - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000860 btrfs_set_file_extent_offset(leaf, fi, extent_offset);
861 btrfs_set_file_extent_num_bytes(leaf, fi,
Filipe Manana5893dfb2020-11-04 11:07:32 +0000862 extent_end - args->start);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000863 btrfs_mark_buffer_dirty(leaf);
Chris Masondb945352007-10-15 16:15:53 -0400864
Josef Bacik5dc562c2012-08-17 13:14:17 -0400865 if (update_refs && disk_bytenr > 0) {
Qu Wenruo82fa1132019-04-04 14:45:35 +0800866 btrfs_init_generic_ref(&ref,
867 BTRFS_ADD_DELAYED_REF,
868 disk_bytenr, num_bytes, 0);
869 btrfs_init_data_ref(&ref,
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000870 root->root_key.objectid,
871 new_key.objectid,
Filipe Manana5893dfb2020-11-04 11:07:32 +0000872 args->start - extent_offset);
Qu Wenruo82fa1132019-04-04 14:45:35 +0800873 ret = btrfs_inc_extent_ref(trans, &ref);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100874 BUG_ON(ret); /* -ENOMEM */
Zheng Yan31840ae2008-09-23 13:14:14 -0400875 }
Filipe Manana5893dfb2020-11-04 11:07:32 +0000876 key.offset = args->start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000877 }
878 /*
Josef Bacik62fe51c12016-11-16 09:13:39 -0500879 * From here on out we will have actually dropped something, so
880 * last_end can be updated.
881 */
882 last_end = extent_end;
883
884 /*
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000885 * | ---- range to drop ----- |
886 * | -------- extent -------- |
887 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000888 if (args->start <= key.offset && args->end < extent_end) {
Liu Bo00fdf132014-03-10 18:56:07 +0800889 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200890 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800891 break;
892 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000893
894 memcpy(&new_key, &key, sizeof(new_key));
Filipe Manana5893dfb2020-11-04 11:07:32 +0000895 new_key.offset = args->end;
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400896 btrfs_set_item_key_safe(fs_info, path, &new_key);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000897
Filipe Manana5893dfb2020-11-04 11:07:32 +0000898 extent_offset += args->end - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000899 btrfs_set_file_extent_offset(leaf, fi, extent_offset);
900 btrfs_set_file_extent_num_bytes(leaf, fi,
Filipe Manana5893dfb2020-11-04 11:07:32 +0000901 extent_end - args->end);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000902 btrfs_mark_buffer_dirty(leaf);
Josef Bacik26714852012-08-29 12:24:27 -0400903 if (update_refs && disk_bytenr > 0)
Filipe Manana2766ff62020-11-04 11:07:34 +0000904 args->bytes_found += args->end - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000905 break;
Zheng Yan31840ae2008-09-23 13:14:14 -0400906 }
907
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000908 search_start = extent_end;
909 /*
910 * | ---- range to drop ----- |
911 * | -------- extent -------- |
912 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000913 if (args->start > key.offset && args->end >= extent_end) {
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000914 BUG_ON(del_nr > 0);
Liu Bo00fdf132014-03-10 18:56:07 +0800915 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200916 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800917 break;
918 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000919
920 btrfs_set_file_extent_num_bytes(leaf, fi,
Filipe Manana5893dfb2020-11-04 11:07:32 +0000921 args->start - key.offset);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000922 btrfs_mark_buffer_dirty(leaf);
Josef Bacik26714852012-08-29 12:24:27 -0400923 if (update_refs && disk_bytenr > 0)
Filipe Manana2766ff62020-11-04 11:07:34 +0000924 args->bytes_found += extent_end - args->start;
Filipe Manana5893dfb2020-11-04 11:07:32 +0000925 if (args->end == extent_end)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000926 break;
927
928 path->slots[0]++;
929 goto next_slot;
Chris Mason39279cc2007-06-12 06:35:45 -0400930 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000931
932 /*
933 * | ---- range to drop ----- |
934 * | ------ extent ------ |
935 */
Filipe Manana5893dfb2020-11-04 11:07:32 +0000936 if (args->start <= key.offset && args->end >= extent_end) {
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100937delete_extent_item:
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000938 if (del_nr == 0) {
939 del_slot = path->slots[0];
940 del_nr = 1;
941 } else {
942 BUG_ON(del_slot + del_nr != path->slots[0]);
943 del_nr++;
944 }
945
Josef Bacik5dc562c2012-08-17 13:14:17 -0400946 if (update_refs &&
947 extent_type == BTRFS_FILE_EXTENT_INLINE) {
Filipe Manana2766ff62020-11-04 11:07:34 +0000948 args->bytes_found += extent_end - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000949 extent_end = ALIGN(extent_end,
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400950 fs_info->sectorsize);
Josef Bacik5dc562c2012-08-17 13:14:17 -0400951 } else if (update_refs && disk_bytenr > 0) {
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800952 btrfs_init_generic_ref(&ref,
953 BTRFS_DROP_DELAYED_REF,
954 disk_bytenr, num_bytes, 0);
955 btrfs_init_data_ref(&ref,
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000956 root->root_key.objectid,
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800957 key.objectid,
958 key.offset - extent_offset);
959 ret = btrfs_free_extent(trans, &ref);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100960 BUG_ON(ret); /* -ENOMEM */
Filipe Manana2766ff62020-11-04 11:07:34 +0000961 args->bytes_found += extent_end - key.offset;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000962 }
963
Filipe Manana5893dfb2020-11-04 11:07:32 +0000964 if (args->end == extent_end)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000965 break;
966
967 if (path->slots[0] + 1 < btrfs_header_nritems(leaf)) {
968 path->slots[0]++;
969 goto next_slot;
970 }
971
972 ret = btrfs_del_items(trans, root, path, del_slot,
973 del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100974 if (ret) {
Jeff Mahoney66642832016-06-10 18:19:25 -0400975 btrfs_abort_transaction(trans, ret);
Josef Bacik5dc562c2012-08-17 13:14:17 -0400976 break;
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100977 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000978
979 del_nr = 0;
980 del_slot = 0;
981
David Sterbab3b4aa72011-04-21 01:20:15 +0200982 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000983 continue;
984 }
985
Arnd Bergmann290342f2019-03-25 14:02:25 +0100986 BUG();
Chris Mason39279cc2007-06-12 06:35:45 -0400987 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000988
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100989 if (!ret && del_nr > 0) {
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000990 /*
991 * Set path->slots[0] to first slot, so that after the delete
992 * if items are move off from our leaf to its immediate left or
993 * right neighbor leafs, we end up with a correct and adjusted
Filipe Manana5893dfb2020-11-04 11:07:32 +0000994 * path->slots[0] for our insertion (if args->replace_extent).
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000995 */
996 path->slots[0] = del_slot;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000997 ret = btrfs_del_items(trans, root, path, del_slot, del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100998 if (ret)
Jeff Mahoney66642832016-06-10 18:19:25 -0400999 btrfs_abort_transaction(trans, ret);
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001000 }
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001001
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001002 leaf = path->nodes[0];
1003 /*
1004 * If btrfs_del_items() was called, it might have deleted a leaf, in
1005 * which case it unlocked our path, so check path->locks[0] matches a
1006 * write lock.
1007 */
Filipe Manana5893dfb2020-11-04 11:07:32 +00001008 if (!ret && args->replace_extent && leafs_visited == 1 &&
Josef Bacikac5887c2020-08-20 11:46:10 -04001009 path->locks[0] == BTRFS_WRITE_LOCK &&
David Sterbae902baa2019-03-20 14:36:46 +01001010 btrfs_leaf_free_space(leaf) >=
Filipe Manana5893dfb2020-11-04 11:07:32 +00001011 sizeof(struct btrfs_item) + args->extent_item_size) {
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001012
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001013 key.objectid = ino;
1014 key.type = BTRFS_EXTENT_DATA_KEY;
Filipe Manana5893dfb2020-11-04 11:07:32 +00001015 key.offset = args->start;
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001016 if (!del_nr && path->slots[0] < btrfs_header_nritems(leaf)) {
1017 struct btrfs_key slot_key;
1018
1019 btrfs_item_key_to_cpu(leaf, &slot_key, path->slots[0]);
1020 if (btrfs_comp_cpu_keys(&key, &slot_key) > 0)
1021 path->slots[0]++;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001022 }
Filipe Manana5893dfb2020-11-04 11:07:32 +00001023 setup_items_for_insert(root, path, &key,
1024 &args->extent_item_size, 1);
1025 args->extent_inserted = true;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001026 }
1027
Filipe Manana5893dfb2020-11-04 11:07:32 +00001028 if (!args->path)
1029 btrfs_free_path(path);
1030 else if (!args->extent_inserted)
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001031 btrfs_release_path(path);
Filipe Manana5893dfb2020-11-04 11:07:32 +00001032out:
1033 args->drop_end = found ? min(args->end, last_end) : args->end;
Josef Bacik5dc562c2012-08-17 13:14:17 -04001034
Chris Mason39279cc2007-06-12 06:35:45 -04001035 return ret;
1036}
1037
Yan Zhengd899e052008-10-30 14:25:28 -04001038static int extent_mergeable(struct extent_buffer *leaf, int slot,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001039 u64 objectid, u64 bytenr, u64 orig_offset,
1040 u64 *start, u64 *end)
Yan Zhengd899e052008-10-30 14:25:28 -04001041{
1042 struct btrfs_file_extent_item *fi;
1043 struct btrfs_key key;
1044 u64 extent_end;
1045
1046 if (slot < 0 || slot >= btrfs_header_nritems(leaf))
1047 return 0;
1048
1049 btrfs_item_key_to_cpu(leaf, &key, slot);
1050 if (key.objectid != objectid || key.type != BTRFS_EXTENT_DATA_KEY)
1051 return 0;
1052
1053 fi = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
1054 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_REG ||
1055 btrfs_file_extent_disk_bytenr(leaf, fi) != bytenr ||
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001056 btrfs_file_extent_offset(leaf, fi) != key.offset - orig_offset ||
Yan Zhengd899e052008-10-30 14:25:28 -04001057 btrfs_file_extent_compression(leaf, fi) ||
1058 btrfs_file_extent_encryption(leaf, fi) ||
1059 btrfs_file_extent_other_encoding(leaf, fi))
1060 return 0;
1061
1062 extent_end = key.offset + btrfs_file_extent_num_bytes(leaf, fi);
1063 if ((*start && *start != key.offset) || (*end && *end != extent_end))
1064 return 0;
1065
1066 *start = key.offset;
1067 *end = extent_end;
1068 return 1;
1069}
1070
1071/*
1072 * Mark extent in the range start - end as written.
1073 *
1074 * This changes extent type from 'pre-allocated' to 'regular'. If only
1075 * part of extent is marked as written, the extent will be split into
1076 * two or three.
1077 */
1078int btrfs_mark_extent_written(struct btrfs_trans_handle *trans,
Nikolay Borisov7a6d7062017-02-20 13:50:48 +02001079 struct btrfs_inode *inode, u64 start, u64 end)
Yan Zhengd899e052008-10-30 14:25:28 -04001080{
David Sterba3ffbd682018-06-29 10:56:42 +02001081 struct btrfs_fs_info *fs_info = trans->fs_info;
Nikolay Borisov7a6d7062017-02-20 13:50:48 +02001082 struct btrfs_root *root = inode->root;
Yan Zhengd899e052008-10-30 14:25:28 -04001083 struct extent_buffer *leaf;
1084 struct btrfs_path *path;
1085 struct btrfs_file_extent_item *fi;
Qu Wenruo82fa1132019-04-04 14:45:35 +08001086 struct btrfs_ref ref = { 0 };
Yan Zhengd899e052008-10-30 14:25:28 -04001087 struct btrfs_key key;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001088 struct btrfs_key new_key;
Yan Zhengd899e052008-10-30 14:25:28 -04001089 u64 bytenr;
1090 u64 num_bytes;
1091 u64 extent_end;
Yan Zheng5d4f98a2009-06-10 10:45:14 -04001092 u64 orig_offset;
Yan Zhengd899e052008-10-30 14:25:28 -04001093 u64 other_start;
1094 u64 other_end;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001095 u64 split;
1096 int del_nr = 0;
1097 int del_slot = 0;
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001098 int recow;
Ritesh Harjanie7b2ec32021-05-30 20:24:05 +05301099 int ret = 0;
Nikolay Borisov7a6d7062017-02-20 13:50:48 +02001100 u64 ino = btrfs_ino(inode);
Yan Zhengd899e052008-10-30 14:25:28 -04001101
Yan Zhengd899e052008-10-30 14:25:28 -04001102 path = btrfs_alloc_path();
Mark Fashehd8926bb2011-07-13 10:38:47 -07001103 if (!path)
1104 return -ENOMEM;
Yan Zhengd899e052008-10-30 14:25:28 -04001105again:
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001106 recow = 0;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001107 split = start;
Li Zefan33345d012011-04-20 10:31:50 +08001108 key.objectid = ino;
Yan Zhengd899e052008-10-30 14:25:28 -04001109 key.type = BTRFS_EXTENT_DATA_KEY;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001110 key.offset = split;
Yan Zhengd899e052008-10-30 14:25:28 -04001111
1112 ret = btrfs_search_slot(trans, root, &key, path, -1, 1);
Josef Bacik41415732011-03-16 13:59:32 -04001113 if (ret < 0)
1114 goto out;
Yan Zhengd899e052008-10-30 14:25:28 -04001115 if (ret > 0 && path->slots[0] > 0)
1116 path->slots[0]--;
1117
1118 leaf = path->nodes[0];
1119 btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001120 if (key.objectid != ino ||
1121 key.type != BTRFS_EXTENT_DATA_KEY) {
1122 ret = -EINVAL;
1123 btrfs_abort_transaction(trans, ret);
1124 goto out;
1125 }
Yan Zhengd899e052008-10-30 14:25:28 -04001126 fi = btrfs_item_ptr(leaf, path->slots[0],
1127 struct btrfs_file_extent_item);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001128 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_PREALLOC) {
1129 ret = -EINVAL;
1130 btrfs_abort_transaction(trans, ret);
1131 goto out;
1132 }
Yan Zhengd899e052008-10-30 14:25:28 -04001133 extent_end = key.offset + btrfs_file_extent_num_bytes(leaf, fi);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001134 if (key.offset > start || extent_end < end) {
1135 ret = -EINVAL;
1136 btrfs_abort_transaction(trans, ret);
1137 goto out;
1138 }
Yan Zhengd899e052008-10-30 14:25:28 -04001139
1140 bytenr = btrfs_file_extent_disk_bytenr(leaf, fi);
1141 num_bytes = btrfs_file_extent_disk_num_bytes(leaf, fi);
Yan Zheng5d4f98a2009-06-10 10:45:14 -04001142 orig_offset = key.offset - btrfs_file_extent_offset(leaf, fi);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001143 memcpy(&new_key, &key, sizeof(new_key));
1144
1145 if (start == key.offset && end < extent_end) {
1146 other_start = 0;
1147 other_end = start;
1148 if (extent_mergeable(leaf, path->slots[0] - 1,
Li Zefan33345d012011-04-20 10:31:50 +08001149 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001150 &other_start, &other_end)) {
1151 new_key.offset = end;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001152 btrfs_set_item_key_safe(fs_info, path, &new_key);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001153 fi = btrfs_item_ptr(leaf, path->slots[0],
1154 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001155 btrfs_set_file_extent_generation(leaf, fi,
1156 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001157 btrfs_set_file_extent_num_bytes(leaf, fi,
1158 extent_end - end);
1159 btrfs_set_file_extent_offset(leaf, fi,
1160 end - orig_offset);
1161 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
1162 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001163 btrfs_set_file_extent_generation(leaf, fi,
1164 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001165 btrfs_set_file_extent_num_bytes(leaf, fi,
1166 end - other_start);
1167 btrfs_mark_buffer_dirty(leaf);
1168 goto out;
1169 }
1170 }
1171
1172 if (start > key.offset && end == extent_end) {
1173 other_start = end;
1174 other_end = 0;
1175 if (extent_mergeable(leaf, path->slots[0] + 1,
Li Zefan33345d012011-04-20 10:31:50 +08001176 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001177 &other_start, &other_end)) {
1178 fi = btrfs_item_ptr(leaf, path->slots[0],
1179 struct btrfs_file_extent_item);
1180 btrfs_set_file_extent_num_bytes(leaf, fi,
1181 start - key.offset);
Josef Bacik224ecce2012-08-16 16:32:06 -04001182 btrfs_set_file_extent_generation(leaf, fi,
1183 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001184 path->slots[0]++;
1185 new_key.offset = start;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001186 btrfs_set_item_key_safe(fs_info, path, &new_key);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001187
1188 fi = btrfs_item_ptr(leaf, path->slots[0],
1189 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001190 btrfs_set_file_extent_generation(leaf, fi,
1191 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001192 btrfs_set_file_extent_num_bytes(leaf, fi,
1193 other_end - start);
1194 btrfs_set_file_extent_offset(leaf, fi,
1195 start - orig_offset);
1196 btrfs_mark_buffer_dirty(leaf);
1197 goto out;
1198 }
1199 }
Yan Zhengd899e052008-10-30 14:25:28 -04001200
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001201 while (start > key.offset || end < extent_end) {
1202 if (key.offset == start)
1203 split = end;
Yan Zhengd899e052008-10-30 14:25:28 -04001204
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001205 new_key.offset = split;
1206 ret = btrfs_duplicate_item(trans, root, path, &new_key);
1207 if (ret == -EAGAIN) {
David Sterbab3b4aa72011-04-21 01:20:15 +02001208 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001209 goto again;
Yan Zhengd899e052008-10-30 14:25:28 -04001210 }
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001211 if (ret < 0) {
Jeff Mahoney66642832016-06-10 18:19:25 -04001212 btrfs_abort_transaction(trans, ret);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001213 goto out;
1214 }
Yan Zhengd899e052008-10-30 14:25:28 -04001215
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001216 leaf = path->nodes[0];
1217 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
Yan Zhengd899e052008-10-30 14:25:28 -04001218 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001219 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan Zhengd899e052008-10-30 14:25:28 -04001220 btrfs_set_file_extent_num_bytes(leaf, fi,
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001221 split - key.offset);
1222
1223 fi = btrfs_item_ptr(leaf, path->slots[0],
1224 struct btrfs_file_extent_item);
1225
Josef Bacik224ecce2012-08-16 16:32:06 -04001226 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001227 btrfs_set_file_extent_offset(leaf, fi, split - orig_offset);
1228 btrfs_set_file_extent_num_bytes(leaf, fi,
1229 extent_end - split);
Yan Zhengd899e052008-10-30 14:25:28 -04001230 btrfs_mark_buffer_dirty(leaf);
1231
Qu Wenruo82fa1132019-04-04 14:45:35 +08001232 btrfs_init_generic_ref(&ref, BTRFS_ADD_DELAYED_REF, bytenr,
1233 num_bytes, 0);
1234 btrfs_init_data_ref(&ref, root->root_key.objectid, ino,
1235 orig_offset);
1236 ret = btrfs_inc_extent_ref(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001237 if (ret) {
1238 btrfs_abort_transaction(trans, ret);
1239 goto out;
1240 }
Yan Zhengd899e052008-10-30 14:25:28 -04001241
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001242 if (split == start) {
1243 key.offset = start;
1244 } else {
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001245 if (start != key.offset) {
1246 ret = -EINVAL;
1247 btrfs_abort_transaction(trans, ret);
1248 goto out;
1249 }
Yan Zhengd899e052008-10-30 14:25:28 -04001250 path->slots[0]--;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001251 extent_end = end;
Yan Zhengd899e052008-10-30 14:25:28 -04001252 }
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001253 recow = 1;
Yan Zhengd899e052008-10-30 14:25:28 -04001254 }
1255
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001256 other_start = end;
1257 other_end = 0;
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001258 btrfs_init_generic_ref(&ref, BTRFS_DROP_DELAYED_REF, bytenr,
1259 num_bytes, 0);
1260 btrfs_init_data_ref(&ref, root->root_key.objectid, ino, orig_offset);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001261 if (extent_mergeable(leaf, path->slots[0] + 1,
Li Zefan33345d012011-04-20 10:31:50 +08001262 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001263 &other_start, &other_end)) {
1264 if (recow) {
David Sterbab3b4aa72011-04-21 01:20:15 +02001265 btrfs_release_path(path);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001266 goto again;
1267 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001268 extent_end = other_end;
1269 del_slot = path->slots[0] + 1;
1270 del_nr++;
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001271 ret = btrfs_free_extent(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001272 if (ret) {
1273 btrfs_abort_transaction(trans, ret);
1274 goto out;
1275 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001276 }
1277 other_start = 0;
1278 other_end = start;
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001279 if (extent_mergeable(leaf, path->slots[0] - 1,
Li Zefan33345d012011-04-20 10:31:50 +08001280 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001281 &other_start, &other_end)) {
1282 if (recow) {
David Sterbab3b4aa72011-04-21 01:20:15 +02001283 btrfs_release_path(path);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001284 goto again;
1285 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001286 key.offset = other_start;
1287 del_slot = path->slots[0];
1288 del_nr++;
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001289 ret = btrfs_free_extent(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001290 if (ret) {
1291 btrfs_abort_transaction(trans, ret);
1292 goto out;
1293 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001294 }
1295 if (del_nr == 0) {
Shaohua Li3f6fae92010-02-11 07:43:00 +00001296 fi = btrfs_item_ptr(leaf, path->slots[0],
1297 struct btrfs_file_extent_item);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001298 btrfs_set_file_extent_type(leaf, fi,
1299 BTRFS_FILE_EXTENT_REG);
Josef Bacik224ecce2012-08-16 16:32:06 -04001300 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001301 btrfs_mark_buffer_dirty(leaf);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001302 } else {
Shaohua Li3f6fae92010-02-11 07:43:00 +00001303 fi = btrfs_item_ptr(leaf, del_slot - 1,
1304 struct btrfs_file_extent_item);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001305 btrfs_set_file_extent_type(leaf, fi,
1306 BTRFS_FILE_EXTENT_REG);
Josef Bacik224ecce2012-08-16 16:32:06 -04001307 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001308 btrfs_set_file_extent_num_bytes(leaf, fi,
1309 extent_end - key.offset);
1310 btrfs_mark_buffer_dirty(leaf);
1311
1312 ret = btrfs_del_items(trans, root, path, del_slot, del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001313 if (ret < 0) {
Jeff Mahoney66642832016-06-10 18:19:25 -04001314 btrfs_abort_transaction(trans, ret);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001315 goto out;
1316 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001317 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001318out:
Yan Zhengd899e052008-10-30 14:25:28 -04001319 btrfs_free_path(path);
Ritesh Harjanie7b2ec32021-05-30 20:24:05 +05301320 return ret;
Yan Zhengd899e052008-10-30 14:25:28 -04001321}
1322
Chris Mason39279cc2007-06-12 06:35:45 -04001323/*
Chris Masonb1bf8622011-02-28 09:52:08 -05001324 * on error we return an unlocked page and the error value
1325 * on success we return a locked page and 0
1326 */
Chris Masonbb1591b42015-12-14 15:40:44 -08001327static int prepare_uptodate_page(struct inode *inode,
1328 struct page *page, u64 pos,
Josef Bacikb63164292011-09-30 15:23:54 -04001329 bool force_uptodate)
Chris Masonb1bf8622011-02-28 09:52:08 -05001330{
1331 int ret = 0;
1332
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001333 if (((pos & (PAGE_SIZE - 1)) || force_uptodate) &&
Josef Bacikb63164292011-09-30 15:23:54 -04001334 !PageUptodate(page)) {
Chris Masonb1bf8622011-02-28 09:52:08 -05001335 ret = btrfs_readpage(NULL, page);
1336 if (ret)
1337 return ret;
1338 lock_page(page);
1339 if (!PageUptodate(page)) {
1340 unlock_page(page);
1341 return -EIO;
1342 }
Qu Wenruoe0467862021-07-26 14:35:02 +08001343
1344 /*
1345 * Since btrfs_readpage() will unlock the page before it
Qu Wenruo7c11d0a2021-07-26 14:35:03 +08001346 * returns, there is a window where btrfs_releasepage() can be
1347 * called to release the page. Here we check both inode
1348 * mapping and PagePrivate() to make sure the page was not
1349 * released.
Qu Wenruoe0467862021-07-26 14:35:02 +08001350 *
1351 * The private flag check is essential for subpage as we need
1352 * to store extra bitmap using page->private.
1353 */
1354 if (page->mapping != inode->i_mapping || !PagePrivate(page)) {
Chris Masonbb1591b42015-12-14 15:40:44 -08001355 unlock_page(page);
1356 return -EAGAIN;
1357 }
Chris Masonb1bf8622011-02-28 09:52:08 -05001358 }
1359 return 0;
1360}
1361
1362/*
Miao Xie376cc682013-12-10 19:25:04 +08001363 * this just gets pages into the page cache and locks them down.
Chris Mason39279cc2007-06-12 06:35:45 -04001364 */
Miao Xieb37392e2013-12-10 19:25:03 +08001365static noinline int prepare_pages(struct inode *inode, struct page **pages,
1366 size_t num_pages, loff_t pos,
1367 size_t write_bytes, bool force_uptodate)
Chris Mason39279cc2007-06-12 06:35:45 -04001368{
1369 int i;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001370 unsigned long index = pos >> PAGE_SHIFT;
Josef Bacik3b16a4e2011-09-21 15:05:58 -04001371 gfp_t mask = btrfs_alloc_write_mask(inode->i_mapping);
Filipe David Borba Mananafc28b622013-12-13 19:39:34 +00001372 int err = 0;
Miao Xie376cc682013-12-10 19:25:04 +08001373 int faili;
Chris Mason8c2383c2007-06-18 09:57:58 -04001374
Chris Mason39279cc2007-06-12 06:35:45 -04001375 for (i = 0; i < num_pages; i++) {
Chris Masonbb1591b42015-12-14 15:40:44 -08001376again:
Josef Bacika94733d2011-07-11 10:47:06 -04001377 pages[i] = find_or_create_page(inode->i_mapping, index + i,
Johannes Weinere3a41a52012-01-10 15:07:55 -08001378 mask | __GFP_WRITE);
Chris Mason39279cc2007-06-12 06:35:45 -04001379 if (!pages[i]) {
Chris Masonb1bf8622011-02-28 09:52:08 -05001380 faili = i - 1;
1381 err = -ENOMEM;
1382 goto fail;
1383 }
1384
Qu Wenruo32443de2021-01-26 16:34:00 +08001385 err = set_page_extent_mapped(pages[i]);
1386 if (err < 0) {
1387 faili = i;
1388 goto fail;
1389 }
1390
Chris Masonb1bf8622011-02-28 09:52:08 -05001391 if (i == 0)
Chris Masonbb1591b42015-12-14 15:40:44 -08001392 err = prepare_uptodate_page(inode, pages[i], pos,
Josef Bacikb63164292011-09-30 15:23:54 -04001393 force_uptodate);
Chris Masonbb1591b42015-12-14 15:40:44 -08001394 if (!err && i == num_pages - 1)
1395 err = prepare_uptodate_page(inode, pages[i],
Josef Bacikb63164292011-09-30 15:23:54 -04001396 pos + write_bytes, false);
Chris Masonb1bf8622011-02-28 09:52:08 -05001397 if (err) {
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001398 put_page(pages[i]);
Chris Masonbb1591b42015-12-14 15:40:44 -08001399 if (err == -EAGAIN) {
1400 err = 0;
1401 goto again;
1402 }
Chris Masonb1bf8622011-02-28 09:52:08 -05001403 faili = i - 1;
1404 goto fail;
Chris Mason39279cc2007-06-12 06:35:45 -04001405 }
Chris Masonccd467d2007-06-28 15:57:36 -04001406 wait_on_page_writeback(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -04001407 }
Chris Masone6dcd2d2008-07-17 12:53:50 -04001408
Chris Mason39279cc2007-06-12 06:35:45 -04001409 return 0;
Chris Masonb1bf8622011-02-28 09:52:08 -05001410fail:
1411 while (faili >= 0) {
1412 unlock_page(pages[faili]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001413 put_page(pages[faili]);
Chris Masonb1bf8622011-02-28 09:52:08 -05001414 faili--;
1415 }
1416 return err;
1417
Chris Mason39279cc2007-06-12 06:35:45 -04001418}
1419
Miao Xie376cc682013-12-10 19:25:04 +08001420/*
1421 * This function locks the extent and properly waits for data=ordered extents
1422 * to finish before allowing the pages to be modified if need.
1423 *
1424 * The return value:
1425 * 1 - the extent is locked
1426 * 0 - the extent is not locked, and everything is OK
1427 * -EAGAIN - need re-prepare the pages
1428 * the other < 0 number - Something wrong happens
1429 */
1430static noinline int
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001431lock_and_cleanup_extent_if_need(struct btrfs_inode *inode, struct page **pages,
Miao Xie376cc682013-12-10 19:25:04 +08001432 size_t num_pages, loff_t pos,
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301433 size_t write_bytes,
Miao Xie376cc682013-12-10 19:25:04 +08001434 u64 *lockstart, u64 *lockend,
1435 struct extent_state **cached_state)
1436{
David Sterba3ffbd682018-06-29 10:56:42 +02001437 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Miao Xie376cc682013-12-10 19:25:04 +08001438 u64 start_pos;
1439 u64 last_pos;
1440 int i;
1441 int ret = 0;
1442
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001443 start_pos = round_down(pos, fs_info->sectorsize);
Qu Wenruoe21139c2020-08-13 14:33:52 +08001444 last_pos = round_up(pos + write_bytes, fs_info->sectorsize) - 1;
Miao Xie376cc682013-12-10 19:25:04 +08001445
Filipe Mananae3b8a482017-11-04 00:16:59 +00001446 if (start_pos < inode->vfs_inode.i_size) {
Miao Xie376cc682013-12-10 19:25:04 +08001447 struct btrfs_ordered_extent *ordered;
Filipe Mananaa7e3b972017-04-03 10:45:46 +01001448
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001449 lock_extent_bits(&inode->io_tree, start_pos, last_pos,
1450 cached_state);
Miao Xieb88935b2014-03-06 13:54:58 +08001451 ordered = btrfs_lookup_ordered_range(inode, start_pos,
1452 last_pos - start_pos + 1);
Miao Xie376cc682013-12-10 19:25:04 +08001453 if (ordered &&
Omar Sandovalbffe6332019-12-02 17:34:19 -08001454 ordered->file_offset + ordered->num_bytes > start_pos &&
Miao Xie376cc682013-12-10 19:25:04 +08001455 ordered->file_offset <= last_pos) {
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001456 unlock_extent_cached(&inode->io_tree, start_pos,
David Sterbae43bbe52017-12-12 21:43:52 +01001457 last_pos, cached_state);
Miao Xie376cc682013-12-10 19:25:04 +08001458 for (i = 0; i < num_pages; i++) {
1459 unlock_page(pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001460 put_page(pages[i]);
Miao Xie376cc682013-12-10 19:25:04 +08001461 }
Nikolay Borisovc0a43602020-09-18 12:15:53 +03001462 btrfs_start_ordered_extent(ordered, 1);
Miao Xieb88935b2014-03-06 13:54:58 +08001463 btrfs_put_ordered_extent(ordered);
1464 return -EAGAIN;
Miao Xie376cc682013-12-10 19:25:04 +08001465 }
1466 if (ordered)
1467 btrfs_put_ordered_extent(ordered);
Chris Mason7703bdd2018-06-20 07:56:11 -07001468
Miao Xie376cc682013-12-10 19:25:04 +08001469 *lockstart = start_pos;
1470 *lockend = last_pos;
1471 ret = 1;
1472 }
1473
Chris Mason7703bdd2018-06-20 07:56:11 -07001474 /*
Qu Wenruo32443de2021-01-26 16:34:00 +08001475 * We should be called after prepare_pages() which should have locked
1476 * all pages in the range.
Chris Mason7703bdd2018-06-20 07:56:11 -07001477 */
Qu Wenruo32443de2021-01-26 16:34:00 +08001478 for (i = 0; i < num_pages; i++)
Miao Xie376cc682013-12-10 19:25:04 +08001479 WARN_ON(!PageLocked(pages[i]));
Miao Xie376cc682013-12-10 19:25:04 +08001480
1481 return ret;
1482}
1483
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001484static int check_can_nocow(struct btrfs_inode *inode, loff_t pos,
1485 size_t *write_bytes, bool nowait)
Josef Bacik7ee9e442013-06-21 16:37:03 -04001486{
David Sterba3ffbd682018-06-29 10:56:42 +02001487 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001488 struct btrfs_root *root = inode->root;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001489 u64 lockstart, lockend;
1490 u64 num_bytes;
1491 int ret;
1492
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001493 if (!(inode->flags & (BTRFS_INODE_NODATACOW | BTRFS_INODE_PREALLOC)))
1494 return 0;
1495
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001496 if (!nowait && !btrfs_drew_try_write_lock(&root->snapshot_lock))
Nikolay Borisov5f791ec2019-05-07 10:23:46 +03001497 return -EAGAIN;
Miao Xie8257b2d2014-03-06 13:38:19 +08001498
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001499 lockstart = round_down(pos, fs_info->sectorsize);
Jeff Mahoneyda170662016-06-15 09:22:56 -04001500 lockend = round_up(pos + *write_bytes,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001501 fs_info->sectorsize) - 1;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001502 num_bytes = lockend - lockstart + 1;
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001503
1504 if (nowait) {
1505 struct btrfs_ordered_extent *ordered;
1506
1507 if (!try_lock_extent(&inode->io_tree, lockstart, lockend))
1508 return -EAGAIN;
1509
1510 ordered = btrfs_lookup_ordered_range(inode, lockstart,
1511 num_bytes);
1512 if (ordered) {
1513 btrfs_put_ordered_extent(ordered);
1514 ret = -EAGAIN;
1515 goto out_unlock;
1516 }
1517 } else {
1518 btrfs_lock_and_flush_ordered_range(inode, lockstart,
1519 lockend, NULL);
1520 }
1521
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001522 ret = can_nocow_extent(&inode->vfs_inode, lockstart, &num_bytes,
Boris Burkova84d5d42020-08-18 11:00:05 -07001523 NULL, NULL, NULL, false);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001524 if (ret <= 0) {
1525 ret = 0;
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001526 if (!nowait)
1527 btrfs_drew_write_unlock(&root->snapshot_lock);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001528 } else {
Miao Xiec9339562014-02-27 13:58:04 +08001529 *write_bytes = min_t(size_t, *write_bytes ,
1530 num_bytes - pos + lockstart);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001531 }
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001532out_unlock:
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001533 unlock_extent(&inode->io_tree, lockstart, lockend);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001534
1535 return ret;
1536}
1537
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001538static int check_nocow_nolock(struct btrfs_inode *inode, loff_t pos,
1539 size_t *write_bytes)
1540{
1541 return check_can_nocow(inode, pos, write_bytes, true);
1542}
1543
1544/*
1545 * Check if we can do nocow write into the range [@pos, @pos + @write_bytes)
1546 *
1547 * @pos: File offset
1548 * @write_bytes: The length to write, will be updated to the nocow writeable
1549 * range
1550 *
1551 * This function will flush ordered extents in the range to ensure proper
1552 * nocow checks.
1553 *
1554 * Return:
1555 * >0 and update @write_bytes if we can do nocow write
1556 * 0 if we can't do nocow write
1557 * -EAGAIN if we can't get the needed lock or there are ordered extents
1558 * for * (nowait == true) case
1559 * <0 if other error happened
1560 *
1561 * NOTE: Callers need to release the lock by btrfs_check_nocow_unlock().
1562 */
1563int btrfs_check_nocow_lock(struct btrfs_inode *inode, loff_t pos,
1564 size_t *write_bytes)
1565{
1566 return check_can_nocow(inode, pos, write_bytes, false);
1567}
1568
1569void btrfs_check_nocow_unlock(struct btrfs_inode *inode)
1570{
1571 btrfs_drew_write_unlock(&inode->root->snapshot_lock);
1572}
1573
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05001574static void update_time_for_write(struct inode *inode)
1575{
1576 struct timespec64 now;
1577
1578 if (IS_NOCMTIME(inode))
1579 return;
1580
1581 now = current_time(inode);
1582 if (!timespec64_equal(&inode->i_mtime, &now))
1583 inode->i_mtime = now;
1584
1585 if (!timespec64_equal(&inode->i_ctime, &now))
1586 inode->i_ctime = now;
1587
1588 if (IS_I_VERSION(inode))
1589 inode_inc_iversion(inode);
1590}
1591
1592static int btrfs_write_check(struct kiocb *iocb, struct iov_iter *from,
1593 size_t count)
1594{
1595 struct file *file = iocb->ki_filp;
1596 struct inode *inode = file_inode(file);
1597 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
1598 loff_t pos = iocb->ki_pos;
1599 int ret;
1600 loff_t oldsize;
1601 loff_t start_pos;
1602
1603 if (iocb->ki_flags & IOCB_NOWAIT) {
1604 size_t nocow_bytes = count;
1605
1606 /* We will allocate space in case nodatacow is not set, so bail */
1607 if (check_nocow_nolock(BTRFS_I(inode), pos, &nocow_bytes) <= 0)
1608 return -EAGAIN;
1609 /*
1610 * There are holes in the range or parts of the range that must
1611 * be COWed (shared extents, RO block groups, etc), so just bail
1612 * out.
1613 */
1614 if (nocow_bytes < count)
1615 return -EAGAIN;
1616 }
1617
1618 current->backing_dev_info = inode_to_bdi(inode);
1619 ret = file_remove_privs(file);
1620 if (ret)
1621 return ret;
1622
1623 /*
1624 * We reserve space for updating the inode when we reserve space for the
1625 * extent we are going to write, so we will enospc out there. We don't
1626 * need to start yet another transaction to update the inode as we will
1627 * update the inode when we finish writing whatever data we write.
1628 */
1629 update_time_for_write(inode);
1630
1631 start_pos = round_down(pos, fs_info->sectorsize);
1632 oldsize = i_size_read(inode);
1633 if (start_pos > oldsize) {
1634 /* Expand hole size to cover write data, preventing empty gap */
1635 loff_t end_pos = round_up(pos + count, fs_info->sectorsize);
1636
Nikolay Borisovb06359a32020-11-02 16:49:04 +02001637 ret = btrfs_cont_expand(BTRFS_I(inode), oldsize, end_pos);
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05001638 if (ret) {
1639 current->backing_dev_info = NULL;
1640 return ret;
1641 }
1642 }
1643
1644 return 0;
1645}
1646
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001647static noinline ssize_t btrfs_buffered_write(struct kiocb *iocb,
1648 struct iov_iter *i)
Josef Bacik4b46fce2010-05-23 11:00:55 -04001649{
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001650 struct file *file = iocb->ki_filp;
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001651 loff_t pos;
Al Viro496ad9a2013-01-23 17:07:38 -05001652 struct inode *inode = file_inode(file);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001653 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik11c65dc2010-05-23 11:07:21 -04001654 struct page **pages = NULL;
Qu Wenruo364ecf32017-02-27 15:10:38 +08001655 struct extent_changeset *data_reserved = NULL;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001656 u64 release_bytes = 0;
Miao Xie376cc682013-12-10 19:25:04 +08001657 u64 lockstart;
1658 u64 lockend;
Josef Bacikd0215f32011-01-25 14:57:24 -05001659 size_t num_written = 0;
1660 int nrptrs;
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001661 ssize_t ret;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001662 bool only_release_metadata = false;
Josef Bacikb63164292011-09-30 15:23:54 -04001663 bool force_page_uptodate = false;
Goldwyn Rodrigues5e8b9ef2020-09-24 11:39:13 -05001664 loff_t old_isize = i_size_read(inode);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001665 unsigned int ilock_flags = 0;
Chris Masoncb843a62008-10-03 12:30:02 -04001666
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001667 if (iocb->ki_flags & IOCB_NOWAIT)
1668 ilock_flags |= BTRFS_ILOCK_TRY;
1669
1670 ret = btrfs_inode_lock(inode, ilock_flags);
1671 if (ret < 0)
1672 return ret;
1673
1674 ret = generic_write_checks(iocb, i);
1675 if (ret <= 0)
1676 goto out;
1677
1678 ret = btrfs_write_check(iocb, i, ret);
1679 if (ret < 0)
1680 goto out;
1681
1682 pos = iocb->ki_pos;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001683 nrptrs = min(DIV_ROUND_UP(iov_iter_count(i), PAGE_SIZE),
1684 PAGE_SIZE / (sizeof(struct page *)));
Wu Fengguang142349f2011-12-16 12:32:57 -05001685 nrptrs = min(nrptrs, current->nr_dirtied_pause - current->nr_dirtied);
1686 nrptrs = max(nrptrs, 8);
David Sterba31e818f2015-02-20 18:00:26 +01001687 pages = kmalloc_array(nrptrs, sizeof(struct page *), GFP_KERNEL);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001688 if (!pages) {
1689 ret = -ENOMEM;
1690 goto out;
1691 }
Chris Masonab93dbe2009-10-01 12:29:10 -04001692
Josef Bacikd0215f32011-01-25 14:57:24 -05001693 while (iov_iter_count(i) > 0) {
Filipe Mananac67d9702019-09-30 10:20:25 +01001694 struct extent_state *cached_state = NULL;
Johannes Thumshirn70730172018-12-05 15:23:03 +01001695 size_t offset = offset_in_page(pos);
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301696 size_t sector_offset;
Josef Bacikd0215f32011-01-25 14:57:24 -05001697 size_t write_bytes = min(iov_iter_count(i),
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001698 nrptrs * (size_t)PAGE_SIZE -
Chris Mason8c2383c2007-06-18 09:57:58 -04001699 offset);
Goldwyn Rodrigueseefa45f52020-09-25 15:36:38 -05001700 size_t num_pages;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001701 size_t reserve_bytes;
Josef Bacikd0215f32011-01-25 14:57:24 -05001702 size_t dirty_pages;
1703 size_t copied;
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301704 size_t dirty_sectors;
1705 size_t num_sectors;
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001706 int extents_locked;
Chris Mason39279cc2007-06-12 06:35:45 -04001707
Xin Zhong914ee292010-12-09 09:30:14 +00001708 /*
1709 * Fault pages before locking them in prepare_pages
1710 * to avoid recursive lock
1711 */
Josef Bacikd0215f32011-01-25 14:57:24 -05001712 if (unlikely(iov_iter_fault_in_readable(i, write_bytes))) {
Xin Zhong914ee292010-12-09 09:30:14 +00001713 ret = -EFAULT;
Josef Bacikd0215f32011-01-25 14:57:24 -05001714 break;
Xin Zhong914ee292010-12-09 09:30:14 +00001715 }
1716
Filipe Mananaa0e248b2019-10-11 16:41:20 +01001717 only_release_metadata = false;
Jeff Mahoneyda170662016-06-15 09:22:56 -04001718 sector_offset = pos & (fs_info->sectorsize - 1);
Qu Wenruod9d8b2a2015-09-08 17:22:43 +08001719
Qu Wenruo364ecf32017-02-27 15:10:38 +08001720 extent_changeset_release(data_reserved);
Nikolay Borisov36ea6f32020-06-03 08:55:41 +03001721 ret = btrfs_check_data_free_space(BTRFS_I(inode),
1722 &data_reserved, pos,
Qu Wenruo364ecf32017-02-27 15:10:38 +08001723 write_bytes);
Josef Bacikc6887cd2016-03-25 13:26:00 -04001724 if (ret < 0) {
Goldwyn Rodrigueseefa45f52020-09-25 15:36:38 -05001725 /*
1726 * If we don't have to COW at the offset, reserve
1727 * metadata only. write_bytes may get smaller than
1728 * requested here.
1729 */
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001730 if (btrfs_check_nocow_lock(BTRFS_I(inode), pos,
Goldwyn Rodrigueseefa45f52020-09-25 15:36:38 -05001731 &write_bytes) > 0)
Josef Bacikc6887cd2016-03-25 13:26:00 -04001732 only_release_metadata = true;
Goldwyn Rodrigueseefa45f52020-09-25 15:36:38 -05001733 else
Josef Bacikc6887cd2016-03-25 13:26:00 -04001734 break;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001735 }
Zhao Lei4da2e262016-01-06 18:24:43 +08001736
Goldwyn Rodrigueseefa45f52020-09-25 15:36:38 -05001737 num_pages = DIV_ROUND_UP(write_bytes + offset, PAGE_SIZE);
1738 WARN_ON(num_pages > nrptrs);
1739 reserve_bytes = round_up(write_bytes + sector_offset,
1740 fs_info->sectorsize);
Josef Bacik8b62f87b2017-10-19 14:15:55 -04001741 WARN_ON(reserve_bytes == 0);
Nikolay Borisov9f3db422017-02-20 13:50:41 +02001742 ret = btrfs_delalloc_reserve_metadata(BTRFS_I(inode),
1743 reserve_bytes);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001744 if (ret) {
1745 if (!only_release_metadata)
Nikolay Borisov25ce28c2020-06-03 08:55:39 +03001746 btrfs_free_reserved_data_space(BTRFS_I(inode),
Qu Wenruobc42bda2017-02-27 15:10:39 +08001747 data_reserved, pos,
1748 write_bytes);
Miao Xie8257b2d2014-03-06 13:38:19 +08001749 else
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001750 btrfs_check_nocow_unlock(BTRFS_I(inode));
Josef Bacik7ee9e442013-06-21 16:37:03 -04001751 break;
1752 }
1753
1754 release_bytes = reserve_bytes;
Miao Xie376cc682013-12-10 19:25:04 +08001755again:
Josef Bacik4a640012011-01-25 15:10:08 -05001756 /*
1757 * This is going to setup the pages array with the number of
1758 * pages we want, so we don't really need to worry about the
1759 * contents of pages from loop to loop
1760 */
Miao Xieb37392e2013-12-10 19:25:03 +08001761 ret = prepare_pages(inode, pages, num_pages,
1762 pos, write_bytes,
Josef Bacikb63164292011-09-30 15:23:54 -04001763 force_page_uptodate);
Josef Bacik8b62f87b2017-10-19 14:15:55 -04001764 if (ret) {
1765 btrfs_delalloc_release_extents(BTRFS_I(inode),
Qu Wenruo8702ba92019-10-14 14:34:51 +08001766 reserve_bytes);
Josef Bacikd0215f32011-01-25 14:57:24 -05001767 break;
Josef Bacik8b62f87b2017-10-19 14:15:55 -04001768 }
Chris Mason39279cc2007-06-12 06:35:45 -04001769
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001770 extents_locked = lock_and_cleanup_extent_if_need(
1771 BTRFS_I(inode), pages,
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001772 num_pages, pos, write_bytes, &lockstart,
1773 &lockend, &cached_state);
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001774 if (extents_locked < 0) {
1775 if (extents_locked == -EAGAIN)
Miao Xie376cc682013-12-10 19:25:04 +08001776 goto again;
Josef Bacik8b62f87b2017-10-19 14:15:55 -04001777 btrfs_delalloc_release_extents(BTRFS_I(inode),
Qu Wenruo8702ba92019-10-14 14:34:51 +08001778 reserve_bytes);
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001779 ret = extents_locked;
Miao Xie376cc682013-12-10 19:25:04 +08001780 break;
Miao Xie376cc682013-12-10 19:25:04 +08001781 }
1782
Zhao Leiee22f0c2016-01-06 18:47:31 +08001783 copied = btrfs_copy_from_user(pos, write_bytes, pages, i);
Chris Masonb1bf8622011-02-28 09:52:08 -05001784
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001785 num_sectors = BTRFS_BYTES_TO_BLKS(fs_info, reserve_bytes);
Chris Mason56244ef2016-05-16 09:21:01 -07001786 dirty_sectors = round_up(copied + sector_offset,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001787 fs_info->sectorsize);
1788 dirty_sectors = BTRFS_BYTES_TO_BLKS(fs_info, dirty_sectors);
Chris Mason56244ef2016-05-16 09:21:01 -07001789
Chris Masonb1bf8622011-02-28 09:52:08 -05001790 /*
1791 * if we have trouble faulting in the pages, fall
1792 * back to one page at a time
1793 */
1794 if (copied < write_bytes)
1795 nrptrs = 1;
1796
Josef Bacikb63164292011-09-30 15:23:54 -04001797 if (copied == 0) {
1798 force_page_uptodate = true;
Chris Mason56244ef2016-05-16 09:21:01 -07001799 dirty_sectors = 0;
Chris Masonb1bf8622011-02-28 09:52:08 -05001800 dirty_pages = 0;
Josef Bacikb63164292011-09-30 15:23:54 -04001801 } else {
1802 force_page_uptodate = false;
David Sterbaed6078f2014-06-05 01:59:57 +02001803 dirty_pages = DIV_ROUND_UP(copied + offset,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001804 PAGE_SIZE);
Josef Bacikb63164292011-09-30 15:23:54 -04001805 }
Xin Zhong914ee292010-12-09 09:30:14 +00001806
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301807 if (num_sectors > dirty_sectors) {
Chris Mason8b8b08c2016-07-19 05:52:36 -07001808 /* release everything except the sectors we dirtied */
David Sterba265fdfa2020-07-01 21:19:09 +02001809 release_bytes -= dirty_sectors << fs_info->sectorsize_bits;
Qu Wenruo485290a2015-10-29 17:28:46 +08001810 if (only_release_metadata) {
Nikolay Borisov691fa052017-02-20 13:50:42 +02001811 btrfs_delalloc_release_metadata(BTRFS_I(inode),
Qu Wenruo43b18592017-12-12 15:34:32 +08001812 release_bytes, true);
Qu Wenruo485290a2015-10-29 17:28:46 +08001813 } else {
1814 u64 __pos;
1815
Jeff Mahoneyda170662016-06-15 09:22:56 -04001816 __pos = round_down(pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001817 fs_info->sectorsize) +
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001818 (dirty_pages << PAGE_SHIFT);
Nikolay Borisov86d52922020-06-03 08:55:40 +03001819 btrfs_delalloc_release_space(BTRFS_I(inode),
Qu Wenruobc42bda2017-02-27 15:10:39 +08001820 data_reserved, __pos,
Qu Wenruo43b18592017-12-12 15:34:32 +08001821 release_bytes, true);
Qu Wenruo485290a2015-10-29 17:28:46 +08001822 }
Xin Zhong914ee292010-12-09 09:30:14 +00001823 }
1824
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301825 release_bytes = round_up(copied + sector_offset,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001826 fs_info->sectorsize);
Miao Xie376cc682013-12-10 19:25:04 +08001827
Goldwyn Rodriguesaa8c1a42020-10-14 09:55:45 -05001828 ret = btrfs_dirty_pages(BTRFS_I(inode), pages,
1829 dirty_pages, pos, copied,
1830 &cached_state, only_release_metadata);
Filipe Mananac67d9702019-09-30 10:20:25 +01001831
1832 /*
1833 * If we have not locked the extent range, because the range's
1834 * start offset is >= i_size, we might still have a non-NULL
1835 * cached extent state, acquired while marking the extent range
1836 * as delalloc through btrfs_dirty_pages(). Therefore free any
1837 * possible cached extent state to avoid a memory leak.
1838 */
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001839 if (extents_locked)
Miao Xie376cc682013-12-10 19:25:04 +08001840 unlock_extent_cached(&BTRFS_I(inode)->io_tree,
David Sterbae43bbe52017-12-12 21:43:52 +01001841 lockstart, lockend, &cached_state);
Filipe Mananac67d9702019-09-30 10:20:25 +01001842 else
1843 free_extent_state(cached_state);
1844
Qu Wenruo8702ba92019-10-14 14:34:51 +08001845 btrfs_delalloc_release_extents(BTRFS_I(inode), reserve_bytes);
Miao Xief1de9682014-01-09 10:06:10 +08001846 if (ret) {
1847 btrfs_drop_pages(pages, num_pages);
Miao Xie376cc682013-12-10 19:25:04 +08001848 break;
Miao Xief1de9682014-01-09 10:06:10 +08001849 }
Chris Mason39279cc2007-06-12 06:35:45 -04001850
Josef Bacik7ee9e442013-06-21 16:37:03 -04001851 release_bytes = 0;
Miao Xie8257b2d2014-03-06 13:38:19 +08001852 if (only_release_metadata)
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001853 btrfs_check_nocow_unlock(BTRFS_I(inode));
Miao Xie8257b2d2014-03-06 13:38:19 +08001854
Miao Xief1de9682014-01-09 10:06:10 +08001855 btrfs_drop_pages(pages, num_pages);
1856
Josef Bacikd0215f32011-01-25 14:57:24 -05001857 cond_resched();
1858
Namjae Jeond0e1d662012-12-11 16:00:21 -08001859 balance_dirty_pages_ratelimited(inode->i_mapping);
Chris Mason39279cc2007-06-12 06:35:45 -04001860
Xin Zhong914ee292010-12-09 09:30:14 +00001861 pos += copied;
1862 num_written += copied;
Chris Mason39279cc2007-06-12 06:35:45 -04001863 }
Chris Mason5b92ee72008-01-03 13:46:11 -05001864
Chris Mason8c2383c2007-06-18 09:57:58 -04001865 kfree(pages);
Josef Bacikd0215f32011-01-25 14:57:24 -05001866
Josef Bacik7ee9e442013-06-21 16:37:03 -04001867 if (release_bytes) {
Miao Xie8257b2d2014-03-06 13:38:19 +08001868 if (only_release_metadata) {
Qu Wenruo38d37aa2020-06-24 07:23:52 +08001869 btrfs_check_nocow_unlock(BTRFS_I(inode));
Nikolay Borisov691fa052017-02-20 13:50:42 +02001870 btrfs_delalloc_release_metadata(BTRFS_I(inode),
Qu Wenruo43b18592017-12-12 15:34:32 +08001871 release_bytes, true);
Miao Xie8257b2d2014-03-06 13:38:19 +08001872 } else {
Nikolay Borisov86d52922020-06-03 08:55:40 +03001873 btrfs_delalloc_release_space(BTRFS_I(inode),
1874 data_reserved,
Qu Wenruobc42bda2017-02-27 15:10:39 +08001875 round_down(pos, fs_info->sectorsize),
Qu Wenruo43b18592017-12-12 15:34:32 +08001876 release_bytes, true);
Miao Xie8257b2d2014-03-06 13:38:19 +08001877 }
Josef Bacik7ee9e442013-06-21 16:37:03 -04001878 }
1879
Qu Wenruo364ecf32017-02-27 15:10:38 +08001880 extent_changeset_free(data_reserved);
Goldwyn Rodrigues5e8b9ef2020-09-24 11:39:13 -05001881 if (num_written > 0) {
1882 pagecache_isize_extended(inode, old_isize, iocb->ki_pos);
1883 iocb->ki_pos += num_written;
1884 }
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001885out:
1886 btrfs_inode_unlock(inode, ilock_flags);
Josef Bacikd0215f32011-01-25 14:57:24 -05001887 return num_written ? num_written : ret;
1888}
1889
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001890static ssize_t check_direct_IO(struct btrfs_fs_info *fs_info,
1891 const struct iov_iter *iter, loff_t offset)
1892{
1893 const u32 blocksize_mask = fs_info->sectorsize - 1;
1894
1895 if (offset & blocksize_mask)
1896 return -EINVAL;
1897
1898 if (iov_iter_alignment(iter) & blocksize_mask)
1899 return -EINVAL;
1900
1901 return 0;
1902}
1903
1904static ssize_t btrfs_direct_write(struct kiocb *iocb, struct iov_iter *from)
Josef Bacikd0215f32011-01-25 14:57:24 -05001905{
1906 struct file *file = iocb->ki_filp;
Filipe Manana728404d2014-10-10 09:43:11 +01001907 struct inode *inode = file_inode(file);
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001908 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001909 loff_t pos;
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001910 ssize_t written = 0;
Josef Bacikd0215f32011-01-25 14:57:24 -05001911 ssize_t written_buffered;
1912 loff_t endbyte;
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001913 ssize_t err;
1914 unsigned int ilock_flags = 0;
Goldwyn Rodriguesa42fa642020-09-24 11:39:20 -05001915 struct iomap_dio *dio = NULL;
Josef Bacikd0215f32011-01-25 14:57:24 -05001916
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001917 if (iocb->ki_flags & IOCB_NOWAIT)
1918 ilock_flags |= BTRFS_ILOCK_TRY;
1919
Goldwyn Rodriguese9adabb2020-09-24 11:39:18 -05001920 /* If the write DIO is within EOF, use a shared lock */
1921 if (iocb->ki_pos + iov_iter_count(from) <= i_size_read(inode))
1922 ilock_flags |= BTRFS_ILOCK_SHARED;
1923
1924relock:
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001925 err = btrfs_inode_lock(inode, ilock_flags);
1926 if (err < 0)
1927 return err;
1928
1929 err = generic_write_checks(iocb, from);
1930 if (err <= 0) {
1931 btrfs_inode_unlock(inode, ilock_flags);
1932 return err;
1933 }
1934
1935 err = btrfs_write_check(iocb, from, err);
1936 if (err < 0) {
1937 btrfs_inode_unlock(inode, ilock_flags);
1938 goto out;
1939 }
1940
1941 pos = iocb->ki_pos;
Goldwyn Rodriguese9adabb2020-09-24 11:39:18 -05001942 /*
1943 * Re-check since file size may have changed just before taking the
1944 * lock or pos may have changed because of O_APPEND in generic_write_check()
1945 */
1946 if ((ilock_flags & BTRFS_ILOCK_SHARED) &&
1947 pos + iov_iter_count(from) > i_size_read(inode)) {
1948 btrfs_inode_unlock(inode, ilock_flags);
1949 ilock_flags &= ~BTRFS_ILOCK_SHARED;
1950 goto relock;
1951 }
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001952
1953 if (check_direct_IO(fs_info, from, pos)) {
1954 btrfs_inode_unlock(inode, ilock_flags);
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001955 goto buffered;
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001956 }
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001957
Christoph Hellwig2f632962021-01-23 10:06:09 -08001958 dio = __iomap_dio_rw(iocb, from, &btrfs_dio_iomap_ops, &btrfs_dio_ops,
1959 0);
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001960
Goldwyn Rodriguese9adabb2020-09-24 11:39:18 -05001961 btrfs_inode_unlock(inode, ilock_flags);
Josef Bacikd0215f32011-01-25 14:57:24 -05001962
Goldwyn Rodriguesa42fa642020-09-24 11:39:20 -05001963 if (IS_ERR_OR_NULL(dio)) {
1964 err = PTR_ERR_OR_ZERO(dio);
1965 if (err < 0 && err != -ENOTBLK)
1966 goto out;
1967 } else {
1968 written = iomap_dio_complete(dio);
1969 }
1970
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05001971 if (written < 0 || !iov_iter_count(from)) {
1972 err = written;
1973 goto out;
1974 }
Josef Bacikd0215f32011-01-25 14:57:24 -05001975
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05001976buffered:
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001977 pos = iocb->ki_pos;
1978 written_buffered = btrfs_buffered_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001979 if (written_buffered < 0) {
1980 err = written_buffered;
1981 goto out;
1982 }
Filipe Manana075bdbd2014-10-09 21:18:55 +01001983 /*
1984 * Ensure all data is persisted. We want the next direct IO read to be
1985 * able to read what was just written.
1986 */
Josef Bacikd0215f32011-01-25 14:57:24 -05001987 endbyte = pos + written_buffered - 1;
Filipe Manana728404d2014-10-10 09:43:11 +01001988 err = btrfs_fdatawrite_range(inode, pos, endbyte);
Filipe Manana075bdbd2014-10-09 21:18:55 +01001989 if (err)
1990 goto out;
Filipe Manana728404d2014-10-10 09:43:11 +01001991 err = filemap_fdatawait_range(inode->i_mapping, pos, endbyte);
Josef Bacikd0215f32011-01-25 14:57:24 -05001992 if (err)
1993 goto out;
1994 written += written_buffered;
Al Viro867c4f92014-02-11 19:31:06 -05001995 iocb->ki_pos = pos + written_buffered;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001996 invalidate_mapping_pages(file->f_mapping, pos >> PAGE_SHIFT,
1997 endbyte >> PAGE_SHIFT);
Josef Bacikd0215f32011-01-25 14:57:24 -05001998out:
1999 return written ? written : err;
2000}
2001
Al Virob30ac0f2014-04-03 14:29:04 -04002002static ssize_t btrfs_file_write_iter(struct kiocb *iocb,
2003 struct iov_iter *from)
Josef Bacikd0215f32011-01-25 14:57:24 -05002004{
2005 struct file *file = iocb->ki_filp;
Nikolay Borisov14971652020-12-10 10:38:32 +02002006 struct btrfs_inode *inode = BTRFS_I(file_inode(file));
Josef Bacikd0215f32011-01-25 14:57:24 -05002007 ssize_t num_written = 0;
Omar Sandovalf50cb7a2019-08-15 14:04:03 -07002008 const bool sync = iocb->ki_flags & IOCB_DSYNC;
Josef Bacikd0215f32011-01-25 14:57:24 -05002009
Goldwyn Rodriguesc86537a2020-09-24 11:39:14 -05002010 /*
2011 * If the fs flips readonly due to some impossible error, although we
2012 * have opened a file as writable, we have to stop this write operation
2013 * to ensure consistency.
2014 */
Nikolay Borisov14971652020-12-10 10:38:32 +02002015 if (test_bit(BTRFS_FS_STATE_ERROR, &inode->root->fs_info->fs_state))
Goldwyn Rodriguesc86537a2020-09-24 11:39:14 -05002016 return -EROFS;
2017
Christoph Hellwig91f99432017-08-29 16:13:20 +02002018 if (!(iocb->ki_flags & IOCB_DIRECT) &&
2019 (iocb->ki_flags & IOCB_NOWAIT))
2020 return -EOPNOTSUPP;
2021
Josef Bacikb812ce22012-11-16 13:56:32 -05002022 if (sync)
Nikolay Borisov14971652020-12-10 10:38:32 +02002023 atomic_inc(&inode->sync_writers);
Josef Bacikb812ce22012-11-16 13:56:32 -05002024
Goldwyn Rodriguesecfdc082020-09-24 11:39:21 -05002025 if (iocb->ki_flags & IOCB_DIRECT)
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05002026 num_written = btrfs_direct_write(iocb, from);
Goldwyn Rodriguesecfdc082020-09-24 11:39:21 -05002027 else
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05002028 num_written = btrfs_buffered_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05002029
Filipe Mananabc0939f2021-02-23 12:08:48 +00002030 btrfs_set_inode_last_sub_trans(inode);
2031
Christoph Hellwige2592212016-04-07 08:52:01 -07002032 if (num_written > 0)
2033 num_written = generic_write_sync(iocb, num_written);
Miao Xie0a3404d2013-01-28 12:34:55 +00002034
Josef Bacikb812ce22012-11-16 13:56:32 -05002035 if (sync)
Nikolay Borisov14971652020-12-10 10:38:32 +02002036 atomic_dec(&inode->sync_writers);
Goldwyn Rodriguesb8d8e1f2020-09-24 11:39:15 -05002037
Chris Mason39279cc2007-06-12 06:35:45 -04002038 current->backing_dev_info = NULL;
Goldwyn Rodriguesc3523702020-09-24 11:39:17 -05002039 return num_written;
Chris Mason39279cc2007-06-12 06:35:45 -04002040}
2041
Chris Masond3977122009-01-05 21:25:51 -05002042int btrfs_release_file(struct inode *inode, struct file *filp)
Mingminge1b81e62008-05-27 10:55:43 -04002043{
Josef Bacik23b5ec72017-07-24 15:14:25 -04002044 struct btrfs_file_private *private = filp->private_data;
2045
Josef Bacik23b5ec72017-07-24 15:14:25 -04002046 if (private && private->filldir_buf)
2047 kfree(private->filldir_buf);
2048 kfree(private);
2049 filp->private_data = NULL;
2050
Chris Masonf6dc45c2014-08-20 07:15:33 -07002051 /*
Nikolay Borisov1fd40332020-10-01 09:40:39 +03002052 * Set by setattr when we are about to truncate a file from a non-zero
2053 * size to a zero size. This tries to flush down new bytes that may
2054 * have been written if the application were using truncate to replace
2055 * a file in place.
Chris Masonf6dc45c2014-08-20 07:15:33 -07002056 */
Nikolay Borisov1fd40332020-10-01 09:40:39 +03002057 if (test_and_clear_bit(BTRFS_INODE_FLUSH_ON_CLOSE,
Chris Masonf6dc45c2014-08-20 07:15:33 -07002058 &BTRFS_I(inode)->runtime_flags))
2059 filemap_flush(inode->i_mapping);
Mingminge1b81e62008-05-27 10:55:43 -04002060 return 0;
2061}
2062
Filipe Manana669249e2014-09-02 11:09:58 +01002063static int start_ordered_ops(struct inode *inode, loff_t start, loff_t end)
2064{
2065 int ret;
Liu Bo343e4fc2017-11-15 16:10:28 -07002066 struct blk_plug plug;
Filipe Manana669249e2014-09-02 11:09:58 +01002067
Liu Bo343e4fc2017-11-15 16:10:28 -07002068 /*
2069 * This is only called in fsync, which would do synchronous writes, so
2070 * a plug can merge adjacent IOs as much as possible. Esp. in case of
2071 * multiple disks using raid profile, a large IO can be split to
2072 * several segments of stripe length (currently 64K).
2073 */
2074 blk_start_plug(&plug);
Filipe Manana669249e2014-09-02 11:09:58 +01002075 atomic_inc(&BTRFS_I(inode)->sync_writers);
Filipe Manana728404d2014-10-10 09:43:11 +01002076 ret = btrfs_fdatawrite_range(inode, start, end);
Filipe Manana669249e2014-09-02 11:09:58 +01002077 atomic_dec(&BTRFS_I(inode)->sync_writers);
Liu Bo343e4fc2017-11-15 16:10:28 -07002078 blk_finish_plug(&plug);
Filipe Manana669249e2014-09-02 11:09:58 +01002079
2080 return ret;
2081}
2082
Filipe Manana626e9f42021-04-27 11:27:20 +01002083static inline bool skip_inode_logging(const struct btrfs_log_ctx *ctx)
2084{
2085 struct btrfs_inode *inode = BTRFS_I(ctx->inode);
2086 struct btrfs_fs_info *fs_info = inode->root->fs_info;
2087
2088 if (btrfs_inode_in_log(inode, fs_info->generation) &&
2089 list_empty(&ctx->ordered_extents))
2090 return true;
2091
2092 /*
2093 * If we are doing a fast fsync we can not bail out if the inode's
2094 * last_trans is <= then the last committed transaction, because we only
2095 * update the last_trans of the inode during ordered extent completion,
2096 * and for a fast fsync we don't wait for that, we only wait for the
2097 * writeback to complete.
2098 */
2099 if (inode->last_trans <= fs_info->last_trans_committed &&
2100 (test_bit(BTRFS_INODE_NEEDS_FULL_SYNC, &inode->runtime_flags) ||
2101 list_empty(&ctx->ordered_extents)))
2102 return true;
2103
2104 return false;
2105}
2106
Chris Masond352ac62008-09-29 15:18:18 -04002107/*
2108 * fsync call for both files and directories. This logs the inode into
2109 * the tree log instead of forcing full commits whenever possible.
2110 *
2111 * It needs to call filemap_fdatawait so that all ordered extent updates are
2112 * in the metadata btree are up to date for copying to the log.
2113 *
2114 * It drops the inode mutex before doing the tree log commit. This is an
2115 * important optimization for directories because holding the mutex prevents
2116 * new operations on the dir while we write to disk.
2117 */
Josef Bacik02c24a82011-07-16 20:44:56 -04002118int btrfs_sync_file(struct file *file, loff_t start, loff_t end, int datasync)
Chris Mason39279cc2007-06-12 06:35:45 -04002119{
Filipe Mananade17e792016-03-30 19:03:13 -04002120 struct dentry *dentry = file_dentry(file);
David Howells2b0143b2015-03-17 22:25:59 +00002121 struct inode *inode = d_inode(dentry);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002122 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Chris Mason39279cc2007-06-12 06:35:45 -04002123 struct btrfs_root *root = BTRFS_I(inode)->root;
Chris Mason39279cc2007-06-12 06:35:45 -04002124 struct btrfs_trans_handle *trans;
Miao Xie8b050d32014-02-20 18:08:58 +08002125 struct btrfs_log_ctx ctx;
Jeff Layton333427a2017-07-06 07:02:31 -04002126 int ret = 0, err;
Filipe Manana48778172020-08-11 12:43:58 +01002127 u64 len;
2128 bool full_sync;
Chris Mason39279cc2007-06-12 06:35:45 -04002129
liubo1abe9b82011-03-24 11:18:59 +00002130 trace_btrfs_sync_file(file, datasync);
Chris Mason257c62e2009-10-13 13:21:08 -04002131
Liu Boebb70442017-11-21 14:35:40 -07002132 btrfs_init_log_ctx(&ctx, inode);
2133
Miao Xie90abccf2012-09-13 04:53:47 -06002134 /*
Filipe Manana48778172020-08-11 12:43:58 +01002135 * Always set the range to a full range, otherwise we can get into
2136 * several problems, from missing file extent items to represent holes
2137 * when not using the NO_HOLES feature, to log tree corruption due to
2138 * races between hole detection during logging and completion of ordered
2139 * extents outside the range, to missing checksums due to ordered extents
2140 * for which we flushed only a subset of their pages.
Filipe Manana95418ed2020-03-09 12:41:05 +00002141 */
Filipe Manana48778172020-08-11 12:43:58 +01002142 start = 0;
2143 end = LLONG_MAX;
2144 len = (u64)LLONG_MAX + 1;
Filipe Manana95418ed2020-03-09 12:41:05 +00002145
2146 /*
Miao Xie90abccf2012-09-13 04:53:47 -06002147 * We write the dirty pages in the range and wait until they complete
2148 * out of the ->i_mutex. If so, we can flush the dirty pages by
Josef Bacik2ab28f32012-10-12 15:27:49 -04002149 * multi-task, and make the performance up. See
2150 * btrfs_wait_ordered_range for an explanation of the ASYNC check.
Miao Xie90abccf2012-09-13 04:53:47 -06002151 */
Filipe Manana669249e2014-09-02 11:09:58 +01002152 ret = start_ordered_ops(inode, start, end);
Miao Xie90abccf2012-09-13 04:53:47 -06002153 if (ret)
Jeff Layton333427a2017-07-06 07:02:31 -04002154 goto out;
Miao Xie90abccf2012-09-13 04:53:47 -06002155
Filipe Manana885f46d2021-02-23 12:08:47 +00002156 btrfs_inode_lock(inode, BTRFS_ILOCK_MMAP);
Josef Bacikc4951442018-10-12 15:32:32 -04002157
Miao Xie2ecb7922012-09-06 04:04:27 -06002158 atomic_inc(&root->log_batch);
Josef Bacikb5e6c3e2018-05-23 11:58:33 -04002159
Filipe Manana669249e2014-09-02 11:09:58 +01002160 /*
Filipe Manana48778172020-08-11 12:43:58 +01002161 * Always check for the full sync flag while holding the inode's lock,
2162 * to avoid races with other tasks. The flag must be either set all the
2163 * time during logging or always off all the time while logging.
Filipe Manana7af59742020-04-07 11:37:44 +01002164 */
Filipe Manana48778172020-08-11 12:43:58 +01002165 full_sync = test_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
2166 &BTRFS_I(inode)->runtime_flags);
Filipe Manana7af59742020-04-07 11:37:44 +01002167
2168 /*
Filipe Manana885f46d2021-02-23 12:08:47 +00002169 * Before we acquired the inode's lock and the mmap lock, someone may
2170 * have dirtied more pages in the target range. We need to make sure
2171 * that writeback for any such pages does not start while we are logging
2172 * the inode, because if it does, any of the following might happen when
2173 * we are not doing a full inode sync:
Filipe Mananaaab15e82018-11-12 10:23:58 +00002174 *
2175 * 1) We log an extent after its writeback finishes but before its
2176 * checksums are added to the csum tree, leading to -EIO errors
2177 * when attempting to read the extent after a log replay.
2178 *
2179 * 2) We can end up logging an extent before its writeback finishes.
2180 * Therefore after the log replay we will have a file extent item
2181 * pointing to an unwritten extent (and no data checksums as well).
2182 *
2183 * So trigger writeback for any eventual new dirty pages and then we
2184 * wait for all ordered extents to complete below.
2185 */
2186 ret = start_ordered_ops(inode, start, end);
2187 if (ret) {
Filipe Manana885f46d2021-02-23 12:08:47 +00002188 btrfs_inode_unlock(inode, BTRFS_ILOCK_MMAP);
Filipe Mananaaab15e82018-11-12 10:23:58 +00002189 goto out;
2190 }
2191
2192 /*
Josef Bacikb5e6c3e2018-05-23 11:58:33 -04002193 * We have to do this here to avoid the priority inversion of waiting on
Andrea Gelmini52042d82018-11-28 12:05:13 +01002194 * IO of a lower priority task while holding a transaction open.
Filipe Mananaba0b0842019-10-16 16:28:52 +01002195 *
Filipe Manana48778172020-08-11 12:43:58 +01002196 * For a full fsync we wait for the ordered extents to complete while
2197 * for a fast fsync we wait just for writeback to complete, and then
2198 * attach the ordered extents to the transaction so that a transaction
2199 * commit waits for their completion, to avoid data loss if we fsync,
2200 * the current transaction commits before the ordered extents complete
2201 * and a power failure happens right after that.
Naohiro Aotad8e3fb12021-02-04 19:22:05 +09002202 *
2203 * For zoned filesystem, if a write IO uses a ZONE_APPEND command, the
2204 * logical address recorded in the ordered extent may change. We need
2205 * to wait for the IO to stabilize the logical address.
Filipe Manana669249e2014-09-02 11:09:58 +01002206 */
Naohiro Aotad8e3fb12021-02-04 19:22:05 +09002207 if (full_sync || btrfs_is_zoned(fs_info)) {
Filipe Manana48778172020-08-11 12:43:58 +01002208 ret = btrfs_wait_ordered_range(inode, start, len);
2209 } else {
2210 /*
2211 * Get our ordered extents as soon as possible to avoid doing
2212 * checksum lookups in the csum tree, and use instead the
2213 * checksums attached to the ordered extents.
2214 */
2215 btrfs_get_ordered_extents_for_logging(BTRFS_I(inode),
2216 &ctx.ordered_extents);
2217 ret = filemap_fdatawait_range(inode->i_mapping, start, end);
Josef Bacik0ef8b722013-10-25 16:13:35 -04002218 }
Filipe Manana48778172020-08-11 12:43:58 +01002219
2220 if (ret)
2221 goto out_release_extents;
2222
Miao Xie2ecb7922012-09-06 04:04:27 -06002223 atomic_inc(&root->log_batch);
Chris Mason257c62e2009-10-13 13:21:08 -04002224
Josef Bacika4abeea2011-04-11 17:25:13 -04002225 smp_mb();
Filipe Manana626e9f42021-04-27 11:27:20 +01002226 if (skip_inode_logging(&ctx)) {
Josef Bacik5dc562c2012-08-17 13:14:17 -04002227 /*
Nicholas D Steeves01327612016-05-19 21:18:45 -04002228 * We've had everything committed since the last time we were
Josef Bacik5dc562c2012-08-17 13:14:17 -04002229 * modified so clear this flag in case it was set for whatever
2230 * reason, it's no longer relevant.
2231 */
2232 clear_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
2233 &BTRFS_I(inode)->runtime_flags);
Filipe Manana0596a902016-06-14 14:18:27 +01002234 /*
2235 * An ordered extent might have started before and completed
2236 * already with io errors, in which case the inode was not
2237 * updated and we end up here. So check the inode's mapping
Jeff Layton333427a2017-07-06 07:02:31 -04002238 * for any errors that might have happened since we last
2239 * checked called fsync.
Filipe Manana0596a902016-06-14 14:18:27 +01002240 */
Jeff Layton333427a2017-07-06 07:02:31 -04002241 ret = filemap_check_wb_err(inode->i_mapping, file->f_wb_err);
Filipe Manana48778172020-08-11 12:43:58 +01002242 goto out_release_extents;
Josef Bacik15ee9bc2007-08-10 16:22:09 -04002243 }
Josef Bacik15ee9bc2007-08-10 16:22:09 -04002244
2245 /*
Josef Bacik5039edd2014-01-15 13:34:13 -05002246 * We use start here because we will need to wait on the IO to complete
2247 * in btrfs_sync_log, which could require joining a transaction (for
2248 * example checking cross references in the nocow path). If we use join
2249 * here we could get into a situation where we're waiting on IO to
2250 * happen that is blocked on a transaction trying to commit. With start
2251 * we inc the extwriter counter, so we wait for all extwriters to exit
Andrea Gelmini52042d82018-11-28 12:05:13 +01002252 * before we start blocking joiners. This comment is to keep somebody
Josef Bacik5039edd2014-01-15 13:34:13 -05002253 * from thinking they are super smart and changing this to
2254 * btrfs_join_transaction *cough*Josef*cough*.
2255 */
Yan, Zhenga22285a2010-05-16 10:48:46 -04002256 trans = btrfs_start_transaction(root, 0);
2257 if (IS_ERR(trans)) {
2258 ret = PTR_ERR(trans);
Filipe Manana48778172020-08-11 12:43:58 +01002259 goto out_release_extents;
Chris Mason39279cc2007-06-12 06:35:45 -04002260 }
Filipe Mananad0c2f4f2021-01-27 10:35:00 +00002261 trans->in_fsync = true;
Chris Masone02119d2008-09-05 16:13:11 -04002262
Filipe Manana48778172020-08-11 12:43:58 +01002263 ret = btrfs_log_dentry_safe(trans, dentry, &ctx);
2264 btrfs_release_log_ctx_extents(&ctx);
Josef Bacik02c24a82011-07-16 20:44:56 -04002265 if (ret < 0) {
Filipe David Borba Mananaa0634be2013-09-11 20:36:44 +01002266 /* Fallthrough and commit/free transaction. */
2267 ret = 1;
Josef Bacik02c24a82011-07-16 20:44:56 -04002268 }
Chris Mason49eb7e42008-09-11 15:53:12 -04002269
2270 /* we've logged all the items and now have a consistent
2271 * version of the file in the log. It is possible that
2272 * someone will come in and modify the file, but that's
2273 * fine because the log is consistent on disk, and we
2274 * have references to all of the file's extents
2275 *
2276 * It is possible that someone will come in and log the
2277 * file again, but that will end up using the synchronization
2278 * inside btrfs_sync_log to keep things safe.
2279 */
Filipe Manana885f46d2021-02-23 12:08:47 +00002280 btrfs_inode_unlock(inode, BTRFS_ILOCK_MMAP);
Chris Mason49eb7e42008-09-11 15:53:12 -04002281
Chris Mason257c62e2009-10-13 13:21:08 -04002282 if (ret != BTRFS_NO_LOG_SYNC) {
Josef Bacik0ef8b722013-10-25 16:13:35 -04002283 if (!ret) {
Miao Xie8b050d32014-02-20 18:08:58 +08002284 ret = btrfs_sync_log(trans, root, &ctx);
Josef Bacik0ef8b722013-10-25 16:13:35 -04002285 if (!ret) {
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002286 ret = btrfs_end_transaction(trans);
Josef Bacik0ef8b722013-10-25 16:13:35 -04002287 goto out;
Josef Bacik2ab28f32012-10-12 15:27:49 -04002288 }
Chris Mason257c62e2009-10-13 13:21:08 -04002289 }
Filipe Manana48778172020-08-11 12:43:58 +01002290 if (!full_sync) {
2291 ret = btrfs_wait_ordered_range(inode, start, len);
2292 if (ret) {
2293 btrfs_end_transaction(trans);
2294 goto out;
2295 }
2296 }
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002297 ret = btrfs_commit_transaction(trans);
Chris Mason257c62e2009-10-13 13:21:08 -04002298 } else {
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002299 ret = btrfs_end_transaction(trans);
Chris Masone02119d2008-09-05 16:13:11 -04002300 }
Chris Mason39279cc2007-06-12 06:35:45 -04002301out:
Liu Boebb70442017-11-21 14:35:40 -07002302 ASSERT(list_empty(&ctx.list));
Jeff Layton333427a2017-07-06 07:02:31 -04002303 err = file_check_and_advance_wb_err(file);
2304 if (!ret)
2305 ret = err;
Roel Kluin014e4ac2010-01-29 10:42:11 +00002306 return ret > 0 ? -EIO : ret;
Filipe Manana48778172020-08-11 12:43:58 +01002307
2308out_release_extents:
2309 btrfs_release_log_ctx_extents(&ctx);
Filipe Manana885f46d2021-02-23 12:08:47 +00002310 btrfs_inode_unlock(inode, BTRFS_ILOCK_MMAP);
Filipe Manana48778172020-08-11 12:43:58 +01002311 goto out;
Chris Mason39279cc2007-06-12 06:35:45 -04002312}
2313
Alexey Dobriyanf0f37e2f2009-09-27 22:29:37 +04002314static const struct vm_operations_struct btrfs_file_vm_ops = {
Chris Mason92fee662007-07-25 12:31:35 -04002315 .fault = filemap_fault,
Kirill A. Shutemovf1820362014-04-07 15:37:19 -07002316 .map_pages = filemap_map_pages,
Chris Mason9ebefb182007-06-15 13:50:00 -04002317 .page_mkwrite = btrfs_page_mkwrite,
2318};
2319
2320static int btrfs_file_mmap(struct file *filp, struct vm_area_struct *vma)
2321{
Miao Xie058a4572010-05-20 07:21:50 +00002322 struct address_space *mapping = filp->f_mapping;
2323
2324 if (!mapping->a_ops->readpage)
2325 return -ENOEXEC;
2326
Chris Mason9ebefb182007-06-15 13:50:00 -04002327 file_accessed(filp);
Miao Xie058a4572010-05-20 07:21:50 +00002328 vma->vm_ops = &btrfs_file_vm_ops;
Miao Xie058a4572010-05-20 07:21:50 +00002329
Chris Mason9ebefb182007-06-15 13:50:00 -04002330 return 0;
2331}
2332
Nikolay Borisov35339c22017-02-20 13:50:46 +02002333static int hole_mergeable(struct btrfs_inode *inode, struct extent_buffer *leaf,
Josef Bacik2aaa6652012-08-29 14:27:18 -04002334 int slot, u64 start, u64 end)
2335{
2336 struct btrfs_file_extent_item *fi;
2337 struct btrfs_key key;
2338
2339 if (slot < 0 || slot >= btrfs_header_nritems(leaf))
2340 return 0;
2341
2342 btrfs_item_key_to_cpu(leaf, &key, slot);
Nikolay Borisov35339c22017-02-20 13:50:46 +02002343 if (key.objectid != btrfs_ino(inode) ||
Josef Bacik2aaa6652012-08-29 14:27:18 -04002344 key.type != BTRFS_EXTENT_DATA_KEY)
2345 return 0;
2346
2347 fi = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
2348
2349 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_REG)
2350 return 0;
2351
2352 if (btrfs_file_extent_disk_bytenr(leaf, fi))
2353 return 0;
2354
2355 if (key.offset == end)
2356 return 1;
2357 if (key.offset + btrfs_file_extent_num_bytes(leaf, fi) == start)
2358 return 1;
2359 return 0;
2360}
2361
Nikolay Borisova012a742017-02-20 13:50:47 +02002362static int fill_holes(struct btrfs_trans_handle *trans,
2363 struct btrfs_inode *inode,
2364 struct btrfs_path *path, u64 offset, u64 end)
Josef Bacik2aaa6652012-08-29 14:27:18 -04002365{
David Sterba3ffbd682018-06-29 10:56:42 +02002366 struct btrfs_fs_info *fs_info = trans->fs_info;
Nikolay Borisova012a742017-02-20 13:50:47 +02002367 struct btrfs_root *root = inode->root;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002368 struct extent_buffer *leaf;
2369 struct btrfs_file_extent_item *fi;
2370 struct extent_map *hole_em;
Nikolay Borisova012a742017-02-20 13:50:47 +02002371 struct extent_map_tree *em_tree = &inode->extent_tree;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002372 struct btrfs_key key;
2373 int ret;
2374
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002375 if (btrfs_fs_incompat(fs_info, NO_HOLES))
Josef Bacik16e75492013-10-22 12:18:51 -04002376 goto out;
2377
Nikolay Borisova012a742017-02-20 13:50:47 +02002378 key.objectid = btrfs_ino(inode);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002379 key.type = BTRFS_EXTENT_DATA_KEY;
2380 key.offset = offset;
2381
Josef Bacik2aaa6652012-08-29 14:27:18 -04002382 ret = btrfs_search_slot(trans, root, &key, path, 0, 1);
Josef Bacikf94480b2016-11-14 14:06:22 -05002383 if (ret <= 0) {
2384 /*
2385 * We should have dropped this offset, so if we find it then
2386 * something has gone horribly wrong.
2387 */
2388 if (ret == 0)
2389 ret = -EINVAL;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002390 return ret;
Josef Bacikf94480b2016-11-14 14:06:22 -05002391 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002392
2393 leaf = path->nodes[0];
Nikolay Borisova012a742017-02-20 13:50:47 +02002394 if (hole_mergeable(inode, leaf, path->slots[0] - 1, offset, end)) {
Josef Bacik2aaa6652012-08-29 14:27:18 -04002395 u64 num_bytes;
2396
2397 path->slots[0]--;
2398 fi = btrfs_item_ptr(leaf, path->slots[0],
2399 struct btrfs_file_extent_item);
2400 num_bytes = btrfs_file_extent_num_bytes(leaf, fi) +
2401 end - offset;
2402 btrfs_set_file_extent_num_bytes(leaf, fi, num_bytes);
2403 btrfs_set_file_extent_ram_bytes(leaf, fi, num_bytes);
2404 btrfs_set_file_extent_offset(leaf, fi, 0);
2405 btrfs_mark_buffer_dirty(leaf);
2406 goto out;
2407 }
2408
chandan1707e262014-07-01 12:04:28 +05302409 if (hole_mergeable(inode, leaf, path->slots[0], offset, end)) {
Josef Bacik2aaa6652012-08-29 14:27:18 -04002410 u64 num_bytes;
2411
Josef Bacik2aaa6652012-08-29 14:27:18 -04002412 key.offset = offset;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002413 btrfs_set_item_key_safe(fs_info, path, &key);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002414 fi = btrfs_item_ptr(leaf, path->slots[0],
2415 struct btrfs_file_extent_item);
2416 num_bytes = btrfs_file_extent_num_bytes(leaf, fi) + end -
2417 offset;
2418 btrfs_set_file_extent_num_bytes(leaf, fi, num_bytes);
2419 btrfs_set_file_extent_ram_bytes(leaf, fi, num_bytes);
2420 btrfs_set_file_extent_offset(leaf, fi, 0);
2421 btrfs_mark_buffer_dirty(leaf);
2422 goto out;
2423 }
2424 btrfs_release_path(path);
2425
Nikolay Borisova012a742017-02-20 13:50:47 +02002426 ret = btrfs_insert_file_extent(trans, root, btrfs_ino(inode),
David Sterbaf85b7372017-01-20 14:54:07 +01002427 offset, 0, 0, end - offset, 0, end - offset, 0, 0, 0);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002428 if (ret)
2429 return ret;
2430
2431out:
2432 btrfs_release_path(path);
2433
2434 hole_em = alloc_extent_map();
2435 if (!hole_em) {
2436 btrfs_drop_extent_cache(inode, offset, end - 1, 0);
Nikolay Borisova012a742017-02-20 13:50:47 +02002437 set_bit(BTRFS_INODE_NEEDS_FULL_SYNC, &inode->runtime_flags);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002438 } else {
2439 hole_em->start = offset;
2440 hole_em->len = end - offset;
Josef Bacikcc95bef2013-04-04 14:31:27 -04002441 hole_em->ram_bytes = hole_em->len;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002442 hole_em->orig_start = offset;
2443
2444 hole_em->block_start = EXTENT_MAP_HOLE;
2445 hole_em->block_len = 0;
Josef Bacikb4939682012-12-03 10:31:19 -05002446 hole_em->orig_block_len = 0;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002447 hole_em->compress_type = BTRFS_COMPRESS_NONE;
2448 hole_em->generation = trans->transid;
2449
2450 do {
2451 btrfs_drop_extent_cache(inode, offset, end - 1, 0);
2452 write_lock(&em_tree->lock);
Josef Bacik09a2a8f92013-04-05 16:51:15 -04002453 ret = add_extent_mapping(em_tree, hole_em, 1);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002454 write_unlock(&em_tree->lock);
2455 } while (ret == -EEXIST);
2456 free_extent_map(hole_em);
2457 if (ret)
2458 set_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
Nikolay Borisova012a742017-02-20 13:50:47 +02002459 &inode->runtime_flags);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002460 }
2461
2462 return 0;
2463}
2464
Qu Wenruod7781542014-05-30 15:16:10 +08002465/*
2466 * Find a hole extent on given inode and change start/len to the end of hole
2467 * extent.(hole/vacuum extent whose em->start <= start &&
2468 * em->start + em->len > start)
2469 * When a hole extent is found, return 1 and modify start/len.
2470 */
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002471static int find_first_non_hole(struct btrfs_inode *inode, u64 *start, u64 *len)
Qu Wenruod7781542014-05-30 15:16:10 +08002472{
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002473 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Qu Wenruod7781542014-05-30 15:16:10 +08002474 struct extent_map *em;
2475 int ret = 0;
2476
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002477 em = btrfs_get_extent(inode, NULL, 0,
Filipe Manana609805d2017-05-30 05:29:09 +01002478 round_down(*start, fs_info->sectorsize),
Omar Sandoval39b07b52019-12-02 17:34:23 -08002479 round_up(*len, fs_info->sectorsize));
Dan Carpenter99862772017-04-11 11:57:15 +03002480 if (IS_ERR(em))
2481 return PTR_ERR(em);
Qu Wenruod7781542014-05-30 15:16:10 +08002482
2483 /* Hole or vacuum extent(only exists in no-hole mode) */
2484 if (em->block_start == EXTENT_MAP_HOLE) {
2485 ret = 1;
2486 *len = em->start + em->len > *start + *len ?
2487 0 : *start + *len - em->start - em->len;
2488 *start = em->start + em->len;
2489 }
2490 free_extent_map(em);
2491 return ret;
2492}
2493
Filipe Mananaf27451f2017-10-25 11:55:28 +01002494static int btrfs_punch_hole_lock_range(struct inode *inode,
2495 const u64 lockstart,
2496 const u64 lockend,
2497 struct extent_state **cached_state)
2498{
Qu Wenruo05284762021-05-31 16:50:54 +08002499 /*
2500 * For subpage case, if the range is not at page boundary, we could
2501 * have pages at the leading/tailing part of the range.
2502 * This could lead to dead loop since filemap_range_has_page()
2503 * will always return true.
2504 * So here we need to do extra page alignment for
2505 * filemap_range_has_page().
2506 */
2507 const u64 page_lockstart = round_up(lockstart, PAGE_SIZE);
2508 const u64 page_lockend = round_down(lockend + 1, PAGE_SIZE) - 1;
2509
Filipe Mananaf27451f2017-10-25 11:55:28 +01002510 while (1) {
2511 struct btrfs_ordered_extent *ordered;
2512 int ret;
2513
2514 truncate_pagecache_range(inode, lockstart, lockend);
2515
2516 lock_extent_bits(&BTRFS_I(inode)->io_tree, lockstart, lockend,
2517 cached_state);
Nikolay Borisov6d072c82020-08-31 14:42:39 +03002518 ordered = btrfs_lookup_first_ordered_extent(BTRFS_I(inode),
2519 lockend);
Filipe Mananaf27451f2017-10-25 11:55:28 +01002520
2521 /*
2522 * We need to make sure we have no ordered extents in this range
2523 * and nobody raced in and read a page in this range, if we did
2524 * we need to try again.
2525 */
2526 if ((!ordered ||
Omar Sandovalbffe6332019-12-02 17:34:19 -08002527 (ordered->file_offset + ordered->num_bytes <= lockstart ||
Filipe Mananaf27451f2017-10-25 11:55:28 +01002528 ordered->file_offset > lockend)) &&
David Sterba051c98e2018-03-07 15:33:22 +01002529 !filemap_range_has_page(inode->i_mapping,
Qu Wenruo05284762021-05-31 16:50:54 +08002530 page_lockstart, page_lockend)) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01002531 if (ordered)
2532 btrfs_put_ordered_extent(ordered);
2533 break;
2534 }
2535 if (ordered)
2536 btrfs_put_ordered_extent(ordered);
2537 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart,
2538 lockend, cached_state);
2539 ret = btrfs_wait_ordered_range(inode, lockstart,
2540 lockend - lockstart + 1);
2541 if (ret)
2542 return ret;
2543 }
2544 return 0;
2545}
2546
Filipe Manana0cbb5bd2020-09-08 11:27:24 +01002547static int btrfs_insert_replace_extent(struct btrfs_trans_handle *trans,
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002548 struct btrfs_inode *inode,
Filipe Manana690a5db2019-07-05 11:09:50 +01002549 struct btrfs_path *path,
Filipe Mananabf385642020-09-08 11:27:22 +01002550 struct btrfs_replace_extent_info *extent_info,
Filipe Manana2766ff62020-11-04 11:07:34 +00002551 const u64 replace_len,
2552 const u64 bytes_to_drop)
Filipe Manana690a5db2019-07-05 11:09:50 +01002553{
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002554 struct btrfs_fs_info *fs_info = trans->fs_info;
2555 struct btrfs_root *root = inode->root;
Filipe Manana690a5db2019-07-05 11:09:50 +01002556 struct btrfs_file_extent_item *extent;
2557 struct extent_buffer *leaf;
2558 struct btrfs_key key;
2559 int slot;
2560 struct btrfs_ref ref = { 0 };
Filipe Manana690a5db2019-07-05 11:09:50 +01002561 int ret;
2562
Filipe Mananabf385642020-09-08 11:27:22 +01002563 if (replace_len == 0)
Filipe Manana690a5db2019-07-05 11:09:50 +01002564 return 0;
2565
Filipe Mananabf385642020-09-08 11:27:22 +01002566 if (extent_info->disk_offset == 0 &&
Filipe Manana2766ff62020-11-04 11:07:34 +00002567 btrfs_fs_incompat(fs_info, NO_HOLES)) {
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002568 btrfs_update_inode_bytes(inode, 0, bytes_to_drop);
Filipe Manana690a5db2019-07-05 11:09:50 +01002569 return 0;
Filipe Manana2766ff62020-11-04 11:07:34 +00002570 }
Filipe Manana690a5db2019-07-05 11:09:50 +01002571
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002572 key.objectid = btrfs_ino(inode);
Filipe Manana690a5db2019-07-05 11:09:50 +01002573 key.type = BTRFS_EXTENT_DATA_KEY;
Filipe Mananabf385642020-09-08 11:27:22 +01002574 key.offset = extent_info->file_offset;
Filipe Manana690a5db2019-07-05 11:09:50 +01002575 ret = btrfs_insert_empty_item(trans, root, path, &key,
Filipe Mananafb870f62020-09-08 11:27:21 +01002576 sizeof(struct btrfs_file_extent_item));
Filipe Manana690a5db2019-07-05 11:09:50 +01002577 if (ret)
2578 return ret;
2579 leaf = path->nodes[0];
2580 slot = path->slots[0];
Filipe Mananabf385642020-09-08 11:27:22 +01002581 write_extent_buffer(leaf, extent_info->extent_buf,
Filipe Manana690a5db2019-07-05 11:09:50 +01002582 btrfs_item_ptr_offset(leaf, slot),
Filipe Mananafb870f62020-09-08 11:27:21 +01002583 sizeof(struct btrfs_file_extent_item));
Filipe Manana690a5db2019-07-05 11:09:50 +01002584 extent = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
Filipe Mananafb870f62020-09-08 11:27:21 +01002585 ASSERT(btrfs_file_extent_type(leaf, extent) != BTRFS_FILE_EXTENT_INLINE);
Filipe Mananabf385642020-09-08 11:27:22 +01002586 btrfs_set_file_extent_offset(leaf, extent, extent_info->data_offset);
2587 btrfs_set_file_extent_num_bytes(leaf, extent, replace_len);
2588 if (extent_info->is_new_extent)
Filipe Manana8fccebf2020-09-08 11:27:20 +01002589 btrfs_set_file_extent_generation(leaf, extent, trans->transid);
Filipe Manana690a5db2019-07-05 11:09:50 +01002590 btrfs_mark_buffer_dirty(leaf);
2591 btrfs_release_path(path);
2592
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002593 ret = btrfs_inode_set_file_extent_range(inode, extent_info->file_offset,
2594 replace_len);
Josef Bacik9ddc9592020-01-17 09:02:22 -05002595 if (ret)
2596 return ret;
2597
Filipe Manana690a5db2019-07-05 11:09:50 +01002598 /* If it's a hole, nothing more needs to be done. */
Filipe Manana2766ff62020-11-04 11:07:34 +00002599 if (extent_info->disk_offset == 0) {
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002600 btrfs_update_inode_bytes(inode, 0, bytes_to_drop);
Filipe Manana690a5db2019-07-05 11:09:50 +01002601 return 0;
Filipe Manana2766ff62020-11-04 11:07:34 +00002602 }
Filipe Manana690a5db2019-07-05 11:09:50 +01002603
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002604 btrfs_update_inode_bytes(inode, replace_len, bytes_to_drop);
Filipe Manana8fccebf2020-09-08 11:27:20 +01002605
Filipe Mananabf385642020-09-08 11:27:22 +01002606 if (extent_info->is_new_extent && extent_info->insertions == 0) {
2607 key.objectid = extent_info->disk_offset;
Filipe Manana8fccebf2020-09-08 11:27:20 +01002608 key.type = BTRFS_EXTENT_ITEM_KEY;
Filipe Mananabf385642020-09-08 11:27:22 +01002609 key.offset = extent_info->disk_len;
Filipe Manana8fccebf2020-09-08 11:27:20 +01002610 ret = btrfs_alloc_reserved_file_extent(trans, root,
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002611 btrfs_ino(inode),
Filipe Mananabf385642020-09-08 11:27:22 +01002612 extent_info->file_offset,
2613 extent_info->qgroup_reserved,
Filipe Manana8fccebf2020-09-08 11:27:20 +01002614 &key);
2615 } else {
2616 u64 ref_offset;
2617
2618 btrfs_init_generic_ref(&ref, BTRFS_ADD_DELAYED_REF,
Filipe Mananabf385642020-09-08 11:27:22 +01002619 extent_info->disk_offset,
2620 extent_info->disk_len, 0);
2621 ref_offset = extent_info->file_offset - extent_info->data_offset;
Filipe Manana8fccebf2020-09-08 11:27:20 +01002622 btrfs_init_data_ref(&ref, root->root_key.objectid,
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002623 btrfs_ino(inode), ref_offset);
Filipe Manana8fccebf2020-09-08 11:27:20 +01002624 ret = btrfs_inc_extent_ref(trans, &ref);
2625 }
2626
Filipe Mananabf385642020-09-08 11:27:22 +01002627 extent_info->insertions++;
Filipe Manana690a5db2019-07-05 11:09:50 +01002628
2629 return ret;
2630}
2631
Filipe Manana9cba40a2019-06-28 23:11:26 +01002632/*
2633 * The respective range must have been previously locked, as well as the inode.
2634 * The end offset is inclusive (last byte of the range).
Filipe Mananabf385642020-09-08 11:27:22 +01002635 * @extent_info is NULL for fallocate's hole punching and non-NULL when replacing
2636 * the file range with an extent.
2637 * When not punching a hole, we don't want to end up in a state where we dropped
2638 * extents without inserting a new one, so we must abort the transaction to avoid
2639 * a corruption.
Filipe Manana9cba40a2019-06-28 23:11:26 +01002640 */
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002641int btrfs_replace_file_extents(struct btrfs_inode *inode,
2642 struct btrfs_path *path, const u64 start,
2643 const u64 end,
2644 struct btrfs_replace_extent_info *extent_info,
2645 struct btrfs_trans_handle **trans_out)
Filipe Manana9cba40a2019-06-28 23:11:26 +01002646{
Filipe Manana5893dfb2020-11-04 11:07:32 +00002647 struct btrfs_drop_extents_args drop_args = { 0 };
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002648 struct btrfs_root *root = inode->root;
2649 struct btrfs_fs_info *fs_info = root->fs_info;
Josef Bacik2bd36e72019-08-22 15:14:33 -04002650 u64 min_size = btrfs_calc_insert_metadata_size(fs_info, 1);
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002651 u64 ino_size = round_up(inode->vfs_inode.i_size, fs_info->sectorsize);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002652 struct btrfs_trans_handle *trans = NULL;
2653 struct btrfs_block_rsv *rsv;
2654 unsigned int rsv_count;
2655 u64 cur_offset;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002656 u64 len = end - start;
2657 int ret = 0;
2658
2659 if (end <= start)
2660 return -EINVAL;
2661
2662 rsv = btrfs_alloc_block_rsv(fs_info, BTRFS_BLOCK_RSV_TEMP);
2663 if (!rsv) {
2664 ret = -ENOMEM;
2665 goto out;
2666 }
Josef Bacik2bd36e72019-08-22 15:14:33 -04002667 rsv->size = btrfs_calc_insert_metadata_size(fs_info, 1);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002668 rsv->failfast = 1;
2669
2670 /*
2671 * 1 - update the inode
2672 * 1 - removing the extents in the range
Filipe Mananabf385642020-09-08 11:27:22 +01002673 * 1 - adding the hole extent if no_holes isn't set or if we are
2674 * replacing the range with a new extent
Filipe Manana9cba40a2019-06-28 23:11:26 +01002675 */
Filipe Mananabf385642020-09-08 11:27:22 +01002676 if (!btrfs_fs_incompat(fs_info, NO_HOLES) || extent_info)
Filipe Manana690a5db2019-07-05 11:09:50 +01002677 rsv_count = 3;
2678 else
2679 rsv_count = 2;
2680
Filipe Manana9cba40a2019-06-28 23:11:26 +01002681 trans = btrfs_start_transaction(root, rsv_count);
2682 if (IS_ERR(trans)) {
2683 ret = PTR_ERR(trans);
2684 trans = NULL;
2685 goto out_free;
2686 }
2687
2688 ret = btrfs_block_rsv_migrate(&fs_info->trans_block_rsv, rsv,
2689 min_size, false);
2690 BUG_ON(ret);
2691 trans->block_rsv = rsv;
2692
2693 cur_offset = start;
Filipe Manana5893dfb2020-11-04 11:07:32 +00002694 drop_args.path = path;
2695 drop_args.end = end + 1;
2696 drop_args.drop_cache = true;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002697 while (cur_offset < end) {
Filipe Manana5893dfb2020-11-04 11:07:32 +00002698 drop_args.start = cur_offset;
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002699 ret = btrfs_drop_extents(trans, root, inode, &drop_args);
Filipe Manana2766ff62020-11-04 11:07:34 +00002700 /* If we are punching a hole decrement the inode's byte count */
2701 if (!extent_info)
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002702 btrfs_update_inode_bytes(inode, 0,
Filipe Manana2766ff62020-11-04 11:07:34 +00002703 drop_args.bytes_found);
Filipe Manana690a5db2019-07-05 11:09:50 +01002704 if (ret != -ENOSPC) {
2705 /*
Josef Bacik4afb9122021-10-05 16:35:27 -04002706 * The only time we don't want to abort is if we are
2707 * attempting to clone a partial inline extent, in which
2708 * case we'll get EOPNOTSUPP. However if we aren't
2709 * clone we need to abort no matter what, because if we
2710 * got EOPNOTSUPP via prealloc then we messed up and
2711 * need to abort.
Filipe Manana690a5db2019-07-05 11:09:50 +01002712 */
Josef Bacik4afb9122021-10-05 16:35:27 -04002713 if (ret &&
2714 (ret != -EOPNOTSUPP ||
2715 (extent_info && extent_info->is_new_extent)))
Filipe Manana690a5db2019-07-05 11:09:50 +01002716 btrfs_abort_transaction(trans, ret);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002717 break;
Filipe Manana690a5db2019-07-05 11:09:50 +01002718 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002719
2720 trans->block_rsv = &fs_info->trans_block_rsv;
2721
Filipe Manana5893dfb2020-11-04 11:07:32 +00002722 if (!extent_info && cur_offset < drop_args.drop_end &&
Filipe Manana690a5db2019-07-05 11:09:50 +01002723 cur_offset < ino_size) {
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002724 ret = fill_holes(trans, inode, path, cur_offset,
2725 drop_args.drop_end);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002726 if (ret) {
2727 /*
2728 * If we failed then we didn't insert our hole
2729 * entries for the area we dropped, so now the
2730 * fs is corrupted, so we must abort the
2731 * transaction.
2732 */
2733 btrfs_abort_transaction(trans, ret);
2734 break;
2735 }
Filipe Manana5893dfb2020-11-04 11:07:32 +00002736 } else if (!extent_info && cur_offset < drop_args.drop_end) {
Josef Bacik9ddc9592020-01-17 09:02:22 -05002737 /*
2738 * We are past the i_size here, but since we didn't
2739 * insert holes we need to clear the mapped area so we
2740 * know to not set disk_i_size in this area until a new
2741 * file extent is inserted here.
2742 */
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002743 ret = btrfs_inode_clear_file_extent_range(inode,
Filipe Manana5893dfb2020-11-04 11:07:32 +00002744 cur_offset,
2745 drop_args.drop_end - cur_offset);
Josef Bacik9ddc9592020-01-17 09:02:22 -05002746 if (ret) {
2747 /*
2748 * We couldn't clear our area, so we could
2749 * presumably adjust up and corrupt the fs, so
2750 * we need to abort.
2751 */
2752 btrfs_abort_transaction(trans, ret);
2753 break;
2754 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002755 }
2756
Filipe Manana5893dfb2020-11-04 11:07:32 +00002757 if (extent_info &&
2758 drop_args.drop_end > extent_info->file_offset) {
2759 u64 replace_len = drop_args.drop_end -
2760 extent_info->file_offset;
Filipe Manana690a5db2019-07-05 11:09:50 +01002761
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002762 ret = btrfs_insert_replace_extent(trans, inode, path,
2763 extent_info, replace_len,
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002764 drop_args.bytes_found);
Filipe Manana690a5db2019-07-05 11:09:50 +01002765 if (ret) {
2766 btrfs_abort_transaction(trans, ret);
2767 break;
2768 }
Filipe Mananabf385642020-09-08 11:27:22 +01002769 extent_info->data_len -= replace_len;
2770 extent_info->data_offset += replace_len;
2771 extent_info->file_offset += replace_len;
Filipe Manana690a5db2019-07-05 11:09:50 +01002772 }
2773
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002774 ret = btrfs_update_inode(trans, root, inode);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002775 if (ret)
2776 break;
2777
2778 btrfs_end_transaction(trans);
2779 btrfs_btree_balance_dirty(fs_info);
2780
2781 trans = btrfs_start_transaction(root, rsv_count);
2782 if (IS_ERR(trans)) {
2783 ret = PTR_ERR(trans);
2784 trans = NULL;
2785 break;
2786 }
2787
2788 ret = btrfs_block_rsv_migrate(&fs_info->trans_block_rsv,
2789 rsv, min_size, false);
2790 BUG_ON(ret); /* shouldn't happen */
2791 trans->block_rsv = rsv;
2792
BingJing Chang32277882021-03-25 09:56:22 +08002793 cur_offset = drop_args.drop_end;
2794 len = end - cur_offset;
2795 if (!extent_info && len) {
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002796 ret = find_first_non_hole(inode, &cur_offset, &len);
Filipe Manana690a5db2019-07-05 11:09:50 +01002797 if (unlikely(ret < 0))
2798 break;
2799 if (ret && !len) {
2800 ret = 0;
2801 break;
2802 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002803 }
2804 }
2805
Filipe Manana690a5db2019-07-05 11:09:50 +01002806 /*
2807 * If we were cloning, force the next fsync to be a full one since we
2808 * we replaced (or just dropped in the case of cloning holes when
Filipe Mananae2b84212021-03-26 13:14:41 +00002809 * NO_HOLES is enabled) file extent items and did not setup new extent
2810 * maps for the replacement extents (or holes).
Filipe Manana690a5db2019-07-05 11:09:50 +01002811 */
Filipe Mananabf385642020-09-08 11:27:22 +01002812 if (extent_info && !extent_info->is_new_extent)
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002813 set_bit(BTRFS_INODE_NEEDS_FULL_SYNC, &inode->runtime_flags);
Filipe Manana690a5db2019-07-05 11:09:50 +01002814
Filipe Manana9cba40a2019-06-28 23:11:26 +01002815 if (ret)
2816 goto out_trans;
2817
2818 trans->block_rsv = &fs_info->trans_block_rsv;
2819 /*
2820 * If we are using the NO_HOLES feature we might have had already an
2821 * hole that overlaps a part of the region [lockstart, lockend] and
2822 * ends at (or beyond) lockend. Since we have no file extent items to
2823 * represent holes, drop_end can be less than lockend and so we must
2824 * make sure we have an extent map representing the existing hole (the
2825 * call to __btrfs_drop_extents() might have dropped the existing extent
2826 * map representing the existing hole), otherwise the fast fsync path
2827 * will not record the existence of the hole region
2828 * [existing_hole_start, lockend].
2829 */
Filipe Manana5893dfb2020-11-04 11:07:32 +00002830 if (drop_args.drop_end <= end)
2831 drop_args.drop_end = end + 1;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002832 /*
2833 * Don't insert file hole extent item if it's for a range beyond eof
2834 * (because it's useless) or if it represents a 0 bytes range (when
2835 * cur_offset == drop_end).
2836 */
Filipe Manana5893dfb2020-11-04 11:07:32 +00002837 if (!extent_info && cur_offset < ino_size &&
2838 cur_offset < drop_args.drop_end) {
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002839 ret = fill_holes(trans, inode, path, cur_offset,
2840 drop_args.drop_end);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002841 if (ret) {
2842 /* Same comment as above. */
2843 btrfs_abort_transaction(trans, ret);
2844 goto out_trans;
2845 }
Filipe Manana5893dfb2020-11-04 11:07:32 +00002846 } else if (!extent_info && cur_offset < drop_args.drop_end) {
Josef Bacik9ddc9592020-01-17 09:02:22 -05002847 /* See the comment in the loop above for the reasoning here. */
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002848 ret = btrfs_inode_clear_file_extent_range(inode, cur_offset,
2849 drop_args.drop_end - cur_offset);
Josef Bacik9ddc9592020-01-17 09:02:22 -05002850 if (ret) {
2851 btrfs_abort_transaction(trans, ret);
2852 goto out_trans;
2853 }
2854
Filipe Manana9cba40a2019-06-28 23:11:26 +01002855 }
Filipe Mananabf385642020-09-08 11:27:22 +01002856 if (extent_info) {
Nikolay Borisovbfc78472021-02-17 15:12:47 +02002857 ret = btrfs_insert_replace_extent(trans, inode, path,
Nikolay Borisov03fcb1a2020-11-02 16:49:02 +02002858 extent_info, extent_info->data_len,
2859 drop_args.bytes_found);
Filipe Manana690a5db2019-07-05 11:09:50 +01002860 if (ret) {
2861 btrfs_abort_transaction(trans, ret);
2862 goto out_trans;
2863 }
2864 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002865
2866out_trans:
2867 if (!trans)
2868 goto out_free;
2869
2870 trans->block_rsv = &fs_info->trans_block_rsv;
2871 if (ret)
2872 btrfs_end_transaction(trans);
2873 else
2874 *trans_out = trans;
2875out_free:
2876 btrfs_free_block_rsv(fs_info, rsv);
2877out:
2878 return ret;
2879}
2880
Josef Bacik2aaa6652012-08-29 14:27:18 -04002881static int btrfs_punch_hole(struct inode *inode, loff_t offset, loff_t len)
2882{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002883 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002884 struct btrfs_root *root = BTRFS_I(inode)->root;
2885 struct extent_state *cached_state = NULL;
2886 struct btrfs_path *path;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002887 struct btrfs_trans_handle *trans = NULL;
Qu Wenruod7781542014-05-30 15:16:10 +08002888 u64 lockstart;
2889 u64 lockend;
2890 u64 tail_start;
2891 u64 tail_len;
2892 u64 orig_start = offset;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002893 int ret = 0;
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302894 bool same_block;
Filipe Mananaa1a50f62014-04-26 01:35:31 +01002895 u64 ino_size;
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302896 bool truncated_block = false;
Filipe Mananae8c1c762015-02-15 22:38:54 +00002897 bool updated_inode = false;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002898
Josef Bacik0ef8b722013-10-25 16:13:35 -04002899 ret = btrfs_wait_ordered_range(inode, offset, len);
2900 if (ret)
2901 return ret;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002902
Josef Bacik8d9b4a12021-02-10 17:14:36 -05002903 btrfs_inode_lock(inode, BTRFS_ILOCK_MMAP);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002904 ino_size = round_up(inode->i_size, fs_info->sectorsize);
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002905 ret = find_first_non_hole(BTRFS_I(inode), &offset, &len);
Qu Wenruod7781542014-05-30 15:16:10 +08002906 if (ret < 0)
2907 goto out_only_mutex;
2908 if (ret && !len) {
2909 /* Already in a large hole */
2910 ret = 0;
2911 goto out_only_mutex;
2912 }
2913
Nikolay Borisov6fee2482020-08-31 14:42:42 +03002914 lockstart = round_up(offset, btrfs_inode_sectorsize(BTRFS_I(inode)));
Qu Wenruod7781542014-05-30 15:16:10 +08002915 lockend = round_down(offset + len,
Nikolay Borisov6fee2482020-08-31 14:42:42 +03002916 btrfs_inode_sectorsize(BTRFS_I(inode))) - 1;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002917 same_block = (BTRFS_BYTES_TO_BLKS(fs_info, offset))
2918 == (BTRFS_BYTES_TO_BLKS(fs_info, offset + len - 1));
Miao Xie7426cc02012-12-05 10:54:52 +00002919 /*
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302920 * We needn't truncate any block which is beyond the end of the file
Miao Xie7426cc02012-12-05 10:54:52 +00002921 * because we are sure there is no data there.
2922 */
Josef Bacik2aaa6652012-08-29 14:27:18 -04002923 /*
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302924 * Only do this if we are in the same block and we aren't doing the
2925 * entire block.
Josef Bacik2aaa6652012-08-29 14:27:18 -04002926 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002927 if (same_block && len < fs_info->sectorsize) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002928 if (offset < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302929 truncated_block = true;
Nikolay Borisov217f42e2020-11-02 16:49:03 +02002930 ret = btrfs_truncate_block(BTRFS_I(inode), offset, len,
2931 0);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002932 } else {
2933 ret = 0;
2934 }
Qu Wenruod7781542014-05-30 15:16:10 +08002935 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002936 }
2937
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302938 /* zero back part of the first block */
Filipe Manana12870f12014-02-15 15:55:58 +00002939 if (offset < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302940 truncated_block = true;
Nikolay Borisov217f42e2020-11-02 16:49:03 +02002941 ret = btrfs_truncate_block(BTRFS_I(inode), offset, 0, 0);
Miao Xie7426cc02012-12-05 10:54:52 +00002942 if (ret) {
Josef Bacik8d9b4a12021-02-10 17:14:36 -05002943 btrfs_inode_unlock(inode, BTRFS_ILOCK_MMAP);
Miao Xie7426cc02012-12-05 10:54:52 +00002944 return ret;
2945 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002946 }
2947
Qu Wenruod7781542014-05-30 15:16:10 +08002948 /* Check the aligned pages after the first unaligned page,
2949 * if offset != orig_start, which means the first unaligned page
Nicholas D Steeves01327612016-05-19 21:18:45 -04002950 * including several following pages are already in holes,
Qu Wenruod7781542014-05-30 15:16:10 +08002951 * the extra check can be skipped */
2952 if (offset == orig_start) {
2953 /* after truncate page, check hole again */
2954 len = offset + len - lockstart;
2955 offset = lockstart;
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002956 ret = find_first_non_hole(BTRFS_I(inode), &offset, &len);
Qu Wenruod7781542014-05-30 15:16:10 +08002957 if (ret < 0)
2958 goto out_only_mutex;
2959 if (ret && !len) {
2960 ret = 0;
2961 goto out_only_mutex;
2962 }
2963 lockstart = offset;
2964 }
2965
2966 /* Check the tail unaligned part is in a hole */
2967 tail_start = lockend + 1;
2968 tail_len = offset + len - tail_start;
2969 if (tail_len) {
Nikolay Borisovdea46d82020-11-02 16:49:01 +02002970 ret = find_first_non_hole(BTRFS_I(inode), &tail_start, &tail_len);
Qu Wenruod7781542014-05-30 15:16:10 +08002971 if (unlikely(ret < 0))
2972 goto out_only_mutex;
2973 if (!ret) {
2974 /* zero the front end of the last page */
2975 if (tail_start + tail_len < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302976 truncated_block = true;
Nikolay Borisov217f42e2020-11-02 16:49:03 +02002977 ret = btrfs_truncate_block(BTRFS_I(inode),
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302978 tail_start + tail_len,
2979 0, 1);
Qu Wenruod7781542014-05-30 15:16:10 +08002980 if (ret)
2981 goto out_only_mutex;
Qu Wenruo51f395a2014-08-08 13:06:20 +08002982 }
Miao Xie00612802012-12-05 10:54:12 +00002983 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002984 }
2985
2986 if (lockend < lockstart) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002987 ret = 0;
2988 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002989 }
2990
Filipe Mananaf27451f2017-10-25 11:55:28 +01002991 ret = btrfs_punch_hole_lock_range(inode, lockstart, lockend,
2992 &cached_state);
Josef Bacik8fca9552019-05-03 11:10:06 -04002993 if (ret)
Filipe Mananaf27451f2017-10-25 11:55:28 +01002994 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002995
2996 path = btrfs_alloc_path();
2997 if (!path) {
2998 ret = -ENOMEM;
2999 goto out;
3000 }
3001
Nikolay Borisovbfc78472021-02-17 15:12:47 +02003002 ret = btrfs_replace_file_extents(BTRFS_I(inode), path, lockstart,
3003 lockend, NULL, &trans);
Filipe Manana9cba40a2019-06-28 23:11:26 +01003004 btrfs_free_path(path);
3005 if (ret)
3006 goto out;
Josef Bacik2aaa6652012-08-29 14:27:18 -04003007
Filipe Manana9cba40a2019-06-28 23:11:26 +01003008 ASSERT(trans != NULL);
Tsutomu Itohe1f57902012-11-08 04:47:33 +00003009 inode_inc_iversion(inode);
Deepa Dinamanic2050a42016-09-14 07:48:06 -07003010 inode->i_mtime = inode->i_ctime = current_time(inode);
Nikolay Borisov9a56fcd2020-11-02 16:48:59 +02003011 ret = btrfs_update_inode(trans, root, BTRFS_I(inode));
Filipe Mananae8c1c762015-02-15 22:38:54 +00003012 updated_inode = true;
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04003013 btrfs_end_transaction(trans);
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04003014 btrfs_btree_balance_dirty(fs_info);
Josef Bacik2aaa6652012-08-29 14:27:18 -04003015out:
3016 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart, lockend,
David Sterbae43bbe52017-12-12 21:43:52 +01003017 &cached_state);
Qu Wenruod7781542014-05-30 15:16:10 +08003018out_only_mutex:
Filipe Manana9cba40a2019-06-28 23:11:26 +01003019 if (!updated_inode && truncated_block && !ret) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00003020 /*
3021 * If we only end up zeroing part of a page, we still need to
3022 * update the inode item, so that all the time fields are
3023 * updated as well as the necessary btrfs inode in memory fields
3024 * for detecting, at fsync time, if the inode isn't yet in the
3025 * log tree or it's there but not up to date.
3026 */
Filipe Manana17900662019-06-19 13:05:50 +01003027 struct timespec64 now = current_time(inode);
3028
3029 inode_inc_iversion(inode);
3030 inode->i_mtime = now;
3031 inode->i_ctime = now;
Filipe Mananae8c1c762015-02-15 22:38:54 +00003032 trans = btrfs_start_transaction(root, 1);
3033 if (IS_ERR(trans)) {
Filipe Manana9cba40a2019-06-28 23:11:26 +01003034 ret = PTR_ERR(trans);
Filipe Mananae8c1c762015-02-15 22:38:54 +00003035 } else {
Filipe Manana9cba40a2019-06-28 23:11:26 +01003036 int ret2;
3037
Nikolay Borisov9a56fcd2020-11-02 16:48:59 +02003038 ret = btrfs_update_inode(trans, root, BTRFS_I(inode));
Filipe Manana9cba40a2019-06-28 23:11:26 +01003039 ret2 = btrfs_end_transaction(trans);
3040 if (!ret)
3041 ret = ret2;
Filipe Mananae8c1c762015-02-15 22:38:54 +00003042 }
3043 }
Josef Bacik8d9b4a12021-02-10 17:14:36 -05003044 btrfs_inode_unlock(inode, BTRFS_ILOCK_MMAP);
Filipe Manana9cba40a2019-06-28 23:11:26 +01003045 return ret;
Josef Bacik2aaa6652012-08-29 14:27:18 -04003046}
3047
Qu Wenruo14524a82015-09-08 17:22:44 +08003048/* Helper structure to record which range is already reserved */
3049struct falloc_range {
3050 struct list_head list;
3051 u64 start;
3052 u64 len;
3053};
3054
3055/*
3056 * Helper function to add falloc range
3057 *
3058 * Caller should have locked the larger range of extent containing
3059 * [start, len)
3060 */
3061static int add_falloc_range(struct list_head *head, u64 start, u64 len)
3062{
Qu Wenruo14524a82015-09-08 17:22:44 +08003063 struct falloc_range *range = NULL;
3064
Nikolay Borisov77d25532021-06-01 09:08:15 +03003065 if (!list_empty(head)) {
3066 /*
3067 * As fallocate iterates by bytenr order, we only need to check
3068 * the last range.
3069 */
3070 range = list_last_entry(head, struct falloc_range, list);
3071 if (range->start + range->len == start) {
3072 range->len += len;
3073 return 0;
3074 }
Qu Wenruo14524a82015-09-08 17:22:44 +08003075 }
Nikolay Borisov77d25532021-06-01 09:08:15 +03003076
David Sterba32fc9322016-02-11 14:25:38 +01003077 range = kmalloc(sizeof(*range), GFP_KERNEL);
Qu Wenruo14524a82015-09-08 17:22:44 +08003078 if (!range)
3079 return -ENOMEM;
3080 range->start = start;
3081 range->len = len;
3082 list_add_tail(&range->list, head);
3083 return 0;
3084}
3085
Filipe Mananaf27451f2017-10-25 11:55:28 +01003086static int btrfs_fallocate_update_isize(struct inode *inode,
3087 const u64 end,
3088 const int mode)
3089{
3090 struct btrfs_trans_handle *trans;
3091 struct btrfs_root *root = BTRFS_I(inode)->root;
3092 int ret;
3093 int ret2;
3094
3095 if (mode & FALLOC_FL_KEEP_SIZE || end <= i_size_read(inode))
3096 return 0;
3097
3098 trans = btrfs_start_transaction(root, 1);
3099 if (IS_ERR(trans))
3100 return PTR_ERR(trans);
3101
3102 inode->i_ctime = current_time(inode);
3103 i_size_write(inode, end);
Nikolay Borisov76aea532020-11-02 16:48:53 +02003104 btrfs_inode_safe_disk_i_size_write(BTRFS_I(inode), 0);
Nikolay Borisov9a56fcd2020-11-02 16:48:59 +02003105 ret = btrfs_update_inode(trans, root, BTRFS_I(inode));
Filipe Mananaf27451f2017-10-25 11:55:28 +01003106 ret2 = btrfs_end_transaction(trans);
3107
3108 return ret ? ret : ret2;
3109}
3110
Filipe Manana81fdf632018-01-18 11:34:31 +00003111enum {
David Sterbaf262fa82019-06-18 20:00:08 +02003112 RANGE_BOUNDARY_WRITTEN_EXTENT,
3113 RANGE_BOUNDARY_PREALLOC_EXTENT,
3114 RANGE_BOUNDARY_HOLE,
Filipe Manana81fdf632018-01-18 11:34:31 +00003115};
3116
Nikolay Borisov948dfeb2020-08-31 14:42:48 +03003117static int btrfs_zero_range_check_range_boundary(struct btrfs_inode *inode,
Filipe Mananaf27451f2017-10-25 11:55:28 +01003118 u64 offset)
3119{
Nikolay Borisov948dfeb2020-08-31 14:42:48 +03003120 const u64 sectorsize = btrfs_inode_sectorsize(inode);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003121 struct extent_map *em;
Filipe Manana81fdf632018-01-18 11:34:31 +00003122 int ret;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003123
3124 offset = round_down(offset, sectorsize);
Nikolay Borisov948dfeb2020-08-31 14:42:48 +03003125 em = btrfs_get_extent(inode, NULL, 0, offset, sectorsize);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003126 if (IS_ERR(em))
3127 return PTR_ERR(em);
3128
3129 if (em->block_start == EXTENT_MAP_HOLE)
Filipe Manana81fdf632018-01-18 11:34:31 +00003130 ret = RANGE_BOUNDARY_HOLE;
3131 else if (test_bit(EXTENT_FLAG_PREALLOC, &em->flags))
3132 ret = RANGE_BOUNDARY_PREALLOC_EXTENT;
3133 else
3134 ret = RANGE_BOUNDARY_WRITTEN_EXTENT;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003135
3136 free_extent_map(em);
3137 return ret;
3138}
3139
3140static int btrfs_zero_range(struct inode *inode,
3141 loff_t offset,
3142 loff_t len,
3143 const int mode)
3144{
3145 struct btrfs_fs_info *fs_info = BTRFS_I(inode)->root->fs_info;
3146 struct extent_map *em;
3147 struct extent_changeset *data_reserved = NULL;
3148 int ret;
3149 u64 alloc_hint = 0;
Nikolay Borisov6fee2482020-08-31 14:42:42 +03003150 const u64 sectorsize = btrfs_inode_sectorsize(BTRFS_I(inode));
Filipe Mananaf27451f2017-10-25 11:55:28 +01003151 u64 alloc_start = round_down(offset, sectorsize);
3152 u64 alloc_end = round_up(offset + len, sectorsize);
3153 u64 bytes_to_reserve = 0;
3154 bool space_reserved = false;
3155
3156 inode_dio_wait(inode);
3157
Omar Sandoval39b07b52019-12-02 17:34:23 -08003158 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0, alloc_start,
3159 alloc_end - alloc_start);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003160 if (IS_ERR(em)) {
3161 ret = PTR_ERR(em);
3162 goto out;
3163 }
3164
3165 /*
3166 * Avoid hole punching and extent allocation for some cases. More cases
3167 * could be considered, but these are unlikely common and we keep things
3168 * as simple as possible for now. Also, intentionally, if the target
3169 * range contains one or more prealloc extents together with regular
3170 * extents and holes, we drop all the existing extents and allocate a
3171 * new prealloc extent, so that we get a larger contiguous disk extent.
3172 */
3173 if (em->start <= alloc_start &&
3174 test_bit(EXTENT_FLAG_PREALLOC, &em->flags)) {
3175 const u64 em_end = em->start + em->len;
3176
3177 if (em_end >= offset + len) {
3178 /*
3179 * The whole range is already a prealloc extent,
3180 * do nothing except updating the inode's i_size if
3181 * needed.
3182 */
3183 free_extent_map(em);
3184 ret = btrfs_fallocate_update_isize(inode, offset + len,
3185 mode);
3186 goto out;
3187 }
3188 /*
3189 * Part of the range is already a prealloc extent, so operate
3190 * only on the remaining part of the range.
3191 */
3192 alloc_start = em_end;
3193 ASSERT(IS_ALIGNED(alloc_start, sectorsize));
3194 len = offset + len - alloc_start;
3195 offset = alloc_start;
3196 alloc_hint = em->block_start + em->len;
3197 }
3198 free_extent_map(em);
3199
3200 if (BTRFS_BYTES_TO_BLKS(fs_info, offset) ==
3201 BTRFS_BYTES_TO_BLKS(fs_info, offset + len - 1)) {
Omar Sandoval39b07b52019-12-02 17:34:23 -08003202 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0, alloc_start,
3203 sectorsize);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003204 if (IS_ERR(em)) {
3205 ret = PTR_ERR(em);
3206 goto out;
3207 }
3208
3209 if (test_bit(EXTENT_FLAG_PREALLOC, &em->flags)) {
3210 free_extent_map(em);
3211 ret = btrfs_fallocate_update_isize(inode, offset + len,
3212 mode);
3213 goto out;
3214 }
3215 if (len < sectorsize && em->block_start != EXTENT_MAP_HOLE) {
3216 free_extent_map(em);
Nikolay Borisov217f42e2020-11-02 16:49:03 +02003217 ret = btrfs_truncate_block(BTRFS_I(inode), offset, len,
3218 0);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003219 if (!ret)
3220 ret = btrfs_fallocate_update_isize(inode,
3221 offset + len,
3222 mode);
3223 return ret;
3224 }
3225 free_extent_map(em);
3226 alloc_start = round_down(offset, sectorsize);
3227 alloc_end = alloc_start + sectorsize;
3228 goto reserve_space;
3229 }
3230
3231 alloc_start = round_up(offset, sectorsize);
3232 alloc_end = round_down(offset + len, sectorsize);
3233
3234 /*
3235 * For unaligned ranges, check the pages at the boundaries, they might
3236 * map to an extent, in which case we need to partially zero them, or
3237 * they might map to a hole, in which case we need our allocation range
3238 * to cover them.
3239 */
3240 if (!IS_ALIGNED(offset, sectorsize)) {
Nikolay Borisov948dfeb2020-08-31 14:42:48 +03003241 ret = btrfs_zero_range_check_range_boundary(BTRFS_I(inode),
3242 offset);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003243 if (ret < 0)
3244 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003245 if (ret == RANGE_BOUNDARY_HOLE) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003246 alloc_start = round_down(offset, sectorsize);
3247 ret = 0;
Filipe Manana81fdf632018-01-18 11:34:31 +00003248 } else if (ret == RANGE_BOUNDARY_WRITTEN_EXTENT) {
Nikolay Borisov217f42e2020-11-02 16:49:03 +02003249 ret = btrfs_truncate_block(BTRFS_I(inode), offset, 0, 0);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003250 if (ret)
3251 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003252 } else {
3253 ret = 0;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003254 }
3255 }
3256
3257 if (!IS_ALIGNED(offset + len, sectorsize)) {
Nikolay Borisov948dfeb2020-08-31 14:42:48 +03003258 ret = btrfs_zero_range_check_range_boundary(BTRFS_I(inode),
Filipe Mananaf27451f2017-10-25 11:55:28 +01003259 offset + len);
3260 if (ret < 0)
3261 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003262 if (ret == RANGE_BOUNDARY_HOLE) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003263 alloc_end = round_up(offset + len, sectorsize);
3264 ret = 0;
Filipe Manana81fdf632018-01-18 11:34:31 +00003265 } else if (ret == RANGE_BOUNDARY_WRITTEN_EXTENT) {
Nikolay Borisov217f42e2020-11-02 16:49:03 +02003266 ret = btrfs_truncate_block(BTRFS_I(inode), offset + len,
3267 0, 1);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003268 if (ret)
3269 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003270 } else {
3271 ret = 0;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003272 }
3273 }
3274
3275reserve_space:
3276 if (alloc_start < alloc_end) {
3277 struct extent_state *cached_state = NULL;
3278 const u64 lockstart = alloc_start;
3279 const u64 lockend = alloc_end - 1;
3280
3281 bytes_to_reserve = alloc_end - alloc_start;
3282 ret = btrfs_alloc_data_chunk_ondemand(BTRFS_I(inode),
3283 bytes_to_reserve);
3284 if (ret < 0)
3285 goto out;
3286 space_reserved = true;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003287 ret = btrfs_punch_hole_lock_range(inode, lockstart, lockend,
3288 &cached_state);
3289 if (ret)
3290 goto out;
Nikolay Borisov7661a3e2020-06-03 08:55:37 +03003291 ret = btrfs_qgroup_reserve_data(BTRFS_I(inode), &data_reserved,
Qu Wenruoa7f8b1c2020-06-10 09:04:42 +08003292 alloc_start, bytes_to_reserve);
Nikolay Borisov4f6a49d2021-02-23 15:20:42 +02003293 if (ret) {
3294 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart,
3295 lockend, &cached_state);
Qu Wenruoa7f8b1c2020-06-10 09:04:42 +08003296 goto out;
Nikolay Borisov4f6a49d2021-02-23 15:20:42 +02003297 }
Filipe Mananaf27451f2017-10-25 11:55:28 +01003298 ret = btrfs_prealloc_file_range(inode, mode, alloc_start,
3299 alloc_end - alloc_start,
3300 i_blocksize(inode),
3301 offset + len, &alloc_hint);
3302 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart,
3303 lockend, &cached_state);
3304 /* btrfs_prealloc_file_range releases reserved space on error */
Filipe Manana9f13ce72018-01-18 11:34:20 +00003305 if (ret) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003306 space_reserved = false;
Filipe Manana9f13ce72018-01-18 11:34:20 +00003307 goto out;
3308 }
Filipe Mananaf27451f2017-10-25 11:55:28 +01003309 }
Filipe Manana9f13ce72018-01-18 11:34:20 +00003310 ret = btrfs_fallocate_update_isize(inode, offset + len, mode);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003311 out:
3312 if (ret && space_reserved)
Nikolay Borisov25ce28c2020-06-03 08:55:39 +03003313 btrfs_free_reserved_data_space(BTRFS_I(inode), data_reserved,
Filipe Mananaf27451f2017-10-25 11:55:28 +01003314 alloc_start, bytes_to_reserve);
3315 extent_changeset_free(data_reserved);
3316
3317 return ret;
3318}
3319
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003320static long btrfs_fallocate(struct file *file, int mode,
3321 loff_t offset, loff_t len)
3322{
Al Viro496ad9a2013-01-23 17:07:38 -05003323 struct inode *inode = file_inode(file);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003324 struct extent_state *cached_state = NULL;
Qu Wenruo364ecf32017-02-27 15:10:38 +08003325 struct extent_changeset *data_reserved = NULL;
Qu Wenruo14524a82015-09-08 17:22:44 +08003326 struct falloc_range *range;
3327 struct falloc_range *tmp;
3328 struct list_head reserve_list;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003329 u64 cur_offset;
3330 u64 last_byte;
3331 u64 alloc_start;
3332 u64 alloc_end;
3333 u64 alloc_hint = 0;
3334 u64 locked_end;
Qu Wenruo14524a82015-09-08 17:22:44 +08003335 u64 actual_end = 0;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003336 struct extent_map *em;
Nikolay Borisov6fee2482020-08-31 14:42:42 +03003337 int blocksize = btrfs_inode_sectorsize(BTRFS_I(inode));
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003338 int ret;
3339
Naohiro Aotaf1569c42020-11-10 20:26:12 +09003340 /* Do not allow fallocate in ZONED mode */
3341 if (btrfs_is_zoned(btrfs_sb(inode->i_sb)))
3342 return -EOPNOTSUPP;
3343
Miao Xie797f4272012-11-28 10:28:07 +00003344 alloc_start = round_down(offset, blocksize);
3345 alloc_end = round_up(offset + len, blocksize);
Wang Xiaoguang18513092016-07-25 15:51:40 +08003346 cur_offset = alloc_start;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003347
Josef Bacik2aaa6652012-08-29 14:27:18 -04003348 /* Make sure we aren't being give some crap mode */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003349 if (mode & ~(FALLOC_FL_KEEP_SIZE | FALLOC_FL_PUNCH_HOLE |
3350 FALLOC_FL_ZERO_RANGE))
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003351 return -EOPNOTSUPP;
3352
Josef Bacik2aaa6652012-08-29 14:27:18 -04003353 if (mode & FALLOC_FL_PUNCH_HOLE)
3354 return btrfs_punch_hole(inode, offset, len);
3355
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003356 /*
Qu Wenruo14524a82015-09-08 17:22:44 +08003357 * Only trigger disk allocation, don't trigger qgroup reserve
3358 *
3359 * For qgroup space, it will be checked later.
Chris Masond98456f2012-01-31 20:27:41 -05003360 */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003361 if (!(mode & FALLOC_FL_ZERO_RANGE)) {
3362 ret = btrfs_alloc_data_chunk_ondemand(BTRFS_I(inode),
3363 alloc_end - alloc_start);
3364 if (ret < 0)
3365 return ret;
3366 }
Chris Masond98456f2012-01-31 20:27:41 -05003367
Josef Bacik8d9b4a12021-02-10 17:14:36 -05003368 btrfs_inode_lock(inode, BTRFS_ILOCK_MMAP);
Davide Italiano2a162ce2015-04-06 22:09:15 -07003369
3370 if (!(mode & FALLOC_FL_KEEP_SIZE) && offset + len > inode->i_size) {
3371 ret = inode_newsize_ok(inode, offset + len);
3372 if (ret)
3373 goto out;
3374 }
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003375
Qu Wenruo14524a82015-09-08 17:22:44 +08003376 /*
3377 * TODO: Move these two operations after we have checked
3378 * accurate reserved space, or fallocate can still fail but
3379 * with page truncated or size expanded.
3380 *
3381 * But that's a minor problem and won't do much harm BTW.
3382 */
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003383 if (alloc_start > inode->i_size) {
Nikolay Borisovb06359a32020-11-02 16:49:04 +02003384 ret = btrfs_cont_expand(BTRFS_I(inode), i_size_read(inode),
Josef Bacika41ad392011-01-31 15:30:16 -05003385 alloc_start);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003386 if (ret)
3387 goto out;
Qu Wenruo0f6925f2015-10-14 15:26:13 +08003388 } else if (offset + len > inode->i_size) {
Josef Bacika71754f2013-06-17 17:14:39 -04003389 /*
3390 * If we are fallocating from the end of the file onward we
Chandan Rajendra9703fef2016-01-21 15:55:56 +05303391 * need to zero out the end of the block if i_size lands in the
3392 * middle of a block.
Josef Bacika71754f2013-06-17 17:14:39 -04003393 */
Nikolay Borisov217f42e2020-11-02 16:49:03 +02003394 ret = btrfs_truncate_block(BTRFS_I(inode), inode->i_size, 0, 0);
Josef Bacika71754f2013-06-17 17:14:39 -04003395 if (ret)
3396 goto out;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003397 }
3398
Josef Bacika71754f2013-06-17 17:14:39 -04003399 /*
3400 * wait for ordered IO before we have any locks. We'll loop again
3401 * below with the locks held.
3402 */
Josef Bacik0ef8b722013-10-25 16:13:35 -04003403 ret = btrfs_wait_ordered_range(inode, alloc_start,
3404 alloc_end - alloc_start);
3405 if (ret)
3406 goto out;
Josef Bacika71754f2013-06-17 17:14:39 -04003407
Filipe Mananaf27451f2017-10-25 11:55:28 +01003408 if (mode & FALLOC_FL_ZERO_RANGE) {
3409 ret = btrfs_zero_range(inode, offset, len, mode);
Josef Bacik8d9b4a12021-02-10 17:14:36 -05003410 btrfs_inode_unlock(inode, BTRFS_ILOCK_MMAP);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003411 return ret;
3412 }
3413
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003414 locked_end = alloc_end - 1;
3415 while (1) {
3416 struct btrfs_ordered_extent *ordered;
3417
3418 /* the extent lock is ordered inside the running
3419 * transaction
3420 */
3421 lock_extent_bits(&BTRFS_I(inode)->io_tree, alloc_start,
David Sterbaff13db42015-12-03 14:30:40 +01003422 locked_end, &cached_state);
Nikolay Borisov6d072c82020-08-31 14:42:39 +03003423 ordered = btrfs_lookup_first_ordered_extent(BTRFS_I(inode),
3424 locked_end);
Nikolay Borisov96b09dd2017-11-01 11:36:05 +02003425
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003426 if (ordered &&
Omar Sandovalbffe6332019-12-02 17:34:19 -08003427 ordered->file_offset + ordered->num_bytes > alloc_start &&
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003428 ordered->file_offset < alloc_end) {
3429 btrfs_put_ordered_extent(ordered);
3430 unlock_extent_cached(&BTRFS_I(inode)->io_tree,
3431 alloc_start, locked_end,
David Sterbae43bbe52017-12-12 21:43:52 +01003432 &cached_state);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003433 /*
3434 * we can't wait on the range with the transaction
3435 * running or with the extent lock held
3436 */
Josef Bacik0ef8b722013-10-25 16:13:35 -04003437 ret = btrfs_wait_ordered_range(inode, alloc_start,
3438 alloc_end - alloc_start);
3439 if (ret)
3440 goto out;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003441 } else {
3442 if (ordered)
3443 btrfs_put_ordered_extent(ordered);
3444 break;
3445 }
3446 }
3447
Qu Wenruo14524a82015-09-08 17:22:44 +08003448 /* First, check if we exceed the qgroup limit */
3449 INIT_LIST_HEAD(&reserve_list);
Nikolay Borisov6b7d6e92017-11-01 11:32:18 +02003450 while (cur_offset < alloc_end) {
Nikolay Borisovfc4f21b12017-02-20 13:51:06 +02003451 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0, cur_offset,
Omar Sandoval39b07b52019-12-02 17:34:23 -08003452 alloc_end - cur_offset);
Dan Carpenter99862772017-04-11 11:57:15 +03003453 if (IS_ERR(em)) {
3454 ret = PTR_ERR(em);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01003455 break;
3456 }
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003457 last_byte = min(extent_map_end(em), alloc_end);
Josef Bacikf1e490a2011-08-18 10:36:39 -04003458 actual_end = min_t(u64, extent_map_end(em), offset + len);
Miao Xie797f4272012-11-28 10:28:07 +00003459 last_byte = ALIGN(last_byte, blocksize);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003460 if (em->block_start == EXTENT_MAP_HOLE ||
3461 (cur_offset >= inode->i_size &&
3462 !test_bit(EXTENT_FLAG_PREALLOC, &em->flags))) {
Qu Wenruo14524a82015-09-08 17:22:44 +08003463 ret = add_falloc_range(&reserve_list, cur_offset,
3464 last_byte - cur_offset);
3465 if (ret < 0) {
3466 free_extent_map(em);
3467 break;
Filipe Manana3d850dd2015-03-12 23:23:13 +00003468 }
Nikolay Borisov7661a3e2020-06-03 08:55:37 +03003469 ret = btrfs_qgroup_reserve_data(BTRFS_I(inode),
3470 &data_reserved, cur_offset,
3471 last_byte - cur_offset);
Filipe Mananabe2d2532017-04-03 15:57:17 +01003472 if (ret < 0) {
Robbie Ko39ad3172019-03-26 11:56:11 +08003473 cur_offset = last_byte;
Filipe Mananabe2d2532017-04-03 15:57:17 +01003474 free_extent_map(em);
Qu Wenruo14524a82015-09-08 17:22:44 +08003475 break;
Filipe Mananabe2d2532017-04-03 15:57:17 +01003476 }
Wang Xiaoguang18513092016-07-25 15:51:40 +08003477 } else {
3478 /*
3479 * Do not need to reserve unwritten extent for this
3480 * range, free reserved data space first, otherwise
3481 * it'll result in false ENOSPC error.
3482 */
Nikolay Borisov25ce28c2020-06-03 08:55:39 +03003483 btrfs_free_reserved_data_space(BTRFS_I(inode),
3484 data_reserved, cur_offset,
3485 last_byte - cur_offset);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003486 }
3487 free_extent_map(em);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003488 cur_offset = last_byte;
Qu Wenruo14524a82015-09-08 17:22:44 +08003489 }
3490
3491 /*
3492 * If ret is still 0, means we're OK to fallocate.
3493 * Or just cleanup the list and exit.
3494 */
3495 list_for_each_entry_safe(range, tmp, &reserve_list, list) {
3496 if (!ret)
3497 ret = btrfs_prealloc_file_range(inode, mode,
3498 range->start,
Fabian Frederick93407472017-02-27 14:28:32 -08003499 range->len, i_blocksize(inode),
Qu Wenruo14524a82015-09-08 17:22:44 +08003500 offset + len, &alloc_hint);
Wang Xiaoguang18513092016-07-25 15:51:40 +08003501 else
Nikolay Borisov25ce28c2020-06-03 08:55:39 +03003502 btrfs_free_reserved_data_space(BTRFS_I(inode),
Qu Wenruobc42bda2017-02-27 15:10:39 +08003503 data_reserved, range->start,
3504 range->len);
Qu Wenruo14524a82015-09-08 17:22:44 +08003505 list_del(&range->list);
3506 kfree(range);
3507 }
3508 if (ret < 0)
3509 goto out_unlock;
3510
Filipe Mananaf27451f2017-10-25 11:55:28 +01003511 /*
3512 * We didn't need to allocate any more space, but we still extended the
3513 * size of the file so we need to update i_size and the inode item.
3514 */
3515 ret = btrfs_fallocate_update_isize(inode, actual_end, mode);
Qu Wenruo14524a82015-09-08 17:22:44 +08003516out_unlock:
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003517 unlock_extent_cached(&BTRFS_I(inode)->io_tree, alloc_start, locked_end,
David Sterbae43bbe52017-12-12 21:43:52 +01003518 &cached_state);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003519out:
Josef Bacik8d9b4a12021-02-10 17:14:36 -05003520 btrfs_inode_unlock(inode, BTRFS_ILOCK_MMAP);
Chris Masond98456f2012-01-31 20:27:41 -05003521 /* Let go of our reservation. */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003522 if (ret != 0 && !(mode & FALLOC_FL_ZERO_RANGE))
Nikolay Borisov25ce28c2020-06-03 08:55:39 +03003523 btrfs_free_reserved_data_space(BTRFS_I(inode), data_reserved,
Robbie Ko39ad3172019-03-26 11:56:11 +08003524 cur_offset, alloc_end - cur_offset);
Qu Wenruo364ecf32017-02-27 15:10:38 +08003525 extent_changeset_free(data_reserved);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003526 return ret;
3527}
3528
Nikolay Borisovcca5de92021-02-17 15:12:48 +02003529static loff_t find_desired_extent(struct btrfs_inode *inode, loff_t offset,
Nikolay Borisovbc802302019-09-27 13:23:18 +03003530 int whence)
Josef Bacikb2675152011-07-18 13:21:36 -04003531{
Nikolay Borisovcca5de92021-02-17 15:12:48 +02003532 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Josef Bacik7f4ca372013-10-18 11:44:46 -04003533 struct extent_map *em = NULL;
Josef Bacikb2675152011-07-18 13:21:36 -04003534 struct extent_state *cached_state = NULL;
Nikolay Borisovcca5de92021-02-17 15:12:48 +02003535 loff_t i_size = inode->vfs_inode.i_size;
Liu Bo4d1a40c2014-09-16 17:49:30 +08003536 u64 lockstart;
3537 u64 lockend;
3538 u64 start;
3539 u64 len;
Josef Bacikb2675152011-07-18 13:21:36 -04003540 int ret = 0;
3541
Nikolay Borisovbc802302019-09-27 13:23:18 +03003542 if (i_size == 0 || offset >= i_size)
Josef Bacikb2675152011-07-18 13:21:36 -04003543 return -ENXIO;
3544
Liu Bo4d1a40c2014-09-16 17:49:30 +08003545 /*
Nikolay Borisovbc802302019-09-27 13:23:18 +03003546 * offset can be negative, in this case we start finding DATA/HOLE from
Liu Bo4d1a40c2014-09-16 17:49:30 +08003547 * the very start of the file.
3548 */
Nikolay Borisovbc802302019-09-27 13:23:18 +03003549 start = max_t(loff_t, 0, offset);
Liu Bo4d1a40c2014-09-16 17:49:30 +08003550
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003551 lockstart = round_down(start, fs_info->sectorsize);
Nikolay Borisovd79b7c22019-09-27 13:23:16 +03003552 lockend = round_up(i_size, fs_info->sectorsize);
Liu Bo4d1a40c2014-09-16 17:49:30 +08003553 if (lockend <= lockstart)
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003554 lockend = lockstart + fs_info->sectorsize;
Liu Bo4d1a40c2014-09-16 17:49:30 +08003555 lockend--;
3556 len = lockend - lockstart + 1;
3557
Nikolay Borisovcca5de92021-02-17 15:12:48 +02003558 lock_extent_bits(&inode->io_tree, lockstart, lockend, &cached_state);
Josef Bacikb2675152011-07-18 13:21:36 -04003559
Nikolay Borisovd79b7c22019-09-27 13:23:16 +03003560 while (start < i_size) {
Nikolay Borisovcca5de92021-02-17 15:12:48 +02003561 em = btrfs_get_extent_fiemap(inode, start, len);
Josef Bacikb2675152011-07-18 13:21:36 -04003562 if (IS_ERR(em)) {
Jeff Liu6af021d2012-02-09 14:25:50 +08003563 ret = PTR_ERR(em);
Josef Bacik7f4ca372013-10-18 11:44:46 -04003564 em = NULL;
Josef Bacikb2675152011-07-18 13:21:36 -04003565 break;
3566 }
3567
Josef Bacik7f4ca372013-10-18 11:44:46 -04003568 if (whence == SEEK_HOLE &&
3569 (em->block_start == EXTENT_MAP_HOLE ||
3570 test_bit(EXTENT_FLAG_PREALLOC, &em->flags)))
3571 break;
3572 else if (whence == SEEK_DATA &&
3573 (em->block_start != EXTENT_MAP_HOLE &&
3574 !test_bit(EXTENT_FLAG_PREALLOC, &em->flags)))
3575 break;
Josef Bacikb2675152011-07-18 13:21:36 -04003576
3577 start = em->start + em->len;
Josef Bacikb2675152011-07-18 13:21:36 -04003578 free_extent_map(em);
Josef Bacik7f4ca372013-10-18 11:44:46 -04003579 em = NULL;
Josef Bacikb2675152011-07-18 13:21:36 -04003580 cond_resched();
3581 }
Josef Bacik7f4ca372013-10-18 11:44:46 -04003582 free_extent_map(em);
Nikolay Borisovcca5de92021-02-17 15:12:48 +02003583 unlock_extent_cached(&inode->io_tree, lockstart, lockend,
David Sterbae43bbe52017-12-12 21:43:52 +01003584 &cached_state);
Nikolay Borisovbc802302019-09-27 13:23:18 +03003585 if (ret) {
3586 offset = ret;
3587 } else {
3588 if (whence == SEEK_DATA && start >= i_size)
3589 offset = -ENXIO;
3590 else
3591 offset = min_t(loff_t, start, i_size);
3592 }
3593
3594 return offset;
Josef Bacikb2675152011-07-18 13:21:36 -04003595}
3596
Andrew Morton965c8e52012-12-17 15:59:39 -08003597static loff_t btrfs_file_llseek(struct file *file, loff_t offset, int whence)
Josef Bacikb2675152011-07-18 13:21:36 -04003598{
3599 struct inode *inode = file->f_mapping->host;
Josef Bacikb2675152011-07-18 13:21:36 -04003600
Andrew Morton965c8e52012-12-17 15:59:39 -08003601 switch (whence) {
Nikolay Borisov2034f3b2019-09-27 13:23:17 +03003602 default:
3603 return generic_file_llseek(file, offset, whence);
Josef Bacikb2675152011-07-18 13:21:36 -04003604 case SEEK_DATA:
3605 case SEEK_HOLE:
Goldwyn Rodriguesa14b78a2020-09-24 11:39:16 -05003606 btrfs_inode_lock(inode, BTRFS_ILOCK_SHARED);
Nikolay Borisovcca5de92021-02-17 15:12:48 +02003607 offset = find_desired_extent(BTRFS_I(inode), offset, whence);
Goldwyn Rodriguesa14b78a2020-09-24 11:39:16 -05003608 btrfs_inode_unlock(inode, BTRFS_ILOCK_SHARED);
Nikolay Borisovbc802302019-09-27 13:23:18 +03003609 break;
Josef Bacikb2675152011-07-18 13:21:36 -04003610 }
3611
Nikolay Borisovbc802302019-09-27 13:23:18 +03003612 if (offset < 0)
3613 return offset;
3614
Nikolay Borisov2034f3b2019-09-27 13:23:17 +03003615 return vfs_setpos(file, offset, inode->i_sb->s_maxbytes);
Josef Bacikb2675152011-07-18 13:21:36 -04003616}
3617
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003618static int btrfs_file_open(struct inode *inode, struct file *filp)
3619{
Boris Burkov14605402021-06-30 13:01:49 -07003620 int ret;
3621
Jens Axboe8730f122020-05-22 10:19:22 -06003622 filp->f_mode |= FMODE_NOWAIT | FMODE_BUF_RASYNC;
Boris Burkov14605402021-06-30 13:01:49 -07003623
3624 ret = fsverity_file_open(inode, filp);
3625 if (ret)
3626 return ret;
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003627 return generic_file_open(inode, filp);
3628}
3629
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003630static int check_direct_read(struct btrfs_fs_info *fs_info,
3631 const struct iov_iter *iter, loff_t offset)
3632{
3633 int ret;
3634 int i, seg;
3635
3636 ret = check_direct_IO(fs_info, iter, offset);
3637 if (ret < 0)
3638 return ret;
3639
3640 if (!iter_is_iovec(iter))
3641 return 0;
3642
3643 for (seg = 0; seg < iter->nr_segs; seg++)
3644 for (i = seg + 1; i < iter->nr_segs; i++)
3645 if (iter->iov[seg].iov_base == iter->iov[i].iov_base)
3646 return -EINVAL;
3647 return 0;
3648}
3649
3650static ssize_t btrfs_direct_read(struct kiocb *iocb, struct iov_iter *to)
3651{
3652 struct inode *inode = file_inode(iocb->ki_filp);
3653 ssize_t ret;
3654
Boris Burkov14605402021-06-30 13:01:49 -07003655 if (fsverity_active(inode))
3656 return 0;
3657
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003658 if (check_direct_read(btrfs_sb(inode->i_sb), to, iocb->ki_pos))
3659 return 0;
3660
Goldwyn Rodriguesa14b78a2020-09-24 11:39:16 -05003661 btrfs_inode_lock(inode, BTRFS_ILOCK_SHARED);
Christoph Hellwig2f632962021-01-23 10:06:09 -08003662 ret = iomap_dio_rw(iocb, to, &btrfs_dio_iomap_ops, &btrfs_dio_ops, 0);
Goldwyn Rodriguesa14b78a2020-09-24 11:39:16 -05003663 btrfs_inode_unlock(inode, BTRFS_ILOCK_SHARED);
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003664 return ret;
3665}
3666
Goldwyn Rodriguesf85781f2020-08-17 11:18:21 -05003667static ssize_t btrfs_file_read_iter(struct kiocb *iocb, struct iov_iter *to)
3668{
3669 ssize_t ret = 0;
3670
3671 if (iocb->ki_flags & IOCB_DIRECT) {
Goldwyn Rodrigues4e4cabe2020-09-24 11:39:12 -05003672 ret = btrfs_direct_read(iocb, to);
Johannes Thumshirn0425e7b2020-10-22 23:05:05 +09003673 if (ret < 0 || !iov_iter_count(to) ||
3674 iocb->ki_pos >= i_size_read(file_inode(iocb->ki_filp)))
Goldwyn Rodriguesf85781f2020-08-17 11:18:21 -05003675 return ret;
3676 }
3677
Christoph Hellwig87fa0f32021-02-24 12:02:42 -08003678 return filemap_read(iocb, to, ret);
Goldwyn Rodriguesf85781f2020-08-17 11:18:21 -05003679}
3680
Alexey Dobriyan828c0952009-10-01 15:43:56 -07003681const struct file_operations btrfs_file_operations = {
Josef Bacikb2675152011-07-18 13:21:36 -04003682 .llseek = btrfs_file_llseek,
Goldwyn Rodriguesf85781f2020-08-17 11:18:21 -05003683 .read_iter = btrfs_file_read_iter,
Chris Masone9906a92007-12-14 12:56:58 -05003684 .splice_read = generic_file_splice_read,
Al Virob30ac0f2014-04-03 14:29:04 -04003685 .write_iter = btrfs_file_write_iter,
Christoph Hellwigd7776592020-07-09 18:22:06 +02003686 .splice_write = iter_file_splice_write,
Chris Mason9ebefb182007-06-15 13:50:00 -04003687 .mmap = btrfs_file_mmap,
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003688 .open = btrfs_file_open,
Mingminge1b81e62008-05-27 10:55:43 -04003689 .release = btrfs_release_file,
Chris Mason39279cc2007-06-12 06:35:45 -04003690 .fsync = btrfs_sync_file,
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003691 .fallocate = btrfs_fallocate,
Christoph Hellwig34287aa2007-09-14 10:22:47 -04003692 .unlocked_ioctl = btrfs_ioctl,
Chris Mason39279cc2007-06-12 06:35:45 -04003693#ifdef CONFIG_COMPAT
Luke Dashjr4c63c242015-10-29 08:22:21 +00003694 .compat_ioctl = btrfs_compat_ioctl,
Chris Mason39279cc2007-06-12 06:35:45 -04003695#endif
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11003696 .remap_file_range = btrfs_remap_file_range,
Chris Mason39279cc2007-06-12 06:35:45 -04003697};
Miao Xie9247f312012-11-26 09:24:43 +00003698
David Sterbae67c7182018-02-19 17:24:18 +01003699void __cold btrfs_auto_defrag_exit(void)
Miao Xie9247f312012-11-26 09:24:43 +00003700{
Kinglong Mee5598e902016-01-29 21:36:35 +08003701 kmem_cache_destroy(btrfs_inode_defrag_cachep);
Miao Xie9247f312012-11-26 09:24:43 +00003702}
3703
Liu Bof5c29bd2017-11-02 17:21:50 -06003704int __init btrfs_auto_defrag_init(void)
Miao Xie9247f312012-11-26 09:24:43 +00003705{
3706 btrfs_inode_defrag_cachep = kmem_cache_create("btrfs_inode_defrag",
3707 sizeof(struct inode_defrag), 0,
Nikolay Borisovfba4b692016-06-23 21:17:08 +03003708 SLAB_MEM_SPREAD,
Miao Xie9247f312012-11-26 09:24:43 +00003709 NULL);
3710 if (!btrfs_inode_defrag_cachep)
3711 return -ENOMEM;
3712
3713 return 0;
3714}
Filipe Manana728404d2014-10-10 09:43:11 +01003715
3716int btrfs_fdatawrite_range(struct inode *inode, loff_t start, loff_t end)
3717{
3718 int ret;
3719
3720 /*
3721 * So with compression we will find and lock a dirty page and clear the
3722 * first one as dirty, setup an async extent, and immediately return
3723 * with the entire range locked but with nobody actually marked with
3724 * writeback. So we can't just filemap_write_and_wait_range() and
3725 * expect it to work since it will just kick off a thread to do the
3726 * actual work. So we need to call filemap_fdatawrite_range _again_
3727 * since it will wait on the page lock, which won't be unlocked until
3728 * after the pages have been marked as writeback and so we're good to go
3729 * from there. We have to do this otherwise we'll miss the ordered
3730 * extents and that results in badness. Please Josef, do not think you
3731 * know better and pull this out at some point in the future, it is
3732 * right and you are wrong.
3733 */
3734 ret = filemap_fdatawrite_range(inode->i_mapping, start, end);
3735 if (!ret && test_bit(BTRFS_INODE_HAS_ASYNC_EXTENT,
3736 &BTRFS_I(inode)->runtime_flags))
3737 ret = filemap_fdatawrite_range(inode->i_mapping, start, end);
3738
3739 return ret;
3740}