blob: 0074afa7ecb3ef90ad83d2b9089833b2a17a2ee3 [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{
Linus Torvaldse28cc712006-01-04 16:20:40 -0800368 if (unlikely((ssize_t) count < 0))
Lukas Bulwahn2949e842021-08-24 13:12:59 +0200369 return -EINVAL;
Kirill Smelkov438ab722019-04-12 12:31:57 +0300370
Kirill Smelkov438ab722019-04-12 12:31:57 +0300371 if (ppos) {
372 loff_t pos = *ppos;
373
374 if (unlikely(pos < 0)) {
375 if (!unsigned_offsets(file))
Lukas Bulwahn2949e842021-08-24 13:12:59 +0200376 return -EINVAL;
Kirill Smelkov438ab722019-04-12 12:31:57 +0300377 if (count >= -pos) /* both values are in 0..LLONG_MAX */
378 return -EOVERFLOW;
379 } else if (unlikely((loff_t) (pos + count) < 0)) {
380 if (!unsigned_offsets(file))
Lukas Bulwahn2949e842021-08-24 13:12:59 +0200381 return -EINVAL;
Kirill Smelkov438ab722019-04-12 12:31:57 +0300382 }
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700383 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700384
Al Virobc613842016-03-31 21:48:20 -0400385 return security_file_permission(file,
James Morrisc43e2592008-01-12 22:05:48 +1100386 read_write == READ ? MAY_READ : MAY_WRITE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700387}
388
Al Viro5d5d5682015-04-03 15:41:18 -0400389static ssize_t new_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500390{
391 struct iovec iov = { .iov_base = buf, .iov_len = len };
392 struct kiocb kiocb;
393 struct iov_iter iter;
394 ssize_t ret;
395
396 init_sync_kiocb(&kiocb, filp);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300397 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500398 iov_iter_init(&iter, READ, &iov, 1, len);
399
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100400 ret = call_read_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100401 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300402 if (ppos)
403 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500404 return ret;
405}
406
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200407static int warn_unsupported(struct file *file, const char *op)
408{
409 pr_warn_ratelimited(
410 "kernel %s not supported for file %pD4 (pid: %d comm: %.20s)\n",
411 op, file, current->pid, current->comm);
412 return -EINVAL;
413}
414
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200415ssize_t __kernel_read(struct file *file, void *buf, size_t count, loff_t *pos)
416{
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200417 struct kvec iov = {
418 .iov_base = buf,
419 .iov_len = min_t(size_t, count, MAX_RW_COUNT),
420 };
421 struct kiocb kiocb;
422 struct iov_iter iter;
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200423 ssize_t ret;
424
425 if (WARN_ON_ONCE(!(file->f_mode & FMODE_READ)))
426 return -EINVAL;
427 if (!(file->f_mode & FMODE_CAN_READ))
428 return -EINVAL;
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200429 /*
430 * Also fail if ->read_iter and ->read are both wired up as that
431 * implies very convoluted semantics.
432 */
433 if (unlikely(!file->f_op->read_iter || file->f_op->read))
434 return warn_unsupported(file, "read");
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200435
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200436 init_sync_kiocb(&kiocb, file);
Matthew Wilcox (Oracle)7b84b662020-10-03 03:55:23 +0100437 kiocb.ki_pos = pos ? *pos : 0;
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200438 iov_iter_kvec(&iter, READ, &iov, 1, iov.iov_len);
439 ret = file->f_op->read_iter(&kiocb, &iter);
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200440 if (ret > 0) {
Matthew Wilcox (Oracle)7b84b662020-10-03 03:55:23 +0100441 if (pos)
442 *pos = kiocb.ki_pos;
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200443 fsnotify_access(file);
444 add_rchar(current, ret);
445 }
446 inc_syscr(current);
447 return ret;
448}
449
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200450ssize_t kernel_read(struct file *file, void *buf, size_t count, loff_t *pos)
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200451{
Christoph Hellwig6209dd92020-05-08 09:00:28 +0200452 ssize_t ret;
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200453
Christoph Hellwig6209dd92020-05-08 09:00:28 +0200454 ret = rw_verify_area(READ, file, pos, count);
455 if (ret)
456 return ret;
457 return __kernel_read(file, buf, count, pos);
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200458}
459EXPORT_SYMBOL(kernel_read);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200460
Linus Torvalds1da177e2005-04-16 15:20:36 -0700461ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
462{
463 ssize_t ret;
464
465 if (!(file->f_mode & FMODE_READ))
466 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500467 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700468 return -EINVAL;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800469 if (unlikely(!access_ok(buf, count)))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700470 return -EFAULT;
471
472 ret = rw_verify_area(READ, file, pos, count);
Christoph Hellwig775802c2020-05-08 11:17:46 +0200473 if (ret)
474 return ret;
475 if (count > MAX_RW_COUNT)
476 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700477
Christoph Hellwig775802c2020-05-08 11:17:46 +0200478 if (file->f_op->read)
479 ret = file->f_op->read(file, buf, count, pos);
480 else if (file->f_op->read_iter)
481 ret = new_sync_read(file, buf, count, pos);
482 else
483 ret = -EINVAL;
484 if (ret > 0) {
485 fsnotify_access(file);
486 add_rchar(current, ret);
487 }
488 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700489 return ret;
490}
491
Al Viro5d5d5682015-04-03 15:41:18 -0400492static 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 -0500493{
494 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
495 struct kiocb kiocb;
496 struct iov_iter iter;
497 ssize_t ret;
498
499 init_sync_kiocb(&kiocb, filp);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300500 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500501 iov_iter_init(&iter, WRITE, &iov, 1, len);
502
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100503 ret = call_write_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100504 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300505 if (ret > 0 && ppos)
Al Virof765b132015-04-06 20:50:38 -0400506 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500507 return ret;
508}
509
Christoph Hellwig81238b22020-05-07 19:33:03 +0200510/* caller is responsible for file_start_write/file_end_write */
Christoph Hellwig73e18f72017-09-01 17:39:15 +0200511ssize_t __kernel_write(struct file *file, const void *buf, size_t count, loff_t *pos)
Al Viro06ae43f2013-03-20 13:19:30 -0400512{
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200513 struct kvec iov = {
514 .iov_base = (void *)buf,
515 .iov_len = min_t(size_t, count, MAX_RW_COUNT),
516 };
517 struct kiocb kiocb;
518 struct iov_iter iter;
Al Viro06ae43f2013-03-20 13:19:30 -0400519 ssize_t ret;
520
Christoph Hellwiga01ac272020-05-08 08:55:03 +0200521 if (WARN_ON_ONCE(!(file->f_mode & FMODE_WRITE)))
522 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500523 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000524 return -EINVAL;
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200525 /*
526 * Also fail if ->write_iter and ->write are both wired up as that
527 * implies very convoluted semantics.
528 */
529 if (unlikely(!file->f_op->write_iter || file->f_op->write))
530 return warn_unsupported(file, "write");
Al Viro3e84f482013-03-27 15:20:30 +0000531
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200532 init_sync_kiocb(&kiocb, file);
Matthew Wilcox (Oracle)4c207ef2020-10-03 03:55:22 +0100533 kiocb.ki_pos = pos ? *pos : 0;
Christoph Hellwig4d03e3c2020-09-03 16:22:33 +0200534 iov_iter_kvec(&iter, WRITE, &iov, 1, iov.iov_len);
535 ret = file->f_op->write_iter(&kiocb, &iter);
Al Viro06ae43f2013-03-20 13:19:30 -0400536 if (ret > 0) {
Matthew Wilcox (Oracle)4c207ef2020-10-03 03:55:22 +0100537 if (pos)
538 *pos = kiocb.ki_pos;
Al Viro06ae43f2013-03-20 13:19:30 -0400539 fsnotify_modify(file);
540 add_wchar(current, ret);
541 }
542 inc_syscw(current);
543 return ret;
544}
Linus Torvalds90fb7022020-09-29 17:18:34 -0700545/*
546 * This "EXPORT_SYMBOL_GPL()" is more of a "EXPORT_SYMBOL_DONTUSE()",
547 * but autofs is one of the few internal kernel users that actually
548 * wants this _and_ can be built as a module. So we need to export
549 * this symbol for autofs, even though it really isn't appropriate
550 * for any other kernel modules.
551 */
552EXPORT_SYMBOL_GPL(__kernel_write);
Al Viro2ec3a122014-08-19 11:48:09 -0400553
Christoph Hellwige13ec932017-09-01 17:39:14 +0200554ssize_t kernel_write(struct file *file, const void *buf, size_t count,
555 loff_t *pos)
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200556{
Christoph Hellwig81238b22020-05-07 19:33:03 +0200557 ssize_t ret;
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200558
Christoph Hellwig81238b22020-05-07 19:33:03 +0200559 ret = rw_verify_area(WRITE, file, pos, count);
560 if (ret)
561 return ret;
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200562
Christoph Hellwig81238b22020-05-07 19:33:03 +0200563 file_start_write(file);
564 ret = __kernel_write(file, buf, count, pos);
565 file_end_write(file);
566 return ret;
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200567}
568EXPORT_SYMBOL(kernel_write);
569
Linus Torvalds1da177e2005-04-16 15:20:36 -0700570ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
571{
572 ssize_t ret;
573
574 if (!(file->f_mode & FMODE_WRITE))
575 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500576 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700577 return -EINVAL;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800578 if (unlikely(!access_ok(buf, count)))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579 return -EFAULT;
580
581 ret = rw_verify_area(WRITE, file, pos, count);
Christoph Hellwig53ad8622020-05-13 08:51:46 +0200582 if (ret)
583 return ret;
584 if (count > MAX_RW_COUNT)
585 count = MAX_RW_COUNT;
586 file_start_write(file);
587 if (file->f_op->write)
588 ret = file->f_op->write(file, buf, count, pos);
589 else if (file->f_op->write_iter)
590 ret = new_sync_write(file, buf, count, pos);
591 else
592 ret = -EINVAL;
593 if (ret > 0) {
594 fsnotify_modify(file);
595 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700596 }
Christoph Hellwig53ad8622020-05-13 08:51:46 +0200597 inc_syscw(current);
598 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700599 return ret;
600}
601
Kirill Smelkov438ab722019-04-12 12:31:57 +0300602/* file_ppos returns &file->f_pos or NULL if file is stream */
603static inline loff_t *file_ppos(struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700604{
Kirill Smelkov438ab722019-04-12 12:31:57 +0300605 return file->f_mode & FMODE_STREAM ? NULL : &file->f_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700606}
607
Dominik Brodowski3ce4a7b2018-03-13 21:56:26 +0100608ssize_t ksys_read(unsigned int fd, char __user *buf, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800610 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700611 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700612
Al Viro2903ff02012-08-28 12:52:22 -0400613 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300614 loff_t pos, *ppos = file_ppos(f.file);
615 if (ppos) {
616 pos = *ppos;
617 ppos = &pos;
618 }
619 ret = vfs_read(f.file, buf, count, ppos);
620 if (ret >= 0 && ppos)
621 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800622 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700623 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700624 return ret;
625}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700626
Dominik Brodowski3ce4a7b2018-03-13 21:56:26 +0100627SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
628{
629 return ksys_read(fd, buf, count);
630}
631
Dominik Brodowskie7a3e8b2018-03-11 11:34:41 +0100632ssize_t ksys_write(unsigned int fd, const char __user *buf, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700633{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800634 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700635 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700636
Al Viro2903ff02012-08-28 12:52:22 -0400637 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300638 loff_t pos, *ppos = file_ppos(f.file);
639 if (ppos) {
640 pos = *ppos;
641 ppos = &pos;
642 }
643 ret = vfs_write(f.file, buf, count, ppos);
644 if (ret >= 0 && ppos)
645 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800646 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700647 }
648
649 return ret;
650}
651
Dominik Brodowskie7a3e8b2018-03-11 11:34:41 +0100652SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
653 size_t, count)
654{
655 return ksys_write(fd, buf, count);
656}
657
Dominik Brodowski36028d52018-03-19 17:38:31 +0100658ssize_t ksys_pread64(unsigned int fd, char __user *buf, size_t count,
659 loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700660{
Al Viro2903ff02012-08-28 12:52:22 -0400661 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700662 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700663
664 if (pos < 0)
665 return -EINVAL;
666
Al Viro2903ff02012-08-28 12:52:22 -0400667 f = fdget(fd);
668 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700669 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400670 if (f.file->f_mode & FMODE_PREAD)
671 ret = vfs_read(f.file, buf, count, &pos);
672 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673 }
674
675 return ret;
676}
677
Dominik Brodowski36028d52018-03-19 17:38:31 +0100678SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
679 size_t, count, loff_t, pos)
680{
681 return ksys_pread64(fd, buf, count, pos);
682}
683
684ssize_t ksys_pwrite64(unsigned int fd, const char __user *buf,
685 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700686{
Al Viro2903ff02012-08-28 12:52:22 -0400687 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700688 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700689
690 if (pos < 0)
691 return -EINVAL;
692
Al Viro2903ff02012-08-28 12:52:22 -0400693 f = fdget(fd);
694 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400696 if (f.file->f_mode & FMODE_PWRITE)
697 ret = vfs_write(f.file, buf, count, &pos);
698 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700699 }
700
701 return ret;
702}
703
Dominik Brodowski36028d52018-03-19 17:38:31 +0100704SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
705 size_t, count, loff_t, pos)
706{
707 return ksys_pwrite64(fd, buf, count, pos);
708}
709
Al Viroac15ac02015-03-20 20:10:21 -0400710static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200711 loff_t *ppos, int type, rwf_t flags)
Al Viro293bc982014-02-11 18:37:41 -0500712{
713 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500714 ssize_t ret;
715
716 init_sync_kiocb(&kiocb, filp);
Goldwyn Rodriguesfdd2f5b2017-06-20 07:05:40 -0500717 ret = kiocb_set_rw_flags(&kiocb, flags);
718 if (ret)
719 return ret;
Kirill Smelkov438ab722019-04-12 12:31:57 +0300720 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500721
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100722 if (type == READ)
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100723 ret = call_read_iter(filp, &kiocb, iter);
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100724 else
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100725 ret = call_write_iter(filp, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100726 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300727 if (ppos)
728 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500729 return ret;
730}
731
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700732/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400733static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200734 loff_t *ppos, int type, rwf_t flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700735{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700736 ssize_t ret = 0;
737
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100738 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100739 return -EOPNOTSUPP;
740
Al Viroac15ac02015-03-20 20:10:21 -0400741 while (iov_iter_count(iter)) {
742 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700743 ssize_t nr;
744
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100745 if (type == READ) {
746 nr = filp->f_op->read(filp, iovec.iov_base,
747 iovec.iov_len, ppos);
748 } else {
749 nr = filp->f_op->write(filp, iovec.iov_base,
750 iovec.iov_len, ppos);
751 }
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700752
753 if (nr < 0) {
754 if (!ret)
755 ret = nr;
756 break;
757 }
758 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400759 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700760 break;
Al Viroac15ac02015-03-20 20:10:21 -0400761 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700762 }
763
764 return ret;
765}
766
Christoph Hellwig19c73582017-05-27 11:16:48 +0300767static ssize_t do_iter_read(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200768 loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700769{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700770 size_t tot_len;
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100771 ssize_t ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700772
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300773 if (!(file->f_mode & FMODE_READ))
774 return -EBADF;
775 if (!(file->f_mode & FMODE_CAN_READ))
776 return -EINVAL;
777
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100778 tot_len = iov_iter_count(iter);
Al Viro0504c072015-03-21 19:40:11 -0400779 if (!tot_len)
780 goto out;
Christoph Hellwig19c73582017-05-27 11:16:48 +0300781 ret = rw_verify_area(READ, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800782 if (ret < 0)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300783 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700784
Christoph Hellwig19c73582017-05-27 11:16:48 +0300785 if (file->f_op->read_iter)
786 ret = do_iter_readv_writev(file, iter, pos, READ, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700787 else
Christoph Hellwig19c73582017-05-27 11:16:48 +0300788 ret = do_loop_readv_writev(file, iter, pos, READ, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700789out:
Christoph Hellwig19c73582017-05-27 11:16:48 +0300790 if (ret >= 0)
791 fsnotify_access(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700792 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700793}
794
Jiufei Xue5dcdc432019-11-20 17:45:25 +0800795ssize_t vfs_iocb_iter_read(struct file *file, struct kiocb *iocb,
796 struct iov_iter *iter)
797{
798 size_t tot_len;
799 ssize_t ret = 0;
800
801 if (!file->f_op->read_iter)
802 return -EINVAL;
803 if (!(file->f_mode & FMODE_READ))
804 return -EBADF;
805 if (!(file->f_mode & FMODE_CAN_READ))
806 return -EINVAL;
807
808 tot_len = iov_iter_count(iter);
809 if (!tot_len)
810 goto out;
811 ret = rw_verify_area(READ, file, &iocb->ki_pos, tot_len);
812 if (ret < 0)
813 return ret;
814
815 ret = call_read_iter(file, iocb, iter);
816out:
817 if (ret >= 0)
818 fsnotify_access(file);
819 return ret;
820}
821EXPORT_SYMBOL(vfs_iocb_iter_read);
822
Christoph Hellwig18e97102017-05-27 11:16:51 +0300823ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200824 rwf_t flags)
Christoph Hellwig18e97102017-05-27 11:16:51 +0300825{
826 if (!file->f_op->read_iter)
827 return -EINVAL;
828 return do_iter_read(file, iter, ppos, flags);
829}
830EXPORT_SYMBOL(vfs_iter_read);
831
Christoph Hellwig19c73582017-05-27 11:16:48 +0300832static ssize_t do_iter_write(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200833 loff_t *pos, rwf_t flags)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300834{
835 size_t tot_len;
836 ssize_t ret = 0;
837
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300838 if (!(file->f_mode & FMODE_WRITE))
839 return -EBADF;
840 if (!(file->f_mode & FMODE_CAN_WRITE))
841 return -EINVAL;
842
Christoph Hellwig19c73582017-05-27 11:16:48 +0300843 tot_len = iov_iter_count(iter);
844 if (!tot_len)
845 return 0;
846 ret = rw_verify_area(WRITE, file, pos, tot_len);
847 if (ret < 0)
848 return ret;
849
Christoph Hellwig19c73582017-05-27 11:16:48 +0300850 if (file->f_op->write_iter)
851 ret = do_iter_readv_writev(file, iter, pos, WRITE, flags);
852 else
853 ret = do_loop_readv_writev(file, iter, pos, WRITE, flags);
Christoph Hellwig19c73582017-05-27 11:16:48 +0300854 if (ret > 0)
855 fsnotify_modify(file);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700856 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700857}
858
Jiufei Xue5dcdc432019-11-20 17:45:25 +0800859ssize_t vfs_iocb_iter_write(struct file *file, struct kiocb *iocb,
860 struct iov_iter *iter)
861{
862 size_t tot_len;
863 ssize_t ret = 0;
864
865 if (!file->f_op->write_iter)
866 return -EINVAL;
867 if (!(file->f_mode & FMODE_WRITE))
868 return -EBADF;
869 if (!(file->f_mode & FMODE_CAN_WRITE))
870 return -EINVAL;
871
872 tot_len = iov_iter_count(iter);
873 if (!tot_len)
874 return 0;
875 ret = rw_verify_area(WRITE, file, &iocb->ki_pos, tot_len);
876 if (ret < 0)
877 return ret;
878
879 ret = call_write_iter(file, iocb, iter);
880 if (ret > 0)
881 fsnotify_modify(file);
882
883 return ret;
884}
885EXPORT_SYMBOL(vfs_iocb_iter_write);
886
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300887ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200888 rwf_t flags)
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300889{
890 if (!file->f_op->write_iter)
891 return -EINVAL;
892 return do_iter_write(file, iter, ppos, flags);
893}
894EXPORT_SYMBOL(vfs_iter_write);
895
Christoph Hellwig36e2c742020-09-03 16:22:34 +0200896static ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200897 unsigned long vlen, loff_t *pos, rwf_t flags)
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100898{
899 struct iovec iovstack[UIO_FASTIOV];
900 struct iovec *iov = iovstack;
901 struct iov_iter iter;
902 ssize_t ret;
903
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300904 ret = import_iovec(READ, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300905 if (ret >= 0) {
906 ret = do_iter_read(file, &iter, pos, flags);
907 kfree(iov);
908 }
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100909
910 return ret;
911}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700912
Christoph Hellwig9725d4c2017-09-01 17:39:25 +0200913static ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200914 unsigned long vlen, loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700915{
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300916 struct iovec iovstack[UIO_FASTIOV];
917 struct iovec *iov = iovstack;
918 struct iov_iter iter;
919 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700920
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300921 ret = import_iovec(WRITE, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300922 if (ret >= 0) {
Al Viro62473a22017-07-06 09:15:47 -0400923 file_start_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300924 ret = do_iter_write(file, &iter, pos, flags);
Al Viro62473a22017-07-06 09:15:47 -0400925 file_end_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300926 kfree(iov);
927 }
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300928 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700929}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700930
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100931static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200932 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700933{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800934 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700935 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700936
Al Viro2903ff02012-08-28 12:52:22 -0400937 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300938 loff_t pos, *ppos = file_ppos(f.file);
939 if (ppos) {
940 pos = *ppos;
941 ppos = &pos;
942 }
943 ret = vfs_readv(f.file, vec, vlen, ppos, flags);
944 if (ret >= 0 && ppos)
945 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800946 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700947 }
948
949 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800950 add_rchar(current, ret);
951 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700952 return ret;
953}
954
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100955static ssize_t do_writev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200956 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700957{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800958 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700959 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700960
Al Viro2903ff02012-08-28 12:52:22 -0400961 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300962 loff_t pos, *ppos = file_ppos(f.file);
963 if (ppos) {
964 pos = *ppos;
965 ppos = &pos;
966 }
967 ret = vfs_writev(f.file, vec, vlen, ppos, flags);
968 if (ret >= 0 && ppos)
969 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800970 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700971 }
972
973 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800974 add_wchar(current, ret);
975 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700976 return ret;
977}
978
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700979static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700980{
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700981#define HALF_LONG_BITS (BITS_PER_LONG / 2)
982 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
983}
984
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100985static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200986 unsigned long vlen, loff_t pos, rwf_t flags)
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700987{
Al Viro2903ff02012-08-28 12:52:22 -0400988 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700989 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700990
991 if (pos < 0)
992 return -EINVAL;
993
Al Viro2903ff02012-08-28 12:52:22 -0400994 f = fdget(fd);
995 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700996 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400997 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100998 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -0400999 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001000 }
1001
1002 if (ret > 0)
1003 add_rchar(current, ret);
1004 inc_syscr(current);
1005 return ret;
1006}
1007
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001008static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001009 unsigned long vlen, loff_t pos, rwf_t flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001010{
Al Viro2903ff02012-08-28 12:52:22 -04001011 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001012 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001013
1014 if (pos < 0)
1015 return -EINVAL;
1016
Al Viro2903ff02012-08-28 12:52:22 -04001017 f = fdget(fd);
1018 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001019 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001020 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001021 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001022 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001023 }
1024
1025 if (ret > 0)
1026 add_wchar(current, ret);
1027 inc_syscw(current);
1028 return ret;
1029}
1030
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001031SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
1032 unsigned long, vlen)
1033{
1034 return do_readv(fd, vec, vlen, 0);
1035}
1036
1037SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
1038 unsigned long, vlen)
1039{
1040 return do_writev(fd, vec, vlen, 0);
1041}
1042
1043SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
1044 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1045{
1046 loff_t pos = pos_from_hilo(pos_h, pos_l);
1047
1048 return do_preadv(fd, vec, vlen, pos, 0);
1049}
1050
1051SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1052 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001053 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001054{
1055 loff_t pos = pos_from_hilo(pos_h, pos_l);
1056
1057 if (pos == -1)
1058 return do_readv(fd, vec, vlen, flags);
1059
1060 return do_preadv(fd, vec, vlen, pos, flags);
1061}
1062
1063SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
1064 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1065{
1066 loff_t pos = pos_from_hilo(pos_h, pos_l);
1067
1068 return do_pwritev(fd, vec, vlen, pos, 0);
1069}
1070
1071SYSCALL_DEFINE6(pwritev2, unsigned long, fd, const struct iovec __user *, vec,
1072 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001073 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001074{
1075 loff_t pos = pos_from_hilo(pos_h, pos_l);
1076
1077 if (pos == -1)
1078 return do_writev(fd, vec, vlen, flags);
1079
1080 return do_pwritev(fd, vec, vlen, pos, flags);
1081}
1082
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001083/*
1084 * Various compat syscalls. Note that they all pretend to take a native
1085 * iovec - import_iovec will properly treat those as compat_iovecs based on
1086 * in_compat_syscall().
1087 */
Al Viro72ec3512013-03-20 10:42:10 -04001088#ifdef CONFIG_COMPAT
Heiko Carstens378a10f2014-03-05 10:43:51 +01001089#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1090COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001091 const struct iovec __user *, vec,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001092 unsigned long, vlen, loff_t, pos)
1093{
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001094 return do_preadv(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001095}
1096#endif
1097
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001098COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001099 const struct iovec __user *, vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001100 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001101{
1102 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001103
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001104 return do_preadv(fd, vec, vlen, pos, 0);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001105}
1106
H.J. Lu3ebfd812016-07-14 12:31:53 -07001107#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64V2
1108COMPAT_SYSCALL_DEFINE5(preadv64v2, unsigned long, fd,
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001109 const struct iovec __user *, vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001110 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001111{
Aurelien Jarnocc4b1242018-12-06 20:05:34 +01001112 if (pos == -1)
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001113 return do_readv(fd, vec, vlen, flags);
1114 return do_preadv(fd, vec, vlen, pos, flags);
H.J. Lu3ebfd812016-07-14 12:31:53 -07001115}
1116#endif
1117
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001118COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001119 const struct iovec __user *, vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001120 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001121 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001122{
1123 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1124
1125 if (pos == -1)
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001126 return do_readv(fd, vec, vlen, flags);
1127 return do_preadv(fd, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001128}
1129
Heiko Carstens378a10f2014-03-05 10:43:51 +01001130#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1131COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001132 const struct iovec __user *, vec,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001133 unsigned long, vlen, loff_t, pos)
1134{
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001135 return do_pwritev(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001136}
1137#endif
1138
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001139COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001140 const struct iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001141 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001142{
1143 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001144
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001145 return do_pwritev(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001146}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001147
H.J. Lu3ebfd812016-07-14 12:31:53 -07001148#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64V2
1149COMPAT_SYSCALL_DEFINE5(pwritev64v2, unsigned long, fd,
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001150 const struct iovec __user *, vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001151 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001152{
Aurelien Jarnocc4b1242018-12-06 20:05:34 +01001153 if (pos == -1)
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001154 return do_writev(fd, vec, vlen, flags);
1155 return do_pwritev(fd, vec, vlen, pos, flags);
H.J. Lu3ebfd812016-07-14 12:31:53 -07001156}
1157#endif
1158
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001159COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001160 const struct iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001161 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001162{
1163 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1164
1165 if (pos == -1)
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001166 return do_writev(fd, vec, vlen, flags);
1167 return do_pwritev(fd, vec, vlen, pos, flags);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001168}
Christoph Hellwig3523a9d2020-09-25 06:51:42 +02001169#endif /* CONFIG_COMPAT */
Al Viro72ec3512013-03-20 10:42:10 -04001170
Al Viro19f4fc32013-02-24 02:17:03 -05001171static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1172 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001173{
Al Viro2903ff02012-08-28 12:52:22 -04001174 struct fd in, out;
1175 struct inode *in_inode, *out_inode;
Al Virob964bf52021-01-25 22:24:28 -05001176 struct pipe_inode_info *opipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001177 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001178 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001179 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001180 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001181
1182 /*
1183 * Get input file, and verify that it is ok..
1184 */
1185 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001186 in = fdget(in_fd);
1187 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001188 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001189 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001190 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001191 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001192 if (!ppos) {
1193 pos = in.file->f_pos;
1194 } else {
1195 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001196 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001197 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001198 }
1199 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001200 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001201 goto fput_in;
Al Virobc613842016-03-31 21:48:20 -04001202 if (count > MAX_RW_COUNT)
1203 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001204
Linus Torvalds1da177e2005-04-16 15:20:36 -07001205 /*
1206 * Get output file, and verify that it is ok..
1207 */
1208 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001209 out = fdget(out_fd);
1210 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001211 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001212 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001213 goto fput_out;
Al Viro496ad9a2013-01-23 17:07:38 -05001214 in_inode = file_inode(in.file);
1215 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001216 out_pos = out.file->f_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001217
Linus Torvalds1da177e2005-04-16 15:20:36 -07001218 if (!max)
1219 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1220
Linus Torvalds1da177e2005-04-16 15:20:36 -07001221 if (unlikely(pos + count > max)) {
1222 retval = -EOVERFLOW;
1223 if (pos >= max)
1224 goto fput_out;
1225 count = max - pos;
1226 }
1227
Jens Axboed96e6e72007-06-11 12:18:52 +02001228 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001229#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001230 /*
1231 * We need to debate whether we can enable this or not. The
1232 * man page documents EAGAIN return for the output at least,
1233 * and the application is arguably buggy if it doesn't expect
1234 * EAGAIN on a non-blocking file descriptor.
1235 */
Al Viro2903ff02012-08-28 12:52:22 -04001236 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001237 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001238#endif
Al Virob964bf52021-01-25 22:24:28 -05001239 opipe = get_pipe_info(out.file, true);
1240 if (!opipe) {
1241 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
1242 if (retval < 0)
1243 goto fput_out;
1244 file_start_write(out.file);
1245 retval = do_splice_direct(in.file, &pos, out.file, &out_pos,
1246 count, fl);
1247 file_end_write(out.file);
1248 } else {
1249 retval = splice_file_to_pipe(in.file, opipe, &pos, count, fl);
1250 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001251
1252 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001253 add_rchar(current, retval);
1254 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001255 fsnotify_access(in.file);
1256 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001257 out.file->f_pos = out_pos;
1258 if (ppos)
1259 *ppos = pos;
1260 else
1261 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001262 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001263
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001264 inc_syscr(current);
1265 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001266 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001267 retval = -EOVERFLOW;
1268
1269fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001270 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001271fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001272 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001273out:
1274 return retval;
1275}
1276
Heiko Carstens002c8972009-01-14 14:14:18 +01001277SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001278{
1279 loff_t pos;
1280 off_t off;
1281 ssize_t ret;
1282
1283 if (offset) {
1284 if (unlikely(get_user(off, offset)))
1285 return -EFAULT;
1286 pos = off;
1287 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1288 if (unlikely(put_user(pos, offset)))
1289 return -EFAULT;
1290 return ret;
1291 }
1292
1293 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1294}
1295
Heiko Carstens002c8972009-01-14 14:14:18 +01001296SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001297{
1298 loff_t pos;
1299 ssize_t ret;
1300
1301 if (offset) {
1302 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1303 return -EFAULT;
1304 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1305 if (unlikely(put_user(pos, offset)))
1306 return -EFAULT;
1307 return ret;
1308 }
1309
1310 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1311}
Al Viro19f4fc32013-02-24 02:17:03 -05001312
1313#ifdef CONFIG_COMPAT
1314COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1315 compat_off_t __user *, offset, compat_size_t, count)
1316{
1317 loff_t pos;
1318 off_t off;
1319 ssize_t ret;
1320
1321 if (offset) {
1322 if (unlikely(get_user(off, offset)))
1323 return -EFAULT;
1324 pos = off;
1325 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1326 if (unlikely(put_user(pos, offset)))
1327 return -EFAULT;
1328 return ret;
1329 }
1330
1331 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1332}
1333
1334COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1335 compat_loff_t __user *, offset, compat_size_t, count)
1336{
1337 loff_t pos;
1338 ssize_t ret;
1339
1340 if (offset) {
1341 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1342 return -EFAULT;
1343 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1344 if (unlikely(put_user(pos, offset)))
1345 return -EFAULT;
1346 return ret;
1347 }
1348
1349 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1350}
1351#endif
Zach Brown29732932015-11-10 16:53:30 -05001352
Dave Chinnerf16acc92019-06-05 08:04:47 -07001353/**
1354 * generic_copy_file_range - copy data between two files
1355 * @file_in: file structure to read from
1356 * @pos_in: file offset to read from
1357 * @file_out: file structure to write data to
1358 * @pos_out: file offset to write data to
1359 * @len: amount of data to copy
1360 * @flags: copy flags
1361 *
1362 * This is a generic filesystem helper to copy data from one file to another.
1363 * It has no constraints on the source or destination file owners - the files
1364 * can belong to different superblocks and different filesystem types. Short
1365 * copies are allowed.
1366 *
1367 * This should be called from the @file_out filesystem, as per the
1368 * ->copy_file_range() method.
1369 *
1370 * Returns the number of bytes copied or a negative error indicating the
1371 * failure.
1372 */
1373
1374ssize_t generic_copy_file_range(struct file *file_in, loff_t pos_in,
1375 struct file *file_out, loff_t pos_out,
1376 size_t len, unsigned int flags)
1377{
1378 return do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1379 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1380}
1381EXPORT_SYMBOL(generic_copy_file_range);
1382
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001383static ssize_t do_copy_file_range(struct file *file_in, loff_t pos_in,
1384 struct file *file_out, loff_t pos_out,
1385 size_t len, unsigned int flags)
1386{
Amir Goldstein5dae2222019-06-05 08:04:50 -07001387 /*
1388 * Although we now allow filesystems to handle cross sb copy, passing
1389 * a file of the wrong filesystem type to filesystem driver can result
1390 * in an attempt to dereference the wrong type of ->private_data, so
1391 * avoid doing that until we really have a good reason. NFS defines
1392 * several different file_system_type structures, but they all end up
1393 * using the same ->copy_file_range() function pointer.
1394 */
1395 if (file_out->f_op->copy_file_range &&
1396 file_out->f_op->copy_file_range == file_in->f_op->copy_file_range)
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001397 return file_out->f_op->copy_file_range(file_in, pos_in,
1398 file_out, pos_out,
1399 len, flags);
1400
1401 return generic_copy_file_range(file_in, pos_in, file_out, pos_out, len,
1402 flags);
1403}
1404
Zach Brown29732932015-11-10 16:53:30 -05001405/*
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001406 * Performs necessary checks before doing a file copy
1407 *
1408 * Can adjust amount of bytes to copy via @req_count argument.
1409 * Returns appropriate error code that caller should return or
1410 * zero in case the copy should be allowed.
1411 */
1412static int generic_copy_file_checks(struct file *file_in, loff_t pos_in,
1413 struct file *file_out, loff_t pos_out,
1414 size_t *req_count, unsigned int flags)
1415{
1416 struct inode *inode_in = file_inode(file_in);
1417 struct inode *inode_out = file_inode(file_out);
1418 uint64_t count = *req_count;
1419 loff_t size_in;
1420 int ret;
1421
1422 ret = generic_file_rw_checks(file_in, file_out);
1423 if (ret)
1424 return ret;
1425
1426 /* Don't touch certain kinds of inodes */
1427 if (IS_IMMUTABLE(inode_out))
1428 return -EPERM;
1429
1430 if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
1431 return -ETXTBSY;
1432
1433 /* Ensure offsets don't wrap. */
1434 if (pos_in + count < pos_in || pos_out + count < pos_out)
1435 return -EOVERFLOW;
1436
1437 /* Shorten the copy to EOF */
1438 size_in = i_size_read(inode_in);
1439 if (pos_in >= size_in)
1440 count = 0;
1441 else
1442 count = min(count, size_in - (uint64_t)pos_in);
1443
1444 ret = generic_write_check_limits(file_out, pos_out, &count);
1445 if (ret)
1446 return ret;
1447
1448 /* Don't allow overlapped copying within the same file. */
1449 if (inode_in == inode_out &&
1450 pos_out + count > pos_in &&
1451 pos_out < pos_in + count)
1452 return -EINVAL;
1453
1454 *req_count = count;
1455 return 0;
1456}
1457
1458/*
Zach Brown29732932015-11-10 16:53:30 -05001459 * copy_file_range() differs from regular file read and write in that it
1460 * specifically allows return partial success. When it does so is up to
1461 * the copy_file_range method.
1462 */
1463ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1464 struct file *file_out, loff_t pos_out,
1465 size_t len, unsigned int flags)
1466{
Zach Brown29732932015-11-10 16:53:30 -05001467 ssize_t ret;
1468
1469 if (flags != 0)
1470 return -EINVAL;
1471
Amir Goldstein96e6e8f2019-06-05 08:04:49 -07001472 ret = generic_copy_file_checks(file_in, pos_in, file_out, pos_out, &len,
1473 flags);
Amir Goldsteina3171352019-06-05 08:04:48 -07001474 if (unlikely(ret))
1475 return ret;
Amir Goldstein11cbfb12017-01-31 10:34:56 +02001476
Zach Brown29732932015-11-10 16:53:30 -05001477 ret = rw_verify_area(READ, file_in, &pos_in, len);
Al Virobc613842016-03-31 21:48:20 -04001478 if (unlikely(ret))
1479 return ret;
1480
1481 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1482 if (unlikely(ret))
Zach Brown29732932015-11-10 16:53:30 -05001483 return ret;
1484
Zach Brown29732932015-11-10 16:53:30 -05001485 if (len == 0)
1486 return 0;
1487
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001488 file_start_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001489
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001490 /*
1491 * Try cloning first, this is supported by more file systems, and
1492 * more efficient if both clone and copy are supported (e.g. NFS).
1493 */
Amir Goldstein5dae2222019-06-05 08:04:50 -07001494 if (file_in->f_op->remap_file_range &&
1495 file_inode(file_in)->i_sb == file_inode(file_out)->i_sb) {
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001496 loff_t cloned;
1497
1498 cloned = file_in->f_op->remap_file_range(file_in, pos_in,
1499 file_out, pos_out,
Darrick J. Wongeca36542018-10-30 10:42:10 +11001500 min_t(loff_t, MAX_RW_COUNT, len),
1501 REMAP_FILE_CAN_SHORTEN);
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001502 if (cloned > 0) {
1503 ret = cloned;
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001504 goto done;
1505 }
1506 }
1507
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001508 ret = do_copy_file_range(file_in, pos_in, file_out, pos_out, len,
1509 flags);
1510 WARN_ON_ONCE(ret == -EOPNOTSUPP);
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001511done:
Zach Brown29732932015-11-10 16:53:30 -05001512 if (ret > 0) {
1513 fsnotify_access(file_in);
1514 add_rchar(current, ret);
1515 fsnotify_modify(file_out);
1516 add_wchar(current, ret);
1517 }
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001518
Zach Brown29732932015-11-10 16:53:30 -05001519 inc_syscr(current);
1520 inc_syscw(current);
1521
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001522 file_end_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001523
1524 return ret;
1525}
1526EXPORT_SYMBOL(vfs_copy_file_range);
1527
1528SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1529 int, fd_out, loff_t __user *, off_out,
1530 size_t, len, unsigned int, flags)
1531{
1532 loff_t pos_in;
1533 loff_t pos_out;
1534 struct fd f_in;
1535 struct fd f_out;
1536 ssize_t ret = -EBADF;
1537
1538 f_in = fdget(fd_in);
1539 if (!f_in.file)
1540 goto out2;
1541
1542 f_out = fdget(fd_out);
1543 if (!f_out.file)
1544 goto out1;
1545
1546 ret = -EFAULT;
1547 if (off_in) {
1548 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1549 goto out;
1550 } else {
1551 pos_in = f_in.file->f_pos;
1552 }
1553
1554 if (off_out) {
1555 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1556 goto out;
1557 } else {
1558 pos_out = f_out.file->f_pos;
1559 }
1560
1561 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1562 flags);
1563 if (ret > 0) {
1564 pos_in += ret;
1565 pos_out += ret;
1566
1567 if (off_in) {
1568 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1569 ret = -EFAULT;
1570 } else {
1571 f_in.file->f_pos = pos_in;
1572 }
1573
1574 if (off_out) {
1575 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1576 ret = -EFAULT;
1577 } else {
1578 f_out.file->f_pos = pos_out;
1579 }
1580 }
1581
1582out:
1583 fdput(f_out);
1584out1:
1585 fdput(f_in);
1586out2:
1587 return ret;
1588}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001589
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001590/*
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001591 * Don't operate on ranges the page cache doesn't support, and don't exceed the
1592 * LFS limits. If pos is under the limit it becomes a short access. If it
1593 * exceeds the limit we return -EFBIG.
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001594 */
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001595int generic_write_check_limits(struct file *file, loff_t pos, loff_t *count)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001596{
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001597 struct inode *inode = file->f_mapping->host;
1598 loff_t max_size = inode->i_sb->s_maxbytes;
1599 loff_t limit = rlimit(RLIMIT_FSIZE);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001600
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001601 if (limit != RLIM_INFINITY) {
1602 if (pos >= limit) {
1603 send_sig(SIGXFSZ, current, 0);
1604 return -EFBIG;
1605 }
1606 *count = min(*count, limit - pos);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001607 }
1608
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001609 if (!(file->f_flags & O_LARGEFILE))
1610 max_size = MAX_NON_LFS;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001611
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001612 if (unlikely(pos >= max_size))
1613 return -EFBIG;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001614
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001615 *count = min(*count, max_size - pos);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001616
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001617 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001618}
Darrick J. Wongc32e5f32018-10-30 10:42:17 +11001619
1620/*
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001621 * Performs necessary checks before doing a write
Linus Torvalds1da177e2005-04-16 15:20:36 -07001622 *
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001623 * Can adjust writing position or amount of bytes to write.
1624 * Returns appropriate error code that caller should return or
1625 * zero in case that write should be allowed.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001626 */
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001627ssize_t generic_write_checks(struct kiocb *iocb, struct iov_iter *from)
1628{
1629 struct file *file = iocb->ki_filp;
1630 struct inode *inode = file->f_mapping->host;
1631 loff_t count;
1632 int ret;
1633
1634 if (IS_SWAPFILE(inode))
1635 return -ETXTBSY;
1636
1637 if (!iov_iter_count(from))
1638 return 0;
1639
1640 /* FIXME: this is for backwards compatibility with 2.4 */
1641 if (iocb->ki_flags & IOCB_APPEND)
1642 iocb->ki_pos = i_size_read(inode);
1643
1644 if ((iocb->ki_flags & IOCB_NOWAIT) && !(iocb->ki_flags & IOCB_DIRECT))
1645 return -EINVAL;
1646
1647 count = iov_iter_count(from);
1648 ret = generic_write_check_limits(file, iocb->ki_pos, &count);
1649 if (ret)
1650 return ret;
1651
1652 iov_iter_truncate(from, count);
1653 return iov_iter_count(from);
1654}
1655EXPORT_SYMBOL(generic_write_checks);
1656
1657/*
1658 * Performs common checks before doing a file copy/clone
1659 * from @file_in to @file_out.
1660 */
1661int generic_file_rw_checks(struct file *file_in, struct file *file_out)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001662{
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001663 struct inode *inode_in = file_inode(file_in);
1664 struct inode *inode_out = file_inode(file_out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001665
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001666 /* Don't copy dirs, pipes, sockets... */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001667 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1668 return -EISDIR;
1669 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1670 return -EINVAL;
1671
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001672 if (!(file_in->f_mode & FMODE_READ) ||
1673 !(file_out->f_mode & FMODE_WRITE) ||
1674 (file_out->f_flags & O_APPEND))
1675 return -EBADF;
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001676
Darrick J. Wong407e9c62020-10-15 09:21:17 -07001677 return 0;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001678}