blob: 91c98a6d1408b8ecccacbdb622a872820b603ddc [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>
Chris Mason39279cc2007-06-12 06:35:45 -040019#include "ctree.h"
20#include "disk-io.h"
21#include "transaction.h"
22#include "btrfs_inode.h"
Chris Mason39279cc2007-06-12 06:35:45 -040023#include "print-tree.h"
Chris Masone02119d2008-09-05 16:13:11 -040024#include "tree-log.h"
25#include "locking.h"
Josef Bacik2aaa6652012-08-29 14:27:18 -040026#include "volumes.h"
Josef Bacikfcebe452014-05-13 17:30:47 -070027#include "qgroup.h"
Anand Jainebb87652016-03-10 17:26:59 +080028#include "compression.h"
Josef Bacik86736342019-06-19 15:12:00 -040029#include "delalloc-space.h"
Chris Mason39279cc2007-06-12 06:35:45 -040030
Miao Xie9247f312012-11-26 09:24:43 +000031static struct kmem_cache *btrfs_inode_defrag_cachep;
Chris Mason4cb53002011-05-24 15:35:30 -040032/*
33 * when auto defrag is enabled we
34 * queue up these defrag structs to remember which
35 * inodes need defragging passes
36 */
37struct inode_defrag {
38 struct rb_node rb_node;
39 /* objectid */
40 u64 ino;
41 /*
42 * transid where the defrag was added, we search for
43 * extents newer than this
44 */
45 u64 transid;
46
47 /* root objectid */
48 u64 root;
49
50 /* last offset we were able to defrag */
51 u64 last_offset;
52
53 /* if we've wrapped around back to zero once already */
54 int cycled;
55};
56
Miao Xie762f2262012-05-24 18:58:27 +080057static int __compare_inode_defrag(struct inode_defrag *defrag1,
58 struct inode_defrag *defrag2)
59{
60 if (defrag1->root > defrag2->root)
61 return 1;
62 else if (defrag1->root < defrag2->root)
63 return -1;
64 else if (defrag1->ino > defrag2->ino)
65 return 1;
66 else if (defrag1->ino < defrag2->ino)
67 return -1;
68 else
69 return 0;
70}
71
Chris Mason4cb53002011-05-24 15:35:30 -040072/* pop a record for an inode into the defrag tree. The lock
73 * must be held already
74 *
75 * If you're inserting a record for an older transid than an
76 * existing record, the transid already in the tree is lowered
77 *
78 * If an existing record is found the defrag item you
79 * pass in is freed
80 */
Nikolay Borisov6158e1c2017-02-20 13:50:43 +020081static int __btrfs_add_inode_defrag(struct btrfs_inode *inode,
Chris Mason4cb53002011-05-24 15:35:30 -040082 struct inode_defrag *defrag)
83{
David Sterba3ffbd682018-06-29 10:56:42 +020084 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Chris Mason4cb53002011-05-24 15:35:30 -040085 struct inode_defrag *entry;
86 struct rb_node **p;
87 struct rb_node *parent = NULL;
Miao Xie762f2262012-05-24 18:58:27 +080088 int ret;
Chris Mason4cb53002011-05-24 15:35:30 -040089
Jeff Mahoney0b246af2016-06-22 18:54:23 -040090 p = &fs_info->defrag_inodes.rb_node;
Chris Mason4cb53002011-05-24 15:35:30 -040091 while (*p) {
92 parent = *p;
93 entry = rb_entry(parent, struct inode_defrag, rb_node);
94
Miao Xie762f2262012-05-24 18:58:27 +080095 ret = __compare_inode_defrag(defrag, entry);
96 if (ret < 0)
Chris Mason4cb53002011-05-24 15:35:30 -040097 p = &parent->rb_left;
Miao Xie762f2262012-05-24 18:58:27 +080098 else if (ret > 0)
Chris Mason4cb53002011-05-24 15:35:30 -040099 p = &parent->rb_right;
100 else {
101 /* if we're reinserting an entry for
102 * an old defrag run, make sure to
103 * lower the transid of our existing record
104 */
105 if (defrag->transid < entry->transid)
106 entry->transid = defrag->transid;
107 if (defrag->last_offset > entry->last_offset)
108 entry->last_offset = defrag->last_offset;
Miao Xie8ddc4732012-11-26 09:25:38 +0000109 return -EEXIST;
Chris Mason4cb53002011-05-24 15:35:30 -0400110 }
111 }
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200112 set_bit(BTRFS_INODE_IN_DEFRAG, &inode->runtime_flags);
Chris Mason4cb53002011-05-24 15:35:30 -0400113 rb_link_node(&defrag->rb_node, parent, p);
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400114 rb_insert_color(&defrag->rb_node, &fs_info->defrag_inodes);
Miao Xie8ddc4732012-11-26 09:25:38 +0000115 return 0;
116}
Chris Mason4cb53002011-05-24 15:35:30 -0400117
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400118static inline int __need_auto_defrag(struct btrfs_fs_info *fs_info)
Miao Xie8ddc4732012-11-26 09:25:38 +0000119{
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400120 if (!btrfs_test_opt(fs_info, AUTO_DEFRAG))
Miao Xie8ddc4732012-11-26 09:25:38 +0000121 return 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400122
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400123 if (btrfs_fs_closing(fs_info))
Miao Xie8ddc4732012-11-26 09:25:38 +0000124 return 0;
125
126 return 1;
Chris Mason4cb53002011-05-24 15:35:30 -0400127}
128
129/*
130 * insert a defrag record for this inode if auto defrag is
131 * enabled
132 */
133int btrfs_add_inode_defrag(struct btrfs_trans_handle *trans,
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200134 struct btrfs_inode *inode)
Chris Mason4cb53002011-05-24 15:35:30 -0400135{
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200136 struct btrfs_root *root = inode->root;
David Sterba3ffbd682018-06-29 10:56:42 +0200137 struct btrfs_fs_info *fs_info = root->fs_info;
Chris Mason4cb53002011-05-24 15:35:30 -0400138 struct inode_defrag *defrag;
Chris Mason4cb53002011-05-24 15:35:30 -0400139 u64 transid;
Miao Xie8ddc4732012-11-26 09:25:38 +0000140 int ret;
Chris Mason4cb53002011-05-24 15:35:30 -0400141
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400142 if (!__need_auto_defrag(fs_info))
Chris Mason4cb53002011-05-24 15:35:30 -0400143 return 0;
144
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200145 if (test_bit(BTRFS_INODE_IN_DEFRAG, &inode->runtime_flags))
Chris Mason4cb53002011-05-24 15:35:30 -0400146 return 0;
147
148 if (trans)
149 transid = trans->transid;
150 else
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200151 transid = inode->root->last_trans;
Chris Mason4cb53002011-05-24 15:35:30 -0400152
Miao Xie9247f312012-11-26 09:24:43 +0000153 defrag = kmem_cache_zalloc(btrfs_inode_defrag_cachep, GFP_NOFS);
Chris Mason4cb53002011-05-24 15:35:30 -0400154 if (!defrag)
155 return -ENOMEM;
156
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200157 defrag->ino = btrfs_ino(inode);
Chris Mason4cb53002011-05-24 15:35:30 -0400158 defrag->transid = transid;
159 defrag->root = root->root_key.objectid;
160
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400161 spin_lock(&fs_info->defrag_inodes_lock);
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200162 if (!test_bit(BTRFS_INODE_IN_DEFRAG, &inode->runtime_flags)) {
Miao Xie8ddc4732012-11-26 09:25:38 +0000163 /*
164 * If we set IN_DEFRAG flag and evict the inode from memory,
165 * and then re-read this inode, this new inode doesn't have
166 * IN_DEFRAG flag. At the case, we may find the existed defrag.
167 */
168 ret = __btrfs_add_inode_defrag(inode, defrag);
169 if (ret)
170 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
171 } else {
Miao Xie9247f312012-11-26 09:24:43 +0000172 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
Miao Xie8ddc4732012-11-26 09:25:38 +0000173 }
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400174 spin_unlock(&fs_info->defrag_inodes_lock);
Wanlong Gaoa0f98dd2011-07-18 12:19:35 +0000175 return 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400176}
177
178/*
Miao Xie8ddc4732012-11-26 09:25:38 +0000179 * Requeue the defrag object. If there is a defrag object that points to
180 * the same inode in the tree, we will merge them together (by
181 * __btrfs_add_inode_defrag()) and free the one that we want to requeue.
Chris Mason4cb53002011-05-24 15:35:30 -0400182 */
Nikolay Borisov46e59792017-02-20 13:50:44 +0200183static void btrfs_requeue_inode_defrag(struct btrfs_inode *inode,
Eric Sandeen48a3b632013-04-25 20:41:01 +0000184 struct inode_defrag *defrag)
Miao Xie8ddc4732012-11-26 09:25:38 +0000185{
David Sterba3ffbd682018-06-29 10:56:42 +0200186 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Miao Xie8ddc4732012-11-26 09:25:38 +0000187 int ret;
188
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400189 if (!__need_auto_defrag(fs_info))
Miao Xie8ddc4732012-11-26 09:25:38 +0000190 goto out;
191
192 /*
193 * Here we don't check the IN_DEFRAG flag, because we need merge
194 * them together.
195 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400196 spin_lock(&fs_info->defrag_inodes_lock);
Miao Xie8ddc4732012-11-26 09:25:38 +0000197 ret = __btrfs_add_inode_defrag(inode, defrag);
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400198 spin_unlock(&fs_info->defrag_inodes_lock);
Miao Xie8ddc4732012-11-26 09:25:38 +0000199 if (ret)
200 goto out;
201 return;
202out:
203 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
204}
205
206/*
Miao Xie26176e72012-11-26 09:26:20 +0000207 * pick the defragable inode that we want, if it doesn't exist, we will get
208 * the next one.
Chris Mason4cb53002011-05-24 15:35:30 -0400209 */
Miao Xie26176e72012-11-26 09:26:20 +0000210static struct inode_defrag *
211btrfs_pick_defrag_inode(struct btrfs_fs_info *fs_info, u64 root, u64 ino)
Chris Mason4cb53002011-05-24 15:35:30 -0400212{
213 struct inode_defrag *entry = NULL;
Miao Xie762f2262012-05-24 18:58:27 +0800214 struct inode_defrag tmp;
Chris Mason4cb53002011-05-24 15:35:30 -0400215 struct rb_node *p;
216 struct rb_node *parent = NULL;
Miao Xie762f2262012-05-24 18:58:27 +0800217 int ret;
218
219 tmp.ino = ino;
220 tmp.root = root;
Chris Mason4cb53002011-05-24 15:35:30 -0400221
Miao Xie26176e72012-11-26 09:26:20 +0000222 spin_lock(&fs_info->defrag_inodes_lock);
223 p = fs_info->defrag_inodes.rb_node;
Chris Mason4cb53002011-05-24 15:35:30 -0400224 while (p) {
225 parent = p;
226 entry = rb_entry(parent, struct inode_defrag, rb_node);
227
Miao Xie762f2262012-05-24 18:58:27 +0800228 ret = __compare_inode_defrag(&tmp, entry);
229 if (ret < 0)
Chris Mason4cb53002011-05-24 15:35:30 -0400230 p = parent->rb_left;
Miao Xie762f2262012-05-24 18:58:27 +0800231 else if (ret > 0)
Chris Mason4cb53002011-05-24 15:35:30 -0400232 p = parent->rb_right;
233 else
Miao Xie26176e72012-11-26 09:26:20 +0000234 goto out;
Chris Mason4cb53002011-05-24 15:35:30 -0400235 }
236
Miao Xie26176e72012-11-26 09:26:20 +0000237 if (parent && __compare_inode_defrag(&tmp, entry) > 0) {
238 parent = rb_next(parent);
239 if (parent)
Chris Mason4cb53002011-05-24 15:35:30 -0400240 entry = rb_entry(parent, struct inode_defrag, rb_node);
Miao Xie26176e72012-11-26 09:26:20 +0000241 else
242 entry = NULL;
Chris Mason4cb53002011-05-24 15:35:30 -0400243 }
Miao Xie26176e72012-11-26 09:26:20 +0000244out:
245 if (entry)
246 rb_erase(parent, &fs_info->defrag_inodes);
247 spin_unlock(&fs_info->defrag_inodes_lock);
248 return entry;
249}
250
251void btrfs_cleanup_defrag_inodes(struct btrfs_fs_info *fs_info)
252{
253 struct inode_defrag *defrag;
254 struct rb_node *node;
255
256 spin_lock(&fs_info->defrag_inodes_lock);
257 node = rb_first(&fs_info->defrag_inodes);
258 while (node) {
259 rb_erase(node, &fs_info->defrag_inodes);
260 defrag = rb_entry(node, struct inode_defrag, rb_node);
261 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
262
David Sterba351810c2015-01-08 15:20:54 +0100263 cond_resched_lock(&fs_info->defrag_inodes_lock);
Miao Xie26176e72012-11-26 09:26:20 +0000264
265 node = rb_first(&fs_info->defrag_inodes);
266 }
267 spin_unlock(&fs_info->defrag_inodes_lock);
268}
269
270#define BTRFS_DEFRAG_BATCH 1024
271
272static int __btrfs_run_defrag_inode(struct btrfs_fs_info *fs_info,
273 struct inode_defrag *defrag)
274{
275 struct btrfs_root *inode_root;
276 struct inode *inode;
277 struct btrfs_key key;
278 struct btrfs_ioctl_defrag_range_args range;
279 int num_defrag;
Liu Bo6f1c3602013-01-29 03:22:10 +0000280 int index;
281 int ret;
Miao Xie26176e72012-11-26 09:26:20 +0000282
283 /* get the inode */
284 key.objectid = defrag->root;
David Sterba962a2982014-06-04 18:41:45 +0200285 key.type = BTRFS_ROOT_ITEM_KEY;
Miao Xie26176e72012-11-26 09:26:20 +0000286 key.offset = (u64)-1;
Liu Bo6f1c3602013-01-29 03:22:10 +0000287
288 index = srcu_read_lock(&fs_info->subvol_srcu);
289
Miao Xie26176e72012-11-26 09:26:20 +0000290 inode_root = btrfs_read_fs_root_no_name(fs_info, &key);
291 if (IS_ERR(inode_root)) {
Liu Bo6f1c3602013-01-29 03:22:10 +0000292 ret = PTR_ERR(inode_root);
293 goto cleanup;
294 }
Miao Xie26176e72012-11-26 09:26:20 +0000295
296 key.objectid = defrag->ino;
David Sterba962a2982014-06-04 18:41:45 +0200297 key.type = BTRFS_INODE_ITEM_KEY;
Miao Xie26176e72012-11-26 09:26:20 +0000298 key.offset = 0;
David Sterba4c66e0d2019-10-03 19:09:35 +0200299 inode = btrfs_iget(fs_info->sb, &key, inode_root);
Miao Xie26176e72012-11-26 09:26:20 +0000300 if (IS_ERR(inode)) {
Liu Bo6f1c3602013-01-29 03:22:10 +0000301 ret = PTR_ERR(inode);
302 goto cleanup;
Miao Xie26176e72012-11-26 09:26:20 +0000303 }
Liu Bo6f1c3602013-01-29 03:22:10 +0000304 srcu_read_unlock(&fs_info->subvol_srcu, index);
Miao Xie26176e72012-11-26 09:26:20 +0000305
306 /* do a chunk of defrag */
307 clear_bit(BTRFS_INODE_IN_DEFRAG, &BTRFS_I(inode)->runtime_flags);
308 memset(&range, 0, sizeof(range));
309 range.len = (u64)-1;
310 range.start = defrag->last_offset;
Miao Xieb66f00d2012-11-26 09:27:29 +0000311
312 sb_start_write(fs_info->sb);
Miao Xie26176e72012-11-26 09:26:20 +0000313 num_defrag = btrfs_defrag_file(inode, NULL, &range, defrag->transid,
314 BTRFS_DEFRAG_BATCH);
Miao Xieb66f00d2012-11-26 09:27:29 +0000315 sb_end_write(fs_info->sb);
Miao Xie26176e72012-11-26 09:26:20 +0000316 /*
317 * if we filled the whole defrag batch, there
318 * must be more work to do. Queue this defrag
319 * again
320 */
321 if (num_defrag == BTRFS_DEFRAG_BATCH) {
322 defrag->last_offset = range.start;
Nikolay Borisov46e59792017-02-20 13:50:44 +0200323 btrfs_requeue_inode_defrag(BTRFS_I(inode), defrag);
Miao Xie26176e72012-11-26 09:26:20 +0000324 } else if (defrag->last_offset && !defrag->cycled) {
325 /*
326 * we didn't fill our defrag batch, but
327 * we didn't start at zero. Make sure we loop
328 * around to the start of the file.
329 */
330 defrag->last_offset = 0;
331 defrag->cycled = 1;
Nikolay Borisov46e59792017-02-20 13:50:44 +0200332 btrfs_requeue_inode_defrag(BTRFS_I(inode), defrag);
Miao Xie26176e72012-11-26 09:26:20 +0000333 } else {
334 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
335 }
336
337 iput(inode);
338 return 0;
Liu Bo6f1c3602013-01-29 03:22:10 +0000339cleanup:
340 srcu_read_unlock(&fs_info->subvol_srcu, index);
341 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
342 return ret;
Chris Mason4cb53002011-05-24 15:35:30 -0400343}
344
345/*
346 * run through the list of inodes in the FS that need
347 * defragging
348 */
349int btrfs_run_defrag_inodes(struct btrfs_fs_info *fs_info)
350{
351 struct inode_defrag *defrag;
Chris Mason4cb53002011-05-24 15:35:30 -0400352 u64 first_ino = 0;
Miao Xie762f2262012-05-24 18:58:27 +0800353 u64 root_objectid = 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400354
355 atomic_inc(&fs_info->defrag_running);
Dulshani Gunawardhana67871252013-10-31 10:33:04 +0530356 while (1) {
Miao Xiedc81cdc2013-02-20 23:32:52 -0700357 /* Pause the auto defragger. */
358 if (test_bit(BTRFS_FS_STATE_REMOUNTING,
359 &fs_info->fs_state))
360 break;
361
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400362 if (!__need_auto_defrag(fs_info))
Miao Xie26176e72012-11-26 09:26:20 +0000363 break;
Chris Mason4cb53002011-05-24 15:35:30 -0400364
365 /* find an inode to defrag */
Miao Xie26176e72012-11-26 09:26:20 +0000366 defrag = btrfs_pick_defrag_inode(fs_info, root_objectid,
367 first_ino);
Chris Mason4cb53002011-05-24 15:35:30 -0400368 if (!defrag) {
Miao Xie26176e72012-11-26 09:26:20 +0000369 if (root_objectid || first_ino) {
Miao Xie762f2262012-05-24 18:58:27 +0800370 root_objectid = 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400371 first_ino = 0;
372 continue;
373 } else {
374 break;
375 }
376 }
377
Chris Mason4cb53002011-05-24 15:35:30 -0400378 first_ino = defrag->ino + 1;
Miao Xie762f2262012-05-24 18:58:27 +0800379 root_objectid = defrag->root;
Chris Mason4cb53002011-05-24 15:35:30 -0400380
Miao Xie26176e72012-11-26 09:26:20 +0000381 __btrfs_run_defrag_inode(fs_info, defrag);
Chris Mason4cb53002011-05-24 15:35:30 -0400382 }
Chris Mason4cb53002011-05-24 15:35:30 -0400383 atomic_dec(&fs_info->defrag_running);
384
385 /*
386 * during unmount, we use the transaction_wait queue to
387 * wait for the defragger to stop
388 */
389 wake_up(&fs_info->transaction_wait);
390 return 0;
391}
Chris Mason39279cc2007-06-12 06:35:45 -0400392
Chris Masond352ac62008-09-29 15:18:18 -0400393/* simple helper to fault in pages and copy. This should go away
394 * and be replaced with calls into generic code.
395 */
Zhao Leiee22f0c2016-01-06 18:47:31 +0800396static noinline int btrfs_copy_from_user(loff_t pos, size_t write_bytes,
Chris Masona1b32a52008-09-05 16:09:51 -0400397 struct page **prepared_pages,
Josef Bacik11c65dc2010-05-23 11:07:21 -0400398 struct iov_iter *i)
Chris Mason39279cc2007-06-12 06:35:45 -0400399{
Xin Zhong914ee292010-12-09 09:30:14 +0000400 size_t copied = 0;
Josef Bacikd0215f32011-01-25 14:57:24 -0500401 size_t total_copied = 0;
Josef Bacik11c65dc2010-05-23 11:07:21 -0400402 int pg = 0;
Johannes Thumshirn70730172018-12-05 15:23:03 +0100403 int offset = offset_in_page(pos);
Chris Mason39279cc2007-06-12 06:35:45 -0400404
Josef Bacik11c65dc2010-05-23 11:07:21 -0400405 while (write_bytes > 0) {
Chris Mason39279cc2007-06-12 06:35:45 -0400406 size_t count = min_t(size_t,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300407 PAGE_SIZE - offset, write_bytes);
Josef Bacik11c65dc2010-05-23 11:07:21 -0400408 struct page *page = prepared_pages[pg];
Xin Zhong914ee292010-12-09 09:30:14 +0000409 /*
410 * Copy data from userspace to the current page
Xin Zhong914ee292010-12-09 09:30:14 +0000411 */
Xin Zhong914ee292010-12-09 09:30:14 +0000412 copied = iov_iter_copy_from_user_atomic(page, i, offset, count);
Josef Bacik11c65dc2010-05-23 11:07:21 -0400413
Chris Mason39279cc2007-06-12 06:35:45 -0400414 /* Flush processor's dcache for this page */
415 flush_dcache_page(page);
Chris Mason31339ac2011-03-07 11:10:24 -0500416
417 /*
418 * if we get a partial write, we can end up with
419 * partially up to date pages. These add
420 * a lot of complexity, so make sure they don't
421 * happen by forcing this copy to be retried.
422 *
423 * The rest of the btrfs_file_write code will fall
424 * back to page at a time copies after we return 0.
425 */
426 if (!PageUptodate(page) && copied < count)
427 copied = 0;
428
Josef Bacik11c65dc2010-05-23 11:07:21 -0400429 iov_iter_advance(i, copied);
430 write_bytes -= copied;
Xin Zhong914ee292010-12-09 09:30:14 +0000431 total_copied += copied;
Chris Mason39279cc2007-06-12 06:35:45 -0400432
Al Virob30ac0f2014-04-03 14:29:04 -0400433 /* Return to btrfs_file_write_iter to fault page */
Josef Bacik9f570b82011-01-25 12:42:37 -0500434 if (unlikely(copied == 0))
Xin Zhong914ee292010-12-09 09:30:14 +0000435 break;
Josef Bacik11c65dc2010-05-23 11:07:21 -0400436
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300437 if (copied < PAGE_SIZE - offset) {
Josef Bacik11c65dc2010-05-23 11:07:21 -0400438 offset += copied;
439 } else {
440 pg++;
441 offset = 0;
442 }
Chris Mason39279cc2007-06-12 06:35:45 -0400443 }
Xin Zhong914ee292010-12-09 09:30:14 +0000444 return total_copied;
Chris Mason39279cc2007-06-12 06:35:45 -0400445}
446
Chris Masond352ac62008-09-29 15:18:18 -0400447/*
448 * unlocks pages after btrfs_file_write is done with them
449 */
Eric Sandeen48a3b632013-04-25 20:41:01 +0000450static void btrfs_drop_pages(struct page **pages, size_t num_pages)
Chris Mason39279cc2007-06-12 06:35:45 -0400451{
452 size_t i;
453 for (i = 0; i < num_pages; i++) {
Chris Masond352ac62008-09-29 15:18:18 -0400454 /* page checked is some magic around finding pages that
455 * have been modified without going through btrfs_set_page_dirty
Mel Gorman2457aec2014-06-04 16:10:31 -0700456 * clear it here. There should be no need to mark the pages
457 * accessed as prepare_pages should have marked them accessed
458 * in prepare_pages via find_or_create_page()
Chris Masond352ac62008-09-29 15:18:18 -0400459 */
Chris Mason4a096752008-07-21 10:29:44 -0400460 ClearPageChecked(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -0400461 unlock_page(pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300462 put_page(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -0400463 }
464}
465
Filipe Mananaf48bf662017-11-03 22:26:44 +0000466static int btrfs_find_new_delalloc_bytes(struct btrfs_inode *inode,
467 const u64 start,
468 const u64 len,
469 struct extent_state **cached_state)
470{
471 u64 search_start = start;
472 const u64 end = start + len - 1;
473
474 while (search_start < end) {
475 const u64 search_len = end - search_start + 1;
476 struct extent_map *em;
477 u64 em_len;
478 int ret = 0;
479
480 em = btrfs_get_extent(inode, NULL, 0, search_start,
481 search_len, 0);
482 if (IS_ERR(em))
483 return PTR_ERR(em);
484
485 if (em->block_start != EXTENT_MAP_HOLE)
486 goto next;
487
488 em_len = em->len;
489 if (em->start < search_start)
490 em_len -= search_start - em->start;
491 if (em_len > search_len)
492 em_len = search_len;
493
494 ret = set_extent_bit(&inode->io_tree, search_start,
495 search_start + em_len - 1,
496 EXTENT_DELALLOC_NEW,
497 NULL, cached_state, GFP_NOFS);
498next:
499 search_start = extent_map_end(em);
500 free_extent_map(em);
501 if (ret)
502 return ret;
503 }
504 return 0;
505}
506
Chris Masond352ac62008-09-29 15:18:18 -0400507/*
508 * after copy_from_user, pages need to be dirtied and we need to make
509 * sure holes are created between the current EOF and the start of
510 * any next extents (if required).
511 *
512 * this also makes the decision about creating an inline extent vs
513 * doing real data extents, marking pages dirty and delalloc as required.
514 */
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400515int btrfs_dirty_pages(struct inode *inode, struct page **pages,
516 size_t num_pages, loff_t pos, size_t write_bytes,
517 struct extent_state **cached)
Chris Mason39279cc2007-06-12 06:35:45 -0400518{
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400519 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Chris Mason39279cc2007-06-12 06:35:45 -0400520 int err = 0;
Chris Masona52d9a82007-08-27 16:49:44 -0400521 int i;
Chris Masondb945352007-10-15 16:15:53 -0400522 u64 num_bytes;
Chris Masona52d9a82007-08-27 16:49:44 -0400523 u64 start_pos;
524 u64 end_of_last_block;
525 u64 end_pos = pos + write_bytes;
526 loff_t isize = i_size_read(inode);
Filipe Mananae3b8a482017-11-04 00:16:59 +0000527 unsigned int extra_bits = 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400528
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400529 start_pos = pos & ~((u64) fs_info->sectorsize - 1);
Jeff Mahoneyda170662016-06-15 09:22:56 -0400530 num_bytes = round_up(write_bytes + pos - start_pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400531 fs_info->sectorsize);
Chris Mason39279cc2007-06-12 06:35:45 -0400532
Chris Masondb945352007-10-15 16:15:53 -0400533 end_of_last_block = start_pos + num_bytes - 1;
Filipe Mananae3b8a482017-11-04 00:16:59 +0000534
Chris Mason7703bdd2018-06-20 07:56:11 -0700535 /*
536 * The pages may have already been dirty, clear out old accounting so
537 * we can set things up properly
538 */
539 clear_extent_bit(&BTRFS_I(inode)->io_tree, start_pos, end_of_last_block,
Omar Sandovale1821632019-08-15 14:04:04 -0700540 EXTENT_DELALLOC | EXTENT_DO_ACCOUNTING | EXTENT_DEFRAG,
541 0, 0, cached);
Chris Mason7703bdd2018-06-20 07:56:11 -0700542
Filipe Mananae3b8a482017-11-04 00:16:59 +0000543 if (!btrfs_is_free_space_inode(BTRFS_I(inode))) {
544 if (start_pos >= isize &&
545 !(BTRFS_I(inode)->flags & BTRFS_INODE_PREALLOC)) {
546 /*
547 * There can't be any extents following eof in this case
548 * so just set the delalloc new bit for the range
549 * directly.
550 */
551 extra_bits |= EXTENT_DELALLOC_NEW;
552 } else {
553 err = btrfs_find_new_delalloc_bytes(BTRFS_I(inode),
554 start_pos,
555 num_bytes, cached);
556 if (err)
557 return err;
558 }
559 }
560
Josef Bacik2ac55d42010-02-03 19:33:23 +0000561 err = btrfs_set_extent_delalloc(inode, start_pos, end_of_last_block,
Nikolay Borisov330a5822019-07-17 16:18:17 +0300562 extra_bits, cached);
Josef Bacikd0215f32011-01-25 14:57:24 -0500563 if (err)
564 return err;
Josef Bacik9ed74f22009-09-11 16:12:44 -0400565
Chris Masonc8b97812008-10-29 14:49:59 -0400566 for (i = 0; i < num_pages; i++) {
567 struct page *p = pages[i];
568 SetPageUptodate(p);
569 ClearPageChecked(p);
570 set_page_dirty(p);
Chris Masona52d9a82007-08-27 16:49:44 -0400571 }
Josef Bacik9f570b82011-01-25 12:42:37 -0500572
573 /*
574 * we've only changed i_size in ram, and we haven't updated
575 * the disk i_size. There is no need to log the inode
576 * at this time.
577 */
578 if (end_pos > isize)
Chris Masona52d9a82007-08-27 16:49:44 -0400579 i_size_write(inode, end_pos);
Yan, Zhenga22285a2010-05-16 10:48:46 -0400580 return 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400581}
582
Chris Masond352ac62008-09-29 15:18:18 -0400583/*
584 * this drops all the extents in the cache that intersect the range
585 * [start, end]. Existing extents are split as required.
586 */
Nikolay Borisovdcdbc052017-02-20 13:50:45 +0200587void btrfs_drop_extent_cache(struct btrfs_inode *inode, u64 start, u64 end,
Josef Bacik7014cdb2012-08-30 20:06:49 -0400588 int skip_pinned)
Chris Masona52d9a82007-08-27 16:49:44 -0400589{
590 struct extent_map *em;
Chris Mason3b951512008-04-17 11:29:12 -0400591 struct extent_map *split = NULL;
592 struct extent_map *split2 = NULL;
Nikolay Borisovdcdbc052017-02-20 13:50:45 +0200593 struct extent_map_tree *em_tree = &inode->extent_tree;
Yan39b56372008-02-15 10:40:50 -0500594 u64 len = end - start + 1;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400595 u64 gen;
Chris Mason3b951512008-04-17 11:29:12 -0400596 int ret;
597 int testend = 1;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400598 unsigned long flags;
Chris Masonc8b97812008-10-29 14:49:59 -0400599 int compressed = 0;
Josef Bacik09a2a8f92013-04-05 16:51:15 -0400600 bool modified;
Chris Masona52d9a82007-08-27 16:49:44 -0400601
Chris Masone6dcd2d2008-07-17 12:53:50 -0400602 WARN_ON(end < start);
Chris Mason3b951512008-04-17 11:29:12 -0400603 if (end == (u64)-1) {
Yan39b56372008-02-15 10:40:50 -0500604 len = (u64)-1;
Chris Mason3b951512008-04-17 11:29:12 -0400605 testend = 0;
606 }
Chris Masond3977122009-01-05 21:25:51 -0500607 while (1) {
Josef Bacik7014cdb2012-08-30 20:06:49 -0400608 int no_splits = 0;
609
Josef Bacik09a2a8f92013-04-05 16:51:15 -0400610 modified = false;
Chris Mason3b951512008-04-17 11:29:12 -0400611 if (!split)
David Sterba172ddd62011-04-21 00:48:27 +0200612 split = alloc_extent_map();
Chris Mason3b951512008-04-17 11:29:12 -0400613 if (!split2)
David Sterba172ddd62011-04-21 00:48:27 +0200614 split2 = alloc_extent_map();
Josef Bacik7014cdb2012-08-30 20:06:49 -0400615 if (!split || !split2)
616 no_splits = 1;
Chris Mason3b951512008-04-17 11:29:12 -0400617
Chris Mason890871b2009-09-02 16:24:52 -0400618 write_lock(&em_tree->lock);
Yan39b56372008-02-15 10:40:50 -0500619 em = lookup_extent_mapping(em_tree, start, len);
Chris Masond1310b22008-01-24 16:13:08 -0500620 if (!em) {
Chris Mason890871b2009-09-02 16:24:52 -0400621 write_unlock(&em_tree->lock);
Chris Masona52d9a82007-08-27 16:49:44 -0400622 break;
Chris Masond1310b22008-01-24 16:13:08 -0500623 }
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400624 flags = em->flags;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400625 gen = em->generation;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400626 if (skip_pinned && test_bit(EXTENT_FLAG_PINNED, &em->flags)) {
Yan, Zheng55ef6892009-11-12 09:36:44 +0000627 if (testend && em->start + em->len >= start + len) {
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400628 free_extent_map(em);
Chris Masona1ed8352009-09-11 12:27:37 -0400629 write_unlock(&em_tree->lock);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400630 break;
631 }
Yan, Zheng55ef6892009-11-12 09:36:44 +0000632 start = em->start + em->len;
633 if (testend)
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400634 len = start + len - (em->start + em->len);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400635 free_extent_map(em);
Chris Masona1ed8352009-09-11 12:27:37 -0400636 write_unlock(&em_tree->lock);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400637 continue;
638 }
Chris Masonc8b97812008-10-29 14:49:59 -0400639 compressed = test_bit(EXTENT_FLAG_COMPRESSED, &em->flags);
Chris Mason3ce7e672008-07-31 15:42:54 -0400640 clear_bit(EXTENT_FLAG_PINNED, &em->flags);
Liu Bo3b277592013-03-15 08:46:39 -0600641 clear_bit(EXTENT_FLAG_LOGGING, &flags);
Josef Bacik09a2a8f92013-04-05 16:51:15 -0400642 modified = !list_empty(&em->list);
Josef Bacik7014cdb2012-08-30 20:06:49 -0400643 if (no_splits)
644 goto next;
Chris Mason3b951512008-04-17 11:29:12 -0400645
Josef Bacikee20a982013-07-11 10:34:59 -0400646 if (em->start < start) {
Chris Mason3b951512008-04-17 11:29:12 -0400647 split->start = em->start;
648 split->len = start - em->start;
Chris Masonc8b97812008-10-29 14:49:59 -0400649
Josef Bacikee20a982013-07-11 10:34:59 -0400650 if (em->block_start < EXTENT_MAP_LAST_BYTE) {
651 split->orig_start = em->orig_start;
652 split->block_start = em->block_start;
653
654 if (compressed)
655 split->block_len = em->block_len;
656 else
657 split->block_len = split->len;
658 split->orig_block_len = max(split->block_len,
659 em->orig_block_len);
660 split->ram_bytes = em->ram_bytes;
661 } else {
662 split->orig_start = split->start;
663 split->block_len = 0;
664 split->block_start = em->block_start;
665 split->orig_block_len = 0;
666 split->ram_bytes = split->len;
667 }
668
Josef Bacik5dc562c2012-08-17 13:14:17 -0400669 split->generation = gen;
Chris Mason3b951512008-04-17 11:29:12 -0400670 split->bdev = em->bdev;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400671 split->flags = flags;
Li Zefan261507a02010-12-17 14:21:50 +0800672 split->compress_type = em->compress_type;
Filipe Manana176840b2014-02-25 14:15:13 +0000673 replace_extent_mapping(em_tree, em, split, modified);
Chris Mason3b951512008-04-17 11:29:12 -0400674 free_extent_map(split);
675 split = split2;
676 split2 = NULL;
677 }
Josef Bacikee20a982013-07-11 10:34:59 -0400678 if (testend && em->start + em->len > start + len) {
Chris Mason3b951512008-04-17 11:29:12 -0400679 u64 diff = start + len - em->start;
680
681 split->start = start + len;
682 split->len = em->start + em->len - (start + len);
683 split->bdev = em->bdev;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400684 split->flags = flags;
Li Zefan261507a02010-12-17 14:21:50 +0800685 split->compress_type = em->compress_type;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400686 split->generation = gen;
Chris Mason3b951512008-04-17 11:29:12 -0400687
Josef Bacikee20a982013-07-11 10:34:59 -0400688 if (em->block_start < EXTENT_MAP_LAST_BYTE) {
689 split->orig_block_len = max(em->block_len,
690 em->orig_block_len);
691
692 split->ram_bytes = em->ram_bytes;
693 if (compressed) {
694 split->block_len = em->block_len;
695 split->block_start = em->block_start;
696 split->orig_start = em->orig_start;
697 } else {
698 split->block_len = split->len;
699 split->block_start = em->block_start
700 + diff;
701 split->orig_start = em->orig_start;
702 }
Chris Masonc8b97812008-10-29 14:49:59 -0400703 } else {
Josef Bacikee20a982013-07-11 10:34:59 -0400704 split->ram_bytes = split->len;
705 split->orig_start = split->start;
706 split->block_len = 0;
707 split->block_start = em->block_start;
708 split->orig_block_len = 0;
Chris Masonc8b97812008-10-29 14:49:59 -0400709 }
Chris Mason3b951512008-04-17 11:29:12 -0400710
Filipe Manana176840b2014-02-25 14:15:13 +0000711 if (extent_map_in_tree(em)) {
712 replace_extent_mapping(em_tree, em, split,
713 modified);
714 } else {
715 ret = add_extent_mapping(em_tree, split,
716 modified);
717 ASSERT(ret == 0); /* Logic error */
718 }
Chris Mason3b951512008-04-17 11:29:12 -0400719 free_extent_map(split);
720 split = NULL;
721 }
Josef Bacik7014cdb2012-08-30 20:06:49 -0400722next:
Filipe Manana176840b2014-02-25 14:15:13 +0000723 if (extent_map_in_tree(em))
724 remove_extent_mapping(em_tree, em);
Chris Mason890871b2009-09-02 16:24:52 -0400725 write_unlock(&em_tree->lock);
Chris Masond1310b22008-01-24 16:13:08 -0500726
Chris Masona52d9a82007-08-27 16:49:44 -0400727 /* once for us */
728 free_extent_map(em);
729 /* once for the tree*/
730 free_extent_map(em);
731 }
Chris Mason3b951512008-04-17 11:29:12 -0400732 if (split)
733 free_extent_map(split);
734 if (split2)
735 free_extent_map(split2);
Chris Masona52d9a82007-08-27 16:49:44 -0400736}
737
Chris Mason39279cc2007-06-12 06:35:45 -0400738/*
739 * this is very complex, but the basic idea is to drop all extents
740 * in the range start - end. hint_block is filled in with a block number
741 * that would be a good hint to the block allocator for this file.
742 *
743 * If an extent intersects the range but is not entirely inside the range
744 * it is either truncated or split. Anything entirely inside the range
745 * is deleted from the tree.
746 */
Josef Bacik5dc562c2012-08-17 13:14:17 -0400747int __btrfs_drop_extents(struct btrfs_trans_handle *trans,
748 struct btrfs_root *root, struct inode *inode,
749 struct btrfs_path *path, u64 start, u64 end,
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000750 u64 *drop_end, int drop_cache,
751 int replace_extent,
752 u32 extent_item_size,
753 int *key_inserted)
Chris Mason39279cc2007-06-12 06:35:45 -0400754{
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400755 struct btrfs_fs_info *fs_info = root->fs_info;
Chris Mason00f5c792007-11-30 10:09:33 -0500756 struct extent_buffer *leaf;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000757 struct btrfs_file_extent_item *fi;
Qu Wenruo82fa1132019-04-04 14:45:35 +0800758 struct btrfs_ref ref = { 0 };
Chris Mason00f5c792007-11-30 10:09:33 -0500759 struct btrfs_key key;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000760 struct btrfs_key new_key;
Nikolay Borisov4a0cc7c2017-01-10 20:35:31 +0200761 u64 ino = btrfs_ino(BTRFS_I(inode));
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000762 u64 search_start = start;
763 u64 disk_bytenr = 0;
764 u64 num_bytes = 0;
765 u64 extent_offset = 0;
766 u64 extent_end = 0;
Josef Bacik62fe51c12016-11-16 09:13:39 -0500767 u64 last_end = start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000768 int del_nr = 0;
769 int del_slot = 0;
770 int extent_type;
Chris Masonccd467d2007-06-28 15:57:36 -0400771 int recow;
Chris Mason00f5c792007-11-30 10:09:33 -0500772 int ret;
Chris Masondc7fdde2012-04-27 14:31:29 -0400773 int modify_tree = -1;
Miao Xie27cdeb72014-04-02 19:51:05 +0800774 int update_refs;
Josef Bacikc3308f82012-09-14 14:51:22 -0400775 int found = 0;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000776 int leafs_visited = 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400777
Chris Masona1ed8352009-09-11 12:27:37 -0400778 if (drop_cache)
Nikolay Borisovdcdbc052017-02-20 13:50:45 +0200779 btrfs_drop_extent_cache(BTRFS_I(inode), start, end - 1, 0);
Chris Masona52d9a82007-08-27 16:49:44 -0400780
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +0000781 if (start >= BTRFS_I(inode)->disk_i_size && !replace_extent)
Chris Masondc7fdde2012-04-27 14:31:29 -0400782 modify_tree = 0;
783
Miao Xie27cdeb72014-04-02 19:51:05 +0800784 update_refs = (test_bit(BTRFS_ROOT_REF_COWS, &root->state) ||
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400785 root == fs_info->tree_root);
Chris Masond3977122009-01-05 21:25:51 -0500786 while (1) {
Chris Masonccd467d2007-06-28 15:57:36 -0400787 recow = 0;
Li Zefan33345d012011-04-20 10:31:50 +0800788 ret = btrfs_lookup_file_extent(trans, root, path, ino,
Chris Masondc7fdde2012-04-27 14:31:29 -0400789 search_start, modify_tree);
Chris Mason39279cc2007-06-12 06:35:45 -0400790 if (ret < 0)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000791 break;
792 if (ret > 0 && path->slots[0] > 0 && search_start == start) {
793 leaf = path->nodes[0];
794 btrfs_item_key_to_cpu(leaf, &key, path->slots[0] - 1);
Li Zefan33345d012011-04-20 10:31:50 +0800795 if (key.objectid == ino &&
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000796 key.type == BTRFS_EXTENT_DATA_KEY)
797 path->slots[0]--;
Chris Mason39279cc2007-06-12 06:35:45 -0400798 }
Chris Mason8c2383c2007-06-18 09:57:58 -0400799 ret = 0;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000800 leafs_visited++;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000801next_slot:
802 leaf = path->nodes[0];
803 if (path->slots[0] >= btrfs_header_nritems(leaf)) {
804 BUG_ON(del_nr > 0);
805 ret = btrfs_next_leaf(root, path);
806 if (ret < 0)
807 break;
808 if (ret > 0) {
809 ret = 0;
810 break;
Chris Mason8c2383c2007-06-18 09:57:58 -0400811 }
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000812 leafs_visited++;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000813 leaf = path->nodes[0];
814 recow = 1;
815 }
816
817 btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);
Filipe Mananaaeafbf82015-11-06 13:33:33 +0000818
819 if (key.objectid > ino)
820 break;
821 if (WARN_ON_ONCE(key.objectid < ino) ||
822 key.type < BTRFS_EXTENT_DATA_KEY) {
823 ASSERT(del_nr == 0);
824 path->slots[0]++;
825 goto next_slot;
826 }
827 if (key.type > BTRFS_EXTENT_DATA_KEY || key.offset >= end)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000828 break;
829
830 fi = btrfs_item_ptr(leaf, path->slots[0],
831 struct btrfs_file_extent_item);
832 extent_type = btrfs_file_extent_type(leaf, fi);
833
834 if (extent_type == BTRFS_FILE_EXTENT_REG ||
835 extent_type == BTRFS_FILE_EXTENT_PREALLOC) {
836 disk_bytenr = btrfs_file_extent_disk_bytenr(leaf, fi);
837 num_bytes = btrfs_file_extent_disk_num_bytes(leaf, fi);
838 extent_offset = btrfs_file_extent_offset(leaf, fi);
839 extent_end = key.offset +
840 btrfs_file_extent_num_bytes(leaf, fi);
841 } else if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
842 extent_end = key.offset +
Qu Wenruoe41ca582018-06-06 15:41:49 +0800843 btrfs_file_extent_ram_bytes(leaf, fi);
Chris Mason8c2383c2007-06-18 09:57:58 -0400844 } else {
Filipe Mananaaeafbf82015-11-06 13:33:33 +0000845 /* can't happen */
846 BUG();
Chris Mason39279cc2007-06-12 06:35:45 -0400847 }
848
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100849 /*
850 * Don't skip extent items representing 0 byte lengths. They
851 * used to be created (bug) if while punching holes we hit
852 * -ENOSPC condition. So if we find one here, just ensure we
853 * delete it, otherwise we would insert a new file extent item
854 * with the same key (offset) as that 0 bytes length file
855 * extent item in the call to setup_items_for_insert() later
856 * in this function.
857 */
Josef Bacik62fe51c12016-11-16 09:13:39 -0500858 if (extent_end == key.offset && extent_end >= search_start) {
859 last_end = extent_end;
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100860 goto delete_extent_item;
Josef Bacik62fe51c12016-11-16 09:13:39 -0500861 }
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100862
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000863 if (extent_end <= search_start) {
864 path->slots[0]++;
Chris Mason8c2383c2007-06-18 09:57:58 -0400865 goto next_slot;
Chris Mason39279cc2007-06-12 06:35:45 -0400866 }
867
Josef Bacikc3308f82012-09-14 14:51:22 -0400868 found = 1;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000869 search_start = max(key.offset, start);
Chris Masondc7fdde2012-04-27 14:31:29 -0400870 if (recow || !modify_tree) {
871 modify_tree = -1;
David Sterbab3b4aa72011-04-21 01:20:15 +0200872 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000873 continue;
Chris Mason39279cc2007-06-12 06:35:45 -0400874 }
Chris Mason771ed682008-11-06 22:02:51 -0500875
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000876 /*
877 * | - range to drop - |
878 * | -------- extent -------- |
879 */
880 if (start > key.offset && end < extent_end) {
881 BUG_ON(del_nr > 0);
Liu Bo00fdf132014-03-10 18:56:07 +0800882 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200883 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800884 break;
885 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000886
887 memcpy(&new_key, &key, sizeof(new_key));
888 new_key.offset = start;
889 ret = btrfs_duplicate_item(trans, root, path,
890 &new_key);
891 if (ret == -EAGAIN) {
David Sterbab3b4aa72011-04-21 01:20:15 +0200892 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000893 continue;
894 }
895 if (ret < 0)
896 break;
Chris Mason8c2383c2007-06-18 09:57:58 -0400897
Chris Mason5f39d392007-10-15 16:14:19 -0400898 leaf = path->nodes[0];
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000899 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
900 struct btrfs_file_extent_item);
901 btrfs_set_file_extent_num_bytes(leaf, fi,
902 start - key.offset);
Chris Mason39279cc2007-06-12 06:35:45 -0400903
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000904 fi = btrfs_item_ptr(leaf, path->slots[0],
905 struct btrfs_file_extent_item);
Chris Masonc8b97812008-10-29 14:49:59 -0400906
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000907 extent_offset += start - key.offset;
908 btrfs_set_file_extent_offset(leaf, fi, extent_offset);
909 btrfs_set_file_extent_num_bytes(leaf, fi,
910 extent_end - start);
911 btrfs_mark_buffer_dirty(leaf);
Chris Masondb945352007-10-15 16:15:53 -0400912
Josef Bacik5dc562c2012-08-17 13:14:17 -0400913 if (update_refs && disk_bytenr > 0) {
Qu Wenruo82fa1132019-04-04 14:45:35 +0800914 btrfs_init_generic_ref(&ref,
915 BTRFS_ADD_DELAYED_REF,
916 disk_bytenr, num_bytes, 0);
917 btrfs_init_data_ref(&ref,
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000918 root->root_key.objectid,
919 new_key.objectid,
Filipe Mananab06c4bf2015-10-23 07:52:54 +0100920 start - extent_offset);
Qu Wenruo82fa1132019-04-04 14:45:35 +0800921 ret = btrfs_inc_extent_ref(trans, &ref);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100922 BUG_ON(ret); /* -ENOMEM */
Zheng Yan31840ae2008-09-23 13:14:14 -0400923 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000924 key.offset = start;
925 }
926 /*
Josef Bacik62fe51c12016-11-16 09:13:39 -0500927 * From here on out we will have actually dropped something, so
928 * last_end can be updated.
929 */
930 last_end = extent_end;
931
932 /*
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000933 * | ---- range to drop ----- |
934 * | -------- extent -------- |
935 */
936 if (start <= key.offset && end < extent_end) {
Liu Bo00fdf132014-03-10 18:56:07 +0800937 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200938 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800939 break;
940 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000941
942 memcpy(&new_key, &key, sizeof(new_key));
943 new_key.offset = end;
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400944 btrfs_set_item_key_safe(fs_info, path, &new_key);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000945
946 extent_offset += end - key.offset;
947 btrfs_set_file_extent_offset(leaf, fi, extent_offset);
948 btrfs_set_file_extent_num_bytes(leaf, fi,
949 extent_end - end);
950 btrfs_mark_buffer_dirty(leaf);
Josef Bacik26714852012-08-29 12:24:27 -0400951 if (update_refs && disk_bytenr > 0)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000952 inode_sub_bytes(inode, end - key.offset);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000953 break;
Zheng Yan31840ae2008-09-23 13:14:14 -0400954 }
955
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000956 search_start = extent_end;
957 /*
958 * | ---- range to drop ----- |
959 * | -------- extent -------- |
960 */
961 if (start > key.offset && end >= extent_end) {
962 BUG_ON(del_nr > 0);
Liu Bo00fdf132014-03-10 18:56:07 +0800963 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200964 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800965 break;
966 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000967
968 btrfs_set_file_extent_num_bytes(leaf, fi,
969 start - key.offset);
970 btrfs_mark_buffer_dirty(leaf);
Josef Bacik26714852012-08-29 12:24:27 -0400971 if (update_refs && disk_bytenr > 0)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000972 inode_sub_bytes(inode, extent_end - start);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000973 if (end == extent_end)
974 break;
975
976 path->slots[0]++;
977 goto next_slot;
Chris Mason39279cc2007-06-12 06:35:45 -0400978 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000979
980 /*
981 * | ---- range to drop ----- |
982 * | ------ extent ------ |
983 */
984 if (start <= key.offset && end >= extent_end) {
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100985delete_extent_item:
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000986 if (del_nr == 0) {
987 del_slot = path->slots[0];
988 del_nr = 1;
989 } else {
990 BUG_ON(del_slot + del_nr != path->slots[0]);
991 del_nr++;
992 }
993
Josef Bacik5dc562c2012-08-17 13:14:17 -0400994 if (update_refs &&
995 extent_type == BTRFS_FILE_EXTENT_INLINE) {
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000996 inode_sub_bytes(inode,
997 extent_end - key.offset);
998 extent_end = ALIGN(extent_end,
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400999 fs_info->sectorsize);
Josef Bacik5dc562c2012-08-17 13:14:17 -04001000 } else if (update_refs && disk_bytenr > 0) {
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001001 btrfs_init_generic_ref(&ref,
1002 BTRFS_DROP_DELAYED_REF,
1003 disk_bytenr, num_bytes, 0);
1004 btrfs_init_data_ref(&ref,
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001005 root->root_key.objectid,
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001006 key.objectid,
1007 key.offset - extent_offset);
1008 ret = btrfs_free_extent(trans, &ref);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001009 BUG_ON(ret); /* -ENOMEM */
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001010 inode_sub_bytes(inode,
1011 extent_end - key.offset);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001012 }
1013
1014 if (end == extent_end)
1015 break;
1016
1017 if (path->slots[0] + 1 < btrfs_header_nritems(leaf)) {
1018 path->slots[0]++;
1019 goto next_slot;
1020 }
1021
1022 ret = btrfs_del_items(trans, root, path, del_slot,
1023 del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001024 if (ret) {
Jeff Mahoney66642832016-06-10 18:19:25 -04001025 btrfs_abort_transaction(trans, ret);
Josef Bacik5dc562c2012-08-17 13:14:17 -04001026 break;
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001027 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001028
1029 del_nr = 0;
1030 del_slot = 0;
1031
David Sterbab3b4aa72011-04-21 01:20:15 +02001032 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001033 continue;
1034 }
1035
Arnd Bergmann290342f2019-03-25 14:02:25 +01001036 BUG();
Chris Mason39279cc2007-06-12 06:35:45 -04001037 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001038
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001039 if (!ret && del_nr > 0) {
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001040 /*
1041 * Set path->slots[0] to first slot, so that after the delete
1042 * if items are move off from our leaf to its immediate left or
1043 * right neighbor leafs, we end up with a correct and adjusted
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001044 * path->slots[0] for our insertion (if replace_extent != 0).
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001045 */
1046 path->slots[0] = del_slot;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001047 ret = btrfs_del_items(trans, root, path, del_slot, del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001048 if (ret)
Jeff Mahoney66642832016-06-10 18:19:25 -04001049 btrfs_abort_transaction(trans, ret);
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001050 }
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001051
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001052 leaf = path->nodes[0];
1053 /*
1054 * If btrfs_del_items() was called, it might have deleted a leaf, in
1055 * which case it unlocked our path, so check path->locks[0] matches a
1056 * write lock.
1057 */
1058 if (!ret && replace_extent && leafs_visited == 1 &&
1059 (path->locks[0] == BTRFS_WRITE_LOCK_BLOCKING ||
1060 path->locks[0] == BTRFS_WRITE_LOCK) &&
David Sterbae902baa2019-03-20 14:36:46 +01001061 btrfs_leaf_free_space(leaf) >=
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001062 sizeof(struct btrfs_item) + extent_item_size) {
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001063
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001064 key.objectid = ino;
1065 key.type = BTRFS_EXTENT_DATA_KEY;
1066 key.offset = start;
1067 if (!del_nr && path->slots[0] < btrfs_header_nritems(leaf)) {
1068 struct btrfs_key slot_key;
1069
1070 btrfs_item_key_to_cpu(leaf, &slot_key, path->slots[0]);
1071 if (btrfs_comp_cpu_keys(&key, &slot_key) > 0)
1072 path->slots[0]++;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001073 }
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001074 setup_items_for_insert(root, path, &key,
1075 &extent_item_size,
1076 extent_item_size,
1077 sizeof(struct btrfs_item) +
1078 extent_item_size, 1);
1079 *key_inserted = 1;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001080 }
1081
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001082 if (!replace_extent || !(*key_inserted))
1083 btrfs_release_path(path);
Josef Bacik2aaa6652012-08-29 14:27:18 -04001084 if (drop_end)
Josef Bacik62fe51c12016-11-16 09:13:39 -05001085 *drop_end = found ? min(end, last_end) : end;
Josef Bacik5dc562c2012-08-17 13:14:17 -04001086 return ret;
1087}
1088
1089int btrfs_drop_extents(struct btrfs_trans_handle *trans,
1090 struct btrfs_root *root, struct inode *inode, u64 start,
Josef Bacik26714852012-08-29 12:24:27 -04001091 u64 end, int drop_cache)
Josef Bacik5dc562c2012-08-17 13:14:17 -04001092{
1093 struct btrfs_path *path;
1094 int ret;
1095
1096 path = btrfs_alloc_path();
1097 if (!path)
1098 return -ENOMEM;
Josef Bacik2aaa6652012-08-29 14:27:18 -04001099 ret = __btrfs_drop_extents(trans, root, inode, path, start, end, NULL,
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001100 drop_cache, 0, 0, NULL);
Chris Mason39279cc2007-06-12 06:35:45 -04001101 btrfs_free_path(path);
1102 return ret;
1103}
1104
Yan Zhengd899e052008-10-30 14:25:28 -04001105static int extent_mergeable(struct extent_buffer *leaf, int slot,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001106 u64 objectid, u64 bytenr, u64 orig_offset,
1107 u64 *start, u64 *end)
Yan Zhengd899e052008-10-30 14:25:28 -04001108{
1109 struct btrfs_file_extent_item *fi;
1110 struct btrfs_key key;
1111 u64 extent_end;
1112
1113 if (slot < 0 || slot >= btrfs_header_nritems(leaf))
1114 return 0;
1115
1116 btrfs_item_key_to_cpu(leaf, &key, slot);
1117 if (key.objectid != objectid || key.type != BTRFS_EXTENT_DATA_KEY)
1118 return 0;
1119
1120 fi = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
1121 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_REG ||
1122 btrfs_file_extent_disk_bytenr(leaf, fi) != bytenr ||
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001123 btrfs_file_extent_offset(leaf, fi) != key.offset - orig_offset ||
Yan Zhengd899e052008-10-30 14:25:28 -04001124 btrfs_file_extent_compression(leaf, fi) ||
1125 btrfs_file_extent_encryption(leaf, fi) ||
1126 btrfs_file_extent_other_encoding(leaf, fi))
1127 return 0;
1128
1129 extent_end = key.offset + btrfs_file_extent_num_bytes(leaf, fi);
1130 if ((*start && *start != key.offset) || (*end && *end != extent_end))
1131 return 0;
1132
1133 *start = key.offset;
1134 *end = extent_end;
1135 return 1;
1136}
1137
1138/*
1139 * Mark extent in the range start - end as written.
1140 *
1141 * This changes extent type from 'pre-allocated' to 'regular'. If only
1142 * part of extent is marked as written, the extent will be split into
1143 * two or three.
1144 */
1145int btrfs_mark_extent_written(struct btrfs_trans_handle *trans,
Nikolay Borisov7a6d7062017-02-20 13:50:48 +02001146 struct btrfs_inode *inode, u64 start, u64 end)
Yan Zhengd899e052008-10-30 14:25:28 -04001147{
David Sterba3ffbd682018-06-29 10:56:42 +02001148 struct btrfs_fs_info *fs_info = trans->fs_info;
Nikolay Borisov7a6d7062017-02-20 13:50:48 +02001149 struct btrfs_root *root = inode->root;
Yan Zhengd899e052008-10-30 14:25:28 -04001150 struct extent_buffer *leaf;
1151 struct btrfs_path *path;
1152 struct btrfs_file_extent_item *fi;
Qu Wenruo82fa1132019-04-04 14:45:35 +08001153 struct btrfs_ref ref = { 0 };
Yan Zhengd899e052008-10-30 14:25:28 -04001154 struct btrfs_key key;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001155 struct btrfs_key new_key;
Yan Zhengd899e052008-10-30 14:25:28 -04001156 u64 bytenr;
1157 u64 num_bytes;
1158 u64 extent_end;
Yan Zheng5d4f98a2009-06-10 10:45:14 -04001159 u64 orig_offset;
Yan Zhengd899e052008-10-30 14:25:28 -04001160 u64 other_start;
1161 u64 other_end;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001162 u64 split;
1163 int del_nr = 0;
1164 int del_slot = 0;
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001165 int recow;
Yan Zhengd899e052008-10-30 14:25:28 -04001166 int ret;
Nikolay Borisov7a6d7062017-02-20 13:50:48 +02001167 u64 ino = btrfs_ino(inode);
Yan Zhengd899e052008-10-30 14:25:28 -04001168
Yan Zhengd899e052008-10-30 14:25:28 -04001169 path = btrfs_alloc_path();
Mark Fashehd8926bb2011-07-13 10:38:47 -07001170 if (!path)
1171 return -ENOMEM;
Yan Zhengd899e052008-10-30 14:25:28 -04001172again:
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001173 recow = 0;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001174 split = start;
Li Zefan33345d012011-04-20 10:31:50 +08001175 key.objectid = ino;
Yan Zhengd899e052008-10-30 14:25:28 -04001176 key.type = BTRFS_EXTENT_DATA_KEY;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001177 key.offset = split;
Yan Zhengd899e052008-10-30 14:25:28 -04001178
1179 ret = btrfs_search_slot(trans, root, &key, path, -1, 1);
Josef Bacik41415732011-03-16 13:59:32 -04001180 if (ret < 0)
1181 goto out;
Yan Zhengd899e052008-10-30 14:25:28 -04001182 if (ret > 0 && path->slots[0] > 0)
1183 path->slots[0]--;
1184
1185 leaf = path->nodes[0];
1186 btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001187 if (key.objectid != ino ||
1188 key.type != BTRFS_EXTENT_DATA_KEY) {
1189 ret = -EINVAL;
1190 btrfs_abort_transaction(trans, ret);
1191 goto out;
1192 }
Yan Zhengd899e052008-10-30 14:25:28 -04001193 fi = btrfs_item_ptr(leaf, path->slots[0],
1194 struct btrfs_file_extent_item);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001195 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_PREALLOC) {
1196 ret = -EINVAL;
1197 btrfs_abort_transaction(trans, ret);
1198 goto out;
1199 }
Yan Zhengd899e052008-10-30 14:25:28 -04001200 extent_end = key.offset + btrfs_file_extent_num_bytes(leaf, fi);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001201 if (key.offset > start || extent_end < end) {
1202 ret = -EINVAL;
1203 btrfs_abort_transaction(trans, ret);
1204 goto out;
1205 }
Yan Zhengd899e052008-10-30 14:25:28 -04001206
1207 bytenr = btrfs_file_extent_disk_bytenr(leaf, fi);
1208 num_bytes = btrfs_file_extent_disk_num_bytes(leaf, fi);
Yan Zheng5d4f98a2009-06-10 10:45:14 -04001209 orig_offset = key.offset - btrfs_file_extent_offset(leaf, fi);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001210 memcpy(&new_key, &key, sizeof(new_key));
1211
1212 if (start == key.offset && end < extent_end) {
1213 other_start = 0;
1214 other_end = start;
1215 if (extent_mergeable(leaf, path->slots[0] - 1,
Li Zefan33345d012011-04-20 10:31:50 +08001216 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001217 &other_start, &other_end)) {
1218 new_key.offset = end;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001219 btrfs_set_item_key_safe(fs_info, path, &new_key);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001220 fi = btrfs_item_ptr(leaf, path->slots[0],
1221 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001222 btrfs_set_file_extent_generation(leaf, fi,
1223 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001224 btrfs_set_file_extent_num_bytes(leaf, fi,
1225 extent_end - end);
1226 btrfs_set_file_extent_offset(leaf, fi,
1227 end - orig_offset);
1228 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
1229 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001230 btrfs_set_file_extent_generation(leaf, fi,
1231 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001232 btrfs_set_file_extent_num_bytes(leaf, fi,
1233 end - other_start);
1234 btrfs_mark_buffer_dirty(leaf);
1235 goto out;
1236 }
1237 }
1238
1239 if (start > key.offset && end == extent_end) {
1240 other_start = end;
1241 other_end = 0;
1242 if (extent_mergeable(leaf, path->slots[0] + 1,
Li Zefan33345d012011-04-20 10:31:50 +08001243 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001244 &other_start, &other_end)) {
1245 fi = btrfs_item_ptr(leaf, path->slots[0],
1246 struct btrfs_file_extent_item);
1247 btrfs_set_file_extent_num_bytes(leaf, fi,
1248 start - key.offset);
Josef Bacik224ecce2012-08-16 16:32:06 -04001249 btrfs_set_file_extent_generation(leaf, fi,
1250 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001251 path->slots[0]++;
1252 new_key.offset = start;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001253 btrfs_set_item_key_safe(fs_info, path, &new_key);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001254
1255 fi = btrfs_item_ptr(leaf, path->slots[0],
1256 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001257 btrfs_set_file_extent_generation(leaf, fi,
1258 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001259 btrfs_set_file_extent_num_bytes(leaf, fi,
1260 other_end - start);
1261 btrfs_set_file_extent_offset(leaf, fi,
1262 start - orig_offset);
1263 btrfs_mark_buffer_dirty(leaf);
1264 goto out;
1265 }
1266 }
Yan Zhengd899e052008-10-30 14:25:28 -04001267
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001268 while (start > key.offset || end < extent_end) {
1269 if (key.offset == start)
1270 split = end;
Yan Zhengd899e052008-10-30 14:25:28 -04001271
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001272 new_key.offset = split;
1273 ret = btrfs_duplicate_item(trans, root, path, &new_key);
1274 if (ret == -EAGAIN) {
David Sterbab3b4aa72011-04-21 01:20:15 +02001275 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001276 goto again;
Yan Zhengd899e052008-10-30 14:25:28 -04001277 }
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001278 if (ret < 0) {
Jeff Mahoney66642832016-06-10 18:19:25 -04001279 btrfs_abort_transaction(trans, ret);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001280 goto out;
1281 }
Yan Zhengd899e052008-10-30 14:25:28 -04001282
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001283 leaf = path->nodes[0];
1284 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
Yan Zhengd899e052008-10-30 14:25:28 -04001285 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001286 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan Zhengd899e052008-10-30 14:25:28 -04001287 btrfs_set_file_extent_num_bytes(leaf, fi,
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001288 split - key.offset);
1289
1290 fi = btrfs_item_ptr(leaf, path->slots[0],
1291 struct btrfs_file_extent_item);
1292
Josef Bacik224ecce2012-08-16 16:32:06 -04001293 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001294 btrfs_set_file_extent_offset(leaf, fi, split - orig_offset);
1295 btrfs_set_file_extent_num_bytes(leaf, fi,
1296 extent_end - split);
Yan Zhengd899e052008-10-30 14:25:28 -04001297 btrfs_mark_buffer_dirty(leaf);
1298
Qu Wenruo82fa1132019-04-04 14:45:35 +08001299 btrfs_init_generic_ref(&ref, BTRFS_ADD_DELAYED_REF, bytenr,
1300 num_bytes, 0);
1301 btrfs_init_data_ref(&ref, root->root_key.objectid, ino,
1302 orig_offset);
1303 ret = btrfs_inc_extent_ref(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001304 if (ret) {
1305 btrfs_abort_transaction(trans, ret);
1306 goto out;
1307 }
Yan Zhengd899e052008-10-30 14:25:28 -04001308
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001309 if (split == start) {
1310 key.offset = start;
1311 } else {
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001312 if (start != key.offset) {
1313 ret = -EINVAL;
1314 btrfs_abort_transaction(trans, ret);
1315 goto out;
1316 }
Yan Zhengd899e052008-10-30 14:25:28 -04001317 path->slots[0]--;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001318 extent_end = end;
Yan Zhengd899e052008-10-30 14:25:28 -04001319 }
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001320 recow = 1;
Yan Zhengd899e052008-10-30 14:25:28 -04001321 }
1322
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001323 other_start = end;
1324 other_end = 0;
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001325 btrfs_init_generic_ref(&ref, BTRFS_DROP_DELAYED_REF, bytenr,
1326 num_bytes, 0);
1327 btrfs_init_data_ref(&ref, root->root_key.objectid, ino, orig_offset);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001328 if (extent_mergeable(leaf, path->slots[0] + 1,
Li Zefan33345d012011-04-20 10:31:50 +08001329 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001330 &other_start, &other_end)) {
1331 if (recow) {
David Sterbab3b4aa72011-04-21 01:20:15 +02001332 btrfs_release_path(path);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001333 goto again;
1334 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001335 extent_end = other_end;
1336 del_slot = path->slots[0] + 1;
1337 del_nr++;
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001338 ret = btrfs_free_extent(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001339 if (ret) {
1340 btrfs_abort_transaction(trans, ret);
1341 goto out;
1342 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001343 }
1344 other_start = 0;
1345 other_end = start;
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001346 if (extent_mergeable(leaf, path->slots[0] - 1,
Li Zefan33345d012011-04-20 10:31:50 +08001347 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001348 &other_start, &other_end)) {
1349 if (recow) {
David Sterbab3b4aa72011-04-21 01:20:15 +02001350 btrfs_release_path(path);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001351 goto again;
1352 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001353 key.offset = other_start;
1354 del_slot = path->slots[0];
1355 del_nr++;
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001356 ret = btrfs_free_extent(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001357 if (ret) {
1358 btrfs_abort_transaction(trans, ret);
1359 goto out;
1360 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001361 }
1362 if (del_nr == 0) {
Shaohua Li3f6fae92010-02-11 07:43:00 +00001363 fi = btrfs_item_ptr(leaf, path->slots[0],
1364 struct btrfs_file_extent_item);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001365 btrfs_set_file_extent_type(leaf, fi,
1366 BTRFS_FILE_EXTENT_REG);
Josef Bacik224ecce2012-08-16 16:32:06 -04001367 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001368 btrfs_mark_buffer_dirty(leaf);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001369 } else {
Shaohua Li3f6fae92010-02-11 07:43:00 +00001370 fi = btrfs_item_ptr(leaf, del_slot - 1,
1371 struct btrfs_file_extent_item);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001372 btrfs_set_file_extent_type(leaf, fi,
1373 BTRFS_FILE_EXTENT_REG);
Josef Bacik224ecce2012-08-16 16:32:06 -04001374 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001375 btrfs_set_file_extent_num_bytes(leaf, fi,
1376 extent_end - key.offset);
1377 btrfs_mark_buffer_dirty(leaf);
1378
1379 ret = btrfs_del_items(trans, root, path, del_slot, del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001380 if (ret < 0) {
Jeff Mahoney66642832016-06-10 18:19:25 -04001381 btrfs_abort_transaction(trans, ret);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001382 goto out;
1383 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001384 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001385out:
Yan Zhengd899e052008-10-30 14:25:28 -04001386 btrfs_free_path(path);
1387 return 0;
1388}
1389
Chris Mason39279cc2007-06-12 06:35:45 -04001390/*
Chris Masonb1bf8622011-02-28 09:52:08 -05001391 * on error we return an unlocked page and the error value
1392 * on success we return a locked page and 0
1393 */
Chris Masonbb1591b42015-12-14 15:40:44 -08001394static int prepare_uptodate_page(struct inode *inode,
1395 struct page *page, u64 pos,
Josef Bacikb63164292011-09-30 15:23:54 -04001396 bool force_uptodate)
Chris Masonb1bf8622011-02-28 09:52:08 -05001397{
1398 int ret = 0;
1399
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001400 if (((pos & (PAGE_SIZE - 1)) || force_uptodate) &&
Josef Bacikb63164292011-09-30 15:23:54 -04001401 !PageUptodate(page)) {
Chris Masonb1bf8622011-02-28 09:52:08 -05001402 ret = btrfs_readpage(NULL, page);
1403 if (ret)
1404 return ret;
1405 lock_page(page);
1406 if (!PageUptodate(page)) {
1407 unlock_page(page);
1408 return -EIO;
1409 }
Chris Masonbb1591b42015-12-14 15:40:44 -08001410 if (page->mapping != inode->i_mapping) {
1411 unlock_page(page);
1412 return -EAGAIN;
1413 }
Chris Masonb1bf8622011-02-28 09:52:08 -05001414 }
1415 return 0;
1416}
1417
1418/*
Miao Xie376cc682013-12-10 19:25:04 +08001419 * this just gets pages into the page cache and locks them down.
Chris Mason39279cc2007-06-12 06:35:45 -04001420 */
Miao Xieb37392e2013-12-10 19:25:03 +08001421static noinline int prepare_pages(struct inode *inode, struct page **pages,
1422 size_t num_pages, loff_t pos,
1423 size_t write_bytes, bool force_uptodate)
Chris Mason39279cc2007-06-12 06:35:45 -04001424{
1425 int i;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001426 unsigned long index = pos >> PAGE_SHIFT;
Josef Bacik3b16a4e2011-09-21 15:05:58 -04001427 gfp_t mask = btrfs_alloc_write_mask(inode->i_mapping);
Filipe David Borba Mananafc28b622013-12-13 19:39:34 +00001428 int err = 0;
Miao Xie376cc682013-12-10 19:25:04 +08001429 int faili;
Chris Mason8c2383c2007-06-18 09:57:58 -04001430
Chris Mason39279cc2007-06-12 06:35:45 -04001431 for (i = 0; i < num_pages; i++) {
Chris Masonbb1591b42015-12-14 15:40:44 -08001432again:
Josef Bacika94733d2011-07-11 10:47:06 -04001433 pages[i] = find_or_create_page(inode->i_mapping, index + i,
Johannes Weinere3a41a52012-01-10 15:07:55 -08001434 mask | __GFP_WRITE);
Chris Mason39279cc2007-06-12 06:35:45 -04001435 if (!pages[i]) {
Chris Masonb1bf8622011-02-28 09:52:08 -05001436 faili = i - 1;
1437 err = -ENOMEM;
1438 goto fail;
1439 }
1440
1441 if (i == 0)
Chris Masonbb1591b42015-12-14 15:40:44 -08001442 err = prepare_uptodate_page(inode, pages[i], pos,
Josef Bacikb63164292011-09-30 15:23:54 -04001443 force_uptodate);
Chris Masonbb1591b42015-12-14 15:40:44 -08001444 if (!err && i == num_pages - 1)
1445 err = prepare_uptodate_page(inode, pages[i],
Josef Bacikb63164292011-09-30 15:23:54 -04001446 pos + write_bytes, false);
Chris Masonb1bf8622011-02-28 09:52:08 -05001447 if (err) {
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001448 put_page(pages[i]);
Chris Masonbb1591b42015-12-14 15:40:44 -08001449 if (err == -EAGAIN) {
1450 err = 0;
1451 goto again;
1452 }
Chris Masonb1bf8622011-02-28 09:52:08 -05001453 faili = i - 1;
1454 goto fail;
Chris Mason39279cc2007-06-12 06:35:45 -04001455 }
Chris Masonccd467d2007-06-28 15:57:36 -04001456 wait_on_page_writeback(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -04001457 }
Chris Masone6dcd2d2008-07-17 12:53:50 -04001458
Chris Mason39279cc2007-06-12 06:35:45 -04001459 return 0;
Chris Masonb1bf8622011-02-28 09:52:08 -05001460fail:
1461 while (faili >= 0) {
1462 unlock_page(pages[faili]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001463 put_page(pages[faili]);
Chris Masonb1bf8622011-02-28 09:52:08 -05001464 faili--;
1465 }
1466 return err;
1467
Chris Mason39279cc2007-06-12 06:35:45 -04001468}
1469
Miao Xie376cc682013-12-10 19:25:04 +08001470/*
1471 * This function locks the extent and properly waits for data=ordered extents
1472 * to finish before allowing the pages to be modified if need.
1473 *
1474 * The return value:
1475 * 1 - the extent is locked
1476 * 0 - the extent is not locked, and everything is OK
1477 * -EAGAIN - need re-prepare the pages
1478 * the other < 0 number - Something wrong happens
1479 */
1480static noinline int
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001481lock_and_cleanup_extent_if_need(struct btrfs_inode *inode, struct page **pages,
Miao Xie376cc682013-12-10 19:25:04 +08001482 size_t num_pages, loff_t pos,
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301483 size_t write_bytes,
Miao Xie376cc682013-12-10 19:25:04 +08001484 u64 *lockstart, u64 *lockend,
1485 struct extent_state **cached_state)
1486{
David Sterba3ffbd682018-06-29 10:56:42 +02001487 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Miao Xie376cc682013-12-10 19:25:04 +08001488 u64 start_pos;
1489 u64 last_pos;
1490 int i;
1491 int ret = 0;
1492
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001493 start_pos = round_down(pos, fs_info->sectorsize);
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301494 last_pos = start_pos
Jeff Mahoneyda170662016-06-15 09:22:56 -04001495 + round_up(pos + write_bytes - start_pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001496 fs_info->sectorsize) - 1;
Miao Xie376cc682013-12-10 19:25:04 +08001497
Filipe Mananae3b8a482017-11-04 00:16:59 +00001498 if (start_pos < inode->vfs_inode.i_size) {
Miao Xie376cc682013-12-10 19:25:04 +08001499 struct btrfs_ordered_extent *ordered;
Filipe Mananaa7e3b972017-04-03 10:45:46 +01001500
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001501 lock_extent_bits(&inode->io_tree, start_pos, last_pos,
1502 cached_state);
Miao Xieb88935b2014-03-06 13:54:58 +08001503 ordered = btrfs_lookup_ordered_range(inode, start_pos,
1504 last_pos - start_pos + 1);
Miao Xie376cc682013-12-10 19:25:04 +08001505 if (ordered &&
1506 ordered->file_offset + ordered->len > start_pos &&
1507 ordered->file_offset <= last_pos) {
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001508 unlock_extent_cached(&inode->io_tree, start_pos,
David Sterbae43bbe52017-12-12 21:43:52 +01001509 last_pos, cached_state);
Miao Xie376cc682013-12-10 19:25:04 +08001510 for (i = 0; i < num_pages; i++) {
1511 unlock_page(pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001512 put_page(pages[i]);
Miao Xie376cc682013-12-10 19:25:04 +08001513 }
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001514 btrfs_start_ordered_extent(&inode->vfs_inode,
1515 ordered, 1);
Miao Xieb88935b2014-03-06 13:54:58 +08001516 btrfs_put_ordered_extent(ordered);
1517 return -EAGAIN;
Miao Xie376cc682013-12-10 19:25:04 +08001518 }
1519 if (ordered)
1520 btrfs_put_ordered_extent(ordered);
Chris Mason7703bdd2018-06-20 07:56:11 -07001521
Miao Xie376cc682013-12-10 19:25:04 +08001522 *lockstart = start_pos;
1523 *lockend = last_pos;
1524 ret = 1;
1525 }
1526
Chris Mason7703bdd2018-06-20 07:56:11 -07001527 /*
1528 * It's possible the pages are dirty right now, but we don't want
1529 * to clean them yet because copy_from_user may catch a page fault
1530 * and we might have to fall back to one page at a time. If that
1531 * happens, we'll unlock these pages and we'd have a window where
1532 * reclaim could sneak in and drop the once-dirty page on the floor
1533 * without writing it.
1534 *
1535 * We have the pages locked and the extent range locked, so there's
1536 * no way someone can start IO on any dirty pages in this range.
1537 *
1538 * We'll call btrfs_dirty_pages() later on, and that will flip around
1539 * delalloc bits and dirty the pages as required.
1540 */
Miao Xie376cc682013-12-10 19:25:04 +08001541 for (i = 0; i < num_pages; i++) {
Miao Xie376cc682013-12-10 19:25:04 +08001542 set_page_extent_mapped(pages[i]);
1543 WARN_ON(!PageLocked(pages[i]));
1544 }
1545
1546 return ret;
1547}
1548
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001549static noinline int check_can_nocow(struct btrfs_inode *inode, loff_t pos,
Josef Bacik7ee9e442013-06-21 16:37:03 -04001550 size_t *write_bytes)
1551{
David Sterba3ffbd682018-06-29 10:56:42 +02001552 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001553 struct btrfs_root *root = inode->root;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001554 u64 lockstart, lockend;
1555 u64 num_bytes;
1556 int ret;
1557
David Sterbaea14b57f2017-06-22 02:19:11 +02001558 ret = btrfs_start_write_no_snapshotting(root);
Miao Xie8257b2d2014-03-06 13:38:19 +08001559 if (!ret)
Nikolay Borisov5f791ec2019-05-07 10:23:46 +03001560 return -EAGAIN;
Miao Xie8257b2d2014-03-06 13:38:19 +08001561
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001562 lockstart = round_down(pos, fs_info->sectorsize);
Jeff Mahoneyda170662016-06-15 09:22:56 -04001563 lockend = round_up(pos + *write_bytes,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001564 fs_info->sectorsize) - 1;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001565
Nikolay Borisov23d31bd2019-05-07 10:19:23 +03001566 btrfs_lock_and_flush_ordered_range(&inode->io_tree, inode, lockstart,
1567 lockend, NULL);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001568
Josef Bacik7ee9e442013-06-21 16:37:03 -04001569 num_bytes = lockend - lockstart + 1;
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001570 ret = can_nocow_extent(&inode->vfs_inode, lockstart, &num_bytes,
1571 NULL, NULL, NULL);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001572 if (ret <= 0) {
1573 ret = 0;
David Sterbaea14b57f2017-06-22 02:19:11 +02001574 btrfs_end_write_no_snapshotting(root);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001575 } else {
Miao Xiec9339562014-02-27 13:58:04 +08001576 *write_bytes = min_t(size_t, *write_bytes ,
1577 num_bytes - pos + lockstart);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001578 }
1579
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001580 unlock_extent(&inode->io_tree, lockstart, lockend);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001581
1582 return ret;
1583}
1584
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001585static noinline ssize_t btrfs_buffered_write(struct kiocb *iocb,
1586 struct iov_iter *i)
Josef Bacik4b46fce2010-05-23 11:00:55 -04001587{
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001588 struct file *file = iocb->ki_filp;
1589 loff_t pos = iocb->ki_pos;
Al Viro496ad9a2013-01-23 17:07:38 -05001590 struct inode *inode = file_inode(file);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001591 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik11c65dc2010-05-23 11:07:21 -04001592 struct btrfs_root *root = BTRFS_I(inode)->root;
Josef Bacik11c65dc2010-05-23 11:07:21 -04001593 struct page **pages = NULL;
Qu Wenruo364ecf32017-02-27 15:10:38 +08001594 struct extent_changeset *data_reserved = NULL;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001595 u64 release_bytes = 0;
Miao Xie376cc682013-12-10 19:25:04 +08001596 u64 lockstart;
1597 u64 lockend;
Josef Bacikd0215f32011-01-25 14:57:24 -05001598 size_t num_written = 0;
1599 int nrptrs;
Tsutomu Itohc9149232011-03-30 00:57:23 +00001600 int ret = 0;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001601 bool only_release_metadata = false;
Josef Bacikb63164292011-09-30 15:23:54 -04001602 bool force_page_uptodate = false;
Chris Masoncb843a62008-10-03 12:30:02 -04001603
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001604 nrptrs = min(DIV_ROUND_UP(iov_iter_count(i), PAGE_SIZE),
1605 PAGE_SIZE / (sizeof(struct page *)));
Wu Fengguang142349f2011-12-16 12:32:57 -05001606 nrptrs = min(nrptrs, current->nr_dirtied_pause - current->nr_dirtied);
1607 nrptrs = max(nrptrs, 8);
David Sterba31e818f2015-02-20 18:00:26 +01001608 pages = kmalloc_array(nrptrs, sizeof(struct page *), GFP_KERNEL);
Josef Bacikd0215f32011-01-25 14:57:24 -05001609 if (!pages)
1610 return -ENOMEM;
Chris Masonab93dbe2009-10-01 12:29:10 -04001611
Josef Bacikd0215f32011-01-25 14:57:24 -05001612 while (iov_iter_count(i) > 0) {
Filipe Mananac67d9702019-09-30 10:20:25 +01001613 struct extent_state *cached_state = NULL;
Johannes Thumshirn70730172018-12-05 15:23:03 +01001614 size_t offset = offset_in_page(pos);
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301615 size_t sector_offset;
Josef Bacikd0215f32011-01-25 14:57:24 -05001616 size_t write_bytes = min(iov_iter_count(i),
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001617 nrptrs * (size_t)PAGE_SIZE -
Chris Mason8c2383c2007-06-18 09:57:58 -04001618 offset);
David Sterbaed6078f2014-06-05 01:59:57 +02001619 size_t num_pages = DIV_ROUND_UP(write_bytes + offset,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001620 PAGE_SIZE);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001621 size_t reserve_bytes;
Josef Bacikd0215f32011-01-25 14:57:24 -05001622 size_t dirty_pages;
1623 size_t copied;
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301624 size_t dirty_sectors;
1625 size_t num_sectors;
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001626 int extents_locked;
Chris Mason39279cc2007-06-12 06:35:45 -04001627
Chris Mason8c2383c2007-06-18 09:57:58 -04001628 WARN_ON(num_pages > nrptrs);
Chris Mason1832a6d2007-12-21 16:27:21 -05001629
Xin Zhong914ee292010-12-09 09:30:14 +00001630 /*
1631 * Fault pages before locking them in prepare_pages
1632 * to avoid recursive lock
1633 */
Josef Bacikd0215f32011-01-25 14:57:24 -05001634 if (unlikely(iov_iter_fault_in_readable(i, write_bytes))) {
Xin Zhong914ee292010-12-09 09:30:14 +00001635 ret = -EFAULT;
Josef Bacikd0215f32011-01-25 14:57:24 -05001636 break;
Xin Zhong914ee292010-12-09 09:30:14 +00001637 }
1638
Filipe Mananaa0e248b2019-10-11 16:41:20 +01001639 only_release_metadata = false;
Jeff Mahoneyda170662016-06-15 09:22:56 -04001640 sector_offset = pos & (fs_info->sectorsize - 1);
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301641 reserve_bytes = round_up(write_bytes + sector_offset,
Jeff Mahoneyda170662016-06-15 09:22:56 -04001642 fs_info->sectorsize);
Qu Wenruod9d8b2a2015-09-08 17:22:43 +08001643
Qu Wenruo364ecf32017-02-27 15:10:38 +08001644 extent_changeset_release(data_reserved);
1645 ret = btrfs_check_data_free_space(inode, &data_reserved, pos,
1646 write_bytes);
Josef Bacikc6887cd2016-03-25 13:26:00 -04001647 if (ret < 0) {
1648 if ((BTRFS_I(inode)->flags & (BTRFS_INODE_NODATACOW |
1649 BTRFS_INODE_PREALLOC)) &&
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001650 check_can_nocow(BTRFS_I(inode), pos,
1651 &write_bytes) > 0) {
Josef Bacikc6887cd2016-03-25 13:26:00 -04001652 /*
1653 * For nodata cow case, no need to reserve
1654 * data space.
1655 */
1656 only_release_metadata = true;
1657 /*
1658 * our prealloc extent may be smaller than
1659 * write_bytes, so scale down.
1660 */
1661 num_pages = DIV_ROUND_UP(write_bytes + offset,
1662 PAGE_SIZE);
1663 reserve_bytes = round_up(write_bytes +
1664 sector_offset,
Jeff Mahoneyda170662016-06-15 09:22:56 -04001665 fs_info->sectorsize);
Josef Bacikc6887cd2016-03-25 13:26:00 -04001666 } else {
1667 break;
1668 }
Josef Bacik7ee9e442013-06-21 16:37:03 -04001669 }
Zhao Lei4da2e262016-01-06 18:24:43 +08001670
Josef Bacik8b62f872017-10-19 14:15:55 -04001671 WARN_ON(reserve_bytes == 0);
Nikolay Borisov9f3db422017-02-20 13:50:41 +02001672 ret = btrfs_delalloc_reserve_metadata(BTRFS_I(inode),
1673 reserve_bytes);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001674 if (ret) {
1675 if (!only_release_metadata)
Qu Wenruobc42bda2017-02-27 15:10:39 +08001676 btrfs_free_reserved_data_space(inode,
1677 data_reserved, pos,
1678 write_bytes);
Miao Xie8257b2d2014-03-06 13:38:19 +08001679 else
David Sterbaea14b57f2017-06-22 02:19:11 +02001680 btrfs_end_write_no_snapshotting(root);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001681 break;
1682 }
1683
1684 release_bytes = reserve_bytes;
Miao Xie376cc682013-12-10 19:25:04 +08001685again:
Josef Bacik4a640012011-01-25 15:10:08 -05001686 /*
1687 * This is going to setup the pages array with the number of
1688 * pages we want, so we don't really need to worry about the
1689 * contents of pages from loop to loop
1690 */
Miao Xieb37392e2013-12-10 19:25:03 +08001691 ret = prepare_pages(inode, pages, num_pages,
1692 pos, write_bytes,
Josef Bacikb63164292011-09-30 15:23:54 -04001693 force_page_uptodate);
Josef Bacik8b62f872017-10-19 14:15:55 -04001694 if (ret) {
1695 btrfs_delalloc_release_extents(BTRFS_I(inode),
Qu Wenruo8702ba92019-10-14 14:34:51 +08001696 reserve_bytes);
Josef Bacikd0215f32011-01-25 14:57:24 -05001697 break;
Josef Bacik8b62f872017-10-19 14:15:55 -04001698 }
Chris Mason39279cc2007-06-12 06:35:45 -04001699
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001700 extents_locked = lock_and_cleanup_extent_if_need(
1701 BTRFS_I(inode), pages,
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001702 num_pages, pos, write_bytes, &lockstart,
1703 &lockend, &cached_state);
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001704 if (extents_locked < 0) {
1705 if (extents_locked == -EAGAIN)
Miao Xie376cc682013-12-10 19:25:04 +08001706 goto again;
Josef Bacik8b62f872017-10-19 14:15:55 -04001707 btrfs_delalloc_release_extents(BTRFS_I(inode),
Qu Wenruo8702ba92019-10-14 14:34:51 +08001708 reserve_bytes);
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001709 ret = extents_locked;
Miao Xie376cc682013-12-10 19:25:04 +08001710 break;
Miao Xie376cc682013-12-10 19:25:04 +08001711 }
1712
Zhao Leiee22f0c2016-01-06 18:47:31 +08001713 copied = btrfs_copy_from_user(pos, write_bytes, pages, i);
Chris Masonb1bf8622011-02-28 09:52:08 -05001714
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001715 num_sectors = BTRFS_BYTES_TO_BLKS(fs_info, reserve_bytes);
Chris Mason56244ef2016-05-16 09:21:01 -07001716 dirty_sectors = round_up(copied + sector_offset,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001717 fs_info->sectorsize);
1718 dirty_sectors = BTRFS_BYTES_TO_BLKS(fs_info, dirty_sectors);
Chris Mason56244ef2016-05-16 09:21:01 -07001719
Chris Masonb1bf8622011-02-28 09:52:08 -05001720 /*
1721 * if we have trouble faulting in the pages, fall
1722 * back to one page at a time
1723 */
1724 if (copied < write_bytes)
1725 nrptrs = 1;
1726
Josef Bacikb63164292011-09-30 15:23:54 -04001727 if (copied == 0) {
1728 force_page_uptodate = true;
Chris Mason56244ef2016-05-16 09:21:01 -07001729 dirty_sectors = 0;
Chris Masonb1bf8622011-02-28 09:52:08 -05001730 dirty_pages = 0;
Josef Bacikb63164292011-09-30 15:23:54 -04001731 } else {
1732 force_page_uptodate = false;
David Sterbaed6078f2014-06-05 01:59:57 +02001733 dirty_pages = DIV_ROUND_UP(copied + offset,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001734 PAGE_SIZE);
Josef Bacikb63164292011-09-30 15:23:54 -04001735 }
Xin Zhong914ee292010-12-09 09:30:14 +00001736
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301737 if (num_sectors > dirty_sectors) {
Chris Mason8b8b08c2016-07-19 05:52:36 -07001738 /* release everything except the sectors we dirtied */
1739 release_bytes -= dirty_sectors <<
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001740 fs_info->sb->s_blocksize_bits;
Qu Wenruo485290a2015-10-29 17:28:46 +08001741 if (only_release_metadata) {
Nikolay Borisov691fa052017-02-20 13:50:42 +02001742 btrfs_delalloc_release_metadata(BTRFS_I(inode),
Qu Wenruo43b18592017-12-12 15:34:32 +08001743 release_bytes, true);
Qu Wenruo485290a2015-10-29 17:28:46 +08001744 } else {
1745 u64 __pos;
1746
Jeff Mahoneyda170662016-06-15 09:22:56 -04001747 __pos = round_down(pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001748 fs_info->sectorsize) +
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001749 (dirty_pages << PAGE_SHIFT);
Qu Wenruobc42bda2017-02-27 15:10:39 +08001750 btrfs_delalloc_release_space(inode,
1751 data_reserved, __pos,
Qu Wenruo43b18592017-12-12 15:34:32 +08001752 release_bytes, true);
Qu Wenruo485290a2015-10-29 17:28:46 +08001753 }
Xin Zhong914ee292010-12-09 09:30:14 +00001754 }
1755
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301756 release_bytes = round_up(copied + sector_offset,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001757 fs_info->sectorsize);
Miao Xie376cc682013-12-10 19:25:04 +08001758
1759 if (copied > 0)
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04001760 ret = btrfs_dirty_pages(inode, pages, dirty_pages,
Filipe Manana94f45072017-10-31 17:59:54 +00001761 pos, copied, &cached_state);
Filipe Mananac67d9702019-09-30 10:20:25 +01001762
1763 /*
1764 * If we have not locked the extent range, because the range's
1765 * start offset is >= i_size, we might still have a non-NULL
1766 * cached extent state, acquired while marking the extent range
1767 * as delalloc through btrfs_dirty_pages(). Therefore free any
1768 * possible cached extent state to avoid a memory leak.
1769 */
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001770 if (extents_locked)
Miao Xie376cc682013-12-10 19:25:04 +08001771 unlock_extent_cached(&BTRFS_I(inode)->io_tree,
David Sterbae43bbe52017-12-12 21:43:52 +01001772 lockstart, lockend, &cached_state);
Filipe Mananac67d9702019-09-30 10:20:25 +01001773 else
1774 free_extent_state(cached_state);
1775
Qu Wenruo8702ba92019-10-14 14:34:51 +08001776 btrfs_delalloc_release_extents(BTRFS_I(inode), reserve_bytes);
Miao Xief1de9682014-01-09 10:06:10 +08001777 if (ret) {
1778 btrfs_drop_pages(pages, num_pages);
Miao Xie376cc682013-12-10 19:25:04 +08001779 break;
Miao Xief1de9682014-01-09 10:06:10 +08001780 }
Chris Mason39279cc2007-06-12 06:35:45 -04001781
Josef Bacik7ee9e442013-06-21 16:37:03 -04001782 release_bytes = 0;
Miao Xie8257b2d2014-03-06 13:38:19 +08001783 if (only_release_metadata)
David Sterbaea14b57f2017-06-22 02:19:11 +02001784 btrfs_end_write_no_snapshotting(root);
Miao Xie8257b2d2014-03-06 13:38:19 +08001785
Josef Bacik7ee9e442013-06-21 16:37:03 -04001786 if (only_release_metadata && copied > 0) {
Jeff Mahoneyda170662016-06-15 09:22:56 -04001787 lockstart = round_down(pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001788 fs_info->sectorsize);
Jeff Mahoneyda170662016-06-15 09:22:56 -04001789 lockend = round_up(pos + copied,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001790 fs_info->sectorsize) - 1;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001791
1792 set_extent_bit(&BTRFS_I(inode)->io_tree, lockstart,
1793 lockend, EXTENT_NORESERVE, NULL,
1794 NULL, GFP_NOFS);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001795 }
1796
Miao Xief1de9682014-01-09 10:06:10 +08001797 btrfs_drop_pages(pages, num_pages);
1798
Josef Bacikd0215f32011-01-25 14:57:24 -05001799 cond_resched();
1800
Namjae Jeond0e1d662012-12-11 16:00:21 -08001801 balance_dirty_pages_ratelimited(inode->i_mapping);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001802 if (dirty_pages < (fs_info->nodesize >> PAGE_SHIFT) + 1)
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04001803 btrfs_btree_balance_dirty(fs_info);
Chris Mason39279cc2007-06-12 06:35:45 -04001804
Xin Zhong914ee292010-12-09 09:30:14 +00001805 pos += copied;
1806 num_written += copied;
Chris Mason39279cc2007-06-12 06:35:45 -04001807 }
Chris Mason5b92ee72008-01-03 13:46:11 -05001808
Chris Mason8c2383c2007-06-18 09:57:58 -04001809 kfree(pages);
Josef Bacikd0215f32011-01-25 14:57:24 -05001810
Josef Bacik7ee9e442013-06-21 16:37:03 -04001811 if (release_bytes) {
Miao Xie8257b2d2014-03-06 13:38:19 +08001812 if (only_release_metadata) {
David Sterbaea14b57f2017-06-22 02:19:11 +02001813 btrfs_end_write_no_snapshotting(root);
Nikolay Borisov691fa052017-02-20 13:50:42 +02001814 btrfs_delalloc_release_metadata(BTRFS_I(inode),
Qu Wenruo43b18592017-12-12 15:34:32 +08001815 release_bytes, true);
Miao Xie8257b2d2014-03-06 13:38:19 +08001816 } else {
Qu Wenruobc42bda2017-02-27 15:10:39 +08001817 btrfs_delalloc_release_space(inode, data_reserved,
1818 round_down(pos, fs_info->sectorsize),
Qu Wenruo43b18592017-12-12 15:34:32 +08001819 release_bytes, true);
Miao Xie8257b2d2014-03-06 13:38:19 +08001820 }
Josef Bacik7ee9e442013-06-21 16:37:03 -04001821 }
1822
Qu Wenruo364ecf32017-02-27 15:10:38 +08001823 extent_changeset_free(data_reserved);
Josef Bacikd0215f32011-01-25 14:57:24 -05001824 return num_written ? num_written : ret;
1825}
1826
Christoph Hellwig1af5bb42016-04-07 08:51:56 -07001827static ssize_t __btrfs_direct_write(struct kiocb *iocb, struct iov_iter *from)
Josef Bacikd0215f32011-01-25 14:57:24 -05001828{
1829 struct file *file = iocb->ki_filp;
Filipe Manana728404d2014-10-10 09:43:11 +01001830 struct inode *inode = file_inode(file);
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001831 loff_t pos;
Josef Bacikd0215f32011-01-25 14:57:24 -05001832 ssize_t written;
1833 ssize_t written_buffered;
1834 loff_t endbyte;
1835 int err;
1836
Christoph Hellwig1af5bb42016-04-07 08:51:56 -07001837 written = generic_file_direct_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001838
Al Viro0c949332014-03-22 06:51:37 -04001839 if (written < 0 || !iov_iter_count(from))
Josef Bacikd0215f32011-01-25 14:57:24 -05001840 return written;
1841
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001842 pos = iocb->ki_pos;
1843 written_buffered = btrfs_buffered_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001844 if (written_buffered < 0) {
1845 err = written_buffered;
1846 goto out;
1847 }
Filipe Manana075bdbd2014-10-09 21:18:55 +01001848 /*
1849 * Ensure all data is persisted. We want the next direct IO read to be
1850 * able to read what was just written.
1851 */
Josef Bacikd0215f32011-01-25 14:57:24 -05001852 endbyte = pos + written_buffered - 1;
Filipe Manana728404d2014-10-10 09:43:11 +01001853 err = btrfs_fdatawrite_range(inode, pos, endbyte);
Filipe Manana075bdbd2014-10-09 21:18:55 +01001854 if (err)
1855 goto out;
Filipe Manana728404d2014-10-10 09:43:11 +01001856 err = filemap_fdatawait_range(inode->i_mapping, pos, endbyte);
Josef Bacikd0215f32011-01-25 14:57:24 -05001857 if (err)
1858 goto out;
1859 written += written_buffered;
Al Viro867c4f92014-02-11 19:31:06 -05001860 iocb->ki_pos = pos + written_buffered;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001861 invalidate_mapping_pages(file->f_mapping, pos >> PAGE_SHIFT,
1862 endbyte >> PAGE_SHIFT);
Josef Bacikd0215f32011-01-25 14:57:24 -05001863out:
1864 return written ? written : err;
1865}
1866
Josef Bacik6c760c02012-11-09 10:53:21 -05001867static void update_time_for_write(struct inode *inode)
1868{
Deepa Dinamani95582b02018-05-08 19:36:02 -07001869 struct timespec64 now;
Josef Bacik6c760c02012-11-09 10:53:21 -05001870
1871 if (IS_NOCMTIME(inode))
1872 return;
1873
Deepa Dinamanic2050a42016-09-14 07:48:06 -07001874 now = current_time(inode);
Deepa Dinamani95582b02018-05-08 19:36:02 -07001875 if (!timespec64_equal(&inode->i_mtime, &now))
Josef Bacik6c760c02012-11-09 10:53:21 -05001876 inode->i_mtime = now;
1877
Deepa Dinamani95582b02018-05-08 19:36:02 -07001878 if (!timespec64_equal(&inode->i_ctime, &now))
Josef Bacik6c760c02012-11-09 10:53:21 -05001879 inode->i_ctime = now;
1880
1881 if (IS_I_VERSION(inode))
1882 inode_inc_iversion(inode);
1883}
1884
Al Virob30ac0f2014-04-03 14:29:04 -04001885static ssize_t btrfs_file_write_iter(struct kiocb *iocb,
1886 struct iov_iter *from)
Josef Bacikd0215f32011-01-25 14:57:24 -05001887{
1888 struct file *file = iocb->ki_filp;
Al Viro496ad9a2013-01-23 17:07:38 -05001889 struct inode *inode = file_inode(file);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001890 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacikd0215f32011-01-25 14:57:24 -05001891 struct btrfs_root *root = BTRFS_I(inode)->root;
Miao Xie0c1a98c2011-09-11 10:52:24 -04001892 u64 start_pos;
Qu Wenruo3ac0d7b2014-03-27 02:51:58 +00001893 u64 end_pos;
Josef Bacikd0215f32011-01-25 14:57:24 -05001894 ssize_t num_written = 0;
Omar Sandovalf50cb7a2019-08-15 14:04:03 -07001895 const bool sync = iocb->ki_flags & IOCB_DSYNC;
Al Viro3309dd02015-04-09 12:55:47 -04001896 ssize_t err;
Goldwyn Rodriguesff0fa732017-07-04 22:33:07 -05001897 loff_t pos;
Omar Sandovalc09767a2019-08-15 14:04:02 -07001898 size_t count;
Chandan Rajendra27772b62016-01-21 15:56:03 +05301899 loff_t oldsize;
1900 int clean_page = 0;
Josef Bacikd0215f32011-01-25 14:57:24 -05001901
Christoph Hellwig91f99432017-08-29 16:13:20 +02001902 if (!(iocb->ki_flags & IOCB_DIRECT) &&
1903 (iocb->ki_flags & IOCB_NOWAIT))
1904 return -EOPNOTSUPP;
1905
Goldwyn Rodrigues9cf35f62019-09-11 11:45:15 -05001906 if (iocb->ki_flags & IOCB_NOWAIT) {
1907 if (!inode_trylock(inode))
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05001908 return -EAGAIN;
Goldwyn Rodrigues9cf35f62019-09-11 11:45:15 -05001909 } else {
Goldwyn Rodriguesff0fa732017-07-04 22:33:07 -05001910 inode_lock(inode);
1911 }
1912
1913 err = generic_write_checks(iocb, from);
1914 if (err <= 0) {
1915 inode_unlock(inode);
1916 return err;
1917 }
1918
1919 pos = iocb->ki_pos;
Omar Sandovalc09767a2019-08-15 14:04:02 -07001920 count = iov_iter_count(from);
Goldwyn Rodriguesff0fa732017-07-04 22:33:07 -05001921 if (iocb->ki_flags & IOCB_NOWAIT) {
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05001922 /*
1923 * We will allocate space in case nodatacow is not set,
1924 * so bail
1925 */
1926 if (!(BTRFS_I(inode)->flags & (BTRFS_INODE_NODATACOW |
1927 BTRFS_INODE_PREALLOC)) ||
1928 check_can_nocow(BTRFS_I(inode), pos, &count) <= 0) {
1929 inode_unlock(inode);
1930 return -EAGAIN;
1931 }
Al Viro3309dd02015-04-09 12:55:47 -04001932 }
Josef Bacikd0215f32011-01-25 14:57:24 -05001933
Christoph Hellwigde1414a2015-01-14 10:42:36 +01001934 current->backing_dev_info = inode_to_bdi(inode);
Jan Kara5fa8e0a2015-05-21 16:05:53 +02001935 err = file_remove_privs(file);
Josef Bacikd0215f32011-01-25 14:57:24 -05001936 if (err) {
Al Viro59551022016-01-22 15:40:57 -05001937 inode_unlock(inode);
Josef Bacikd0215f32011-01-25 14:57:24 -05001938 goto out;
1939 }
1940
1941 /*
1942 * If BTRFS flips readonly due to some impossible error
1943 * (fs_info->fs_state now has BTRFS_SUPER_FLAG_ERROR),
1944 * although we have opened a file as writable, we have
1945 * to stop this write operation to ensure FS consistency.
1946 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001947 if (test_bit(BTRFS_FS_STATE_ERROR, &fs_info->fs_state)) {
Al Viro59551022016-01-22 15:40:57 -05001948 inode_unlock(inode);
Josef Bacikd0215f32011-01-25 14:57:24 -05001949 err = -EROFS;
1950 goto out;
1951 }
1952
Josef Bacik6c760c02012-11-09 10:53:21 -05001953 /*
1954 * We reserve space for updating the inode when we reserve space for the
1955 * extent we are going to write, so we will enospc out there. We don't
1956 * need to start yet another transaction to update the inode as we will
1957 * update the inode when we finish writing whatever data we write.
1958 */
1959 update_time_for_write(inode);
Josef Bacikd0215f32011-01-25 14:57:24 -05001960
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001961 start_pos = round_down(pos, fs_info->sectorsize);
Chandan Rajendra27772b62016-01-21 15:56:03 +05301962 oldsize = i_size_read(inode);
1963 if (start_pos > oldsize) {
Qu Wenruo3ac0d7b2014-03-27 02:51:58 +00001964 /* Expand hole size to cover write data, preventing empty gap */
Jeff Mahoneyda170662016-06-15 09:22:56 -04001965 end_pos = round_up(pos + count,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001966 fs_info->sectorsize);
Chandan Rajendra27772b62016-01-21 15:56:03 +05301967 err = btrfs_cont_expand(inode, oldsize, end_pos);
Miao Xie0c1a98c2011-09-11 10:52:24 -04001968 if (err) {
Al Viro59551022016-01-22 15:40:57 -05001969 inode_unlock(inode);
Miao Xie0c1a98c2011-09-11 10:52:24 -04001970 goto out;
1971 }
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001972 if (start_pos > round_up(oldsize, fs_info->sectorsize))
Chandan Rajendra27772b62016-01-21 15:56:03 +05301973 clean_page = 1;
Miao Xie0c1a98c2011-09-11 10:52:24 -04001974 }
1975
Josef Bacikb812ce22012-11-16 13:56:32 -05001976 if (sync)
1977 atomic_inc(&BTRFS_I(inode)->sync_writers);
1978
Al Viro2ba48ce2015-04-09 13:52:01 -04001979 if (iocb->ki_flags & IOCB_DIRECT) {
Christoph Hellwig1af5bb42016-04-07 08:51:56 -07001980 num_written = __btrfs_direct_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001981 } else {
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001982 num_written = btrfs_buffered_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001983 if (num_written > 0)
Al Viro867c4f92014-02-11 19:31:06 -05001984 iocb->ki_pos = pos + num_written;
Chandan Rajendra27772b62016-01-21 15:56:03 +05301985 if (clean_page)
1986 pagecache_isize_extended(inode, oldsize,
1987 i_size_read(inode));
Josef Bacikd0215f32011-01-25 14:57:24 -05001988 }
1989
Al Viro59551022016-01-22 15:40:57 -05001990 inode_unlock(inode);
Chris Mason2ff3e9b2007-10-29 14:36:41 -04001991
Chris Mason5a3f23d2009-03-31 13:27:11 -04001992 /*
Josef Bacik6c760c02012-11-09 10:53:21 -05001993 * We also have to set last_sub_trans to the current log transid,
1994 * otherwise subsequent syncs to a file that's been synced in this
Adam Buchbinderbb7ab3b2016-03-04 11:23:12 -08001995 * transaction will appear to have already occurred.
Chris Mason5a3f23d2009-03-31 13:27:11 -04001996 */
Filipe Manana2f2ff0e2015-03-20 17:19:46 +00001997 spin_lock(&BTRFS_I(inode)->lock);
Josef Bacik6c760c02012-11-09 10:53:21 -05001998 BTRFS_I(inode)->last_sub_trans = root->log_transid;
Filipe Manana2f2ff0e2015-03-20 17:19:46 +00001999 spin_unlock(&BTRFS_I(inode)->lock);
Christoph Hellwige2592212016-04-07 08:52:01 -07002000 if (num_written > 0)
2001 num_written = generic_write_sync(iocb, num_written);
Miao Xie0a3404d2013-01-28 12:34:55 +00002002
Josef Bacikb812ce22012-11-16 13:56:32 -05002003 if (sync)
2004 atomic_dec(&BTRFS_I(inode)->sync_writers);
Miao Xie0a3404d2013-01-28 12:34:55 +00002005out:
Chris Mason39279cc2007-06-12 06:35:45 -04002006 current->backing_dev_info = NULL;
Chris Mason39279cc2007-06-12 06:35:45 -04002007 return num_written ? num_written : err;
2008}
2009
Chris Masond3977122009-01-05 21:25:51 -05002010int btrfs_release_file(struct inode *inode, struct file *filp)
Mingminge1b81e62008-05-27 10:55:43 -04002011{
Josef Bacik23b5ec72017-07-24 15:14:25 -04002012 struct btrfs_file_private *private = filp->private_data;
2013
Josef Bacik23b5ec72017-07-24 15:14:25 -04002014 if (private && private->filldir_buf)
2015 kfree(private->filldir_buf);
2016 kfree(private);
2017 filp->private_data = NULL;
2018
Chris Masonf6dc45c2014-08-20 07:15:33 -07002019 /*
Andrea Gelmini52042d82018-11-28 12:05:13 +01002020 * ordered_data_close is set by setattr when we are about to truncate
Chris Masonf6dc45c2014-08-20 07:15:33 -07002021 * a file from a non-zero size to a zero size. This tries to
2022 * flush down new bytes that may have been written if the
2023 * application were using truncate to replace a file in place.
2024 */
2025 if (test_and_clear_bit(BTRFS_INODE_ORDERED_DATA_CLOSE,
2026 &BTRFS_I(inode)->runtime_flags))
2027 filemap_flush(inode->i_mapping);
Mingminge1b81e62008-05-27 10:55:43 -04002028 return 0;
2029}
2030
Filipe Manana669249e2014-09-02 11:09:58 +01002031static int start_ordered_ops(struct inode *inode, loff_t start, loff_t end)
2032{
2033 int ret;
Liu Bo343e4fc2017-11-15 16:10:28 -07002034 struct blk_plug plug;
Filipe Manana669249e2014-09-02 11:09:58 +01002035
Liu Bo343e4fc2017-11-15 16:10:28 -07002036 /*
2037 * This is only called in fsync, which would do synchronous writes, so
2038 * a plug can merge adjacent IOs as much as possible. Esp. in case of
2039 * multiple disks using raid profile, a large IO can be split to
2040 * several segments of stripe length (currently 64K).
2041 */
2042 blk_start_plug(&plug);
Filipe Manana669249e2014-09-02 11:09:58 +01002043 atomic_inc(&BTRFS_I(inode)->sync_writers);
Filipe Manana728404d2014-10-10 09:43:11 +01002044 ret = btrfs_fdatawrite_range(inode, start, end);
Filipe Manana669249e2014-09-02 11:09:58 +01002045 atomic_dec(&BTRFS_I(inode)->sync_writers);
Liu Bo343e4fc2017-11-15 16:10:28 -07002046 blk_finish_plug(&plug);
Filipe Manana669249e2014-09-02 11:09:58 +01002047
2048 return ret;
2049}
2050
Chris Masond352ac62008-09-29 15:18:18 -04002051/*
2052 * fsync call for both files and directories. This logs the inode into
2053 * the tree log instead of forcing full commits whenever possible.
2054 *
2055 * It needs to call filemap_fdatawait so that all ordered extent updates are
2056 * in the metadata btree are up to date for copying to the log.
2057 *
2058 * It drops the inode mutex before doing the tree log commit. This is an
2059 * important optimization for directories because holding the mutex prevents
2060 * new operations on the dir while we write to disk.
2061 */
Josef Bacik02c24a82011-07-16 20:44:56 -04002062int btrfs_sync_file(struct file *file, loff_t start, loff_t end, int datasync)
Chris Mason39279cc2007-06-12 06:35:45 -04002063{
Filipe Mananade17e792016-03-30 19:03:13 -04002064 struct dentry *dentry = file_dentry(file);
David Howells2b0143b2015-03-17 22:25:59 +00002065 struct inode *inode = d_inode(dentry);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002066 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Chris Mason39279cc2007-06-12 06:35:45 -04002067 struct btrfs_root *root = BTRFS_I(inode)->root;
Chris Mason39279cc2007-06-12 06:35:45 -04002068 struct btrfs_trans_handle *trans;
Miao Xie8b050d32014-02-20 18:08:58 +08002069 struct btrfs_log_ctx ctx;
Jeff Layton333427a2017-07-06 07:02:31 -04002070 int ret = 0, err;
Chris Mason39279cc2007-06-12 06:35:45 -04002071
liubo1abe9b82011-03-24 11:18:59 +00002072 trace_btrfs_sync_file(file, datasync);
Chris Mason257c62e2009-10-13 13:21:08 -04002073
Liu Boebb70442017-11-21 14:35:40 -07002074 btrfs_init_log_ctx(&ctx, inode);
2075
Miao Xie90abccf2012-09-13 04:53:47 -06002076 /*
2077 * We write the dirty pages in the range and wait until they complete
2078 * out of the ->i_mutex. If so, we can flush the dirty pages by
Josef Bacik2ab28f32012-10-12 15:27:49 -04002079 * multi-task, and make the performance up. See
2080 * btrfs_wait_ordered_range for an explanation of the ASYNC check.
Miao Xie90abccf2012-09-13 04:53:47 -06002081 */
Filipe Manana669249e2014-09-02 11:09:58 +01002082 ret = start_ordered_ops(inode, start, end);
Miao Xie90abccf2012-09-13 04:53:47 -06002083 if (ret)
Jeff Layton333427a2017-07-06 07:02:31 -04002084 goto out;
Miao Xie90abccf2012-09-13 04:53:47 -06002085
Al Viro59551022016-01-22 15:40:57 -05002086 inode_lock(inode);
Josef Bacikc4951442018-10-12 15:32:32 -04002087
2088 /*
2089 * We take the dio_sem here because the tree log stuff can race with
2090 * lockless dio writes and get an extent map logged for an extent we
2091 * never waited on. We need it this high up for lockdep reasons.
2092 */
2093 down_write(&BTRFS_I(inode)->dio_sem);
2094
Miao Xie2ecb7922012-09-06 04:04:27 -06002095 atomic_inc(&root->log_batch);
Josef Bacikb5e6c3e2018-05-23 11:58:33 -04002096
Filipe Manana669249e2014-09-02 11:09:58 +01002097 /*
Filipe Mananaba0b0842019-10-16 16:28:52 +01002098 * If the inode needs a full sync, make sure we use a full range to
2099 * avoid log tree corruption, due to hole detection racing with ordered
2100 * extent completion for adjacent ranges, and assertion failures during
2101 * hole detection. Do this while holding the inode lock, to avoid races
2102 * with other tasks.
2103 */
2104 if (test_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
2105 &BTRFS_I(inode)->runtime_flags)) {
2106 start = 0;
2107 end = LLONG_MAX;
2108 }
2109
2110 /*
Filipe Mananaaab15e82018-11-12 10:23:58 +00002111 * Before we acquired the inode's lock, someone may have dirtied more
2112 * pages in the target range. We need to make sure that writeback for
2113 * any such pages does not start while we are logging the inode, because
2114 * if it does, any of the following might happen when we are not doing a
2115 * full inode sync:
2116 *
2117 * 1) We log an extent after its writeback finishes but before its
2118 * checksums are added to the csum tree, leading to -EIO errors
2119 * when attempting to read the extent after a log replay.
2120 *
2121 * 2) We can end up logging an extent before its writeback finishes.
2122 * Therefore after the log replay we will have a file extent item
2123 * pointing to an unwritten extent (and no data checksums as well).
2124 *
2125 * So trigger writeback for any eventual new dirty pages and then we
2126 * wait for all ordered extents to complete below.
2127 */
2128 ret = start_ordered_ops(inode, start, end);
2129 if (ret) {
2130 inode_unlock(inode);
2131 goto out;
2132 }
2133
2134 /*
Josef Bacikb5e6c3e2018-05-23 11:58:33 -04002135 * We have to do this here to avoid the priority inversion of waiting on
Andrea Gelmini52042d82018-11-28 12:05:13 +01002136 * IO of a lower priority task while holding a transaction open.
Filipe Mananaba0b0842019-10-16 16:28:52 +01002137 *
2138 * Also, the range length can be represented by u64, we have to do the
2139 * typecasts to avoid signed overflow if it's [0, LLONG_MAX].
Filipe Manana669249e2014-09-02 11:09:58 +01002140 */
Filipe Mananaba0b0842019-10-16 16:28:52 +01002141 ret = btrfs_wait_ordered_range(inode, start, (u64)end - (u64)start + 1);
Filipe Manana669249e2014-09-02 11:09:58 +01002142 if (ret) {
Josef Bacikc4951442018-10-12 15:32:32 -04002143 up_write(&BTRFS_I(inode)->dio_sem);
Al Viro59551022016-01-22 15:40:57 -05002144 inode_unlock(inode);
Filipe Manana669249e2014-09-02 11:09:58 +01002145 goto out;
Josef Bacik0ef8b722013-10-25 16:13:35 -04002146 }
Miao Xie2ecb7922012-09-06 04:04:27 -06002147 atomic_inc(&root->log_batch);
Chris Mason257c62e2009-10-13 13:21:08 -04002148
Josef Bacika4abeea2011-04-11 17:25:13 -04002149 smp_mb();
Nikolay Borisov0f8939b2017-01-18 00:31:30 +02002150 if (btrfs_inode_in_log(BTRFS_I(inode), fs_info->generation) ||
David Sterbaca5788a2018-07-19 15:27:46 +02002151 BTRFS_I(inode)->last_trans <= fs_info->last_trans_committed) {
Josef Bacik5dc562c2012-08-17 13:14:17 -04002152 /*
Nicholas D Steeves01327612016-05-19 21:18:45 -04002153 * We've had everything committed since the last time we were
Josef Bacik5dc562c2012-08-17 13:14:17 -04002154 * modified so clear this flag in case it was set for whatever
2155 * reason, it's no longer relevant.
2156 */
2157 clear_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
2158 &BTRFS_I(inode)->runtime_flags);
Filipe Manana0596a902016-06-14 14:18:27 +01002159 /*
2160 * An ordered extent might have started before and completed
2161 * already with io errors, in which case the inode was not
2162 * updated and we end up here. So check the inode's mapping
Jeff Layton333427a2017-07-06 07:02:31 -04002163 * for any errors that might have happened since we last
2164 * checked called fsync.
Filipe Manana0596a902016-06-14 14:18:27 +01002165 */
Jeff Layton333427a2017-07-06 07:02:31 -04002166 ret = filemap_check_wb_err(inode->i_mapping, file->f_wb_err);
Josef Bacikc4951442018-10-12 15:32:32 -04002167 up_write(&BTRFS_I(inode)->dio_sem);
Al Viro59551022016-01-22 15:40:57 -05002168 inode_unlock(inode);
Josef Bacik15ee9bc2007-08-10 16:22:09 -04002169 goto out;
2170 }
Josef Bacik15ee9bc2007-08-10 16:22:09 -04002171
2172 /*
Josef Bacik5039edd2014-01-15 13:34:13 -05002173 * We use start here because we will need to wait on the IO to complete
2174 * in btrfs_sync_log, which could require joining a transaction (for
2175 * example checking cross references in the nocow path). If we use join
2176 * here we could get into a situation where we're waiting on IO to
2177 * happen that is blocked on a transaction trying to commit. With start
2178 * we inc the extwriter counter, so we wait for all extwriters to exit
Andrea Gelmini52042d82018-11-28 12:05:13 +01002179 * before we start blocking joiners. This comment is to keep somebody
Josef Bacik5039edd2014-01-15 13:34:13 -05002180 * from thinking they are super smart and changing this to
2181 * btrfs_join_transaction *cough*Josef*cough*.
2182 */
Yan, Zhenga22285a2010-05-16 10:48:46 -04002183 trans = btrfs_start_transaction(root, 0);
2184 if (IS_ERR(trans)) {
2185 ret = PTR_ERR(trans);
Josef Bacikc4951442018-10-12 15:32:32 -04002186 up_write(&BTRFS_I(inode)->dio_sem);
Al Viro59551022016-01-22 15:40:57 -05002187 inode_unlock(inode);
Chris Mason39279cc2007-06-12 06:35:45 -04002188 goto out;
2189 }
Chris Masone02119d2008-09-05 16:13:11 -04002190
Nikolay Borisove5b84f7a2018-02-27 17:37:18 +02002191 ret = btrfs_log_dentry_safe(trans, dentry, start, end, &ctx);
Josef Bacik02c24a82011-07-16 20:44:56 -04002192 if (ret < 0) {
Filipe David Borba Mananaa0634be2013-09-11 20:36:44 +01002193 /* Fallthrough and commit/free transaction. */
2194 ret = 1;
Josef Bacik02c24a82011-07-16 20:44:56 -04002195 }
Chris Mason49eb7e42008-09-11 15:53:12 -04002196
2197 /* we've logged all the items and now have a consistent
2198 * version of the file in the log. It is possible that
2199 * someone will come in and modify the file, but that's
2200 * fine because the log is consistent on disk, and we
2201 * have references to all of the file's extents
2202 *
2203 * It is possible that someone will come in and log the
2204 * file again, but that will end up using the synchronization
2205 * inside btrfs_sync_log to keep things safe.
2206 */
Josef Bacikc4951442018-10-12 15:32:32 -04002207 up_write(&BTRFS_I(inode)->dio_sem);
Al Viro59551022016-01-22 15:40:57 -05002208 inode_unlock(inode);
Chris Mason49eb7e42008-09-11 15:53:12 -04002209
Chris Mason257c62e2009-10-13 13:21:08 -04002210 if (ret != BTRFS_NO_LOG_SYNC) {
Josef Bacik0ef8b722013-10-25 16:13:35 -04002211 if (!ret) {
Miao Xie8b050d32014-02-20 18:08:58 +08002212 ret = btrfs_sync_log(trans, root, &ctx);
Josef Bacik0ef8b722013-10-25 16:13:35 -04002213 if (!ret) {
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002214 ret = btrfs_end_transaction(trans);
Josef Bacik0ef8b722013-10-25 16:13:35 -04002215 goto out;
Josef Bacik2ab28f32012-10-12 15:27:49 -04002216 }
Chris Mason257c62e2009-10-13 13:21:08 -04002217 }
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002218 ret = btrfs_commit_transaction(trans);
Chris Mason257c62e2009-10-13 13:21:08 -04002219 } else {
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002220 ret = btrfs_end_transaction(trans);
Chris Masone02119d2008-09-05 16:13:11 -04002221 }
Chris Mason39279cc2007-06-12 06:35:45 -04002222out:
Liu Boebb70442017-11-21 14:35:40 -07002223 ASSERT(list_empty(&ctx.list));
Jeff Layton333427a2017-07-06 07:02:31 -04002224 err = file_check_and_advance_wb_err(file);
2225 if (!ret)
2226 ret = err;
Roel Kluin014e4ac2010-01-29 10:42:11 +00002227 return ret > 0 ? -EIO : ret;
Chris Mason39279cc2007-06-12 06:35:45 -04002228}
2229
Alexey Dobriyanf0f37e2f2009-09-27 22:29:37 +04002230static const struct vm_operations_struct btrfs_file_vm_ops = {
Chris Mason92fee662007-07-25 12:31:35 -04002231 .fault = filemap_fault,
Kirill A. Shutemovf1820362014-04-07 15:37:19 -07002232 .map_pages = filemap_map_pages,
Chris Mason9ebefb182007-06-15 13:50:00 -04002233 .page_mkwrite = btrfs_page_mkwrite,
2234};
2235
2236static int btrfs_file_mmap(struct file *filp, struct vm_area_struct *vma)
2237{
Miao Xie058a4572010-05-20 07:21:50 +00002238 struct address_space *mapping = filp->f_mapping;
2239
2240 if (!mapping->a_ops->readpage)
2241 return -ENOEXEC;
2242
Chris Mason9ebefb182007-06-15 13:50:00 -04002243 file_accessed(filp);
Miao Xie058a4572010-05-20 07:21:50 +00002244 vma->vm_ops = &btrfs_file_vm_ops;
Miao Xie058a4572010-05-20 07:21:50 +00002245
Chris Mason9ebefb182007-06-15 13:50:00 -04002246 return 0;
2247}
2248
Nikolay Borisov35339c22017-02-20 13:50:46 +02002249static int hole_mergeable(struct btrfs_inode *inode, struct extent_buffer *leaf,
Josef Bacik2aaa6652012-08-29 14:27:18 -04002250 int slot, u64 start, u64 end)
2251{
2252 struct btrfs_file_extent_item *fi;
2253 struct btrfs_key key;
2254
2255 if (slot < 0 || slot >= btrfs_header_nritems(leaf))
2256 return 0;
2257
2258 btrfs_item_key_to_cpu(leaf, &key, slot);
Nikolay Borisov35339c22017-02-20 13:50:46 +02002259 if (key.objectid != btrfs_ino(inode) ||
Josef Bacik2aaa6652012-08-29 14:27:18 -04002260 key.type != BTRFS_EXTENT_DATA_KEY)
2261 return 0;
2262
2263 fi = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
2264
2265 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_REG)
2266 return 0;
2267
2268 if (btrfs_file_extent_disk_bytenr(leaf, fi))
2269 return 0;
2270
2271 if (key.offset == end)
2272 return 1;
2273 if (key.offset + btrfs_file_extent_num_bytes(leaf, fi) == start)
2274 return 1;
2275 return 0;
2276}
2277
Nikolay Borisova012a742017-02-20 13:50:47 +02002278static int fill_holes(struct btrfs_trans_handle *trans,
2279 struct btrfs_inode *inode,
2280 struct btrfs_path *path, u64 offset, u64 end)
Josef Bacik2aaa6652012-08-29 14:27:18 -04002281{
David Sterba3ffbd682018-06-29 10:56:42 +02002282 struct btrfs_fs_info *fs_info = trans->fs_info;
Nikolay Borisova012a742017-02-20 13:50:47 +02002283 struct btrfs_root *root = inode->root;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002284 struct extent_buffer *leaf;
2285 struct btrfs_file_extent_item *fi;
2286 struct extent_map *hole_em;
Nikolay Borisova012a742017-02-20 13:50:47 +02002287 struct extent_map_tree *em_tree = &inode->extent_tree;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002288 struct btrfs_key key;
2289 int ret;
2290
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002291 if (btrfs_fs_incompat(fs_info, NO_HOLES))
Josef Bacik16e75492013-10-22 12:18:51 -04002292 goto out;
2293
Nikolay Borisova012a742017-02-20 13:50:47 +02002294 key.objectid = btrfs_ino(inode);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002295 key.type = BTRFS_EXTENT_DATA_KEY;
2296 key.offset = offset;
2297
Josef Bacik2aaa6652012-08-29 14:27:18 -04002298 ret = btrfs_search_slot(trans, root, &key, path, 0, 1);
Josef Bacikf94480b2016-11-14 14:06:22 -05002299 if (ret <= 0) {
2300 /*
2301 * We should have dropped this offset, so if we find it then
2302 * something has gone horribly wrong.
2303 */
2304 if (ret == 0)
2305 ret = -EINVAL;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002306 return ret;
Josef Bacikf94480b2016-11-14 14:06:22 -05002307 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002308
2309 leaf = path->nodes[0];
Nikolay Borisova012a742017-02-20 13:50:47 +02002310 if (hole_mergeable(inode, leaf, path->slots[0] - 1, offset, end)) {
Josef Bacik2aaa6652012-08-29 14:27:18 -04002311 u64 num_bytes;
2312
2313 path->slots[0]--;
2314 fi = btrfs_item_ptr(leaf, path->slots[0],
2315 struct btrfs_file_extent_item);
2316 num_bytes = btrfs_file_extent_num_bytes(leaf, fi) +
2317 end - offset;
2318 btrfs_set_file_extent_num_bytes(leaf, fi, num_bytes);
2319 btrfs_set_file_extent_ram_bytes(leaf, fi, num_bytes);
2320 btrfs_set_file_extent_offset(leaf, fi, 0);
2321 btrfs_mark_buffer_dirty(leaf);
2322 goto out;
2323 }
2324
chandan1707e262014-07-01 12:04:28 +05302325 if (hole_mergeable(inode, leaf, path->slots[0], offset, end)) {
Josef Bacik2aaa6652012-08-29 14:27:18 -04002326 u64 num_bytes;
2327
Josef Bacik2aaa6652012-08-29 14:27:18 -04002328 key.offset = offset;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002329 btrfs_set_item_key_safe(fs_info, path, &key);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002330 fi = btrfs_item_ptr(leaf, path->slots[0],
2331 struct btrfs_file_extent_item);
2332 num_bytes = btrfs_file_extent_num_bytes(leaf, fi) + end -
2333 offset;
2334 btrfs_set_file_extent_num_bytes(leaf, fi, num_bytes);
2335 btrfs_set_file_extent_ram_bytes(leaf, fi, num_bytes);
2336 btrfs_set_file_extent_offset(leaf, fi, 0);
2337 btrfs_mark_buffer_dirty(leaf);
2338 goto out;
2339 }
2340 btrfs_release_path(path);
2341
Nikolay Borisova012a742017-02-20 13:50:47 +02002342 ret = btrfs_insert_file_extent(trans, root, btrfs_ino(inode),
David Sterbaf85b7372017-01-20 14:54:07 +01002343 offset, 0, 0, end - offset, 0, end - offset, 0, 0, 0);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002344 if (ret)
2345 return ret;
2346
2347out:
2348 btrfs_release_path(path);
2349
2350 hole_em = alloc_extent_map();
2351 if (!hole_em) {
2352 btrfs_drop_extent_cache(inode, offset, end - 1, 0);
Nikolay Borisova012a742017-02-20 13:50:47 +02002353 set_bit(BTRFS_INODE_NEEDS_FULL_SYNC, &inode->runtime_flags);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002354 } else {
2355 hole_em->start = offset;
2356 hole_em->len = end - offset;
Josef Bacikcc95bef2013-04-04 14:31:27 -04002357 hole_em->ram_bytes = hole_em->len;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002358 hole_em->orig_start = offset;
2359
2360 hole_em->block_start = EXTENT_MAP_HOLE;
2361 hole_em->block_len = 0;
Josef Bacikb4939682012-12-03 10:31:19 -05002362 hole_em->orig_block_len = 0;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002363 hole_em->bdev = fs_info->fs_devices->latest_bdev;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002364 hole_em->compress_type = BTRFS_COMPRESS_NONE;
2365 hole_em->generation = trans->transid;
2366
2367 do {
2368 btrfs_drop_extent_cache(inode, offset, end - 1, 0);
2369 write_lock(&em_tree->lock);
Josef Bacik09a2a8f92013-04-05 16:51:15 -04002370 ret = add_extent_mapping(em_tree, hole_em, 1);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002371 write_unlock(&em_tree->lock);
2372 } while (ret == -EEXIST);
2373 free_extent_map(hole_em);
2374 if (ret)
2375 set_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
Nikolay Borisova012a742017-02-20 13:50:47 +02002376 &inode->runtime_flags);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002377 }
2378
2379 return 0;
2380}
2381
Qu Wenruod7781542014-05-30 15:16:10 +08002382/*
2383 * Find a hole extent on given inode and change start/len to the end of hole
2384 * extent.(hole/vacuum extent whose em->start <= start &&
2385 * em->start + em->len > start)
2386 * When a hole extent is found, return 1 and modify start/len.
2387 */
2388static int find_first_non_hole(struct inode *inode, u64 *start, u64 *len)
2389{
Filipe Manana609805d2017-05-30 05:29:09 +01002390 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Qu Wenruod7781542014-05-30 15:16:10 +08002391 struct extent_map *em;
2392 int ret = 0;
2393
Filipe Manana609805d2017-05-30 05:29:09 +01002394 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0,
2395 round_down(*start, fs_info->sectorsize),
2396 round_up(*len, fs_info->sectorsize), 0);
Dan Carpenter99862772017-04-11 11:57:15 +03002397 if (IS_ERR(em))
2398 return PTR_ERR(em);
Qu Wenruod7781542014-05-30 15:16:10 +08002399
2400 /* Hole or vacuum extent(only exists in no-hole mode) */
2401 if (em->block_start == EXTENT_MAP_HOLE) {
2402 ret = 1;
2403 *len = em->start + em->len > *start + *len ?
2404 0 : *start + *len - em->start - em->len;
2405 *start = em->start + em->len;
2406 }
2407 free_extent_map(em);
2408 return ret;
2409}
2410
Filipe Mananaf27451f2017-10-25 11:55:28 +01002411static int btrfs_punch_hole_lock_range(struct inode *inode,
2412 const u64 lockstart,
2413 const u64 lockend,
2414 struct extent_state **cached_state)
2415{
2416 while (1) {
2417 struct btrfs_ordered_extent *ordered;
2418 int ret;
2419
2420 truncate_pagecache_range(inode, lockstart, lockend);
2421
2422 lock_extent_bits(&BTRFS_I(inode)->io_tree, lockstart, lockend,
2423 cached_state);
2424 ordered = btrfs_lookup_first_ordered_extent(inode, lockend);
2425
2426 /*
2427 * We need to make sure we have no ordered extents in this range
2428 * and nobody raced in and read a page in this range, if we did
2429 * we need to try again.
2430 */
2431 if ((!ordered ||
2432 (ordered->file_offset + ordered->len <= lockstart ||
2433 ordered->file_offset > lockend)) &&
David Sterba051c98e2018-03-07 15:33:22 +01002434 !filemap_range_has_page(inode->i_mapping,
2435 lockstart, lockend)) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01002436 if (ordered)
2437 btrfs_put_ordered_extent(ordered);
2438 break;
2439 }
2440 if (ordered)
2441 btrfs_put_ordered_extent(ordered);
2442 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart,
2443 lockend, cached_state);
2444 ret = btrfs_wait_ordered_range(inode, lockstart,
2445 lockend - lockstart + 1);
2446 if (ret)
2447 return ret;
2448 }
2449 return 0;
2450}
2451
Filipe Manana690a5db2019-07-05 11:09:50 +01002452static int btrfs_insert_clone_extent(struct btrfs_trans_handle *trans,
2453 struct inode *inode,
2454 struct btrfs_path *path,
2455 struct btrfs_clone_extent_info *clone_info,
2456 const u64 clone_len)
2457{
2458 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
2459 struct btrfs_root *root = BTRFS_I(inode)->root;
2460 struct btrfs_file_extent_item *extent;
2461 struct extent_buffer *leaf;
2462 struct btrfs_key key;
2463 int slot;
2464 struct btrfs_ref ref = { 0 };
2465 u64 ref_offset;
2466 int ret;
2467
2468 if (clone_len == 0)
2469 return 0;
2470
2471 if (clone_info->disk_offset == 0 &&
2472 btrfs_fs_incompat(fs_info, NO_HOLES))
2473 return 0;
2474
2475 key.objectid = btrfs_ino(BTRFS_I(inode));
2476 key.type = BTRFS_EXTENT_DATA_KEY;
2477 key.offset = clone_info->file_offset;
2478 ret = btrfs_insert_empty_item(trans, root, path, &key,
2479 clone_info->item_size);
2480 if (ret)
2481 return ret;
2482 leaf = path->nodes[0];
2483 slot = path->slots[0];
2484 write_extent_buffer(leaf, clone_info->extent_buf,
2485 btrfs_item_ptr_offset(leaf, slot),
2486 clone_info->item_size);
2487 extent = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
2488 btrfs_set_file_extent_offset(leaf, extent, clone_info->data_offset);
2489 btrfs_set_file_extent_num_bytes(leaf, extent, clone_len);
2490 btrfs_mark_buffer_dirty(leaf);
2491 btrfs_release_path(path);
2492
2493 /* If it's a hole, nothing more needs to be done. */
2494 if (clone_info->disk_offset == 0)
2495 return 0;
2496
2497 inode_add_bytes(inode, clone_len);
2498 btrfs_init_generic_ref(&ref, BTRFS_ADD_DELAYED_REF,
2499 clone_info->disk_offset,
2500 clone_info->disk_len, 0);
2501 ref_offset = clone_info->file_offset - clone_info->data_offset;
2502 btrfs_init_data_ref(&ref, root->root_key.objectid,
2503 btrfs_ino(BTRFS_I(inode)), ref_offset);
2504 ret = btrfs_inc_extent_ref(trans, &ref);
2505
2506 return ret;
2507}
2508
Filipe Manana9cba40a2019-06-28 23:11:26 +01002509/*
2510 * The respective range must have been previously locked, as well as the inode.
2511 * The end offset is inclusive (last byte of the range).
Filipe Manana690a5db2019-07-05 11:09:50 +01002512 * @clone_info is NULL for fallocate's hole punching and non-NULL for extent
2513 * cloning.
2514 * When cloning, we don't want to end up in a state where we dropped extents
2515 * without inserting a new one, so we must abort the transaction to avoid a
2516 * corruption.
Filipe Manana9cba40a2019-06-28 23:11:26 +01002517 */
Filipe Manana690a5db2019-07-05 11:09:50 +01002518int btrfs_punch_hole_range(struct inode *inode, struct btrfs_path *path,
2519 const u64 start, const u64 end,
2520 struct btrfs_clone_extent_info *clone_info,
2521 struct btrfs_trans_handle **trans_out)
Filipe Manana9cba40a2019-06-28 23:11:26 +01002522{
2523 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik2bd36e72019-08-22 15:14:33 -04002524 u64 min_size = btrfs_calc_insert_metadata_size(fs_info, 1);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002525 u64 ino_size = round_up(inode->i_size, fs_info->sectorsize);
2526 struct btrfs_root *root = BTRFS_I(inode)->root;
2527 struct btrfs_trans_handle *trans = NULL;
2528 struct btrfs_block_rsv *rsv;
2529 unsigned int rsv_count;
2530 u64 cur_offset;
2531 u64 drop_end;
2532 u64 len = end - start;
2533 int ret = 0;
2534
2535 if (end <= start)
2536 return -EINVAL;
2537
2538 rsv = btrfs_alloc_block_rsv(fs_info, BTRFS_BLOCK_RSV_TEMP);
2539 if (!rsv) {
2540 ret = -ENOMEM;
2541 goto out;
2542 }
Josef Bacik2bd36e72019-08-22 15:14:33 -04002543 rsv->size = btrfs_calc_insert_metadata_size(fs_info, 1);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002544 rsv->failfast = 1;
2545
2546 /*
2547 * 1 - update the inode
2548 * 1 - removing the extents in the range
Filipe Manana690a5db2019-07-05 11:09:50 +01002549 * 1 - adding the hole extent if no_holes isn't set or if we are cloning
2550 * an extent
Filipe Manana9cba40a2019-06-28 23:11:26 +01002551 */
Filipe Manana690a5db2019-07-05 11:09:50 +01002552 if (!btrfs_fs_incompat(fs_info, NO_HOLES) || clone_info)
2553 rsv_count = 3;
2554 else
2555 rsv_count = 2;
2556
Filipe Manana9cba40a2019-06-28 23:11:26 +01002557 trans = btrfs_start_transaction(root, rsv_count);
2558 if (IS_ERR(trans)) {
2559 ret = PTR_ERR(trans);
2560 trans = NULL;
2561 goto out_free;
2562 }
2563
2564 ret = btrfs_block_rsv_migrate(&fs_info->trans_block_rsv, rsv,
2565 min_size, false);
2566 BUG_ON(ret);
2567 trans->block_rsv = rsv;
2568
2569 cur_offset = start;
2570 while (cur_offset < end) {
2571 ret = __btrfs_drop_extents(trans, root, inode, path,
2572 cur_offset, end + 1, &drop_end,
2573 1, 0, 0, NULL);
Filipe Manana690a5db2019-07-05 11:09:50 +01002574 if (ret != -ENOSPC) {
2575 /*
2576 * When cloning we want to avoid transaction aborts when
2577 * nothing was done and we are attempting to clone parts
2578 * of inline extents, in such cases -EOPNOTSUPP is
2579 * returned by __btrfs_drop_extents() without having
2580 * changed anything in the file.
2581 */
2582 if (clone_info && ret && ret != -EOPNOTSUPP)
2583 btrfs_abort_transaction(trans, ret);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002584 break;
Filipe Manana690a5db2019-07-05 11:09:50 +01002585 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002586
2587 trans->block_rsv = &fs_info->trans_block_rsv;
2588
Filipe Manana690a5db2019-07-05 11:09:50 +01002589 if (!clone_info && cur_offset < drop_end &&
2590 cur_offset < ino_size) {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002591 ret = fill_holes(trans, BTRFS_I(inode), path,
2592 cur_offset, drop_end);
2593 if (ret) {
2594 /*
2595 * If we failed then we didn't insert our hole
2596 * entries for the area we dropped, so now the
2597 * fs is corrupted, so we must abort the
2598 * transaction.
2599 */
2600 btrfs_abort_transaction(trans, ret);
2601 break;
2602 }
2603 }
2604
Filipe Manana690a5db2019-07-05 11:09:50 +01002605 if (clone_info) {
2606 u64 clone_len = drop_end - cur_offset;
2607
2608 ret = btrfs_insert_clone_extent(trans, inode, path,
2609 clone_info, clone_len);
2610 if (ret) {
2611 btrfs_abort_transaction(trans, ret);
2612 break;
2613 }
2614 clone_info->data_len -= clone_len;
2615 clone_info->data_offset += clone_len;
2616 clone_info->file_offset += clone_len;
2617 }
2618
Filipe Manana9cba40a2019-06-28 23:11:26 +01002619 cur_offset = drop_end;
2620
2621 ret = btrfs_update_inode(trans, root, inode);
2622 if (ret)
2623 break;
2624
2625 btrfs_end_transaction(trans);
2626 btrfs_btree_balance_dirty(fs_info);
2627
2628 trans = btrfs_start_transaction(root, rsv_count);
2629 if (IS_ERR(trans)) {
2630 ret = PTR_ERR(trans);
2631 trans = NULL;
2632 break;
2633 }
2634
2635 ret = btrfs_block_rsv_migrate(&fs_info->trans_block_rsv,
2636 rsv, min_size, false);
2637 BUG_ON(ret); /* shouldn't happen */
2638 trans->block_rsv = rsv;
2639
Filipe Manana690a5db2019-07-05 11:09:50 +01002640 if (!clone_info) {
2641 ret = find_first_non_hole(inode, &cur_offset, &len);
2642 if (unlikely(ret < 0))
2643 break;
2644 if (ret && !len) {
2645 ret = 0;
2646 break;
2647 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002648 }
2649 }
2650
Filipe Manana690a5db2019-07-05 11:09:50 +01002651 /*
2652 * If we were cloning, force the next fsync to be a full one since we
2653 * we replaced (or just dropped in the case of cloning holes when
2654 * NO_HOLES is enabled) extents and extent maps.
2655 * This is for the sake of simplicity, and cloning into files larger
2656 * than 16Mb would force the full fsync any way (when
2657 * try_release_extent_mapping() is invoked during page cache truncation.
2658 */
2659 if (clone_info)
2660 set_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
2661 &BTRFS_I(inode)->runtime_flags);
2662
Filipe Manana9cba40a2019-06-28 23:11:26 +01002663 if (ret)
2664 goto out_trans;
2665
2666 trans->block_rsv = &fs_info->trans_block_rsv;
2667 /*
2668 * If we are using the NO_HOLES feature we might have had already an
2669 * hole that overlaps a part of the region [lockstart, lockend] and
2670 * ends at (or beyond) lockend. Since we have no file extent items to
2671 * represent holes, drop_end can be less than lockend and so we must
2672 * make sure we have an extent map representing the existing hole (the
2673 * call to __btrfs_drop_extents() might have dropped the existing extent
2674 * map representing the existing hole), otherwise the fast fsync path
2675 * will not record the existence of the hole region
2676 * [existing_hole_start, lockend].
2677 */
2678 if (drop_end <= end)
2679 drop_end = end + 1;
2680 /*
2681 * Don't insert file hole extent item if it's for a range beyond eof
2682 * (because it's useless) or if it represents a 0 bytes range (when
2683 * cur_offset == drop_end).
2684 */
Filipe Manana690a5db2019-07-05 11:09:50 +01002685 if (!clone_info && cur_offset < ino_size && cur_offset < drop_end) {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002686 ret = fill_holes(trans, BTRFS_I(inode), path,
2687 cur_offset, drop_end);
2688 if (ret) {
2689 /* Same comment as above. */
2690 btrfs_abort_transaction(trans, ret);
2691 goto out_trans;
2692 }
2693 }
Filipe Manana690a5db2019-07-05 11:09:50 +01002694 if (clone_info) {
2695 ret = btrfs_insert_clone_extent(trans, inode, path, clone_info,
2696 clone_info->data_len);
2697 if (ret) {
2698 btrfs_abort_transaction(trans, ret);
2699 goto out_trans;
2700 }
2701 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002702
2703out_trans:
2704 if (!trans)
2705 goto out_free;
2706
2707 trans->block_rsv = &fs_info->trans_block_rsv;
2708 if (ret)
2709 btrfs_end_transaction(trans);
2710 else
2711 *trans_out = trans;
2712out_free:
2713 btrfs_free_block_rsv(fs_info, rsv);
2714out:
2715 return ret;
2716}
2717
Josef Bacik2aaa6652012-08-29 14:27:18 -04002718static int btrfs_punch_hole(struct inode *inode, loff_t offset, loff_t len)
2719{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002720 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002721 struct btrfs_root *root = BTRFS_I(inode)->root;
2722 struct extent_state *cached_state = NULL;
2723 struct btrfs_path *path;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002724 struct btrfs_trans_handle *trans = NULL;
Qu Wenruod7781542014-05-30 15:16:10 +08002725 u64 lockstart;
2726 u64 lockend;
2727 u64 tail_start;
2728 u64 tail_len;
2729 u64 orig_start = offset;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002730 int ret = 0;
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302731 bool same_block;
Filipe Mananaa1a50f62014-04-26 01:35:31 +01002732 u64 ino_size;
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302733 bool truncated_block = false;
Filipe Mananae8c1c762015-02-15 22:38:54 +00002734 bool updated_inode = false;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002735
Josef Bacik0ef8b722013-10-25 16:13:35 -04002736 ret = btrfs_wait_ordered_range(inode, offset, len);
2737 if (ret)
2738 return ret;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002739
Al Viro59551022016-01-22 15:40:57 -05002740 inode_lock(inode);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002741 ino_size = round_up(inode->i_size, fs_info->sectorsize);
Qu Wenruod7781542014-05-30 15:16:10 +08002742 ret = find_first_non_hole(inode, &offset, &len);
2743 if (ret < 0)
2744 goto out_only_mutex;
2745 if (ret && !len) {
2746 /* Already in a large hole */
2747 ret = 0;
2748 goto out_only_mutex;
2749 }
2750
Jeff Mahoneyda170662016-06-15 09:22:56 -04002751 lockstart = round_up(offset, btrfs_inode_sectorsize(inode));
Qu Wenruod7781542014-05-30 15:16:10 +08002752 lockend = round_down(offset + len,
Jeff Mahoneyda170662016-06-15 09:22:56 -04002753 btrfs_inode_sectorsize(inode)) - 1;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002754 same_block = (BTRFS_BYTES_TO_BLKS(fs_info, offset))
2755 == (BTRFS_BYTES_TO_BLKS(fs_info, offset + len - 1));
Miao Xie7426cc02012-12-05 10:54:52 +00002756 /*
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302757 * We needn't truncate any block which is beyond the end of the file
Miao Xie7426cc02012-12-05 10:54:52 +00002758 * because we are sure there is no data there.
2759 */
Josef Bacik2aaa6652012-08-29 14:27:18 -04002760 /*
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302761 * Only do this if we are in the same block and we aren't doing the
2762 * entire block.
Josef Bacik2aaa6652012-08-29 14:27:18 -04002763 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002764 if (same_block && len < fs_info->sectorsize) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002765 if (offset < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302766 truncated_block = true;
2767 ret = btrfs_truncate_block(inode, offset, len, 0);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002768 } else {
2769 ret = 0;
2770 }
Qu Wenruod7781542014-05-30 15:16:10 +08002771 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002772 }
2773
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302774 /* zero back part of the first block */
Filipe Manana12870f12014-02-15 15:55:58 +00002775 if (offset < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302776 truncated_block = true;
2777 ret = btrfs_truncate_block(inode, offset, 0, 0);
Miao Xie7426cc02012-12-05 10:54:52 +00002778 if (ret) {
Al Viro59551022016-01-22 15:40:57 -05002779 inode_unlock(inode);
Miao Xie7426cc02012-12-05 10:54:52 +00002780 return ret;
2781 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002782 }
2783
Qu Wenruod7781542014-05-30 15:16:10 +08002784 /* Check the aligned pages after the first unaligned page,
2785 * if offset != orig_start, which means the first unaligned page
Nicholas D Steeves01327612016-05-19 21:18:45 -04002786 * including several following pages are already in holes,
Qu Wenruod7781542014-05-30 15:16:10 +08002787 * the extra check can be skipped */
2788 if (offset == orig_start) {
2789 /* after truncate page, check hole again */
2790 len = offset + len - lockstart;
2791 offset = lockstart;
2792 ret = find_first_non_hole(inode, &offset, &len);
2793 if (ret < 0)
2794 goto out_only_mutex;
2795 if (ret && !len) {
2796 ret = 0;
2797 goto out_only_mutex;
2798 }
2799 lockstart = offset;
2800 }
2801
2802 /* Check the tail unaligned part is in a hole */
2803 tail_start = lockend + 1;
2804 tail_len = offset + len - tail_start;
2805 if (tail_len) {
2806 ret = find_first_non_hole(inode, &tail_start, &tail_len);
2807 if (unlikely(ret < 0))
2808 goto out_only_mutex;
2809 if (!ret) {
2810 /* zero the front end of the last page */
2811 if (tail_start + tail_len < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302812 truncated_block = true;
2813 ret = btrfs_truncate_block(inode,
2814 tail_start + tail_len,
2815 0, 1);
Qu Wenruod7781542014-05-30 15:16:10 +08002816 if (ret)
2817 goto out_only_mutex;
Qu Wenruo51f395a2014-08-08 13:06:20 +08002818 }
Miao Xie00612802012-12-05 10:54:12 +00002819 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002820 }
2821
2822 if (lockend < lockstart) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002823 ret = 0;
2824 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002825 }
2826
Filipe Mananaf27451f2017-10-25 11:55:28 +01002827 ret = btrfs_punch_hole_lock_range(inode, lockstart, lockend,
2828 &cached_state);
Josef Bacik8fca9552019-05-03 11:10:06 -04002829 if (ret)
Filipe Mananaf27451f2017-10-25 11:55:28 +01002830 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002831
2832 path = btrfs_alloc_path();
2833 if (!path) {
2834 ret = -ENOMEM;
2835 goto out;
2836 }
2837
Filipe Manana690a5db2019-07-05 11:09:50 +01002838 ret = btrfs_punch_hole_range(inode, path, lockstart, lockend, NULL,
2839 &trans);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002840 btrfs_free_path(path);
2841 if (ret)
2842 goto out;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002843
Filipe Manana9cba40a2019-06-28 23:11:26 +01002844 ASSERT(trans != NULL);
Tsutomu Itohe1f57902012-11-08 04:47:33 +00002845 inode_inc_iversion(inode);
Deepa Dinamanic2050a42016-09-14 07:48:06 -07002846 inode->i_mtime = inode->i_ctime = current_time(inode);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002847 ret = btrfs_update_inode(trans, root, inode);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002848 updated_inode = true;
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002849 btrfs_end_transaction(trans);
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04002850 btrfs_btree_balance_dirty(fs_info);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002851out:
2852 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart, lockend,
David Sterbae43bbe52017-12-12 21:43:52 +01002853 &cached_state);
Qu Wenruod7781542014-05-30 15:16:10 +08002854out_only_mutex:
Filipe Manana9cba40a2019-06-28 23:11:26 +01002855 if (!updated_inode && truncated_block && !ret) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002856 /*
2857 * If we only end up zeroing part of a page, we still need to
2858 * update the inode item, so that all the time fields are
2859 * updated as well as the necessary btrfs inode in memory fields
2860 * for detecting, at fsync time, if the inode isn't yet in the
2861 * log tree or it's there but not up to date.
2862 */
Filipe Manana17900662019-06-19 13:05:50 +01002863 struct timespec64 now = current_time(inode);
2864
2865 inode_inc_iversion(inode);
2866 inode->i_mtime = now;
2867 inode->i_ctime = now;
Filipe Mananae8c1c762015-02-15 22:38:54 +00002868 trans = btrfs_start_transaction(root, 1);
2869 if (IS_ERR(trans)) {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002870 ret = PTR_ERR(trans);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002871 } else {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002872 int ret2;
2873
2874 ret = btrfs_update_inode(trans, root, inode);
2875 ret2 = btrfs_end_transaction(trans);
2876 if (!ret)
2877 ret = ret2;
Filipe Mananae8c1c762015-02-15 22:38:54 +00002878 }
2879 }
Al Viro59551022016-01-22 15:40:57 -05002880 inode_unlock(inode);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002881 return ret;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002882}
2883
Qu Wenruo14524a82015-09-08 17:22:44 +08002884/* Helper structure to record which range is already reserved */
2885struct falloc_range {
2886 struct list_head list;
2887 u64 start;
2888 u64 len;
2889};
2890
2891/*
2892 * Helper function to add falloc range
2893 *
2894 * Caller should have locked the larger range of extent containing
2895 * [start, len)
2896 */
2897static int add_falloc_range(struct list_head *head, u64 start, u64 len)
2898{
2899 struct falloc_range *prev = NULL;
2900 struct falloc_range *range = NULL;
2901
2902 if (list_empty(head))
2903 goto insert;
2904
2905 /*
2906 * As fallocate iterate by bytenr order, we only need to check
2907 * the last range.
2908 */
2909 prev = list_entry(head->prev, struct falloc_range, list);
2910 if (prev->start + prev->len == start) {
2911 prev->len += len;
2912 return 0;
2913 }
2914insert:
David Sterba32fc9322016-02-11 14:25:38 +01002915 range = kmalloc(sizeof(*range), GFP_KERNEL);
Qu Wenruo14524a82015-09-08 17:22:44 +08002916 if (!range)
2917 return -ENOMEM;
2918 range->start = start;
2919 range->len = len;
2920 list_add_tail(&range->list, head);
2921 return 0;
2922}
2923
Filipe Mananaf27451f2017-10-25 11:55:28 +01002924static int btrfs_fallocate_update_isize(struct inode *inode,
2925 const u64 end,
2926 const int mode)
2927{
2928 struct btrfs_trans_handle *trans;
2929 struct btrfs_root *root = BTRFS_I(inode)->root;
2930 int ret;
2931 int ret2;
2932
2933 if (mode & FALLOC_FL_KEEP_SIZE || end <= i_size_read(inode))
2934 return 0;
2935
2936 trans = btrfs_start_transaction(root, 1);
2937 if (IS_ERR(trans))
2938 return PTR_ERR(trans);
2939
2940 inode->i_ctime = current_time(inode);
2941 i_size_write(inode, end);
2942 btrfs_ordered_update_i_size(inode, end, NULL);
2943 ret = btrfs_update_inode(trans, root, inode);
2944 ret2 = btrfs_end_transaction(trans);
2945
2946 return ret ? ret : ret2;
2947}
2948
Filipe Manana81fdf632018-01-18 11:34:31 +00002949enum {
David Sterbaf262fa82019-06-18 20:00:08 +02002950 RANGE_BOUNDARY_WRITTEN_EXTENT,
2951 RANGE_BOUNDARY_PREALLOC_EXTENT,
2952 RANGE_BOUNDARY_HOLE,
Filipe Manana81fdf632018-01-18 11:34:31 +00002953};
2954
Filipe Mananaf27451f2017-10-25 11:55:28 +01002955static int btrfs_zero_range_check_range_boundary(struct inode *inode,
2956 u64 offset)
2957{
2958 const u64 sectorsize = btrfs_inode_sectorsize(inode);
2959 struct extent_map *em;
Filipe Manana81fdf632018-01-18 11:34:31 +00002960 int ret;
Filipe Mananaf27451f2017-10-25 11:55:28 +01002961
2962 offset = round_down(offset, sectorsize);
2963 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0, offset, sectorsize, 0);
2964 if (IS_ERR(em))
2965 return PTR_ERR(em);
2966
2967 if (em->block_start == EXTENT_MAP_HOLE)
Filipe Manana81fdf632018-01-18 11:34:31 +00002968 ret = RANGE_BOUNDARY_HOLE;
2969 else if (test_bit(EXTENT_FLAG_PREALLOC, &em->flags))
2970 ret = RANGE_BOUNDARY_PREALLOC_EXTENT;
2971 else
2972 ret = RANGE_BOUNDARY_WRITTEN_EXTENT;
Filipe Mananaf27451f2017-10-25 11:55:28 +01002973
2974 free_extent_map(em);
2975 return ret;
2976}
2977
2978static int btrfs_zero_range(struct inode *inode,
2979 loff_t offset,
2980 loff_t len,
2981 const int mode)
2982{
2983 struct btrfs_fs_info *fs_info = BTRFS_I(inode)->root->fs_info;
2984 struct extent_map *em;
2985 struct extent_changeset *data_reserved = NULL;
2986 int ret;
2987 u64 alloc_hint = 0;
2988 const u64 sectorsize = btrfs_inode_sectorsize(inode);
2989 u64 alloc_start = round_down(offset, sectorsize);
2990 u64 alloc_end = round_up(offset + len, sectorsize);
2991 u64 bytes_to_reserve = 0;
2992 bool space_reserved = false;
2993
2994 inode_dio_wait(inode);
2995
2996 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0,
2997 alloc_start, alloc_end - alloc_start, 0);
2998 if (IS_ERR(em)) {
2999 ret = PTR_ERR(em);
3000 goto out;
3001 }
3002
3003 /*
3004 * Avoid hole punching and extent allocation for some cases. More cases
3005 * could be considered, but these are unlikely common and we keep things
3006 * as simple as possible for now. Also, intentionally, if the target
3007 * range contains one or more prealloc extents together with regular
3008 * extents and holes, we drop all the existing extents and allocate a
3009 * new prealloc extent, so that we get a larger contiguous disk extent.
3010 */
3011 if (em->start <= alloc_start &&
3012 test_bit(EXTENT_FLAG_PREALLOC, &em->flags)) {
3013 const u64 em_end = em->start + em->len;
3014
3015 if (em_end >= offset + len) {
3016 /*
3017 * The whole range is already a prealloc extent,
3018 * do nothing except updating the inode's i_size if
3019 * needed.
3020 */
3021 free_extent_map(em);
3022 ret = btrfs_fallocate_update_isize(inode, offset + len,
3023 mode);
3024 goto out;
3025 }
3026 /*
3027 * Part of the range is already a prealloc extent, so operate
3028 * only on the remaining part of the range.
3029 */
3030 alloc_start = em_end;
3031 ASSERT(IS_ALIGNED(alloc_start, sectorsize));
3032 len = offset + len - alloc_start;
3033 offset = alloc_start;
3034 alloc_hint = em->block_start + em->len;
3035 }
3036 free_extent_map(em);
3037
3038 if (BTRFS_BYTES_TO_BLKS(fs_info, offset) ==
3039 BTRFS_BYTES_TO_BLKS(fs_info, offset + len - 1)) {
3040 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0,
3041 alloc_start, sectorsize, 0);
3042 if (IS_ERR(em)) {
3043 ret = PTR_ERR(em);
3044 goto out;
3045 }
3046
3047 if (test_bit(EXTENT_FLAG_PREALLOC, &em->flags)) {
3048 free_extent_map(em);
3049 ret = btrfs_fallocate_update_isize(inode, offset + len,
3050 mode);
3051 goto out;
3052 }
3053 if (len < sectorsize && em->block_start != EXTENT_MAP_HOLE) {
3054 free_extent_map(em);
3055 ret = btrfs_truncate_block(inode, offset, len, 0);
3056 if (!ret)
3057 ret = btrfs_fallocate_update_isize(inode,
3058 offset + len,
3059 mode);
3060 return ret;
3061 }
3062 free_extent_map(em);
3063 alloc_start = round_down(offset, sectorsize);
3064 alloc_end = alloc_start + sectorsize;
3065 goto reserve_space;
3066 }
3067
3068 alloc_start = round_up(offset, sectorsize);
3069 alloc_end = round_down(offset + len, sectorsize);
3070
3071 /*
3072 * For unaligned ranges, check the pages at the boundaries, they might
3073 * map to an extent, in which case we need to partially zero them, or
3074 * they might map to a hole, in which case we need our allocation range
3075 * to cover them.
3076 */
3077 if (!IS_ALIGNED(offset, sectorsize)) {
3078 ret = btrfs_zero_range_check_range_boundary(inode, offset);
3079 if (ret < 0)
3080 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003081 if (ret == RANGE_BOUNDARY_HOLE) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003082 alloc_start = round_down(offset, sectorsize);
3083 ret = 0;
Filipe Manana81fdf632018-01-18 11:34:31 +00003084 } else if (ret == RANGE_BOUNDARY_WRITTEN_EXTENT) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003085 ret = btrfs_truncate_block(inode, offset, 0, 0);
3086 if (ret)
3087 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003088 } else {
3089 ret = 0;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003090 }
3091 }
3092
3093 if (!IS_ALIGNED(offset + len, sectorsize)) {
3094 ret = btrfs_zero_range_check_range_boundary(inode,
3095 offset + len);
3096 if (ret < 0)
3097 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003098 if (ret == RANGE_BOUNDARY_HOLE) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003099 alloc_end = round_up(offset + len, sectorsize);
3100 ret = 0;
Filipe Manana81fdf632018-01-18 11:34:31 +00003101 } else if (ret == RANGE_BOUNDARY_WRITTEN_EXTENT) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003102 ret = btrfs_truncate_block(inode, offset + len, 0, 1);
3103 if (ret)
3104 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003105 } else {
3106 ret = 0;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003107 }
3108 }
3109
3110reserve_space:
3111 if (alloc_start < alloc_end) {
3112 struct extent_state *cached_state = NULL;
3113 const u64 lockstart = alloc_start;
3114 const u64 lockend = alloc_end - 1;
3115
3116 bytes_to_reserve = alloc_end - alloc_start;
3117 ret = btrfs_alloc_data_chunk_ondemand(BTRFS_I(inode),
3118 bytes_to_reserve);
3119 if (ret < 0)
3120 goto out;
3121 space_reserved = true;
3122 ret = btrfs_qgroup_reserve_data(inode, &data_reserved,
3123 alloc_start, bytes_to_reserve);
3124 if (ret)
3125 goto out;
3126 ret = btrfs_punch_hole_lock_range(inode, lockstart, lockend,
3127 &cached_state);
3128 if (ret)
3129 goto out;
3130 ret = btrfs_prealloc_file_range(inode, mode, alloc_start,
3131 alloc_end - alloc_start,
3132 i_blocksize(inode),
3133 offset + len, &alloc_hint);
3134 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart,
3135 lockend, &cached_state);
3136 /* btrfs_prealloc_file_range releases reserved space on error */
Filipe Manana9f13ce72018-01-18 11:34:20 +00003137 if (ret) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003138 space_reserved = false;
Filipe Manana9f13ce72018-01-18 11:34:20 +00003139 goto out;
3140 }
Filipe Mananaf27451f2017-10-25 11:55:28 +01003141 }
Filipe Manana9f13ce72018-01-18 11:34:20 +00003142 ret = btrfs_fallocate_update_isize(inode, offset + len, mode);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003143 out:
3144 if (ret && space_reserved)
3145 btrfs_free_reserved_data_space(inode, data_reserved,
3146 alloc_start, bytes_to_reserve);
3147 extent_changeset_free(data_reserved);
3148
3149 return ret;
3150}
3151
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003152static long btrfs_fallocate(struct file *file, int mode,
3153 loff_t offset, loff_t len)
3154{
Al Viro496ad9a2013-01-23 17:07:38 -05003155 struct inode *inode = file_inode(file);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003156 struct extent_state *cached_state = NULL;
Qu Wenruo364ecf32017-02-27 15:10:38 +08003157 struct extent_changeset *data_reserved = NULL;
Qu Wenruo14524a82015-09-08 17:22:44 +08003158 struct falloc_range *range;
3159 struct falloc_range *tmp;
3160 struct list_head reserve_list;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003161 u64 cur_offset;
3162 u64 last_byte;
3163 u64 alloc_start;
3164 u64 alloc_end;
3165 u64 alloc_hint = 0;
3166 u64 locked_end;
Qu Wenruo14524a82015-09-08 17:22:44 +08003167 u64 actual_end = 0;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003168 struct extent_map *em;
Jeff Mahoneyda170662016-06-15 09:22:56 -04003169 int blocksize = btrfs_inode_sectorsize(inode);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003170 int ret;
3171
Miao Xie797f4272012-11-28 10:28:07 +00003172 alloc_start = round_down(offset, blocksize);
3173 alloc_end = round_up(offset + len, blocksize);
Wang Xiaoguang18513092016-07-25 15:51:40 +08003174 cur_offset = alloc_start;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003175
Josef Bacik2aaa6652012-08-29 14:27:18 -04003176 /* Make sure we aren't being give some crap mode */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003177 if (mode & ~(FALLOC_FL_KEEP_SIZE | FALLOC_FL_PUNCH_HOLE |
3178 FALLOC_FL_ZERO_RANGE))
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003179 return -EOPNOTSUPP;
3180
Josef Bacik2aaa6652012-08-29 14:27:18 -04003181 if (mode & FALLOC_FL_PUNCH_HOLE)
3182 return btrfs_punch_hole(inode, offset, len);
3183
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003184 /*
Qu Wenruo14524a82015-09-08 17:22:44 +08003185 * Only trigger disk allocation, don't trigger qgroup reserve
3186 *
3187 * For qgroup space, it will be checked later.
Chris Masond98456f2012-01-31 20:27:41 -05003188 */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003189 if (!(mode & FALLOC_FL_ZERO_RANGE)) {
3190 ret = btrfs_alloc_data_chunk_ondemand(BTRFS_I(inode),
3191 alloc_end - alloc_start);
3192 if (ret < 0)
3193 return ret;
3194 }
Chris Masond98456f2012-01-31 20:27:41 -05003195
Al Viro59551022016-01-22 15:40:57 -05003196 inode_lock(inode);
Davide Italiano2a162ce2015-04-06 22:09:15 -07003197
3198 if (!(mode & FALLOC_FL_KEEP_SIZE) && offset + len > inode->i_size) {
3199 ret = inode_newsize_ok(inode, offset + len);
3200 if (ret)
3201 goto out;
3202 }
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003203
Qu Wenruo14524a82015-09-08 17:22:44 +08003204 /*
3205 * TODO: Move these two operations after we have checked
3206 * accurate reserved space, or fallocate can still fail but
3207 * with page truncated or size expanded.
3208 *
3209 * But that's a minor problem and won't do much harm BTW.
3210 */
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003211 if (alloc_start > inode->i_size) {
Josef Bacika41ad392011-01-31 15:30:16 -05003212 ret = btrfs_cont_expand(inode, i_size_read(inode),
3213 alloc_start);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003214 if (ret)
3215 goto out;
Qu Wenruo0f6925f2015-10-14 15:26:13 +08003216 } else if (offset + len > inode->i_size) {
Josef Bacika71754f2013-06-17 17:14:39 -04003217 /*
3218 * If we are fallocating from the end of the file onward we
Chandan Rajendra9703fef2016-01-21 15:55:56 +05303219 * need to zero out the end of the block if i_size lands in the
3220 * middle of a block.
Josef Bacika71754f2013-06-17 17:14:39 -04003221 */
Chandan Rajendra9703fef2016-01-21 15:55:56 +05303222 ret = btrfs_truncate_block(inode, inode->i_size, 0, 0);
Josef Bacika71754f2013-06-17 17:14:39 -04003223 if (ret)
3224 goto out;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003225 }
3226
Josef Bacika71754f2013-06-17 17:14:39 -04003227 /*
3228 * wait for ordered IO before we have any locks. We'll loop again
3229 * below with the locks held.
3230 */
Josef Bacik0ef8b722013-10-25 16:13:35 -04003231 ret = btrfs_wait_ordered_range(inode, alloc_start,
3232 alloc_end - alloc_start);
3233 if (ret)
3234 goto out;
Josef Bacika71754f2013-06-17 17:14:39 -04003235
Filipe Mananaf27451f2017-10-25 11:55:28 +01003236 if (mode & FALLOC_FL_ZERO_RANGE) {
3237 ret = btrfs_zero_range(inode, offset, len, mode);
3238 inode_unlock(inode);
3239 return ret;
3240 }
3241
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003242 locked_end = alloc_end - 1;
3243 while (1) {
3244 struct btrfs_ordered_extent *ordered;
3245
3246 /* the extent lock is ordered inside the running
3247 * transaction
3248 */
3249 lock_extent_bits(&BTRFS_I(inode)->io_tree, alloc_start,
David Sterbaff13db42015-12-03 14:30:40 +01003250 locked_end, &cached_state);
Nikolay Borisov96b09dd2017-11-01 11:36:05 +02003251 ordered = btrfs_lookup_first_ordered_extent(inode, locked_end);
3252
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003253 if (ordered &&
3254 ordered->file_offset + ordered->len > alloc_start &&
3255 ordered->file_offset < alloc_end) {
3256 btrfs_put_ordered_extent(ordered);
3257 unlock_extent_cached(&BTRFS_I(inode)->io_tree,
3258 alloc_start, locked_end,
David Sterbae43bbe52017-12-12 21:43:52 +01003259 &cached_state);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003260 /*
3261 * we can't wait on the range with the transaction
3262 * running or with the extent lock held
3263 */
Josef Bacik0ef8b722013-10-25 16:13:35 -04003264 ret = btrfs_wait_ordered_range(inode, alloc_start,
3265 alloc_end - alloc_start);
3266 if (ret)
3267 goto out;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003268 } else {
3269 if (ordered)
3270 btrfs_put_ordered_extent(ordered);
3271 break;
3272 }
3273 }
3274
Qu Wenruo14524a82015-09-08 17:22:44 +08003275 /* First, check if we exceed the qgroup limit */
3276 INIT_LIST_HEAD(&reserve_list);
Nikolay Borisov6b7d6e92017-11-01 11:32:18 +02003277 while (cur_offset < alloc_end) {
Nikolay Borisovfc4f21b12017-02-20 13:51:06 +02003278 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0, cur_offset,
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003279 alloc_end - cur_offset, 0);
Dan Carpenter99862772017-04-11 11:57:15 +03003280 if (IS_ERR(em)) {
3281 ret = PTR_ERR(em);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01003282 break;
3283 }
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003284 last_byte = min(extent_map_end(em), alloc_end);
Josef Bacikf1e490a2011-08-18 10:36:39 -04003285 actual_end = min_t(u64, extent_map_end(em), offset + len);
Miao Xie797f4272012-11-28 10:28:07 +00003286 last_byte = ALIGN(last_byte, blocksize);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003287 if (em->block_start == EXTENT_MAP_HOLE ||
3288 (cur_offset >= inode->i_size &&
3289 !test_bit(EXTENT_FLAG_PREALLOC, &em->flags))) {
Qu Wenruo14524a82015-09-08 17:22:44 +08003290 ret = add_falloc_range(&reserve_list, cur_offset,
3291 last_byte - cur_offset);
3292 if (ret < 0) {
3293 free_extent_map(em);
3294 break;
Filipe Manana3d850dd2015-03-12 23:23:13 +00003295 }
Qu Wenruo364ecf32017-02-27 15:10:38 +08003296 ret = btrfs_qgroup_reserve_data(inode, &data_reserved,
3297 cur_offset, last_byte - cur_offset);
Filipe Mananabe2d2532017-04-03 15:57:17 +01003298 if (ret < 0) {
Robbie Ko39ad3172019-03-26 11:56:11 +08003299 cur_offset = last_byte;
Filipe Mananabe2d2532017-04-03 15:57:17 +01003300 free_extent_map(em);
Qu Wenruo14524a82015-09-08 17:22:44 +08003301 break;
Filipe Mananabe2d2532017-04-03 15:57:17 +01003302 }
Wang Xiaoguang18513092016-07-25 15:51:40 +08003303 } else {
3304 /*
3305 * Do not need to reserve unwritten extent for this
3306 * range, free reserved data space first, otherwise
3307 * it'll result in false ENOSPC error.
3308 */
Qu Wenruobc42bda2017-02-27 15:10:39 +08003309 btrfs_free_reserved_data_space(inode, data_reserved,
3310 cur_offset, last_byte - cur_offset);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003311 }
3312 free_extent_map(em);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003313 cur_offset = last_byte;
Qu Wenruo14524a82015-09-08 17:22:44 +08003314 }
3315
3316 /*
3317 * If ret is still 0, means we're OK to fallocate.
3318 * Or just cleanup the list and exit.
3319 */
3320 list_for_each_entry_safe(range, tmp, &reserve_list, list) {
3321 if (!ret)
3322 ret = btrfs_prealloc_file_range(inode, mode,
3323 range->start,
Fabian Frederick93407472017-02-27 14:28:32 -08003324 range->len, i_blocksize(inode),
Qu Wenruo14524a82015-09-08 17:22:44 +08003325 offset + len, &alloc_hint);
Wang Xiaoguang18513092016-07-25 15:51:40 +08003326 else
Qu Wenruobc42bda2017-02-27 15:10:39 +08003327 btrfs_free_reserved_data_space(inode,
3328 data_reserved, range->start,
3329 range->len);
Qu Wenruo14524a82015-09-08 17:22:44 +08003330 list_del(&range->list);
3331 kfree(range);
3332 }
3333 if (ret < 0)
3334 goto out_unlock;
3335
Filipe Mananaf27451f2017-10-25 11:55:28 +01003336 /*
3337 * We didn't need to allocate any more space, but we still extended the
3338 * size of the file so we need to update i_size and the inode item.
3339 */
3340 ret = btrfs_fallocate_update_isize(inode, actual_end, mode);
Qu Wenruo14524a82015-09-08 17:22:44 +08003341out_unlock:
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003342 unlock_extent_cached(&BTRFS_I(inode)->io_tree, alloc_start, locked_end,
David Sterbae43bbe52017-12-12 21:43:52 +01003343 &cached_state);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003344out:
Al Viro59551022016-01-22 15:40:57 -05003345 inode_unlock(inode);
Chris Masond98456f2012-01-31 20:27:41 -05003346 /* Let go of our reservation. */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003347 if (ret != 0 && !(mode & FALLOC_FL_ZERO_RANGE))
Qu Wenruobc42bda2017-02-27 15:10:39 +08003348 btrfs_free_reserved_data_space(inode, data_reserved,
Robbie Ko39ad3172019-03-26 11:56:11 +08003349 cur_offset, alloc_end - cur_offset);
Qu Wenruo364ecf32017-02-27 15:10:38 +08003350 extent_changeset_free(data_reserved);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003351 return ret;
3352}
3353
Andrew Morton965c8e52012-12-17 15:59:39 -08003354static int find_desired_extent(struct inode *inode, loff_t *offset, int whence)
Josef Bacikb2675152011-07-18 13:21:36 -04003355{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003356 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik7f4ca372013-10-18 11:44:46 -04003357 struct extent_map *em = NULL;
Josef Bacikb2675152011-07-18 13:21:36 -04003358 struct extent_state *cached_state = NULL;
Liu Bo4d1a40c2014-09-16 17:49:30 +08003359 u64 lockstart;
3360 u64 lockend;
3361 u64 start;
3362 u64 len;
Josef Bacikb2675152011-07-18 13:21:36 -04003363 int ret = 0;
3364
Josef Bacikb2675152011-07-18 13:21:36 -04003365 if (inode->i_size == 0)
3366 return -ENXIO;
3367
Liu Bo4d1a40c2014-09-16 17:49:30 +08003368 /*
3369 * *offset can be negative, in this case we start finding DATA/HOLE from
3370 * the very start of the file.
3371 */
3372 start = max_t(loff_t, 0, *offset);
3373
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003374 lockstart = round_down(start, fs_info->sectorsize);
Jeff Mahoneyda170662016-06-15 09:22:56 -04003375 lockend = round_up(i_size_read(inode),
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003376 fs_info->sectorsize);
Liu Bo4d1a40c2014-09-16 17:49:30 +08003377 if (lockend <= lockstart)
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003378 lockend = lockstart + fs_info->sectorsize;
Liu Bo4d1a40c2014-09-16 17:49:30 +08003379 lockend--;
3380 len = lockend - lockstart + 1;
3381
David Sterbaff13db42015-12-03 14:30:40 +01003382 lock_extent_bits(&BTRFS_I(inode)->io_tree, lockstart, lockend,
Jeff Mahoneyd0082372012-03-01 14:57:19 +01003383 &cached_state);
Josef Bacikb2675152011-07-18 13:21:36 -04003384
Josef Bacik7f4ca372013-10-18 11:44:46 -04003385 while (start < inode->i_size) {
Nikolay Borisov4ab47a82018-12-12 09:42:32 +02003386 em = btrfs_get_extent_fiemap(BTRFS_I(inode), start, len);
Josef Bacikb2675152011-07-18 13:21:36 -04003387 if (IS_ERR(em)) {
Jeff Liu6af021d2012-02-09 14:25:50 +08003388 ret = PTR_ERR(em);
Josef Bacik7f4ca372013-10-18 11:44:46 -04003389 em = NULL;
Josef Bacikb2675152011-07-18 13:21:36 -04003390 break;
3391 }
3392
Josef Bacik7f4ca372013-10-18 11:44:46 -04003393 if (whence == SEEK_HOLE &&
3394 (em->block_start == EXTENT_MAP_HOLE ||
3395 test_bit(EXTENT_FLAG_PREALLOC, &em->flags)))
3396 break;
3397 else if (whence == SEEK_DATA &&
3398 (em->block_start != EXTENT_MAP_HOLE &&
3399 !test_bit(EXTENT_FLAG_PREALLOC, &em->flags)))
3400 break;
Josef Bacikb2675152011-07-18 13:21:36 -04003401
3402 start = em->start + em->len;
Josef Bacikb2675152011-07-18 13:21:36 -04003403 free_extent_map(em);
Josef Bacik7f4ca372013-10-18 11:44:46 -04003404 em = NULL;
Josef Bacikb2675152011-07-18 13:21:36 -04003405 cond_resched();
3406 }
Josef Bacik7f4ca372013-10-18 11:44:46 -04003407 free_extent_map(em);
3408 if (!ret) {
3409 if (whence == SEEK_DATA && start >= inode->i_size)
3410 ret = -ENXIO;
3411 else
3412 *offset = min_t(loff_t, start, inode->i_size);
3413 }
Josef Bacikb2675152011-07-18 13:21:36 -04003414 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart, lockend,
David Sterbae43bbe52017-12-12 21:43:52 +01003415 &cached_state);
Josef Bacikb2675152011-07-18 13:21:36 -04003416 return ret;
3417}
3418
Andrew Morton965c8e52012-12-17 15:59:39 -08003419static loff_t btrfs_file_llseek(struct file *file, loff_t offset, int whence)
Josef Bacikb2675152011-07-18 13:21:36 -04003420{
3421 struct inode *inode = file->f_mapping->host;
3422 int ret;
3423
Al Viro59551022016-01-22 15:40:57 -05003424 inode_lock(inode);
Andrew Morton965c8e52012-12-17 15:59:39 -08003425 switch (whence) {
Josef Bacikb2675152011-07-18 13:21:36 -04003426 case SEEK_END:
3427 case SEEK_CUR:
Andrew Morton965c8e52012-12-17 15:59:39 -08003428 offset = generic_file_llseek(file, offset, whence);
Josef Bacikb2675152011-07-18 13:21:36 -04003429 goto out;
3430 case SEEK_DATA:
3431 case SEEK_HOLE:
Jeff Liu48802c82011-09-18 10:34:02 -04003432 if (offset >= i_size_read(inode)) {
Al Viro59551022016-01-22 15:40:57 -05003433 inode_unlock(inode);
Jeff Liu48802c82011-09-18 10:34:02 -04003434 return -ENXIO;
3435 }
3436
Andrew Morton965c8e52012-12-17 15:59:39 -08003437 ret = find_desired_extent(inode, &offset, whence);
Josef Bacikb2675152011-07-18 13:21:36 -04003438 if (ret) {
Al Viro59551022016-01-22 15:40:57 -05003439 inode_unlock(inode);
Josef Bacikb2675152011-07-18 13:21:36 -04003440 return ret;
3441 }
3442 }
3443
Jie Liu46a1c2c2013-06-25 12:02:13 +08003444 offset = vfs_setpos(file, offset, inode->i_sb->s_maxbytes);
Josef Bacikb2675152011-07-18 13:21:36 -04003445out:
Al Viro59551022016-01-22 15:40:57 -05003446 inode_unlock(inode);
Josef Bacikb2675152011-07-18 13:21:36 -04003447 return offset;
3448}
3449
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003450static int btrfs_file_open(struct inode *inode, struct file *filp)
3451{
Christoph Hellwig91f99432017-08-29 16:13:20 +02003452 filp->f_mode |= FMODE_NOWAIT;
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003453 return generic_file_open(inode, filp);
3454}
3455
Alexey Dobriyan828c0952009-10-01 15:43:56 -07003456const struct file_operations btrfs_file_operations = {
Josef Bacikb2675152011-07-18 13:21:36 -04003457 .llseek = btrfs_file_llseek,
Al Viroaad4f8b2014-04-02 14:33:16 -04003458 .read_iter = generic_file_read_iter,
Chris Masone9906a92007-12-14 12:56:58 -05003459 .splice_read = generic_file_splice_read,
Al Virob30ac0f2014-04-03 14:29:04 -04003460 .write_iter = btrfs_file_write_iter,
Chris Mason9ebefb182007-06-15 13:50:00 -04003461 .mmap = btrfs_file_mmap,
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003462 .open = btrfs_file_open,
Mingminge1b81e62008-05-27 10:55:43 -04003463 .release = btrfs_release_file,
Chris Mason39279cc2007-06-12 06:35:45 -04003464 .fsync = btrfs_sync_file,
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003465 .fallocate = btrfs_fallocate,
Christoph Hellwig34287aa2007-09-14 10:22:47 -04003466 .unlocked_ioctl = btrfs_ioctl,
Chris Mason39279cc2007-06-12 06:35:45 -04003467#ifdef CONFIG_COMPAT
Luke Dashjr4c63c242015-10-29 08:22:21 +00003468 .compat_ioctl = btrfs_compat_ioctl,
Chris Mason39279cc2007-06-12 06:35:45 -04003469#endif
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11003470 .remap_file_range = btrfs_remap_file_range,
Chris Mason39279cc2007-06-12 06:35:45 -04003471};
Miao Xie9247f312012-11-26 09:24:43 +00003472
David Sterbae67c7182018-02-19 17:24:18 +01003473void __cold btrfs_auto_defrag_exit(void)
Miao Xie9247f312012-11-26 09:24:43 +00003474{
Kinglong Mee5598e902016-01-29 21:36:35 +08003475 kmem_cache_destroy(btrfs_inode_defrag_cachep);
Miao Xie9247f312012-11-26 09:24:43 +00003476}
3477
Liu Bof5c29bd2017-11-02 17:21:50 -06003478int __init btrfs_auto_defrag_init(void)
Miao Xie9247f312012-11-26 09:24:43 +00003479{
3480 btrfs_inode_defrag_cachep = kmem_cache_create("btrfs_inode_defrag",
3481 sizeof(struct inode_defrag), 0,
Nikolay Borisovfba4b692016-06-23 21:17:08 +03003482 SLAB_MEM_SPREAD,
Miao Xie9247f312012-11-26 09:24:43 +00003483 NULL);
3484 if (!btrfs_inode_defrag_cachep)
3485 return -ENOMEM;
3486
3487 return 0;
3488}
Filipe Manana728404d2014-10-10 09:43:11 +01003489
3490int btrfs_fdatawrite_range(struct inode *inode, loff_t start, loff_t end)
3491{
3492 int ret;
3493
3494 /*
3495 * So with compression we will find and lock a dirty page and clear the
3496 * first one as dirty, setup an async extent, and immediately return
3497 * with the entire range locked but with nobody actually marked with
3498 * writeback. So we can't just filemap_write_and_wait_range() and
3499 * expect it to work since it will just kick off a thread to do the
3500 * actual work. So we need to call filemap_fdatawrite_range _again_
3501 * since it will wait on the page lock, which won't be unlocked until
3502 * after the pages have been marked as writeback and so we're good to go
3503 * from there. We have to do this otherwise we'll miss the ordered
3504 * extents and that results in badness. Please Josef, do not think you
3505 * know better and pull this out at some point in the future, it is
3506 * right and you are wrong.
3507 */
3508 ret = filemap_fdatawrite_range(inode->i_mapping, start, end);
3509 if (!ret && test_bit(BTRFS_INODE_HAS_ASYNC_EXTENT,
3510 &BTRFS_I(inode)->runtime_flags))
3511 ret = filemap_fdatawrite_range(inode->i_mapping, start, end);
3512
3513 return ret;
3514}