Commit | Line | Data |
---|---|---|
f5166768 | 1 | // SPDX-License-Identifier: LGPL-2.1 |
748de673 AF |
2 | /* |
3 | * Copyright (c) 2008,2009 NEC Software Tohoku, Ltd. | |
4 | * Written by Takashi Sato <t-sato@yk.jp.nec.com> | |
5 | * Akira Fujita <a-fujita@rs.jp.nec.com> | |
748de673 AF |
6 | */ |
7 | ||
8 | #include <linux/fs.h> | |
9 | #include <linux/quotaops.h> | |
5a0e3ad6 | 10 | #include <linux/slab.h> |
8f50c8b7 | 11 | #include <linux/sched/mm.h> |
748de673 | 12 | #include "ext4_jbd2.h" |
748de673 | 13 | #include "ext4.h" |
4a092d73 | 14 | #include "ext4_extents.h" |
748de673 | 15 | |
e8505970 | 16 | /** |
c60990b3 TT |
17 | * get_ext_path() - Find an extent path for designated logical block number. |
18 | * @inode: inode to be searched | |
e8505970 | 19 | * @lblock: logical block number to find an extent path |
c60990b3 | 20 | * @ppath: pointer to an extent path pointer (for output) |
e8505970 | 21 | * |
ed8a1a76 | 22 | * ext4_find_extent wrapper. Return 0 on success, or a negative error value |
e8505970 AF |
23 | * on failure. |
24 | */ | |
25 | static inline int | |
26 | get_ext_path(struct inode *inode, ext4_lblk_t lblock, | |
3bdf14b4 | 27 | struct ext4_ext_path **ppath) |
e8505970 | 28 | { |
0e401101 | 29 | struct ext4_ext_path *path; |
e8505970 | 30 | |
ed8a1a76 | 31 | path = ext4_find_extent(inode, lblock, ppath, EXT4_EX_NOCACHE); |
0e401101 | 32 | if (IS_ERR(path)) |
3bdf14b4 TT |
33 | return PTR_ERR(path); |
34 | if (path[ext_depth(inode)].p_ext == NULL) { | |
7ff5fdda | 35 | ext4_free_ext_path(path); |
3bdf14b4 TT |
36 | *ppath = NULL; |
37 | return -ENODATA; | |
38 | } | |
39 | *ppath = path; | |
40 | return 0; | |
e8505970 | 41 | } |
748de673 | 42 | |
748de673 | 43 | /** |
c60990b3 TT |
44 | * ext4_double_down_write_data_sem() - write lock two inodes's i_data_sem |
45 | * @first: inode to be locked | |
46 | * @second: inode to be locked | |
748de673 | 47 | * |
03bd8b9b | 48 | * Acquire write lock of i_data_sem of the two inodes |
748de673 | 49 | */ |
393d1d1d DTB |
50 | void |
51 | ext4_double_down_write_data_sem(struct inode *first, struct inode *second) | |
748de673 | 52 | { |
03bd8b9b DM |
53 | if (first < second) { |
54 | down_write(&EXT4_I(first)->i_data_sem); | |
daf647d2 | 55 | down_write_nested(&EXT4_I(second)->i_data_sem, I_DATA_SEM_OTHER); |
03bd8b9b DM |
56 | } else { |
57 | down_write(&EXT4_I(second)->i_data_sem); | |
daf647d2 | 58 | down_write_nested(&EXT4_I(first)->i_data_sem, I_DATA_SEM_OTHER); |
748de673 | 59 | |
748de673 | 60 | } |
748de673 AF |
61 | } |
62 | ||
63 | /** | |
393d1d1d | 64 | * ext4_double_up_write_data_sem - Release two inodes' write lock of i_data_sem |
748de673 AF |
65 | * |
66 | * @orig_inode: original inode structure to be released its lock first | |
67 | * @donor_inode: donor inode structure to be released its lock second | |
fc04cb49 | 68 | * Release write lock of i_data_sem of two inodes (orig and donor). |
748de673 | 69 | */ |
393d1d1d DTB |
70 | void |
71 | ext4_double_up_write_data_sem(struct inode *orig_inode, | |
72 | struct inode *donor_inode) | |
748de673 | 73 | { |
748de673 AF |
74 | up_write(&EXT4_I(orig_inode)->i_data_sem); |
75 | up_write(&EXT4_I(donor_inode)->i_data_sem); | |
76 | } | |
77 | ||
8c854473 DM |
78 | /** |
79 | * mext_check_coverage - Check that all extents in range has the same type | |
80 | * | |
81 | * @inode: inode in question | |
82 | * @from: block offset of inode | |
83 | * @count: block count to be checked | |
556615dc | 84 | * @unwritten: extents expected to be unwritten |
8c854473 DM |
85 | * @err: pointer to save error value |
86 | * | |
87 | * Return 1 if all extents in range has expected type, and zero otherwise. | |
88 | */ | |
89 | static int | |
90 | mext_check_coverage(struct inode *inode, ext4_lblk_t from, ext4_lblk_t count, | |
556615dc | 91 | int unwritten, int *err) |
8c854473 DM |
92 | { |
93 | struct ext4_ext_path *path = NULL; | |
94 | struct ext4_extent *ext; | |
0e401101 | 95 | int ret = 0; |
8c854473 DM |
96 | ext4_lblk_t last = from + count; |
97 | while (from < last) { | |
98 | *err = get_ext_path(inode, from, &path); | |
99 | if (*err) | |
0e401101 | 100 | goto out; |
8c854473 | 101 | ext = path[ext_depth(inode)].p_ext; |
556615dc | 102 | if (unwritten != ext4_ext_is_unwritten(ext)) |
0e401101 | 103 | goto out; |
8c854473 | 104 | from += ext4_ext_get_actual_len(ext); |
8c854473 | 105 | } |
0e401101 DM |
106 | ret = 1; |
107 | out: | |
7ff5fdda | 108 | ext4_free_ext_path(path); |
0e401101 | 109 | return ret; |
8c854473 DM |
110 | } |
111 | ||
bb557488 | 112 | /** |
e8dfc854 | 113 | * mext_folio_double_lock - Grab and lock folio on both @inode1 and @inode2 |
bb557488 DM |
114 | * |
115 | * @inode1: the inode structure | |
116 | * @inode2: the inode structure | |
e8dfc854 VMO |
117 | * @index1: folio index |
118 | * @index2: folio index | |
119 | * @folio: result folio vector | |
bb557488 | 120 | * |
e8dfc854 | 121 | * Grab two locked folio for inode's by inode order |
bb557488 DM |
122 | */ |
123 | static int | |
e8dfc854 VMO |
124 | mext_folio_double_lock(struct inode *inode1, struct inode *inode2, |
125 | pgoff_t index1, pgoff_t index2, struct folio *folio[2]) | |
bb557488 DM |
126 | { |
127 | struct address_space *mapping[2]; | |
8f50c8b7 | 128 | unsigned int flags; |
bb557488 DM |
129 | |
130 | BUG_ON(!inode1 || !inode2); | |
131 | if (inode1 < inode2) { | |
132 | mapping[0] = inode1->i_mapping; | |
133 | mapping[1] = inode2->i_mapping; | |
134 | } else { | |
62bbdd99 | 135 | swap(index1, index2); |
bb557488 DM |
136 | mapping[0] = inode2->i_mapping; |
137 | mapping[1] = inode1->i_mapping; | |
138 | } | |
139 | ||
8f50c8b7 | 140 | flags = memalloc_nofs_save(); |
e999a5c5 | 141 | folio[0] = __filemap_get_folio(mapping[0], index1, FGP_WRITEBEGIN, |
e8dfc854 | 142 | mapping_gfp_mask(mapping[0])); |
66dabbb6 | 143 | if (IS_ERR(folio[0])) { |
8f50c8b7 | 144 | memalloc_nofs_restore(flags); |
66dabbb6 | 145 | return PTR_ERR(folio[0]); |
8f50c8b7 | 146 | } |
bb557488 | 147 | |
e999a5c5 | 148 | folio[1] = __filemap_get_folio(mapping[1], index2, FGP_WRITEBEGIN, |
e8dfc854 | 149 | mapping_gfp_mask(mapping[1])); |
8f50c8b7 | 150 | memalloc_nofs_restore(flags); |
66dabbb6 | 151 | if (IS_ERR(folio[1])) { |
e8dfc854 VMO |
152 | folio_unlock(folio[0]); |
153 | folio_put(folio[0]); | |
66dabbb6 | 154 | return PTR_ERR(folio[1]); |
bb557488 | 155 | } |
7e8b12c6 | 156 | /* |
e8dfc854 | 157 | * __filemap_get_folio() may not wait on folio's writeback if |
7e8b12c6 | 158 | * BDI not demand that. But it is reasonable to be very conservative |
e8dfc854 | 159 | * here and explicitly wait on folio's writeback |
7e8b12c6 | 160 | */ |
e8dfc854 VMO |
161 | folio_wait_writeback(folio[0]); |
162 | folio_wait_writeback(folio[1]); | |
bf865467 | 163 | if (inode1 > inode2) |
e8dfc854 | 164 | swap(folio[0], folio[1]); |
bf865467 | 165 | |
bb557488 DM |
166 | return 0; |
167 | } | |
168 | ||
169 | /* Force page buffers uptodate w/o dropping page's lock */ | |
170 | static int | |
3060b6ef | 171 | mext_page_mkuptodate(struct folio *folio, unsigned from, unsigned to) |
bb557488 | 172 | { |
3060b6ef | 173 | struct inode *inode = folio->mapping->host; |
bb557488 DM |
174 | sector_t block; |
175 | struct buffer_head *bh, *head, *arr[MAX_BUF_PER_PAGE]; | |
176 | unsigned int blocksize, block_start, block_end; | |
177 | int i, err, nr = 0, partial = 0; | |
3060b6ef MW |
178 | BUG_ON(!folio_test_locked(folio)); |
179 | BUG_ON(folio_test_writeback(folio)); | |
bb557488 | 180 | |
3060b6ef | 181 | if (folio_test_uptodate(folio)) |
bb557488 DM |
182 | return 0; |
183 | ||
93407472 | 184 | blocksize = i_blocksize(inode); |
3060b6ef | 185 | head = folio_buffers(folio); |
d4059993 | 186 | if (!head) |
0a88810d | 187 | head = create_empty_buffers(folio, blocksize, 0); |
bb557488 | 188 | |
3060b6ef | 189 | block = (sector_t)folio->index << (PAGE_SHIFT - inode->i_blkbits); |
bb557488 DM |
190 | for (bh = head, block_start = 0; bh != head || !block_start; |
191 | block++, block_start = block_end, bh = bh->b_this_page) { | |
192 | block_end = block_start + blocksize; | |
193 | if (block_end <= from || block_start >= to) { | |
194 | if (!buffer_uptodate(bh)) | |
195 | partial = 1; | |
196 | continue; | |
197 | } | |
198 | if (buffer_uptodate(bh)) | |
199 | continue; | |
200 | if (!buffer_mapped(bh)) { | |
bb557488 DM |
201 | err = ext4_get_block(inode, block, bh, 0); |
202 | if (err) { | |
3060b6ef | 203 | folio_set_error(folio); |
bb557488 DM |
204 | return err; |
205 | } | |
206 | if (!buffer_mapped(bh)) { | |
3060b6ef | 207 | folio_zero_range(folio, block_start, blocksize); |
df3a98b0 | 208 | set_buffer_uptodate(bh); |
bb557488 DM |
209 | continue; |
210 | } | |
211 | } | |
212 | BUG_ON(nr >= MAX_BUF_PER_PAGE); | |
213 | arr[nr++] = bh; | |
214 | } | |
215 | /* No io required */ | |
216 | if (!nr) | |
217 | goto out; | |
218 | ||
219 | for (i = 0; i < nr; i++) { | |
220 | bh = arr[i]; | |
221 | if (!bh_uptodate_or_lock(bh)) { | |
2d069c08 | 222 | err = ext4_read_bh(bh, 0, NULL); |
bb557488 DM |
223 | if (err) |
224 | return err; | |
225 | } | |
226 | } | |
227 | out: | |
228 | if (!partial) | |
3060b6ef | 229 | folio_mark_uptodate(folio); |
bb557488 DM |
230 | return 0; |
231 | } | |
232 | ||
748de673 AF |
233 | /** |
234 | * move_extent_per_page - Move extent data per page | |
235 | * | |
236 | * @o_filp: file structure of original file | |
237 | * @donor_inode: donor inode | |
238 | * @orig_page_offset: page index on original file | |
65dd8327 | 239 | * @donor_page_offset: page index on donor file |
748de673 AF |
240 | * @data_offset_in_page: block index where data swapping starts |
241 | * @block_len_in_page: the number of blocks to be swapped | |
556615dc | 242 | * @unwritten: orig extent is unwritten or not |
f868a48d | 243 | * @err: pointer to save return value |
748de673 AF |
244 | * |
245 | * Save the data in original inode blocks and replace original inode extents | |
65dd8327 | 246 | * with donor inode extents by calling ext4_swap_extents(). |
f868a48d AF |
247 | * Finally, write out the saved data in new original inode blocks. Return |
248 | * replaced block count. | |
748de673 AF |
249 | */ |
250 | static int | |
44fc48f7 | 251 | move_extent_per_page(struct file *o_filp, struct inode *donor_inode, |
fcf6b1b7 DM |
252 | pgoff_t orig_page_offset, pgoff_t donor_page_offset, |
253 | int data_offset_in_page, | |
254 | int block_len_in_page, int unwritten, int *err) | |
748de673 | 255 | { |
496ad9aa | 256 | struct inode *orig_inode = file_inode(o_filp); |
6dd8fe86 | 257 | struct folio *folio[2] = {NULL, NULL}; |
748de673 | 258 | handle_t *handle; |
fcf6b1b7 | 259 | ext4_lblk_t orig_blk_offset, donor_blk_offset; |
748de673 | 260 | unsigned long blocksize = orig_inode->i_sb->s_blocksize; |
f868a48d | 261 | unsigned int tmp_data_size, data_size, replaced_size; |
bcff2488 | 262 | int i, err2, jblocks, retries = 0; |
f868a48d | 263 | int replaced_count = 0; |
bb557488 | 264 | int from = data_offset_in_page << orig_inode->i_blkbits; |
09cbfeaf | 265 | int blocks_per_page = PAGE_SIZE >> orig_inode->i_blkbits; |
88c6b61f | 266 | struct super_block *sb = orig_inode->i_sb; |
bcff2488 | 267 | struct buffer_head *bh = NULL; |
748de673 AF |
268 | |
269 | /* | |
270 | * It needs twice the amount of ordinary journal buffers because | |
271 | * inode and donor_inode may change each different metadata blocks. | |
272 | */ | |
bb557488 DM |
273 | again: |
274 | *err = 0; | |
748de673 | 275 | jblocks = ext4_writepage_trans_blocks(orig_inode) * 2; |
9924a92a | 276 | handle = ext4_journal_start(orig_inode, EXT4_HT_MOVE_EXTENTS, jblocks); |
748de673 | 277 | if (IS_ERR(handle)) { |
f868a48d AF |
278 | *err = PTR_ERR(handle); |
279 | return 0; | |
748de673 AF |
280 | } |
281 | ||
748de673 AF |
282 | orig_blk_offset = orig_page_offset * blocks_per_page + |
283 | data_offset_in_page; | |
284 | ||
fcf6b1b7 DM |
285 | donor_blk_offset = donor_page_offset * blocks_per_page + |
286 | data_offset_in_page; | |
287 | ||
f868a48d | 288 | /* Calculate data_size */ |
748de673 AF |
289 | if ((orig_blk_offset + block_len_in_page - 1) == |
290 | ((orig_inode->i_size - 1) >> orig_inode->i_blkbits)) { | |
291 | /* Replace the last block */ | |
f868a48d | 292 | tmp_data_size = orig_inode->i_size & (blocksize - 1); |
748de673 | 293 | /* |
f868a48d | 294 | * If data_size equal zero, it shows data_size is multiples of |
748de673 AF |
295 | * blocksize. So we set appropriate value. |
296 | */ | |
f868a48d AF |
297 | if (tmp_data_size == 0) |
298 | tmp_data_size = blocksize; | |
748de673 | 299 | |
f868a48d | 300 | data_size = tmp_data_size + |
748de673 | 301 | ((block_len_in_page - 1) << orig_inode->i_blkbits); |
f868a48d AF |
302 | } else |
303 | data_size = block_len_in_page << orig_inode->i_blkbits; | |
304 | ||
305 | replaced_size = data_size; | |
748de673 | 306 | |
e8dfc854 VMO |
307 | *err = mext_folio_double_lock(orig_inode, donor_inode, orig_page_offset, |
308 | donor_page_offset, folio); | |
f868a48d | 309 | if (unlikely(*err < 0)) |
bb557488 | 310 | goto stop_journal; |
8c854473 | 311 | /* |
556615dc | 312 | * If orig extent was unwritten it can become initialized |
8c854473 DM |
313 | * at any time after i_data_sem was dropped, in order to |
314 | * serialize with delalloc we have recheck extent while we | |
315 | * hold page's lock, if it is still the case data copy is not | |
316 | * necessary, just swap data blocks between orig and donor. | |
317 | */ | |
6dd8fe86 VMO |
318 | |
319 | VM_BUG_ON_FOLIO(folio_test_large(folio[0]), folio[0]); | |
320 | VM_BUG_ON_FOLIO(folio_test_large(folio[1]), folio[1]); | |
321 | VM_BUG_ON_FOLIO(folio_nr_pages(folio[0]) != folio_nr_pages(folio[1]), folio[1]); | |
322 | ||
556615dc | 323 | if (unwritten) { |
393d1d1d | 324 | ext4_double_down_write_data_sem(orig_inode, donor_inode); |
8c854473 DM |
325 | /* If any of extents in range became initialized we have to |
326 | * fallback to data copying */ | |
556615dc LC |
327 | unwritten = mext_check_coverage(orig_inode, orig_blk_offset, |
328 | block_len_in_page, 1, err); | |
8c854473 DM |
329 | if (*err) |
330 | goto drop_data_sem; | |
748de673 | 331 | |
fcf6b1b7 | 332 | unwritten &= mext_check_coverage(donor_inode, donor_blk_offset, |
556615dc | 333 | block_len_in_page, 1, err); |
8c854473 DM |
334 | if (*err) |
335 | goto drop_data_sem; | |
336 | ||
556615dc | 337 | if (!unwritten) { |
393d1d1d | 338 | ext4_double_up_write_data_sem(orig_inode, donor_inode); |
8c854473 DM |
339 | goto data_copy; |
340 | } | |
0201ebf2 DH |
341 | if (!filemap_release_folio(folio[0], 0) || |
342 | !filemap_release_folio(folio[1], 0)) { | |
8c854473 DM |
343 | *err = -EBUSY; |
344 | goto drop_data_sem; | |
345 | } | |
fcf6b1b7 DM |
346 | replaced_count = ext4_swap_extents(handle, orig_inode, |
347 | donor_inode, orig_blk_offset, | |
348 | donor_blk_offset, | |
349 | block_len_in_page, 1, err); | |
8c854473 | 350 | drop_data_sem: |
393d1d1d | 351 | ext4_double_up_write_data_sem(orig_inode, donor_inode); |
6dd8fe86 | 352 | goto unlock_folios; |
8c854473 DM |
353 | } |
354 | data_copy: | |
3060b6ef | 355 | *err = mext_page_mkuptodate(folio[0], from, from + replaced_size); |
bb557488 | 356 | if (*err) |
6dd8fe86 | 357 | goto unlock_folios; |
bb557488 DM |
358 | |
359 | /* At this point all buffers in range are uptodate, old mapping layout | |
360 | * is no longer required, try to drop it now. */ | |
0201ebf2 DH |
361 | if (!filemap_release_folio(folio[0], 0) || |
362 | !filemap_release_folio(folio[1], 0)) { | |
bb557488 | 363 | *err = -EBUSY; |
6dd8fe86 | 364 | goto unlock_folios; |
748de673 | 365 | } |
6e263146 | 366 | ext4_double_down_write_data_sem(orig_inode, donor_inode); |
fcf6b1b7 DM |
367 | replaced_count = ext4_swap_extents(handle, orig_inode, donor_inode, |
368 | orig_blk_offset, donor_blk_offset, | |
369 | block_len_in_page, 1, err); | |
6e263146 | 370 | ext4_double_up_write_data_sem(orig_inode, donor_inode); |
bb557488 | 371 | if (*err) { |
f868a48d AF |
372 | if (replaced_count) { |
373 | block_len_in_page = replaced_count; | |
374 | replaced_size = | |
375 | block_len_in_page << orig_inode->i_blkbits; | |
ac48b0a1 | 376 | } else |
6dd8fe86 | 377 | goto unlock_folios; |
748de673 | 378 | } |
bb557488 DM |
379 | /* Perform all necessary steps similar write_begin()/write_end() |
380 | * but keeping in mind that i_size will not change */ | |
6dd8fe86 | 381 | bh = folio_buffers(folio[0]); |
d4059993 | 382 | if (!bh) |
0a88810d | 383 | bh = create_empty_buffers(folio[0], |
d4059993 | 384 | 1 << orig_inode->i_blkbits, 0); |
bcff2488 EG |
385 | for (i = 0; i < data_offset_in_page; i++) |
386 | bh = bh->b_this_page; | |
387 | for (i = 0; i < block_len_in_page; i++) { | |
388 | *err = ext4_get_block(orig_inode, orig_blk_offset + i, bh, 0); | |
389 | if (*err < 0) | |
a524fcfe | 390 | goto repair_branches; |
6ffe77ba | 391 | bh = bh->b_this_page; |
bcff2488 | 392 | } |
748de673 | 393 | |
a524fcfe | 394 | block_commit_write(&folio[0]->page, from, from + replaced_size); |
bb557488 DM |
395 | |
396 | /* Even in case of data=writeback it is reasonable to pin | |
397 | * inode to transaction, to prevent unexpected data loss */ | |
73131fbb RZ |
398 | *err = ext4_jbd2_inode_add_write(handle, orig_inode, |
399 | (loff_t)orig_page_offset << PAGE_SHIFT, replaced_size); | |
bb557488 | 400 | |
6dd8fe86 VMO |
401 | unlock_folios: |
402 | folio_unlock(folio[0]); | |
403 | folio_put(folio[0]); | |
404 | folio_unlock(folio[1]); | |
405 | folio_put(folio[1]); | |
bb557488 | 406 | stop_journal: |
748de673 | 407 | ext4_journal_stop(handle); |
88c6b61f DM |
408 | if (*err == -ENOSPC && |
409 | ext4_should_retry_alloc(sb, &retries)) | |
410 | goto again; | |
bb557488 DM |
411 | /* Buffer was busy because probably is pinned to journal transaction, |
412 | * force transaction commit may help to free it. */ | |
88c6b61f DM |
413 | if (*err == -EBUSY && retries++ < 4 && EXT4_SB(sb)->s_journal && |
414 | jbd2_journal_force_commit_nested(EXT4_SB(sb)->s_journal)) | |
bb557488 | 415 | goto again; |
f868a48d | 416 | return replaced_count; |
bb557488 DM |
417 | |
418 | repair_branches: | |
419 | /* | |
420 | * This should never ever happen! | |
421 | * Extents are swapped already, but we are not able to copy data. | |
422 | * Try to swap extents to it's original places | |
423 | */ | |
393d1d1d | 424 | ext4_double_down_write_data_sem(orig_inode, donor_inode); |
fcf6b1b7 DM |
425 | replaced_count = ext4_swap_extents(handle, donor_inode, orig_inode, |
426 | orig_blk_offset, donor_blk_offset, | |
427 | block_len_in_page, 0, &err2); | |
393d1d1d | 428 | ext4_double_up_write_data_sem(orig_inode, donor_inode); |
bb557488 | 429 | if (replaced_count != block_len_in_page) { |
54d3adbc TT |
430 | ext4_error_inode_block(orig_inode, (sector_t)(orig_blk_offset), |
431 | EIO, "Unable to copy data block," | |
bb557488 DM |
432 | " data will be lost."); |
433 | *err = -EIO; | |
434 | } | |
435 | replaced_count = 0; | |
6dd8fe86 | 436 | goto unlock_folios; |
748de673 AF |
437 | } |
438 | ||
439 | /** | |
c437b273 | 440 | * mext_check_arguments - Check whether move extent can be done |
748de673 AF |
441 | * |
442 | * @orig_inode: original inode | |
443 | * @donor_inode: donor inode | |
444 | * @orig_start: logical start offset in block for orig | |
445 | * @donor_start: logical start offset in block for donor | |
446 | * @len: the number of blocks to be moved | |
748de673 AF |
447 | * |
448 | * Check the arguments of ext4_move_extents() whether the files can be | |
449 | * exchanged with each other. | |
450 | * Return 0 on success, or a negative error value on failure. | |
451 | */ | |
452 | static int | |
453 | mext_check_arguments(struct inode *orig_inode, | |
446aaa6e KM |
454 | struct inode *donor_inode, __u64 orig_start, |
455 | __u64 donor_start, __u64 *len) | |
748de673 | 456 | { |
fcf6b1b7 | 457 | __u64 orig_eof, donor_eof; |
70d5d3dc AF |
458 | unsigned int blkbits = orig_inode->i_blkbits; |
459 | unsigned int blocksize = 1 << blkbits; | |
460 | ||
fcf6b1b7 DM |
461 | orig_eof = (i_size_read(orig_inode) + blocksize - 1) >> blkbits; |
462 | donor_eof = (i_size_read(donor_inode) + blocksize - 1) >> blkbits; | |
463 | ||
464 | ||
4a58579b AF |
465 | if (donor_inode->i_mode & (S_ISUID|S_ISGID)) { |
466 | ext4_debug("ext4 move extent: suid or sgid is set" | |
467 | " to donor file [ino:orig %lu, donor %lu]\n", | |
468 | orig_inode->i_ino, donor_inode->i_ino); | |
469 | return -EINVAL; | |
470 | } | |
471 | ||
1f5a81e4 TT |
472 | if (IS_IMMUTABLE(donor_inode) || IS_APPEND(donor_inode)) |
473 | return -EPERM; | |
474 | ||
d412df53 | 475 | /* Ext4 move extent does not support swap files */ |
748de673 | 476 | if (IS_SWAPFILE(orig_inode) || IS_SWAPFILE(donor_inode)) { |
d412df53 | 477 | ext4_debug("ext4 move extent: The argument files should not be swap files [ino:orig %lu, donor %lu]\n", |
748de673 | 478 | orig_inode->i_ino, donor_inode->i_ino); |
d412df53 | 479 | return -ETXTBSY; |
748de673 AF |
480 | } |
481 | ||
02749a4c | 482 | if (ext4_is_quota_file(orig_inode) && ext4_is_quota_file(donor_inode)) { |
d412df53 | 483 | ext4_debug("ext4 move extent: The argument files should not be quota files [ino:orig %lu, donor %lu]\n", |
daf647d2 | 484 | orig_inode->i_ino, donor_inode->i_ino); |
d412df53 | 485 | return -EOPNOTSUPP; |
daf647d2 TT |
486 | } |
487 | ||
748de673 | 488 | /* Ext4 move extent supports only extent based file */ |
12e9b892 | 489 | if (!(ext4_test_inode_flag(orig_inode, EXT4_INODE_EXTENTS))) { |
748de673 AF |
490 | ext4_debug("ext4 move extent: orig file is not extents " |
491 | "based file [ino:orig %lu]\n", orig_inode->i_ino); | |
492 | return -EOPNOTSUPP; | |
12e9b892 | 493 | } else if (!(ext4_test_inode_flag(donor_inode, EXT4_INODE_EXTENTS))) { |
748de673 AF |
494 | ext4_debug("ext4 move extent: donor file is not extents " |
495 | "based file [ino:donor %lu]\n", donor_inode->i_ino); | |
496 | return -EOPNOTSUPP; | |
497 | } | |
498 | ||
499 | if ((!orig_inode->i_size) || (!donor_inode->i_size)) { | |
500 | ext4_debug("ext4 move extent: File size is 0 byte\n"); | |
501 | return -EINVAL; | |
502 | } | |
503 | ||
504 | /* Start offset should be same */ | |
fcf6b1b7 DM |
505 | if ((orig_start & ~(PAGE_MASK >> orig_inode->i_blkbits)) != |
506 | (donor_start & ~(PAGE_MASK >> orig_inode->i_blkbits))) { | |
748de673 | 507 | ext4_debug("ext4 move extent: orig and donor's start " |
d67d64f4 | 508 | "offsets are not aligned [ino:orig %lu, donor %lu]\n", |
748de673 AF |
509 | orig_inode->i_ino, donor_inode->i_ino); |
510 | return -EINVAL; | |
511 | } | |
512 | ||
f17722f9 | 513 | if ((orig_start >= EXT_MAX_BLOCKS) || |
fcf6b1b7 | 514 | (donor_start >= EXT_MAX_BLOCKS) || |
f17722f9 | 515 | (*len > EXT_MAX_BLOCKS) || |
fcf6b1b7 | 516 | (donor_start + *len >= EXT_MAX_BLOCKS) || |
f17722f9 | 517 | (orig_start + *len >= EXT_MAX_BLOCKS)) { |
0a80e986 | 518 | ext4_debug("ext4 move extent: Can't handle over [%u] blocks " |
f17722f9 | 519 | "[ino:orig %lu, donor %lu]\n", EXT_MAX_BLOCKS, |
748de673 AF |
520 | orig_inode->i_ino, donor_inode->i_ino); |
521 | return -EINVAL; | |
522 | } | |
f18b2b83 TT |
523 | if (orig_eof <= orig_start) |
524 | *len = 0; | |
525 | else if (orig_eof < orig_start + *len - 1) | |
fcf6b1b7 | 526 | *len = orig_eof - orig_start; |
f18b2b83 TT |
527 | if (donor_eof <= donor_start) |
528 | *len = 0; | |
529 | else if (donor_eof < donor_start + *len - 1) | |
fcf6b1b7 | 530 | *len = donor_eof - donor_start; |
748de673 | 531 | if (!*len) { |
92c28159 | 532 | ext4_debug("ext4 move extent: len should not be 0 " |
748de673 AF |
533 | "[ino:orig %lu, donor %lu]\n", orig_inode->i_ino, |
534 | donor_inode->i_ino); | |
535 | return -EINVAL; | |
536 | } | |
537 | ||
538 | return 0; | |
539 | } | |
540 | ||
748de673 AF |
541 | /** |
542 | * ext4_move_extents - Exchange the specified range of a file | |
543 | * | |
544 | * @o_filp: file structure of the original file | |
545 | * @d_filp: file structure of the donor file | |
65dd8327 XW |
546 | * @orig_blk: start offset in block for orig |
547 | * @donor_blk: start offset in block for donor | |
748de673 AF |
548 | * @len: the number of blocks to be moved |
549 | * @moved_len: moved block length | |
550 | * | |
551 | * This function returns 0 and moved block length is set in moved_len | |
552 | * if succeed, otherwise returns error value. | |
553 | * | |
748de673 AF |
554 | */ |
555 | int | |
fcf6b1b7 DM |
556 | ext4_move_extents(struct file *o_filp, struct file *d_filp, __u64 orig_blk, |
557 | __u64 donor_blk, __u64 len, __u64 *moved_len) | |
748de673 | 558 | { |
496ad9aa AV |
559 | struct inode *orig_inode = file_inode(o_filp); |
560 | struct inode *donor_inode = file_inode(d_filp); | |
fcf6b1b7 | 561 | struct ext4_ext_path *path = NULL; |
09cbfeaf | 562 | int blocks_per_page = PAGE_SIZE >> orig_inode->i_blkbits; |
fcf6b1b7 DM |
563 | ext4_lblk_t o_end, o_start = orig_blk; |
564 | ext4_lblk_t d_start = donor_blk; | |
565 | int ret; | |
748de673 | 566 | |
03bd8b9b DM |
567 | if (orig_inode->i_sb != donor_inode->i_sb) { |
568 | ext4_debug("ext4 move extent: The argument files " | |
569 | "should be in same FS [ino:orig %lu, donor %lu]\n", | |
570 | orig_inode->i_ino, donor_inode->i_ino); | |
571 | return -EINVAL; | |
572 | } | |
573 | ||
574 | /* orig and donor should be different inodes */ | |
575 | if (orig_inode == donor_inode) { | |
f3ce8064 | 576 | ext4_debug("ext4 move extent: The argument files should not " |
03bd8b9b | 577 | "be same inode [ino:orig %lu, donor %lu]\n", |
f3ce8064 TT |
578 | orig_inode->i_ino, donor_inode->i_ino); |
579 | return -EINVAL; | |
580 | } | |
581 | ||
7247c0ca AF |
582 | /* Regular file check */ |
583 | if (!S_ISREG(orig_inode->i_mode) || !S_ISREG(donor_inode->i_mode)) { | |
584 | ext4_debug("ext4 move extent: The argument files should be " | |
585 | "regular file [ino:orig %lu, donor %lu]\n", | |
586 | orig_inode->i_ino, donor_inode->i_ino); | |
587 | return -EINVAL; | |
588 | } | |
04e22412 EW |
589 | |
590 | /* TODO: it's not obvious how to swap blocks for inodes with full | |
591 | journaling enabled */ | |
f066055a DM |
592 | if (ext4_should_journal_data(orig_inode) || |
593 | ext4_should_journal_data(donor_inode)) { | |
04e22412 EW |
594 | ext4_msg(orig_inode->i_sb, KERN_ERR, |
595 | "Online defrag not supported with data journaling"); | |
596 | return -EOPNOTSUPP; | |
f066055a | 597 | } |
04e22412 | 598 | |
592ddec7 | 599 | if (IS_ENCRYPTED(orig_inode) || IS_ENCRYPTED(donor_inode)) { |
14fbd4aa EW |
600 | ext4_msg(orig_inode->i_sb, KERN_ERR, |
601 | "Online defrag not supported for encrypted files"); | |
602 | return -EOPNOTSUPP; | |
603 | } | |
604 | ||
fc04cb49 | 605 | /* Protect orig and donor inodes against a truncate */ |
375e289e | 606 | lock_two_nondirectories(orig_inode, donor_inode); |
748de673 | 607 | |
17335dcc | 608 | /* Wait for all existing dio workers */ |
17335dcc DM |
609 | inode_dio_wait(orig_inode); |
610 | inode_dio_wait(donor_inode); | |
611 | ||
fc04cb49 | 612 | /* Protect extent tree against block allocations via delalloc */ |
393d1d1d | 613 | ext4_double_down_write_data_sem(orig_inode, donor_inode); |
748de673 | 614 | /* Check the filesystem environment whether move_extent can be done */ |
fcf6b1b7 DM |
615 | ret = mext_check_arguments(orig_inode, donor_inode, orig_blk, |
616 | donor_blk, &len); | |
03bd8b9b | 617 | if (ret) |
347fa6f1 | 618 | goto out; |
fcf6b1b7 | 619 | o_end = o_start + len; |
748de673 | 620 | |
55583e89 | 621 | *moved_len = 0; |
fcf6b1b7 DM |
622 | while (o_start < o_end) { |
623 | struct ext4_extent *ex; | |
624 | ext4_lblk_t cur_blk, next_blk; | |
625 | pgoff_t orig_page_index, donor_page_index; | |
626 | int offset_in_page; | |
627 | int unwritten, cur_len; | |
748de673 | 628 | |
fcf6b1b7 DM |
629 | ret = get_ext_path(orig_inode, o_start, &path); |
630 | if (ret) | |
748de673 | 631 | goto out; |
fcf6b1b7 | 632 | ex = path[path->p_depth].p_ext; |
fcf6b1b7 DM |
633 | cur_blk = le32_to_cpu(ex->ee_block); |
634 | cur_len = ext4_ext_get_actual_len(ex); | |
635 | /* Check hole before the start pos */ | |
636 | if (cur_blk + cur_len - 1 < o_start) { | |
d412df53 | 637 | next_blk = ext4_ext_next_allocated_block(path); |
fcf6b1b7 | 638 | if (next_blk == EXT_MAX_BLOCKS) { |
fcf6b1b7 DM |
639 | ret = -ENODATA; |
640 | goto out; | |
641 | } | |
642 | d_start += next_blk - o_start; | |
643 | o_start = next_blk; | |
3bdf14b4 | 644 | continue; |
fcf6b1b7 DM |
645 | /* Check hole after the start pos */ |
646 | } else if (cur_blk > o_start) { | |
647 | /* Skip hole */ | |
648 | d_start += cur_blk - o_start; | |
649 | o_start = cur_blk; | |
650 | /* Extent inside requested range ?*/ | |
651 | if (cur_blk >= o_end) | |
652 | goto out; | |
653 | } else { /* in_range(o_start, o_blk, o_len) */ | |
654 | cur_len += cur_blk - o_start; | |
748de673 | 655 | } |
fcf6b1b7 DM |
656 | unwritten = ext4_ext_is_unwritten(ex); |
657 | if (o_end - o_start < cur_len) | |
658 | cur_len = o_end - o_start; | |
659 | ||
09cbfeaf | 660 | orig_page_index = o_start >> (PAGE_SHIFT - |
fcf6b1b7 | 661 | orig_inode->i_blkbits); |
09cbfeaf | 662 | donor_page_index = d_start >> (PAGE_SHIFT - |
fcf6b1b7 DM |
663 | donor_inode->i_blkbits); |
664 | offset_in_page = o_start % blocks_per_page; | |
d412df53 | 665 | if (cur_len > blocks_per_page - offset_in_page) |
fcf6b1b7 | 666 | cur_len = blocks_per_page - offset_in_page; |
fc04cb49 AF |
667 | /* |
668 | * Up semaphore to avoid following problems: | |
669 | * a. transaction deadlock among ext4_journal_start, | |
670 | * ->write_begin via pagefault, and jbd2_journal_commit | |
fe5ddf6b MWO |
671 | * b. racing with ->read_folio, ->write_begin, and |
672 | * ext4_get_block in move_extent_per_page | |
fc04cb49 | 673 | */ |
393d1d1d | 674 | ext4_double_up_write_data_sem(orig_inode, donor_inode); |
fcf6b1b7 | 675 | /* Swap original branches with new branches */ |
55583e89 | 676 | *moved_len += move_extent_per_page(o_filp, donor_inode, |
fcf6b1b7 DM |
677 | orig_page_index, donor_page_index, |
678 | offset_in_page, cur_len, | |
679 | unwritten, &ret); | |
393d1d1d | 680 | ext4_double_down_write_data_sem(orig_inode, donor_inode); |
03bd8b9b | 681 | if (ret < 0) |
fc04cb49 | 682 | break; |
fcf6b1b7 DM |
683 | o_start += cur_len; |
684 | d_start += cur_len; | |
748de673 | 685 | } |
fcf6b1b7 | 686 | |
748de673 | 687 | out: |
94d7c16c | 688 | if (*moved_len) { |
2ffd2a6a KS |
689 | ext4_discard_preallocations(orig_inode); |
690 | ext4_discard_preallocations(donor_inode); | |
94d7c16c AF |
691 | } |
692 | ||
7ff5fdda | 693 | ext4_free_ext_path(path); |
393d1d1d | 694 | ext4_double_up_write_data_sem(orig_inode, donor_inode); |
375e289e | 695 | unlock_two_nondirectories(orig_inode, donor_inode); |
748de673 | 696 | |
03bd8b9b | 697 | return ret; |
748de673 | 698 | } |