blob: 5bbf587f5bc135485d21331039a8085f1e0500f7 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * linux/fs/read_write.c
4 *
5 * Copyright (C) 1991, 1992 Linus Torvalds
6 */
7
Ingo Molnarb12fb7f2017-02-08 18:51:33 +01008#include <linux/slab.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -07009#include <linux/stat.h>
Ingo Molnarb12fb7f2017-02-08 18:51:33 +010010#include <linux/sched/xacct.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070011#include <linux/fcntl.h>
12#include <linux/file.h>
13#include <linux/uio.h>
Robert Love0eeca282005-07-12 17:06:03 -040014#include <linux/fsnotify.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include <linux/security.h>
Paul Gortmaker630d9c42011-11-16 23:57:37 -050016#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <linux/syscalls.h>
Linus Torvaldse28cc712006-01-04 16:20:40 -080018#include <linux/pagemap.h>
Jens Axboed6b29d72007-06-04 09:59:47 +020019#include <linux/splice.h>
Al Viro561c6732013-02-24 10:52:26 -050020#include <linux/compat.h>
Zach Brown29732932015-11-10 16:53:30 -050021#include <linux/mount.h>
Wouter van Kesteren2feb55f2016-02-16 22:20:59 +010022#include <linux/fs.h>
Al Viro06ae43f2013-03-20 13:19:30 -040023#include "internal.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070024
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080025#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070026#include <asm/unistd.h>
27
Arjan van de Ven4b6f5d22006-03-28 01:56:42 -080028const struct file_operations generic_ro_fops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -070029 .llseek = generic_file_llseek,
Al Viroaad4f8b2014-04-02 14:33:16 -040030 .read_iter = generic_file_read_iter,
Linus Torvalds1da177e2005-04-16 15:20:36 -070031 .mmap = generic_file_readonly_mmap,
Jens Axboe534f2aa2007-06-01 14:52:37 +020032 .splice_read = generic_file_splice_read,
Linus Torvalds1da177e2005-04-16 15:20:36 -070033};
34
35EXPORT_SYMBOL(generic_ro_fops);
36
Christoph Hellwigddef7ed22017-07-06 18:58:37 +020037static inline bool unsigned_offsets(struct file *file)
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070038{
Al Virocccb5a12010-12-17 07:44:05 -050039 return file->f_mode & FMODE_UNSIGNED_OFFSET;
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070040}
41
Jie Liu46a1c2c2013-06-25 12:02:13 +080042/**
43 * vfs_setpos - update the file offset for lseek
44 * @file: file structure in question
45 * @offset: file offset to seek to
46 * @maxsize: maximum file size
47 *
48 * This is a low-level filesystem helper for updating the file offset to
49 * the value specified by @offset if the given offset is valid and it is
50 * not equal to the current file offset.
51 *
52 * Return the specified offset on success and -EINVAL on invalid offset.
53 */
54loff_t vfs_setpos(struct file *file, loff_t offset, loff_t maxsize)
Andi Kleenef3d0fd2011-09-15 16:06:48 -070055{
56 if (offset < 0 && !unsigned_offsets(file))
57 return -EINVAL;
58 if (offset > maxsize)
59 return -EINVAL;
60
61 if (offset != file->f_pos) {
62 file->f_pos = offset;
63 file->f_version = 0;
64 }
65 return offset;
66}
Jie Liu46a1c2c2013-06-25 12:02:13 +080067EXPORT_SYMBOL(vfs_setpos);
Andi Kleenef3d0fd2011-09-15 16:06:48 -070068
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020069/**
Andi Kleen57604952011-09-15 16:06:50 -070070 * generic_file_llseek_size - generic llseek implementation for regular files
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020071 * @file: file structure to seek on
72 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -080073 * @whence: type of seek
Eric Sandeene8b96eb2012-04-30 13:11:29 -050074 * @size: max size of this file in file system
75 * @eof: offset used for SEEK_END position
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020076 *
Andi Kleen57604952011-09-15 16:06:50 -070077 * This is a variant of generic_file_llseek that allows passing in a custom
Eric Sandeene8b96eb2012-04-30 13:11:29 -050078 * maximum file size and a custom EOF position, for e.g. hashed directories
Andi Kleenef3d0fd2011-09-15 16:06:48 -070079 *
80 * Synchronization:
Andi Kleen57604952011-09-15 16:06:50 -070081 * SEEK_SET and SEEK_END are unsynchronized (but atomic on 64bit platforms)
Andi Kleenef3d0fd2011-09-15 16:06:48 -070082 * SEEK_CUR is synchronized against other SEEK_CURs, but not read/writes.
83 * read/writes behave like SEEK_SET against seeks.
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020084 */
Andi Kleen9465efc2008-06-27 11:05:24 +020085loff_t
Andrew Morton965c8e52012-12-17 15:59:39 -080086generic_file_llseek_size(struct file *file, loff_t offset, int whence,
Eric Sandeene8b96eb2012-04-30 13:11:29 -050087 loff_t maxsize, loff_t eof)
Linus Torvalds1da177e2005-04-16 15:20:36 -070088{
Andrew Morton965c8e52012-12-17 15:59:39 -080089 switch (whence) {
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020090 case SEEK_END:
Eric Sandeene8b96eb2012-04-30 13:11:29 -050091 offset += eof;
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020092 break;
93 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -080094 /*
95 * Here we special-case the lseek(fd, 0, SEEK_CUR)
96 * position-querying operation. Avoid rewriting the "same"
97 * f_pos value back to the file because a concurrent read(),
98 * write() or lseek() might have altered it
99 */
100 if (offset == 0)
101 return file->f_pos;
Andi Kleenef3d0fd2011-09-15 16:06:48 -0700102 /*
103 * f_lock protects against read/modify/write race with other
104 * SEEK_CURs. Note that parallel writes and reads behave
105 * like SEEK_SET.
106 */
107 spin_lock(&file->f_lock);
Jie Liu46a1c2c2013-06-25 12:02:13 +0800108 offset = vfs_setpos(file, file->f_pos + offset, maxsize);
Andi Kleenef3d0fd2011-09-15 16:06:48 -0700109 spin_unlock(&file->f_lock);
110 return offset;
Josef Bacik982d8162011-07-18 13:21:35 -0400111 case SEEK_DATA:
112 /*
113 * In the generic case the entire file is data, so as long as
114 * offset isn't at the end of the file then the offset is data.
115 */
Andreas Gruenbacherfc468202017-09-25 12:23:03 +0200116 if ((unsigned long long)offset >= eof)
Josef Bacik982d8162011-07-18 13:21:35 -0400117 return -ENXIO;
118 break;
119 case SEEK_HOLE:
120 /*
121 * There is a virtual hole at the end of the file, so as long as
122 * offset isn't i_size or larger, return i_size.
123 */
Andreas Gruenbacherfc468202017-09-25 12:23:03 +0200124 if ((unsigned long long)offset >= eof)
Josef Bacik982d8162011-07-18 13:21:35 -0400125 return -ENXIO;
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500126 offset = eof;
Josef Bacik982d8162011-07-18 13:21:35 -0400127 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700128 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200129
Jie Liu46a1c2c2013-06-25 12:02:13 +0800130 return vfs_setpos(file, offset, maxsize);
Andi Kleen57604952011-09-15 16:06:50 -0700131}
132EXPORT_SYMBOL(generic_file_llseek_size);
133
134/**
135 * generic_file_llseek - generic llseek implementation for regular files
136 * @file: file structure to seek on
137 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -0800138 * @whence: type of seek
Andi Kleen57604952011-09-15 16:06:50 -0700139 *
140 * This is a generic implemenation of ->llseek useable for all normal local
141 * filesystems. It just updates the file offset to the value specified by
Ming Lei546ae2d2013-04-29 15:06:07 -0700142 * @offset and @whence.
Andi Kleen57604952011-09-15 16:06:50 -0700143 */
Andrew Morton965c8e52012-12-17 15:59:39 -0800144loff_t generic_file_llseek(struct file *file, loff_t offset, int whence)
Andi Kleen57604952011-09-15 16:06:50 -0700145{
146 struct inode *inode = file->f_mapping->host;
147
Andrew Morton965c8e52012-12-17 15:59:39 -0800148 return generic_file_llseek_size(file, offset, whence,
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500149 inode->i_sb->s_maxbytes,
150 i_size_read(inode));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700151}
Andi Kleen9465efc2008-06-27 11:05:24 +0200152EXPORT_SYMBOL(generic_file_llseek);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700153
jan Blunckae6afc32010-05-26 14:44:48 -0700154/**
Al Viro1bf9d142013-06-16 20:27:42 +0400155 * fixed_size_llseek - llseek implementation for fixed-sized devices
156 * @file: file structure to seek on
157 * @offset: file offset to seek to
158 * @whence: type of seek
159 * @size: size of the file
160 *
161 */
162loff_t fixed_size_llseek(struct file *file, loff_t offset, int whence, loff_t size)
163{
164 switch (whence) {
165 case SEEK_SET: case SEEK_CUR: case SEEK_END:
166 return generic_file_llseek_size(file, offset, whence,
167 size, size);
168 default:
169 return -EINVAL;
170 }
171}
172EXPORT_SYMBOL(fixed_size_llseek);
173
174/**
Al Virob25472f2015-12-05 22:04:48 -0500175 * no_seek_end_llseek - llseek implementation for fixed-sized devices
176 * @file: file structure to seek on
177 * @offset: file offset to seek to
178 * @whence: type of seek
179 *
180 */
181loff_t no_seek_end_llseek(struct file *file, loff_t offset, int whence)
182{
183 switch (whence) {
184 case SEEK_SET: case SEEK_CUR:
185 return generic_file_llseek_size(file, offset, whence,
Wouter van Kesteren2feb55f2016-02-16 22:20:59 +0100186 OFFSET_MAX, 0);
Al Virob25472f2015-12-05 22:04:48 -0500187 default:
188 return -EINVAL;
189 }
190}
191EXPORT_SYMBOL(no_seek_end_llseek);
192
193/**
194 * no_seek_end_llseek_size - llseek implementation for fixed-sized devices
195 * @file: file structure to seek on
196 * @offset: file offset to seek to
197 * @whence: type of seek
198 * @size: maximal offset allowed
199 *
200 */
201loff_t no_seek_end_llseek_size(struct file *file, loff_t offset, int whence, loff_t size)
202{
203 switch (whence) {
204 case SEEK_SET: case SEEK_CUR:
205 return generic_file_llseek_size(file, offset, whence,
206 size, 0);
207 default:
208 return -EINVAL;
209 }
210}
211EXPORT_SYMBOL(no_seek_end_llseek_size);
212
213/**
jan Blunckae6afc32010-05-26 14:44:48 -0700214 * noop_llseek - No Operation Performed llseek implementation
215 * @file: file structure to seek on
216 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -0800217 * @whence: type of seek
jan Blunckae6afc32010-05-26 14:44:48 -0700218 *
219 * This is an implementation of ->llseek useable for the rare special case when
220 * userspace expects the seek to succeed but the (device) file is actually not
221 * able to perform the seek. In this case you use noop_llseek() instead of
222 * falling back to the default implementation of ->llseek.
223 */
Andrew Morton965c8e52012-12-17 15:59:39 -0800224loff_t noop_llseek(struct file *file, loff_t offset, int whence)
jan Blunckae6afc32010-05-26 14:44:48 -0700225{
226 return file->f_pos;
227}
228EXPORT_SYMBOL(noop_llseek);
229
Andrew Morton965c8e52012-12-17 15:59:39 -0800230loff_t no_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700231{
232 return -ESPIPE;
233}
234EXPORT_SYMBOL(no_llseek);
235
Andrew Morton965c8e52012-12-17 15:59:39 -0800236loff_t default_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700237{
Al Viro496ad9a2013-01-23 17:07:38 -0500238 struct inode *inode = file_inode(file);
David Sterba16abef02008-04-22 15:09:22 +0200239 loff_t retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240
Al Viro59551022016-01-22 15:40:57 -0500241 inode_lock(inode);
Andrew Morton965c8e52012-12-17 15:59:39 -0800242 switch (whence) {
Chris Snook7b8e8922007-05-08 00:24:13 -0700243 case SEEK_END:
Josef Bacik982d8162011-07-18 13:21:35 -0400244 offset += i_size_read(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700245 break;
Chris Snook7b8e8922007-05-08 00:24:13 -0700246 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800247 if (offset == 0) {
248 retval = file->f_pos;
249 goto out;
250 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700251 offset += file->f_pos;
Josef Bacik982d8162011-07-18 13:21:35 -0400252 break;
253 case SEEK_DATA:
254 /*
255 * In the generic case the entire file is data, so as
256 * long as offset isn't at the end of the file then the
257 * offset is data.
258 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300259 if (offset >= inode->i_size) {
260 retval = -ENXIO;
261 goto out;
262 }
Josef Bacik982d8162011-07-18 13:21:35 -0400263 break;
264 case SEEK_HOLE:
265 /*
266 * There is a virtual hole at the end of the file, so
267 * as long as offset isn't i_size or larger, return
268 * i_size.
269 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300270 if (offset >= inode->i_size) {
271 retval = -ENXIO;
272 goto out;
273 }
Josef Bacik982d8162011-07-18 13:21:35 -0400274 offset = inode->i_size;
275 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700276 }
277 retval = -EINVAL;
Al Virocccb5a12010-12-17 07:44:05 -0500278 if (offset >= 0 || unsigned_offsets(file)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700279 if (offset != file->f_pos) {
280 file->f_pos = offset;
281 file->f_version = 0;
282 }
283 retval = offset;
284 }
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800285out:
Al Viro59551022016-01-22 15:40:57 -0500286 inode_unlock(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287 return retval;
288}
289EXPORT_SYMBOL(default_llseek);
290
Andrew Morton965c8e52012-12-17 15:59:39 -0800291loff_t vfs_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700292{
293 loff_t (*fn)(struct file *, loff_t, int);
294
295 fn = no_llseek;
296 if (file->f_mode & FMODE_LSEEK) {
Al Viro72c2d532013-09-22 16:27:52 -0400297 if (file->f_op->llseek)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700298 fn = file->f_op->llseek;
299 }
Andrew Morton965c8e52012-12-17 15:59:39 -0800300 return fn(file, offset, whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700301}
302EXPORT_SYMBOL(vfs_llseek);
303
Dominik Brodowski76847e42018-03-13 21:51:17 +0100304off_t ksys_lseek(unsigned int fd, off_t offset, unsigned int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700305{
306 off_t retval;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800307 struct fd f = fdget_pos(fd);
Al Viro2903ff02012-08-28 12:52:22 -0400308 if (!f.file)
309 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700310
311 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800312 if (whence <= SEEK_MAX) {
313 loff_t res = vfs_llseek(f.file, offset, whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700314 retval = res;
315 if (res != (loff_t)retval)
316 retval = -EOVERFLOW; /* LFS: should only happen on 32 bit platforms */
317 }
Linus Torvalds9c225f22014-03-03 09:36:58 -0800318 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700319 return retval;
320}
321
Dominik Brodowski76847e42018-03-13 21:51:17 +0100322SYSCALL_DEFINE3(lseek, unsigned int, fd, off_t, offset, unsigned int, whence)
323{
324 return ksys_lseek(fd, offset, whence);
325}
326
Al Viro561c6732013-02-24 10:52:26 -0500327#ifdef CONFIG_COMPAT
328COMPAT_SYSCALL_DEFINE3(lseek, unsigned int, fd, compat_off_t, offset, unsigned int, whence)
329{
Dominik Brodowski76847e42018-03-13 21:51:17 +0100330 return ksys_lseek(fd, offset, whence);
Al Viro561c6732013-02-24 10:52:26 -0500331}
332#endif
333
Arnd Bergmanncaf6f9c2018-04-13 12:57:26 +0200334#if !defined(CONFIG_64BIT) || defined(CONFIG_COMPAT)
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100335SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
336 unsigned long, offset_low, loff_t __user *, result,
Andrew Morton965c8e52012-12-17 15:59:39 -0800337 unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700338{
339 int retval;
Eric Biggersd7a15f82014-03-16 14:24:08 -0500340 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700341 loff_t offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700342
Al Viro2903ff02012-08-28 12:52:22 -0400343 if (!f.file)
344 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700345
346 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800347 if (whence > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700348 goto out_putf;
349
Al Viro2903ff02012-08-28 12:52:22 -0400350 offset = vfs_llseek(f.file, ((loff_t) offset_high << 32) | offset_low,
Andrew Morton965c8e52012-12-17 15:59:39 -0800351 whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700352
353 retval = (int)offset;
354 if (offset >= 0) {
355 retval = -EFAULT;
356 if (!copy_to_user(result, &offset, sizeof(offset)))
357 retval = 0;
358 }
359out_putf:
Eric Biggersd7a15f82014-03-16 14:24:08 -0500360 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700361 return retval;
362}
363#endif
364
Al Viro68d70d02013-06-19 15:26:04 +0400365int rw_verify_area(int read_write, struct file *file, const loff_t *ppos, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700366{
367 struct inode *inode;
James Morrisc43e2592008-01-12 22:05:48 +1100368 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700369
Al Viro496ad9a2013-01-23 17:07:38 -0500370 inode = file_inode(file);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800371 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100372 return retval;
Kirill Smelkov438ab722019-04-12 12:31:57 +0300373
374 /*
375 * ranged mandatory locking does not apply to streams - it makes sense
376 * only for files where position has a meaning.
377 */
378 if (ppos) {
379 loff_t pos = *ppos;
380
381 if (unlikely(pos < 0)) {
382 if (!unsigned_offsets(file))
383 return retval;
384 if (count >= -pos) /* both values are in 0..LLONG_MAX */
385 return -EOVERFLOW;
386 } else if (unlikely((loff_t) (pos + count) < 0)) {
387 if (!unsigned_offsets(file))
388 return retval;
389 }
390
391 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
392 retval = locks_mandatory_area(inode, file, pos, pos + count - 1,
393 read_write == READ ? F_RDLCK : F_WRLCK);
394 if (retval < 0)
395 return retval;
396 }
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700397 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700398
Al Virobc613842016-03-31 21:48:20 -0400399 return security_file_permission(file,
James Morrisc43e2592008-01-12 22:05:48 +1100400 read_write == READ ? MAY_READ : MAY_WRITE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700401}
402
Al Viro5d5d5682015-04-03 15:41:18 -0400403static ssize_t new_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500404{
405 struct iovec iov = { .iov_base = buf, .iov_len = len };
406 struct kiocb kiocb;
407 struct iov_iter iter;
408 ssize_t ret;
409
410 init_sync_kiocb(&kiocb, filp);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300411 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500412 iov_iter_init(&iter, READ, &iov, 1, len);
413
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100414 ret = call_read_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100415 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300416 if (ppos)
417 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500418 return ret;
419}
420
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200421ssize_t __vfs_read(struct file *file, char __user *buf, size_t count,
422 loff_t *pos)
423{
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200424 if (file->f_op->read)
Al Viro3d04c8a2015-04-03 15:09:18 -0400425 return file->f_op->read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200426 else if (file->f_op->read_iter)
Al Viro3d04c8a2015-04-03 15:09:18 -0400427 return new_sync_read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200428 else
Al Viro3d04c8a2015-04-03 15:09:18 -0400429 return -EINVAL;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200430}
431
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200432ssize_t kernel_read(struct file *file, void *buf, size_t count, loff_t *pos)
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200433{
434 mm_segment_t old_fs;
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200435 ssize_t result;
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200436
437 old_fs = get_fs();
Linus Torvalds736706b2019-03-04 10:39:05 -0800438 set_fs(KERNEL_DS);
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200439 /* The cast to a user pointer is valid due to the set_fs() */
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200440 result = vfs_read(file, (void __user *)buf, count, pos);
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200441 set_fs(old_fs);
442 return result;
443}
444EXPORT_SYMBOL(kernel_read);
Al Viro293bc982014-02-11 18:37:41 -0500445
Linus Torvalds1da177e2005-04-16 15:20:36 -0700446ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
447{
448 ssize_t ret;
449
450 if (!(file->f_mode & FMODE_READ))
451 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500452 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700453 return -EINVAL;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800454 if (unlikely(!access_ok(buf, count)))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700455 return -EFAULT;
456
457 ret = rw_verify_area(READ, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400458 if (!ret) {
459 if (count > MAX_RW_COUNT)
460 count = MAX_RW_COUNT;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200461 ret = __vfs_read(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100462 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500463 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100464 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700465 }
James Morrisc43e2592008-01-12 22:05:48 +1100466 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700467 }
468
469 return ret;
470}
471
Al Viro5d5d5682015-04-03 15:41:18 -0400472static ssize_t new_sync_write(struct file *filp, const char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500473{
474 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
475 struct kiocb kiocb;
476 struct iov_iter iter;
477 ssize_t ret;
478
479 init_sync_kiocb(&kiocb, filp);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300480 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500481 iov_iter_init(&iter, WRITE, &iov, 1, len);
482
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100483 ret = call_write_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100484 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300485 if (ret > 0 && ppos)
Al Virof765b132015-04-06 20:50:38 -0400486 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500487 return ret;
488}
489
Geert Uytterhoeven12e1e7a2019-02-20 13:50:59 +0100490static ssize_t __vfs_write(struct file *file, const char __user *p,
491 size_t count, loff_t *pos)
Al Viro493c84c2015-04-03 15:06:43 -0400492{
493 if (file->f_op->write)
494 return file->f_op->write(file, p, count, pos);
Al Viro493c84c2015-04-03 15:06:43 -0400495 else if (file->f_op->write_iter)
496 return new_sync_write(file, p, count, pos);
497 else
498 return -EINVAL;
499}
Al Viro493c84c2015-04-03 15:06:43 -0400500
Christoph Hellwig73e18f72017-09-01 17:39:15 +0200501ssize_t __kernel_write(struct file *file, const void *buf, size_t count, loff_t *pos)
Al Viro06ae43f2013-03-20 13:19:30 -0400502{
503 mm_segment_t old_fs;
504 const char __user *p;
505 ssize_t ret;
506
Al Viro7f7f25e2014-02-11 17:49:24 -0500507 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000508 return -EINVAL;
509
Al Viro06ae43f2013-03-20 13:19:30 -0400510 old_fs = get_fs();
Linus Torvalds736706b2019-03-04 10:39:05 -0800511 set_fs(KERNEL_DS);
Al Viro06ae43f2013-03-20 13:19:30 -0400512 p = (__force const char __user *)buf;
513 if (count > MAX_RW_COUNT)
514 count = MAX_RW_COUNT;
Al Viro493c84c2015-04-03 15:06:43 -0400515 ret = __vfs_write(file, p, count, pos);
Al Viro06ae43f2013-03-20 13:19:30 -0400516 set_fs(old_fs);
517 if (ret > 0) {
518 fsnotify_modify(file);
519 add_wchar(current, ret);
520 }
521 inc_syscw(current);
522 return ret;
523}
Al Viro2ec3a122014-08-19 11:48:09 -0400524EXPORT_SYMBOL(__kernel_write);
525
Christoph Hellwige13ec932017-09-01 17:39:14 +0200526ssize_t kernel_write(struct file *file, const void *buf, size_t count,
527 loff_t *pos)
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200528{
529 mm_segment_t old_fs;
530 ssize_t res;
531
532 old_fs = get_fs();
Linus Torvalds736706b2019-03-04 10:39:05 -0800533 set_fs(KERNEL_DS);
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200534 /* The cast to a user pointer is valid due to the set_fs() */
Christoph Hellwige13ec932017-09-01 17:39:14 +0200535 res = vfs_write(file, (__force const char __user *)buf, count, pos);
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200536 set_fs(old_fs);
537
538 return res;
539}
540EXPORT_SYMBOL(kernel_write);
541
Linus Torvalds1da177e2005-04-16 15:20:36 -0700542ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
543{
544 ssize_t ret;
545
546 if (!(file->f_mode & FMODE_WRITE))
547 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500548 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700549 return -EINVAL;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800550 if (unlikely(!access_ok(buf, count)))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700551 return -EFAULT;
552
553 ret = rw_verify_area(WRITE, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400554 if (!ret) {
555 if (count > MAX_RW_COUNT)
556 count = MAX_RW_COUNT;
Al Viro03d95eb2013-03-20 13:04:20 -0400557 file_start_write(file);
Al Viro493c84c2015-04-03 15:06:43 -0400558 ret = __vfs_write(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100559 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500560 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100561 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700562 }
James Morrisc43e2592008-01-12 22:05:48 +1100563 inc_syscw(current);
Al Viro03d95eb2013-03-20 13:04:20 -0400564 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700565 }
566
567 return ret;
568}
569
Kirill Smelkov438ab722019-04-12 12:31:57 +0300570/* file_ppos returns &file->f_pos or NULL if file is stream */
571static inline loff_t *file_ppos(struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700572{
Kirill Smelkov438ab722019-04-12 12:31:57 +0300573 return file->f_mode & FMODE_STREAM ? NULL : &file->f_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700574}
575
Dominik Brodowski3ce4a7b2018-03-13 21:56:26 +0100576ssize_t ksys_read(unsigned int fd, char __user *buf, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700577{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800578 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700580
Al Viro2903ff02012-08-28 12:52:22 -0400581 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300582 loff_t pos, *ppos = file_ppos(f.file);
583 if (ppos) {
584 pos = *ppos;
585 ppos = &pos;
586 }
587 ret = vfs_read(f.file, buf, count, ppos);
588 if (ret >= 0 && ppos)
589 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800590 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700591 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700592 return ret;
593}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700594
Dominik Brodowski3ce4a7b2018-03-13 21:56:26 +0100595SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
596{
597 return ksys_read(fd, buf, count);
598}
599
Dominik Brodowskie7a3e8b2018-03-11 11:34:41 +0100600ssize_t ksys_write(unsigned int fd, const char __user *buf, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700601{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800602 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700603 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700604
Al Viro2903ff02012-08-28 12:52:22 -0400605 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300606 loff_t pos, *ppos = file_ppos(f.file);
607 if (ppos) {
608 pos = *ppos;
609 ppos = &pos;
610 }
611 ret = vfs_write(f.file, buf, count, ppos);
612 if (ret >= 0 && ppos)
613 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800614 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700615 }
616
617 return ret;
618}
619
Dominik Brodowskie7a3e8b2018-03-11 11:34:41 +0100620SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
621 size_t, count)
622{
623 return ksys_write(fd, buf, count);
624}
625
Dominik Brodowski36028d52018-03-19 17:38:31 +0100626ssize_t ksys_pread64(unsigned int fd, char __user *buf, size_t count,
627 loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700628{
Al Viro2903ff02012-08-28 12:52:22 -0400629 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700630 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700631
632 if (pos < 0)
633 return -EINVAL;
634
Al Viro2903ff02012-08-28 12:52:22 -0400635 f = fdget(fd);
636 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700637 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400638 if (f.file->f_mode & FMODE_PREAD)
639 ret = vfs_read(f.file, buf, count, &pos);
640 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700641 }
642
643 return ret;
644}
645
Dominik Brodowski36028d52018-03-19 17:38:31 +0100646SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
647 size_t, count, loff_t, pos)
648{
649 return ksys_pread64(fd, buf, count, pos);
650}
651
652ssize_t ksys_pwrite64(unsigned int fd, const char __user *buf,
653 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700654{
Al Viro2903ff02012-08-28 12:52:22 -0400655 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700656 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700657
658 if (pos < 0)
659 return -EINVAL;
660
Al Viro2903ff02012-08-28 12:52:22 -0400661 f = fdget(fd);
662 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700663 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400664 if (f.file->f_mode & FMODE_PWRITE)
665 ret = vfs_write(f.file, buf, count, &pos);
666 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700667 }
668
669 return ret;
670}
671
Dominik Brodowski36028d52018-03-19 17:38:31 +0100672SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
673 size_t, count, loff_t, pos)
674{
675 return ksys_pwrite64(fd, buf, count, pos);
676}
677
Al Viroac15ac02015-03-20 20:10:21 -0400678static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200679 loff_t *ppos, int type, rwf_t flags)
Al Viro293bc982014-02-11 18:37:41 -0500680{
681 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500682 ssize_t ret;
683
684 init_sync_kiocb(&kiocb, filp);
Goldwyn Rodriguesfdd2f5b2017-06-20 07:05:40 -0500685 ret = kiocb_set_rw_flags(&kiocb, flags);
686 if (ret)
687 return ret;
Kirill Smelkov438ab722019-04-12 12:31:57 +0300688 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500689
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100690 if (type == READ)
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100691 ret = call_read_iter(filp, &kiocb, iter);
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100692 else
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100693 ret = call_write_iter(filp, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100694 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300695 if (ppos)
696 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500697 return ret;
698}
699
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700700/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400701static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200702 loff_t *ppos, int type, rwf_t flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700703{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700704 ssize_t ret = 0;
705
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100706 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100707 return -EOPNOTSUPP;
708
Al Viroac15ac02015-03-20 20:10:21 -0400709 while (iov_iter_count(iter)) {
710 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700711 ssize_t nr;
712
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100713 if (type == READ) {
714 nr = filp->f_op->read(filp, iovec.iov_base,
715 iovec.iov_len, ppos);
716 } else {
717 nr = filp->f_op->write(filp, iovec.iov_base,
718 iovec.iov_len, ppos);
719 }
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700720
721 if (nr < 0) {
722 if (!ret)
723 ret = nr;
724 break;
725 }
726 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400727 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700728 break;
Al Viroac15ac02015-03-20 20:10:21 -0400729 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700730 }
731
732 return ret;
733}
734
Vegard Nossumffecee42016-10-08 11:18:07 +0200735/**
736 * rw_copy_check_uvector() - Copy an array of &struct iovec from userspace
737 * into the kernel and check that it is valid.
738 *
739 * @type: One of %CHECK_IOVEC_ONLY, %READ, or %WRITE.
740 * @uvector: Pointer to the userspace array.
741 * @nr_segs: Number of elements in userspace array.
742 * @fast_segs: Number of elements in @fast_pointer.
743 * @fast_pointer: Pointer to (usually small on-stack) kernel array.
744 * @ret_pointer: (output parameter) Pointer to a variable that will point to
745 * either @fast_pointer, a newly allocated kernel array, or NULL,
746 * depending on which array was used.
747 *
748 * This function copies an array of &struct iovec of @nr_segs from
749 * userspace into the kernel and checks that each element is valid (e.g.
750 * it does not point to a kernel address or cause overflow by being too
751 * large, etc.).
752 *
753 * As an optimization, the caller may provide a pointer to a small
754 * on-stack array in @fast_pointer, typically %UIO_FASTIOV elements long
755 * (the size of this array, or 0 if unused, should be given in @fast_segs).
756 *
757 * @ret_pointer will always point to the array that was used, so the
758 * caller must take care not to call kfree() on it e.g. in case the
759 * @fast_pointer array was used and it was allocated on the stack.
760 *
761 * Return: The total number of bytes covered by the iovec array on success
762 * or a negative error code on error.
763 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700764ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
765 unsigned long nr_segs, unsigned long fast_segs,
766 struct iovec *fast_pointer,
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700767 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700768{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700769 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700770 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700771 struct iovec *iov = fast_pointer;
772
Linus Torvalds435f49a2010-10-29 10:36:49 -0700773 /*
774 * SuS says "The readv() function *may* fail if the iovcnt argument
775 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
776 * traditionally returned zero for zero segments, so...
777 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700778 if (nr_segs == 0) {
779 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700780 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700781 }
782
Linus Torvalds435f49a2010-10-29 10:36:49 -0700783 /*
784 * First get the "struct iovec" from user memory and
785 * verify all the pointers
786 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700787 if (nr_segs > UIO_MAXIOV) {
788 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700789 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700790 }
791 if (nr_segs > fast_segs) {
Kees Cook6da2ec52018-06-12 13:55:00 -0700792 iov = kmalloc_array(nr_segs, sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700793 if (iov == NULL) {
794 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700795 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700796 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700797 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700798 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
799 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700800 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700801 }
802
Linus Torvalds435f49a2010-10-29 10:36:49 -0700803 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700804 * According to the Single Unix Specification we should return EINVAL
805 * if an element length is < 0 when cast to ssize_t or if the
806 * total length would overflow the ssize_t return value of the
807 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700808 *
809 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
810 * overflow case.
811 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700812 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700813 for (seg = 0; seg < nr_segs; seg++) {
814 void __user *buf = iov[seg].iov_base;
815 ssize_t len = (ssize_t)iov[seg].iov_len;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700816
817 /* see if we we're about to use an invalid len or if
818 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700819 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700820 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700821 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700822 }
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700823 if (type >= 0
Linus Torvalds96d4f262019-01-03 18:57:57 -0800824 && unlikely(!access_ok(buf, len))) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700825 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700826 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700827 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700828 if (len > MAX_RW_COUNT - ret) {
829 len = MAX_RW_COUNT - ret;
830 iov[seg].iov_len = len;
831 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700832 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700833 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700834out:
835 *ret_pointer = iov;
836 return ret;
837}
838
Al Virof5029852017-04-08 18:18:48 -0400839#ifdef CONFIG_COMPAT
840ssize_t compat_rw_copy_check_uvector(int type,
841 const struct compat_iovec __user *uvector, unsigned long nr_segs,
842 unsigned long fast_segs, struct iovec *fast_pointer,
843 struct iovec **ret_pointer)
844{
845 compat_ssize_t tot_len;
846 struct iovec *iov = *ret_pointer = fast_pointer;
847 ssize_t ret = 0;
848 int seg;
849
850 /*
851 * SuS says "The readv() function *may* fail if the iovcnt argument
852 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
853 * traditionally returned zero for zero segments, so...
854 */
855 if (nr_segs == 0)
856 goto out;
857
858 ret = -EINVAL;
859 if (nr_segs > UIO_MAXIOV)
860 goto out;
861 if (nr_segs > fast_segs) {
862 ret = -ENOMEM;
Kees Cook6da2ec52018-06-12 13:55:00 -0700863 iov = kmalloc_array(nr_segs, sizeof(struct iovec), GFP_KERNEL);
Al Virof5029852017-04-08 18:18:48 -0400864 if (iov == NULL)
865 goto out;
866 }
867 *ret_pointer = iov;
868
869 ret = -EFAULT;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800870 if (!access_ok(uvector, nr_segs*sizeof(*uvector)))
Al Virof5029852017-04-08 18:18:48 -0400871 goto out;
872
873 /*
874 * Single unix specification:
875 * We should -EINVAL if an element length is not >= 0 and fitting an
876 * ssize_t.
877 *
878 * In Linux, the total length is limited to MAX_RW_COUNT, there is
879 * no overflow possibility.
880 */
881 tot_len = 0;
882 ret = -EINVAL;
883 for (seg = 0; seg < nr_segs; seg++) {
884 compat_uptr_t buf;
885 compat_ssize_t len;
886
887 if (__get_user(len, &uvector->iov_len) ||
888 __get_user(buf, &uvector->iov_base)) {
889 ret = -EFAULT;
890 goto out;
891 }
892 if (len < 0) /* size_t not fitting in compat_ssize_t .. */
893 goto out;
894 if (type >= 0 &&
Linus Torvalds96d4f262019-01-03 18:57:57 -0800895 !access_ok(compat_ptr(buf), len)) {
Al Virof5029852017-04-08 18:18:48 -0400896 ret = -EFAULT;
897 goto out;
898 }
899 if (len > MAX_RW_COUNT - tot_len)
900 len = MAX_RW_COUNT - tot_len;
901 tot_len += len;
902 iov->iov_base = compat_ptr(buf);
903 iov->iov_len = (compat_size_t) len;
904 uvector++;
905 iov++;
906 }
907 ret = tot_len;
908
909out:
910 return ret;
911}
912#endif
913
Christoph Hellwig19c73582017-05-27 11:16:48 +0300914static ssize_t do_iter_read(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200915 loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700916{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700917 size_t tot_len;
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100918 ssize_t ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700919
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300920 if (!(file->f_mode & FMODE_READ))
921 return -EBADF;
922 if (!(file->f_mode & FMODE_CAN_READ))
923 return -EINVAL;
924
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100925 tot_len = iov_iter_count(iter);
Al Viro0504c072015-03-21 19:40:11 -0400926 if (!tot_len)
927 goto out;
Christoph Hellwig19c73582017-05-27 11:16:48 +0300928 ret = rw_verify_area(READ, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800929 if (ret < 0)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300930 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700931
Christoph Hellwig19c73582017-05-27 11:16:48 +0300932 if (file->f_op->read_iter)
933 ret = do_iter_readv_writev(file, iter, pos, READ, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700934 else
Christoph Hellwig19c73582017-05-27 11:16:48 +0300935 ret = do_loop_readv_writev(file, iter, pos, READ, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700936out:
Christoph Hellwig19c73582017-05-27 11:16:48 +0300937 if (ret >= 0)
938 fsnotify_access(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700939 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700940}
941
Christoph Hellwig18e97102017-05-27 11:16:51 +0300942ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200943 rwf_t flags)
Christoph Hellwig18e97102017-05-27 11:16:51 +0300944{
945 if (!file->f_op->read_iter)
946 return -EINVAL;
947 return do_iter_read(file, iter, ppos, flags);
948}
949EXPORT_SYMBOL(vfs_iter_read);
950
Christoph Hellwig19c73582017-05-27 11:16:48 +0300951static ssize_t do_iter_write(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200952 loff_t *pos, rwf_t flags)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300953{
954 size_t tot_len;
955 ssize_t ret = 0;
956
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300957 if (!(file->f_mode & FMODE_WRITE))
958 return -EBADF;
959 if (!(file->f_mode & FMODE_CAN_WRITE))
960 return -EINVAL;
961
Christoph Hellwig19c73582017-05-27 11:16:48 +0300962 tot_len = iov_iter_count(iter);
963 if (!tot_len)
964 return 0;
965 ret = rw_verify_area(WRITE, file, pos, tot_len);
966 if (ret < 0)
967 return ret;
968
Christoph Hellwig19c73582017-05-27 11:16:48 +0300969 if (file->f_op->write_iter)
970 ret = do_iter_readv_writev(file, iter, pos, WRITE, flags);
971 else
972 ret = do_loop_readv_writev(file, iter, pos, WRITE, flags);
Christoph Hellwig19c73582017-05-27 11:16:48 +0300973 if (ret > 0)
974 fsnotify_modify(file);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700975 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700976}
977
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300978ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200979 rwf_t flags)
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300980{
981 if (!file->f_op->write_iter)
982 return -EINVAL;
983 return do_iter_write(file, iter, ppos, flags);
984}
985EXPORT_SYMBOL(vfs_iter_write);
986
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300987ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200988 unsigned long vlen, loff_t *pos, rwf_t flags)
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100989{
990 struct iovec iovstack[UIO_FASTIOV];
991 struct iovec *iov = iovstack;
992 struct iov_iter iter;
993 ssize_t ret;
994
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300995 ret = import_iovec(READ, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300996 if (ret >= 0) {
997 ret = do_iter_read(file, &iter, pos, flags);
998 kfree(iov);
999 }
Miklos Szeredi7687a7a2017-02-20 16:51:23 +01001000
1001 return ret;
1002}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001003
Christoph Hellwig9725d4c2017-09-01 17:39:25 +02001004static ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001005 unsigned long vlen, loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001006{
Christoph Hellwig251b42a2017-05-27 11:16:46 +03001007 struct iovec iovstack[UIO_FASTIOV];
1008 struct iovec *iov = iovstack;
1009 struct iov_iter iter;
1010 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001011
Christoph Hellwig251b42a2017-05-27 11:16:46 +03001012 ret = import_iovec(WRITE, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001013 if (ret >= 0) {
Al Viro62473a22017-07-06 09:15:47 -04001014 file_start_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001015 ret = do_iter_write(file, &iter, pos, flags);
Al Viro62473a22017-07-06 09:15:47 -04001016 file_end_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001017 kfree(iov);
1018 }
Christoph Hellwig251b42a2017-05-27 11:16:46 +03001019 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001020}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001021
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001022static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001023 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001024{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001025 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001026 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001027
Al Viro2903ff02012-08-28 12:52:22 -04001028 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +03001029 loff_t pos, *ppos = file_ppos(f.file);
1030 if (ppos) {
1031 pos = *ppos;
1032 ppos = &pos;
1033 }
1034 ret = vfs_readv(f.file, vec, vlen, ppos, flags);
1035 if (ret >= 0 && ppos)
1036 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001037 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001038 }
1039
1040 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001041 add_rchar(current, ret);
1042 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001043 return ret;
1044}
1045
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001046static ssize_t do_writev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001047 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001048{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001049 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001050 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001051
Al Viro2903ff02012-08-28 12:52:22 -04001052 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +03001053 loff_t pos, *ppos = file_ppos(f.file);
1054 if (ppos) {
1055 pos = *ppos;
1056 ppos = &pos;
1057 }
1058 ret = vfs_writev(f.file, vec, vlen, ppos, flags);
1059 if (ret >= 0 && ppos)
1060 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001061 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001062 }
1063
1064 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001065 add_wchar(current, ret);
1066 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001067 return ret;
1068}
1069
Linus Torvalds601cc11d2009-04-03 08:03:22 -07001070static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001071{
Linus Torvalds601cc11d2009-04-03 08:03:22 -07001072#define HALF_LONG_BITS (BITS_PER_LONG / 2)
1073 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
1074}
1075
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001076static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001077 unsigned long vlen, loff_t pos, rwf_t flags)
Linus Torvalds601cc11d2009-04-03 08:03:22 -07001078{
Al Viro2903ff02012-08-28 12:52:22 -04001079 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001080 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001081
1082 if (pos < 0)
1083 return -EINVAL;
1084
Al Viro2903ff02012-08-28 12:52:22 -04001085 f = fdget(fd);
1086 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001087 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001088 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001089 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001090 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001091 }
1092
1093 if (ret > 0)
1094 add_rchar(current, ret);
1095 inc_syscr(current);
1096 return ret;
1097}
1098
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001099static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001100 unsigned long vlen, loff_t pos, rwf_t flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001101{
Al Viro2903ff02012-08-28 12:52:22 -04001102 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001103 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001104
1105 if (pos < 0)
1106 return -EINVAL;
1107
Al Viro2903ff02012-08-28 12:52:22 -04001108 f = fdget(fd);
1109 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001110 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001111 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001112 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001113 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001114 }
1115
1116 if (ret > 0)
1117 add_wchar(current, ret);
1118 inc_syscw(current);
1119 return ret;
1120}
1121
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001122SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
1123 unsigned long, vlen)
1124{
1125 return do_readv(fd, vec, vlen, 0);
1126}
1127
1128SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
1129 unsigned long, vlen)
1130{
1131 return do_writev(fd, vec, vlen, 0);
1132}
1133
1134SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
1135 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1136{
1137 loff_t pos = pos_from_hilo(pos_h, pos_l);
1138
1139 return do_preadv(fd, vec, vlen, pos, 0);
1140}
1141
1142SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1143 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001144 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001145{
1146 loff_t pos = pos_from_hilo(pos_h, pos_l);
1147
1148 if (pos == -1)
1149 return do_readv(fd, vec, vlen, flags);
1150
1151 return do_preadv(fd, vec, vlen, pos, flags);
1152}
1153
1154SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
1155 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1156{
1157 loff_t pos = pos_from_hilo(pos_h, pos_l);
1158
1159 return do_pwritev(fd, vec, vlen, pos, 0);
1160}
1161
1162SYSCALL_DEFINE6(pwritev2, unsigned long, fd, const struct iovec __user *, vec,
1163 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001164 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001165{
1166 loff_t pos = pos_from_hilo(pos_h, pos_l);
1167
1168 if (pos == -1)
1169 return do_writev(fd, vec, vlen, flags);
1170
1171 return do_pwritev(fd, vec, vlen, pos, flags);
1172}
1173
Al Viro72ec3512013-03-20 10:42:10 -04001174#ifdef CONFIG_COMPAT
Al Viro72ec3512013-03-20 10:42:10 -04001175static size_t compat_readv(struct file *file,
1176 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001177 unsigned long vlen, loff_t *pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001178{
1179 struct iovec iovstack[UIO_FASTIOV];
1180 struct iovec *iov = iovstack;
1181 struct iov_iter iter;
1182 ssize_t ret;
1183
Christoph Hellwig26c87fb2017-05-27 11:16:47 +03001184 ret = compat_import_iovec(READ, vec, vlen, UIO_FASTIOV, &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001185 if (ret >= 0) {
1186 ret = do_iter_read(file, &iter, pos, flags);
1187 kfree(iov);
1188 }
Al Viro72ec3512013-03-20 10:42:10 -04001189 if (ret > 0)
1190 add_rchar(current, ret);
1191 inc_syscr(current);
1192 return ret;
1193}
1194
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001195static size_t do_compat_readv(compat_ulong_t fd,
1196 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001197 compat_ulong_t vlen, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001198{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001199 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001200 ssize_t ret;
1201 loff_t pos;
1202
1203 if (!f.file)
1204 return -EBADF;
1205 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001206 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001207 if (ret >= 0)
1208 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001209 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001210 return ret;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001211
Al Viro72ec3512013-03-20 10:42:10 -04001212}
1213
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001214COMPAT_SYSCALL_DEFINE3(readv, compat_ulong_t, fd,
1215 const struct compat_iovec __user *,vec,
1216 compat_ulong_t, vlen)
1217{
1218 return do_compat_readv(fd, vec, vlen, 0);
1219}
1220
1221static long do_compat_preadv64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001222 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001223 unsigned long vlen, loff_t pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001224{
1225 struct fd f;
1226 ssize_t ret;
1227
1228 if (pos < 0)
1229 return -EINVAL;
1230 f = fdget(fd);
1231 if (!f.file)
1232 return -EBADF;
1233 ret = -ESPIPE;
1234 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001235 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001236 fdput(f);
1237 return ret;
1238}
1239
Heiko Carstens378a10f2014-03-05 10:43:51 +01001240#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1241COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
1242 const struct compat_iovec __user *,vec,
1243 unsigned long, vlen, loff_t, pos)
1244{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001245 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001246}
1247#endif
1248
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001249COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001250 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001251 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001252{
1253 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001254
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001255 return do_compat_preadv64(fd, vec, vlen, pos, 0);
1256}
1257
H.J. Lu3ebfd812016-07-14 12:31:53 -07001258#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64V2
1259COMPAT_SYSCALL_DEFINE5(preadv64v2, unsigned long, fd,
1260 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001261 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001262{
Aurelien Jarnocc4b1242018-12-06 20:05:34 +01001263 if (pos == -1)
1264 return do_compat_readv(fd, vec, vlen, flags);
1265
H.J. Lu3ebfd812016-07-14 12:31:53 -07001266 return do_compat_preadv64(fd, vec, vlen, pos, flags);
1267}
1268#endif
1269
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001270COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
1271 const struct compat_iovec __user *,vec,
1272 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001273 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001274{
1275 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1276
1277 if (pos == -1)
1278 return do_compat_readv(fd, vec, vlen, flags);
1279
1280 return do_compat_preadv64(fd, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001281}
1282
1283static size_t compat_writev(struct file *file,
1284 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001285 unsigned long vlen, loff_t *pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001286{
Christoph Hellwig26c87fb2017-05-27 11:16:47 +03001287 struct iovec iovstack[UIO_FASTIOV];
1288 struct iovec *iov = iovstack;
1289 struct iov_iter iter;
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001290 ssize_t ret;
Al Viro72ec3512013-03-20 10:42:10 -04001291
Christoph Hellwig26c87fb2017-05-27 11:16:47 +03001292 ret = compat_import_iovec(WRITE, vec, vlen, UIO_FASTIOV, &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001293 if (ret >= 0) {
Al Viro62473a22017-07-06 09:15:47 -04001294 file_start_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001295 ret = do_iter_write(file, &iter, pos, flags);
Al Viro62473a22017-07-06 09:15:47 -04001296 file_end_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001297 kfree(iov);
1298 }
Al Viro72ec3512013-03-20 10:42:10 -04001299 if (ret > 0)
1300 add_wchar(current, ret);
1301 inc_syscw(current);
1302 return ret;
1303}
1304
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001305static size_t do_compat_writev(compat_ulong_t fd,
1306 const struct compat_iovec __user* vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001307 compat_ulong_t vlen, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001308{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001309 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001310 ssize_t ret;
1311 loff_t pos;
1312
1313 if (!f.file)
1314 return -EBADF;
1315 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001316 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001317 if (ret >= 0)
1318 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001319 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001320 return ret;
1321}
1322
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001323COMPAT_SYSCALL_DEFINE3(writev, compat_ulong_t, fd,
1324 const struct compat_iovec __user *, vec,
1325 compat_ulong_t, vlen)
1326{
1327 return do_compat_writev(fd, vec, vlen, 0);
1328}
1329
1330static long do_compat_pwritev64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001331 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001332 unsigned long vlen, loff_t pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001333{
1334 struct fd f;
1335 ssize_t ret;
1336
1337 if (pos < 0)
1338 return -EINVAL;
1339 f = fdget(fd);
1340 if (!f.file)
1341 return -EBADF;
1342 ret = -ESPIPE;
1343 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001344 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001345 fdput(f);
1346 return ret;
1347}
1348
Heiko Carstens378a10f2014-03-05 10:43:51 +01001349#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1350COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
1351 const struct compat_iovec __user *,vec,
1352 unsigned long, vlen, loff_t, pos)
1353{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001354 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001355}
1356#endif
1357
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001358COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001359 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001360 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001361{
1362 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001363
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001364 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001365}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001366
H.J. Lu3ebfd812016-07-14 12:31:53 -07001367#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64V2
1368COMPAT_SYSCALL_DEFINE5(pwritev64v2, unsigned long, fd,
1369 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001370 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001371{
Aurelien Jarnocc4b1242018-12-06 20:05:34 +01001372 if (pos == -1)
1373 return do_compat_writev(fd, vec, vlen, flags);
1374
H.J. Lu3ebfd812016-07-14 12:31:53 -07001375 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1376}
1377#endif
1378
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001379COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
1380 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001381 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001382{
1383 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1384
1385 if (pos == -1)
1386 return do_compat_writev(fd, vec, vlen, flags);
1387
1388 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1389}
1390
Al Viro72ec3512013-03-20 10:42:10 -04001391#endif
1392
Al Viro19f4fc32013-02-24 02:17:03 -05001393static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1394 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001395{
Al Viro2903ff02012-08-28 12:52:22 -04001396 struct fd in, out;
1397 struct inode *in_inode, *out_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001398 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001399 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001400 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001401 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001402
1403 /*
1404 * Get input file, and verify that it is ok..
1405 */
1406 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001407 in = fdget(in_fd);
1408 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001409 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001410 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001411 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001412 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001413 if (!ppos) {
1414 pos = in.file->f_pos;
1415 } else {
1416 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001417 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001418 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001419 }
1420 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001421 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001422 goto fput_in;
Al Virobc613842016-03-31 21:48:20 -04001423 if (count > MAX_RW_COUNT)
1424 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001425
Linus Torvalds1da177e2005-04-16 15:20:36 -07001426 /*
1427 * Get output file, and verify that it is ok..
1428 */
1429 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001430 out = fdget(out_fd);
1431 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001432 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001433 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001434 goto fput_out;
Al Viro496ad9a2013-01-23 17:07:38 -05001435 in_inode = file_inode(in.file);
1436 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001437 out_pos = out.file->f_pos;
1438 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001439 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001440 goto fput_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001441
Linus Torvalds1da177e2005-04-16 15:20:36 -07001442 if (!max)
1443 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1444
Linus Torvalds1da177e2005-04-16 15:20:36 -07001445 if (unlikely(pos + count > max)) {
1446 retval = -EOVERFLOW;
1447 if (pos >= max)
1448 goto fput_out;
1449 count = max - pos;
1450 }
1451
Jens Axboed96e6e72007-06-11 12:18:52 +02001452 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001453#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001454 /*
1455 * We need to debate whether we can enable this or not. The
1456 * man page documents EAGAIN return for the output at least,
1457 * and the application is arguably buggy if it doesn't expect
1458 * EAGAIN on a non-blocking file descriptor.
1459 */
Al Viro2903ff02012-08-28 12:52:22 -04001460 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001461 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001462#endif
Al Viro50cd2c52013-05-23 20:10:34 -04001463 file_start_write(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001464 retval = do_splice_direct(in.file, &pos, out.file, &out_pos, count, fl);
Al Viro50cd2c52013-05-23 20:10:34 -04001465 file_end_write(out.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001466
1467 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001468 add_rchar(current, retval);
1469 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001470 fsnotify_access(in.file);
1471 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001472 out.file->f_pos = out_pos;
1473 if (ppos)
1474 *ppos = pos;
1475 else
1476 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001477 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001478
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001479 inc_syscr(current);
1480 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001481 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001482 retval = -EOVERFLOW;
1483
1484fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001485 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001486fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001487 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001488out:
1489 return retval;
1490}
1491
Heiko Carstens002c8972009-01-14 14:14:18 +01001492SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001493{
1494 loff_t pos;
1495 off_t off;
1496 ssize_t ret;
1497
1498 if (offset) {
1499 if (unlikely(get_user(off, offset)))
1500 return -EFAULT;
1501 pos = off;
1502 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1503 if (unlikely(put_user(pos, offset)))
1504 return -EFAULT;
1505 return ret;
1506 }
1507
1508 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1509}
1510
Heiko Carstens002c8972009-01-14 14:14:18 +01001511SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001512{
1513 loff_t pos;
1514 ssize_t ret;
1515
1516 if (offset) {
1517 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1518 return -EFAULT;
1519 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1520 if (unlikely(put_user(pos, offset)))
1521 return -EFAULT;
1522 return ret;
1523 }
1524
1525 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1526}
Al Viro19f4fc32013-02-24 02:17:03 -05001527
1528#ifdef CONFIG_COMPAT
1529COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1530 compat_off_t __user *, offset, compat_size_t, count)
1531{
1532 loff_t pos;
1533 off_t off;
1534 ssize_t ret;
1535
1536 if (offset) {
1537 if (unlikely(get_user(off, offset)))
1538 return -EFAULT;
1539 pos = off;
1540 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1541 if (unlikely(put_user(pos, offset)))
1542 return -EFAULT;
1543 return ret;
1544 }
1545
1546 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1547}
1548
1549COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1550 compat_loff_t __user *, offset, compat_size_t, count)
1551{
1552 loff_t pos;
1553 ssize_t ret;
1554
1555 if (offset) {
1556 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1557 return -EFAULT;
1558 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1559 if (unlikely(put_user(pos, offset)))
1560 return -EFAULT;
1561 return ret;
1562 }
1563
1564 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1565}
1566#endif
Zach Brown29732932015-11-10 16:53:30 -05001567
Dave Chinnerf16acc92019-06-05 08:04:47 -07001568/**
1569 * generic_copy_file_range - copy data between two files
1570 * @file_in: file structure to read from
1571 * @pos_in: file offset to read from
1572 * @file_out: file structure to write data to
1573 * @pos_out: file offset to write data to
1574 * @len: amount of data to copy
1575 * @flags: copy flags
1576 *
1577 * This is a generic filesystem helper to copy data from one file to another.
1578 * It has no constraints on the source or destination file owners - the files
1579 * can belong to different superblocks and different filesystem types. Short
1580 * copies are allowed.
1581 *
1582 * This should be called from the @file_out filesystem, as per the
1583 * ->copy_file_range() method.
1584 *
1585 * Returns the number of bytes copied or a negative error indicating the
1586 * failure.
1587 */
1588
1589ssize_t generic_copy_file_range(struct file *file_in, loff_t pos_in,
1590 struct file *file_out, loff_t pos_out,
1591 size_t len, unsigned int flags)
1592{
1593 return do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1594 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1595}
1596EXPORT_SYMBOL(generic_copy_file_range);
1597
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001598static ssize_t do_copy_file_range(struct file *file_in, loff_t pos_in,
1599 struct file *file_out, loff_t pos_out,
1600 size_t len, unsigned int flags)
1601{
Amir Goldstein5dae2222019-06-05 08:04:50 -07001602 /*
1603 * Although we now allow filesystems to handle cross sb copy, passing
1604 * a file of the wrong filesystem type to filesystem driver can result
1605 * in an attempt to dereference the wrong type of ->private_data, so
1606 * avoid doing that until we really have a good reason. NFS defines
1607 * several different file_system_type structures, but they all end up
1608 * using the same ->copy_file_range() function pointer.
1609 */
1610 if (file_out->f_op->copy_file_range &&
1611 file_out->f_op->copy_file_range == file_in->f_op->copy_file_range)
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001612 return file_out->f_op->copy_file_range(file_in, pos_in,
1613 file_out, pos_out,
1614 len, flags);
1615
1616 return generic_copy_file_range(file_in, pos_in, file_out, pos_out, len,
1617 flags);
1618}
1619
Zach Brown29732932015-11-10 16:53:30 -05001620/*
1621 * copy_file_range() differs from regular file read and write in that it
1622 * specifically allows return partial success. When it does so is up to
1623 * the copy_file_range method.
1624 */
1625ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1626 struct file *file_out, loff_t pos_out,
1627 size_t len, unsigned int flags)
1628{
Zach Brown29732932015-11-10 16:53:30 -05001629 ssize_t ret;
1630
1631 if (flags != 0)
1632 return -EINVAL;
1633
Amir Goldstein96e6e8f2019-06-05 08:04:49 -07001634 ret = generic_copy_file_checks(file_in, pos_in, file_out, pos_out, &len,
1635 flags);
Amir Goldsteina3171352019-06-05 08:04:48 -07001636 if (unlikely(ret))
1637 return ret;
Amir Goldstein11cbfb12017-01-31 10:34:56 +02001638
Zach Brown29732932015-11-10 16:53:30 -05001639 ret = rw_verify_area(READ, file_in, &pos_in, len);
Al Virobc613842016-03-31 21:48:20 -04001640 if (unlikely(ret))
1641 return ret;
1642
1643 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1644 if (unlikely(ret))
Zach Brown29732932015-11-10 16:53:30 -05001645 return ret;
1646
Zach Brown29732932015-11-10 16:53:30 -05001647 if (len == 0)
1648 return 0;
1649
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001650 file_start_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001651
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001652 /*
1653 * Try cloning first, this is supported by more file systems, and
1654 * more efficient if both clone and copy are supported (e.g. NFS).
1655 */
Amir Goldstein5dae2222019-06-05 08:04:50 -07001656 if (file_in->f_op->remap_file_range &&
1657 file_inode(file_in)->i_sb == file_inode(file_out)->i_sb) {
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001658 loff_t cloned;
1659
1660 cloned = file_in->f_op->remap_file_range(file_in, pos_in,
1661 file_out, pos_out,
Darrick J. Wongeca36542018-10-30 10:42:10 +11001662 min_t(loff_t, MAX_RW_COUNT, len),
1663 REMAP_FILE_CAN_SHORTEN);
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001664 if (cloned > 0) {
1665 ret = cloned;
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001666 goto done;
1667 }
1668 }
1669
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001670 ret = do_copy_file_range(file_in, pos_in, file_out, pos_out, len,
1671 flags);
1672 WARN_ON_ONCE(ret == -EOPNOTSUPP);
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001673done:
Zach Brown29732932015-11-10 16:53:30 -05001674 if (ret > 0) {
1675 fsnotify_access(file_in);
1676 add_rchar(current, ret);
1677 fsnotify_modify(file_out);
1678 add_wchar(current, ret);
1679 }
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001680
Zach Brown29732932015-11-10 16:53:30 -05001681 inc_syscr(current);
1682 inc_syscw(current);
1683
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001684 file_end_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001685
1686 return ret;
1687}
1688EXPORT_SYMBOL(vfs_copy_file_range);
1689
1690SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1691 int, fd_out, loff_t __user *, off_out,
1692 size_t, len, unsigned int, flags)
1693{
1694 loff_t pos_in;
1695 loff_t pos_out;
1696 struct fd f_in;
1697 struct fd f_out;
1698 ssize_t ret = -EBADF;
1699
1700 f_in = fdget(fd_in);
1701 if (!f_in.file)
1702 goto out2;
1703
1704 f_out = fdget(fd_out);
1705 if (!f_out.file)
1706 goto out1;
1707
1708 ret = -EFAULT;
1709 if (off_in) {
1710 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1711 goto out;
1712 } else {
1713 pos_in = f_in.file->f_pos;
1714 }
1715
1716 if (off_out) {
1717 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1718 goto out;
1719 } else {
1720 pos_out = f_out.file->f_pos;
1721 }
1722
1723 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1724 flags);
1725 if (ret > 0) {
1726 pos_in += ret;
1727 pos_out += ret;
1728
1729 if (off_in) {
1730 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1731 ret = -EFAULT;
1732 } else {
1733 f_in.file->f_pos = pos_in;
1734 }
1735
1736 if (off_out) {
1737 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1738 ret = -EFAULT;
1739 } else {
1740 f_out.file->f_pos = pos_out;
1741 }
1742 }
1743
1744out:
1745 fdput(f_out);
1746out1:
1747 fdput(f_in);
1748out2:
1749 return ret;
1750}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001751
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001752static int remap_verify_area(struct file *file, loff_t pos, loff_t len,
1753 bool write)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001754{
1755 struct inode *inode = file_inode(file);
1756
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001757 if (unlikely(pos < 0 || len < 0))
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001758 return -EINVAL;
1759
1760 if (unlikely((loff_t) (pos + len) < 0))
1761 return -EINVAL;
1762
1763 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
1764 loff_t end = len ? pos + len - 1 : OFFSET_MAX;
1765 int retval;
1766
1767 retval = locks_mandatory_area(inode, file, pos, end,
1768 write ? F_WRLCK : F_RDLCK);
1769 if (retval < 0)
1770 return retval;
1771 }
1772
1773 return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
1774}
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001775/*
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001776 * Ensure that we don't remap a partial EOF block in the middle of something
1777 * else. Assume that the offsets have already been checked for block
1778 * alignment.
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001779 *
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001780 * For deduplication we always scale down to the previous block because we
1781 * can't meaningfully compare post-EOF contents.
1782 *
1783 * For clone we only link a partial EOF block above the destination file's EOF.
Darrick J. Wongeca36542018-10-30 10:42:10 +11001784 *
1785 * Shorten the request if possible.
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001786 */
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001787static int generic_remap_check_len(struct inode *inode_in,
1788 struct inode *inode_out,
1789 loff_t pos_out,
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001790 loff_t *len,
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11001791 unsigned int remap_flags)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001792{
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001793 u64 blkmask = i_blocksize(inode_in) - 1;
Darrick J. Wongeca36542018-10-30 10:42:10 +11001794 loff_t new_len = *len;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001795
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001796 if ((*len & blkmask) == 0)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001797 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001798
Darrick J. Wongeca36542018-10-30 10:42:10 +11001799 if ((remap_flags & REMAP_FILE_DEDUP) ||
1800 pos_out + *len < i_size_read(inode_out))
1801 new_len &= ~blkmask;
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001802
Darrick J. Wongeca36542018-10-30 10:42:10 +11001803 if (new_len == *len)
1804 return 0;
1805
1806 if (remap_flags & REMAP_FILE_CAN_SHORTEN) {
1807 *len = new_len;
1808 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001809 }
1810
Darrick J. Wongeca36542018-10-30 10:42:10 +11001811 return (remap_flags & REMAP_FILE_DEDUP) ? -EBADE : -EINVAL;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001812}
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001813
Darrick J. Wongedc58dd2019-08-11 15:52:25 -07001814/* Read a page's worth of file data into the page cache. */
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001815static struct page *vfs_dedupe_get_page(struct inode *inode, loff_t offset)
1816{
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001817 struct page *page;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001818
Darrick J. Wongc32e5f32018-10-30 10:42:17 +11001819 page = read_mapping_page(inode->i_mapping, offset >> PAGE_SHIFT, NULL);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001820 if (IS_ERR(page))
1821 return page;
1822 if (!PageUptodate(page)) {
1823 put_page(page);
1824 return ERR_PTR(-EIO);
1825 }
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001826 return page;
1827}
1828
1829/*
Darrick J. Wongedc58dd2019-08-11 15:52:25 -07001830 * Lock two pages, ensuring that we lock in offset order if the pages are from
1831 * the same file.
1832 */
1833static void vfs_lock_two_pages(struct page *page1, struct page *page2)
1834{
1835 /* Always lock in order of increasing index. */
1836 if (page1->index > page2->index)
1837 swap(page1, page2);
1838
1839 lock_page(page1);
1840 if (page1 != page2)
1841 lock_page(page2);
1842}
1843
1844/* Unlock two pages, being careful not to unlock the same page twice. */
1845static void vfs_unlock_two_pages(struct page *page1, struct page *page2)
1846{
1847 unlock_page(page1);
1848 if (page1 != page2)
1849 unlock_page(page2);
1850}
1851
1852/*
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001853 * Compare extents of two files to see if they are the same.
1854 * Caller must have locked both inodes to prevent write races.
1855 */
Darrick J. Wongc32e5f32018-10-30 10:42:17 +11001856static int vfs_dedupe_file_range_compare(struct inode *src, loff_t srcoff,
1857 struct inode *dest, loff_t destoff,
1858 loff_t len, bool *is_same)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001859{
1860 loff_t src_poff;
1861 loff_t dest_poff;
1862 void *src_addr;
1863 void *dest_addr;
1864 struct page *src_page;
1865 struct page *dest_page;
1866 loff_t cmp_len;
1867 bool same;
1868 int error;
1869
1870 error = -EINVAL;
1871 same = true;
1872 while (len) {
1873 src_poff = srcoff & (PAGE_SIZE - 1);
1874 dest_poff = destoff & (PAGE_SIZE - 1);
1875 cmp_len = min(PAGE_SIZE - src_poff,
1876 PAGE_SIZE - dest_poff);
1877 cmp_len = min(cmp_len, len);
1878 if (cmp_len <= 0)
1879 goto out_error;
1880
1881 src_page = vfs_dedupe_get_page(src, srcoff);
1882 if (IS_ERR(src_page)) {
1883 error = PTR_ERR(src_page);
1884 goto out_error;
1885 }
1886 dest_page = vfs_dedupe_get_page(dest, destoff);
1887 if (IS_ERR(dest_page)) {
1888 error = PTR_ERR(dest_page);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001889 put_page(src_page);
1890 goto out_error;
1891 }
Darrick J. Wongedc58dd2019-08-11 15:52:25 -07001892
1893 vfs_lock_two_pages(src_page, dest_page);
1894
1895 /*
1896 * Now that we've locked both pages, make sure they're still
1897 * mapped to the file data we're interested in. If not,
1898 * someone is invalidating pages on us and we lose.
1899 */
1900 if (!PageUptodate(src_page) || !PageUptodate(dest_page) ||
1901 src_page->mapping != src->i_mapping ||
1902 dest_page->mapping != dest->i_mapping) {
1903 same = false;
1904 goto unlock;
1905 }
1906
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001907 src_addr = kmap_atomic(src_page);
1908 dest_addr = kmap_atomic(dest_page);
1909
1910 flush_dcache_page(src_page);
1911 flush_dcache_page(dest_page);
1912
1913 if (memcmp(src_addr + src_poff, dest_addr + dest_poff, cmp_len))
1914 same = false;
1915
1916 kunmap_atomic(dest_addr);
1917 kunmap_atomic(src_addr);
Darrick J. Wongedc58dd2019-08-11 15:52:25 -07001918unlock:
1919 vfs_unlock_two_pages(src_page, dest_page);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001920 put_page(dest_page);
1921 put_page(src_page);
1922
1923 if (!same)
1924 break;
1925
1926 srcoff += cmp_len;
1927 destoff += cmp_len;
1928 len -= cmp_len;
1929 }
1930
1931 *is_same = same;
1932 return 0;
1933
1934out_error:
1935 return error;
1936}
Darrick J. Wongc32e5f32018-10-30 10:42:17 +11001937
1938/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001939 * Check that the two inodes are eligible for cloning, the ranges make
1940 * sense, and then flush all dirty data. Caller must ensure that the
1941 * inodes have been locked against any other modifications.
1942 *
Darrick J. Wong8c5c8362018-10-30 10:42:24 +11001943 * If there's an error, then the usual negative error code is returned.
1944 * Otherwise returns 0 with *len set to the request length.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001945 */
Darrick J. Wonga83ab012018-10-30 10:41:08 +11001946int generic_remap_file_range_prep(struct file *file_in, loff_t pos_in,
1947 struct file *file_out, loff_t pos_out,
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001948 loff_t *len, unsigned int remap_flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001949{
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001950 struct inode *inode_in = file_inode(file_in);
1951 struct inode *inode_out = file_inode(file_out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001952 bool same_inode = (inode_in == inode_out);
1953 int ret;
1954
1955 /* Don't touch certain kinds of inodes */
1956 if (IS_IMMUTABLE(inode_out))
1957 return -EPERM;
1958
1959 if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
1960 return -ETXTBSY;
1961
1962 /* Don't reflink dirs, pipes, sockets... */
1963 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1964 return -EISDIR;
1965 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1966 return -EINVAL;
1967
Linus Torvalds1da177e2005-04-16 15:20:36 -07001968 /* Zero length dedupe exits immediately; reflink goes to EOF. */
1969 if (*len == 0) {
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001970 loff_t isize = i_size_read(inode_in);
1971
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11001972 if ((remap_flags & REMAP_FILE_DEDUP) || pos_in == isize)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001973 return 0;
1974 if (pos_in > isize)
1975 return -EINVAL;
1976 *len = isize - pos_in;
Darrick J. Wong2c5773f2018-10-30 10:40:39 +11001977 if (*len == 0)
1978 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001979 }
1980
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001981 /* Check that we don't violate system file offset limits. */
1982 ret = generic_remap_checks(file_in, pos_in, file_out, pos_out, len,
Darrick J. Wong3d281932018-10-30 10:41:34 +11001983 remap_flags);
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001984 if (ret)
1985 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001986
1987 /* Wait for the completion of any pending IOs on both files */
1988 inode_dio_wait(inode_in);
1989 if (!same_inode)
1990 inode_dio_wait(inode_out);
1991
1992 ret = filemap_write_and_wait_range(inode_in->i_mapping,
1993 pos_in, pos_in + *len - 1);
1994 if (ret)
1995 return ret;
1996
1997 ret = filemap_write_and_wait_range(inode_out->i_mapping,
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001998 pos_out, pos_out + *len - 1);
1999 if (ret)
2000 return ret;
2001
2002 /*
2003 * Check that the extents are the same.
2004 */
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11002005 if (remap_flags & REMAP_FILE_DEDUP) {
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002006 bool is_same = false;
2007
2008 ret = vfs_dedupe_file_range_compare(inode_in, pos_in,
2009 inode_out, pos_out, *len, &is_same);
2010 if (ret)
2011 return ret;
2012 if (!is_same)
2013 return -EBADE;
2014 }
2015
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11002016 ret = generic_remap_check_len(inode_in, inode_out, pos_out, len,
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11002017 remap_flags);
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11002018 if (ret)
2019 return ret;
2020
Darrick J. Wong8dde90b2018-10-30 10:41:41 +11002021 /* If can't alter the file contents, we're done. */
Amir Goldsteine38f7f52019-06-05 08:04:49 -07002022 if (!(remap_flags & REMAP_FILE_DEDUP))
2023 ret = file_modified(file_out);
Darrick J. Wong8dde90b2018-10-30 10:41:41 +11002024
Amir Goldsteine38f7f52019-06-05 08:04:49 -07002025 return ret;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002026}
Darrick J. Wonga83ab012018-10-30 10:41:08 +11002027EXPORT_SYMBOL(generic_remap_file_range_prep);
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002028
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002029loff_t do_clone_file_range(struct file *file_in, loff_t pos_in,
Darrick J. Wong452ce652018-10-30 10:41:56 +11002030 struct file *file_out, loff_t pos_out,
2031 loff_t len, unsigned int remap_flags)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002032{
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002033 loff_t ret;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002034
Darrick J. Wong67445572018-11-30 12:32:38 -08002035 WARN_ON_ONCE(remap_flags & REMAP_FILE_DEDUP);
Darrick J. Wong452ce652018-10-30 10:41:56 +11002036
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002037 /*
2038 * FICLONE/FICLONERANGE ioctls enforce that src and dest files are on
2039 * the same mount. Practically, they only need to be on the same file
2040 * system.
Darrick J. Wongd79bdd52015-12-19 00:55:52 -08002041 */
Amir Goldsteina3171352019-06-05 08:04:48 -07002042 if (file_inode(file_in)->i_sb != file_inode(file_out)->i_sb)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002043 return -EXDEV;
2044
Amir Goldsteina3171352019-06-05 08:04:48 -07002045 ret = generic_file_rw_checks(file_in, file_out);
2046 if (ret < 0)
2047 return ret;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002048
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11002049 if (!file_in->f_op->remap_file_range)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002050 return -EOPNOTSUPP;
2051
Darrick J. Wong60950282018-10-30 10:41:14 +11002052 ret = remap_verify_area(file_in, pos_in, len, false);
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002053 if (ret)
2054 return ret;
2055
Darrick J. Wong60950282018-10-30 10:41:14 +11002056 ret = remap_verify_area(file_out, pos_out, len, true);
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002057 if (ret)
2058 return ret;
2059
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11002060 ret = file_in->f_op->remap_file_range(file_in, pos_in,
Darrick J. Wong452ce652018-10-30 10:41:56 +11002061 file_out, pos_out, len, remap_flags);
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002062 if (ret < 0)
2063 return ret;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002064
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002065 fsnotify_access(file_in);
2066 fsnotify_modify(file_out);
Christoph Hellwig04b38d62015-12-03 12:59:50 +01002067 return ret;
2068}
2069EXPORT_SYMBOL(do_clone_file_range);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002070
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002071loff_t vfs_clone_file_range(struct file *file_in, loff_t pos_in,
Darrick J. Wong452ce652018-10-30 10:41:56 +11002072 struct file *file_out, loff_t pos_out,
2073 loff_t len, unsigned int remap_flags)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08002074{
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002075 loff_t ret;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08002076
2077 file_start_write(file_out);
Darrick J. Wong452ce652018-10-30 10:41:56 +11002078 ret = do_clone_file_range(file_in, pos_in, file_out, pos_out, len,
2079 remap_flags);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08002080 file_end_write(file_out);
2081
2082 return ret;
2083}
2084EXPORT_SYMBOL(vfs_clone_file_range);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08002085
Mark Fasheh5de44802018-09-10 16:21:17 -07002086/* Check whether we are allowed to dedupe the destination file */
2087static bool allow_file_dedupe(struct file *file)
2088{
2089 if (capable(CAP_SYS_ADMIN))
2090 return true;
2091 if (file->f_mode & FMODE_WRITE)
2092 return true;
2093 if (uid_eq(current_fsuid(), file_inode(file)->i_uid))
2094 return true;
2095 if (!inode_permission(file_inode(file), MAY_WRITE))
2096 return true;
2097 return false;
2098}
2099
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002100loff_t vfs_dedupe_file_range_one(struct file *src_file, loff_t src_pos,
2101 struct file *dst_file, loff_t dst_pos,
Darrick J. Wongdf365832018-10-30 10:42:03 +11002102 loff_t len, unsigned int remap_flags)
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002103{
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002104 loff_t ret;
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002105
Darrick J. Wongeca36542018-10-30 10:42:10 +11002106 WARN_ON_ONCE(remap_flags & ~(REMAP_FILE_DEDUP |
2107 REMAP_FILE_CAN_SHORTEN));
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002108
2109 ret = mnt_want_write_file(dst_file);
2110 if (ret)
2111 return ret;
2112
Darrick J. Wong60950282018-10-30 10:41:14 +11002113 ret = remap_verify_area(dst_file, dst_pos, len, true);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002114 if (ret < 0)
2115 goto out_drop_write;
2116
Mark Fasheh85c95f22018-09-10 16:21:18 -07002117 ret = -EPERM;
Mark Fasheh5de44802018-09-10 16:21:17 -07002118 if (!allow_file_dedupe(dst_file))
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002119 goto out_drop_write;
2120
2121 ret = -EXDEV;
2122 if (src_file->f_path.mnt != dst_file->f_path.mnt)
2123 goto out_drop_write;
2124
2125 ret = -EISDIR;
2126 if (S_ISDIR(file_inode(dst_file)->i_mode))
2127 goto out_drop_write;
2128
2129 ret = -EINVAL;
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11002130 if (!dst_file->f_op->remap_file_range)
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002131 goto out_drop_write;
2132
Darrick J. Wong9aae2052018-10-30 10:41:01 +11002133 if (len == 0) {
2134 ret = 0;
2135 goto out_drop_write;
2136 }
2137
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11002138 ret = dst_file->f_op->remap_file_range(src_file, src_pos, dst_file,
Darrick J. Wongdf365832018-10-30 10:42:03 +11002139 dst_pos, len, remap_flags | REMAP_FILE_DEDUP);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002140out_drop_write:
2141 mnt_drop_write_file(dst_file);
2142
2143 return ret;
2144}
Miklos Szeredif1825362018-07-18 15:44:40 +02002145EXPORT_SYMBOL(vfs_dedupe_file_range_one);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002146
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002147int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
2148{
2149 struct file_dedupe_range_info *info;
2150 struct inode *src = file_inode(file);
2151 u64 off;
2152 u64 len;
2153 int i;
2154 int ret;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002155 u16 count = same->dest_count;
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002156 loff_t deduped;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002157
2158 if (!(file->f_mode & FMODE_READ))
2159 return -EINVAL;
2160
2161 if (same->reserved1 || same->reserved2)
2162 return -EINVAL;
2163
2164 off = same->src_offset;
2165 len = same->src_length;
2166
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002167 if (S_ISDIR(src->i_mode))
Dave Chinner494633f2018-11-19 13:31:12 -08002168 return -EISDIR;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002169
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002170 if (!S_ISREG(src->i_mode))
Dave Chinner494633f2018-11-19 13:31:12 -08002171 return -EINVAL;
2172
2173 if (!file->f_op->remap_file_range)
2174 return -EOPNOTSUPP;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002175
Darrick J. Wong60950282018-10-30 10:41:14 +11002176 ret = remap_verify_area(file, off, len, false);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002177 if (ret < 0)
Dave Chinner494633f2018-11-19 13:31:12 -08002178 return ret;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002179 ret = 0;
2180
Darrick J. Wong22725ce2016-12-19 15:13:26 -08002181 if (off + len > i_size_read(src))
2182 return -EINVAL;
2183
Miklos Szeredi92b66d22018-07-06 23:57:02 +02002184 /* Arbitrary 1G limit on a single dedupe request, can be raised. */
2185 len = min_t(u64, len, 1 << 30);
2186
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002187 /* pre-format output fields to sane values */
2188 for (i = 0; i < count; i++) {
2189 same->info[i].bytes_deduped = 0ULL;
2190 same->info[i].status = FILE_DEDUPE_RANGE_SAME;
2191 }
2192
2193 for (i = 0, info = same->info; i < count; i++, info++) {
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002194 struct fd dst_fd = fdget(info->dest_fd);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002195 struct file *dst_file = dst_fd.file;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002196
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002197 if (!dst_file) {
2198 info->status = -EBADF;
2199 goto next_loop;
2200 }
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002201
2202 if (info->reserved) {
2203 info->status = -EINVAL;
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002204 goto next_fdput;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002205 }
2206
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002207 deduped = vfs_dedupe_file_range_one(file, off, dst_file,
Darrick J. Wongdf365832018-10-30 10:42:03 +11002208 info->dest_offset, len,
Darrick J. Wongeca36542018-10-30 10:42:10 +11002209 REMAP_FILE_CAN_SHORTEN);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002210 if (deduped == -EBADE)
2211 info->status = FILE_DEDUPE_RANGE_DIFFERS;
2212 else if (deduped < 0)
2213 info->status = deduped;
2214 else
2215 info->bytes_deduped = len;
2216
Zev Weiss22762712018-04-14 01:16:58 -05002217next_fdput:
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002218 fdput(dst_fd);
Zev Weiss22762712018-04-14 01:16:58 -05002219next_loop:
Darrick J. Wonge62e5602016-01-22 16:58:28 -08002220 if (fatal_signal_pending(current))
Dave Chinner494633f2018-11-19 13:31:12 -08002221 break;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002222 }
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002223 return ret;
2224}
2225EXPORT_SYMBOL(vfs_dedupe_file_range);