blob: 5d731929259d768f34531de3c1b534ee279fe6c1 [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
Christoph Hellwigbef17322020-06-06 14:49:58 +0200304static off_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
Michal Suchanek9e62cce2020-03-20 11:20:12 +0100334#if !defined(CONFIG_64BIT) || defined(CONFIG_COMPAT) || \
335 defined(__ARCH_WANT_SYS_LLSEEK)
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100336SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
337 unsigned long, offset_low, loff_t __user *, result,
Andrew Morton965c8e52012-12-17 15:59:39 -0800338 unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700339{
340 int retval;
Eric Biggersd7a15f82014-03-16 14:24:08 -0500341 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700342 loff_t offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700343
Al Viro2903ff02012-08-28 12:52:22 -0400344 if (!f.file)
345 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700346
347 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800348 if (whence > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700349 goto out_putf;
350
Al Viro2903ff02012-08-28 12:52:22 -0400351 offset = vfs_llseek(f.file, ((loff_t) offset_high << 32) | offset_low,
Andrew Morton965c8e52012-12-17 15:59:39 -0800352 whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700353
354 retval = (int)offset;
355 if (offset >= 0) {
356 retval = -EFAULT;
357 if (!copy_to_user(result, &offset, sizeof(offset)))
358 retval = 0;
359 }
360out_putf:
Eric Biggersd7a15f82014-03-16 14:24:08 -0500361 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700362 return retval;
363}
364#endif
365
Al Viro68d70d02013-06-19 15:26:04 +0400366int rw_verify_area(int read_write, struct file *file, const loff_t *ppos, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700367{
368 struct inode *inode;
James Morrisc43e2592008-01-12 22:05:48 +1100369 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700370
Al Viro496ad9a2013-01-23 17:07:38 -0500371 inode = file_inode(file);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800372 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100373 return retval;
Kirill Smelkov438ab722019-04-12 12:31:57 +0300374
375 /*
376 * ranged mandatory locking does not apply to streams - it makes sense
377 * only for files where position has a meaning.
378 */
379 if (ppos) {
380 loff_t pos = *ppos;
381
382 if (unlikely(pos < 0)) {
383 if (!unsigned_offsets(file))
384 return retval;
385 if (count >= -pos) /* both values are in 0..LLONG_MAX */
386 return -EOVERFLOW;
387 } else if (unlikely((loff_t) (pos + count) < 0)) {
388 if (!unsigned_offsets(file))
389 return retval;
390 }
391
392 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
393 retval = locks_mandatory_area(inode, file, pos, pos + count - 1,
394 read_write == READ ? F_RDLCK : F_WRLCK);
395 if (retval < 0)
396 return retval;
397 }
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700398 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700399
Al Virobc613842016-03-31 21:48:20 -0400400 return security_file_permission(file,
James Morrisc43e2592008-01-12 22:05:48 +1100401 read_write == READ ? MAY_READ : MAY_WRITE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700402}
403
Al Viro5d5d5682015-04-03 15:41:18 -0400404static ssize_t new_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500405{
406 struct iovec iov = { .iov_base = buf, .iov_len = len };
407 struct kiocb kiocb;
408 struct iov_iter iter;
409 ssize_t ret;
410
411 init_sync_kiocb(&kiocb, filp);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300412 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500413 iov_iter_init(&iter, READ, &iov, 1, len);
414
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100415 ret = call_read_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100416 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300417 if (ppos)
418 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500419 return ret;
420}
421
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200422static int warn_unsupported(struct file *file, const char *op)
423{
424 pr_warn_ratelimited(
425 "kernel %s not supported for file %pD4 (pid: %d comm: %.20s)\n",
426 op, file, current->pid, current->comm);
427 return -EINVAL;
428}
429
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200430ssize_t __kernel_read(struct file *file, void *buf, size_t count, loff_t *pos)
431{
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200432 struct kvec iov = {
433 .iov_base = buf,
434 .iov_len = min_t(size_t, count, MAX_RW_COUNT),
435 };
436 struct kiocb kiocb;
437 struct iov_iter iter;
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200438 ssize_t ret;
439
440 if (WARN_ON_ONCE(!(file->f_mode & FMODE_READ)))
441 return -EINVAL;
442 if (!(file->f_mode & FMODE_CAN_READ))
443 return -EINVAL;
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200444 /*
445 * Also fail if ->read_iter and ->read are both wired up as that
446 * implies very convoluted semantics.
447 */
448 if (unlikely(!file->f_op->read_iter || file->f_op->read))
449 return warn_unsupported(file, "read");
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200450
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200451 init_sync_kiocb(&kiocb, file);
Greg Kroah-Hartmanaeffda32020-10-27 10:20:17 +0100452 kiocb.ki_pos = *pos;
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200453 iov_iter_kvec(&iter, READ, &iov, 1, iov.iov_len);
454 ret = file->f_op->read_iter(&kiocb, &iter);
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200455 if (ret > 0) {
Greg Kroah-Hartmanaeffda32020-10-27 10:20:17 +0100456 *pos = kiocb.ki_pos;
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200457 fsnotify_access(file);
458 add_rchar(current, ret);
459 }
460 inc_syscr(current);
461 return ret;
462}
463
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200464ssize_t kernel_read(struct file *file, void *buf, size_t count, loff_t *pos)
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200465{
Christoph Hellwig6209dd92020-05-08 09:00:28 +0200466 ssize_t ret;
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200467
Christoph Hellwig6209dd92020-05-08 09:00:28 +0200468 ret = rw_verify_area(READ, file, pos, count);
469 if (ret)
470 return ret;
471 return __kernel_read(file, buf, count, pos);
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200472}
473EXPORT_SYMBOL(kernel_read);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200474
Linus Torvalds1da177e2005-04-16 15:20:36 -0700475ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
476{
477 ssize_t ret;
478
479 if (!(file->f_mode & FMODE_READ))
480 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500481 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700482 return -EINVAL;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800483 if (unlikely(!access_ok(buf, count)))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700484 return -EFAULT;
485
486 ret = rw_verify_area(READ, file, pos, count);
Christoph Hellwig775802c2020-05-08 11:17:46 +0200487 if (ret)
488 return ret;
489 if (count > MAX_RW_COUNT)
490 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700491
Christoph Hellwig775802c2020-05-08 11:17:46 +0200492 if (file->f_op->read)
493 ret = file->f_op->read(file, buf, count, pos);
494 else if (file->f_op->read_iter)
495 ret = new_sync_read(file, buf, count, pos);
496 else
497 ret = -EINVAL;
498 if (ret > 0) {
499 fsnotify_access(file);
500 add_rchar(current, ret);
501 }
502 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700503 return ret;
504}
505
Al Viro5d5d5682015-04-03 15:41:18 -0400506static 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 -0500507{
508 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
509 struct kiocb kiocb;
510 struct iov_iter iter;
511 ssize_t ret;
512
513 init_sync_kiocb(&kiocb, filp);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300514 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500515 iov_iter_init(&iter, WRITE, &iov, 1, len);
516
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100517 ret = call_write_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100518 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300519 if (ret > 0 && ppos)
Al Virof765b132015-04-06 20:50:38 -0400520 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500521 return ret;
522}
523
Christoph Hellwig81238b22020-05-07 19:33:03 +0200524/* caller is responsible for file_start_write/file_end_write */
Christoph Hellwig73e18f72017-09-01 17:39:15 +0200525ssize_t __kernel_write(struct file *file, const void *buf, size_t count, loff_t *pos)
Al Viro06ae43f2013-03-20 13:19:30 -0400526{
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200527 struct kvec iov = {
528 .iov_base = (void *)buf,
529 .iov_len = min_t(size_t, count, MAX_RW_COUNT),
530 };
531 struct kiocb kiocb;
532 struct iov_iter iter;
Al Viro06ae43f2013-03-20 13:19:30 -0400533 ssize_t ret;
534
Christoph Hellwiga01ac272020-05-08 08:55:03 +0200535 if (WARN_ON_ONCE(!(file->f_mode & FMODE_WRITE)))
536 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500537 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000538 return -EINVAL;
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200539 /*
540 * Also fail if ->write_iter and ->write are both wired up as that
541 * implies very convoluted semantics.
542 */
543 if (unlikely(!file->f_op->write_iter || file->f_op->write))
544 return warn_unsupported(file, "write");
Al Viro3e84f482013-03-27 15:20:30 +0000545
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200546 init_sync_kiocb(&kiocb, file);
Greg Kroah-Hartmana3cb2e42020-10-28 15:07:57 +0100547 kiocb.ki_pos = pos ? *pos : 0;
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200548 iov_iter_kvec(&iter, WRITE, &iov, 1, iov.iov_len);
549 ret = file->f_op->write_iter(&kiocb, &iter);
Al Viro06ae43f2013-03-20 13:19:30 -0400550 if (ret > 0) {
Greg Kroah-Hartmana3cb2e42020-10-28 15:07:57 +0100551 if (pos)
552 *pos = kiocb.ki_pos;
Al Viro06ae43f2013-03-20 13:19:30 -0400553 fsnotify_modify(file);
554 add_wchar(current, ret);
555 }
556 inc_syscw(current);
557 return ret;
558}
Linus Torvalds90fb7022020-09-29 17:18:34 -0700559/*
560 * This "EXPORT_SYMBOL_GPL()" is more of a "EXPORT_SYMBOL_DONTUSE()",
561 * but autofs is one of the few internal kernel users that actually
562 * wants this _and_ can be built as a module. So we need to export
563 * this symbol for autofs, even though it really isn't appropriate
564 * for any other kernel modules.
565 */
566EXPORT_SYMBOL_GPL(__kernel_write);
Al Viro2ec3a122014-08-19 11:48:09 -0400567
Christoph Hellwige13ec932017-09-01 17:39:14 +0200568ssize_t kernel_write(struct file *file, const void *buf, size_t count,
569 loff_t *pos)
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200570{
Christoph Hellwig81238b22020-05-07 19:33:03 +0200571 ssize_t ret;
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200572
Christoph Hellwig81238b22020-05-07 19:33:03 +0200573 ret = rw_verify_area(WRITE, file, pos, count);
574 if (ret)
575 return ret;
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200576
Christoph Hellwig81238b22020-05-07 19:33:03 +0200577 file_start_write(file);
578 ret = __kernel_write(file, buf, count, pos);
579 file_end_write(file);
580 return ret;
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200581}
582EXPORT_SYMBOL(kernel_write);
583
Linus Torvalds1da177e2005-04-16 15:20:36 -0700584ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
585{
586 ssize_t ret;
587
588 if (!(file->f_mode & FMODE_WRITE))
589 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500590 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700591 return -EINVAL;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800592 if (unlikely(!access_ok(buf, count)))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700593 return -EFAULT;
594
595 ret = rw_verify_area(WRITE, file, pos, count);
Christoph Hellwig53ad8622020-05-13 08:51:46 +0200596 if (ret)
597 return ret;
598 if (count > MAX_RW_COUNT)
599 count = MAX_RW_COUNT;
600 file_start_write(file);
601 if (file->f_op->write)
602 ret = file->f_op->write(file, buf, count, pos);
603 else if (file->f_op->write_iter)
604 ret = new_sync_write(file, buf, count, pos);
605 else
606 ret = -EINVAL;
607 if (ret > 0) {
608 fsnotify_modify(file);
609 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700610 }
Christoph Hellwig53ad8622020-05-13 08:51:46 +0200611 inc_syscw(current);
612 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700613 return ret;
614}
615
Kirill Smelkov438ab722019-04-12 12:31:57 +0300616/* file_ppos returns &file->f_pos or NULL if file is stream */
617static inline loff_t *file_ppos(struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700618{
Kirill Smelkov438ab722019-04-12 12:31:57 +0300619 return file->f_mode & FMODE_STREAM ? NULL : &file->f_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700620}
621
Dominik Brodowski3ce4a7b2018-03-13 21:56:26 +0100622ssize_t ksys_read(unsigned int fd, char __user *buf, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700623{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800624 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700625 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700626
Al Viro2903ff02012-08-28 12:52:22 -0400627 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300628 loff_t pos, *ppos = file_ppos(f.file);
629 if (ppos) {
630 pos = *ppos;
631 ppos = &pos;
632 }
633 ret = vfs_read(f.file, buf, count, ppos);
634 if (ret >= 0 && ppos)
635 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800636 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700637 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638 return ret;
639}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640
Dominik Brodowski3ce4a7b2018-03-13 21:56:26 +0100641SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
642{
643 return ksys_read(fd, buf, count);
644}
645
Dominik Brodowskie7a3e8b2018-03-11 11:34:41 +0100646ssize_t ksys_write(unsigned int fd, const char __user *buf, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700647{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800648 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700649 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700650
Al Viro2903ff02012-08-28 12:52:22 -0400651 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300652 loff_t pos, *ppos = file_ppos(f.file);
653 if (ppos) {
654 pos = *ppos;
655 ppos = &pos;
656 }
657 ret = vfs_write(f.file, buf, count, ppos);
658 if (ret >= 0 && ppos)
659 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800660 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700661 }
662
663 return ret;
664}
665
Dominik Brodowskie7a3e8b2018-03-11 11:34:41 +0100666SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
667 size_t, count)
668{
669 return ksys_write(fd, buf, count);
670}
671
Dominik Brodowski36028d52018-03-19 17:38:31 +0100672ssize_t ksys_pread64(unsigned int fd, char __user *buf, size_t count,
673 loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700674{
Al Viro2903ff02012-08-28 12:52:22 -0400675 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700676 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700677
678 if (pos < 0)
679 return -EINVAL;
680
Al Viro2903ff02012-08-28 12:52:22 -0400681 f = fdget(fd);
682 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700683 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400684 if (f.file->f_mode & FMODE_PREAD)
685 ret = vfs_read(f.file, buf, count, &pos);
686 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700687 }
688
689 return ret;
690}
691
Dominik Brodowski36028d52018-03-19 17:38:31 +0100692SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
693 size_t, count, loff_t, pos)
694{
695 return ksys_pread64(fd, buf, count, pos);
696}
697
698ssize_t ksys_pwrite64(unsigned int fd, const char __user *buf,
699 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700700{
Al Viro2903ff02012-08-28 12:52:22 -0400701 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700702 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700703
704 if (pos < 0)
705 return -EINVAL;
706
Al Viro2903ff02012-08-28 12:52:22 -0400707 f = fdget(fd);
708 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700709 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400710 if (f.file->f_mode & FMODE_PWRITE)
711 ret = vfs_write(f.file, buf, count, &pos);
712 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700713 }
714
715 return ret;
716}
717
Dominik Brodowski36028d52018-03-19 17:38:31 +0100718SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
719 size_t, count, loff_t, pos)
720{
721 return ksys_pwrite64(fd, buf, count, pos);
722}
723
Al Viroac15ac02015-03-20 20:10:21 -0400724static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200725 loff_t *ppos, int type, rwf_t flags)
Al Viro293bc982014-02-11 18:37:41 -0500726{
727 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500728 ssize_t ret;
729
730 init_sync_kiocb(&kiocb, filp);
Goldwyn Rodriguesfdd2f5b2017-06-20 07:05:40 -0500731 ret = kiocb_set_rw_flags(&kiocb, flags);
732 if (ret)
733 return ret;
Kirill Smelkov438ab722019-04-12 12:31:57 +0300734 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500735
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100736 if (type == READ)
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100737 ret = call_read_iter(filp, &kiocb, iter);
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100738 else
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100739 ret = call_write_iter(filp, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100740 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300741 if (ppos)
742 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500743 return ret;
744}
745
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700746/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400747static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200748 loff_t *ppos, int type, rwf_t flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700749{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700750 ssize_t ret = 0;
751
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100752 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100753 return -EOPNOTSUPP;
754
Al Viroac15ac02015-03-20 20:10:21 -0400755 while (iov_iter_count(iter)) {
756 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700757 ssize_t nr;
758
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100759 if (type == READ) {
760 nr = filp->f_op->read(filp, iovec.iov_base,
761 iovec.iov_len, ppos);
762 } else {
763 nr = filp->f_op->write(filp, iovec.iov_base,
764 iovec.iov_len, ppos);
765 }
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700766
767 if (nr < 0) {
768 if (!ret)
769 ret = nr;
770 break;
771 }
772 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400773 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700774 break;
Al Viroac15ac02015-03-20 20:10:21 -0400775 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700776 }
777
778 return ret;
779}
780
Greg Kroah-Hartman1c9bbee2020-10-23 10:20:59 +0200781/**
782 * rw_copy_check_uvector() - Copy an array of &struct iovec from userspace
783 * into the kernel and check that it is valid.
784 *
785 * @type: One of %CHECK_IOVEC_ONLY, %READ, or %WRITE.
786 * @uvector: Pointer to the userspace array.
787 * @nr_segs: Number of elements in userspace array.
788 * @fast_segs: Number of elements in @fast_pointer.
789 * @fast_pointer: Pointer to (usually small on-stack) kernel array.
790 * @ret_pointer: (output parameter) Pointer to a variable that will point to
791 * either @fast_pointer, a newly allocated kernel array, or NULL,
792 * depending on which array was used.
793 *
794 * This function copies an array of &struct iovec of @nr_segs from
795 * userspace into the kernel and checks that each element is valid (e.g.
796 * it does not point to a kernel address or cause overflow by being too
797 * large, etc.).
798 *
799 * As an optimization, the caller may provide a pointer to a small
800 * on-stack array in @fast_pointer, typically %UIO_FASTIOV elements long
801 * (the size of this array, or 0 if unused, should be given in @fast_segs).
802 *
803 * @ret_pointer will always point to the array that was used, so the
804 * caller must take care not to call kfree() on it e.g. in case the
805 * @fast_pointer array was used and it was allocated on the stack.
806 *
807 * Return: The total number of bytes covered by the iovec array on success
808 * or a negative error code on error.
809 */
810ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
811 unsigned long nr_segs, unsigned long fast_segs,
812 struct iovec *fast_pointer,
813 struct iovec **ret_pointer)
814{
815 unsigned long seg;
816 ssize_t ret;
817 struct iovec *iov = fast_pointer;
818
819 /*
820 * SuS says "The readv() function *may* fail if the iovcnt argument
821 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
822 * traditionally returned zero for zero segments, so...
823 */
824 if (nr_segs == 0) {
825 ret = 0;
826 goto out;
827 }
828
829 /*
830 * First get the "struct iovec" from user memory and
831 * verify all the pointers
832 */
833 if (nr_segs > UIO_MAXIOV) {
834 ret = -EINVAL;
835 goto out;
836 }
837 if (nr_segs > fast_segs) {
838 iov = kmalloc_array(nr_segs, sizeof(struct iovec), GFP_KERNEL);
839 if (iov == NULL) {
840 ret = -ENOMEM;
841 goto out;
842 }
843 }
844 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
845 ret = -EFAULT;
846 goto out;
847 }
848
849 /*
850 * According to the Single Unix Specification we should return EINVAL
851 * if an element length is < 0 when cast to ssize_t or if the
852 * total length would overflow the ssize_t return value of the
853 * system call.
854 *
855 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
856 * overflow case.
857 */
858 ret = 0;
859 for (seg = 0; seg < nr_segs; seg++) {
860 void __user *buf = iov[seg].iov_base;
861 ssize_t len = (ssize_t)iov[seg].iov_len;
862
863 /* see if we we're about to use an invalid len or if
864 * it's about to overflow ssize_t */
865 if (len < 0) {
866 ret = -EINVAL;
867 goto out;
868 }
869 if (type >= 0
870 && unlikely(!access_ok(buf, len))) {
871 ret = -EFAULT;
872 goto out;
873 }
874 if (len > MAX_RW_COUNT - ret) {
875 len = MAX_RW_COUNT - ret;
876 iov[seg].iov_len = len;
877 }
878 ret += len;
879 }
880out:
881 *ret_pointer = iov;
882 return ret;
883}
884
885#ifdef CONFIG_COMPAT
886ssize_t compat_rw_copy_check_uvector(int type,
887 const struct compat_iovec __user *uvector, unsigned long nr_segs,
888 unsigned long fast_segs, struct iovec *fast_pointer,
889 struct iovec **ret_pointer)
890{
891 compat_ssize_t tot_len;
892 struct iovec *iov = *ret_pointer = fast_pointer;
893 ssize_t ret = 0;
894 int seg;
895
896 /*
897 * SuS says "The readv() function *may* fail if the iovcnt argument
898 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
899 * traditionally returned zero for zero segments, so...
900 */
901 if (nr_segs == 0)
902 goto out;
903
904 ret = -EINVAL;
905 if (nr_segs > UIO_MAXIOV)
906 goto out;
907 if (nr_segs > fast_segs) {
908 ret = -ENOMEM;
909 iov = kmalloc_array(nr_segs, sizeof(struct iovec), GFP_KERNEL);
910 if (iov == NULL)
911 goto out;
912 }
913 *ret_pointer = iov;
914
915 ret = -EFAULT;
916 if (!access_ok(uvector, nr_segs*sizeof(*uvector)))
917 goto out;
918
919 /*
920 * Single unix specification:
921 * We should -EINVAL if an element length is not >= 0 and fitting an
922 * ssize_t.
923 *
924 * In Linux, the total length is limited to MAX_RW_COUNT, there is
925 * no overflow possibility.
926 */
927 tot_len = 0;
928 ret = -EINVAL;
929 for (seg = 0; seg < nr_segs; seg++) {
930 compat_uptr_t buf;
931 compat_ssize_t len;
932
933 if (__get_user(len, &uvector->iov_len) ||
934 __get_user(buf, &uvector->iov_base)) {
935 ret = -EFAULT;
936 goto out;
937 }
938 if (len < 0) /* size_t not fitting in compat_ssize_t .. */
939 goto out;
940 if (type >= 0 &&
941 !access_ok(compat_ptr(buf), len)) {
942 ret = -EFAULT;
943 goto out;
944 }
945 if (len > MAX_RW_COUNT - tot_len)
946 len = MAX_RW_COUNT - tot_len;
947 tot_len += len;
948 iov->iov_base = compat_ptr(buf);
949 iov->iov_len = (compat_size_t) len;
950 uvector++;
951 iov++;
952 }
953 ret = tot_len;
954
955out:
956 return ret;
957}
958#endif
959
Christoph Hellwig19c73582017-05-27 11:16:48 +0300960static ssize_t do_iter_read(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200961 loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700962{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700963 size_t tot_len;
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100964 ssize_t ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700965
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300966 if (!(file->f_mode & FMODE_READ))
967 return -EBADF;
968 if (!(file->f_mode & FMODE_CAN_READ))
969 return -EINVAL;
970
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100971 tot_len = iov_iter_count(iter);
Al Viro0504c072015-03-21 19:40:11 -0400972 if (!tot_len)
973 goto out;
Christoph Hellwig19c73582017-05-27 11:16:48 +0300974 ret = rw_verify_area(READ, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800975 if (ret < 0)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300976 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700977
Christoph Hellwig19c73582017-05-27 11:16:48 +0300978 if (file->f_op->read_iter)
979 ret = do_iter_readv_writev(file, iter, pos, READ, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700980 else
Christoph Hellwig19c73582017-05-27 11:16:48 +0300981 ret = do_loop_readv_writev(file, iter, pos, READ, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700982out:
Christoph Hellwig19c73582017-05-27 11:16:48 +0300983 if (ret >= 0)
984 fsnotify_access(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700985 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700986}
987
Jiufei Xue5dcdc432019-11-20 17:45:25 +0800988ssize_t vfs_iocb_iter_read(struct file *file, struct kiocb *iocb,
989 struct iov_iter *iter)
990{
991 size_t tot_len;
992 ssize_t ret = 0;
993
994 if (!file->f_op->read_iter)
995 return -EINVAL;
996 if (!(file->f_mode & FMODE_READ))
997 return -EBADF;
998 if (!(file->f_mode & FMODE_CAN_READ))
999 return -EINVAL;
1000
1001 tot_len = iov_iter_count(iter);
1002 if (!tot_len)
1003 goto out;
1004 ret = rw_verify_area(READ, file, &iocb->ki_pos, tot_len);
1005 if (ret < 0)
1006 return ret;
1007
1008 ret = call_read_iter(file, iocb, iter);
1009out:
1010 if (ret >= 0)
1011 fsnotify_access(file);
1012 return ret;
1013}
1014EXPORT_SYMBOL(vfs_iocb_iter_read);
1015
Christoph Hellwig18e97102017-05-27 11:16:51 +03001016ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001017 rwf_t flags)
Christoph Hellwig18e97102017-05-27 11:16:51 +03001018{
1019 if (!file->f_op->read_iter)
1020 return -EINVAL;
1021 return do_iter_read(file, iter, ppos, flags);
1022}
1023EXPORT_SYMBOL(vfs_iter_read);
1024
Christoph Hellwig19c73582017-05-27 11:16:48 +03001025static ssize_t do_iter_write(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001026 loff_t *pos, rwf_t flags)
Christoph Hellwig19c73582017-05-27 11:16:48 +03001027{
1028 size_t tot_len;
1029 ssize_t ret = 0;
1030
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001031 if (!(file->f_mode & FMODE_WRITE))
1032 return -EBADF;
1033 if (!(file->f_mode & FMODE_CAN_WRITE))
1034 return -EINVAL;
1035
Christoph Hellwig19c73582017-05-27 11:16:48 +03001036 tot_len = iov_iter_count(iter);
1037 if (!tot_len)
1038 return 0;
1039 ret = rw_verify_area(WRITE, file, pos, tot_len);
1040 if (ret < 0)
1041 return ret;
1042
Christoph Hellwig19c73582017-05-27 11:16:48 +03001043 if (file->f_op->write_iter)
1044 ret = do_iter_readv_writev(file, iter, pos, WRITE, flags);
1045 else
1046 ret = do_loop_readv_writev(file, iter, pos, WRITE, flags);
Christoph Hellwig19c73582017-05-27 11:16:48 +03001047 if (ret > 0)
1048 fsnotify_modify(file);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -07001049 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001050}
1051
Jiufei Xue5dcdc432019-11-20 17:45:25 +08001052ssize_t vfs_iocb_iter_write(struct file *file, struct kiocb *iocb,
1053 struct iov_iter *iter)
1054{
1055 size_t tot_len;
1056 ssize_t ret = 0;
1057
1058 if (!file->f_op->write_iter)
1059 return -EINVAL;
1060 if (!(file->f_mode & FMODE_WRITE))
1061 return -EBADF;
1062 if (!(file->f_mode & FMODE_CAN_WRITE))
1063 return -EINVAL;
1064
1065 tot_len = iov_iter_count(iter);
1066 if (!tot_len)
1067 return 0;
1068 ret = rw_verify_area(WRITE, file, &iocb->ki_pos, tot_len);
1069 if (ret < 0)
1070 return ret;
1071
1072 ret = call_write_iter(file, iocb, iter);
1073 if (ret > 0)
1074 fsnotify_modify(file);
1075
1076 return ret;
1077}
1078EXPORT_SYMBOL(vfs_iocb_iter_write);
1079
Christoph Hellwigabbb65892017-05-27 11:16:52 +03001080ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001081 rwf_t flags)
Christoph Hellwigabbb65892017-05-27 11:16:52 +03001082{
1083 if (!file->f_op->write_iter)
1084 return -EINVAL;
1085 return do_iter_write(file, iter, ppos, flags);
1086}
1087EXPORT_SYMBOL(vfs_iter_write);
1088
Greg Kroah-Hartmanfb5c9b82020-10-28 15:06:37 +01001089static ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001090 unsigned long vlen, loff_t *pos, rwf_t flags)
Miklos Szeredi7687a7a2017-02-20 16:51:23 +01001091{
1092 struct iovec iovstack[UIO_FASTIOV];
1093 struct iovec *iov = iovstack;
1094 struct iov_iter iter;
1095 ssize_t ret;
1096
Christoph Hellwig251b42a2017-05-27 11:16:46 +03001097 ret = import_iovec(READ, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001098 if (ret >= 0) {
1099 ret = do_iter_read(file, &iter, pos, flags);
1100 kfree(iov);
1101 }
Miklos Szeredi7687a7a2017-02-20 16:51:23 +01001102
1103 return ret;
1104}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001105
Christoph Hellwig9725d4c2017-09-01 17:39:25 +02001106static ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001107 unsigned long vlen, loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001108{
Christoph Hellwig251b42a2017-05-27 11:16:46 +03001109 struct iovec iovstack[UIO_FASTIOV];
1110 struct iovec *iov = iovstack;
1111 struct iov_iter iter;
1112 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001113
Christoph Hellwig251b42a2017-05-27 11:16:46 +03001114 ret = import_iovec(WRITE, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001115 if (ret >= 0) {
Al Viro62473a22017-07-06 09:15:47 -04001116 file_start_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001117 ret = do_iter_write(file, &iter, pos, flags);
Al Viro62473a22017-07-06 09:15:47 -04001118 file_end_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001119 kfree(iov);
1120 }
Christoph Hellwig251b42a2017-05-27 11:16:46 +03001121 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001122}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001123
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001124static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001125 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001126{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001127 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001128 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001129
Al Viro2903ff02012-08-28 12:52:22 -04001130 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +03001131 loff_t pos, *ppos = file_ppos(f.file);
1132 if (ppos) {
1133 pos = *ppos;
1134 ppos = &pos;
1135 }
1136 ret = vfs_readv(f.file, vec, vlen, ppos, flags);
1137 if (ret >= 0 && ppos)
1138 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001139 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001140 }
1141
1142 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001143 add_rchar(current, ret);
1144 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001145 return ret;
1146}
1147
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001148static ssize_t do_writev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001149 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001150{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001151 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001152 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001153
Al Viro2903ff02012-08-28 12:52:22 -04001154 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +03001155 loff_t pos, *ppos = file_ppos(f.file);
1156 if (ppos) {
1157 pos = *ppos;
1158 ppos = &pos;
1159 }
1160 ret = vfs_writev(f.file, vec, vlen, ppos, flags);
1161 if (ret >= 0 && ppos)
1162 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001163 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001164 }
1165
1166 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001167 add_wchar(current, ret);
1168 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001169 return ret;
1170}
1171
Linus Torvalds601cc11d2009-04-03 08:03:22 -07001172static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001173{
Linus Torvalds601cc11d2009-04-03 08:03:22 -07001174#define HALF_LONG_BITS (BITS_PER_LONG / 2)
1175 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
1176}
1177
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001178static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001179 unsigned long vlen, loff_t pos, rwf_t flags)
Linus Torvalds601cc11d2009-04-03 08:03:22 -07001180{
Al Viro2903ff02012-08-28 12:52:22 -04001181 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001182 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001183
1184 if (pos < 0)
1185 return -EINVAL;
1186
Al Viro2903ff02012-08-28 12:52:22 -04001187 f = fdget(fd);
1188 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001189 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001190 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001191 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001192 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001193 }
1194
1195 if (ret > 0)
1196 add_rchar(current, ret);
1197 inc_syscr(current);
1198 return ret;
1199}
1200
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001201static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001202 unsigned long vlen, loff_t pos, rwf_t flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001203{
Al Viro2903ff02012-08-28 12:52:22 -04001204 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001205 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001206
1207 if (pos < 0)
1208 return -EINVAL;
1209
Al Viro2903ff02012-08-28 12:52:22 -04001210 f = fdget(fd);
1211 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001212 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001213 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001214 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001215 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001216 }
1217
1218 if (ret > 0)
1219 add_wchar(current, ret);
1220 inc_syscw(current);
1221 return ret;
1222}
1223
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001224SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
1225 unsigned long, vlen)
1226{
1227 return do_readv(fd, vec, vlen, 0);
1228}
1229
1230SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
1231 unsigned long, vlen)
1232{
1233 return do_writev(fd, vec, vlen, 0);
1234}
1235
1236SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
1237 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1238{
1239 loff_t pos = pos_from_hilo(pos_h, pos_l);
1240
1241 return do_preadv(fd, vec, vlen, pos, 0);
1242}
1243
1244SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1245 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001246 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001247{
1248 loff_t pos = pos_from_hilo(pos_h, pos_l);
1249
1250 if (pos == -1)
1251 return do_readv(fd, vec, vlen, flags);
1252
1253 return do_preadv(fd, vec, vlen, pos, flags);
1254}
1255
1256SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
1257 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1258{
1259 loff_t pos = pos_from_hilo(pos_h, pos_l);
1260
1261 return do_pwritev(fd, vec, vlen, pos, 0);
1262}
1263
1264SYSCALL_DEFINE6(pwritev2, unsigned long, fd, const struct iovec __user *, vec,
1265 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001266 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001267{
1268 loff_t pos = pos_from_hilo(pos_h, pos_l);
1269
1270 if (pos == -1)
1271 return do_writev(fd, vec, vlen, flags);
1272
1273 return do_pwritev(fd, vec, vlen, pos, flags);
1274}
1275
Al Viro72ec3512013-03-20 10:42:10 -04001276#ifdef CONFIG_COMPAT
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001277static size_t compat_readv(struct file *file,
1278 const struct compat_iovec __user *vec,
1279 unsigned long vlen, loff_t *pos, rwf_t flags)
1280{
1281 struct iovec iovstack[UIO_FASTIOV];
1282 struct iovec *iov = iovstack;
1283 struct iov_iter iter;
1284 ssize_t ret;
1285
Greg Kroah-Hartman83621912020-10-23 10:20:56 +02001286 ret = compat_import_iovec(READ, vec, vlen, UIO_FASTIOV, &iov, &iter);
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001287 if (ret >= 0) {
1288 ret = do_iter_read(file, &iter, pos, flags);
1289 kfree(iov);
1290 }
1291 if (ret > 0)
1292 add_rchar(current, ret);
1293 inc_syscr(current);
1294 return ret;
1295}
1296
1297static size_t do_compat_readv(compat_ulong_t fd,
1298 const struct compat_iovec __user *vec,
1299 compat_ulong_t vlen, rwf_t flags)
1300{
1301 struct fd f = fdget_pos(fd);
1302 ssize_t ret;
1303 loff_t pos;
1304
1305 if (!f.file)
1306 return -EBADF;
1307 pos = f.file->f_pos;
1308 ret = compat_readv(f.file, vec, vlen, &pos, flags);
1309 if (ret >= 0)
1310 f.file->f_pos = pos;
1311 fdput_pos(f);
1312 return ret;
1313
1314}
1315
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001316COMPAT_SYSCALL_DEFINE3(readv, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001317 const struct compat_iovec __user *,vec,
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001318 compat_ulong_t, vlen)
1319{
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001320 return do_compat_readv(fd, vec, vlen, 0);
1321}
1322
1323static long do_compat_preadv64(unsigned long fd,
1324 const struct compat_iovec __user *vec,
1325 unsigned long vlen, loff_t pos, rwf_t flags)
1326{
1327 struct fd f;
1328 ssize_t ret;
1329
1330 if (pos < 0)
1331 return -EINVAL;
1332 f = fdget(fd);
1333 if (!f.file)
1334 return -EBADF;
1335 ret = -ESPIPE;
1336 if (f.file->f_mode & FMODE_PREAD)
1337 ret = compat_readv(f.file, vec, vlen, &pos, flags);
1338 fdput(f);
1339 return ret;
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001340}
1341
Heiko Carstens378a10f2014-03-05 10:43:51 +01001342#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1343COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001344 const struct compat_iovec __user *,vec,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001345 unsigned long, vlen, loff_t, pos)
1346{
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001347 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001348}
1349#endif
1350
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001351COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001352 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001353 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001354{
1355 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001356
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001357 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001358}
1359
H.J. Lu3ebfd812016-07-14 12:31:53 -07001360#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64V2
1361COMPAT_SYSCALL_DEFINE5(preadv64v2, unsigned long, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001362 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001363 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001364{
Aurelien Jarnocc4b1242018-12-06 20:05:34 +01001365 if (pos == -1)
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001366 return do_compat_readv(fd, vec, vlen, flags);
1367
1368 return do_compat_preadv64(fd, vec, vlen, pos, flags);
H.J. Lu3ebfd812016-07-14 12:31:53 -07001369}
1370#endif
1371
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001372COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001373 const struct compat_iovec __user *,vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001374 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001375 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001376{
1377 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1378
1379 if (pos == -1)
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001380 return do_compat_readv(fd, vec, vlen, flags);
1381
1382 return do_compat_preadv64(fd, vec, vlen, pos, flags);
1383}
1384
1385static size_t compat_writev(struct file *file,
1386 const struct compat_iovec __user *vec,
1387 unsigned long vlen, loff_t *pos, rwf_t flags)
1388{
1389 struct iovec iovstack[UIO_FASTIOV];
1390 struct iovec *iov = iovstack;
1391 struct iov_iter iter;
1392 ssize_t ret;
1393
Greg Kroah-Hartman83621912020-10-23 10:20:56 +02001394 ret = compat_import_iovec(WRITE, vec, vlen, UIO_FASTIOV, &iov, &iter);
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001395 if (ret >= 0) {
1396 file_start_write(file);
1397 ret = do_iter_write(file, &iter, pos, flags);
1398 file_end_write(file);
1399 kfree(iov);
1400 }
1401 if (ret > 0)
1402 add_wchar(current, ret);
1403 inc_syscw(current);
1404 return ret;
1405}
1406
1407static size_t do_compat_writev(compat_ulong_t fd,
1408 const struct compat_iovec __user* vec,
1409 compat_ulong_t vlen, rwf_t flags)
1410{
1411 struct fd f = fdget_pos(fd);
1412 ssize_t ret;
1413 loff_t pos;
1414
1415 if (!f.file)
1416 return -EBADF;
1417 pos = f.file->f_pos;
1418 ret = compat_writev(f.file, vec, vlen, &pos, flags);
1419 if (ret >= 0)
1420 f.file->f_pos = pos;
1421 fdput_pos(f);
1422 return ret;
Al Viro72ec3512013-03-20 10:42:10 -04001423}
1424
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001425COMPAT_SYSCALL_DEFINE3(writev, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001426 const struct compat_iovec __user *, vec,
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001427 compat_ulong_t, vlen)
1428{
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001429 return do_compat_writev(fd, vec, vlen, 0);
1430}
1431
1432static long do_compat_pwritev64(unsigned long fd,
1433 const struct compat_iovec __user *vec,
1434 unsigned long vlen, loff_t pos, rwf_t flags)
1435{
1436 struct fd f;
1437 ssize_t ret;
1438
1439 if (pos < 0)
1440 return -EINVAL;
1441 f = fdget(fd);
1442 if (!f.file)
1443 return -EBADF;
1444 ret = -ESPIPE;
1445 if (f.file->f_mode & FMODE_PWRITE)
1446 ret = compat_writev(f.file, vec, vlen, &pos, flags);
1447 fdput(f);
1448 return ret;
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001449}
1450
Heiko Carstens378a10f2014-03-05 10:43:51 +01001451#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1452COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001453 const struct compat_iovec __user *,vec,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001454 unsigned long, vlen, loff_t, pos)
1455{
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001456 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001457}
1458#endif
1459
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001460COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001461 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001462 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001463{
1464 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001465
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001466 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001467}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001468
H.J. Lu3ebfd812016-07-14 12:31:53 -07001469#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64V2
1470COMPAT_SYSCALL_DEFINE5(pwritev64v2, unsigned long, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001471 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001472 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001473{
Aurelien Jarnocc4b1242018-12-06 20:05:34 +01001474 if (pos == -1)
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001475 return do_compat_writev(fd, vec, vlen, flags);
1476
1477 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
H.J. Lu3ebfd812016-07-14 12:31:53 -07001478}
1479#endif
1480
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001481COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001482 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001483 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001484{
1485 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1486
1487 if (pos == -1)
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001488 return do_compat_writev(fd, vec, vlen, flags);
1489
1490 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001491}
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001492
1493#endif
Al Viro72ec3512013-03-20 10:42:10 -04001494
Al Viro19f4fc32013-02-24 02:17:03 -05001495static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1496 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001497{
Al Viro2903ff02012-08-28 12:52:22 -04001498 struct fd in, out;
1499 struct inode *in_inode, *out_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001500 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001501 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001502 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001503 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001504
1505 /*
1506 * Get input file, and verify that it is ok..
1507 */
1508 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001509 in = fdget(in_fd);
1510 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001511 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001512 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001513 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001514 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001515 if (!ppos) {
1516 pos = in.file->f_pos;
1517 } else {
1518 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001519 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001520 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001521 }
1522 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001523 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001524 goto fput_in;
Al Virobc613842016-03-31 21:48:20 -04001525 if (count > MAX_RW_COUNT)
1526 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001527
Linus Torvalds1da177e2005-04-16 15:20:36 -07001528 /*
1529 * Get output file, and verify that it is ok..
1530 */
1531 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001532 out = fdget(out_fd);
1533 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001534 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001535 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001536 goto fput_out;
Al Viro496ad9a2013-01-23 17:07:38 -05001537 in_inode = file_inode(in.file);
1538 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001539 out_pos = out.file->f_pos;
1540 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001541 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001542 goto fput_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001543
Linus Torvalds1da177e2005-04-16 15:20:36 -07001544 if (!max)
1545 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1546
Linus Torvalds1da177e2005-04-16 15:20:36 -07001547 if (unlikely(pos + count > max)) {
1548 retval = -EOVERFLOW;
1549 if (pos >= max)
1550 goto fput_out;
1551 count = max - pos;
1552 }
1553
Jens Axboed96e6e72007-06-11 12:18:52 +02001554 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001555#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001556 /*
1557 * We need to debate whether we can enable this or not. The
1558 * man page documents EAGAIN return for the output at least,
1559 * and the application is arguably buggy if it doesn't expect
1560 * EAGAIN on a non-blocking file descriptor.
1561 */
Al Viro2903ff02012-08-28 12:52:22 -04001562 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001563 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001564#endif
Al Viro50cd2c52013-05-23 20:10:34 -04001565 file_start_write(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001566 retval = do_splice_direct(in.file, &pos, out.file, &out_pos, count, fl);
Al Viro50cd2c52013-05-23 20:10:34 -04001567 file_end_write(out.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001568
1569 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001570 add_rchar(current, retval);
1571 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001572 fsnotify_access(in.file);
1573 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001574 out.file->f_pos = out_pos;
1575 if (ppos)
1576 *ppos = pos;
1577 else
1578 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001579 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001580
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001581 inc_syscr(current);
1582 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001583 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001584 retval = -EOVERFLOW;
1585
1586fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001587 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001588fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001589 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001590out:
1591 return retval;
1592}
1593
Heiko Carstens002c8972009-01-14 14:14:18 +01001594SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001595{
1596 loff_t pos;
1597 off_t off;
1598 ssize_t ret;
1599
1600 if (offset) {
1601 if (unlikely(get_user(off, offset)))
1602 return -EFAULT;
1603 pos = off;
1604 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1605 if (unlikely(put_user(pos, offset)))
1606 return -EFAULT;
1607 return ret;
1608 }
1609
1610 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1611}
1612
Heiko Carstens002c8972009-01-14 14:14:18 +01001613SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001614{
1615 loff_t pos;
1616 ssize_t ret;
1617
1618 if (offset) {
1619 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1620 return -EFAULT;
1621 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1622 if (unlikely(put_user(pos, offset)))
1623 return -EFAULT;
1624 return ret;
1625 }
1626
1627 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1628}
Al Viro19f4fc32013-02-24 02:17:03 -05001629
1630#ifdef CONFIG_COMPAT
1631COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1632 compat_off_t __user *, offset, compat_size_t, count)
1633{
1634 loff_t pos;
1635 off_t off;
1636 ssize_t ret;
1637
1638 if (offset) {
1639 if (unlikely(get_user(off, offset)))
1640 return -EFAULT;
1641 pos = off;
1642 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1643 if (unlikely(put_user(pos, offset)))
1644 return -EFAULT;
1645 return ret;
1646 }
1647
1648 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1649}
1650
1651COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1652 compat_loff_t __user *, offset, compat_size_t, count)
1653{
1654 loff_t pos;
1655 ssize_t ret;
1656
1657 if (offset) {
1658 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1659 return -EFAULT;
1660 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1661 if (unlikely(put_user(pos, offset)))
1662 return -EFAULT;
1663 return ret;
1664 }
1665
1666 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1667}
1668#endif
Zach Brown29732932015-11-10 16:53:30 -05001669
Dave Chinnerf16acc92019-06-05 08:04:47 -07001670/**
1671 * generic_copy_file_range - copy data between two files
1672 * @file_in: file structure to read from
1673 * @pos_in: file offset to read from
1674 * @file_out: file structure to write data to
1675 * @pos_out: file offset to write data to
1676 * @len: amount of data to copy
1677 * @flags: copy flags
1678 *
1679 * This is a generic filesystem helper to copy data from one file to another.
1680 * It has no constraints on the source or destination file owners - the files
1681 * can belong to different superblocks and different filesystem types. Short
1682 * copies are allowed.
1683 *
1684 * This should be called from the @file_out filesystem, as per the
1685 * ->copy_file_range() method.
1686 *
1687 * Returns the number of bytes copied or a negative error indicating the
1688 * failure.
1689 */
1690
1691ssize_t generic_copy_file_range(struct file *file_in, loff_t pos_in,
1692 struct file *file_out, loff_t pos_out,
1693 size_t len, unsigned int flags)
1694{
1695 return do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1696 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1697}
1698EXPORT_SYMBOL(generic_copy_file_range);
1699
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001700static ssize_t do_copy_file_range(struct file *file_in, loff_t pos_in,
1701 struct file *file_out, loff_t pos_out,
1702 size_t len, unsigned int flags)
1703{
Amir Goldstein5dae2222019-06-05 08:04:50 -07001704 /*
1705 * Although we now allow filesystems to handle cross sb copy, passing
1706 * a file of the wrong filesystem type to filesystem driver can result
1707 * in an attempt to dereference the wrong type of ->private_data, so
1708 * avoid doing that until we really have a good reason. NFS defines
1709 * several different file_system_type structures, but they all end up
1710 * using the same ->copy_file_range() function pointer.
1711 */
1712 if (file_out->f_op->copy_file_range &&
1713 file_out->f_op->copy_file_range == file_in->f_op->copy_file_range)
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001714 return file_out->f_op->copy_file_range(file_in, pos_in,
1715 file_out, pos_out,
1716 len, flags);
1717
1718 return generic_copy_file_range(file_in, pos_in, file_out, pos_out, len,
1719 flags);
1720}
1721
Zach Brown29732932015-11-10 16:53:30 -05001722/*
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001723 * Performs necessary checks before doing a file copy
1724 *
1725 * Can adjust amount of bytes to copy via @req_count argument.
1726 * Returns appropriate error code that caller should return or
1727 * zero in case the copy should be allowed.
1728 */
1729static int generic_copy_file_checks(struct file *file_in, loff_t pos_in,
1730 struct file *file_out, loff_t pos_out,
1731 size_t *req_count, unsigned int flags)
1732{
1733 struct inode *inode_in = file_inode(file_in);
1734 struct inode *inode_out = file_inode(file_out);
1735 uint64_t count = *req_count;
1736 loff_t size_in;
1737 int ret;
1738
1739 ret = generic_file_rw_checks(file_in, file_out);
1740 if (ret)
1741 return ret;
1742
1743 /* Don't touch certain kinds of inodes */
1744 if (IS_IMMUTABLE(inode_out))
1745 return -EPERM;
1746
1747 if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
1748 return -ETXTBSY;
1749
1750 /* Ensure offsets don't wrap. */
1751 if (pos_in + count < pos_in || pos_out + count < pos_out)
1752 return -EOVERFLOW;
1753
1754 /* Shorten the copy to EOF */
1755 size_in = i_size_read(inode_in);
1756 if (pos_in >= size_in)
1757 count = 0;
1758 else
1759 count = min(count, size_in - (uint64_t)pos_in);
1760
1761 ret = generic_write_check_limits(file_out, pos_out, &count);
1762 if (ret)
1763 return ret;
1764
1765 /* Don't allow overlapped copying within the same file. */
1766 if (inode_in == inode_out &&
1767 pos_out + count > pos_in &&
1768 pos_out < pos_in + count)
1769 return -EINVAL;
1770
1771 *req_count = count;
1772 return 0;
1773}
1774
1775/*
Zach Brown29732932015-11-10 16:53:30 -05001776 * copy_file_range() differs from regular file read and write in that it
1777 * specifically allows return partial success. When it does so is up to
1778 * the copy_file_range method.
1779 */
1780ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1781 struct file *file_out, loff_t pos_out,
1782 size_t len, unsigned int flags)
1783{
Zach Brown29732932015-11-10 16:53:30 -05001784 ssize_t ret;
1785
1786 if (flags != 0)
1787 return -EINVAL;
1788
Amir Goldstein96e6e8f2019-06-05 08:04:49 -07001789 ret = generic_copy_file_checks(file_in, pos_in, file_out, pos_out, &len,
1790 flags);
Amir Goldsteina3171352019-06-05 08:04:48 -07001791 if (unlikely(ret))
1792 return ret;
Amir Goldstein11cbfb12017-01-31 10:34:56 +02001793
Zach Brown29732932015-11-10 16:53:30 -05001794 ret = rw_verify_area(READ, file_in, &pos_in, len);
Al Virobc613842016-03-31 21:48:20 -04001795 if (unlikely(ret))
1796 return ret;
1797
1798 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1799 if (unlikely(ret))
Zach Brown29732932015-11-10 16:53:30 -05001800 return ret;
1801
Zach Brown29732932015-11-10 16:53:30 -05001802 if (len == 0)
1803 return 0;
1804
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001805 file_start_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001806
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001807 /*
1808 * Try cloning first, this is supported by more file systems, and
1809 * more efficient if both clone and copy are supported (e.g. NFS).
1810 */
Amir Goldstein5dae2222019-06-05 08:04:50 -07001811 if (file_in->f_op->remap_file_range &&
1812 file_inode(file_in)->i_sb == file_inode(file_out)->i_sb) {
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001813 loff_t cloned;
1814
1815 cloned = file_in->f_op->remap_file_range(file_in, pos_in,
1816 file_out, pos_out,
Darrick J. Wongeca36542018-10-30 10:42:10 +11001817 min_t(loff_t, MAX_RW_COUNT, len),
1818 REMAP_FILE_CAN_SHORTEN);
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001819 if (cloned > 0) {
1820 ret = cloned;
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001821 goto done;
1822 }
1823 }
1824
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001825 ret = do_copy_file_range(file_in, pos_in, file_out, pos_out, len,
1826 flags);
1827 WARN_ON_ONCE(ret == -EOPNOTSUPP);
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001828done:
Zach Brown29732932015-11-10 16:53:30 -05001829 if (ret > 0) {
1830 fsnotify_access(file_in);
1831 add_rchar(current, ret);
1832 fsnotify_modify(file_out);
1833 add_wchar(current, ret);
1834 }
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001835
Zach Brown29732932015-11-10 16:53:30 -05001836 inc_syscr(current);
1837 inc_syscw(current);
1838
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001839 file_end_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001840
1841 return ret;
1842}
1843EXPORT_SYMBOL(vfs_copy_file_range);
1844
1845SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1846 int, fd_out, loff_t __user *, off_out,
1847 size_t, len, unsigned int, flags)
1848{
1849 loff_t pos_in;
1850 loff_t pos_out;
1851 struct fd f_in;
1852 struct fd f_out;
1853 ssize_t ret = -EBADF;
1854
1855 f_in = fdget(fd_in);
1856 if (!f_in.file)
1857 goto out2;
1858
1859 f_out = fdget(fd_out);
1860 if (!f_out.file)
1861 goto out1;
1862
1863 ret = -EFAULT;
1864 if (off_in) {
1865 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1866 goto out;
1867 } else {
1868 pos_in = f_in.file->f_pos;
1869 }
1870
1871 if (off_out) {
1872 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1873 goto out;
1874 } else {
1875 pos_out = f_out.file->f_pos;
1876 }
1877
1878 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1879 flags);
1880 if (ret > 0) {
1881 pos_in += ret;
1882 pos_out += ret;
1883
1884 if (off_in) {
1885 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1886 ret = -EFAULT;
1887 } else {
1888 f_in.file->f_pos = pos_in;
1889 }
1890
1891 if (off_out) {
1892 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1893 ret = -EFAULT;
1894 } else {
1895 f_out.file->f_pos = pos_out;
1896 }
1897 }
1898
1899out:
1900 fdput(f_out);
1901out1:
1902 fdput(f_in);
1903out2:
1904 return ret;
1905}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001906
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001907/*
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001908 * Don't operate on ranges the page cache doesn't support, and don't exceed the
1909 * LFS limits. If pos is under the limit it becomes a short access. If it
1910 * exceeds the limit we return -EFBIG.
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001911 */
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001912int generic_write_check_limits(struct file *file, loff_t pos, loff_t *count)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001913{
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001914 struct inode *inode = file->f_mapping->host;
1915 loff_t max_size = inode->i_sb->s_maxbytes;
1916 loff_t limit = rlimit(RLIMIT_FSIZE);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001917
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001918 if (limit != RLIM_INFINITY) {
1919 if (pos >= limit) {
1920 send_sig(SIGXFSZ, current, 0);
1921 return -EFBIG;
1922 }
1923 *count = min(*count, limit - pos);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001924 }
1925
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001926 if (!(file->f_flags & O_LARGEFILE))
1927 max_size = MAX_NON_LFS;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001928
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001929 if (unlikely(pos >= max_size))
1930 return -EFBIG;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001931
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001932 *count = min(*count, max_size - pos);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001933
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001934 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001935}
Darrick J. Wongc32e5f32018-10-30 10:42:17 +11001936
1937/*
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001938 * Performs necessary checks before doing a write
Linus Torvalds1da177e2005-04-16 15:20:36 -07001939 *
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001940 * Can adjust writing position or amount of bytes to write.
1941 * Returns appropriate error code that caller should return or
1942 * zero in case that write should be allowed.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001943 */
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001944ssize_t generic_write_checks(struct kiocb *iocb, struct iov_iter *from)
1945{
1946 struct file *file = iocb->ki_filp;
1947 struct inode *inode = file->f_mapping->host;
1948 loff_t count;
1949 int ret;
1950
1951 if (IS_SWAPFILE(inode))
1952 return -ETXTBSY;
1953
1954 if (!iov_iter_count(from))
1955 return 0;
1956
1957 /* FIXME: this is for backwards compatibility with 2.4 */
1958 if (iocb->ki_flags & IOCB_APPEND)
1959 iocb->ki_pos = i_size_read(inode);
1960
1961 if ((iocb->ki_flags & IOCB_NOWAIT) && !(iocb->ki_flags & IOCB_DIRECT))
1962 return -EINVAL;
1963
1964 count = iov_iter_count(from);
1965 ret = generic_write_check_limits(file, iocb->ki_pos, &count);
1966 if (ret)
1967 return ret;
1968
1969 iov_iter_truncate(from, count);
1970 return iov_iter_count(from);
1971}
1972EXPORT_SYMBOL(generic_write_checks);
1973
1974/*
1975 * Performs common checks before doing a file copy/clone
1976 * from @file_in to @file_out.
1977 */
1978int generic_file_rw_checks(struct file *file_in, struct file *file_out)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001979{
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001980 struct inode *inode_in = file_inode(file_in);
1981 struct inode *inode_out = file_inode(file_out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001982
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001983 /* Don't copy dirs, pipes, sockets... */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001984 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1985 return -EISDIR;
1986 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1987 return -EINVAL;
1988
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001989 if (!(file_in->f_mode & FMODE_READ) ||
1990 !(file_out->f_mode & FMODE_WRITE) ||
1991 (file_out->f_flags & O_APPEND))
1992 return -EBADF;
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001993
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001994 return 0;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001995}