blob: b0d2c976587e523c070a6d41df05fefeeead226b [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"
Filipe Manana6a177382020-02-28 13:04:17 +000030#include "reflink.h"
Chris Mason39279cc2007-06-12 06:35:45 -040031
Miao Xie9247f312012-11-26 09:24:43 +000032static struct kmem_cache *btrfs_inode_defrag_cachep;
Chris Mason4cb53002011-05-24 15:35:30 -040033/*
34 * when auto defrag is enabled we
35 * queue up these defrag structs to remember which
36 * inodes need defragging passes
37 */
38struct inode_defrag {
39 struct rb_node rb_node;
40 /* objectid */
41 u64 ino;
42 /*
43 * transid where the defrag was added, we search for
44 * extents newer than this
45 */
46 u64 transid;
47
48 /* root objectid */
49 u64 root;
50
51 /* last offset we were able to defrag */
52 u64 last_offset;
53
54 /* if we've wrapped around back to zero once already */
55 int cycled;
56};
57
Miao Xie762f2262012-05-24 18:58:27 +080058static int __compare_inode_defrag(struct inode_defrag *defrag1,
59 struct inode_defrag *defrag2)
60{
61 if (defrag1->root > defrag2->root)
62 return 1;
63 else if (defrag1->root < defrag2->root)
64 return -1;
65 else if (defrag1->ino > defrag2->ino)
66 return 1;
67 else if (defrag1->ino < defrag2->ino)
68 return -1;
69 else
70 return 0;
71}
72
Chris Mason4cb53002011-05-24 15:35:30 -040073/* pop a record for an inode into the defrag tree. The lock
74 * must be held already
75 *
76 * If you're inserting a record for an older transid than an
77 * existing record, the transid already in the tree is lowered
78 *
79 * If an existing record is found the defrag item you
80 * pass in is freed
81 */
Nikolay Borisov6158e1c2017-02-20 13:50:43 +020082static int __btrfs_add_inode_defrag(struct btrfs_inode *inode,
Chris Mason4cb53002011-05-24 15:35:30 -040083 struct inode_defrag *defrag)
84{
David Sterba3ffbd682018-06-29 10:56:42 +020085 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Chris Mason4cb53002011-05-24 15:35:30 -040086 struct inode_defrag *entry;
87 struct rb_node **p;
88 struct rb_node *parent = NULL;
Miao Xie762f2262012-05-24 18:58:27 +080089 int ret;
Chris Mason4cb53002011-05-24 15:35:30 -040090
Jeff Mahoney0b246af2016-06-22 18:54:23 -040091 p = &fs_info->defrag_inodes.rb_node;
Chris Mason4cb53002011-05-24 15:35:30 -040092 while (*p) {
93 parent = *p;
94 entry = rb_entry(parent, struct inode_defrag, rb_node);
95
Miao Xie762f2262012-05-24 18:58:27 +080096 ret = __compare_inode_defrag(defrag, entry);
97 if (ret < 0)
Chris Mason4cb53002011-05-24 15:35:30 -040098 p = &parent->rb_left;
Miao Xie762f2262012-05-24 18:58:27 +080099 else if (ret > 0)
Chris Mason4cb53002011-05-24 15:35:30 -0400100 p = &parent->rb_right;
101 else {
102 /* if we're reinserting an entry for
103 * an old defrag run, make sure to
104 * lower the transid of our existing record
105 */
106 if (defrag->transid < entry->transid)
107 entry->transid = defrag->transid;
108 if (defrag->last_offset > entry->last_offset)
109 entry->last_offset = defrag->last_offset;
Miao Xie8ddc4732012-11-26 09:25:38 +0000110 return -EEXIST;
Chris Mason4cb53002011-05-24 15:35:30 -0400111 }
112 }
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200113 set_bit(BTRFS_INODE_IN_DEFRAG, &inode->runtime_flags);
Chris Mason4cb53002011-05-24 15:35:30 -0400114 rb_link_node(&defrag->rb_node, parent, p);
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400115 rb_insert_color(&defrag->rb_node, &fs_info->defrag_inodes);
Miao Xie8ddc4732012-11-26 09:25:38 +0000116 return 0;
117}
Chris Mason4cb53002011-05-24 15:35:30 -0400118
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400119static inline int __need_auto_defrag(struct btrfs_fs_info *fs_info)
Miao Xie8ddc4732012-11-26 09:25:38 +0000120{
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400121 if (!btrfs_test_opt(fs_info, AUTO_DEFRAG))
Miao Xie8ddc4732012-11-26 09:25:38 +0000122 return 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400123
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400124 if (btrfs_fs_closing(fs_info))
Miao Xie8ddc4732012-11-26 09:25:38 +0000125 return 0;
126
127 return 1;
Chris Mason4cb53002011-05-24 15:35:30 -0400128}
129
130/*
131 * insert a defrag record for this inode if auto defrag is
132 * enabled
133 */
134int btrfs_add_inode_defrag(struct btrfs_trans_handle *trans,
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200135 struct btrfs_inode *inode)
Chris Mason4cb53002011-05-24 15:35:30 -0400136{
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200137 struct btrfs_root *root = inode->root;
David Sterba3ffbd682018-06-29 10:56:42 +0200138 struct btrfs_fs_info *fs_info = root->fs_info;
Chris Mason4cb53002011-05-24 15:35:30 -0400139 struct inode_defrag *defrag;
Chris Mason4cb53002011-05-24 15:35:30 -0400140 u64 transid;
Miao Xie8ddc4732012-11-26 09:25:38 +0000141 int ret;
Chris Mason4cb53002011-05-24 15:35:30 -0400142
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400143 if (!__need_auto_defrag(fs_info))
Chris Mason4cb53002011-05-24 15:35:30 -0400144 return 0;
145
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200146 if (test_bit(BTRFS_INODE_IN_DEFRAG, &inode->runtime_flags))
Chris Mason4cb53002011-05-24 15:35:30 -0400147 return 0;
148
149 if (trans)
150 transid = trans->transid;
151 else
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200152 transid = inode->root->last_trans;
Chris Mason4cb53002011-05-24 15:35:30 -0400153
Miao Xie9247f312012-11-26 09:24:43 +0000154 defrag = kmem_cache_zalloc(btrfs_inode_defrag_cachep, GFP_NOFS);
Chris Mason4cb53002011-05-24 15:35:30 -0400155 if (!defrag)
156 return -ENOMEM;
157
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200158 defrag->ino = btrfs_ino(inode);
Chris Mason4cb53002011-05-24 15:35:30 -0400159 defrag->transid = transid;
160 defrag->root = root->root_key.objectid;
161
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400162 spin_lock(&fs_info->defrag_inodes_lock);
Nikolay Borisov6158e1c2017-02-20 13:50:43 +0200163 if (!test_bit(BTRFS_INODE_IN_DEFRAG, &inode->runtime_flags)) {
Miao Xie8ddc4732012-11-26 09:25:38 +0000164 /*
165 * If we set IN_DEFRAG flag and evict the inode from memory,
166 * and then re-read this inode, this new inode doesn't have
167 * IN_DEFRAG flag. At the case, we may find the existed defrag.
168 */
169 ret = __btrfs_add_inode_defrag(inode, defrag);
170 if (ret)
171 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
172 } else {
Miao Xie9247f312012-11-26 09:24:43 +0000173 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
Miao Xie8ddc4732012-11-26 09:25:38 +0000174 }
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400175 spin_unlock(&fs_info->defrag_inodes_lock);
Wanlong Gaoa0f98dd2011-07-18 12:19:35 +0000176 return 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400177}
178
179/*
Miao Xie8ddc4732012-11-26 09:25:38 +0000180 * Requeue the defrag object. If there is a defrag object that points to
181 * the same inode in the tree, we will merge them together (by
182 * __btrfs_add_inode_defrag()) and free the one that we want to requeue.
Chris Mason4cb53002011-05-24 15:35:30 -0400183 */
Nikolay Borisov46e59792017-02-20 13:50:44 +0200184static void btrfs_requeue_inode_defrag(struct btrfs_inode *inode,
Eric Sandeen48a3b632013-04-25 20:41:01 +0000185 struct inode_defrag *defrag)
Miao Xie8ddc4732012-11-26 09:25:38 +0000186{
David Sterba3ffbd682018-06-29 10:56:42 +0200187 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Miao Xie8ddc4732012-11-26 09:25:38 +0000188 int ret;
189
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400190 if (!__need_auto_defrag(fs_info))
Miao Xie8ddc4732012-11-26 09:25:38 +0000191 goto out;
192
193 /*
194 * Here we don't check the IN_DEFRAG flag, because we need merge
195 * them together.
196 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400197 spin_lock(&fs_info->defrag_inodes_lock);
Miao Xie8ddc4732012-11-26 09:25:38 +0000198 ret = __btrfs_add_inode_defrag(inode, defrag);
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400199 spin_unlock(&fs_info->defrag_inodes_lock);
Miao Xie8ddc4732012-11-26 09:25:38 +0000200 if (ret)
201 goto out;
202 return;
203out:
204 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
205}
206
207/*
Miao Xie26176e72012-11-26 09:26:20 +0000208 * pick the defragable inode that we want, if it doesn't exist, we will get
209 * the next one.
Chris Mason4cb53002011-05-24 15:35:30 -0400210 */
Miao Xie26176e72012-11-26 09:26:20 +0000211static struct inode_defrag *
212btrfs_pick_defrag_inode(struct btrfs_fs_info *fs_info, u64 root, u64 ino)
Chris Mason4cb53002011-05-24 15:35:30 -0400213{
214 struct inode_defrag *entry = NULL;
Miao Xie762f2262012-05-24 18:58:27 +0800215 struct inode_defrag tmp;
Chris Mason4cb53002011-05-24 15:35:30 -0400216 struct rb_node *p;
217 struct rb_node *parent = NULL;
Miao Xie762f2262012-05-24 18:58:27 +0800218 int ret;
219
220 tmp.ino = ino;
221 tmp.root = root;
Chris Mason4cb53002011-05-24 15:35:30 -0400222
Miao Xie26176e72012-11-26 09:26:20 +0000223 spin_lock(&fs_info->defrag_inodes_lock);
224 p = fs_info->defrag_inodes.rb_node;
Chris Mason4cb53002011-05-24 15:35:30 -0400225 while (p) {
226 parent = p;
227 entry = rb_entry(parent, struct inode_defrag, rb_node);
228
Miao Xie762f2262012-05-24 18:58:27 +0800229 ret = __compare_inode_defrag(&tmp, entry);
230 if (ret < 0)
Chris Mason4cb53002011-05-24 15:35:30 -0400231 p = parent->rb_left;
Miao Xie762f2262012-05-24 18:58:27 +0800232 else if (ret > 0)
Chris Mason4cb53002011-05-24 15:35:30 -0400233 p = parent->rb_right;
234 else
Miao Xie26176e72012-11-26 09:26:20 +0000235 goto out;
Chris Mason4cb53002011-05-24 15:35:30 -0400236 }
237
Miao Xie26176e72012-11-26 09:26:20 +0000238 if (parent && __compare_inode_defrag(&tmp, entry) > 0) {
239 parent = rb_next(parent);
240 if (parent)
Chris Mason4cb53002011-05-24 15:35:30 -0400241 entry = rb_entry(parent, struct inode_defrag, rb_node);
Miao Xie26176e72012-11-26 09:26:20 +0000242 else
243 entry = NULL;
Chris Mason4cb53002011-05-24 15:35:30 -0400244 }
Miao Xie26176e72012-11-26 09:26:20 +0000245out:
246 if (entry)
247 rb_erase(parent, &fs_info->defrag_inodes);
248 spin_unlock(&fs_info->defrag_inodes_lock);
249 return entry;
250}
251
252void btrfs_cleanup_defrag_inodes(struct btrfs_fs_info *fs_info)
253{
254 struct inode_defrag *defrag;
255 struct rb_node *node;
256
257 spin_lock(&fs_info->defrag_inodes_lock);
258 node = rb_first(&fs_info->defrag_inodes);
259 while (node) {
260 rb_erase(node, &fs_info->defrag_inodes);
261 defrag = rb_entry(node, struct inode_defrag, rb_node);
262 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
263
David Sterba351810c2015-01-08 15:20:54 +0100264 cond_resched_lock(&fs_info->defrag_inodes_lock);
Miao Xie26176e72012-11-26 09:26:20 +0000265
266 node = rb_first(&fs_info->defrag_inodes);
267 }
268 spin_unlock(&fs_info->defrag_inodes_lock);
269}
270
271#define BTRFS_DEFRAG_BATCH 1024
272
273static int __btrfs_run_defrag_inode(struct btrfs_fs_info *fs_info,
274 struct inode_defrag *defrag)
275{
276 struct btrfs_root *inode_root;
277 struct inode *inode;
Miao Xie26176e72012-11-26 09:26:20 +0000278 struct btrfs_ioctl_defrag_range_args range;
279 int num_defrag;
Liu Bo6f1c3602013-01-29 03:22:10 +0000280 int ret;
Miao Xie26176e72012-11-26 09:26:20 +0000281
282 /* get the inode */
David Sterba56e93572020-05-15 19:35:55 +0200283 inode_root = btrfs_get_fs_root(fs_info, defrag->root, true);
Miao Xie26176e72012-11-26 09:26:20 +0000284 if (IS_ERR(inode_root)) {
Liu Bo6f1c3602013-01-29 03:22:10 +0000285 ret = PTR_ERR(inode_root);
286 goto cleanup;
287 }
Miao Xie26176e72012-11-26 09:26:20 +0000288
David Sterba0202e832020-05-15 19:35:59 +0200289 inode = btrfs_iget(fs_info->sb, defrag->ino, inode_root);
Josef Bacik00246522020-01-24 09:33:01 -0500290 btrfs_put_root(inode_root);
Miao Xie26176e72012-11-26 09:26:20 +0000291 if (IS_ERR(inode)) {
Liu Bo6f1c3602013-01-29 03:22:10 +0000292 ret = PTR_ERR(inode);
293 goto cleanup;
Miao Xie26176e72012-11-26 09:26:20 +0000294 }
295
296 /* do a chunk of defrag */
297 clear_bit(BTRFS_INODE_IN_DEFRAG, &BTRFS_I(inode)->runtime_flags);
298 memset(&range, 0, sizeof(range));
299 range.len = (u64)-1;
300 range.start = defrag->last_offset;
Miao Xieb66f00d2012-11-26 09:27:29 +0000301
302 sb_start_write(fs_info->sb);
Miao Xie26176e72012-11-26 09:26:20 +0000303 num_defrag = btrfs_defrag_file(inode, NULL, &range, defrag->transid,
304 BTRFS_DEFRAG_BATCH);
Miao Xieb66f00d2012-11-26 09:27:29 +0000305 sb_end_write(fs_info->sb);
Miao Xie26176e72012-11-26 09:26:20 +0000306 /*
307 * if we filled the whole defrag batch, there
308 * must be more work to do. Queue this defrag
309 * again
310 */
311 if (num_defrag == BTRFS_DEFRAG_BATCH) {
312 defrag->last_offset = range.start;
Nikolay Borisov46e59792017-02-20 13:50:44 +0200313 btrfs_requeue_inode_defrag(BTRFS_I(inode), defrag);
Miao Xie26176e72012-11-26 09:26:20 +0000314 } else if (defrag->last_offset && !defrag->cycled) {
315 /*
316 * we didn't fill our defrag batch, but
317 * we didn't start at zero. Make sure we loop
318 * around to the start of the file.
319 */
320 defrag->last_offset = 0;
321 defrag->cycled = 1;
Nikolay Borisov46e59792017-02-20 13:50:44 +0200322 btrfs_requeue_inode_defrag(BTRFS_I(inode), defrag);
Miao Xie26176e72012-11-26 09:26:20 +0000323 } else {
324 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
325 }
326
327 iput(inode);
328 return 0;
Liu Bo6f1c3602013-01-29 03:22:10 +0000329cleanup:
Liu Bo6f1c3602013-01-29 03:22:10 +0000330 kmem_cache_free(btrfs_inode_defrag_cachep, defrag);
331 return ret;
Chris Mason4cb53002011-05-24 15:35:30 -0400332}
333
334/*
335 * run through the list of inodes in the FS that need
336 * defragging
337 */
338int btrfs_run_defrag_inodes(struct btrfs_fs_info *fs_info)
339{
340 struct inode_defrag *defrag;
Chris Mason4cb53002011-05-24 15:35:30 -0400341 u64 first_ino = 0;
Miao Xie762f2262012-05-24 18:58:27 +0800342 u64 root_objectid = 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400343
344 atomic_inc(&fs_info->defrag_running);
Dulshani Gunawardhana67871252013-10-31 10:33:04 +0530345 while (1) {
Miao Xiedc81cdc2013-02-20 23:32:52 -0700346 /* Pause the auto defragger. */
347 if (test_bit(BTRFS_FS_STATE_REMOUNTING,
348 &fs_info->fs_state))
349 break;
350
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400351 if (!__need_auto_defrag(fs_info))
Miao Xie26176e72012-11-26 09:26:20 +0000352 break;
Chris Mason4cb53002011-05-24 15:35:30 -0400353
354 /* find an inode to defrag */
Miao Xie26176e72012-11-26 09:26:20 +0000355 defrag = btrfs_pick_defrag_inode(fs_info, root_objectid,
356 first_ino);
Chris Mason4cb53002011-05-24 15:35:30 -0400357 if (!defrag) {
Miao Xie26176e72012-11-26 09:26:20 +0000358 if (root_objectid || first_ino) {
Miao Xie762f2262012-05-24 18:58:27 +0800359 root_objectid = 0;
Chris Mason4cb53002011-05-24 15:35:30 -0400360 first_ino = 0;
361 continue;
362 } else {
363 break;
364 }
365 }
366
Chris Mason4cb53002011-05-24 15:35:30 -0400367 first_ino = defrag->ino + 1;
Miao Xie762f2262012-05-24 18:58:27 +0800368 root_objectid = defrag->root;
Chris Mason4cb53002011-05-24 15:35:30 -0400369
Miao Xie26176e72012-11-26 09:26:20 +0000370 __btrfs_run_defrag_inode(fs_info, defrag);
Chris Mason4cb53002011-05-24 15:35:30 -0400371 }
Chris Mason4cb53002011-05-24 15:35:30 -0400372 atomic_dec(&fs_info->defrag_running);
373
374 /*
375 * during unmount, we use the transaction_wait queue to
376 * wait for the defragger to stop
377 */
378 wake_up(&fs_info->transaction_wait);
379 return 0;
380}
Chris Mason39279cc2007-06-12 06:35:45 -0400381
Chris Masond352ac62008-09-29 15:18:18 -0400382/* simple helper to fault in pages and copy. This should go away
383 * and be replaced with calls into generic code.
384 */
Zhao Leiee22f0c2016-01-06 18:47:31 +0800385static noinline int btrfs_copy_from_user(loff_t pos, size_t write_bytes,
Chris Masona1b32a52008-09-05 16:09:51 -0400386 struct page **prepared_pages,
Josef Bacik11c65dc2010-05-23 11:07:21 -0400387 struct iov_iter *i)
Chris Mason39279cc2007-06-12 06:35:45 -0400388{
Xin Zhong914ee292010-12-09 09:30:14 +0000389 size_t copied = 0;
Josef Bacikd0215f32011-01-25 14:57:24 -0500390 size_t total_copied = 0;
Josef Bacik11c65dc2010-05-23 11:07:21 -0400391 int pg = 0;
Johannes Thumshirn70730172018-12-05 15:23:03 +0100392 int offset = offset_in_page(pos);
Chris Mason39279cc2007-06-12 06:35:45 -0400393
Josef Bacik11c65dc2010-05-23 11:07:21 -0400394 while (write_bytes > 0) {
Chris Mason39279cc2007-06-12 06:35:45 -0400395 size_t count = min_t(size_t,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300396 PAGE_SIZE - offset, write_bytes);
Josef Bacik11c65dc2010-05-23 11:07:21 -0400397 struct page *page = prepared_pages[pg];
Xin Zhong914ee292010-12-09 09:30:14 +0000398 /*
399 * Copy data from userspace to the current page
Xin Zhong914ee292010-12-09 09:30:14 +0000400 */
Xin Zhong914ee292010-12-09 09:30:14 +0000401 copied = iov_iter_copy_from_user_atomic(page, i, offset, count);
Josef Bacik11c65dc2010-05-23 11:07:21 -0400402
Chris Mason39279cc2007-06-12 06:35:45 -0400403 /* Flush processor's dcache for this page */
404 flush_dcache_page(page);
Chris Mason31339ac2011-03-07 11:10:24 -0500405
406 /*
407 * if we get a partial write, we can end up with
408 * partially up to date pages. These add
409 * a lot of complexity, so make sure they don't
410 * happen by forcing this copy to be retried.
411 *
412 * The rest of the btrfs_file_write code will fall
413 * back to page at a time copies after we return 0.
414 */
415 if (!PageUptodate(page) && copied < count)
416 copied = 0;
417
Josef Bacik11c65dc2010-05-23 11:07:21 -0400418 iov_iter_advance(i, copied);
419 write_bytes -= copied;
Xin Zhong914ee292010-12-09 09:30:14 +0000420 total_copied += copied;
Chris Mason39279cc2007-06-12 06:35:45 -0400421
Al Virob30ac0f2014-04-03 14:29:04 -0400422 /* Return to btrfs_file_write_iter to fault page */
Josef Bacik9f570b82011-01-25 12:42:37 -0500423 if (unlikely(copied == 0))
Xin Zhong914ee292010-12-09 09:30:14 +0000424 break;
Josef Bacik11c65dc2010-05-23 11:07:21 -0400425
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300426 if (copied < PAGE_SIZE - offset) {
Josef Bacik11c65dc2010-05-23 11:07:21 -0400427 offset += copied;
428 } else {
429 pg++;
430 offset = 0;
431 }
Chris Mason39279cc2007-06-12 06:35:45 -0400432 }
Xin Zhong914ee292010-12-09 09:30:14 +0000433 return total_copied;
Chris Mason39279cc2007-06-12 06:35:45 -0400434}
435
Chris Masond352ac62008-09-29 15:18:18 -0400436/*
437 * unlocks pages after btrfs_file_write is done with them
438 */
Eric Sandeen48a3b632013-04-25 20:41:01 +0000439static void btrfs_drop_pages(struct page **pages, size_t num_pages)
Chris Mason39279cc2007-06-12 06:35:45 -0400440{
441 size_t i;
442 for (i = 0; i < num_pages; i++) {
Chris Masond352ac62008-09-29 15:18:18 -0400443 /* page checked is some magic around finding pages that
444 * have been modified without going through btrfs_set_page_dirty
Mel Gorman2457aec2014-06-04 16:10:31 -0700445 * clear it here. There should be no need to mark the pages
446 * accessed as prepare_pages should have marked them accessed
447 * in prepare_pages via find_or_create_page()
Chris Masond352ac62008-09-29 15:18:18 -0400448 */
Chris Mason4a096752008-07-21 10:29:44 -0400449 ClearPageChecked(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -0400450 unlock_page(pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300451 put_page(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -0400452 }
453}
454
Filipe Mananaf48bf662017-11-03 22:26:44 +0000455static int btrfs_find_new_delalloc_bytes(struct btrfs_inode *inode,
456 const u64 start,
457 const u64 len,
458 struct extent_state **cached_state)
459{
460 u64 search_start = start;
461 const u64 end = start + len - 1;
462
463 while (search_start < end) {
464 const u64 search_len = end - search_start + 1;
465 struct extent_map *em;
466 u64 em_len;
467 int ret = 0;
468
Omar Sandoval39b07b52019-12-02 17:34:23 -0800469 em = btrfs_get_extent(inode, NULL, 0, search_start, search_len);
Filipe Mananaf48bf662017-11-03 22:26:44 +0000470 if (IS_ERR(em))
471 return PTR_ERR(em);
472
473 if (em->block_start != EXTENT_MAP_HOLE)
474 goto next;
475
476 em_len = em->len;
477 if (em->start < search_start)
478 em_len -= search_start - em->start;
479 if (em_len > search_len)
480 em_len = search_len;
481
482 ret = set_extent_bit(&inode->io_tree, search_start,
483 search_start + em_len - 1,
484 EXTENT_DELALLOC_NEW,
485 NULL, cached_state, GFP_NOFS);
486next:
487 search_start = extent_map_end(em);
488 free_extent_map(em);
489 if (ret)
490 return ret;
491 }
492 return 0;
493}
494
Chris Masond352ac62008-09-29 15:18:18 -0400495/*
496 * after copy_from_user, pages need to be dirtied and we need to make
497 * sure holes are created between the current EOF and the start of
498 * any next extents (if required).
499 *
500 * this also makes the decision about creating an inline extent vs
501 * doing real data extents, marking pages dirty and delalloc as required.
502 */
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400503int btrfs_dirty_pages(struct inode *inode, struct page **pages,
504 size_t num_pages, loff_t pos, size_t write_bytes,
505 struct extent_state **cached)
Chris Mason39279cc2007-06-12 06:35:45 -0400506{
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400507 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Chris Mason39279cc2007-06-12 06:35:45 -0400508 int err = 0;
Chris Masona52d9a82007-08-27 16:49:44 -0400509 int i;
Chris Masondb945352007-10-15 16:15:53 -0400510 u64 num_bytes;
Chris Masona52d9a82007-08-27 16:49:44 -0400511 u64 start_pos;
512 u64 end_of_last_block;
513 u64 end_pos = pos + write_bytes;
514 loff_t isize = i_size_read(inode);
Filipe Mananae3b8a482017-11-04 00:16:59 +0000515 unsigned int extra_bits = 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400516
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400517 start_pos = pos & ~((u64) fs_info->sectorsize - 1);
Jeff Mahoneyda170662016-06-15 09:22:56 -0400518 num_bytes = round_up(write_bytes + pos - start_pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400519 fs_info->sectorsize);
Chris Mason39279cc2007-06-12 06:35:45 -0400520
Chris Masondb945352007-10-15 16:15:53 -0400521 end_of_last_block = start_pos + num_bytes - 1;
Filipe Mananae3b8a482017-11-04 00:16:59 +0000522
Chris Mason7703bdd2018-06-20 07:56:11 -0700523 /*
524 * The pages may have already been dirty, clear out old accounting so
525 * we can set things up properly
526 */
527 clear_extent_bit(&BTRFS_I(inode)->io_tree, start_pos, end_of_last_block,
Omar Sandovale1821632019-08-15 14:04:04 -0700528 EXTENT_DELALLOC | EXTENT_DO_ACCOUNTING | EXTENT_DEFRAG,
529 0, 0, cached);
Chris Mason7703bdd2018-06-20 07:56:11 -0700530
Filipe Mananae3b8a482017-11-04 00:16:59 +0000531 if (!btrfs_is_free_space_inode(BTRFS_I(inode))) {
532 if (start_pos >= isize &&
533 !(BTRFS_I(inode)->flags & BTRFS_INODE_PREALLOC)) {
534 /*
535 * There can't be any extents following eof in this case
536 * so just set the delalloc new bit for the range
537 * directly.
538 */
539 extra_bits |= EXTENT_DELALLOC_NEW;
540 } else {
541 err = btrfs_find_new_delalloc_bytes(BTRFS_I(inode),
542 start_pos,
543 num_bytes, cached);
544 if (err)
545 return err;
546 }
547 }
548
Josef Bacik2ac55d42010-02-03 19:33:23 +0000549 err = btrfs_set_extent_delalloc(inode, start_pos, end_of_last_block,
Nikolay Borisov330a5822019-07-17 16:18:17 +0300550 extra_bits, cached);
Josef Bacikd0215f32011-01-25 14:57:24 -0500551 if (err)
552 return err;
Josef Bacik9ed74f22009-09-11 16:12:44 -0400553
Chris Masonc8b97812008-10-29 14:49:59 -0400554 for (i = 0; i < num_pages; i++) {
555 struct page *p = pages[i];
556 SetPageUptodate(p);
557 ClearPageChecked(p);
558 set_page_dirty(p);
Chris Masona52d9a82007-08-27 16:49:44 -0400559 }
Josef Bacik9f570b82011-01-25 12:42:37 -0500560
561 /*
562 * we've only changed i_size in ram, and we haven't updated
563 * the disk i_size. There is no need to log the inode
564 * at this time.
565 */
566 if (end_pos > isize)
Chris Masona52d9a82007-08-27 16:49:44 -0400567 i_size_write(inode, end_pos);
Yan, Zhenga22285a2010-05-16 10:48:46 -0400568 return 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400569}
570
Chris Masond352ac62008-09-29 15:18:18 -0400571/*
572 * this drops all the extents in the cache that intersect the range
573 * [start, end]. Existing extents are split as required.
574 */
Nikolay Borisovdcdbc052017-02-20 13:50:45 +0200575void btrfs_drop_extent_cache(struct btrfs_inode *inode, u64 start, u64 end,
Josef Bacik7014cdb2012-08-30 20:06:49 -0400576 int skip_pinned)
Chris Masona52d9a82007-08-27 16:49:44 -0400577{
578 struct extent_map *em;
Chris Mason3b951512008-04-17 11:29:12 -0400579 struct extent_map *split = NULL;
580 struct extent_map *split2 = NULL;
Nikolay Borisovdcdbc052017-02-20 13:50:45 +0200581 struct extent_map_tree *em_tree = &inode->extent_tree;
Yan39b56372008-02-15 10:40:50 -0500582 u64 len = end - start + 1;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400583 u64 gen;
Chris Mason3b951512008-04-17 11:29:12 -0400584 int ret;
585 int testend = 1;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400586 unsigned long flags;
Chris Masonc8b97812008-10-29 14:49:59 -0400587 int compressed = 0;
Josef Bacik09a2a8f92013-04-05 16:51:15 -0400588 bool modified;
Chris Masona52d9a82007-08-27 16:49:44 -0400589
Chris Masone6dcd2d2008-07-17 12:53:50 -0400590 WARN_ON(end < start);
Chris Mason3b951512008-04-17 11:29:12 -0400591 if (end == (u64)-1) {
Yan39b56372008-02-15 10:40:50 -0500592 len = (u64)-1;
Chris Mason3b951512008-04-17 11:29:12 -0400593 testend = 0;
594 }
Chris Masond3977122009-01-05 21:25:51 -0500595 while (1) {
Josef Bacik7014cdb2012-08-30 20:06:49 -0400596 int no_splits = 0;
597
Josef Bacik09a2a8f92013-04-05 16:51:15 -0400598 modified = false;
Chris Mason3b951512008-04-17 11:29:12 -0400599 if (!split)
David Sterba172ddd62011-04-21 00:48:27 +0200600 split = alloc_extent_map();
Chris Mason3b951512008-04-17 11:29:12 -0400601 if (!split2)
David Sterba172ddd62011-04-21 00:48:27 +0200602 split2 = alloc_extent_map();
Josef Bacik7014cdb2012-08-30 20:06:49 -0400603 if (!split || !split2)
604 no_splits = 1;
Chris Mason3b951512008-04-17 11:29:12 -0400605
Chris Mason890871b2009-09-02 16:24:52 -0400606 write_lock(&em_tree->lock);
Yan39b56372008-02-15 10:40:50 -0500607 em = lookup_extent_mapping(em_tree, start, len);
Chris Masond1310b22008-01-24 16:13:08 -0500608 if (!em) {
Chris Mason890871b2009-09-02 16:24:52 -0400609 write_unlock(&em_tree->lock);
Chris Masona52d9a82007-08-27 16:49:44 -0400610 break;
Chris Masond1310b22008-01-24 16:13:08 -0500611 }
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400612 flags = em->flags;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400613 gen = em->generation;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400614 if (skip_pinned && test_bit(EXTENT_FLAG_PINNED, &em->flags)) {
Yan, Zheng55ef6892009-11-12 09:36:44 +0000615 if (testend && em->start + em->len >= start + len) {
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400616 free_extent_map(em);
Chris Masona1ed8352009-09-11 12:27:37 -0400617 write_unlock(&em_tree->lock);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400618 break;
619 }
Yan, Zheng55ef6892009-11-12 09:36:44 +0000620 start = em->start + em->len;
621 if (testend)
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400622 len = start + len - (em->start + em->len);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400623 free_extent_map(em);
Chris Masona1ed8352009-09-11 12:27:37 -0400624 write_unlock(&em_tree->lock);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400625 continue;
626 }
Chris Masonc8b97812008-10-29 14:49:59 -0400627 compressed = test_bit(EXTENT_FLAG_COMPRESSED, &em->flags);
Chris Mason3ce7e672008-07-31 15:42:54 -0400628 clear_bit(EXTENT_FLAG_PINNED, &em->flags);
Liu Bo3b277592013-03-15 08:46:39 -0600629 clear_bit(EXTENT_FLAG_LOGGING, &flags);
Josef Bacik09a2a8f92013-04-05 16:51:15 -0400630 modified = !list_empty(&em->list);
Josef Bacik7014cdb2012-08-30 20:06:49 -0400631 if (no_splits)
632 goto next;
Chris Mason3b951512008-04-17 11:29:12 -0400633
Josef Bacikee20a982013-07-11 10:34:59 -0400634 if (em->start < start) {
Chris Mason3b951512008-04-17 11:29:12 -0400635 split->start = em->start;
636 split->len = start - em->start;
Chris Masonc8b97812008-10-29 14:49:59 -0400637
Josef Bacikee20a982013-07-11 10:34:59 -0400638 if (em->block_start < EXTENT_MAP_LAST_BYTE) {
639 split->orig_start = em->orig_start;
640 split->block_start = em->block_start;
641
642 if (compressed)
643 split->block_len = em->block_len;
644 else
645 split->block_len = split->len;
646 split->orig_block_len = max(split->block_len,
647 em->orig_block_len);
648 split->ram_bytes = em->ram_bytes;
649 } else {
650 split->orig_start = split->start;
651 split->block_len = 0;
652 split->block_start = em->block_start;
653 split->orig_block_len = 0;
654 split->ram_bytes = split->len;
655 }
656
Josef Bacik5dc562c2012-08-17 13:14:17 -0400657 split->generation = gen;
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400658 split->flags = flags;
Li Zefan261507a02010-12-17 14:21:50 +0800659 split->compress_type = em->compress_type;
Filipe Manana176840b2014-02-25 14:15:13 +0000660 replace_extent_mapping(em_tree, em, split, modified);
Chris Mason3b951512008-04-17 11:29:12 -0400661 free_extent_map(split);
662 split = split2;
663 split2 = NULL;
664 }
Josef Bacikee20a982013-07-11 10:34:59 -0400665 if (testend && em->start + em->len > start + len) {
Chris Mason3b951512008-04-17 11:29:12 -0400666 u64 diff = start + len - em->start;
667
668 split->start = start + len;
669 split->len = em->start + em->len - (start + len);
Zheng Yan5b21f2e2008-09-26 10:05:38 -0400670 split->flags = flags;
Li Zefan261507a02010-12-17 14:21:50 +0800671 split->compress_type = em->compress_type;
Josef Bacik5dc562c2012-08-17 13:14:17 -0400672 split->generation = gen;
Chris Mason3b951512008-04-17 11:29:12 -0400673
Josef Bacikee20a982013-07-11 10:34:59 -0400674 if (em->block_start < EXTENT_MAP_LAST_BYTE) {
675 split->orig_block_len = max(em->block_len,
676 em->orig_block_len);
677
678 split->ram_bytes = em->ram_bytes;
679 if (compressed) {
680 split->block_len = em->block_len;
681 split->block_start = em->block_start;
682 split->orig_start = em->orig_start;
683 } else {
684 split->block_len = split->len;
685 split->block_start = em->block_start
686 + diff;
687 split->orig_start = em->orig_start;
688 }
Chris Masonc8b97812008-10-29 14:49:59 -0400689 } else {
Josef Bacikee20a982013-07-11 10:34:59 -0400690 split->ram_bytes = split->len;
691 split->orig_start = split->start;
692 split->block_len = 0;
693 split->block_start = em->block_start;
694 split->orig_block_len = 0;
Chris Masonc8b97812008-10-29 14:49:59 -0400695 }
Chris Mason3b951512008-04-17 11:29:12 -0400696
Filipe Manana176840b2014-02-25 14:15:13 +0000697 if (extent_map_in_tree(em)) {
698 replace_extent_mapping(em_tree, em, split,
699 modified);
700 } else {
701 ret = add_extent_mapping(em_tree, split,
702 modified);
703 ASSERT(ret == 0); /* Logic error */
704 }
Chris Mason3b951512008-04-17 11:29:12 -0400705 free_extent_map(split);
706 split = NULL;
707 }
Josef Bacik7014cdb2012-08-30 20:06:49 -0400708next:
Filipe Manana176840b2014-02-25 14:15:13 +0000709 if (extent_map_in_tree(em))
710 remove_extent_mapping(em_tree, em);
Chris Mason890871b2009-09-02 16:24:52 -0400711 write_unlock(&em_tree->lock);
Chris Masond1310b22008-01-24 16:13:08 -0500712
Chris Masona52d9a82007-08-27 16:49:44 -0400713 /* once for us */
714 free_extent_map(em);
715 /* once for the tree*/
716 free_extent_map(em);
717 }
Chris Mason3b951512008-04-17 11:29:12 -0400718 if (split)
719 free_extent_map(split);
720 if (split2)
721 free_extent_map(split2);
Chris Masona52d9a82007-08-27 16:49:44 -0400722}
723
Chris Mason39279cc2007-06-12 06:35:45 -0400724/*
725 * this is very complex, but the basic idea is to drop all extents
726 * in the range start - end. hint_block is filled in with a block number
727 * that would be a good hint to the block allocator for this file.
728 *
729 * If an extent intersects the range but is not entirely inside the range
730 * it is either truncated or split. Anything entirely inside the range
731 * is deleted from the tree.
732 */
Josef Bacik5dc562c2012-08-17 13:14:17 -0400733int __btrfs_drop_extents(struct btrfs_trans_handle *trans,
734 struct btrfs_root *root, struct inode *inode,
735 struct btrfs_path *path, u64 start, u64 end,
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000736 u64 *drop_end, int drop_cache,
737 int replace_extent,
738 u32 extent_item_size,
739 int *key_inserted)
Chris Mason39279cc2007-06-12 06:35:45 -0400740{
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400741 struct btrfs_fs_info *fs_info = root->fs_info;
Chris Mason00f5c792007-11-30 10:09:33 -0500742 struct extent_buffer *leaf;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000743 struct btrfs_file_extent_item *fi;
Qu Wenruo82fa1132019-04-04 14:45:35 +0800744 struct btrfs_ref ref = { 0 };
Chris Mason00f5c792007-11-30 10:09:33 -0500745 struct btrfs_key key;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000746 struct btrfs_key new_key;
Nikolay Borisov4a0cc7c2017-01-10 20:35:31 +0200747 u64 ino = btrfs_ino(BTRFS_I(inode));
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000748 u64 search_start = start;
749 u64 disk_bytenr = 0;
750 u64 num_bytes = 0;
751 u64 extent_offset = 0;
752 u64 extent_end = 0;
Josef Bacik62fe51c12016-11-16 09:13:39 -0500753 u64 last_end = start;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000754 int del_nr = 0;
755 int del_slot = 0;
756 int extent_type;
Chris Masonccd467d2007-06-28 15:57:36 -0400757 int recow;
Chris Mason00f5c792007-11-30 10:09:33 -0500758 int ret;
Chris Masondc7fdde2012-04-27 14:31:29 -0400759 int modify_tree = -1;
Miao Xie27cdeb72014-04-02 19:51:05 +0800760 int update_refs;
Josef Bacikc3308f82012-09-14 14:51:22 -0400761 int found = 0;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000762 int leafs_visited = 0;
Chris Mason39279cc2007-06-12 06:35:45 -0400763
Chris Masona1ed8352009-09-11 12:27:37 -0400764 if (drop_cache)
Nikolay Borisovdcdbc052017-02-20 13:50:45 +0200765 btrfs_drop_extent_cache(BTRFS_I(inode), start, end - 1, 0);
Chris Masona52d9a82007-08-27 16:49:44 -0400766
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +0000767 if (start >= BTRFS_I(inode)->disk_i_size && !replace_extent)
Chris Masondc7fdde2012-04-27 14:31:29 -0400768 modify_tree = 0;
769
Qu Wenruo92a7cc42020-05-15 14:01:40 +0800770 update_refs = (test_bit(BTRFS_ROOT_SHAREABLE, &root->state) ||
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400771 root == fs_info->tree_root);
Chris Masond3977122009-01-05 21:25:51 -0500772 while (1) {
Chris Masonccd467d2007-06-28 15:57:36 -0400773 recow = 0;
Li Zefan33345d012011-04-20 10:31:50 +0800774 ret = btrfs_lookup_file_extent(trans, root, path, ino,
Chris Masondc7fdde2012-04-27 14:31:29 -0400775 search_start, modify_tree);
Chris Mason39279cc2007-06-12 06:35:45 -0400776 if (ret < 0)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000777 break;
778 if (ret > 0 && path->slots[0] > 0 && search_start == start) {
779 leaf = path->nodes[0];
780 btrfs_item_key_to_cpu(leaf, &key, path->slots[0] - 1);
Li Zefan33345d012011-04-20 10:31:50 +0800781 if (key.objectid == ino &&
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000782 key.type == BTRFS_EXTENT_DATA_KEY)
783 path->slots[0]--;
Chris Mason39279cc2007-06-12 06:35:45 -0400784 }
Chris Mason8c2383c2007-06-18 09:57:58 -0400785 ret = 0;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000786 leafs_visited++;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000787next_slot:
788 leaf = path->nodes[0];
789 if (path->slots[0] >= btrfs_header_nritems(leaf)) {
790 BUG_ON(del_nr > 0);
791 ret = btrfs_next_leaf(root, path);
792 if (ret < 0)
793 break;
794 if (ret > 0) {
795 ret = 0;
796 break;
Chris Mason8c2383c2007-06-18 09:57:58 -0400797 }
Filipe David Borba Manana1acae572014-01-07 11:42:27 +0000798 leafs_visited++;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000799 leaf = path->nodes[0];
800 recow = 1;
801 }
802
803 btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);
Filipe Mananaaeafbf82015-11-06 13:33:33 +0000804
805 if (key.objectid > ino)
806 break;
807 if (WARN_ON_ONCE(key.objectid < ino) ||
808 key.type < BTRFS_EXTENT_DATA_KEY) {
809 ASSERT(del_nr == 0);
810 path->slots[0]++;
811 goto next_slot;
812 }
813 if (key.type > BTRFS_EXTENT_DATA_KEY || key.offset >= end)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000814 break;
815
816 fi = btrfs_item_ptr(leaf, path->slots[0],
817 struct btrfs_file_extent_item);
818 extent_type = btrfs_file_extent_type(leaf, fi);
819
820 if (extent_type == BTRFS_FILE_EXTENT_REG ||
821 extent_type == BTRFS_FILE_EXTENT_PREALLOC) {
822 disk_bytenr = btrfs_file_extent_disk_bytenr(leaf, fi);
823 num_bytes = btrfs_file_extent_disk_num_bytes(leaf, fi);
824 extent_offset = btrfs_file_extent_offset(leaf, fi);
825 extent_end = key.offset +
826 btrfs_file_extent_num_bytes(leaf, fi);
827 } else if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
828 extent_end = key.offset +
Qu Wenruoe41ca582018-06-06 15:41:49 +0800829 btrfs_file_extent_ram_bytes(leaf, fi);
Chris Mason8c2383c2007-06-18 09:57:58 -0400830 } else {
Filipe Mananaaeafbf82015-11-06 13:33:33 +0000831 /* can't happen */
832 BUG();
Chris Mason39279cc2007-06-12 06:35:45 -0400833 }
834
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100835 /*
836 * Don't skip extent items representing 0 byte lengths. They
837 * used to be created (bug) if while punching holes we hit
838 * -ENOSPC condition. So if we find one here, just ensure we
839 * delete it, otherwise we would insert a new file extent item
840 * with the same key (offset) as that 0 bytes length file
841 * extent item in the call to setup_items_for_insert() later
842 * in this function.
843 */
Josef Bacik62fe51c12016-11-16 09:13:39 -0500844 if (extent_end == key.offset && extent_end >= search_start) {
845 last_end = extent_end;
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100846 goto delete_extent_item;
Josef Bacik62fe51c12016-11-16 09:13:39 -0500847 }
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100848
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000849 if (extent_end <= search_start) {
850 path->slots[0]++;
Chris Mason8c2383c2007-06-18 09:57:58 -0400851 goto next_slot;
Chris Mason39279cc2007-06-12 06:35:45 -0400852 }
853
Josef Bacikc3308f82012-09-14 14:51:22 -0400854 found = 1;
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000855 search_start = max(key.offset, start);
Chris Masondc7fdde2012-04-27 14:31:29 -0400856 if (recow || !modify_tree) {
857 modify_tree = -1;
David Sterbab3b4aa72011-04-21 01:20:15 +0200858 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000859 continue;
Chris Mason39279cc2007-06-12 06:35:45 -0400860 }
Chris Mason771ed682008-11-06 22:02:51 -0500861
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000862 /*
863 * | - range to drop - |
864 * | -------- extent -------- |
865 */
866 if (start > key.offset && end < extent_end) {
867 BUG_ON(del_nr > 0);
Liu Bo00fdf132014-03-10 18:56:07 +0800868 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200869 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800870 break;
871 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000872
873 memcpy(&new_key, &key, sizeof(new_key));
874 new_key.offset = start;
875 ret = btrfs_duplicate_item(trans, root, path,
876 &new_key);
877 if (ret == -EAGAIN) {
David Sterbab3b4aa72011-04-21 01:20:15 +0200878 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000879 continue;
880 }
881 if (ret < 0)
882 break;
Chris Mason8c2383c2007-06-18 09:57:58 -0400883
Chris Mason5f39d392007-10-15 16:14:19 -0400884 leaf = path->nodes[0];
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000885 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
886 struct btrfs_file_extent_item);
887 btrfs_set_file_extent_num_bytes(leaf, fi,
888 start - key.offset);
Chris Mason39279cc2007-06-12 06:35:45 -0400889
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000890 fi = btrfs_item_ptr(leaf, path->slots[0],
891 struct btrfs_file_extent_item);
Chris Masonc8b97812008-10-29 14:49:59 -0400892
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000893 extent_offset += start - key.offset;
894 btrfs_set_file_extent_offset(leaf, fi, extent_offset);
895 btrfs_set_file_extent_num_bytes(leaf, fi,
896 extent_end - start);
897 btrfs_mark_buffer_dirty(leaf);
Chris Masondb945352007-10-15 16:15:53 -0400898
Josef Bacik5dc562c2012-08-17 13:14:17 -0400899 if (update_refs && disk_bytenr > 0) {
Qu Wenruo82fa1132019-04-04 14:45:35 +0800900 btrfs_init_generic_ref(&ref,
901 BTRFS_ADD_DELAYED_REF,
902 disk_bytenr, num_bytes, 0);
903 btrfs_init_data_ref(&ref,
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000904 root->root_key.objectid,
905 new_key.objectid,
Filipe Mananab06c4bf2015-10-23 07:52:54 +0100906 start - extent_offset);
Qu Wenruo82fa1132019-04-04 14:45:35 +0800907 ret = btrfs_inc_extent_ref(trans, &ref);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100908 BUG_ON(ret); /* -ENOMEM */
Zheng Yan31840ae2008-09-23 13:14:14 -0400909 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000910 key.offset = start;
911 }
912 /*
Josef Bacik62fe51c12016-11-16 09:13:39 -0500913 * From here on out we will have actually dropped something, so
914 * last_end can be updated.
915 */
916 last_end = extent_end;
917
918 /*
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000919 * | ---- range to drop ----- |
920 * | -------- extent -------- |
921 */
922 if (start <= key.offset && end < extent_end) {
Liu Bo00fdf132014-03-10 18:56:07 +0800923 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200924 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800925 break;
926 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000927
928 memcpy(&new_key, &key, sizeof(new_key));
929 new_key.offset = end;
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400930 btrfs_set_item_key_safe(fs_info, path, &new_key);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000931
932 extent_offset += end - key.offset;
933 btrfs_set_file_extent_offset(leaf, fi, extent_offset);
934 btrfs_set_file_extent_num_bytes(leaf, fi,
935 extent_end - end);
936 btrfs_mark_buffer_dirty(leaf);
Josef Bacik26714852012-08-29 12:24:27 -0400937 if (update_refs && disk_bytenr > 0)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000938 inode_sub_bytes(inode, end - key.offset);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000939 break;
Zheng Yan31840ae2008-09-23 13:14:14 -0400940 }
941
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000942 search_start = extent_end;
943 /*
944 * | ---- range to drop ----- |
945 * | -------- extent -------- |
946 */
947 if (start > key.offset && end >= extent_end) {
948 BUG_ON(del_nr > 0);
Liu Bo00fdf132014-03-10 18:56:07 +0800949 if (extent_type == BTRFS_FILE_EXTENT_INLINE) {
David Sterba3f9e3df2014-04-15 18:50:17 +0200950 ret = -EOPNOTSUPP;
Liu Bo00fdf132014-03-10 18:56:07 +0800951 break;
952 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000953
954 btrfs_set_file_extent_num_bytes(leaf, fi,
955 start - key.offset);
956 btrfs_mark_buffer_dirty(leaf);
Josef Bacik26714852012-08-29 12:24:27 -0400957 if (update_refs && disk_bytenr > 0)
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000958 inode_sub_bytes(inode, extent_end - start);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000959 if (end == extent_end)
960 break;
961
962 path->slots[0]++;
963 goto next_slot;
Chris Mason39279cc2007-06-12 06:35:45 -0400964 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000965
966 /*
967 * | ---- range to drop ----- |
968 * | ------ extent ------ |
969 */
970 if (start <= key.offset && end >= extent_end) {
Filipe Mananafc19c5e2014-04-29 13:18:40 +0100971delete_extent_item:
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000972 if (del_nr == 0) {
973 del_slot = path->slots[0];
974 del_nr = 1;
975 } else {
976 BUG_ON(del_slot + del_nr != path->slots[0]);
977 del_nr++;
978 }
979
Josef Bacik5dc562c2012-08-17 13:14:17 -0400980 if (update_refs &&
981 extent_type == BTRFS_FILE_EXTENT_INLINE) {
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000982 inode_sub_bytes(inode,
983 extent_end - key.offset);
984 extent_end = ALIGN(extent_end,
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400985 fs_info->sectorsize);
Josef Bacik5dc562c2012-08-17 13:14:17 -0400986 } else if (update_refs && disk_bytenr > 0) {
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800987 btrfs_init_generic_ref(&ref,
988 BTRFS_DROP_DELAYED_REF,
989 disk_bytenr, num_bytes, 0);
990 btrfs_init_data_ref(&ref,
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000991 root->root_key.objectid,
Qu Wenruoffd4bb22019-04-04 14:45:36 +0800992 key.objectid,
993 key.offset - extent_offset);
994 ret = btrfs_free_extent(trans, &ref);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100995 BUG_ON(ret); /* -ENOMEM */
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000996 inode_sub_bytes(inode,
997 extent_end - key.offset);
Yan, Zheng920bbbf2009-11-12 09:34:08 +0000998 }
999
1000 if (end == extent_end)
1001 break;
1002
1003 if (path->slots[0] + 1 < btrfs_header_nritems(leaf)) {
1004 path->slots[0]++;
1005 goto next_slot;
1006 }
1007
1008 ret = btrfs_del_items(trans, root, path, del_slot,
1009 del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001010 if (ret) {
Jeff Mahoney66642832016-06-10 18:19:25 -04001011 btrfs_abort_transaction(trans, ret);
Josef Bacik5dc562c2012-08-17 13:14:17 -04001012 break;
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001013 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001014
1015 del_nr = 0;
1016 del_slot = 0;
1017
David Sterbab3b4aa72011-04-21 01:20:15 +02001018 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001019 continue;
1020 }
1021
Arnd Bergmann290342f2019-03-25 14:02:25 +01001022 BUG();
Chris Mason39279cc2007-06-12 06:35:45 -04001023 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001024
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001025 if (!ret && del_nr > 0) {
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001026 /*
1027 * Set path->slots[0] to first slot, so that after the delete
1028 * if items are move off from our leaf to its immediate left or
1029 * right neighbor leafs, we end up with a correct and adjusted
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001030 * path->slots[0] for our insertion (if replace_extent != 0).
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001031 */
1032 path->slots[0] = del_slot;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001033 ret = btrfs_del_items(trans, root, path, del_slot, del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001034 if (ret)
Jeff Mahoney66642832016-06-10 18:19:25 -04001035 btrfs_abort_transaction(trans, ret);
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001036 }
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001037
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001038 leaf = path->nodes[0];
1039 /*
1040 * If btrfs_del_items() was called, it might have deleted a leaf, in
1041 * which case it unlocked our path, so check path->locks[0] matches a
1042 * write lock.
1043 */
1044 if (!ret && replace_extent && leafs_visited == 1 &&
1045 (path->locks[0] == BTRFS_WRITE_LOCK_BLOCKING ||
1046 path->locks[0] == BTRFS_WRITE_LOCK) &&
David Sterbae902baa2019-03-20 14:36:46 +01001047 btrfs_leaf_free_space(leaf) >=
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001048 sizeof(struct btrfs_item) + extent_item_size) {
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001049
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001050 key.objectid = ino;
1051 key.type = BTRFS_EXTENT_DATA_KEY;
1052 key.offset = start;
1053 if (!del_nr && path->slots[0] < btrfs_header_nritems(leaf)) {
1054 struct btrfs_key slot_key;
1055
1056 btrfs_item_key_to_cpu(leaf, &slot_key, path->slots[0]);
1057 if (btrfs_comp_cpu_keys(&key, &slot_key) > 0)
1058 path->slots[0]++;
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001059 }
Filipe David Borba Mananad5f37522014-02-09 23:45:12 +00001060 setup_items_for_insert(root, path, &key,
1061 &extent_item_size,
1062 extent_item_size,
1063 sizeof(struct btrfs_item) +
1064 extent_item_size, 1);
1065 *key_inserted = 1;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001066 }
1067
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001068 if (!replace_extent || !(*key_inserted))
1069 btrfs_release_path(path);
Josef Bacik2aaa6652012-08-29 14:27:18 -04001070 if (drop_end)
Josef Bacik62fe51c12016-11-16 09:13:39 -05001071 *drop_end = found ? min(end, last_end) : end;
Josef Bacik5dc562c2012-08-17 13:14:17 -04001072 return ret;
1073}
1074
1075int btrfs_drop_extents(struct btrfs_trans_handle *trans,
1076 struct btrfs_root *root, struct inode *inode, u64 start,
Josef Bacik26714852012-08-29 12:24:27 -04001077 u64 end, int drop_cache)
Josef Bacik5dc562c2012-08-17 13:14:17 -04001078{
1079 struct btrfs_path *path;
1080 int ret;
1081
1082 path = btrfs_alloc_path();
1083 if (!path)
1084 return -ENOMEM;
Josef Bacik2aaa6652012-08-29 14:27:18 -04001085 ret = __btrfs_drop_extents(trans, root, inode, path, start, end, NULL,
Filipe David Borba Manana1acae572014-01-07 11:42:27 +00001086 drop_cache, 0, 0, NULL);
Chris Mason39279cc2007-06-12 06:35:45 -04001087 btrfs_free_path(path);
1088 return ret;
1089}
1090
Yan Zhengd899e052008-10-30 14:25:28 -04001091static int extent_mergeable(struct extent_buffer *leaf, int slot,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001092 u64 objectid, u64 bytenr, u64 orig_offset,
1093 u64 *start, u64 *end)
Yan Zhengd899e052008-10-30 14:25:28 -04001094{
1095 struct btrfs_file_extent_item *fi;
1096 struct btrfs_key key;
1097 u64 extent_end;
1098
1099 if (slot < 0 || slot >= btrfs_header_nritems(leaf))
1100 return 0;
1101
1102 btrfs_item_key_to_cpu(leaf, &key, slot);
1103 if (key.objectid != objectid || key.type != BTRFS_EXTENT_DATA_KEY)
1104 return 0;
1105
1106 fi = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
1107 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_REG ||
1108 btrfs_file_extent_disk_bytenr(leaf, fi) != bytenr ||
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001109 btrfs_file_extent_offset(leaf, fi) != key.offset - orig_offset ||
Yan Zhengd899e052008-10-30 14:25:28 -04001110 btrfs_file_extent_compression(leaf, fi) ||
1111 btrfs_file_extent_encryption(leaf, fi) ||
1112 btrfs_file_extent_other_encoding(leaf, fi))
1113 return 0;
1114
1115 extent_end = key.offset + btrfs_file_extent_num_bytes(leaf, fi);
1116 if ((*start && *start != key.offset) || (*end && *end != extent_end))
1117 return 0;
1118
1119 *start = key.offset;
1120 *end = extent_end;
1121 return 1;
1122}
1123
1124/*
1125 * Mark extent in the range start - end as written.
1126 *
1127 * This changes extent type from 'pre-allocated' to 'regular'. If only
1128 * part of extent is marked as written, the extent will be split into
1129 * two or three.
1130 */
1131int btrfs_mark_extent_written(struct btrfs_trans_handle *trans,
Nikolay Borisov7a6d7062017-02-20 13:50:48 +02001132 struct btrfs_inode *inode, u64 start, u64 end)
Yan Zhengd899e052008-10-30 14:25:28 -04001133{
David Sterba3ffbd682018-06-29 10:56:42 +02001134 struct btrfs_fs_info *fs_info = trans->fs_info;
Nikolay Borisov7a6d7062017-02-20 13:50:48 +02001135 struct btrfs_root *root = inode->root;
Yan Zhengd899e052008-10-30 14:25:28 -04001136 struct extent_buffer *leaf;
1137 struct btrfs_path *path;
1138 struct btrfs_file_extent_item *fi;
Qu Wenruo82fa1132019-04-04 14:45:35 +08001139 struct btrfs_ref ref = { 0 };
Yan Zhengd899e052008-10-30 14:25:28 -04001140 struct btrfs_key key;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001141 struct btrfs_key new_key;
Yan Zhengd899e052008-10-30 14:25:28 -04001142 u64 bytenr;
1143 u64 num_bytes;
1144 u64 extent_end;
Yan Zheng5d4f98a2009-06-10 10:45:14 -04001145 u64 orig_offset;
Yan Zhengd899e052008-10-30 14:25:28 -04001146 u64 other_start;
1147 u64 other_end;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001148 u64 split;
1149 int del_nr = 0;
1150 int del_slot = 0;
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001151 int recow;
Yan Zhengd899e052008-10-30 14:25:28 -04001152 int ret;
Nikolay Borisov7a6d7062017-02-20 13:50:48 +02001153 u64 ino = btrfs_ino(inode);
Yan Zhengd899e052008-10-30 14:25:28 -04001154
Yan Zhengd899e052008-10-30 14:25:28 -04001155 path = btrfs_alloc_path();
Mark Fashehd8926bb2011-07-13 10:38:47 -07001156 if (!path)
1157 return -ENOMEM;
Yan Zhengd899e052008-10-30 14:25:28 -04001158again:
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001159 recow = 0;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001160 split = start;
Li Zefan33345d012011-04-20 10:31:50 +08001161 key.objectid = ino;
Yan Zhengd899e052008-10-30 14:25:28 -04001162 key.type = BTRFS_EXTENT_DATA_KEY;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001163 key.offset = split;
Yan Zhengd899e052008-10-30 14:25:28 -04001164
1165 ret = btrfs_search_slot(trans, root, &key, path, -1, 1);
Josef Bacik41415732011-03-16 13:59:32 -04001166 if (ret < 0)
1167 goto out;
Yan Zhengd899e052008-10-30 14:25:28 -04001168 if (ret > 0 && path->slots[0] > 0)
1169 path->slots[0]--;
1170
1171 leaf = path->nodes[0];
1172 btrfs_item_key_to_cpu(leaf, &key, path->slots[0]);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001173 if (key.objectid != ino ||
1174 key.type != BTRFS_EXTENT_DATA_KEY) {
1175 ret = -EINVAL;
1176 btrfs_abort_transaction(trans, ret);
1177 goto out;
1178 }
Yan Zhengd899e052008-10-30 14:25:28 -04001179 fi = btrfs_item_ptr(leaf, path->slots[0],
1180 struct btrfs_file_extent_item);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001181 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_PREALLOC) {
1182 ret = -EINVAL;
1183 btrfs_abort_transaction(trans, ret);
1184 goto out;
1185 }
Yan Zhengd899e052008-10-30 14:25:28 -04001186 extent_end = key.offset + btrfs_file_extent_num_bytes(leaf, fi);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001187 if (key.offset > start || extent_end < end) {
1188 ret = -EINVAL;
1189 btrfs_abort_transaction(trans, ret);
1190 goto out;
1191 }
Yan Zhengd899e052008-10-30 14:25:28 -04001192
1193 bytenr = btrfs_file_extent_disk_bytenr(leaf, fi);
1194 num_bytes = btrfs_file_extent_disk_num_bytes(leaf, fi);
Yan Zheng5d4f98a2009-06-10 10:45:14 -04001195 orig_offset = key.offset - btrfs_file_extent_offset(leaf, fi);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001196 memcpy(&new_key, &key, sizeof(new_key));
1197
1198 if (start == key.offset && end < extent_end) {
1199 other_start = 0;
1200 other_end = start;
1201 if (extent_mergeable(leaf, path->slots[0] - 1,
Li Zefan33345d012011-04-20 10:31:50 +08001202 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001203 &other_start, &other_end)) {
1204 new_key.offset = end;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001205 btrfs_set_item_key_safe(fs_info, path, &new_key);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001206 fi = btrfs_item_ptr(leaf, path->slots[0],
1207 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001208 btrfs_set_file_extent_generation(leaf, fi,
1209 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001210 btrfs_set_file_extent_num_bytes(leaf, fi,
1211 extent_end - end);
1212 btrfs_set_file_extent_offset(leaf, fi,
1213 end - orig_offset);
1214 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
1215 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001216 btrfs_set_file_extent_generation(leaf, fi,
1217 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001218 btrfs_set_file_extent_num_bytes(leaf, fi,
1219 end - other_start);
1220 btrfs_mark_buffer_dirty(leaf);
1221 goto out;
1222 }
1223 }
1224
1225 if (start > key.offset && end == extent_end) {
1226 other_start = end;
1227 other_end = 0;
1228 if (extent_mergeable(leaf, path->slots[0] + 1,
Li Zefan33345d012011-04-20 10:31:50 +08001229 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001230 &other_start, &other_end)) {
1231 fi = btrfs_item_ptr(leaf, path->slots[0],
1232 struct btrfs_file_extent_item);
1233 btrfs_set_file_extent_num_bytes(leaf, fi,
1234 start - key.offset);
Josef Bacik224ecce2012-08-16 16:32:06 -04001235 btrfs_set_file_extent_generation(leaf, fi,
1236 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001237 path->slots[0]++;
1238 new_key.offset = start;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001239 btrfs_set_item_key_safe(fs_info, path, &new_key);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001240
1241 fi = btrfs_item_ptr(leaf, path->slots[0],
1242 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001243 btrfs_set_file_extent_generation(leaf, fi,
1244 trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001245 btrfs_set_file_extent_num_bytes(leaf, fi,
1246 other_end - start);
1247 btrfs_set_file_extent_offset(leaf, fi,
1248 start - orig_offset);
1249 btrfs_mark_buffer_dirty(leaf);
1250 goto out;
1251 }
1252 }
Yan Zhengd899e052008-10-30 14:25:28 -04001253
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001254 while (start > key.offset || end < extent_end) {
1255 if (key.offset == start)
1256 split = end;
Yan Zhengd899e052008-10-30 14:25:28 -04001257
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001258 new_key.offset = split;
1259 ret = btrfs_duplicate_item(trans, root, path, &new_key);
1260 if (ret == -EAGAIN) {
David Sterbab3b4aa72011-04-21 01:20:15 +02001261 btrfs_release_path(path);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001262 goto again;
Yan Zhengd899e052008-10-30 14:25:28 -04001263 }
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001264 if (ret < 0) {
Jeff Mahoney66642832016-06-10 18:19:25 -04001265 btrfs_abort_transaction(trans, ret);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001266 goto out;
1267 }
Yan Zhengd899e052008-10-30 14:25:28 -04001268
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001269 leaf = path->nodes[0];
1270 fi = btrfs_item_ptr(leaf, path->slots[0] - 1,
Yan Zhengd899e052008-10-30 14:25:28 -04001271 struct btrfs_file_extent_item);
Josef Bacik224ecce2012-08-16 16:32:06 -04001272 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan Zhengd899e052008-10-30 14:25:28 -04001273 btrfs_set_file_extent_num_bytes(leaf, fi,
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001274 split - key.offset);
1275
1276 fi = btrfs_item_ptr(leaf, path->slots[0],
1277 struct btrfs_file_extent_item);
1278
Josef Bacik224ecce2012-08-16 16:32:06 -04001279 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001280 btrfs_set_file_extent_offset(leaf, fi, split - orig_offset);
1281 btrfs_set_file_extent_num_bytes(leaf, fi,
1282 extent_end - split);
Yan Zhengd899e052008-10-30 14:25:28 -04001283 btrfs_mark_buffer_dirty(leaf);
1284
Qu Wenruo82fa1132019-04-04 14:45:35 +08001285 btrfs_init_generic_ref(&ref, BTRFS_ADD_DELAYED_REF, bytenr,
1286 num_bytes, 0);
1287 btrfs_init_data_ref(&ref, root->root_key.objectid, ino,
1288 orig_offset);
1289 ret = btrfs_inc_extent_ref(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001290 if (ret) {
1291 btrfs_abort_transaction(trans, ret);
1292 goto out;
1293 }
Yan Zhengd899e052008-10-30 14:25:28 -04001294
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001295 if (split == start) {
1296 key.offset = start;
1297 } else {
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001298 if (start != key.offset) {
1299 ret = -EINVAL;
1300 btrfs_abort_transaction(trans, ret);
1301 goto out;
1302 }
Yan Zhengd899e052008-10-30 14:25:28 -04001303 path->slots[0]--;
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001304 extent_end = end;
Yan Zhengd899e052008-10-30 14:25:28 -04001305 }
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001306 recow = 1;
Yan Zhengd899e052008-10-30 14:25:28 -04001307 }
1308
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001309 other_start = end;
1310 other_end = 0;
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001311 btrfs_init_generic_ref(&ref, BTRFS_DROP_DELAYED_REF, bytenr,
1312 num_bytes, 0);
1313 btrfs_init_data_ref(&ref, root->root_key.objectid, ino, orig_offset);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001314 if (extent_mergeable(leaf, path->slots[0] + 1,
Li Zefan33345d012011-04-20 10:31:50 +08001315 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001316 &other_start, &other_end)) {
1317 if (recow) {
David Sterbab3b4aa72011-04-21 01:20:15 +02001318 btrfs_release_path(path);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001319 goto again;
1320 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001321 extent_end = other_end;
1322 del_slot = path->slots[0] + 1;
1323 del_nr++;
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001324 ret = btrfs_free_extent(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001325 if (ret) {
1326 btrfs_abort_transaction(trans, ret);
1327 goto out;
1328 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001329 }
1330 other_start = 0;
1331 other_end = start;
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001332 if (extent_mergeable(leaf, path->slots[0] - 1,
Li Zefan33345d012011-04-20 10:31:50 +08001333 ino, bytenr, orig_offset,
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001334 &other_start, &other_end)) {
1335 if (recow) {
David Sterbab3b4aa72011-04-21 01:20:15 +02001336 btrfs_release_path(path);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001337 goto again;
1338 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001339 key.offset = other_start;
1340 del_slot = path->slots[0];
1341 del_nr++;
Qu Wenruoffd4bb22019-04-04 14:45:36 +08001342 ret = btrfs_free_extent(trans, &ref);
Josef Bacik9c8e63d2016-09-02 15:40:06 -04001343 if (ret) {
1344 btrfs_abort_transaction(trans, ret);
1345 goto out;
1346 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001347 }
1348 if (del_nr == 0) {
Shaohua Li3f6fae92010-02-11 07:43:00 +00001349 fi = btrfs_item_ptr(leaf, path->slots[0],
1350 struct btrfs_file_extent_item);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001351 btrfs_set_file_extent_type(leaf, fi,
1352 BTRFS_FILE_EXTENT_REG);
Josef Bacik224ecce2012-08-16 16:32:06 -04001353 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001354 btrfs_mark_buffer_dirty(leaf);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001355 } else {
Shaohua Li3f6fae92010-02-11 07:43:00 +00001356 fi = btrfs_item_ptr(leaf, del_slot - 1,
1357 struct btrfs_file_extent_item);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001358 btrfs_set_file_extent_type(leaf, fi,
1359 BTRFS_FILE_EXTENT_REG);
Josef Bacik224ecce2012-08-16 16:32:06 -04001360 btrfs_set_file_extent_generation(leaf, fi, trans->transid);
Yan, Zheng6c7d54a2010-01-15 08:43:09 +00001361 btrfs_set_file_extent_num_bytes(leaf, fi,
1362 extent_end - key.offset);
1363 btrfs_mark_buffer_dirty(leaf);
1364
1365 ret = btrfs_del_items(trans, root, path, del_slot, del_nr);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001366 if (ret < 0) {
Jeff Mahoney66642832016-06-10 18:19:25 -04001367 btrfs_abort_transaction(trans, ret);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01001368 goto out;
1369 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001370 }
Yan, Zheng920bbbf2009-11-12 09:34:08 +00001371out:
Yan Zhengd899e052008-10-30 14:25:28 -04001372 btrfs_free_path(path);
1373 return 0;
1374}
1375
Chris Mason39279cc2007-06-12 06:35:45 -04001376/*
Chris Masonb1bf8622011-02-28 09:52:08 -05001377 * on error we return an unlocked page and the error value
1378 * on success we return a locked page and 0
1379 */
Chris Masonbb1591b42015-12-14 15:40:44 -08001380static int prepare_uptodate_page(struct inode *inode,
1381 struct page *page, u64 pos,
Josef Bacikb63164292011-09-30 15:23:54 -04001382 bool force_uptodate)
Chris Masonb1bf8622011-02-28 09:52:08 -05001383{
1384 int ret = 0;
1385
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001386 if (((pos & (PAGE_SIZE - 1)) || force_uptodate) &&
Josef Bacikb63164292011-09-30 15:23:54 -04001387 !PageUptodate(page)) {
Chris Masonb1bf8622011-02-28 09:52:08 -05001388 ret = btrfs_readpage(NULL, page);
1389 if (ret)
1390 return ret;
1391 lock_page(page);
1392 if (!PageUptodate(page)) {
1393 unlock_page(page);
1394 return -EIO;
1395 }
Chris Masonbb1591b42015-12-14 15:40:44 -08001396 if (page->mapping != inode->i_mapping) {
1397 unlock_page(page);
1398 return -EAGAIN;
1399 }
Chris Masonb1bf8622011-02-28 09:52:08 -05001400 }
1401 return 0;
1402}
1403
1404/*
Miao Xie376cc682013-12-10 19:25:04 +08001405 * this just gets pages into the page cache and locks them down.
Chris Mason39279cc2007-06-12 06:35:45 -04001406 */
Miao Xieb37392e2013-12-10 19:25:03 +08001407static noinline int prepare_pages(struct inode *inode, struct page **pages,
1408 size_t num_pages, loff_t pos,
1409 size_t write_bytes, bool force_uptodate)
Chris Mason39279cc2007-06-12 06:35:45 -04001410{
1411 int i;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001412 unsigned long index = pos >> PAGE_SHIFT;
Josef Bacik3b16a4e2011-09-21 15:05:58 -04001413 gfp_t mask = btrfs_alloc_write_mask(inode->i_mapping);
Filipe David Borba Mananafc28b622013-12-13 19:39:34 +00001414 int err = 0;
Miao Xie376cc682013-12-10 19:25:04 +08001415 int faili;
Chris Mason8c2383c2007-06-18 09:57:58 -04001416
Chris Mason39279cc2007-06-12 06:35:45 -04001417 for (i = 0; i < num_pages; i++) {
Chris Masonbb1591b42015-12-14 15:40:44 -08001418again:
Josef Bacika94733d2011-07-11 10:47:06 -04001419 pages[i] = find_or_create_page(inode->i_mapping, index + i,
Johannes Weinere3a41a52012-01-10 15:07:55 -08001420 mask | __GFP_WRITE);
Chris Mason39279cc2007-06-12 06:35:45 -04001421 if (!pages[i]) {
Chris Masonb1bf8622011-02-28 09:52:08 -05001422 faili = i - 1;
1423 err = -ENOMEM;
1424 goto fail;
1425 }
1426
1427 if (i == 0)
Chris Masonbb1591b42015-12-14 15:40:44 -08001428 err = prepare_uptodate_page(inode, pages[i], pos,
Josef Bacikb63164292011-09-30 15:23:54 -04001429 force_uptodate);
Chris Masonbb1591b42015-12-14 15:40:44 -08001430 if (!err && i == num_pages - 1)
1431 err = prepare_uptodate_page(inode, pages[i],
Josef Bacikb63164292011-09-30 15:23:54 -04001432 pos + write_bytes, false);
Chris Masonb1bf8622011-02-28 09:52:08 -05001433 if (err) {
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001434 put_page(pages[i]);
Chris Masonbb1591b42015-12-14 15:40:44 -08001435 if (err == -EAGAIN) {
1436 err = 0;
1437 goto again;
1438 }
Chris Masonb1bf8622011-02-28 09:52:08 -05001439 faili = i - 1;
1440 goto fail;
Chris Mason39279cc2007-06-12 06:35:45 -04001441 }
Chris Masonccd467d2007-06-28 15:57:36 -04001442 wait_on_page_writeback(pages[i]);
Chris Mason39279cc2007-06-12 06:35:45 -04001443 }
Chris Masone6dcd2d2008-07-17 12:53:50 -04001444
Chris Mason39279cc2007-06-12 06:35:45 -04001445 return 0;
Chris Masonb1bf8622011-02-28 09:52:08 -05001446fail:
1447 while (faili >= 0) {
1448 unlock_page(pages[faili]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001449 put_page(pages[faili]);
Chris Masonb1bf8622011-02-28 09:52:08 -05001450 faili--;
1451 }
1452 return err;
1453
Chris Mason39279cc2007-06-12 06:35:45 -04001454}
1455
Miao Xie376cc682013-12-10 19:25:04 +08001456/*
1457 * This function locks the extent and properly waits for data=ordered extents
1458 * to finish before allowing the pages to be modified if need.
1459 *
1460 * The return value:
1461 * 1 - the extent is locked
1462 * 0 - the extent is not locked, and everything is OK
1463 * -EAGAIN - need re-prepare the pages
1464 * the other < 0 number - Something wrong happens
1465 */
1466static noinline int
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001467lock_and_cleanup_extent_if_need(struct btrfs_inode *inode, struct page **pages,
Miao Xie376cc682013-12-10 19:25:04 +08001468 size_t num_pages, loff_t pos,
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301469 size_t write_bytes,
Miao Xie376cc682013-12-10 19:25:04 +08001470 u64 *lockstart, u64 *lockend,
1471 struct extent_state **cached_state)
1472{
David Sterba3ffbd682018-06-29 10:56:42 +02001473 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Miao Xie376cc682013-12-10 19:25:04 +08001474 u64 start_pos;
1475 u64 last_pos;
1476 int i;
1477 int ret = 0;
1478
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001479 start_pos = round_down(pos, fs_info->sectorsize);
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301480 last_pos = start_pos
Jeff Mahoneyda170662016-06-15 09:22:56 -04001481 + round_up(pos + write_bytes - start_pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001482 fs_info->sectorsize) - 1;
Miao Xie376cc682013-12-10 19:25:04 +08001483
Filipe Mananae3b8a482017-11-04 00:16:59 +00001484 if (start_pos < inode->vfs_inode.i_size) {
Miao Xie376cc682013-12-10 19:25:04 +08001485 struct btrfs_ordered_extent *ordered;
Filipe Mananaa7e3b972017-04-03 10:45:46 +01001486
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001487 lock_extent_bits(&inode->io_tree, start_pos, last_pos,
1488 cached_state);
Miao Xieb88935b2014-03-06 13:54:58 +08001489 ordered = btrfs_lookup_ordered_range(inode, start_pos,
1490 last_pos - start_pos + 1);
Miao Xie376cc682013-12-10 19:25:04 +08001491 if (ordered &&
Omar Sandovalbffe6332019-12-02 17:34:19 -08001492 ordered->file_offset + ordered->num_bytes > start_pos &&
Miao Xie376cc682013-12-10 19:25:04 +08001493 ordered->file_offset <= last_pos) {
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001494 unlock_extent_cached(&inode->io_tree, start_pos,
David Sterbae43bbe52017-12-12 21:43:52 +01001495 last_pos, cached_state);
Miao Xie376cc682013-12-10 19:25:04 +08001496 for (i = 0; i < num_pages; i++) {
1497 unlock_page(pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001498 put_page(pages[i]);
Miao Xie376cc682013-12-10 19:25:04 +08001499 }
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001500 btrfs_start_ordered_extent(&inode->vfs_inode,
1501 ordered, 1);
Miao Xieb88935b2014-03-06 13:54:58 +08001502 btrfs_put_ordered_extent(ordered);
1503 return -EAGAIN;
Miao Xie376cc682013-12-10 19:25:04 +08001504 }
1505 if (ordered)
1506 btrfs_put_ordered_extent(ordered);
Chris Mason7703bdd2018-06-20 07:56:11 -07001507
Miao Xie376cc682013-12-10 19:25:04 +08001508 *lockstart = start_pos;
1509 *lockend = last_pos;
1510 ret = 1;
1511 }
1512
Chris Mason7703bdd2018-06-20 07:56:11 -07001513 /*
1514 * It's possible the pages are dirty right now, but we don't want
1515 * to clean them yet because copy_from_user may catch a page fault
1516 * and we might have to fall back to one page at a time. If that
1517 * happens, we'll unlock these pages and we'd have a window where
1518 * reclaim could sneak in and drop the once-dirty page on the floor
1519 * without writing it.
1520 *
1521 * We have the pages locked and the extent range locked, so there's
1522 * no way someone can start IO on any dirty pages in this range.
1523 *
1524 * We'll call btrfs_dirty_pages() later on, and that will flip around
1525 * delalloc bits and dirty the pages as required.
1526 */
Miao Xie376cc682013-12-10 19:25:04 +08001527 for (i = 0; i < num_pages; i++) {
Miao Xie376cc682013-12-10 19:25:04 +08001528 set_page_extent_mapped(pages[i]);
1529 WARN_ON(!PageLocked(pages[i]));
1530 }
1531
1532 return ret;
1533}
1534
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001535static noinline int check_can_nocow(struct btrfs_inode *inode, loff_t pos,
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001536 size_t *write_bytes, bool nowait)
Josef Bacik7ee9e442013-06-21 16:37:03 -04001537{
David Sterba3ffbd682018-06-29 10:56:42 +02001538 struct btrfs_fs_info *fs_info = inode->root->fs_info;
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001539 struct btrfs_root *root = inode->root;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001540 u64 lockstart, lockend;
1541 u64 num_bytes;
1542 int ret;
1543
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001544 if (!nowait && !btrfs_drew_try_write_lock(&root->snapshot_lock))
Nikolay Borisov5f791ec2019-05-07 10:23:46 +03001545 return -EAGAIN;
Miao Xie8257b2d2014-03-06 13:38:19 +08001546
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001547 lockstart = round_down(pos, fs_info->sectorsize);
Jeff Mahoneyda170662016-06-15 09:22:56 -04001548 lockend = round_up(pos + *write_bytes,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001549 fs_info->sectorsize) - 1;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001550 num_bytes = lockend - lockstart + 1;
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001551
1552 if (nowait) {
1553 struct btrfs_ordered_extent *ordered;
1554
1555 if (!try_lock_extent(&inode->io_tree, lockstart, lockend))
1556 return -EAGAIN;
1557
1558 ordered = btrfs_lookup_ordered_range(inode, lockstart,
1559 num_bytes);
1560 if (ordered) {
1561 btrfs_put_ordered_extent(ordered);
1562 ret = -EAGAIN;
1563 goto out_unlock;
1564 }
1565 } else {
1566 btrfs_lock_and_flush_ordered_range(inode, lockstart,
1567 lockend, NULL);
1568 }
1569
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;
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001574 if (!nowait)
1575 btrfs_drew_write_unlock(&root->snapshot_lock);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001576 } else {
Miao Xiec9339562014-02-27 13:58:04 +08001577 *write_bytes = min_t(size_t, *write_bytes ,
1578 num_bytes - pos + lockstart);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001579 }
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001580out_unlock:
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001581 unlock_extent(&inode->io_tree, lockstart, lockend);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001582
1583 return ret;
1584}
1585
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001586static noinline ssize_t btrfs_buffered_write(struct kiocb *iocb,
1587 struct iov_iter *i)
Josef Bacik4b46fce2010-05-23 11:00:55 -04001588{
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001589 struct file *file = iocb->ki_filp;
1590 loff_t pos = iocb->ki_pos;
Al Viro496ad9a2013-01-23 17:07:38 -05001591 struct inode *inode = file_inode(file);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001592 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik11c65dc2010-05-23 11:07:21 -04001593 struct btrfs_root *root = BTRFS_I(inode)->root;
Josef Bacik11c65dc2010-05-23 11:07:21 -04001594 struct page **pages = NULL;
Qu Wenruo364ecf32017-02-27 15:10:38 +08001595 struct extent_changeset *data_reserved = NULL;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001596 u64 release_bytes = 0;
Miao Xie376cc682013-12-10 19:25:04 +08001597 u64 lockstart;
1598 u64 lockend;
Josef Bacikd0215f32011-01-25 14:57:24 -05001599 size_t num_written = 0;
1600 int nrptrs;
Tsutomu Itohc9149232011-03-30 00:57:23 +00001601 int ret = 0;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001602 bool only_release_metadata = false;
Josef Bacikb63164292011-09-30 15:23:54 -04001603 bool force_page_uptodate = false;
Chris Masoncb843a62008-10-03 12:30:02 -04001604
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001605 nrptrs = min(DIV_ROUND_UP(iov_iter_count(i), PAGE_SIZE),
1606 PAGE_SIZE / (sizeof(struct page *)));
Wu Fengguang142349f2011-12-16 12:32:57 -05001607 nrptrs = min(nrptrs, current->nr_dirtied_pause - current->nr_dirtied);
1608 nrptrs = max(nrptrs, 8);
David Sterba31e818f2015-02-20 18:00:26 +01001609 pages = kmalloc_array(nrptrs, sizeof(struct page *), GFP_KERNEL);
Josef Bacikd0215f32011-01-25 14:57:24 -05001610 if (!pages)
1611 return -ENOMEM;
Chris Masonab93dbe2009-10-01 12:29:10 -04001612
Josef Bacikd0215f32011-01-25 14:57:24 -05001613 while (iov_iter_count(i) > 0) {
Filipe Mananac67d9702019-09-30 10:20:25 +01001614 struct extent_state *cached_state = NULL;
Johannes Thumshirn70730172018-12-05 15:23:03 +01001615 size_t offset = offset_in_page(pos);
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301616 size_t sector_offset;
Josef Bacikd0215f32011-01-25 14:57:24 -05001617 size_t write_bytes = min(iov_iter_count(i),
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001618 nrptrs * (size_t)PAGE_SIZE -
Chris Mason8c2383c2007-06-18 09:57:58 -04001619 offset);
David Sterbaed6078f2014-06-05 01:59:57 +02001620 size_t num_pages = DIV_ROUND_UP(write_bytes + offset,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001621 PAGE_SIZE);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001622 size_t reserve_bytes;
Josef Bacikd0215f32011-01-25 14:57:24 -05001623 size_t dirty_pages;
1624 size_t copied;
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301625 size_t dirty_sectors;
1626 size_t num_sectors;
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001627 int extents_locked;
Chris Mason39279cc2007-06-12 06:35:45 -04001628
Chris Mason8c2383c2007-06-18 09:57:58 -04001629 WARN_ON(num_pages > nrptrs);
Chris Mason1832a6d2007-12-21 16:27:21 -05001630
Xin Zhong914ee292010-12-09 09:30:14 +00001631 /*
1632 * Fault pages before locking them in prepare_pages
1633 * to avoid recursive lock
1634 */
Josef Bacikd0215f32011-01-25 14:57:24 -05001635 if (unlikely(iov_iter_fault_in_readable(i, write_bytes))) {
Xin Zhong914ee292010-12-09 09:30:14 +00001636 ret = -EFAULT;
Josef Bacikd0215f32011-01-25 14:57:24 -05001637 break;
Xin Zhong914ee292010-12-09 09:30:14 +00001638 }
1639
Filipe Mananaa0e248b2019-10-11 16:41:20 +01001640 only_release_metadata = false;
Jeff Mahoneyda170662016-06-15 09:22:56 -04001641 sector_offset = pos & (fs_info->sectorsize - 1);
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301642 reserve_bytes = round_up(write_bytes + sector_offset,
Jeff Mahoneyda170662016-06-15 09:22:56 -04001643 fs_info->sectorsize);
Qu Wenruod9d8b2a2015-09-08 17:22:43 +08001644
Qu Wenruo364ecf32017-02-27 15:10:38 +08001645 extent_changeset_release(data_reserved);
1646 ret = btrfs_check_data_free_space(inode, &data_reserved, pos,
1647 write_bytes);
Josef Bacikc6887cd2016-03-25 13:26:00 -04001648 if (ret < 0) {
1649 if ((BTRFS_I(inode)->flags & (BTRFS_INODE_NODATACOW |
1650 BTRFS_INODE_PREALLOC)) &&
Nikolay Borisov85b7ab62017-02-20 13:50:50 +02001651 check_can_nocow(BTRFS_I(inode), pos,
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001652 &write_bytes, false) > 0) {
Josef Bacikc6887cd2016-03-25 13:26:00 -04001653 /*
1654 * For nodata cow case, no need to reserve
1655 * data space.
1656 */
1657 only_release_metadata = true;
1658 /*
1659 * our prealloc extent may be smaller than
1660 * write_bytes, so scale down.
1661 */
1662 num_pages = DIV_ROUND_UP(write_bytes + offset,
1663 PAGE_SIZE);
1664 reserve_bytes = round_up(write_bytes +
1665 sector_offset,
Jeff Mahoneyda170662016-06-15 09:22:56 -04001666 fs_info->sectorsize);
Josef Bacikc6887cd2016-03-25 13:26:00 -04001667 } else {
1668 break;
1669 }
Josef Bacik7ee9e442013-06-21 16:37:03 -04001670 }
Zhao Lei4da2e262016-01-06 18:24:43 +08001671
Josef Bacik8b62f872017-10-19 14:15:55 -04001672 WARN_ON(reserve_bytes == 0);
Nikolay Borisov9f3db422017-02-20 13:50:41 +02001673 ret = btrfs_delalloc_reserve_metadata(BTRFS_I(inode),
1674 reserve_bytes);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001675 if (ret) {
1676 if (!only_release_metadata)
Qu Wenruobc42bda2017-02-27 15:10:39 +08001677 btrfs_free_reserved_data_space(inode,
1678 data_reserved, pos,
1679 write_bytes);
Miao Xie8257b2d2014-03-06 13:38:19 +08001680 else
Nikolay Borisovdcc3eb92020-01-30 14:59:45 +02001681 btrfs_drew_write_unlock(&root->snapshot_lock);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001682 break;
1683 }
1684
1685 release_bytes = reserve_bytes;
Miao Xie376cc682013-12-10 19:25:04 +08001686again:
Josef Bacik4a640012011-01-25 15:10:08 -05001687 /*
1688 * This is going to setup the pages array with the number of
1689 * pages we want, so we don't really need to worry about the
1690 * contents of pages from loop to loop
1691 */
Miao Xieb37392e2013-12-10 19:25:03 +08001692 ret = prepare_pages(inode, pages, num_pages,
1693 pos, write_bytes,
Josef Bacikb63164292011-09-30 15:23:54 -04001694 force_page_uptodate);
Josef Bacik8b62f872017-10-19 14:15:55 -04001695 if (ret) {
1696 btrfs_delalloc_release_extents(BTRFS_I(inode),
Qu Wenruo8702ba92019-10-14 14:34:51 +08001697 reserve_bytes);
Josef Bacikd0215f32011-01-25 14:57:24 -05001698 break;
Josef Bacik8b62f872017-10-19 14:15:55 -04001699 }
Chris Mason39279cc2007-06-12 06:35:45 -04001700
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001701 extents_locked = lock_and_cleanup_extent_if_need(
1702 BTRFS_I(inode), pages,
Nikolay Borisov2cff578c2017-02-20 13:50:51 +02001703 num_pages, pos, write_bytes, &lockstart,
1704 &lockend, &cached_state);
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001705 if (extents_locked < 0) {
1706 if (extents_locked == -EAGAIN)
Miao Xie376cc682013-12-10 19:25:04 +08001707 goto again;
Josef Bacik8b62f872017-10-19 14:15:55 -04001708 btrfs_delalloc_release_extents(BTRFS_I(inode),
Qu Wenruo8702ba92019-10-14 14:34:51 +08001709 reserve_bytes);
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001710 ret = extents_locked;
Miao Xie376cc682013-12-10 19:25:04 +08001711 break;
Miao Xie376cc682013-12-10 19:25:04 +08001712 }
1713
Zhao Leiee22f0c2016-01-06 18:47:31 +08001714 copied = btrfs_copy_from_user(pos, write_bytes, pages, i);
Chris Masonb1bf8622011-02-28 09:52:08 -05001715
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001716 num_sectors = BTRFS_BYTES_TO_BLKS(fs_info, reserve_bytes);
Chris Mason56244ef2016-05-16 09:21:01 -07001717 dirty_sectors = round_up(copied + sector_offset,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001718 fs_info->sectorsize);
1719 dirty_sectors = BTRFS_BYTES_TO_BLKS(fs_info, dirty_sectors);
Chris Mason56244ef2016-05-16 09:21:01 -07001720
Chris Masonb1bf8622011-02-28 09:52:08 -05001721 /*
1722 * if we have trouble faulting in the pages, fall
1723 * back to one page at a time
1724 */
1725 if (copied < write_bytes)
1726 nrptrs = 1;
1727
Josef Bacikb63164292011-09-30 15:23:54 -04001728 if (copied == 0) {
1729 force_page_uptodate = true;
Chris Mason56244ef2016-05-16 09:21:01 -07001730 dirty_sectors = 0;
Chris Masonb1bf8622011-02-28 09:52:08 -05001731 dirty_pages = 0;
Josef Bacikb63164292011-09-30 15:23:54 -04001732 } else {
1733 force_page_uptodate = false;
David Sterbaed6078f2014-06-05 01:59:57 +02001734 dirty_pages = DIV_ROUND_UP(copied + offset,
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001735 PAGE_SIZE);
Josef Bacikb63164292011-09-30 15:23:54 -04001736 }
Xin Zhong914ee292010-12-09 09:30:14 +00001737
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301738 if (num_sectors > dirty_sectors) {
Chris Mason8b8b08c2016-07-19 05:52:36 -07001739 /* release everything except the sectors we dirtied */
1740 release_bytes -= dirty_sectors <<
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001741 fs_info->sb->s_blocksize_bits;
Qu Wenruo485290a2015-10-29 17:28:46 +08001742 if (only_release_metadata) {
Nikolay Borisov691fa052017-02-20 13:50:42 +02001743 btrfs_delalloc_release_metadata(BTRFS_I(inode),
Qu Wenruo43b18592017-12-12 15:34:32 +08001744 release_bytes, true);
Qu Wenruo485290a2015-10-29 17:28:46 +08001745 } else {
1746 u64 __pos;
1747
Jeff Mahoneyda170662016-06-15 09:22:56 -04001748 __pos = round_down(pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001749 fs_info->sectorsize) +
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001750 (dirty_pages << PAGE_SHIFT);
Qu Wenruobc42bda2017-02-27 15:10:39 +08001751 btrfs_delalloc_release_space(inode,
1752 data_reserved, __pos,
Qu Wenruo43b18592017-12-12 15:34:32 +08001753 release_bytes, true);
Qu Wenruo485290a2015-10-29 17:28:46 +08001754 }
Xin Zhong914ee292010-12-09 09:30:14 +00001755 }
1756
Chandan Rajendra2e78c922016-01-21 15:55:53 +05301757 release_bytes = round_up(copied + sector_offset,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001758 fs_info->sectorsize);
Miao Xie376cc682013-12-10 19:25:04 +08001759
1760 if (copied > 0)
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04001761 ret = btrfs_dirty_pages(inode, pages, dirty_pages,
Filipe Manana94f45072017-10-31 17:59:54 +00001762 pos, copied, &cached_state);
Filipe Mananac67d9702019-09-30 10:20:25 +01001763
1764 /*
1765 * If we have not locked the extent range, because the range's
1766 * start offset is >= i_size, we might still have a non-NULL
1767 * cached extent state, acquired while marking the extent range
1768 * as delalloc through btrfs_dirty_pages(). Therefore free any
1769 * possible cached extent state to avoid a memory leak.
1770 */
Goldwyn Rodrigues79f015f2017-10-16 05:43:21 -05001771 if (extents_locked)
Miao Xie376cc682013-12-10 19:25:04 +08001772 unlock_extent_cached(&BTRFS_I(inode)->io_tree,
David Sterbae43bbe52017-12-12 21:43:52 +01001773 lockstart, lockend, &cached_state);
Filipe Mananac67d9702019-09-30 10:20:25 +01001774 else
1775 free_extent_state(cached_state);
1776
Qu Wenruo8702ba92019-10-14 14:34:51 +08001777 btrfs_delalloc_release_extents(BTRFS_I(inode), reserve_bytes);
Miao Xief1de9682014-01-09 10:06:10 +08001778 if (ret) {
1779 btrfs_drop_pages(pages, num_pages);
Miao Xie376cc682013-12-10 19:25:04 +08001780 break;
Miao Xief1de9682014-01-09 10:06:10 +08001781 }
Chris Mason39279cc2007-06-12 06:35:45 -04001782
Josef Bacik7ee9e442013-06-21 16:37:03 -04001783 release_bytes = 0;
Miao Xie8257b2d2014-03-06 13:38:19 +08001784 if (only_release_metadata)
Nikolay Borisovdcc3eb92020-01-30 14:59:45 +02001785 btrfs_drew_write_unlock(&root->snapshot_lock);
Miao Xie8257b2d2014-03-06 13:38:19 +08001786
Josef Bacik7ee9e442013-06-21 16:37:03 -04001787 if (only_release_metadata && copied > 0) {
Jeff Mahoneyda170662016-06-15 09:22:56 -04001788 lockstart = round_down(pos,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001789 fs_info->sectorsize);
Jeff Mahoneyda170662016-06-15 09:22:56 -04001790 lockend = round_up(pos + copied,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001791 fs_info->sectorsize) - 1;
Josef Bacik7ee9e442013-06-21 16:37:03 -04001792
1793 set_extent_bit(&BTRFS_I(inode)->io_tree, lockstart,
1794 lockend, EXTENT_NORESERVE, NULL,
1795 NULL, GFP_NOFS);
Josef Bacik7ee9e442013-06-21 16:37:03 -04001796 }
1797
Miao Xief1de9682014-01-09 10:06:10 +08001798 btrfs_drop_pages(pages, num_pages);
1799
Josef Bacikd0215f32011-01-25 14:57:24 -05001800 cond_resched();
1801
Namjae Jeond0e1d662012-12-11 16:00:21 -08001802 balance_dirty_pages_ratelimited(inode->i_mapping);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001803 if (dirty_pages < (fs_info->nodesize >> PAGE_SHIFT) + 1)
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04001804 btrfs_btree_balance_dirty(fs_info);
Chris Mason39279cc2007-06-12 06:35:45 -04001805
Xin Zhong914ee292010-12-09 09:30:14 +00001806 pos += copied;
1807 num_written += copied;
Chris Mason39279cc2007-06-12 06:35:45 -04001808 }
Chris Mason5b92ee72008-01-03 13:46:11 -05001809
Chris Mason8c2383c2007-06-18 09:57:58 -04001810 kfree(pages);
Josef Bacikd0215f32011-01-25 14:57:24 -05001811
Josef Bacik7ee9e442013-06-21 16:37:03 -04001812 if (release_bytes) {
Miao Xie8257b2d2014-03-06 13:38:19 +08001813 if (only_release_metadata) {
Nikolay Borisovdcc3eb92020-01-30 14:59:45 +02001814 btrfs_drew_write_unlock(&root->snapshot_lock);
Nikolay Borisov691fa052017-02-20 13:50:42 +02001815 btrfs_delalloc_release_metadata(BTRFS_I(inode),
Qu Wenruo43b18592017-12-12 15:34:32 +08001816 release_bytes, true);
Miao Xie8257b2d2014-03-06 13:38:19 +08001817 } else {
Qu Wenruobc42bda2017-02-27 15:10:39 +08001818 btrfs_delalloc_release_space(inode, data_reserved,
1819 round_down(pos, fs_info->sectorsize),
Qu Wenruo43b18592017-12-12 15:34:32 +08001820 release_bytes, true);
Miao Xie8257b2d2014-03-06 13:38:19 +08001821 }
Josef Bacik7ee9e442013-06-21 16:37:03 -04001822 }
1823
Qu Wenruo364ecf32017-02-27 15:10:38 +08001824 extent_changeset_free(data_reserved);
Josef Bacikd0215f32011-01-25 14:57:24 -05001825 return num_written ? num_written : ret;
1826}
1827
David Sterbaf4c48b42020-06-09 19:19:27 +02001828static ssize_t __btrfs_direct_write(struct kiocb *iocb, struct iov_iter *from)
Josef Bacikd0215f32011-01-25 14:57:24 -05001829{
1830 struct file *file = iocb->ki_filp;
Filipe Manana728404d2014-10-10 09:43:11 +01001831 struct inode *inode = file_inode(file);
David Sterbaf4c48b42020-06-09 19:19:27 +02001832 loff_t pos;
1833 ssize_t written;
Josef Bacikd0215f32011-01-25 14:57:24 -05001834 ssize_t written_buffered;
1835 loff_t endbyte;
1836 int err;
1837
David Sterba55e20bd2020-06-09 19:56:06 +02001838 written = generic_file_direct_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001839
Al Viro0c949332014-03-22 06:51:37 -04001840 if (written < 0 || !iov_iter_count(from))
Josef Bacikd0215f32011-01-25 14:57:24 -05001841 return written;
1842
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001843 pos = iocb->ki_pos;
1844 written_buffered = btrfs_buffered_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001845 if (written_buffered < 0) {
1846 err = written_buffered;
1847 goto out;
1848 }
Filipe Manana075bdbd2014-10-09 21:18:55 +01001849 /*
1850 * Ensure all data is persisted. We want the next direct IO read to be
1851 * able to read what was just written.
1852 */
Josef Bacikd0215f32011-01-25 14:57:24 -05001853 endbyte = pos + written_buffered - 1;
Filipe Manana728404d2014-10-10 09:43:11 +01001854 err = btrfs_fdatawrite_range(inode, pos, endbyte);
Filipe Manana075bdbd2014-10-09 21:18:55 +01001855 if (err)
1856 goto out;
Filipe Manana728404d2014-10-10 09:43:11 +01001857 err = filemap_fdatawait_range(inode->i_mapping, pos, endbyte);
Josef Bacikd0215f32011-01-25 14:57:24 -05001858 if (err)
1859 goto out;
1860 written += written_buffered;
Al Viro867c4f92014-02-11 19:31:06 -05001861 iocb->ki_pos = pos + written_buffered;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +03001862 invalidate_mapping_pages(file->f_mapping, pos >> PAGE_SHIFT,
1863 endbyte >> PAGE_SHIFT);
Josef Bacikd0215f32011-01-25 14:57:24 -05001864out:
1865 return written ? written : err;
1866}
1867
Josef Bacik6c760c02012-11-09 10:53:21 -05001868static void update_time_for_write(struct inode *inode)
1869{
Deepa Dinamani95582b02018-05-08 19:36:02 -07001870 struct timespec64 now;
Josef Bacik6c760c02012-11-09 10:53:21 -05001871
1872 if (IS_NOCMTIME(inode))
1873 return;
1874
Deepa Dinamanic2050a42016-09-14 07:48:06 -07001875 now = current_time(inode);
Deepa Dinamani95582b02018-05-08 19:36:02 -07001876 if (!timespec64_equal(&inode->i_mtime, &now))
Josef Bacik6c760c02012-11-09 10:53:21 -05001877 inode->i_mtime = now;
1878
Deepa Dinamani95582b02018-05-08 19:36:02 -07001879 if (!timespec64_equal(&inode->i_ctime, &now))
Josef Bacik6c760c02012-11-09 10:53:21 -05001880 inode->i_ctime = now;
1881
1882 if (IS_I_VERSION(inode))
1883 inode_inc_iversion(inode);
1884}
1885
Al Virob30ac0f2014-04-03 14:29:04 -04001886static ssize_t btrfs_file_write_iter(struct kiocb *iocb,
1887 struct iov_iter *from)
Josef Bacikd0215f32011-01-25 14:57:24 -05001888{
1889 struct file *file = iocb->ki_filp;
Al Viro496ad9a2013-01-23 17:07:38 -05001890 struct inode *inode = file_inode(file);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001891 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacikd0215f32011-01-25 14:57:24 -05001892 struct btrfs_root *root = BTRFS_I(inode)->root;
Miao Xie0c1a98c2011-09-11 10:52:24 -04001893 u64 start_pos;
Qu Wenruo3ac0d7b2014-03-27 02:51:58 +00001894 u64 end_pos;
Josef Bacikd0215f32011-01-25 14:57:24 -05001895 ssize_t num_written = 0;
Omar Sandovalf50cb7a2019-08-15 14:04:03 -07001896 const bool sync = iocb->ki_flags & IOCB_DSYNC;
Al Viro3309dd02015-04-09 12:55:47 -04001897 ssize_t err;
Goldwyn Rodriguesff0fa732017-07-04 22:33:07 -05001898 loff_t pos;
Omar Sandovalc09767a2019-08-15 14:04:02 -07001899 size_t count;
Chandan Rajendra27772b62016-01-21 15:56:03 +05301900 loff_t oldsize;
1901 int clean_page = 0;
Josef Bacikd0215f32011-01-25 14:57:24 -05001902
Christoph Hellwig91f99432017-08-29 16:13:20 +02001903 if (!(iocb->ki_flags & IOCB_DIRECT) &&
1904 (iocb->ki_flags & IOCB_NOWAIT))
1905 return -EOPNOTSUPP;
1906
Goldwyn Rodrigues9cf35f62019-09-11 11:45:15 -05001907 if (iocb->ki_flags & IOCB_NOWAIT) {
1908 if (!inode_trylock(inode))
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05001909 return -EAGAIN;
Goldwyn Rodrigues9cf35f62019-09-11 11:45:15 -05001910 } else {
Goldwyn Rodriguesff0fa732017-07-04 22:33:07 -05001911 inode_lock(inode);
1912 }
1913
1914 err = generic_write_checks(iocb, from);
1915 if (err <= 0) {
1916 inode_unlock(inode);
1917 return err;
1918 }
1919
1920 pos = iocb->ki_pos;
Omar Sandovalc09767a2019-08-15 14:04:02 -07001921 count = iov_iter_count(from);
Goldwyn Rodriguesff0fa732017-07-04 22:33:07 -05001922 if (iocb->ki_flags & IOCB_NOWAIT) {
Filipe Manana260a6332020-06-15 18:49:13 +01001923 size_t nocow_bytes = count;
1924
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05001925 /*
1926 * We will allocate space in case nodatacow is not set,
1927 * so bail
1928 */
1929 if (!(BTRFS_I(inode)->flags & (BTRFS_INODE_NODATACOW |
1930 BTRFS_INODE_PREALLOC)) ||
Filipe Manana5dbb75e2020-06-15 18:49:39 +01001931 check_can_nocow(BTRFS_I(inode), pos, &nocow_bytes,
1932 true) <= 0) {
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05001933 inode_unlock(inode);
1934 return -EAGAIN;
1935 }
Filipe Manana260a6332020-06-15 18:49:13 +01001936 /*
1937 * There are holes in the range or parts of the range that must
1938 * be COWed (shared extents, RO block groups, etc), so just bail
1939 * out.
1940 */
1941 if (nocow_bytes < count) {
1942 inode_unlock(inode);
1943 return -EAGAIN;
1944 }
Al Viro3309dd02015-04-09 12:55:47 -04001945 }
Josef Bacikd0215f32011-01-25 14:57:24 -05001946
Christoph Hellwigde1414a2015-01-14 10:42:36 +01001947 current->backing_dev_info = inode_to_bdi(inode);
Jan Kara5fa8e0a2015-05-21 16:05:53 +02001948 err = file_remove_privs(file);
Josef Bacikd0215f32011-01-25 14:57:24 -05001949 if (err) {
Al Viro59551022016-01-22 15:40:57 -05001950 inode_unlock(inode);
Josef Bacikd0215f32011-01-25 14:57:24 -05001951 goto out;
1952 }
1953
1954 /*
1955 * If BTRFS flips readonly due to some impossible error
1956 * (fs_info->fs_state now has BTRFS_SUPER_FLAG_ERROR),
1957 * although we have opened a file as writable, we have
1958 * to stop this write operation to ensure FS consistency.
1959 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001960 if (test_bit(BTRFS_FS_STATE_ERROR, &fs_info->fs_state)) {
Al Viro59551022016-01-22 15:40:57 -05001961 inode_unlock(inode);
Josef Bacikd0215f32011-01-25 14:57:24 -05001962 err = -EROFS;
1963 goto out;
1964 }
1965
Josef Bacik6c760c02012-11-09 10:53:21 -05001966 /*
1967 * We reserve space for updating the inode when we reserve space for the
1968 * extent we are going to write, so we will enospc out there. We don't
1969 * need to start yet another transaction to update the inode as we will
1970 * update the inode when we finish writing whatever data we write.
1971 */
1972 update_time_for_write(inode);
Josef Bacikd0215f32011-01-25 14:57:24 -05001973
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001974 start_pos = round_down(pos, fs_info->sectorsize);
Chandan Rajendra27772b62016-01-21 15:56:03 +05301975 oldsize = i_size_read(inode);
1976 if (start_pos > oldsize) {
Qu Wenruo3ac0d7b2014-03-27 02:51:58 +00001977 /* Expand hole size to cover write data, preventing empty gap */
Jeff Mahoneyda170662016-06-15 09:22:56 -04001978 end_pos = round_up(pos + count,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001979 fs_info->sectorsize);
Chandan Rajendra27772b62016-01-21 15:56:03 +05301980 err = btrfs_cont_expand(inode, oldsize, end_pos);
Miao Xie0c1a98c2011-09-11 10:52:24 -04001981 if (err) {
Al Viro59551022016-01-22 15:40:57 -05001982 inode_unlock(inode);
Miao Xie0c1a98c2011-09-11 10:52:24 -04001983 goto out;
1984 }
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001985 if (start_pos > round_up(oldsize, fs_info->sectorsize))
Chandan Rajendra27772b62016-01-21 15:56:03 +05301986 clean_page = 1;
Miao Xie0c1a98c2011-09-11 10:52:24 -04001987 }
1988
Josef Bacikb812ce22012-11-16 13:56:32 -05001989 if (sync)
1990 atomic_inc(&BTRFS_I(inode)->sync_writers);
1991
Al Viro2ba48ce2015-04-09 13:52:01 -04001992 if (iocb->ki_flags & IOCB_DIRECT) {
David Sterbaf4c48b42020-06-09 19:19:27 +02001993 num_written = __btrfs_direct_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001994 } else {
Goldwyn Rodriguese4af4002018-06-17 12:39:47 -05001995 num_written = btrfs_buffered_write(iocb, from);
Josef Bacikd0215f32011-01-25 14:57:24 -05001996 if (num_written > 0)
Al Viro867c4f92014-02-11 19:31:06 -05001997 iocb->ki_pos = pos + num_written;
Chandan Rajendra27772b62016-01-21 15:56:03 +05301998 if (clean_page)
1999 pagecache_isize_extended(inode, oldsize,
2000 i_size_read(inode));
Josef Bacikd0215f32011-01-25 14:57:24 -05002001 }
2002
Al Viro59551022016-01-22 15:40:57 -05002003 inode_unlock(inode);
Chris Mason2ff3e9b2007-10-29 14:36:41 -04002004
Chris Mason5a3f23d2009-03-31 13:27:11 -04002005 /*
Josef Bacik6c760c02012-11-09 10:53:21 -05002006 * We also have to set last_sub_trans to the current log transid,
2007 * otherwise subsequent syncs to a file that's been synced in this
Adam Buchbinderbb7ab3b2016-03-04 11:23:12 -08002008 * transaction will appear to have already occurred.
Chris Mason5a3f23d2009-03-31 13:27:11 -04002009 */
Filipe Manana2f2ff0e2015-03-20 17:19:46 +00002010 spin_lock(&BTRFS_I(inode)->lock);
Josef Bacik6c760c02012-11-09 10:53:21 -05002011 BTRFS_I(inode)->last_sub_trans = root->log_transid;
Filipe Manana2f2ff0e2015-03-20 17:19:46 +00002012 spin_unlock(&BTRFS_I(inode)->lock);
Christoph Hellwige2592212016-04-07 08:52:01 -07002013 if (num_written > 0)
2014 num_written = generic_write_sync(iocb, num_written);
Miao Xie0a3404d2013-01-28 12:34:55 +00002015
Josef Bacikb812ce22012-11-16 13:56:32 -05002016 if (sync)
2017 atomic_dec(&BTRFS_I(inode)->sync_writers);
Miao Xie0a3404d2013-01-28 12:34:55 +00002018out:
Chris Mason39279cc2007-06-12 06:35:45 -04002019 current->backing_dev_info = NULL;
Chris Mason39279cc2007-06-12 06:35:45 -04002020 return num_written ? num_written : err;
2021}
2022
Chris Masond3977122009-01-05 21:25:51 -05002023int btrfs_release_file(struct inode *inode, struct file *filp)
Mingminge1b81e62008-05-27 10:55:43 -04002024{
Josef Bacik23b5ec72017-07-24 15:14:25 -04002025 struct btrfs_file_private *private = filp->private_data;
2026
Josef Bacik23b5ec72017-07-24 15:14:25 -04002027 if (private && private->filldir_buf)
2028 kfree(private->filldir_buf);
2029 kfree(private);
2030 filp->private_data = NULL;
2031
Chris Masonf6dc45c2014-08-20 07:15:33 -07002032 /*
Andrea Gelmini52042d82018-11-28 12:05:13 +01002033 * ordered_data_close is set by setattr when we are about to truncate
Chris Masonf6dc45c2014-08-20 07:15:33 -07002034 * a file from a non-zero size to a zero size. This tries to
2035 * flush down new bytes that may have been written if the
2036 * application were using truncate to replace a file in place.
2037 */
2038 if (test_and_clear_bit(BTRFS_INODE_ORDERED_DATA_CLOSE,
2039 &BTRFS_I(inode)->runtime_flags))
2040 filemap_flush(inode->i_mapping);
Mingminge1b81e62008-05-27 10:55:43 -04002041 return 0;
2042}
2043
Filipe Manana669249e2014-09-02 11:09:58 +01002044static int start_ordered_ops(struct inode *inode, loff_t start, loff_t end)
2045{
2046 int ret;
Liu Bo343e4fc2017-11-15 16:10:28 -07002047 struct blk_plug plug;
Filipe Manana669249e2014-09-02 11:09:58 +01002048
Liu Bo343e4fc2017-11-15 16:10:28 -07002049 /*
2050 * This is only called in fsync, which would do synchronous writes, so
2051 * a plug can merge adjacent IOs as much as possible. Esp. in case of
2052 * multiple disks using raid profile, a large IO can be split to
2053 * several segments of stripe length (currently 64K).
2054 */
2055 blk_start_plug(&plug);
Filipe Manana669249e2014-09-02 11:09:58 +01002056 atomic_inc(&BTRFS_I(inode)->sync_writers);
Filipe Manana728404d2014-10-10 09:43:11 +01002057 ret = btrfs_fdatawrite_range(inode, start, end);
Filipe Manana669249e2014-09-02 11:09:58 +01002058 atomic_dec(&BTRFS_I(inode)->sync_writers);
Liu Bo343e4fc2017-11-15 16:10:28 -07002059 blk_finish_plug(&plug);
Filipe Manana669249e2014-09-02 11:09:58 +01002060
2061 return ret;
2062}
2063
Chris Masond352ac62008-09-29 15:18:18 -04002064/*
2065 * fsync call for both files and directories. This logs the inode into
2066 * the tree log instead of forcing full commits whenever possible.
2067 *
2068 * It needs to call filemap_fdatawait so that all ordered extent updates are
2069 * in the metadata btree are up to date for copying to the log.
2070 *
2071 * It drops the inode mutex before doing the tree log commit. This is an
2072 * important optimization for directories because holding the mutex prevents
2073 * new operations on the dir while we write to disk.
2074 */
Josef Bacik02c24a82011-07-16 20:44:56 -04002075int btrfs_sync_file(struct file *file, loff_t start, loff_t end, int datasync)
Chris Mason39279cc2007-06-12 06:35:45 -04002076{
Filipe Mananade17e792016-03-30 19:03:13 -04002077 struct dentry *dentry = file_dentry(file);
David Howells2b0143b2015-03-17 22:25:59 +00002078 struct inode *inode = d_inode(dentry);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002079 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Chris Mason39279cc2007-06-12 06:35:45 -04002080 struct btrfs_root *root = BTRFS_I(inode)->root;
Chris Mason39279cc2007-06-12 06:35:45 -04002081 struct btrfs_trans_handle *trans;
Miao Xie8b050d32014-02-20 18:08:58 +08002082 struct btrfs_log_ctx ctx;
Jeff Layton333427a2017-07-06 07:02:31 -04002083 int ret = 0, err;
Chris Mason39279cc2007-06-12 06:35:45 -04002084
liubo1abe9b82011-03-24 11:18:59 +00002085 trace_btrfs_sync_file(file, datasync);
Chris Mason257c62e2009-10-13 13:21:08 -04002086
Liu Boebb70442017-11-21 14:35:40 -07002087 btrfs_init_log_ctx(&ctx, inode);
2088
Miao Xie90abccf2012-09-13 04:53:47 -06002089 /*
Filipe Manana95418ed2020-03-09 12:41:05 +00002090 * Set the range to full if the NO_HOLES feature is not enabled.
2091 * This is to avoid missing file extent items representing holes after
2092 * replaying the log.
2093 */
2094 if (!btrfs_fs_incompat(fs_info, NO_HOLES)) {
2095 start = 0;
2096 end = LLONG_MAX;
2097 }
2098
2099 /*
Miao Xie90abccf2012-09-13 04:53:47 -06002100 * We write the dirty pages in the range and wait until they complete
2101 * out of the ->i_mutex. If so, we can flush the dirty pages by
Josef Bacik2ab28f32012-10-12 15:27:49 -04002102 * multi-task, and make the performance up. See
2103 * btrfs_wait_ordered_range for an explanation of the ASYNC check.
Miao Xie90abccf2012-09-13 04:53:47 -06002104 */
Filipe Manana669249e2014-09-02 11:09:58 +01002105 ret = start_ordered_ops(inode, start, end);
Miao Xie90abccf2012-09-13 04:53:47 -06002106 if (ret)
Jeff Layton333427a2017-07-06 07:02:31 -04002107 goto out;
Miao Xie90abccf2012-09-13 04:53:47 -06002108
Al Viro59551022016-01-22 15:40:57 -05002109 inode_lock(inode);
Josef Bacikc4951442018-10-12 15:32:32 -04002110
2111 /*
2112 * We take the dio_sem here because the tree log stuff can race with
2113 * lockless dio writes and get an extent map logged for an extent we
2114 * never waited on. We need it this high up for lockdep reasons.
2115 */
2116 down_write(&BTRFS_I(inode)->dio_sem);
2117
Miao Xie2ecb7922012-09-06 04:04:27 -06002118 atomic_inc(&root->log_batch);
Josef Bacikb5e6c3e2018-05-23 11:58:33 -04002119
Filipe Manana669249e2014-09-02 11:09:58 +01002120 /*
Filipe Manana7af59742020-04-07 11:37:44 +01002121 * If the inode needs a full sync, make sure we use a full range to
2122 * avoid log tree corruption, due to hole detection racing with ordered
2123 * extent completion for adjacent ranges and races between logging and
2124 * completion of ordered extents for adjancent ranges - both races
2125 * could lead to file extent items in the log with overlapping ranges.
2126 * Do this while holding the inode lock, to avoid races with other
2127 * tasks.
2128 */
2129 if (test_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
2130 &BTRFS_I(inode)->runtime_flags)) {
2131 start = 0;
2132 end = LLONG_MAX;
2133 }
2134
2135 /*
Filipe Mananaaab15e82018-11-12 10:23:58 +00002136 * Before we acquired the inode's lock, someone may have dirtied more
2137 * pages in the target range. We need to make sure that writeback for
2138 * any such pages does not start while we are logging the inode, because
2139 * if it does, any of the following might happen when we are not doing a
2140 * full inode sync:
2141 *
2142 * 1) We log an extent after its writeback finishes but before its
2143 * checksums are added to the csum tree, leading to -EIO errors
2144 * when attempting to read the extent after a log replay.
2145 *
2146 * 2) We can end up logging an extent before its writeback finishes.
2147 * Therefore after the log replay we will have a file extent item
2148 * pointing to an unwritten extent (and no data checksums as well).
2149 *
2150 * So trigger writeback for any eventual new dirty pages and then we
2151 * wait for all ordered extents to complete below.
2152 */
2153 ret = start_ordered_ops(inode, start, end);
2154 if (ret) {
Robbie Ko6ff06722020-03-17 14:31:02 +08002155 up_write(&BTRFS_I(inode)->dio_sem);
Filipe Mananaaab15e82018-11-12 10:23:58 +00002156 inode_unlock(inode);
2157 goto out;
2158 }
2159
2160 /*
Josef Bacikb5e6c3e2018-05-23 11:58:33 -04002161 * We have to do this here to avoid the priority inversion of waiting on
Andrea Gelmini52042d82018-11-28 12:05:13 +01002162 * IO of a lower priority task while holding a transaction open.
Filipe Mananaba0b0842019-10-16 16:28:52 +01002163 *
2164 * Also, the range length can be represented by u64, we have to do the
2165 * typecasts to avoid signed overflow if it's [0, LLONG_MAX].
Filipe Manana669249e2014-09-02 11:09:58 +01002166 */
Filipe Mananaba0b0842019-10-16 16:28:52 +01002167 ret = btrfs_wait_ordered_range(inode, start, (u64)end - (u64)start + 1);
Filipe Manana669249e2014-09-02 11:09:58 +01002168 if (ret) {
Josef Bacikc4951442018-10-12 15:32:32 -04002169 up_write(&BTRFS_I(inode)->dio_sem);
Al Viro59551022016-01-22 15:40:57 -05002170 inode_unlock(inode);
Filipe Manana669249e2014-09-02 11:09:58 +01002171 goto out;
Josef Bacik0ef8b722013-10-25 16:13:35 -04002172 }
Miao Xie2ecb7922012-09-06 04:04:27 -06002173 atomic_inc(&root->log_batch);
Chris Mason257c62e2009-10-13 13:21:08 -04002174
Josef Bacika4abeea2011-04-11 17:25:13 -04002175 smp_mb();
Nikolay Borisov0f8939b2017-01-18 00:31:30 +02002176 if (btrfs_inode_in_log(BTRFS_I(inode), fs_info->generation) ||
David Sterbaca5788a2018-07-19 15:27:46 +02002177 BTRFS_I(inode)->last_trans <= fs_info->last_trans_committed) {
Josef Bacik5dc562c2012-08-17 13:14:17 -04002178 /*
Nicholas D Steeves01327612016-05-19 21:18:45 -04002179 * We've had everything committed since the last time we were
Josef Bacik5dc562c2012-08-17 13:14:17 -04002180 * modified so clear this flag in case it was set for whatever
2181 * reason, it's no longer relevant.
2182 */
2183 clear_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
2184 &BTRFS_I(inode)->runtime_flags);
Filipe Manana0596a902016-06-14 14:18:27 +01002185 /*
2186 * An ordered extent might have started before and completed
2187 * already with io errors, in which case the inode was not
2188 * updated and we end up here. So check the inode's mapping
Jeff Layton333427a2017-07-06 07:02:31 -04002189 * for any errors that might have happened since we last
2190 * checked called fsync.
Filipe Manana0596a902016-06-14 14:18:27 +01002191 */
Jeff Layton333427a2017-07-06 07:02:31 -04002192 ret = filemap_check_wb_err(inode->i_mapping, file->f_wb_err);
Josef Bacikc4951442018-10-12 15:32:32 -04002193 up_write(&BTRFS_I(inode)->dio_sem);
Al Viro59551022016-01-22 15:40:57 -05002194 inode_unlock(inode);
Josef Bacik15ee9bc2007-08-10 16:22:09 -04002195 goto out;
2196 }
Josef Bacik15ee9bc2007-08-10 16:22:09 -04002197
2198 /*
Josef Bacik5039edd2014-01-15 13:34:13 -05002199 * We use start here because we will need to wait on the IO to complete
2200 * in btrfs_sync_log, which could require joining a transaction (for
2201 * example checking cross references in the nocow path). If we use join
2202 * here we could get into a situation where we're waiting on IO to
2203 * happen that is blocked on a transaction trying to commit. With start
2204 * we inc the extwriter counter, so we wait for all extwriters to exit
Andrea Gelmini52042d82018-11-28 12:05:13 +01002205 * before we start blocking joiners. This comment is to keep somebody
Josef Bacik5039edd2014-01-15 13:34:13 -05002206 * from thinking they are super smart and changing this to
2207 * btrfs_join_transaction *cough*Josef*cough*.
2208 */
Yan, Zhenga22285a2010-05-16 10:48:46 -04002209 trans = btrfs_start_transaction(root, 0);
2210 if (IS_ERR(trans)) {
2211 ret = PTR_ERR(trans);
Josef Bacikc4951442018-10-12 15:32:32 -04002212 up_write(&BTRFS_I(inode)->dio_sem);
Al Viro59551022016-01-22 15:40:57 -05002213 inode_unlock(inode);
Chris Mason39279cc2007-06-12 06:35:45 -04002214 goto out;
2215 }
Chris Masone02119d2008-09-05 16:13:11 -04002216
Nikolay Borisove5b84f7a2018-02-27 17:37:18 +02002217 ret = btrfs_log_dentry_safe(trans, dentry, start, end, &ctx);
Josef Bacik02c24a82011-07-16 20:44:56 -04002218 if (ret < 0) {
Filipe David Borba Mananaa0634be2013-09-11 20:36:44 +01002219 /* Fallthrough and commit/free transaction. */
2220 ret = 1;
Josef Bacik02c24a82011-07-16 20:44:56 -04002221 }
Chris Mason49eb7e42008-09-11 15:53:12 -04002222
2223 /* we've logged all the items and now have a consistent
2224 * version of the file in the log. It is possible that
2225 * someone will come in and modify the file, but that's
2226 * fine because the log is consistent on disk, and we
2227 * have references to all of the file's extents
2228 *
2229 * It is possible that someone will come in and log the
2230 * file again, but that will end up using the synchronization
2231 * inside btrfs_sync_log to keep things safe.
2232 */
Josef Bacikc4951442018-10-12 15:32:32 -04002233 up_write(&BTRFS_I(inode)->dio_sem);
Al Viro59551022016-01-22 15:40:57 -05002234 inode_unlock(inode);
Chris Mason49eb7e42008-09-11 15:53:12 -04002235
Chris Mason257c62e2009-10-13 13:21:08 -04002236 if (ret != BTRFS_NO_LOG_SYNC) {
Josef Bacik0ef8b722013-10-25 16:13:35 -04002237 if (!ret) {
Miao Xie8b050d32014-02-20 18:08:58 +08002238 ret = btrfs_sync_log(trans, root, &ctx);
Josef Bacik0ef8b722013-10-25 16:13:35 -04002239 if (!ret) {
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002240 ret = btrfs_end_transaction(trans);
Josef Bacik0ef8b722013-10-25 16:13:35 -04002241 goto out;
Josef Bacik2ab28f32012-10-12 15:27:49 -04002242 }
Chris Mason257c62e2009-10-13 13:21:08 -04002243 }
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002244 ret = btrfs_commit_transaction(trans);
Chris Mason257c62e2009-10-13 13:21:08 -04002245 } else {
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002246 ret = btrfs_end_transaction(trans);
Chris Masone02119d2008-09-05 16:13:11 -04002247 }
Chris Mason39279cc2007-06-12 06:35:45 -04002248out:
Liu Boebb70442017-11-21 14:35:40 -07002249 ASSERT(list_empty(&ctx.list));
Jeff Layton333427a2017-07-06 07:02:31 -04002250 err = file_check_and_advance_wb_err(file);
2251 if (!ret)
2252 ret = err;
Roel Kluin014e4ac2010-01-29 10:42:11 +00002253 return ret > 0 ? -EIO : ret;
Chris Mason39279cc2007-06-12 06:35:45 -04002254}
2255
Alexey Dobriyanf0f37e2f2009-09-27 22:29:37 +04002256static const struct vm_operations_struct btrfs_file_vm_ops = {
Chris Mason92fee662007-07-25 12:31:35 -04002257 .fault = filemap_fault,
Kirill A. Shutemovf1820362014-04-07 15:37:19 -07002258 .map_pages = filemap_map_pages,
Chris Mason9ebefb182007-06-15 13:50:00 -04002259 .page_mkwrite = btrfs_page_mkwrite,
2260};
2261
2262static int btrfs_file_mmap(struct file *filp, struct vm_area_struct *vma)
2263{
Miao Xie058a4572010-05-20 07:21:50 +00002264 struct address_space *mapping = filp->f_mapping;
2265
2266 if (!mapping->a_ops->readpage)
2267 return -ENOEXEC;
2268
Chris Mason9ebefb182007-06-15 13:50:00 -04002269 file_accessed(filp);
Miao Xie058a4572010-05-20 07:21:50 +00002270 vma->vm_ops = &btrfs_file_vm_ops;
Miao Xie058a4572010-05-20 07:21:50 +00002271
Chris Mason9ebefb182007-06-15 13:50:00 -04002272 return 0;
2273}
2274
Nikolay Borisov35339c22017-02-20 13:50:46 +02002275static int hole_mergeable(struct btrfs_inode *inode, struct extent_buffer *leaf,
Josef Bacik2aaa6652012-08-29 14:27:18 -04002276 int slot, u64 start, u64 end)
2277{
2278 struct btrfs_file_extent_item *fi;
2279 struct btrfs_key key;
2280
2281 if (slot < 0 || slot >= btrfs_header_nritems(leaf))
2282 return 0;
2283
2284 btrfs_item_key_to_cpu(leaf, &key, slot);
Nikolay Borisov35339c22017-02-20 13:50:46 +02002285 if (key.objectid != btrfs_ino(inode) ||
Josef Bacik2aaa6652012-08-29 14:27:18 -04002286 key.type != BTRFS_EXTENT_DATA_KEY)
2287 return 0;
2288
2289 fi = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
2290
2291 if (btrfs_file_extent_type(leaf, fi) != BTRFS_FILE_EXTENT_REG)
2292 return 0;
2293
2294 if (btrfs_file_extent_disk_bytenr(leaf, fi))
2295 return 0;
2296
2297 if (key.offset == end)
2298 return 1;
2299 if (key.offset + btrfs_file_extent_num_bytes(leaf, fi) == start)
2300 return 1;
2301 return 0;
2302}
2303
Nikolay Borisova012a742017-02-20 13:50:47 +02002304static int fill_holes(struct btrfs_trans_handle *trans,
2305 struct btrfs_inode *inode,
2306 struct btrfs_path *path, u64 offset, u64 end)
Josef Bacik2aaa6652012-08-29 14:27:18 -04002307{
David Sterba3ffbd682018-06-29 10:56:42 +02002308 struct btrfs_fs_info *fs_info = trans->fs_info;
Nikolay Borisova012a742017-02-20 13:50:47 +02002309 struct btrfs_root *root = inode->root;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002310 struct extent_buffer *leaf;
2311 struct btrfs_file_extent_item *fi;
2312 struct extent_map *hole_em;
Nikolay Borisova012a742017-02-20 13:50:47 +02002313 struct extent_map_tree *em_tree = &inode->extent_tree;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002314 struct btrfs_key key;
2315 int ret;
2316
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002317 if (btrfs_fs_incompat(fs_info, NO_HOLES))
Josef Bacik16e75492013-10-22 12:18:51 -04002318 goto out;
2319
Nikolay Borisova012a742017-02-20 13:50:47 +02002320 key.objectid = btrfs_ino(inode);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002321 key.type = BTRFS_EXTENT_DATA_KEY;
2322 key.offset = offset;
2323
Josef Bacik2aaa6652012-08-29 14:27:18 -04002324 ret = btrfs_search_slot(trans, root, &key, path, 0, 1);
Josef Bacikf94480b2016-11-14 14:06:22 -05002325 if (ret <= 0) {
2326 /*
2327 * We should have dropped this offset, so if we find it then
2328 * something has gone horribly wrong.
2329 */
2330 if (ret == 0)
2331 ret = -EINVAL;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002332 return ret;
Josef Bacikf94480b2016-11-14 14:06:22 -05002333 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002334
2335 leaf = path->nodes[0];
Nikolay Borisova012a742017-02-20 13:50:47 +02002336 if (hole_mergeable(inode, leaf, path->slots[0] - 1, offset, end)) {
Josef Bacik2aaa6652012-08-29 14:27:18 -04002337 u64 num_bytes;
2338
2339 path->slots[0]--;
2340 fi = btrfs_item_ptr(leaf, path->slots[0],
2341 struct btrfs_file_extent_item);
2342 num_bytes = btrfs_file_extent_num_bytes(leaf, fi) +
2343 end - offset;
2344 btrfs_set_file_extent_num_bytes(leaf, fi, num_bytes);
2345 btrfs_set_file_extent_ram_bytes(leaf, fi, num_bytes);
2346 btrfs_set_file_extent_offset(leaf, fi, 0);
2347 btrfs_mark_buffer_dirty(leaf);
2348 goto out;
2349 }
2350
chandan1707e262014-07-01 12:04:28 +05302351 if (hole_mergeable(inode, leaf, path->slots[0], offset, end)) {
Josef Bacik2aaa6652012-08-29 14:27:18 -04002352 u64 num_bytes;
2353
Josef Bacik2aaa6652012-08-29 14:27:18 -04002354 key.offset = offset;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002355 btrfs_set_item_key_safe(fs_info, path, &key);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002356 fi = btrfs_item_ptr(leaf, path->slots[0],
2357 struct btrfs_file_extent_item);
2358 num_bytes = btrfs_file_extent_num_bytes(leaf, fi) + end -
2359 offset;
2360 btrfs_set_file_extent_num_bytes(leaf, fi, num_bytes);
2361 btrfs_set_file_extent_ram_bytes(leaf, fi, num_bytes);
2362 btrfs_set_file_extent_offset(leaf, fi, 0);
2363 btrfs_mark_buffer_dirty(leaf);
2364 goto out;
2365 }
2366 btrfs_release_path(path);
2367
Nikolay Borisova012a742017-02-20 13:50:47 +02002368 ret = btrfs_insert_file_extent(trans, root, btrfs_ino(inode),
David Sterbaf85b7372017-01-20 14:54:07 +01002369 offset, 0, 0, end - offset, 0, end - offset, 0, 0, 0);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002370 if (ret)
2371 return ret;
2372
2373out:
2374 btrfs_release_path(path);
2375
2376 hole_em = alloc_extent_map();
2377 if (!hole_em) {
2378 btrfs_drop_extent_cache(inode, offset, end - 1, 0);
Nikolay Borisova012a742017-02-20 13:50:47 +02002379 set_bit(BTRFS_INODE_NEEDS_FULL_SYNC, &inode->runtime_flags);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002380 } else {
2381 hole_em->start = offset;
2382 hole_em->len = end - offset;
Josef Bacikcc95bef2013-04-04 14:31:27 -04002383 hole_em->ram_bytes = hole_em->len;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002384 hole_em->orig_start = offset;
2385
2386 hole_em->block_start = EXTENT_MAP_HOLE;
2387 hole_em->block_len = 0;
Josef Bacikb4939682012-12-03 10:31:19 -05002388 hole_em->orig_block_len = 0;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002389 hole_em->compress_type = BTRFS_COMPRESS_NONE;
2390 hole_em->generation = trans->transid;
2391
2392 do {
2393 btrfs_drop_extent_cache(inode, offset, end - 1, 0);
2394 write_lock(&em_tree->lock);
Josef Bacik09a2a8f92013-04-05 16:51:15 -04002395 ret = add_extent_mapping(em_tree, hole_em, 1);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002396 write_unlock(&em_tree->lock);
2397 } while (ret == -EEXIST);
2398 free_extent_map(hole_em);
2399 if (ret)
2400 set_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
Nikolay Borisova012a742017-02-20 13:50:47 +02002401 &inode->runtime_flags);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002402 }
2403
2404 return 0;
2405}
2406
Qu Wenruod7781542014-05-30 15:16:10 +08002407/*
2408 * Find a hole extent on given inode and change start/len to the end of hole
2409 * extent.(hole/vacuum extent whose em->start <= start &&
2410 * em->start + em->len > start)
2411 * When a hole extent is found, return 1 and modify start/len.
2412 */
2413static int find_first_non_hole(struct inode *inode, u64 *start, u64 *len)
2414{
Filipe Manana609805d2017-05-30 05:29:09 +01002415 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Qu Wenruod7781542014-05-30 15:16:10 +08002416 struct extent_map *em;
2417 int ret = 0;
2418
Filipe Manana609805d2017-05-30 05:29:09 +01002419 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0,
2420 round_down(*start, fs_info->sectorsize),
Omar Sandoval39b07b52019-12-02 17:34:23 -08002421 round_up(*len, fs_info->sectorsize));
Dan Carpenter99862772017-04-11 11:57:15 +03002422 if (IS_ERR(em))
2423 return PTR_ERR(em);
Qu Wenruod7781542014-05-30 15:16:10 +08002424
2425 /* Hole or vacuum extent(only exists in no-hole mode) */
2426 if (em->block_start == EXTENT_MAP_HOLE) {
2427 ret = 1;
2428 *len = em->start + em->len > *start + *len ?
2429 0 : *start + *len - em->start - em->len;
2430 *start = em->start + em->len;
2431 }
2432 free_extent_map(em);
2433 return ret;
2434}
2435
Filipe Mananaf27451f2017-10-25 11:55:28 +01002436static int btrfs_punch_hole_lock_range(struct inode *inode,
2437 const u64 lockstart,
2438 const u64 lockend,
2439 struct extent_state **cached_state)
2440{
2441 while (1) {
2442 struct btrfs_ordered_extent *ordered;
2443 int ret;
2444
2445 truncate_pagecache_range(inode, lockstart, lockend);
2446
2447 lock_extent_bits(&BTRFS_I(inode)->io_tree, lockstart, lockend,
2448 cached_state);
2449 ordered = btrfs_lookup_first_ordered_extent(inode, lockend);
2450
2451 /*
2452 * We need to make sure we have no ordered extents in this range
2453 * and nobody raced in and read a page in this range, if we did
2454 * we need to try again.
2455 */
2456 if ((!ordered ||
Omar Sandovalbffe6332019-12-02 17:34:19 -08002457 (ordered->file_offset + ordered->num_bytes <= lockstart ||
Filipe Mananaf27451f2017-10-25 11:55:28 +01002458 ordered->file_offset > lockend)) &&
David Sterba051c98e2018-03-07 15:33:22 +01002459 !filemap_range_has_page(inode->i_mapping,
2460 lockstart, lockend)) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01002461 if (ordered)
2462 btrfs_put_ordered_extent(ordered);
2463 break;
2464 }
2465 if (ordered)
2466 btrfs_put_ordered_extent(ordered);
2467 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart,
2468 lockend, cached_state);
2469 ret = btrfs_wait_ordered_range(inode, lockstart,
2470 lockend - lockstart + 1);
2471 if (ret)
2472 return ret;
2473 }
2474 return 0;
2475}
2476
Filipe Manana690a5db2019-07-05 11:09:50 +01002477static int btrfs_insert_clone_extent(struct btrfs_trans_handle *trans,
2478 struct inode *inode,
2479 struct btrfs_path *path,
2480 struct btrfs_clone_extent_info *clone_info,
2481 const u64 clone_len)
2482{
2483 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
2484 struct btrfs_root *root = BTRFS_I(inode)->root;
2485 struct btrfs_file_extent_item *extent;
2486 struct extent_buffer *leaf;
2487 struct btrfs_key key;
2488 int slot;
2489 struct btrfs_ref ref = { 0 };
2490 u64 ref_offset;
2491 int ret;
2492
2493 if (clone_len == 0)
2494 return 0;
2495
2496 if (clone_info->disk_offset == 0 &&
2497 btrfs_fs_incompat(fs_info, NO_HOLES))
2498 return 0;
2499
2500 key.objectid = btrfs_ino(BTRFS_I(inode));
2501 key.type = BTRFS_EXTENT_DATA_KEY;
2502 key.offset = clone_info->file_offset;
2503 ret = btrfs_insert_empty_item(trans, root, path, &key,
2504 clone_info->item_size);
2505 if (ret)
2506 return ret;
2507 leaf = path->nodes[0];
2508 slot = path->slots[0];
2509 write_extent_buffer(leaf, clone_info->extent_buf,
2510 btrfs_item_ptr_offset(leaf, slot),
2511 clone_info->item_size);
2512 extent = btrfs_item_ptr(leaf, slot, struct btrfs_file_extent_item);
2513 btrfs_set_file_extent_offset(leaf, extent, clone_info->data_offset);
2514 btrfs_set_file_extent_num_bytes(leaf, extent, clone_len);
2515 btrfs_mark_buffer_dirty(leaf);
2516 btrfs_release_path(path);
2517
Josef Bacik9ddc9592020-01-17 09:02:22 -05002518 ret = btrfs_inode_set_file_extent_range(BTRFS_I(inode),
2519 clone_info->file_offset, clone_len);
2520 if (ret)
2521 return ret;
2522
Filipe Manana690a5db2019-07-05 11:09:50 +01002523 /* If it's a hole, nothing more needs to be done. */
2524 if (clone_info->disk_offset == 0)
2525 return 0;
2526
2527 inode_add_bytes(inode, clone_len);
2528 btrfs_init_generic_ref(&ref, BTRFS_ADD_DELAYED_REF,
2529 clone_info->disk_offset,
2530 clone_info->disk_len, 0);
2531 ref_offset = clone_info->file_offset - clone_info->data_offset;
2532 btrfs_init_data_ref(&ref, root->root_key.objectid,
2533 btrfs_ino(BTRFS_I(inode)), ref_offset);
2534 ret = btrfs_inc_extent_ref(trans, &ref);
2535
2536 return ret;
2537}
2538
Filipe Manana9cba40a2019-06-28 23:11:26 +01002539/*
2540 * The respective range must have been previously locked, as well as the inode.
2541 * The end offset is inclusive (last byte of the range).
Filipe Manana690a5db2019-07-05 11:09:50 +01002542 * @clone_info is NULL for fallocate's hole punching and non-NULL for extent
2543 * cloning.
2544 * When cloning, we don't want to end up in a state where we dropped extents
2545 * without inserting a new one, so we must abort the transaction to avoid a
2546 * corruption.
Filipe Manana9cba40a2019-06-28 23:11:26 +01002547 */
Filipe Manana690a5db2019-07-05 11:09:50 +01002548int btrfs_punch_hole_range(struct inode *inode, struct btrfs_path *path,
2549 const u64 start, const u64 end,
2550 struct btrfs_clone_extent_info *clone_info,
2551 struct btrfs_trans_handle **trans_out)
Filipe Manana9cba40a2019-06-28 23:11:26 +01002552{
2553 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik2bd36e72019-08-22 15:14:33 -04002554 u64 min_size = btrfs_calc_insert_metadata_size(fs_info, 1);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002555 u64 ino_size = round_up(inode->i_size, fs_info->sectorsize);
2556 struct btrfs_root *root = BTRFS_I(inode)->root;
2557 struct btrfs_trans_handle *trans = NULL;
2558 struct btrfs_block_rsv *rsv;
2559 unsigned int rsv_count;
2560 u64 cur_offset;
2561 u64 drop_end;
2562 u64 len = end - start;
2563 int ret = 0;
2564
2565 if (end <= start)
2566 return -EINVAL;
2567
2568 rsv = btrfs_alloc_block_rsv(fs_info, BTRFS_BLOCK_RSV_TEMP);
2569 if (!rsv) {
2570 ret = -ENOMEM;
2571 goto out;
2572 }
Josef Bacik2bd36e72019-08-22 15:14:33 -04002573 rsv->size = btrfs_calc_insert_metadata_size(fs_info, 1);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002574 rsv->failfast = 1;
2575
2576 /*
2577 * 1 - update the inode
2578 * 1 - removing the extents in the range
Filipe Manana690a5db2019-07-05 11:09:50 +01002579 * 1 - adding the hole extent if no_holes isn't set or if we are cloning
2580 * an extent
Filipe Manana9cba40a2019-06-28 23:11:26 +01002581 */
Filipe Manana690a5db2019-07-05 11:09:50 +01002582 if (!btrfs_fs_incompat(fs_info, NO_HOLES) || clone_info)
2583 rsv_count = 3;
2584 else
2585 rsv_count = 2;
2586
Filipe Manana9cba40a2019-06-28 23:11:26 +01002587 trans = btrfs_start_transaction(root, rsv_count);
2588 if (IS_ERR(trans)) {
2589 ret = PTR_ERR(trans);
2590 trans = NULL;
2591 goto out_free;
2592 }
2593
2594 ret = btrfs_block_rsv_migrate(&fs_info->trans_block_rsv, rsv,
2595 min_size, false);
2596 BUG_ON(ret);
2597 trans->block_rsv = rsv;
2598
2599 cur_offset = start;
2600 while (cur_offset < end) {
2601 ret = __btrfs_drop_extents(trans, root, inode, path,
2602 cur_offset, end + 1, &drop_end,
2603 1, 0, 0, NULL);
Filipe Manana690a5db2019-07-05 11:09:50 +01002604 if (ret != -ENOSPC) {
2605 /*
2606 * When cloning we want to avoid transaction aborts when
2607 * nothing was done and we are attempting to clone parts
2608 * of inline extents, in such cases -EOPNOTSUPP is
2609 * returned by __btrfs_drop_extents() without having
2610 * changed anything in the file.
2611 */
2612 if (clone_info && ret && ret != -EOPNOTSUPP)
2613 btrfs_abort_transaction(trans, ret);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002614 break;
Filipe Manana690a5db2019-07-05 11:09:50 +01002615 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002616
2617 trans->block_rsv = &fs_info->trans_block_rsv;
2618
Filipe Manana690a5db2019-07-05 11:09:50 +01002619 if (!clone_info && cur_offset < drop_end &&
2620 cur_offset < ino_size) {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002621 ret = fill_holes(trans, BTRFS_I(inode), path,
2622 cur_offset, drop_end);
2623 if (ret) {
2624 /*
2625 * If we failed then we didn't insert our hole
2626 * entries for the area we dropped, so now the
2627 * fs is corrupted, so we must abort the
2628 * transaction.
2629 */
2630 btrfs_abort_transaction(trans, ret);
2631 break;
2632 }
Josef Bacik9ddc9592020-01-17 09:02:22 -05002633 } else if (!clone_info && cur_offset < drop_end) {
2634 /*
2635 * We are past the i_size here, but since we didn't
2636 * insert holes we need to clear the mapped area so we
2637 * know to not set disk_i_size in this area until a new
2638 * file extent is inserted here.
2639 */
2640 ret = btrfs_inode_clear_file_extent_range(BTRFS_I(inode),
2641 cur_offset, drop_end - cur_offset);
2642 if (ret) {
2643 /*
2644 * We couldn't clear our area, so we could
2645 * presumably adjust up and corrupt the fs, so
2646 * we need to abort.
2647 */
2648 btrfs_abort_transaction(trans, ret);
2649 break;
2650 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002651 }
2652
Filipe Mananafcb97052019-12-05 16:57:39 +00002653 if (clone_info && drop_end > clone_info->file_offset) {
2654 u64 clone_len = drop_end - clone_info->file_offset;
Filipe Manana690a5db2019-07-05 11:09:50 +01002655
2656 ret = btrfs_insert_clone_extent(trans, inode, path,
2657 clone_info, clone_len);
2658 if (ret) {
2659 btrfs_abort_transaction(trans, ret);
2660 break;
2661 }
2662 clone_info->data_len -= clone_len;
2663 clone_info->data_offset += clone_len;
2664 clone_info->file_offset += clone_len;
2665 }
2666
Filipe Manana9cba40a2019-06-28 23:11:26 +01002667 cur_offset = drop_end;
2668
2669 ret = btrfs_update_inode(trans, root, inode);
2670 if (ret)
2671 break;
2672
2673 btrfs_end_transaction(trans);
2674 btrfs_btree_balance_dirty(fs_info);
2675
2676 trans = btrfs_start_transaction(root, rsv_count);
2677 if (IS_ERR(trans)) {
2678 ret = PTR_ERR(trans);
2679 trans = NULL;
2680 break;
2681 }
2682
2683 ret = btrfs_block_rsv_migrate(&fs_info->trans_block_rsv,
2684 rsv, min_size, false);
2685 BUG_ON(ret); /* shouldn't happen */
2686 trans->block_rsv = rsv;
2687
Filipe Manana690a5db2019-07-05 11:09:50 +01002688 if (!clone_info) {
2689 ret = find_first_non_hole(inode, &cur_offset, &len);
2690 if (unlikely(ret < 0))
2691 break;
2692 if (ret && !len) {
2693 ret = 0;
2694 break;
2695 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002696 }
2697 }
2698
Filipe Manana690a5db2019-07-05 11:09:50 +01002699 /*
2700 * If we were cloning, force the next fsync to be a full one since we
2701 * we replaced (or just dropped in the case of cloning holes when
2702 * NO_HOLES is enabled) extents and extent maps.
2703 * This is for the sake of simplicity, and cloning into files larger
2704 * than 16Mb would force the full fsync any way (when
2705 * try_release_extent_mapping() is invoked during page cache truncation.
2706 */
2707 if (clone_info)
2708 set_bit(BTRFS_INODE_NEEDS_FULL_SYNC,
2709 &BTRFS_I(inode)->runtime_flags);
2710
Filipe Manana9cba40a2019-06-28 23:11:26 +01002711 if (ret)
2712 goto out_trans;
2713
2714 trans->block_rsv = &fs_info->trans_block_rsv;
2715 /*
2716 * If we are using the NO_HOLES feature we might have had already an
2717 * hole that overlaps a part of the region [lockstart, lockend] and
2718 * ends at (or beyond) lockend. Since we have no file extent items to
2719 * represent holes, drop_end can be less than lockend and so we must
2720 * make sure we have an extent map representing the existing hole (the
2721 * call to __btrfs_drop_extents() might have dropped the existing extent
2722 * map representing the existing hole), otherwise the fast fsync path
2723 * will not record the existence of the hole region
2724 * [existing_hole_start, lockend].
2725 */
2726 if (drop_end <= end)
2727 drop_end = end + 1;
2728 /*
2729 * Don't insert file hole extent item if it's for a range beyond eof
2730 * (because it's useless) or if it represents a 0 bytes range (when
2731 * cur_offset == drop_end).
2732 */
Filipe Manana690a5db2019-07-05 11:09:50 +01002733 if (!clone_info && cur_offset < ino_size && cur_offset < drop_end) {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002734 ret = fill_holes(trans, BTRFS_I(inode), path,
2735 cur_offset, drop_end);
2736 if (ret) {
2737 /* Same comment as above. */
2738 btrfs_abort_transaction(trans, ret);
2739 goto out_trans;
2740 }
Josef Bacik9ddc9592020-01-17 09:02:22 -05002741 } else if (!clone_info && cur_offset < drop_end) {
2742 /* See the comment in the loop above for the reasoning here. */
2743 ret = btrfs_inode_clear_file_extent_range(BTRFS_I(inode),
2744 cur_offset, drop_end - cur_offset);
2745 if (ret) {
2746 btrfs_abort_transaction(trans, ret);
2747 goto out_trans;
2748 }
2749
Filipe Manana9cba40a2019-06-28 23:11:26 +01002750 }
Filipe Manana690a5db2019-07-05 11:09:50 +01002751 if (clone_info) {
2752 ret = btrfs_insert_clone_extent(trans, inode, path, clone_info,
2753 clone_info->data_len);
2754 if (ret) {
2755 btrfs_abort_transaction(trans, ret);
2756 goto out_trans;
2757 }
2758 }
Filipe Manana9cba40a2019-06-28 23:11:26 +01002759
2760out_trans:
2761 if (!trans)
2762 goto out_free;
2763
2764 trans->block_rsv = &fs_info->trans_block_rsv;
2765 if (ret)
2766 btrfs_end_transaction(trans);
2767 else
2768 *trans_out = trans;
2769out_free:
2770 btrfs_free_block_rsv(fs_info, rsv);
2771out:
2772 return ret;
2773}
2774
Josef Bacik2aaa6652012-08-29 14:27:18 -04002775static int btrfs_punch_hole(struct inode *inode, loff_t offset, loff_t len)
2776{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002777 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002778 struct btrfs_root *root = BTRFS_I(inode)->root;
2779 struct extent_state *cached_state = NULL;
2780 struct btrfs_path *path;
Filipe Manana9cba40a2019-06-28 23:11:26 +01002781 struct btrfs_trans_handle *trans = NULL;
Qu Wenruod7781542014-05-30 15:16:10 +08002782 u64 lockstart;
2783 u64 lockend;
2784 u64 tail_start;
2785 u64 tail_len;
2786 u64 orig_start = offset;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002787 int ret = 0;
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302788 bool same_block;
Filipe Mananaa1a50f62014-04-26 01:35:31 +01002789 u64 ino_size;
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302790 bool truncated_block = false;
Filipe Mananae8c1c762015-02-15 22:38:54 +00002791 bool updated_inode = false;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002792
Josef Bacik0ef8b722013-10-25 16:13:35 -04002793 ret = btrfs_wait_ordered_range(inode, offset, len);
2794 if (ret)
2795 return ret;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002796
Al Viro59551022016-01-22 15:40:57 -05002797 inode_lock(inode);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002798 ino_size = round_up(inode->i_size, fs_info->sectorsize);
Qu Wenruod7781542014-05-30 15:16:10 +08002799 ret = find_first_non_hole(inode, &offset, &len);
2800 if (ret < 0)
2801 goto out_only_mutex;
2802 if (ret && !len) {
2803 /* Already in a large hole */
2804 ret = 0;
2805 goto out_only_mutex;
2806 }
2807
Jeff Mahoneyda170662016-06-15 09:22:56 -04002808 lockstart = round_up(offset, btrfs_inode_sectorsize(inode));
Qu Wenruod7781542014-05-30 15:16:10 +08002809 lockend = round_down(offset + len,
Jeff Mahoneyda170662016-06-15 09:22:56 -04002810 btrfs_inode_sectorsize(inode)) - 1;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002811 same_block = (BTRFS_BYTES_TO_BLKS(fs_info, offset))
2812 == (BTRFS_BYTES_TO_BLKS(fs_info, offset + len - 1));
Miao Xie7426cc02012-12-05 10:54:52 +00002813 /*
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302814 * We needn't truncate any block which is beyond the end of the file
Miao Xie7426cc02012-12-05 10:54:52 +00002815 * because we are sure there is no data there.
2816 */
Josef Bacik2aaa6652012-08-29 14:27:18 -04002817 /*
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302818 * Only do this if we are in the same block and we aren't doing the
2819 * entire block.
Josef Bacik2aaa6652012-08-29 14:27:18 -04002820 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002821 if (same_block && len < fs_info->sectorsize) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002822 if (offset < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302823 truncated_block = true;
2824 ret = btrfs_truncate_block(inode, offset, len, 0);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002825 } else {
2826 ret = 0;
2827 }
Qu Wenruod7781542014-05-30 15:16:10 +08002828 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002829 }
2830
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302831 /* zero back part of the first block */
Filipe Manana12870f12014-02-15 15:55:58 +00002832 if (offset < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302833 truncated_block = true;
2834 ret = btrfs_truncate_block(inode, offset, 0, 0);
Miao Xie7426cc02012-12-05 10:54:52 +00002835 if (ret) {
Al Viro59551022016-01-22 15:40:57 -05002836 inode_unlock(inode);
Miao Xie7426cc02012-12-05 10:54:52 +00002837 return ret;
2838 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002839 }
2840
Qu Wenruod7781542014-05-30 15:16:10 +08002841 /* Check the aligned pages after the first unaligned page,
2842 * if offset != orig_start, which means the first unaligned page
Nicholas D Steeves01327612016-05-19 21:18:45 -04002843 * including several following pages are already in holes,
Qu Wenruod7781542014-05-30 15:16:10 +08002844 * the extra check can be skipped */
2845 if (offset == orig_start) {
2846 /* after truncate page, check hole again */
2847 len = offset + len - lockstart;
2848 offset = lockstart;
2849 ret = find_first_non_hole(inode, &offset, &len);
2850 if (ret < 0)
2851 goto out_only_mutex;
2852 if (ret && !len) {
2853 ret = 0;
2854 goto out_only_mutex;
2855 }
2856 lockstart = offset;
2857 }
2858
2859 /* Check the tail unaligned part is in a hole */
2860 tail_start = lockend + 1;
2861 tail_len = offset + len - tail_start;
2862 if (tail_len) {
2863 ret = find_first_non_hole(inode, &tail_start, &tail_len);
2864 if (unlikely(ret < 0))
2865 goto out_only_mutex;
2866 if (!ret) {
2867 /* zero the front end of the last page */
2868 if (tail_start + tail_len < ino_size) {
Chandan Rajendra9703fef2016-01-21 15:55:56 +05302869 truncated_block = true;
2870 ret = btrfs_truncate_block(inode,
2871 tail_start + tail_len,
2872 0, 1);
Qu Wenruod7781542014-05-30 15:16:10 +08002873 if (ret)
2874 goto out_only_mutex;
Qu Wenruo51f395a2014-08-08 13:06:20 +08002875 }
Miao Xie00612802012-12-05 10:54:12 +00002876 }
Josef Bacik2aaa6652012-08-29 14:27:18 -04002877 }
2878
2879 if (lockend < lockstart) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002880 ret = 0;
2881 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002882 }
2883
Filipe Mananaf27451f2017-10-25 11:55:28 +01002884 ret = btrfs_punch_hole_lock_range(inode, lockstart, lockend,
2885 &cached_state);
Josef Bacik8fca9552019-05-03 11:10:06 -04002886 if (ret)
Filipe Mananaf27451f2017-10-25 11:55:28 +01002887 goto out_only_mutex;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002888
2889 path = btrfs_alloc_path();
2890 if (!path) {
2891 ret = -ENOMEM;
2892 goto out;
2893 }
2894
Filipe Manana690a5db2019-07-05 11:09:50 +01002895 ret = btrfs_punch_hole_range(inode, path, lockstart, lockend, NULL,
2896 &trans);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002897 btrfs_free_path(path);
2898 if (ret)
2899 goto out;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002900
Filipe Manana9cba40a2019-06-28 23:11:26 +01002901 ASSERT(trans != NULL);
Tsutomu Itohe1f57902012-11-08 04:47:33 +00002902 inode_inc_iversion(inode);
Deepa Dinamanic2050a42016-09-14 07:48:06 -07002903 inode->i_mtime = inode->i_ctime = current_time(inode);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002904 ret = btrfs_update_inode(trans, root, inode);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002905 updated_inode = true;
Jeff Mahoney3a45bb22016-09-09 21:39:03 -04002906 btrfs_end_transaction(trans);
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04002907 btrfs_btree_balance_dirty(fs_info);
Josef Bacik2aaa6652012-08-29 14:27:18 -04002908out:
2909 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart, lockend,
David Sterbae43bbe52017-12-12 21:43:52 +01002910 &cached_state);
Qu Wenruod7781542014-05-30 15:16:10 +08002911out_only_mutex:
Filipe Manana9cba40a2019-06-28 23:11:26 +01002912 if (!updated_inode && truncated_block && !ret) {
Filipe Mananae8c1c762015-02-15 22:38:54 +00002913 /*
2914 * If we only end up zeroing part of a page, we still need to
2915 * update the inode item, so that all the time fields are
2916 * updated as well as the necessary btrfs inode in memory fields
2917 * for detecting, at fsync time, if the inode isn't yet in the
2918 * log tree or it's there but not up to date.
2919 */
Filipe Manana17900662019-06-19 13:05:50 +01002920 struct timespec64 now = current_time(inode);
2921
2922 inode_inc_iversion(inode);
2923 inode->i_mtime = now;
2924 inode->i_ctime = now;
Filipe Mananae8c1c762015-02-15 22:38:54 +00002925 trans = btrfs_start_transaction(root, 1);
2926 if (IS_ERR(trans)) {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002927 ret = PTR_ERR(trans);
Filipe Mananae8c1c762015-02-15 22:38:54 +00002928 } else {
Filipe Manana9cba40a2019-06-28 23:11:26 +01002929 int ret2;
2930
2931 ret = btrfs_update_inode(trans, root, inode);
2932 ret2 = btrfs_end_transaction(trans);
2933 if (!ret)
2934 ret = ret2;
Filipe Mananae8c1c762015-02-15 22:38:54 +00002935 }
2936 }
Al Viro59551022016-01-22 15:40:57 -05002937 inode_unlock(inode);
Filipe Manana9cba40a2019-06-28 23:11:26 +01002938 return ret;
Josef Bacik2aaa6652012-08-29 14:27:18 -04002939}
2940
Qu Wenruo14524a82015-09-08 17:22:44 +08002941/* Helper structure to record which range is already reserved */
2942struct falloc_range {
2943 struct list_head list;
2944 u64 start;
2945 u64 len;
2946};
2947
2948/*
2949 * Helper function to add falloc range
2950 *
2951 * Caller should have locked the larger range of extent containing
2952 * [start, len)
2953 */
2954static int add_falloc_range(struct list_head *head, u64 start, u64 len)
2955{
2956 struct falloc_range *prev = NULL;
2957 struct falloc_range *range = NULL;
2958
2959 if (list_empty(head))
2960 goto insert;
2961
2962 /*
2963 * As fallocate iterate by bytenr order, we only need to check
2964 * the last range.
2965 */
2966 prev = list_entry(head->prev, struct falloc_range, list);
2967 if (prev->start + prev->len == start) {
2968 prev->len += len;
2969 return 0;
2970 }
2971insert:
David Sterba32fc9322016-02-11 14:25:38 +01002972 range = kmalloc(sizeof(*range), GFP_KERNEL);
Qu Wenruo14524a82015-09-08 17:22:44 +08002973 if (!range)
2974 return -ENOMEM;
2975 range->start = start;
2976 range->len = len;
2977 list_add_tail(&range->list, head);
2978 return 0;
2979}
2980
Filipe Mananaf27451f2017-10-25 11:55:28 +01002981static int btrfs_fallocate_update_isize(struct inode *inode,
2982 const u64 end,
2983 const int mode)
2984{
2985 struct btrfs_trans_handle *trans;
2986 struct btrfs_root *root = BTRFS_I(inode)->root;
2987 int ret;
2988 int ret2;
2989
2990 if (mode & FALLOC_FL_KEEP_SIZE || end <= i_size_read(inode))
2991 return 0;
2992
2993 trans = btrfs_start_transaction(root, 1);
2994 if (IS_ERR(trans))
2995 return PTR_ERR(trans);
2996
2997 inode->i_ctime = current_time(inode);
2998 i_size_write(inode, end);
Josef Bacikd923afe2020-01-17 09:02:23 -05002999 btrfs_inode_safe_disk_i_size_write(inode, 0);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003000 ret = btrfs_update_inode(trans, root, inode);
3001 ret2 = btrfs_end_transaction(trans);
3002
3003 return ret ? ret : ret2;
3004}
3005
Filipe Manana81fdf632018-01-18 11:34:31 +00003006enum {
David Sterbaf262fa82019-06-18 20:00:08 +02003007 RANGE_BOUNDARY_WRITTEN_EXTENT,
3008 RANGE_BOUNDARY_PREALLOC_EXTENT,
3009 RANGE_BOUNDARY_HOLE,
Filipe Manana81fdf632018-01-18 11:34:31 +00003010};
3011
Filipe Mananaf27451f2017-10-25 11:55:28 +01003012static int btrfs_zero_range_check_range_boundary(struct inode *inode,
3013 u64 offset)
3014{
3015 const u64 sectorsize = btrfs_inode_sectorsize(inode);
3016 struct extent_map *em;
Filipe Manana81fdf632018-01-18 11:34:31 +00003017 int ret;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003018
3019 offset = round_down(offset, sectorsize);
Omar Sandoval39b07b52019-12-02 17:34:23 -08003020 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0, offset, sectorsize);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003021 if (IS_ERR(em))
3022 return PTR_ERR(em);
3023
3024 if (em->block_start == EXTENT_MAP_HOLE)
Filipe Manana81fdf632018-01-18 11:34:31 +00003025 ret = RANGE_BOUNDARY_HOLE;
3026 else if (test_bit(EXTENT_FLAG_PREALLOC, &em->flags))
3027 ret = RANGE_BOUNDARY_PREALLOC_EXTENT;
3028 else
3029 ret = RANGE_BOUNDARY_WRITTEN_EXTENT;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003030
3031 free_extent_map(em);
3032 return ret;
3033}
3034
3035static int btrfs_zero_range(struct inode *inode,
3036 loff_t offset,
3037 loff_t len,
3038 const int mode)
3039{
3040 struct btrfs_fs_info *fs_info = BTRFS_I(inode)->root->fs_info;
3041 struct extent_map *em;
3042 struct extent_changeset *data_reserved = NULL;
3043 int ret;
3044 u64 alloc_hint = 0;
3045 const u64 sectorsize = btrfs_inode_sectorsize(inode);
3046 u64 alloc_start = round_down(offset, sectorsize);
3047 u64 alloc_end = round_up(offset + len, sectorsize);
3048 u64 bytes_to_reserve = 0;
3049 bool space_reserved = false;
3050
3051 inode_dio_wait(inode);
3052
Omar Sandoval39b07b52019-12-02 17:34:23 -08003053 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0, alloc_start,
3054 alloc_end - alloc_start);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003055 if (IS_ERR(em)) {
3056 ret = PTR_ERR(em);
3057 goto out;
3058 }
3059
3060 /*
3061 * Avoid hole punching and extent allocation for some cases. More cases
3062 * could be considered, but these are unlikely common and we keep things
3063 * as simple as possible for now. Also, intentionally, if the target
3064 * range contains one or more prealloc extents together with regular
3065 * extents and holes, we drop all the existing extents and allocate a
3066 * new prealloc extent, so that we get a larger contiguous disk extent.
3067 */
3068 if (em->start <= alloc_start &&
3069 test_bit(EXTENT_FLAG_PREALLOC, &em->flags)) {
3070 const u64 em_end = em->start + em->len;
3071
3072 if (em_end >= offset + len) {
3073 /*
3074 * The whole range is already a prealloc extent,
3075 * do nothing except updating the inode's i_size if
3076 * needed.
3077 */
3078 free_extent_map(em);
3079 ret = btrfs_fallocate_update_isize(inode, offset + len,
3080 mode);
3081 goto out;
3082 }
3083 /*
3084 * Part of the range is already a prealloc extent, so operate
3085 * only on the remaining part of the range.
3086 */
3087 alloc_start = em_end;
3088 ASSERT(IS_ALIGNED(alloc_start, sectorsize));
3089 len = offset + len - alloc_start;
3090 offset = alloc_start;
3091 alloc_hint = em->block_start + em->len;
3092 }
3093 free_extent_map(em);
3094
3095 if (BTRFS_BYTES_TO_BLKS(fs_info, offset) ==
3096 BTRFS_BYTES_TO_BLKS(fs_info, offset + len - 1)) {
Omar Sandoval39b07b52019-12-02 17:34:23 -08003097 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0, alloc_start,
3098 sectorsize);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003099 if (IS_ERR(em)) {
3100 ret = PTR_ERR(em);
3101 goto out;
3102 }
3103
3104 if (test_bit(EXTENT_FLAG_PREALLOC, &em->flags)) {
3105 free_extent_map(em);
3106 ret = btrfs_fallocate_update_isize(inode, offset + len,
3107 mode);
3108 goto out;
3109 }
3110 if (len < sectorsize && em->block_start != EXTENT_MAP_HOLE) {
3111 free_extent_map(em);
3112 ret = btrfs_truncate_block(inode, offset, len, 0);
3113 if (!ret)
3114 ret = btrfs_fallocate_update_isize(inode,
3115 offset + len,
3116 mode);
3117 return ret;
3118 }
3119 free_extent_map(em);
3120 alloc_start = round_down(offset, sectorsize);
3121 alloc_end = alloc_start + sectorsize;
3122 goto reserve_space;
3123 }
3124
3125 alloc_start = round_up(offset, sectorsize);
3126 alloc_end = round_down(offset + len, sectorsize);
3127
3128 /*
3129 * For unaligned ranges, check the pages at the boundaries, they might
3130 * map to an extent, in which case we need to partially zero them, or
3131 * they might map to a hole, in which case we need our allocation range
3132 * to cover them.
3133 */
3134 if (!IS_ALIGNED(offset, sectorsize)) {
3135 ret = btrfs_zero_range_check_range_boundary(inode, offset);
3136 if (ret < 0)
3137 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003138 if (ret == RANGE_BOUNDARY_HOLE) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003139 alloc_start = round_down(offset, sectorsize);
3140 ret = 0;
Filipe Manana81fdf632018-01-18 11:34:31 +00003141 } else if (ret == RANGE_BOUNDARY_WRITTEN_EXTENT) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003142 ret = btrfs_truncate_block(inode, offset, 0, 0);
3143 if (ret)
3144 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003145 } else {
3146 ret = 0;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003147 }
3148 }
3149
3150 if (!IS_ALIGNED(offset + len, sectorsize)) {
3151 ret = btrfs_zero_range_check_range_boundary(inode,
3152 offset + len);
3153 if (ret < 0)
3154 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003155 if (ret == RANGE_BOUNDARY_HOLE) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003156 alloc_end = round_up(offset + len, sectorsize);
3157 ret = 0;
Filipe Manana81fdf632018-01-18 11:34:31 +00003158 } else if (ret == RANGE_BOUNDARY_WRITTEN_EXTENT) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003159 ret = btrfs_truncate_block(inode, offset + len, 0, 1);
3160 if (ret)
3161 goto out;
Filipe Manana81fdf632018-01-18 11:34:31 +00003162 } else {
3163 ret = 0;
Filipe Mananaf27451f2017-10-25 11:55:28 +01003164 }
3165 }
3166
3167reserve_space:
3168 if (alloc_start < alloc_end) {
3169 struct extent_state *cached_state = NULL;
3170 const u64 lockstart = alloc_start;
3171 const u64 lockend = alloc_end - 1;
3172
3173 bytes_to_reserve = alloc_end - alloc_start;
3174 ret = btrfs_alloc_data_chunk_ondemand(BTRFS_I(inode),
3175 bytes_to_reserve);
3176 if (ret < 0)
3177 goto out;
3178 space_reserved = true;
3179 ret = btrfs_qgroup_reserve_data(inode, &data_reserved,
3180 alloc_start, bytes_to_reserve);
3181 if (ret)
3182 goto out;
3183 ret = btrfs_punch_hole_lock_range(inode, lockstart, lockend,
3184 &cached_state);
3185 if (ret)
3186 goto out;
3187 ret = btrfs_prealloc_file_range(inode, mode, alloc_start,
3188 alloc_end - alloc_start,
3189 i_blocksize(inode),
3190 offset + len, &alloc_hint);
3191 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart,
3192 lockend, &cached_state);
3193 /* btrfs_prealloc_file_range releases reserved space on error */
Filipe Manana9f13ce72018-01-18 11:34:20 +00003194 if (ret) {
Filipe Mananaf27451f2017-10-25 11:55:28 +01003195 space_reserved = false;
Filipe Manana9f13ce72018-01-18 11:34:20 +00003196 goto out;
3197 }
Filipe Mananaf27451f2017-10-25 11:55:28 +01003198 }
Filipe Manana9f13ce72018-01-18 11:34:20 +00003199 ret = btrfs_fallocate_update_isize(inode, offset + len, mode);
Filipe Mananaf27451f2017-10-25 11:55:28 +01003200 out:
3201 if (ret && space_reserved)
3202 btrfs_free_reserved_data_space(inode, data_reserved,
3203 alloc_start, bytes_to_reserve);
3204 extent_changeset_free(data_reserved);
3205
3206 return ret;
3207}
3208
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003209static long btrfs_fallocate(struct file *file, int mode,
3210 loff_t offset, loff_t len)
3211{
Al Viro496ad9a2013-01-23 17:07:38 -05003212 struct inode *inode = file_inode(file);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003213 struct extent_state *cached_state = NULL;
Qu Wenruo364ecf32017-02-27 15:10:38 +08003214 struct extent_changeset *data_reserved = NULL;
Qu Wenruo14524a82015-09-08 17:22:44 +08003215 struct falloc_range *range;
3216 struct falloc_range *tmp;
3217 struct list_head reserve_list;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003218 u64 cur_offset;
3219 u64 last_byte;
3220 u64 alloc_start;
3221 u64 alloc_end;
3222 u64 alloc_hint = 0;
3223 u64 locked_end;
Qu Wenruo14524a82015-09-08 17:22:44 +08003224 u64 actual_end = 0;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003225 struct extent_map *em;
Jeff Mahoneyda170662016-06-15 09:22:56 -04003226 int blocksize = btrfs_inode_sectorsize(inode);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003227 int ret;
3228
Miao Xie797f4272012-11-28 10:28:07 +00003229 alloc_start = round_down(offset, blocksize);
3230 alloc_end = round_up(offset + len, blocksize);
Wang Xiaoguang18513092016-07-25 15:51:40 +08003231 cur_offset = alloc_start;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003232
Josef Bacik2aaa6652012-08-29 14:27:18 -04003233 /* Make sure we aren't being give some crap mode */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003234 if (mode & ~(FALLOC_FL_KEEP_SIZE | FALLOC_FL_PUNCH_HOLE |
3235 FALLOC_FL_ZERO_RANGE))
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003236 return -EOPNOTSUPP;
3237
Josef Bacik2aaa6652012-08-29 14:27:18 -04003238 if (mode & FALLOC_FL_PUNCH_HOLE)
3239 return btrfs_punch_hole(inode, offset, len);
3240
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003241 /*
Qu Wenruo14524a82015-09-08 17:22:44 +08003242 * Only trigger disk allocation, don't trigger qgroup reserve
3243 *
3244 * For qgroup space, it will be checked later.
Chris Masond98456f2012-01-31 20:27:41 -05003245 */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003246 if (!(mode & FALLOC_FL_ZERO_RANGE)) {
3247 ret = btrfs_alloc_data_chunk_ondemand(BTRFS_I(inode),
3248 alloc_end - alloc_start);
3249 if (ret < 0)
3250 return ret;
3251 }
Chris Masond98456f2012-01-31 20:27:41 -05003252
Al Viro59551022016-01-22 15:40:57 -05003253 inode_lock(inode);
Davide Italiano2a162ce2015-04-06 22:09:15 -07003254
3255 if (!(mode & FALLOC_FL_KEEP_SIZE) && offset + len > inode->i_size) {
3256 ret = inode_newsize_ok(inode, offset + len);
3257 if (ret)
3258 goto out;
3259 }
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003260
Qu Wenruo14524a82015-09-08 17:22:44 +08003261 /*
3262 * TODO: Move these two operations after we have checked
3263 * accurate reserved space, or fallocate can still fail but
3264 * with page truncated or size expanded.
3265 *
3266 * But that's a minor problem and won't do much harm BTW.
3267 */
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003268 if (alloc_start > inode->i_size) {
Josef Bacika41ad392011-01-31 15:30:16 -05003269 ret = btrfs_cont_expand(inode, i_size_read(inode),
3270 alloc_start);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003271 if (ret)
3272 goto out;
Qu Wenruo0f6925f2015-10-14 15:26:13 +08003273 } else if (offset + len > inode->i_size) {
Josef Bacika71754f2013-06-17 17:14:39 -04003274 /*
3275 * If we are fallocating from the end of the file onward we
Chandan Rajendra9703fef2016-01-21 15:55:56 +05303276 * need to zero out the end of the block if i_size lands in the
3277 * middle of a block.
Josef Bacika71754f2013-06-17 17:14:39 -04003278 */
Chandan Rajendra9703fef2016-01-21 15:55:56 +05303279 ret = btrfs_truncate_block(inode, inode->i_size, 0, 0);
Josef Bacika71754f2013-06-17 17:14:39 -04003280 if (ret)
3281 goto out;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003282 }
3283
Josef Bacika71754f2013-06-17 17:14:39 -04003284 /*
3285 * wait for ordered IO before we have any locks. We'll loop again
3286 * below with the locks held.
3287 */
Josef Bacik0ef8b722013-10-25 16:13:35 -04003288 ret = btrfs_wait_ordered_range(inode, alloc_start,
3289 alloc_end - alloc_start);
3290 if (ret)
3291 goto out;
Josef Bacika71754f2013-06-17 17:14:39 -04003292
Filipe Mananaf27451f2017-10-25 11:55:28 +01003293 if (mode & FALLOC_FL_ZERO_RANGE) {
3294 ret = btrfs_zero_range(inode, offset, len, mode);
3295 inode_unlock(inode);
3296 return ret;
3297 }
3298
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003299 locked_end = alloc_end - 1;
3300 while (1) {
3301 struct btrfs_ordered_extent *ordered;
3302
3303 /* the extent lock is ordered inside the running
3304 * transaction
3305 */
3306 lock_extent_bits(&BTRFS_I(inode)->io_tree, alloc_start,
David Sterbaff13db42015-12-03 14:30:40 +01003307 locked_end, &cached_state);
Nikolay Borisov96b09dd2017-11-01 11:36:05 +02003308 ordered = btrfs_lookup_first_ordered_extent(inode, locked_end);
3309
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003310 if (ordered &&
Omar Sandovalbffe6332019-12-02 17:34:19 -08003311 ordered->file_offset + ordered->num_bytes > alloc_start &&
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003312 ordered->file_offset < alloc_end) {
3313 btrfs_put_ordered_extent(ordered);
3314 unlock_extent_cached(&BTRFS_I(inode)->io_tree,
3315 alloc_start, locked_end,
David Sterbae43bbe52017-12-12 21:43:52 +01003316 &cached_state);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003317 /*
3318 * we can't wait on the range with the transaction
3319 * running or with the extent lock held
3320 */
Josef Bacik0ef8b722013-10-25 16:13:35 -04003321 ret = btrfs_wait_ordered_range(inode, alloc_start,
3322 alloc_end - alloc_start);
3323 if (ret)
3324 goto out;
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003325 } else {
3326 if (ordered)
3327 btrfs_put_ordered_extent(ordered);
3328 break;
3329 }
3330 }
3331
Qu Wenruo14524a82015-09-08 17:22:44 +08003332 /* First, check if we exceed the qgroup limit */
3333 INIT_LIST_HEAD(&reserve_list);
Nikolay Borisov6b7d6e92017-11-01 11:32:18 +02003334 while (cur_offset < alloc_end) {
Nikolay Borisovfc4f21b12017-02-20 13:51:06 +02003335 em = btrfs_get_extent(BTRFS_I(inode), NULL, 0, cur_offset,
Omar Sandoval39b07b52019-12-02 17:34:23 -08003336 alloc_end - cur_offset);
Dan Carpenter99862772017-04-11 11:57:15 +03003337 if (IS_ERR(em)) {
3338 ret = PTR_ERR(em);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01003339 break;
3340 }
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003341 last_byte = min(extent_map_end(em), alloc_end);
Josef Bacikf1e490a2011-08-18 10:36:39 -04003342 actual_end = min_t(u64, extent_map_end(em), offset + len);
Miao Xie797f4272012-11-28 10:28:07 +00003343 last_byte = ALIGN(last_byte, blocksize);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003344 if (em->block_start == EXTENT_MAP_HOLE ||
3345 (cur_offset >= inode->i_size &&
3346 !test_bit(EXTENT_FLAG_PREALLOC, &em->flags))) {
Qu Wenruo14524a82015-09-08 17:22:44 +08003347 ret = add_falloc_range(&reserve_list, cur_offset,
3348 last_byte - cur_offset);
3349 if (ret < 0) {
3350 free_extent_map(em);
3351 break;
Filipe Manana3d850dd2015-03-12 23:23:13 +00003352 }
Qu Wenruo364ecf32017-02-27 15:10:38 +08003353 ret = btrfs_qgroup_reserve_data(inode, &data_reserved,
3354 cur_offset, last_byte - cur_offset);
Filipe Mananabe2d2532017-04-03 15:57:17 +01003355 if (ret < 0) {
Robbie Ko39ad3172019-03-26 11:56:11 +08003356 cur_offset = last_byte;
Filipe Mananabe2d2532017-04-03 15:57:17 +01003357 free_extent_map(em);
Qu Wenruo14524a82015-09-08 17:22:44 +08003358 break;
Filipe Mananabe2d2532017-04-03 15:57:17 +01003359 }
Wang Xiaoguang18513092016-07-25 15:51:40 +08003360 } else {
3361 /*
3362 * Do not need to reserve unwritten extent for this
3363 * range, free reserved data space first, otherwise
3364 * it'll result in false ENOSPC error.
3365 */
Qu Wenruobc42bda2017-02-27 15:10:39 +08003366 btrfs_free_reserved_data_space(inode, data_reserved,
3367 cur_offset, last_byte - cur_offset);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003368 }
3369 free_extent_map(em);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003370 cur_offset = last_byte;
Qu Wenruo14524a82015-09-08 17:22:44 +08003371 }
3372
3373 /*
3374 * If ret is still 0, means we're OK to fallocate.
3375 * Or just cleanup the list and exit.
3376 */
3377 list_for_each_entry_safe(range, tmp, &reserve_list, list) {
3378 if (!ret)
3379 ret = btrfs_prealloc_file_range(inode, mode,
3380 range->start,
Fabian Frederick93407472017-02-27 14:28:32 -08003381 range->len, i_blocksize(inode),
Qu Wenruo14524a82015-09-08 17:22:44 +08003382 offset + len, &alloc_hint);
Wang Xiaoguang18513092016-07-25 15:51:40 +08003383 else
Qu Wenruobc42bda2017-02-27 15:10:39 +08003384 btrfs_free_reserved_data_space(inode,
3385 data_reserved, range->start,
3386 range->len);
Qu Wenruo14524a82015-09-08 17:22:44 +08003387 list_del(&range->list);
3388 kfree(range);
3389 }
3390 if (ret < 0)
3391 goto out_unlock;
3392
Filipe Mananaf27451f2017-10-25 11:55:28 +01003393 /*
3394 * We didn't need to allocate any more space, but we still extended the
3395 * size of the file so we need to update i_size and the inode item.
3396 */
3397 ret = btrfs_fallocate_update_isize(inode, actual_end, mode);
Qu Wenruo14524a82015-09-08 17:22:44 +08003398out_unlock:
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003399 unlock_extent_cached(&BTRFS_I(inode)->io_tree, alloc_start, locked_end,
David Sterbae43bbe52017-12-12 21:43:52 +01003400 &cached_state);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003401out:
Al Viro59551022016-01-22 15:40:57 -05003402 inode_unlock(inode);
Chris Masond98456f2012-01-31 20:27:41 -05003403 /* Let go of our reservation. */
Filipe Mananaf27451f2017-10-25 11:55:28 +01003404 if (ret != 0 && !(mode & FALLOC_FL_ZERO_RANGE))
Qu Wenruobc42bda2017-02-27 15:10:39 +08003405 btrfs_free_reserved_data_space(inode, data_reserved,
Robbie Ko39ad3172019-03-26 11:56:11 +08003406 cur_offset, alloc_end - cur_offset);
Qu Wenruo364ecf32017-02-27 15:10:38 +08003407 extent_changeset_free(data_reserved);
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003408 return ret;
3409}
3410
Nikolay Borisovbc802302019-09-27 13:23:18 +03003411static loff_t find_desired_extent(struct inode *inode, loff_t offset,
3412 int whence)
Josef Bacikb2675152011-07-18 13:21:36 -04003413{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003414 struct btrfs_fs_info *fs_info = btrfs_sb(inode->i_sb);
Josef Bacik7f4ca372013-10-18 11:44:46 -04003415 struct extent_map *em = NULL;
Josef Bacikb2675152011-07-18 13:21:36 -04003416 struct extent_state *cached_state = NULL;
Nikolay Borisovd79b7c22019-09-27 13:23:16 +03003417 loff_t i_size = inode->i_size;
Liu Bo4d1a40c2014-09-16 17:49:30 +08003418 u64 lockstart;
3419 u64 lockend;
3420 u64 start;
3421 u64 len;
Josef Bacikb2675152011-07-18 13:21:36 -04003422 int ret = 0;
3423
Nikolay Borisovbc802302019-09-27 13:23:18 +03003424 if (i_size == 0 || offset >= i_size)
Josef Bacikb2675152011-07-18 13:21:36 -04003425 return -ENXIO;
3426
Liu Bo4d1a40c2014-09-16 17:49:30 +08003427 /*
Nikolay Borisovbc802302019-09-27 13:23:18 +03003428 * offset can be negative, in this case we start finding DATA/HOLE from
Liu Bo4d1a40c2014-09-16 17:49:30 +08003429 * the very start of the file.
3430 */
Nikolay Borisovbc802302019-09-27 13:23:18 +03003431 start = max_t(loff_t, 0, offset);
Liu Bo4d1a40c2014-09-16 17:49:30 +08003432
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003433 lockstart = round_down(start, fs_info->sectorsize);
Nikolay Borisovd79b7c22019-09-27 13:23:16 +03003434 lockend = round_up(i_size, fs_info->sectorsize);
Liu Bo4d1a40c2014-09-16 17:49:30 +08003435 if (lockend <= lockstart)
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003436 lockend = lockstart + fs_info->sectorsize;
Liu Bo4d1a40c2014-09-16 17:49:30 +08003437 lockend--;
3438 len = lockend - lockstart + 1;
3439
David Sterbaff13db42015-12-03 14:30:40 +01003440 lock_extent_bits(&BTRFS_I(inode)->io_tree, lockstart, lockend,
Jeff Mahoneyd0082372012-03-01 14:57:19 +01003441 &cached_state);
Josef Bacikb2675152011-07-18 13:21:36 -04003442
Nikolay Borisovd79b7c22019-09-27 13:23:16 +03003443 while (start < i_size) {
Nikolay Borisov4ab47a82018-12-12 09:42:32 +02003444 em = btrfs_get_extent_fiemap(BTRFS_I(inode), start, len);
Josef Bacikb2675152011-07-18 13:21:36 -04003445 if (IS_ERR(em)) {
Jeff Liu6af021d2012-02-09 14:25:50 +08003446 ret = PTR_ERR(em);
Josef Bacik7f4ca372013-10-18 11:44:46 -04003447 em = NULL;
Josef Bacikb2675152011-07-18 13:21:36 -04003448 break;
3449 }
3450
Josef Bacik7f4ca372013-10-18 11:44:46 -04003451 if (whence == SEEK_HOLE &&
3452 (em->block_start == EXTENT_MAP_HOLE ||
3453 test_bit(EXTENT_FLAG_PREALLOC, &em->flags)))
3454 break;
3455 else if (whence == SEEK_DATA &&
3456 (em->block_start != EXTENT_MAP_HOLE &&
3457 !test_bit(EXTENT_FLAG_PREALLOC, &em->flags)))
3458 break;
Josef Bacikb2675152011-07-18 13:21:36 -04003459
3460 start = em->start + em->len;
Josef Bacikb2675152011-07-18 13:21:36 -04003461 free_extent_map(em);
Josef Bacik7f4ca372013-10-18 11:44:46 -04003462 em = NULL;
Josef Bacikb2675152011-07-18 13:21:36 -04003463 cond_resched();
3464 }
Josef Bacik7f4ca372013-10-18 11:44:46 -04003465 free_extent_map(em);
Josef Bacikb2675152011-07-18 13:21:36 -04003466 unlock_extent_cached(&BTRFS_I(inode)->io_tree, lockstart, lockend,
David Sterbae43bbe52017-12-12 21:43:52 +01003467 &cached_state);
Nikolay Borisovbc802302019-09-27 13:23:18 +03003468 if (ret) {
3469 offset = ret;
3470 } else {
3471 if (whence == SEEK_DATA && start >= i_size)
3472 offset = -ENXIO;
3473 else
3474 offset = min_t(loff_t, start, i_size);
3475 }
3476
3477 return offset;
Josef Bacikb2675152011-07-18 13:21:36 -04003478}
3479
Andrew Morton965c8e52012-12-17 15:59:39 -08003480static loff_t btrfs_file_llseek(struct file *file, loff_t offset, int whence)
Josef Bacikb2675152011-07-18 13:21:36 -04003481{
3482 struct inode *inode = file->f_mapping->host;
Josef Bacikb2675152011-07-18 13:21:36 -04003483
Andrew Morton965c8e52012-12-17 15:59:39 -08003484 switch (whence) {
Nikolay Borisov2034f3b2019-09-27 13:23:17 +03003485 default:
3486 return generic_file_llseek(file, offset, whence);
Josef Bacikb2675152011-07-18 13:21:36 -04003487 case SEEK_DATA:
3488 case SEEK_HOLE:
Nikolay Borisovd79b7c22019-09-27 13:23:16 +03003489 inode_lock_shared(inode);
Nikolay Borisovbc802302019-09-27 13:23:18 +03003490 offset = find_desired_extent(inode, offset, whence);
Nikolay Borisovd79b7c22019-09-27 13:23:16 +03003491 inode_unlock_shared(inode);
Nikolay Borisovbc802302019-09-27 13:23:18 +03003492 break;
Josef Bacikb2675152011-07-18 13:21:36 -04003493 }
3494
Nikolay Borisovbc802302019-09-27 13:23:18 +03003495 if (offset < 0)
3496 return offset;
3497
Nikolay Borisov2034f3b2019-09-27 13:23:17 +03003498 return vfs_setpos(file, offset, inode->i_sb->s_maxbytes);
Josef Bacikb2675152011-07-18 13:21:36 -04003499}
3500
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003501static int btrfs_file_open(struct inode *inode, struct file *filp)
3502{
Christoph Hellwig91f99432017-08-29 16:13:20 +02003503 filp->f_mode |= FMODE_NOWAIT;
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003504 return generic_file_open(inode, filp);
3505}
3506
Alexey Dobriyan828c0952009-10-01 15:43:56 -07003507const struct file_operations btrfs_file_operations = {
Josef Bacikb2675152011-07-18 13:21:36 -04003508 .llseek = btrfs_file_llseek,
David Sterba55e20bd2020-06-09 19:56:06 +02003509 .read_iter = generic_file_read_iter,
Chris Masone9906a92007-12-14 12:56:58 -05003510 .splice_read = generic_file_splice_read,
Al Virob30ac0f2014-04-03 14:29:04 -04003511 .write_iter = btrfs_file_write_iter,
Christoph Hellwigd7776592020-07-09 18:22:06 +02003512 .splice_write = iter_file_splice_write,
Chris Mason9ebefb182007-06-15 13:50:00 -04003513 .mmap = btrfs_file_mmap,
Goldwyn Rodriguesedf064e2017-06-20 07:05:49 -05003514 .open = btrfs_file_open,
Mingminge1b81e62008-05-27 10:55:43 -04003515 .release = btrfs_release_file,
Chris Mason39279cc2007-06-12 06:35:45 -04003516 .fsync = btrfs_sync_file,
Christoph Hellwig2fe17c12011-01-14 13:07:43 +01003517 .fallocate = btrfs_fallocate,
Christoph Hellwig34287aa2007-09-14 10:22:47 -04003518 .unlocked_ioctl = btrfs_ioctl,
Chris Mason39279cc2007-06-12 06:35:45 -04003519#ifdef CONFIG_COMPAT
Luke Dashjr4c63c242015-10-29 08:22:21 +00003520 .compat_ioctl = btrfs_compat_ioctl,
Chris Mason39279cc2007-06-12 06:35:45 -04003521#endif
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11003522 .remap_file_range = btrfs_remap_file_range,
Chris Mason39279cc2007-06-12 06:35:45 -04003523};
Miao Xie9247f312012-11-26 09:24:43 +00003524
David Sterbae67c7182018-02-19 17:24:18 +01003525void __cold btrfs_auto_defrag_exit(void)
Miao Xie9247f312012-11-26 09:24:43 +00003526{
Kinglong Mee5598e902016-01-29 21:36:35 +08003527 kmem_cache_destroy(btrfs_inode_defrag_cachep);
Miao Xie9247f312012-11-26 09:24:43 +00003528}
3529
Liu Bof5c29bd2017-11-02 17:21:50 -06003530int __init btrfs_auto_defrag_init(void)
Miao Xie9247f312012-11-26 09:24:43 +00003531{
3532 btrfs_inode_defrag_cachep = kmem_cache_create("btrfs_inode_defrag",
3533 sizeof(struct inode_defrag), 0,
Nikolay Borisovfba4b692016-06-23 21:17:08 +03003534 SLAB_MEM_SPREAD,
Miao Xie9247f312012-11-26 09:24:43 +00003535 NULL);
3536 if (!btrfs_inode_defrag_cachep)
3537 return -ENOMEM;
3538
3539 return 0;
3540}
Filipe Manana728404d2014-10-10 09:43:11 +01003541
3542int btrfs_fdatawrite_range(struct inode *inode, loff_t start, loff_t end)
3543{
3544 int ret;
3545
3546 /*
3547 * So with compression we will find and lock a dirty page and clear the
3548 * first one as dirty, setup an async extent, and immediately return
3549 * with the entire range locked but with nobody actually marked with
3550 * writeback. So we can't just filemap_write_and_wait_range() and
3551 * expect it to work since it will just kick off a thread to do the
3552 * actual work. So we need to call filemap_fdatawrite_range _again_
3553 * since it will wait on the page lock, which won't be unlocked until
3554 * after the pages have been marked as writeback and so we're good to go
3555 * from there. We have to do this otherwise we'll miss the ordered
3556 * extents and that results in badness. Please Josef, do not think you
3557 * know better and pull this out at some point in the future, it is
3558 * right and you are wrong.
3559 */
3560 ret = filemap_fdatawrite_range(inode->i_mapping, start, end);
3561 if (!ret && test_bit(BTRFS_INODE_HAS_ASYNC_EXTENT,
3562 &BTRFS_I(inode)->runtime_flags))
3563 ret = filemap_fdatawrite_range(inode->i_mapping, start, end);
3564
3565 return ret;
3566}