Line data Source code
1 : // SPDX-License-Identifier: GPL-2.0-only
2 : #include <linux/slab.h>
3 : #include <linux/stat.h>
4 : #include <linux/sched/xacct.h>
5 : #include <linux/fcntl.h>
6 : #include <linux/file.h>
7 : #include <linux/uio.h>
8 : #include <linux/fsnotify.h>
9 : #include <linux/security.h>
10 : #include <linux/export.h>
11 : #include <linux/syscalls.h>
12 : #include <linux/pagemap.h>
13 : #include <linux/splice.h>
14 : #include <linux/compat.h>
15 : #include <linux/mount.h>
16 : #include <linux/fs.h>
17 : #include <linux/dax.h>
18 : #include <linux/overflow.h>
19 : #include "internal.h"
20 :
21 : #include <linux/uaccess.h>
22 : #include <asm/unistd.h>
23 :
24 : /*
25 : * Performs necessary checks before doing a clone.
26 : *
27 : * Can adjust amount of bytes to clone via @req_count argument.
28 : * Returns appropriate error code that caller should return or
29 : * zero in case the clone should be allowed.
30 : */
31 142053554 : static int generic_remap_checks(struct file *file_in, loff_t pos_in,
32 : struct file *file_out, loff_t pos_out,
33 : loff_t *req_count, unsigned int remap_flags)
34 : {
35 142053554 : struct inode *inode_in = file_in->f_mapping->host;
36 142053554 : struct inode *inode_out = file_out->f_mapping->host;
37 142053554 : uint64_t count = *req_count;
38 142053554 : uint64_t bcount;
39 142053554 : loff_t size_in, size_out;
40 142053554 : loff_t bs = inode_out->i_sb->s_blocksize;
41 142053554 : int ret;
42 :
43 : /* The start of both ranges must be aligned to an fs block. */
44 142053554 : if (!IS_ALIGNED(pos_in, bs) || !IS_ALIGNED(pos_out, bs))
45 : return -EINVAL;
46 :
47 : /* Ensure offsets don't wrap. */
48 138320927 : if (pos_in + count < pos_in || pos_out + count < pos_out)
49 : return -EINVAL;
50 :
51 138320927 : size_in = i_size_read(inode_in);
52 138320927 : size_out = i_size_read(inode_out);
53 :
54 : /* Dedupe requires both ranges to be within EOF. */
55 138320927 : if ((remap_flags & REMAP_FILE_DEDUP) &&
56 133087350 : (pos_in >= size_in || pos_in + count > size_in ||
57 114941898 : pos_out >= size_out || pos_out + count > size_out))
58 : return -EINVAL;
59 :
60 : /* Ensure the infile range is within the infile. */
61 119733270 : if (pos_in >= size_in)
62 : return -EINVAL;
63 119733263 : count = min(count, size_in - (uint64_t)pos_in);
64 :
65 119733263 : ret = generic_write_check_limits(file_out, pos_out, &count);
66 119735087 : if (ret)
67 : return ret;
68 :
69 : /*
70 : * If the user wanted us to link to the infile's EOF, round up to the
71 : * next block boundary for this check.
72 : *
73 : * Otherwise, make sure the count is also block-aligned, having
74 : * already confirmed the starting offsets' block alignment.
75 : */
76 119735087 : if (pos_in + count == size_in &&
77 160598 : (!(remap_flags & REMAP_FILE_DEDUP) || pos_out + count == size_out)) {
78 284453 : bcount = ALIGN(size_in, bs) - pos_in;
79 : } else {
80 119450634 : if (!IS_ALIGNED(count, bs))
81 4721317 : count = ALIGN_DOWN(count, bs);
82 119450634 : bcount = count;
83 : }
84 :
85 : /* Don't allow overlapped cloning within the same file. */
86 119735087 : if (inode_in == inode_out &&
87 4211140 : pos_out + bcount > pos_in &&
88 2298881 : pos_out < pos_in + bcount)
89 : return -EINVAL;
90 :
91 : /*
92 : * We shortened the request but the caller can't deal with that, so
93 : * bounce the request back to userspace.
94 : */
95 119725539 : if (*req_count != count && !(remap_flags & REMAP_FILE_CAN_SHORTEN))
96 : return -EINVAL;
97 :
98 119725525 : *req_count = count;
99 119725525 : return 0;
100 : }
101 :
102 : static int remap_verify_area(struct file *file, loff_t pos, loff_t len,
103 : bool write)
104 : {
105 516939066 : loff_t tmp;
106 :
107 516939066 : if (unlikely(pos < 0 || len < 0))
108 : return -EINVAL;
109 :
110 516939066 : if (unlikely(check_add_overflow(pos, len, &tmp)))
111 14 : return -EINVAL;
112 :
113 : return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
114 : }
115 :
116 : /*
117 : * Ensure that we don't remap a partial EOF block in the middle of something
118 : * else. Assume that the offsets have already been checked for block
119 : * alignment.
120 : *
121 : * For clone we only link a partial EOF block above or at the destination file's
122 : * EOF. For deduplication we accept a partial EOF block only if it ends at the
123 : * destination file's EOF (can not link it into the middle of a file).
124 : *
125 : * Shorten the request if possible.
126 : */
127 87527914 : static int generic_remap_check_len(struct inode *inode_in,
128 : struct inode *inode_out,
129 : loff_t pos_out,
130 : loff_t *len,
131 : unsigned int remap_flags)
132 : {
133 87527914 : u64 blkmask = i_blocksize(inode_in) - 1;
134 87527140 : loff_t new_len = *len;
135 :
136 87527140 : if ((*len & blkmask) == 0)
137 : return 0;
138 :
139 31148 : if (pos_out + *len < i_size_read(inode_out))
140 3478 : new_len &= ~blkmask;
141 :
142 31148 : if (new_len == *len)
143 : return 0;
144 :
145 3478 : if (remap_flags & REMAP_FILE_CAN_SHORTEN) {
146 2 : *len = new_len;
147 2 : return 0;
148 : }
149 :
150 3476 : return (remap_flags & REMAP_FILE_DEDUP) ? -EBADE : -EINVAL;
151 : }
152 :
153 : /* Read a page's worth of file data into the page cache. */
154 2834272318 : static struct folio *vfs_dedupe_get_folio(struct file *file, loff_t pos)
155 : {
156 2834272318 : return read_mapping_folio(file->f_mapping, pos >> PAGE_SHIFT, file);
157 : }
158 :
159 : /*
160 : * Lock two folios, ensuring that we lock in offset order if the folios
161 : * are from the same file.
162 : */
163 1417265104 : static void vfs_lock_two_folios(struct folio *folio1, struct folio *folio2)
164 : {
165 : /* Always lock in order of increasing index. */
166 1417265104 : if (folio1->index > folio2->index)
167 707306487 : swap(folio1, folio2);
168 :
169 1417265104 : folio_lock(folio1);
170 1417855839 : if (folio1 != folio2)
171 1417854052 : folio_lock(folio2);
172 1417918053 : }
173 :
174 : /* Unlock two folios, being careful not to unlock the same folio twice. */
175 1417924817 : static void vfs_unlock_two_folios(struct folio *folio1, struct folio *folio2)
176 : {
177 1417924817 : folio_unlock(folio1);
178 1417794700 : if (folio1 != folio2)
179 1417792913 : folio_unlock(folio2);
180 1417893176 : }
181 :
182 : /*
183 : * Compare extents of two files to see if they are the same.
184 : * Caller must have locked both inodes to prevent write races.
185 : */
186 110910018 : static int vfs_dedupe_file_range_compare(struct file *src, loff_t srcoff,
187 : struct file *dest, loff_t dstoff,
188 : loff_t len, bool *is_same)
189 : {
190 110910018 : bool same = true;
191 110910018 : int error = -EINVAL;
192 :
193 1500315259 : while (len) {
194 1418018234 : struct folio *src_folio, *dst_folio;
195 1418018234 : void *src_addr, *dst_addr;
196 1418018234 : loff_t cmp_len = min(PAGE_SIZE - offset_in_page(srcoff),
197 : PAGE_SIZE - offset_in_page(dstoff));
198 :
199 1418018234 : cmp_len = min(cmp_len, len);
200 1418018234 : if (cmp_len <= 0)
201 0 : goto out_error;
202 :
203 1418018234 : src_folio = vfs_dedupe_get_folio(src, srcoff);
204 1417418860 : if (IS_ERR(src_folio)) {
205 700 : error = PTR_ERR(src_folio);
206 700 : goto out_error;
207 : }
208 1417418160 : dst_folio = vfs_dedupe_get_folio(dest, dstoff);
209 1417471670 : if (IS_ERR(dst_folio)) {
210 1351 : error = PTR_ERR(dst_folio);
211 1351 : folio_put(src_folio);
212 1351 : goto out_error;
213 : }
214 :
215 1417470319 : vfs_lock_two_folios(src_folio, dst_folio);
216 :
217 : /*
218 : * Now that we've locked both folios, make sure they're still
219 : * mapped to the file data we're interested in. If not,
220 : * someone is invalidating pages on us and we lose.
221 : */
222 1417836376 : if (!folio_test_uptodate(src_folio) || !folio_test_uptodate(dst_folio) ||
223 1417101388 : src_folio->mapping != src->f_mapping ||
224 1417101388 : dst_folio->mapping != dest->f_mapping) {
225 0 : same = false;
226 0 : goto unlock;
227 : }
228 :
229 2834076991 : src_addr = kmap_local_folio(src_folio,
230 1417101388 : offset_in_folio(src_folio, srcoff));
231 2834068879 : dst_addr = kmap_local_folio(dst_folio,
232 1416975603 : offset_in_folio(dst_folio, dstoff));
233 :
234 1417093276 : flush_dcache_folio(src_folio);
235 1417093276 : flush_dcache_folio(dst_folio);
236 :
237 2834186552 : if (memcmp(src_addr, dst_addr, cmp_len))
238 28619663 : same = false;
239 :
240 : kunmap_local(dst_addr);
241 1417093276 : kunmap_local(src_addr);
242 1417093276 : unlock:
243 1417093276 : vfs_unlock_two_folios(src_folio, dst_folio);
244 1417817144 : folio_put(dst_folio);
245 1417910793 : folio_put(src_folio);
246 :
247 1418025022 : if (!same)
248 : break;
249 :
250 1389405241 : srcoff += cmp_len;
251 1389405241 : dstoff += cmp_len;
252 1389405241 : len -= cmp_len;
253 : }
254 :
255 110916806 : *is_same = same;
256 110916806 : return 0;
257 :
258 : out_error:
259 : return error;
260 : }
261 :
262 : /*
263 : * Check that the two inodes are eligible for cloning, the ranges make
264 : * sense, and then flush all dirty data. Caller must ensure that the
265 : * inodes have been locked against any other modifications.
266 : *
267 : * If there's an error, then the usual negative error code is returned.
268 : * Otherwise returns 0 with *len set to the request length.
269 : */
270 : int
271 142508154 : __generic_remap_file_range_prep(struct file *file_in, loff_t pos_in,
272 : struct file *file_out, loff_t pos_out,
273 : loff_t *len, unsigned int remap_flags,
274 : const struct iomap_ops *dax_read_ops)
275 : {
276 142508154 : struct inode *inode_in = file_inode(file_in);
277 142508154 : struct inode *inode_out = file_inode(file_out);
278 142508154 : bool same_inode = (inode_in == inode_out);
279 142508154 : int ret;
280 :
281 : /* Don't touch certain kinds of inodes */
282 142508154 : if (IS_IMMUTABLE(inode_out))
283 : return -EPERM;
284 :
285 142508154 : if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
286 : return -ETXTBSY;
287 :
288 : /* Don't reflink dirs, pipes, sockets... */
289 142508133 : if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
290 : return -EISDIR;
291 142508133 : if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
292 : return -EINVAL;
293 :
294 : /* Zero length dedupe exits immediately; reflink goes to EOF. */
295 142508133 : if (*len == 0) {
296 512555 : loff_t isize = i_size_read(inode_in);
297 :
298 512555 : if ((remap_flags & REMAP_FILE_DEDUP) || pos_in == isize)
299 : return 0;
300 52308 : if (pos_in > isize)
301 : return -EINVAL;
302 52308 : *len = isize - pos_in;
303 52308 : if (*len == 0)
304 : return 0;
305 : }
306 :
307 : /* Check that we don't violate system file offset limits. */
308 142047886 : ret = generic_remap_checks(file_in, pos_in, file_out, pos_out, len,
309 : remap_flags);
310 142050428 : if (ret || *len == 0)
311 : return ret;
312 :
313 : /* Wait for the completion of any pending IOs on both files */
314 116139580 : inode_dio_wait(inode_in);
315 116137772 : if (!same_inode)
316 111958783 : inode_dio_wait(inode_out);
317 :
318 116137507 : ret = filemap_write_and_wait_range(inode_in->i_mapping,
319 116137507 : pos_in, pos_in + *len - 1);
320 116138436 : if (ret)
321 : return ret;
322 :
323 116138525 : ret = filemap_write_and_wait_range(inode_out->i_mapping,
324 116138525 : pos_out, pos_out + *len - 1);
325 116145508 : if (ret)
326 : return ret;
327 :
328 : /*
329 : * Check that the extents are the same.
330 : */
331 116144274 : if (remap_flags & REMAP_FILE_DEDUP) {
332 110910813 : bool is_same = false;
333 :
334 110910813 : if (!IS_DAX(inode_in))
335 110910813 : ret = vfs_dedupe_file_range_compare(file_in, pos_in,
336 : file_out, pos_out, *len, &is_same);
337 0 : else if (dax_read_ops)
338 0 : ret = dax_dedupe_file_range_compare(inode_in, pos_in,
339 : inode_out, pos_out, *len, &is_same,
340 : dax_read_ops);
341 : else
342 28621652 : return -EINVAL;
343 110916957 : if (ret)
344 : return ret;
345 110914907 : if (!is_same)
346 : return -EBADE;
347 : }
348 :
349 87528766 : ret = generic_remap_check_len(inode_in, inode_out, pos_out, len,
350 : remap_flags);
351 87526902 : if (ret || *len == 0)
352 : return ret;
353 :
354 : /* If can't alter the file contents, we're done. */
355 87523425 : if (!(remap_flags & REMAP_FILE_DEDUP))
356 5229919 : ret = file_modified(file_out);
357 :
358 : return ret;
359 : }
360 :
361 142515896 : int generic_remap_file_range_prep(struct file *file_in, loff_t pos_in,
362 : struct file *file_out, loff_t pos_out,
363 : loff_t *len, unsigned int remap_flags)
364 : {
365 142515896 : return __generic_remap_file_range_prep(file_in, pos_in, file_out,
366 : pos_out, len, remap_flags, NULL);
367 : }
368 : EXPORT_SYMBOL(generic_remap_file_range_prep);
369 :
370 6996560 : loff_t do_clone_file_range(struct file *file_in, loff_t pos_in,
371 : struct file *file_out, loff_t pos_out,
372 : loff_t len, unsigned int remap_flags)
373 : {
374 6996560 : loff_t ret;
375 :
376 6996560 : WARN_ON_ONCE(remap_flags & REMAP_FILE_DEDUP);
377 :
378 6996560 : if (file_inode(file_in)->i_sb != file_inode(file_out)->i_sb)
379 : return -EXDEV;
380 :
381 6996514 : ret = generic_file_rw_checks(file_in, file_out);
382 6996406 : if (ret < 0)
383 : return ret;
384 :
385 6996371 : if (!file_in->f_op->remap_file_range)
386 : return -EOPNOTSUPP;
387 :
388 6943814 : ret = remap_verify_area(file_in, pos_in, len, false);
389 6943814 : if (ret)
390 : return ret;
391 :
392 6943807 : ret = remap_verify_area(file_out, pos_out, len, true);
393 6943807 : if (ret)
394 : return ret;
395 :
396 6943800 : ret = file_in->f_op->remap_file_range(file_in, pos_in,
397 : file_out, pos_out, len, remap_flags);
398 6943980 : if (ret < 0)
399 : return ret;
400 :
401 5153284 : fsnotify_access(file_in);
402 5153254 : fsnotify_modify(file_out);
403 5153254 : return ret;
404 : }
405 : EXPORT_SYMBOL(do_clone_file_range);
406 :
407 6967875 : loff_t vfs_clone_file_range(struct file *file_in, loff_t pos_in,
408 : struct file *file_out, loff_t pos_out,
409 : loff_t len, unsigned int remap_flags)
410 : {
411 6967875 : loff_t ret;
412 :
413 6967875 : file_start_write(file_out);
414 6967745 : ret = do_clone_file_range(file_in, pos_in, file_out, pos_out, len,
415 : remap_flags);
416 6967879 : file_end_write(file_out);
417 :
418 6967865 : return ret;
419 : }
420 : EXPORT_SYMBOL(vfs_clone_file_range);
421 :
422 : /* Check whether we are allowed to dedupe the destination file */
423 248319095 : static bool allow_file_dedupe(struct file *file)
424 : {
425 248319095 : struct mnt_idmap *idmap = file_mnt_idmap(file);
426 248318550 : struct inode *inode = file_inode(file);
427 :
428 248318550 : if (capable(CAP_SYS_ADMIN))
429 : return true;
430 307381 : if (file->f_mode & FMODE_WRITE)
431 : return true;
432 0 : if (vfsuid_eq_kuid(i_uid_into_vfsuid(idmap, inode), current_fsuid()))
433 : return true;
434 0 : if (!inode_permission(idmap, inode, MAY_WRITE))
435 0 : return true;
436 : return false;
437 : }
438 :
439 248322160 : loff_t vfs_dedupe_file_range_one(struct file *src_file, loff_t src_pos,
440 : struct file *dst_file, loff_t dst_pos,
441 : loff_t len, unsigned int remap_flags)
442 : {
443 248322160 : loff_t ret;
444 :
445 248322160 : WARN_ON_ONCE(remap_flags & ~(REMAP_FILE_DEDUP |
446 : REMAP_FILE_CAN_SHORTEN));
447 :
448 248322160 : ret = mnt_want_write_file(dst_file);
449 248323013 : if (ret)
450 : return ret;
451 :
452 : /*
453 : * This is redundant if called from vfs_dedupe_file_range(), but other
454 : * callers need it and it's not performance sesitive...
455 : */
456 248323013 : ret = remap_verify_area(src_file, src_pos, len, false);
457 248323013 : if (ret)
458 0 : goto out_drop_write;
459 :
460 248323013 : ret = remap_verify_area(dst_file, dst_pos, len, true);
461 248323013 : if (ret)
462 0 : goto out_drop_write;
463 :
464 248323013 : ret = -EPERM;
465 248323013 : if (!allow_file_dedupe(dst_file))
466 0 : goto out_drop_write;
467 :
468 248322208 : ret = -EXDEV;
469 248322208 : if (file_inode(src_file)->i_sb != file_inode(dst_file)->i_sb)
470 7 : goto out_drop_write;
471 :
472 248322201 : ret = -EISDIR;
473 248322201 : if (S_ISDIR(file_inode(dst_file)->i_mode))
474 0 : goto out_drop_write;
475 :
476 248322201 : ret = -EINVAL;
477 248322201 : if (!dst_file->f_op->remap_file_range)
478 14 : goto out_drop_write;
479 :
480 248322187 : if (len == 0) {
481 31407705 : ret = 0;
482 31407705 : goto out_drop_write;
483 : }
484 :
485 216914482 : ret = dst_file->f_op->remap_file_range(src_file, src_pos, dst_file,
486 : dst_pos, len, remap_flags | REMAP_FILE_DEDUP);
487 248321782 : out_drop_write:
488 248321782 : mnt_drop_write_file(dst_file);
489 :
490 248321782 : return ret;
491 : }
492 : EXPORT_SYMBOL(vfs_dedupe_file_range_one);
493 :
494 6455082 : int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
495 : {
496 6455082 : struct file_dedupe_range_info *info;
497 6455082 : struct inode *src = file_inode(file);
498 6455082 : u64 off;
499 6455082 : u64 len;
500 6455082 : int i;
501 6455082 : int ret;
502 6455082 : u16 count = same->dest_count;
503 6455082 : loff_t deduped;
504 :
505 6455082 : if (!(file->f_mode & FMODE_READ))
506 : return -EINVAL;
507 :
508 6455082 : if (same->reserved1 || same->reserved2)
509 : return -EINVAL;
510 :
511 6455082 : off = same->src_offset;
512 6455082 : len = same->src_length;
513 :
514 6455082 : if (S_ISDIR(src->i_mode))
515 : return -EISDIR;
516 :
517 6455075 : if (!S_ISREG(src->i_mode))
518 : return -EINVAL;
519 :
520 6455068 : if (!file->f_op->remap_file_range)
521 : return -EOPNOTSUPP;
522 :
523 6405419 : ret = remap_verify_area(file, off, len, false);
524 6405398 : if (ret < 0)
525 : return ret;
526 6405398 : ret = 0;
527 :
528 6405398 : if (off + len > i_size_read(src))
529 : return -EINVAL;
530 :
531 : /* Arbitrary 1G limit on a single dedupe request, can be raised. */
532 6405384 : len = min_t(u64, len, 1 << 30);
533 :
534 : /* pre-format output fields to sane values */
535 254766484 : for (i = 0; i < count; i++) {
536 248361100 : same->info[i].bytes_deduped = 0ULL;
537 248361100 : same->info[i].status = FILE_DEDUPE_RANGE_SAME;
538 : }
539 :
540 254699735 : for (i = 0, info = same->info; i < count; i++, info++) {
541 248295154 : struct fd dst_fd = fdget(info->dest_fd);
542 248328058 : struct file *dst_file = dst_fd.file;
543 :
544 248328058 : if (!dst_file) {
545 0 : info->status = -EBADF;
546 0 : goto next_loop;
547 : }
548 :
549 248328058 : if (info->reserved) {
550 0 : info->status = -EINVAL;
551 0 : goto next_fdput;
552 : }
553 :
554 248328058 : deduped = vfs_dedupe_file_range_one(file, off, dst_file,
555 248328058 : info->dest_offset, len,
556 : REMAP_FILE_CAN_SHORTEN);
557 248317633 : if (deduped == -EBADE)
558 28619492 : info->status = FILE_DEDUPE_RANGE_DIFFERS;
559 219698141 : else if (deduped < 0)
560 103341281 : info->status = deduped;
561 : else
562 116356860 : info->bytes_deduped = len;
563 :
564 248317633 : next_fdput:
565 248317633 : fdput(dst_fd);
566 248317645 : next_loop:
567 248317645 : if (fatal_signal_pending(current))
568 : break;
569 : }
570 : return ret;
571 : }
572 : EXPORT_SYMBOL(vfs_dedupe_file_range);
|
