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 136815380 : 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 136815380 : struct inode *inode_in = file_in->f_mapping->host;
36 136815380 : struct inode *inode_out = file_out->f_mapping->host;
37 136815380 : uint64_t count = *req_count;
38 136815380 : uint64_t bcount;
39 136815380 : loff_t size_in, size_out;
40 136815380 : loff_t bs = inode_out->i_sb->s_blocksize;
41 136815380 : int ret;
42 :
43 : /* The start of both ranges must be aligned to an fs block. */
44 136815380 : if (!IS_ALIGNED(pos_in, bs) || !IS_ALIGNED(pos_out, bs))
45 : return -EINVAL;
46 :
47 : /* Ensure offsets don't wrap. */
48 133883942 : if (pos_in + count < pos_in || pos_out + count < pos_out)
49 : return -EINVAL;
50 :
51 133883942 : size_in = i_size_read(inode_in);
52 133883942 : size_out = i_size_read(inode_out);
53 :
54 : /* Dedupe requires both ranges to be within EOF. */
55 133883942 : if ((remap_flags & REMAP_FILE_DEDUP) &&
56 130912054 : (pos_in >= size_in || pos_in + count > size_in ||
57 112706852 : pos_out >= size_out || pos_out + count > size_out))
58 : return -EINVAL;
59 :
60 : /* Ensure the infile range is within the infile. */
61 115474046 : if (pos_in >= size_in)
62 : return -EINVAL;
63 115474044 : count = min(count, size_in - (uint64_t)pos_in);
64 :
65 115474044 : ret = generic_write_check_limits(file_out, pos_out, &count);
66 115474034 : 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 115474034 : if (pos_in + count == size_in &&
77 40496 : (!(remap_flags & REMAP_FILE_DEDUP) || pos_out + count == size_out)) {
78 86406 : bcount = ALIGN(size_in, bs) - pos_in;
79 : } else {
80 115387628 : if (!IS_ALIGNED(count, bs))
81 579512 : count = ALIGN_DOWN(count, bs);
82 115387628 : bcount = count;
83 : }
84 :
85 : /* Don't allow overlapped cloning within the same file. */
86 115474034 : if (inode_in == inode_out &&
87 1017121 : pos_out + bcount > pos_in &&
88 620767 : 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 115471193 : if (*req_count != count && !(remap_flags & REMAP_FILE_CAN_SHORTEN))
96 : return -EINVAL;
97 :
98 115471189 : *req_count = count;
99 115471189 : return 0;
100 : }
101 :
102 353742 : int remap_verify_area(struct file *file, loff_t pos, loff_t len, bool write)
103 : {
104 449629370 : loff_t tmp;
105 :
106 353742 : if (unlikely(pos < 0 || len < 0))
107 : return -EINVAL;
108 :
109 449629370 : if (unlikely(check_add_overflow(pos, len, &tmp)))
110 4 : return -EINVAL;
111 :
112 : return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
113 : }
114 : EXPORT_SYMBOL(remap_verify_area);
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 105509859 : 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 105509859 : u64 blkmask = i_blocksize(inode_in) - 1;
134 105509859 : loff_t new_len = *len;
135 :
136 105509859 : if ((*len & blkmask) == 0)
137 : return 0;
138 :
139 10002 : if (pos_out + *len < i_size_read(inode_out))
140 1724 : new_len &= ~blkmask;
141 :
142 10002 : if (new_len == *len)
143 : return 0;
144 :
145 1724 : if (remap_flags & REMAP_FILE_CAN_SHORTEN) {
146 0 : *len = new_len;
147 0 : return 0;
148 : }
149 :
150 1724 : return (remap_flags & REMAP_FILE_DEDUP) ? -EBADE : -EINVAL;
151 : }
152 :
153 : /* Read a page's worth of file data into the page cache. */
154 225012111 : static struct folio *vfs_dedupe_get_folio(struct file *file, loff_t pos)
155 : {
156 225012111 : 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 112512132 : static void vfs_lock_two_folios(struct folio *folio1, struct folio *folio2)
164 : {
165 : /* Always lock in order of increasing index. */
166 112512132 : if (folio1->index > folio2->index)
167 55839153 : swap(folio1, folio2);
168 :
169 112512132 : folio_lock(folio1);
170 112513691 : if (folio1 != folio2)
171 112506499 : folio_lock(folio2);
172 112513824 : }
173 :
174 : /* Unlock two folios, being careful not to unlock the same folio twice. */
175 112509865 : static void vfs_unlock_two_folios(struct folio *folio1, struct folio *folio2)
176 : {
177 112509865 : folio_unlock(folio1);
178 112508925 : if (folio1 != folio2)
179 112501733 : folio_unlock(folio2);
180 112500650 : }
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 112477115 : 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 112477115 : bool same = true;
191 112477115 : int error = -EINVAL;
192 :
193 215048555 : while (len) {
194 112511407 : struct folio *src_folio, *dst_folio;
195 112511407 : void *src_addr, *dst_addr;
196 112511407 : loff_t cmp_len = min(PAGE_SIZE - offset_in_page(srcoff),
197 : PAGE_SIZE - offset_in_page(dstoff));
198 :
199 112511407 : cmp_len = min(cmp_len, len);
200 112511407 : if (cmp_len <= 0)
201 0 : goto out_error;
202 :
203 112511407 : src_folio = vfs_dedupe_get_folio(src, srcoff);
204 112514002 : if (IS_ERR(src_folio)) {
205 346 : error = PTR_ERR(src_folio);
206 346 : goto out_error;
207 : }
208 112513656 : dst_folio = vfs_dedupe_get_folio(dest, dstoff);
209 112512087 : if (IS_ERR(dst_folio)) {
210 442 : error = PTR_ERR(dst_folio);
211 442 : folio_put(src_folio);
212 442 : goto out_error;
213 : }
214 :
215 112511645 : 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 337542161 : if (!folio_test_uptodate(src_folio) || !folio_test_uptodate(dst_folio) ||
223 112513865 : src_folio->mapping != src->f_mapping ||
224 112513865 : dst_folio->mapping != dest->f_mapping) {
225 0 : same = false;
226 0 : goto unlock;
227 : }
228 :
229 112513865 : src_addr = kmap_local_folio(src_folio,
230 112513865 : offset_in_folio(src_folio, srcoff));
231 112513865 : dst_addr = kmap_local_folio(dst_folio,
232 112513865 : offset_in_folio(dst_folio, dstoff));
233 :
234 112513865 : flush_dcache_folio(src_folio);
235 112507964 : flush_dcache_folio(dst_folio);
236 :
237 225011814 : if (memcmp(src_addr, dst_addr, cmp_len))
238 9942266 : same = false;
239 :
240 : kunmap_local(dst_addr);
241 112505907 : kunmap_local(src_addr);
242 112505907 : unlock:
243 112505907 : vfs_unlock_two_folios(src_folio, dst_folio);
244 112500985 : folio_put(dst_folio);
245 112514137 : folio_put(src_folio);
246 :
247 112513740 : if (!same)
248 : break;
249 :
250 102571440 : srcoff += cmp_len;
251 102571440 : dstoff += cmp_len;
252 102571440 : len -= cmp_len;
253 : }
254 :
255 112479448 : *is_same = same;
256 112479448 : 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 137243725 : __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 137243725 : struct inode *inode_in = file_inode(file_in);
277 137243725 : struct inode *inode_out = file_inode(file_out);
278 137243725 : bool same_inode = (inode_in == inode_out);
279 137243725 : int ret;
280 :
281 : /* Don't touch certain kinds of inodes */
282 137243725 : if (IS_IMMUTABLE(inode_out))
283 : return -EPERM;
284 :
285 137243725 : if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
286 : return -ETXTBSY;
287 :
288 : /* Don't reflink dirs, pipes, sockets... */
289 137243719 : if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
290 : return -EISDIR;
291 137243719 : 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 137243719 : if (*len == 0) {
296 449597 : loff_t isize = i_size_read(inode_in);
297 :
298 449597 : if ((remap_flags & REMAP_FILE_DEDUP) || pos_in == isize)
299 : return 0;
300 21340 : if (pos_in > isize)
301 : return -EINVAL;
302 21340 : *len = isize - pos_in;
303 21340 : if (*len == 0)
304 : return 0;
305 : }
306 :
307 : /* Check that we don't violate system file offset limits. */
308 136815462 : ret = generic_remap_checks(file_in, pos_in, file_out, pos_out, len,
309 : remap_flags);
310 136815403 : if (ret || *len == 0)
311 : return ret;
312 :
313 : /* Wait for the completion of any pending IOs on both files */
314 115448298 : inode_dio_wait(inode_in);
315 115450304 : if (!same_inode)
316 114436121 : inode_dio_wait(inode_out);
317 :
318 115451282 : ret = filemap_write_and_wait_range(inode_in->i_mapping,
319 115451282 : pos_in, pos_in + *len - 1);
320 115451452 : if (ret)
321 : return ret;
322 :
323 115450629 : ret = filemap_write_and_wait_range(inode_out->i_mapping,
324 115450629 : pos_out, pos_out + *len - 1);
325 115448773 : if (ret)
326 : return ret;
327 :
328 : /*
329 : * Check that the extents are the same.
330 : */
331 115448239 : if (remap_flags & REMAP_FILE_DEDUP) {
332 112477079 : bool is_same = false;
333 :
334 112477079 : if (!IS_DAX(inode_in))
335 112477079 : ret = vfs_dedupe_file_range_compare(file_in, pos_in,
336 : file_out, pos_out, *len, &is_same);
337 : else if (dax_read_ops)
338 : 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 9943088 : return -EINVAL;
343 112481726 : if (ret)
344 : return ret;
345 112480950 : if (!is_same)
346 : return -EBADE;
347 : }
348 :
349 105509798 : ret = generic_remap_check_len(inode_in, inode_out, pos_out, len,
350 : remap_flags);
351 105509567 : if (ret || *len == 0)
352 : return ret;
353 :
354 : /* If can't alter the file contents, we're done. */
355 105507843 : if (!(remap_flags & REMAP_FILE_DEDUP))
356 2969887 : ret = file_modified(file_out);
357 :
358 : return ret;
359 : }
360 :
361 137246971 : 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 137246971 : 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 4441733 : 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 4441733 : loff_t ret;
375 :
376 4441733 : WARN_ON_ONCE(remap_flags & REMAP_FILE_DEDUP);
377 :
378 4441733 : if (file_inode(file_in)->i_sb != file_inode(file_out)->i_sb)
379 : return -EXDEV;
380 :
381 4441722 : ret = generic_file_rw_checks(file_in, file_out);
382 4441735 : if (ret < 0)
383 : return ret;
384 :
385 4441725 : if (!file_in->f_op->remap_file_range)
386 : return -EOPNOTSUPP;
387 :
388 4441635 : ret = remap_verify_area(file_in, pos_in, len, false);
389 4441635 : if (ret)
390 : return ret;
391 :
392 4441633 : ret = remap_verify_area(file_out, pos_out, len, true);
393 4441633 : if (ret)
394 : return ret;
395 :
396 4441631 : ret = file_in->f_op->remap_file_range(file_in, pos_in,
397 : file_out, pos_out, len, remap_flags);
398 4441635 : if (ret < 0)
399 : return ret;
400 :
401 3322763 : fsnotify_access(file_in);
402 3322761 : fsnotify_modify(file_out);
403 3322761 : return ret;
404 : }
405 : EXPORT_SYMBOL(do_clone_file_range);
406 :
407 4441763 : 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 4441763 : loff_t ret;
412 :
413 4441763 : file_start_write(file_out);
414 4441745 : ret = do_clone_file_range(file_in, pos_in, file_out, pos_out, len,
415 : remap_flags);
416 4441747 : file_end_write(file_out);
417 :
418 4441744 : return ret;
419 : }
420 : EXPORT_SYMBOL(vfs_clone_file_range);
421 :
422 : /* Check whether we are allowed to dedupe the destination file */
423 218064432 : static bool allow_file_dedupe(struct file *file)
424 : {
425 218064432 : struct mnt_idmap *idmap = file_mnt_idmap(file);
426 218064956 : struct inode *inode = file_inode(file);
427 :
428 218064956 : if (capable(CAP_SYS_ADMIN))
429 : return true;
430 59721 : 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 218058141 : 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 218058141 : loff_t ret;
444 :
445 218058141 : WARN_ON_ONCE(remap_flags & ~(REMAP_FILE_DEDUP |
446 : REMAP_FILE_CAN_SHORTEN));
447 :
448 218058141 : ret = mnt_want_write_file(dst_file);
449 218065512 : 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 218065512 : ret = remap_verify_area(src_file, src_pos, len, false);
457 218065512 : if (ret)
458 0 : goto out_drop_write;
459 :
460 218065512 : ret = remap_verify_area(dst_file, dst_pos, len, true);
461 218065512 : if (ret)
462 0 : goto out_drop_write;
463 :
464 218065512 : ret = -EPERM;
465 218065512 : if (!allow_file_dedupe(dst_file))
466 0 : goto out_drop_write;
467 :
468 218064760 : ret = -EXDEV;
469 218064760 : if (file_inode(src_file)->i_sb != file_inode(dst_file)->i_sb)
470 2 : goto out_drop_write;
471 :
472 218064758 : ret = -EISDIR;
473 218064758 : if (S_ISDIR(file_inode(dst_file)->i_mode))
474 0 : goto out_drop_write;
475 :
476 218064758 : ret = -EINVAL;
477 218064758 : if (!dst_file->f_op->remap_file_range)
478 4 : goto out_drop_write;
479 :
480 218064754 : if (len == 0) {
481 28215574 : ret = 0;
482 28215574 : goto out_drop_write;
483 : }
484 :
485 189849180 : ret = dst_file->f_op->remap_file_range(src_file, src_pos, dst_file,
486 : dst_pos, len, remap_flags | REMAP_FILE_DEDUP);
487 218065097 : out_drop_write:
488 218065097 : mnt_drop_write_file(dst_file);
489 :
490 218065097 : return ret;
491 : }
492 : EXPORT_SYMBOL(vfs_dedupe_file_range_one);
493 :
494 4261422 : int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
495 : {
496 4261422 : struct file_dedupe_range_info *info;
497 4261422 : struct inode *src = file_inode(file);
498 4261422 : u64 off;
499 4261422 : u64 len;
500 4261422 : int i;
501 4261422 : int ret;
502 4261422 : u16 count = same->dest_count;
503 4261422 : loff_t deduped;
504 :
505 4261422 : if (!(file->f_mode & FMODE_READ))
506 : return -EINVAL;
507 :
508 4261422 : if (same->reserved1 || same->reserved2)
509 : return -EINVAL;
510 :
511 4261422 : off = same->src_offset;
512 4261422 : len = same->src_length;
513 :
514 4261422 : if (S_ISDIR(src->i_mode))
515 : return -EISDIR;
516 :
517 4261420 : if (!S_ISREG(src->i_mode))
518 : return -EINVAL;
519 :
520 4261418 : if (!file->f_op->remap_file_range)
521 : return -EOPNOTSUPP;
522 :
523 4261336 : ret = remap_verify_area(file, off, len, false);
524 4261330 : if (ret < 0)
525 : return ret;
526 4261330 : ret = 0;
527 :
528 4261330 : if (off + len > i_size_read(src))
529 : return -EINVAL;
530 :
531 : /* Arbitrary 1G limit on a single dedupe request, can be raised. */
532 4261326 : len = min_t(u64, len, 1 << 30);
533 :
534 : /* pre-format output fields to sane values */
535 222338381 : for (i = 0; i < count; i++) {
536 218077055 : same->info[i].bytes_deduped = 0ULL;
537 218077055 : same->info[i].status = FILE_DEDUPE_RANGE_SAME;
538 : }
539 :
540 222326254 : for (i = 0, info = same->info; i < count; i++, info++) {
541 218065139 : struct fd dst_fd = fdget(info->dest_fd);
542 218055136 : struct file *dst_file = dst_fd.file;
543 :
544 218055136 : if (!dst_file) {
545 0 : info->status = -EBADF;
546 0 : goto next_loop;
547 : }
548 :
549 218055136 : if (info->reserved) {
550 0 : info->status = -EINVAL;
551 0 : goto next_fdput;
552 : }
553 :
554 218055136 : deduped = vfs_dedupe_file_range_one(file, off, dst_file,
555 218055136 : info->dest_offset, len,
556 : REMAP_FILE_CAN_SHORTEN);
557 218066730 : if (deduped == -EBADE)
558 9941895 : info->status = FILE_DEDUPE_RANGE_DIFFERS;
559 208124835 : else if (deduped < 0)
560 77817359 : info->status = deduped;
561 : else
562 130307476 : info->bytes_deduped = len;
563 :
564 218066730 : next_fdput:
565 218066730 : fdput(dst_fd);
566 218066730 : next_loop:
567 218066730 : if (fatal_signal_pending(current))
568 : break;
569 : }
570 : return ret;
571 : }
572 : EXPORT_SYMBOL(vfs_dedupe_file_range);
|
