blob: 709dc129b0525a56ca59d7c9c25de10d745046c3 [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 Hellwig61a707c2020-05-08 08:54:16 +0200422ssize_t __kernel_read(struct file *file, void *buf, size_t count, loff_t *pos)
423{
424 mm_segment_t old_fs = get_fs();
425 ssize_t ret;
426
427 if (WARN_ON_ONCE(!(file->f_mode & FMODE_READ)))
428 return -EINVAL;
429 if (!(file->f_mode & FMODE_CAN_READ))
430 return -EINVAL;
431
432 if (count > MAX_RW_COUNT)
433 count = MAX_RW_COUNT;
434 set_fs(KERNEL_DS);
Christoph Hellwig775802c2020-05-08 11:17:46 +0200435 if (file->f_op->read)
436 ret = file->f_op->read(file, (void __user *)buf, count, pos);
437 else if (file->f_op->read_iter)
438 ret = new_sync_read(file, (void __user *)buf, count, pos);
439 else
440 ret = -EINVAL;
Christoph Hellwig61a707c2020-05-08 08:54:16 +0200441 set_fs(old_fs);
442 if (ret > 0) {
443 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{
513 mm_segment_t old_fs;
514 const char __user *p;
515 ssize_t ret;
516
Christoph Hellwiga01ac272020-05-08 08:55:03 +0200517 if (WARN_ON_ONCE(!(file->f_mode & FMODE_WRITE)))
518 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500519 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000520 return -EINVAL;
521
Al Viro06ae43f2013-03-20 13:19:30 -0400522 old_fs = get_fs();
Linus Torvalds736706b2019-03-04 10:39:05 -0800523 set_fs(KERNEL_DS);
Al Viro06ae43f2013-03-20 13:19:30 -0400524 p = (__force const char __user *)buf;
525 if (count > MAX_RW_COUNT)
526 count = MAX_RW_COUNT;
Christoph Hellwig53ad8622020-05-13 08:51:46 +0200527 if (file->f_op->write)
528 ret = file->f_op->write(file, p, count, pos);
529 else if (file->f_op->write_iter)
530 ret = new_sync_write(file, p, count, pos);
531 else
532 ret = -EINVAL;
Al Viro06ae43f2013-03-20 13:19:30 -0400533 set_fs(old_fs);
534 if (ret > 0) {
535 fsnotify_modify(file);
536 add_wchar(current, ret);
537 }
538 inc_syscw(current);
539 return ret;
540}
Linus Torvalds90fb7022020-09-29 17:18:34 -0700541/*
542 * This "EXPORT_SYMBOL_GPL()" is more of a "EXPORT_SYMBOL_DONTUSE()",
543 * but autofs is one of the few internal kernel users that actually
544 * wants this _and_ can be built as a module. So we need to export
545 * this symbol for autofs, even though it really isn't appropriate
546 * for any other kernel modules.
547 */
548EXPORT_SYMBOL_GPL(__kernel_write);
Al Viro2ec3a122014-08-19 11:48:09 -0400549
Christoph Hellwige13ec932017-09-01 17:39:14 +0200550ssize_t kernel_write(struct file *file, const void *buf, size_t count,
551 loff_t *pos)
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200552{
Christoph Hellwig81238b22020-05-07 19:33:03 +0200553 ssize_t ret;
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200554
Christoph Hellwig81238b22020-05-07 19:33:03 +0200555 ret = rw_verify_area(WRITE, file, pos, count);
556 if (ret)
557 return ret;
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200558
Christoph Hellwig81238b22020-05-07 19:33:03 +0200559 file_start_write(file);
560 ret = __kernel_write(file, buf, count, pos);
561 file_end_write(file);
562 return ret;
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200563}
564EXPORT_SYMBOL(kernel_write);
565
Linus Torvalds1da177e2005-04-16 15:20:36 -0700566ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
567{
568 ssize_t ret;
569
570 if (!(file->f_mode & FMODE_WRITE))
571 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500572 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700573 return -EINVAL;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800574 if (unlikely(!access_ok(buf, count)))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700575 return -EFAULT;
576
577 ret = rw_verify_area(WRITE, file, pos, count);
Christoph Hellwig53ad8622020-05-13 08:51:46 +0200578 if (ret)
579 return ret;
580 if (count > MAX_RW_COUNT)
581 count = MAX_RW_COUNT;
582 file_start_write(file);
583 if (file->f_op->write)
584 ret = file->f_op->write(file, buf, count, pos);
585 else if (file->f_op->write_iter)
586 ret = new_sync_write(file, buf, count, pos);
587 else
588 ret = -EINVAL;
589 if (ret > 0) {
590 fsnotify_modify(file);
591 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700592 }
Christoph Hellwig53ad8622020-05-13 08:51:46 +0200593 inc_syscw(current);
594 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700595 return ret;
596}
597
Kirill Smelkov438ab722019-04-12 12:31:57 +0300598/* file_ppos returns &file->f_pos or NULL if file is stream */
599static inline loff_t *file_ppos(struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700600{
Kirill Smelkov438ab722019-04-12 12:31:57 +0300601 return file->f_mode & FMODE_STREAM ? NULL : &file->f_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700602}
603
Dominik Brodowski3ce4a7b2018-03-13 21:56:26 +0100604ssize_t ksys_read(unsigned int fd, char __user *buf, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700605{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800606 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700607 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700608
Al Viro2903ff02012-08-28 12:52:22 -0400609 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300610 loff_t pos, *ppos = file_ppos(f.file);
611 if (ppos) {
612 pos = *ppos;
613 ppos = &pos;
614 }
615 ret = vfs_read(f.file, buf, count, ppos);
616 if (ret >= 0 && ppos)
617 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800618 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700620 return ret;
621}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700622
Dominik Brodowski3ce4a7b2018-03-13 21:56:26 +0100623SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
624{
625 return ksys_read(fd, buf, count);
626}
627
Dominik Brodowskie7a3e8b2018-03-11 11:34:41 +0100628ssize_t ksys_write(unsigned int fd, const char __user *buf, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700629{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800630 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700631 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700632
Al Viro2903ff02012-08-28 12:52:22 -0400633 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300634 loff_t pos, *ppos = file_ppos(f.file);
635 if (ppos) {
636 pos = *ppos;
637 ppos = &pos;
638 }
639 ret = vfs_write(f.file, buf, count, ppos);
640 if (ret >= 0 && ppos)
641 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800642 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700643 }
644
645 return ret;
646}
647
Dominik Brodowskie7a3e8b2018-03-11 11:34:41 +0100648SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
649 size_t, count)
650{
651 return ksys_write(fd, buf, count);
652}
653
Dominik Brodowski36028d52018-03-19 17:38:31 +0100654ssize_t ksys_pread64(unsigned int fd, char __user *buf, size_t count,
655 loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700656{
Al Viro2903ff02012-08-28 12:52:22 -0400657 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700658 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700659
660 if (pos < 0)
661 return -EINVAL;
662
Al Viro2903ff02012-08-28 12:52:22 -0400663 f = fdget(fd);
664 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700665 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400666 if (f.file->f_mode & FMODE_PREAD)
667 ret = vfs_read(f.file, buf, count, &pos);
668 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700669 }
670
671 return ret;
672}
673
Dominik Brodowski36028d52018-03-19 17:38:31 +0100674SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
675 size_t, count, loff_t, pos)
676{
677 return ksys_pread64(fd, buf, count, pos);
678}
679
680ssize_t ksys_pwrite64(unsigned int fd, const char __user *buf,
681 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700682{
Al Viro2903ff02012-08-28 12:52:22 -0400683 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700684 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700685
686 if (pos < 0)
687 return -EINVAL;
688
Al Viro2903ff02012-08-28 12:52:22 -0400689 f = fdget(fd);
690 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700691 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400692 if (f.file->f_mode & FMODE_PWRITE)
693 ret = vfs_write(f.file, buf, count, &pos);
694 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695 }
696
697 return ret;
698}
699
Dominik Brodowski36028d52018-03-19 17:38:31 +0100700SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
701 size_t, count, loff_t, pos)
702{
703 return ksys_pwrite64(fd, buf, count, pos);
704}
705
Al Viroac15ac02015-03-20 20:10:21 -0400706static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200707 loff_t *ppos, int type, rwf_t flags)
Al Viro293bc982014-02-11 18:37:41 -0500708{
709 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500710 ssize_t ret;
711
712 init_sync_kiocb(&kiocb, filp);
Goldwyn Rodriguesfdd2f5b2017-06-20 07:05:40 -0500713 ret = kiocb_set_rw_flags(&kiocb, flags);
714 if (ret)
715 return ret;
Kirill Smelkov438ab722019-04-12 12:31:57 +0300716 kiocb.ki_pos = (ppos ? *ppos : 0);
Al Viro293bc982014-02-11 18:37:41 -0500717
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100718 if (type == READ)
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100719 ret = call_read_iter(filp, &kiocb, iter);
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100720 else
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100721 ret = call_write_iter(filp, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100722 BUG_ON(ret == -EIOCBQUEUED);
Kirill Smelkov438ab722019-04-12 12:31:57 +0300723 if (ppos)
724 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500725 return ret;
726}
727
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700728/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400729static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200730 loff_t *ppos, int type, rwf_t flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700731{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700732 ssize_t ret = 0;
733
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100734 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100735 return -EOPNOTSUPP;
736
Al Viroac15ac02015-03-20 20:10:21 -0400737 while (iov_iter_count(iter)) {
738 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700739 ssize_t nr;
740
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100741 if (type == READ) {
742 nr = filp->f_op->read(filp, iovec.iov_base,
743 iovec.iov_len, ppos);
744 } else {
745 nr = filp->f_op->write(filp, iovec.iov_base,
746 iovec.iov_len, ppos);
747 }
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700748
749 if (nr < 0) {
750 if (!ret)
751 ret = nr;
752 break;
753 }
754 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400755 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700756 break;
Al Viroac15ac02015-03-20 20:10:21 -0400757 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700758 }
759
760 return ret;
761}
762
Christoph Hellwig19c73582017-05-27 11:16:48 +0300763static ssize_t do_iter_read(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200764 loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700765{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700766 size_t tot_len;
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100767 ssize_t ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700768
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300769 if (!(file->f_mode & FMODE_READ))
770 return -EBADF;
771 if (!(file->f_mode & FMODE_CAN_READ))
772 return -EINVAL;
773
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100774 tot_len = iov_iter_count(iter);
Al Viro0504c072015-03-21 19:40:11 -0400775 if (!tot_len)
776 goto out;
Christoph Hellwig19c73582017-05-27 11:16:48 +0300777 ret = rw_verify_area(READ, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800778 if (ret < 0)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300779 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700780
Christoph Hellwig19c73582017-05-27 11:16:48 +0300781 if (file->f_op->read_iter)
782 ret = do_iter_readv_writev(file, iter, pos, READ, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700783 else
Christoph Hellwig19c73582017-05-27 11:16:48 +0300784 ret = do_loop_readv_writev(file, iter, pos, READ, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700785out:
Christoph Hellwig19c73582017-05-27 11:16:48 +0300786 if (ret >= 0)
787 fsnotify_access(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700788 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700789}
790
Jiufei Xue5dcdc432019-11-20 17:45:25 +0800791ssize_t vfs_iocb_iter_read(struct file *file, struct kiocb *iocb,
792 struct iov_iter *iter)
793{
794 size_t tot_len;
795 ssize_t ret = 0;
796
797 if (!file->f_op->read_iter)
798 return -EINVAL;
799 if (!(file->f_mode & FMODE_READ))
800 return -EBADF;
801 if (!(file->f_mode & FMODE_CAN_READ))
802 return -EINVAL;
803
804 tot_len = iov_iter_count(iter);
805 if (!tot_len)
806 goto out;
807 ret = rw_verify_area(READ, file, &iocb->ki_pos, tot_len);
808 if (ret < 0)
809 return ret;
810
811 ret = call_read_iter(file, iocb, iter);
812out:
813 if (ret >= 0)
814 fsnotify_access(file);
815 return ret;
816}
817EXPORT_SYMBOL(vfs_iocb_iter_read);
818
Christoph Hellwig18e97102017-05-27 11:16:51 +0300819ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200820 rwf_t flags)
Christoph Hellwig18e97102017-05-27 11:16:51 +0300821{
822 if (!file->f_op->read_iter)
823 return -EINVAL;
824 return do_iter_read(file, iter, ppos, flags);
825}
826EXPORT_SYMBOL(vfs_iter_read);
827
Christoph Hellwig19c73582017-05-27 11:16:48 +0300828static ssize_t do_iter_write(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200829 loff_t *pos, rwf_t flags)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300830{
831 size_t tot_len;
832 ssize_t ret = 0;
833
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300834 if (!(file->f_mode & FMODE_WRITE))
835 return -EBADF;
836 if (!(file->f_mode & FMODE_CAN_WRITE))
837 return -EINVAL;
838
Christoph Hellwig19c73582017-05-27 11:16:48 +0300839 tot_len = iov_iter_count(iter);
840 if (!tot_len)
841 return 0;
842 ret = rw_verify_area(WRITE, file, pos, tot_len);
843 if (ret < 0)
844 return ret;
845
Christoph Hellwig19c73582017-05-27 11:16:48 +0300846 if (file->f_op->write_iter)
847 ret = do_iter_readv_writev(file, iter, pos, WRITE, flags);
848 else
849 ret = do_loop_readv_writev(file, iter, pos, WRITE, flags);
Christoph Hellwig19c73582017-05-27 11:16:48 +0300850 if (ret > 0)
851 fsnotify_modify(file);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700852 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700853}
854
Jiufei Xue5dcdc432019-11-20 17:45:25 +0800855ssize_t vfs_iocb_iter_write(struct file *file, struct kiocb *iocb,
856 struct iov_iter *iter)
857{
858 size_t tot_len;
859 ssize_t ret = 0;
860
861 if (!file->f_op->write_iter)
862 return -EINVAL;
863 if (!(file->f_mode & FMODE_WRITE))
864 return -EBADF;
865 if (!(file->f_mode & FMODE_CAN_WRITE))
866 return -EINVAL;
867
868 tot_len = iov_iter_count(iter);
869 if (!tot_len)
870 return 0;
871 ret = rw_verify_area(WRITE, file, &iocb->ki_pos, tot_len);
872 if (ret < 0)
873 return ret;
874
875 ret = call_write_iter(file, iocb, iter);
876 if (ret > 0)
877 fsnotify_modify(file);
878
879 return ret;
880}
881EXPORT_SYMBOL(vfs_iocb_iter_write);
882
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300883ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200884 rwf_t flags)
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300885{
886 if (!file->f_op->write_iter)
887 return -EINVAL;
888 return do_iter_write(file, iter, ppos, flags);
889}
890EXPORT_SYMBOL(vfs_iter_write);
891
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300892ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200893 unsigned long vlen, loff_t *pos, rwf_t flags)
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100894{
895 struct iovec iovstack[UIO_FASTIOV];
896 struct iovec *iov = iovstack;
897 struct iov_iter iter;
898 ssize_t ret;
899
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300900 ret = import_iovec(READ, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300901 if (ret >= 0) {
902 ret = do_iter_read(file, &iter, pos, flags);
903 kfree(iov);
904 }
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100905
906 return ret;
907}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700908
Christoph Hellwig9725d4c2017-09-01 17:39:25 +0200909static ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200910 unsigned long vlen, loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700911{
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300912 struct iovec iovstack[UIO_FASTIOV];
913 struct iovec *iov = iovstack;
914 struct iov_iter iter;
915 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700916
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300917 ret = import_iovec(WRITE, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300918 if (ret >= 0) {
Al Viro62473a22017-07-06 09:15:47 -0400919 file_start_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300920 ret = do_iter_write(file, &iter, pos, flags);
Al Viro62473a22017-07-06 09:15:47 -0400921 file_end_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300922 kfree(iov);
923 }
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300924 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700925}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700926
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100927static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200928 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700929{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800930 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700931 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700932
Al Viro2903ff02012-08-28 12:52:22 -0400933 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300934 loff_t pos, *ppos = file_ppos(f.file);
935 if (ppos) {
936 pos = *ppos;
937 ppos = &pos;
938 }
939 ret = vfs_readv(f.file, vec, vlen, ppos, flags);
940 if (ret >= 0 && ppos)
941 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800942 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700943 }
944
945 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800946 add_rchar(current, ret);
947 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700948 return ret;
949}
950
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100951static ssize_t do_writev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200952 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700953{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800954 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700955 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700956
Al Viro2903ff02012-08-28 12:52:22 -0400957 if (f.file) {
Kirill Smelkov438ab722019-04-12 12:31:57 +0300958 loff_t pos, *ppos = file_ppos(f.file);
959 if (ppos) {
960 pos = *ppos;
961 ppos = &pos;
962 }
963 ret = vfs_writev(f.file, vec, vlen, ppos, flags);
964 if (ret >= 0 && ppos)
965 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800966 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700967 }
968
969 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800970 add_wchar(current, ret);
971 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700972 return ret;
973}
974
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700975static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700976{
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700977#define HALF_LONG_BITS (BITS_PER_LONG / 2)
978 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
979}
980
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100981static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200982 unsigned long vlen, loff_t pos, rwf_t flags)
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700983{
Al Viro2903ff02012-08-28 12:52:22 -0400984 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700985 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700986
987 if (pos < 0)
988 return -EINVAL;
989
Al Viro2903ff02012-08-28 12:52:22 -0400990 f = fdget(fd);
991 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700992 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400993 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100994 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -0400995 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700996 }
997
998 if (ret > 0)
999 add_rchar(current, ret);
1000 inc_syscr(current);
1001 return ret;
1002}
1003
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001004static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001005 unsigned long vlen, loff_t pos, rwf_t flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001006{
Al Viro2903ff02012-08-28 12:52:22 -04001007 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001008 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001009
1010 if (pos < 0)
1011 return -EINVAL;
1012
Al Viro2903ff02012-08-28 12:52:22 -04001013 f = fdget(fd);
1014 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001015 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001016 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001017 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001018 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001019 }
1020
1021 if (ret > 0)
1022 add_wchar(current, ret);
1023 inc_syscw(current);
1024 return ret;
1025}
1026
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001027SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
1028 unsigned long, vlen)
1029{
1030 return do_readv(fd, vec, vlen, 0);
1031}
1032
1033SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
1034 unsigned long, vlen)
1035{
1036 return do_writev(fd, vec, vlen, 0);
1037}
1038
1039SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
1040 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1041{
1042 loff_t pos = pos_from_hilo(pos_h, pos_l);
1043
1044 return do_preadv(fd, vec, vlen, pos, 0);
1045}
1046
1047SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1048 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001049 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001050{
1051 loff_t pos = pos_from_hilo(pos_h, pos_l);
1052
1053 if (pos == -1)
1054 return do_readv(fd, vec, vlen, flags);
1055
1056 return do_preadv(fd, vec, vlen, pos, flags);
1057}
1058
1059SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
1060 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1061{
1062 loff_t pos = pos_from_hilo(pos_h, pos_l);
1063
1064 return do_pwritev(fd, vec, vlen, pos, 0);
1065}
1066
1067SYSCALL_DEFINE6(pwritev2, unsigned long, fd, const struct iovec __user *, vec,
1068 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001069 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001070{
1071 loff_t pos = pos_from_hilo(pos_h, pos_l);
1072
1073 if (pos == -1)
1074 return do_writev(fd, vec, vlen, flags);
1075
1076 return do_pwritev(fd, vec, vlen, pos, flags);
1077}
1078
Al Viro72ec3512013-03-20 10:42:10 -04001079#ifdef CONFIG_COMPAT
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001080static size_t compat_readv(struct file *file,
1081 const struct compat_iovec __user *vec,
1082 unsigned long vlen, loff_t *pos, rwf_t flags)
1083{
1084 struct iovec iovstack[UIO_FASTIOV];
1085 struct iovec *iov = iovstack;
1086 struct iov_iter iter;
1087 ssize_t ret;
1088
1089 ret = import_iovec(READ, (const struct iovec __user *)vec, vlen,
1090 UIO_FASTIOV, &iov, &iter);
1091 if (ret >= 0) {
1092 ret = do_iter_read(file, &iter, pos, flags);
1093 kfree(iov);
1094 }
1095 if (ret > 0)
1096 add_rchar(current, ret);
1097 inc_syscr(current);
1098 return ret;
1099}
1100
1101static size_t do_compat_readv(compat_ulong_t fd,
1102 const struct compat_iovec __user *vec,
1103 compat_ulong_t vlen, rwf_t flags)
1104{
1105 struct fd f = fdget_pos(fd);
1106 ssize_t ret;
1107 loff_t pos;
1108
1109 if (!f.file)
1110 return -EBADF;
1111 pos = f.file->f_pos;
1112 ret = compat_readv(f.file, vec, vlen, &pos, flags);
1113 if (ret >= 0)
1114 f.file->f_pos = pos;
1115 fdput_pos(f);
1116 return ret;
1117
1118}
1119
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001120COMPAT_SYSCALL_DEFINE3(readv, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001121 const struct compat_iovec __user *,vec,
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001122 compat_ulong_t, vlen)
1123{
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001124 return do_compat_readv(fd, vec, vlen, 0);
1125}
1126
1127static long do_compat_preadv64(unsigned long fd,
1128 const struct compat_iovec __user *vec,
1129 unsigned long vlen, loff_t pos, rwf_t flags)
1130{
1131 struct fd f;
1132 ssize_t ret;
1133
1134 if (pos < 0)
1135 return -EINVAL;
1136 f = fdget(fd);
1137 if (!f.file)
1138 return -EBADF;
1139 ret = -ESPIPE;
1140 if (f.file->f_mode & FMODE_PREAD)
1141 ret = compat_readv(f.file, vec, vlen, &pos, flags);
1142 fdput(f);
1143 return ret;
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001144}
1145
Heiko Carstens378a10f2014-03-05 10:43:51 +01001146#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1147COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001148 const struct compat_iovec __user *,vec,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001149 unsigned long, vlen, loff_t, pos)
1150{
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001151 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001152}
1153#endif
1154
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001155COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001156 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001157 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001158{
1159 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001160
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001161 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001162}
1163
H.J. Lu3ebfd812016-07-14 12:31:53 -07001164#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64V2
1165COMPAT_SYSCALL_DEFINE5(preadv64v2, unsigned long, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001166 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001167 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001168{
Aurelien Jarnocc4b1242018-12-06 20:05:34 +01001169 if (pos == -1)
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001170 return do_compat_readv(fd, vec, vlen, flags);
1171
1172 return do_compat_preadv64(fd, vec, vlen, pos, flags);
H.J. Lu3ebfd812016-07-14 12:31:53 -07001173}
1174#endif
1175
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001176COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001177 const struct compat_iovec __user *,vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001178 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001179 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001180{
1181 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1182
1183 if (pos == -1)
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001184 return do_compat_readv(fd, vec, vlen, flags);
1185
1186 return do_compat_preadv64(fd, vec, vlen, pos, flags);
1187}
1188
1189static size_t compat_writev(struct file *file,
1190 const struct compat_iovec __user *vec,
1191 unsigned long vlen, loff_t *pos, rwf_t flags)
1192{
1193 struct iovec iovstack[UIO_FASTIOV];
1194 struct iovec *iov = iovstack;
1195 struct iov_iter iter;
1196 ssize_t ret;
1197
1198 ret = import_iovec(WRITE, (const struct iovec __user *)vec, vlen,
1199 UIO_FASTIOV, &iov, &iter);
1200 if (ret >= 0) {
1201 file_start_write(file);
1202 ret = do_iter_write(file, &iter, pos, flags);
1203 file_end_write(file);
1204 kfree(iov);
1205 }
1206 if (ret > 0)
1207 add_wchar(current, ret);
1208 inc_syscw(current);
1209 return ret;
1210}
1211
1212static size_t do_compat_writev(compat_ulong_t fd,
1213 const struct compat_iovec __user* vec,
1214 compat_ulong_t vlen, rwf_t flags)
1215{
1216 struct fd f = fdget_pos(fd);
1217 ssize_t ret;
1218 loff_t pos;
1219
1220 if (!f.file)
1221 return -EBADF;
1222 pos = f.file->f_pos;
1223 ret = compat_writev(f.file, vec, vlen, &pos, flags);
1224 if (ret >= 0)
1225 f.file->f_pos = pos;
1226 fdput_pos(f);
1227 return ret;
Al Viro72ec3512013-03-20 10:42:10 -04001228}
1229
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001230COMPAT_SYSCALL_DEFINE3(writev, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001231 const struct compat_iovec __user *, vec,
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001232 compat_ulong_t, vlen)
1233{
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001234 return do_compat_writev(fd, vec, vlen, 0);
1235}
1236
1237static long do_compat_pwritev64(unsigned long fd,
1238 const struct compat_iovec __user *vec,
1239 unsigned long vlen, loff_t pos, rwf_t flags)
1240{
1241 struct fd f;
1242 ssize_t ret;
1243
1244 if (pos < 0)
1245 return -EINVAL;
1246 f = fdget(fd);
1247 if (!f.file)
1248 return -EBADF;
1249 ret = -ESPIPE;
1250 if (f.file->f_mode & FMODE_PWRITE)
1251 ret = compat_writev(f.file, vec, vlen, &pos, flags);
1252 fdput(f);
1253 return ret;
Greg Kroah-Hartman9b71b122020-10-23 10:20:23 +02001254}
1255
Heiko Carstens378a10f2014-03-05 10:43:51 +01001256#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1257COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001258 const struct compat_iovec __user *,vec,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001259 unsigned long, vlen, loff_t, pos)
1260{
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001261 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001262}
1263#endif
1264
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001265COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001266 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001267 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001268{
1269 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001270
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001271 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001272}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001273
H.J. Lu3ebfd812016-07-14 12:31:53 -07001274#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64V2
1275COMPAT_SYSCALL_DEFINE5(pwritev64v2, unsigned long, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001276 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001277 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001278{
Aurelien Jarnocc4b1242018-12-06 20:05:34 +01001279 if (pos == -1)
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001280 return do_compat_writev(fd, vec, vlen, flags);
1281
1282 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
H.J. Lu3ebfd812016-07-14 12:31:53 -07001283}
1284#endif
1285
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001286COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001287 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001288 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001289{
1290 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1291
1292 if (pos == -1)
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001293 return do_compat_writev(fd, vec, vlen, flags);
1294
1295 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001296}
Greg Kroah-Hartman75bd2bc2020-10-23 10:20:31 +02001297
1298#endif
Al Viro72ec3512013-03-20 10:42:10 -04001299
Al Viro19f4fc32013-02-24 02:17:03 -05001300static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1301 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001302{
Al Viro2903ff02012-08-28 12:52:22 -04001303 struct fd in, out;
1304 struct inode *in_inode, *out_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001305 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001306 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001307 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001308 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001309
1310 /*
1311 * Get input file, and verify that it is ok..
1312 */
1313 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001314 in = fdget(in_fd);
1315 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001316 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001317 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001318 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001319 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001320 if (!ppos) {
1321 pos = in.file->f_pos;
1322 } else {
1323 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001324 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001325 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001326 }
1327 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001328 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001329 goto fput_in;
Al Virobc613842016-03-31 21:48:20 -04001330 if (count > MAX_RW_COUNT)
1331 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001332
Linus Torvalds1da177e2005-04-16 15:20:36 -07001333 /*
1334 * Get output file, and verify that it is ok..
1335 */
1336 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001337 out = fdget(out_fd);
1338 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001339 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001340 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001341 goto fput_out;
Al Viro496ad9a2013-01-23 17:07:38 -05001342 in_inode = file_inode(in.file);
1343 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001344 out_pos = out.file->f_pos;
1345 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001346 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001347 goto fput_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001348
Linus Torvalds1da177e2005-04-16 15:20:36 -07001349 if (!max)
1350 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1351
Linus Torvalds1da177e2005-04-16 15:20:36 -07001352 if (unlikely(pos + count > max)) {
1353 retval = -EOVERFLOW;
1354 if (pos >= max)
1355 goto fput_out;
1356 count = max - pos;
1357 }
1358
Jens Axboed96e6e72007-06-11 12:18:52 +02001359 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001360#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001361 /*
1362 * We need to debate whether we can enable this or not. The
1363 * man page documents EAGAIN return for the output at least,
1364 * and the application is arguably buggy if it doesn't expect
1365 * EAGAIN on a non-blocking file descriptor.
1366 */
Al Viro2903ff02012-08-28 12:52:22 -04001367 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001368 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001369#endif
Al Viro50cd2c52013-05-23 20:10:34 -04001370 file_start_write(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001371 retval = do_splice_direct(in.file, &pos, out.file, &out_pos, count, fl);
Al Viro50cd2c52013-05-23 20:10:34 -04001372 file_end_write(out.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001373
1374 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001375 add_rchar(current, retval);
1376 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001377 fsnotify_access(in.file);
1378 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001379 out.file->f_pos = out_pos;
1380 if (ppos)
1381 *ppos = pos;
1382 else
1383 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001384 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001385
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001386 inc_syscr(current);
1387 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001388 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001389 retval = -EOVERFLOW;
1390
1391fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001392 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001393fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001394 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001395out:
1396 return retval;
1397}
1398
Heiko Carstens002c8972009-01-14 14:14:18 +01001399SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001400{
1401 loff_t pos;
1402 off_t off;
1403 ssize_t ret;
1404
1405 if (offset) {
1406 if (unlikely(get_user(off, offset)))
1407 return -EFAULT;
1408 pos = off;
1409 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1410 if (unlikely(put_user(pos, offset)))
1411 return -EFAULT;
1412 return ret;
1413 }
1414
1415 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1416}
1417
Heiko Carstens002c8972009-01-14 14:14:18 +01001418SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001419{
1420 loff_t pos;
1421 ssize_t ret;
1422
1423 if (offset) {
1424 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1425 return -EFAULT;
1426 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1427 if (unlikely(put_user(pos, offset)))
1428 return -EFAULT;
1429 return ret;
1430 }
1431
1432 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1433}
Al Viro19f4fc32013-02-24 02:17:03 -05001434
1435#ifdef CONFIG_COMPAT
1436COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1437 compat_off_t __user *, offset, compat_size_t, count)
1438{
1439 loff_t pos;
1440 off_t off;
1441 ssize_t ret;
1442
1443 if (offset) {
1444 if (unlikely(get_user(off, offset)))
1445 return -EFAULT;
1446 pos = off;
1447 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1448 if (unlikely(put_user(pos, offset)))
1449 return -EFAULT;
1450 return ret;
1451 }
1452
1453 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1454}
1455
1456COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1457 compat_loff_t __user *, offset, compat_size_t, count)
1458{
1459 loff_t pos;
1460 ssize_t ret;
1461
1462 if (offset) {
1463 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1464 return -EFAULT;
1465 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1466 if (unlikely(put_user(pos, offset)))
1467 return -EFAULT;
1468 return ret;
1469 }
1470
1471 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1472}
1473#endif
Zach Brown29732932015-11-10 16:53:30 -05001474
Dave Chinnerf16acc92019-06-05 08:04:47 -07001475/**
1476 * generic_copy_file_range - copy data between two files
1477 * @file_in: file structure to read from
1478 * @pos_in: file offset to read from
1479 * @file_out: file structure to write data to
1480 * @pos_out: file offset to write data to
1481 * @len: amount of data to copy
1482 * @flags: copy flags
1483 *
1484 * This is a generic filesystem helper to copy data from one file to another.
1485 * It has no constraints on the source or destination file owners - the files
1486 * can belong to different superblocks and different filesystem types. Short
1487 * copies are allowed.
1488 *
1489 * This should be called from the @file_out filesystem, as per the
1490 * ->copy_file_range() method.
1491 *
1492 * Returns the number of bytes copied or a negative error indicating the
1493 * failure.
1494 */
1495
1496ssize_t generic_copy_file_range(struct file *file_in, loff_t pos_in,
1497 struct file *file_out, loff_t pos_out,
1498 size_t len, unsigned int flags)
1499{
1500 return do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1501 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1502}
1503EXPORT_SYMBOL(generic_copy_file_range);
1504
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001505static ssize_t do_copy_file_range(struct file *file_in, loff_t pos_in,
1506 struct file *file_out, loff_t pos_out,
1507 size_t len, unsigned int flags)
1508{
Amir Goldstein5dae2222019-06-05 08:04:50 -07001509 /*
1510 * Although we now allow filesystems to handle cross sb copy, passing
1511 * a file of the wrong filesystem type to filesystem driver can result
1512 * in an attempt to dereference the wrong type of ->private_data, so
1513 * avoid doing that until we really have a good reason. NFS defines
1514 * several different file_system_type structures, but they all end up
1515 * using the same ->copy_file_range() function pointer.
1516 */
1517 if (file_out->f_op->copy_file_range &&
1518 file_out->f_op->copy_file_range == file_in->f_op->copy_file_range)
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001519 return file_out->f_op->copy_file_range(file_in, pos_in,
1520 file_out, pos_out,
1521 len, flags);
1522
1523 return generic_copy_file_range(file_in, pos_in, file_out, pos_out, len,
1524 flags);
1525}
1526
Zach Brown29732932015-11-10 16:53:30 -05001527/*
1528 * copy_file_range() differs from regular file read and write in that it
1529 * specifically allows return partial success. When it does so is up to
1530 * the copy_file_range method.
1531 */
1532ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1533 struct file *file_out, loff_t pos_out,
1534 size_t len, unsigned int flags)
1535{
Zach Brown29732932015-11-10 16:53:30 -05001536 ssize_t ret;
1537
1538 if (flags != 0)
1539 return -EINVAL;
1540
Amir Goldstein96e6e8f2019-06-05 08:04:49 -07001541 ret = generic_copy_file_checks(file_in, pos_in, file_out, pos_out, &len,
1542 flags);
Amir Goldsteina3171352019-06-05 08:04:48 -07001543 if (unlikely(ret))
1544 return ret;
Amir Goldstein11cbfb12017-01-31 10:34:56 +02001545
Zach Brown29732932015-11-10 16:53:30 -05001546 ret = rw_verify_area(READ, file_in, &pos_in, len);
Al Virobc613842016-03-31 21:48:20 -04001547 if (unlikely(ret))
1548 return ret;
1549
1550 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1551 if (unlikely(ret))
Zach Brown29732932015-11-10 16:53:30 -05001552 return ret;
1553
Zach Brown29732932015-11-10 16:53:30 -05001554 if (len == 0)
1555 return 0;
1556
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001557 file_start_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001558
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001559 /*
1560 * Try cloning first, this is supported by more file systems, and
1561 * more efficient if both clone and copy are supported (e.g. NFS).
1562 */
Amir Goldstein5dae2222019-06-05 08:04:50 -07001563 if (file_in->f_op->remap_file_range &&
1564 file_inode(file_in)->i_sb == file_inode(file_out)->i_sb) {
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001565 loff_t cloned;
1566
1567 cloned = file_in->f_op->remap_file_range(file_in, pos_in,
1568 file_out, pos_out,
Darrick J. Wongeca36542018-10-30 10:42:10 +11001569 min_t(loff_t, MAX_RW_COUNT, len),
1570 REMAP_FILE_CAN_SHORTEN);
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001571 if (cloned > 0) {
1572 ret = cloned;
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001573 goto done;
1574 }
1575 }
1576
Dave Chinner64bf5ff2019-06-05 08:04:47 -07001577 ret = do_copy_file_range(file_in, pos_in, file_out, pos_out, len,
1578 flags);
1579 WARN_ON_ONCE(ret == -EOPNOTSUPP);
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001580done:
Zach Brown29732932015-11-10 16:53:30 -05001581 if (ret > 0) {
1582 fsnotify_access(file_in);
1583 add_rchar(current, ret);
1584 fsnotify_modify(file_out);
1585 add_wchar(current, ret);
1586 }
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001587
Zach Brown29732932015-11-10 16:53:30 -05001588 inc_syscr(current);
1589 inc_syscw(current);
1590
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001591 file_end_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001592
1593 return ret;
1594}
1595EXPORT_SYMBOL(vfs_copy_file_range);
1596
1597SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1598 int, fd_out, loff_t __user *, off_out,
1599 size_t, len, unsigned int, flags)
1600{
1601 loff_t pos_in;
1602 loff_t pos_out;
1603 struct fd f_in;
1604 struct fd f_out;
1605 ssize_t ret = -EBADF;
1606
1607 f_in = fdget(fd_in);
1608 if (!f_in.file)
1609 goto out2;
1610
1611 f_out = fdget(fd_out);
1612 if (!f_out.file)
1613 goto out1;
1614
1615 ret = -EFAULT;
1616 if (off_in) {
1617 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1618 goto out;
1619 } else {
1620 pos_in = f_in.file->f_pos;
1621 }
1622
1623 if (off_out) {
1624 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1625 goto out;
1626 } else {
1627 pos_out = f_out.file->f_pos;
1628 }
1629
1630 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1631 flags);
1632 if (ret > 0) {
1633 pos_in += ret;
1634 pos_out += ret;
1635
1636 if (off_in) {
1637 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1638 ret = -EFAULT;
1639 } else {
1640 f_in.file->f_pos = pos_in;
1641 }
1642
1643 if (off_out) {
1644 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1645 ret = -EFAULT;
1646 } else {
1647 f_out.file->f_pos = pos_out;
1648 }
1649 }
1650
1651out:
1652 fdput(f_out);
1653out1:
1654 fdput(f_in);
1655out2:
1656 return ret;
1657}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001658
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001659static int remap_verify_area(struct file *file, loff_t pos, loff_t len,
1660 bool write)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001661{
1662 struct inode *inode = file_inode(file);
1663
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001664 if (unlikely(pos < 0 || len < 0))
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001665 return -EINVAL;
1666
1667 if (unlikely((loff_t) (pos + len) < 0))
1668 return -EINVAL;
1669
1670 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
1671 loff_t end = len ? pos + len - 1 : OFFSET_MAX;
1672 int retval;
1673
1674 retval = locks_mandatory_area(inode, file, pos, end,
1675 write ? F_WRLCK : F_RDLCK);
1676 if (retval < 0)
1677 return retval;
1678 }
1679
1680 return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
1681}
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001682/*
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001683 * Ensure that we don't remap a partial EOF block in the middle of something
1684 * else. Assume that the offsets have already been checked for block
1685 * alignment.
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001686 *
Filipe Mananaa5e6ea12019-12-16 18:26:55 +00001687 * For clone we only link a partial EOF block above or at the destination file's
1688 * EOF. For deduplication we accept a partial EOF block only if it ends at the
1689 * destination file's EOF (can not link it into the middle of a file).
Darrick J. Wongeca36542018-10-30 10:42:10 +11001690 *
1691 * Shorten the request if possible.
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001692 */
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001693static int generic_remap_check_len(struct inode *inode_in,
1694 struct inode *inode_out,
1695 loff_t pos_out,
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001696 loff_t *len,
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11001697 unsigned int remap_flags)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001698{
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001699 u64 blkmask = i_blocksize(inode_in) - 1;
Darrick J. Wongeca36542018-10-30 10:42:10 +11001700 loff_t new_len = *len;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001701
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001702 if ((*len & blkmask) == 0)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001703 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001704
Filipe Mananaa5e6ea12019-12-16 18:26:55 +00001705 if (pos_out + *len < i_size_read(inode_out))
Darrick J. Wongeca36542018-10-30 10:42:10 +11001706 new_len &= ~blkmask;
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001707
Darrick J. Wongeca36542018-10-30 10:42:10 +11001708 if (new_len == *len)
1709 return 0;
1710
1711 if (remap_flags & REMAP_FILE_CAN_SHORTEN) {
1712 *len = new_len;
1713 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001714 }
1715
Darrick J. Wongeca36542018-10-30 10:42:10 +11001716 return (remap_flags & REMAP_FILE_DEDUP) ? -EBADE : -EINVAL;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001717}
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001718
Darrick J. Wongedc58dd2019-08-11 15:52:25 -07001719/* Read a page's worth of file data into the page cache. */
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001720static struct page *vfs_dedupe_get_page(struct inode *inode, loff_t offset)
1721{
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001722 struct page *page;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001723
Darrick J. Wongc32e5f32018-10-30 10:42:17 +11001724 page = read_mapping_page(inode->i_mapping, offset >> PAGE_SHIFT, NULL);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001725 if (IS_ERR(page))
1726 return page;
1727 if (!PageUptodate(page)) {
1728 put_page(page);
1729 return ERR_PTR(-EIO);
1730 }
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001731 return page;
1732}
1733
1734/*
Darrick J. Wongedc58dd2019-08-11 15:52:25 -07001735 * Lock two pages, ensuring that we lock in offset order if the pages are from
1736 * the same file.
1737 */
1738static void vfs_lock_two_pages(struct page *page1, struct page *page2)
1739{
1740 /* Always lock in order of increasing index. */
1741 if (page1->index > page2->index)
1742 swap(page1, page2);
1743
1744 lock_page(page1);
1745 if (page1 != page2)
1746 lock_page(page2);
1747}
1748
1749/* Unlock two pages, being careful not to unlock the same page twice. */
1750static void vfs_unlock_two_pages(struct page *page1, struct page *page2)
1751{
1752 unlock_page(page1);
1753 if (page1 != page2)
1754 unlock_page(page2);
1755}
1756
1757/*
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001758 * Compare extents of two files to see if they are the same.
1759 * Caller must have locked both inodes to prevent write races.
1760 */
Darrick J. Wongc32e5f32018-10-30 10:42:17 +11001761static int vfs_dedupe_file_range_compare(struct inode *src, loff_t srcoff,
1762 struct inode *dest, loff_t destoff,
1763 loff_t len, bool *is_same)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001764{
1765 loff_t src_poff;
1766 loff_t dest_poff;
1767 void *src_addr;
1768 void *dest_addr;
1769 struct page *src_page;
1770 struct page *dest_page;
1771 loff_t cmp_len;
1772 bool same;
1773 int error;
1774
1775 error = -EINVAL;
1776 same = true;
1777 while (len) {
1778 src_poff = srcoff & (PAGE_SIZE - 1);
1779 dest_poff = destoff & (PAGE_SIZE - 1);
1780 cmp_len = min(PAGE_SIZE - src_poff,
1781 PAGE_SIZE - dest_poff);
1782 cmp_len = min(cmp_len, len);
1783 if (cmp_len <= 0)
1784 goto out_error;
1785
1786 src_page = vfs_dedupe_get_page(src, srcoff);
1787 if (IS_ERR(src_page)) {
1788 error = PTR_ERR(src_page);
1789 goto out_error;
1790 }
1791 dest_page = vfs_dedupe_get_page(dest, destoff);
1792 if (IS_ERR(dest_page)) {
1793 error = PTR_ERR(dest_page);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001794 put_page(src_page);
1795 goto out_error;
1796 }
Darrick J. Wongedc58dd2019-08-11 15:52:25 -07001797
1798 vfs_lock_two_pages(src_page, dest_page);
1799
1800 /*
1801 * Now that we've locked both pages, make sure they're still
1802 * mapped to the file data we're interested in. If not,
1803 * someone is invalidating pages on us and we lose.
1804 */
1805 if (!PageUptodate(src_page) || !PageUptodate(dest_page) ||
1806 src_page->mapping != src->i_mapping ||
1807 dest_page->mapping != dest->i_mapping) {
1808 same = false;
1809 goto unlock;
1810 }
1811
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001812 src_addr = kmap_atomic(src_page);
1813 dest_addr = kmap_atomic(dest_page);
1814
1815 flush_dcache_page(src_page);
1816 flush_dcache_page(dest_page);
1817
1818 if (memcmp(src_addr + src_poff, dest_addr + dest_poff, cmp_len))
1819 same = false;
1820
1821 kunmap_atomic(dest_addr);
1822 kunmap_atomic(src_addr);
Darrick J. Wongedc58dd2019-08-11 15:52:25 -07001823unlock:
1824 vfs_unlock_two_pages(src_page, dest_page);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001825 put_page(dest_page);
1826 put_page(src_page);
1827
1828 if (!same)
1829 break;
1830
1831 srcoff += cmp_len;
1832 destoff += cmp_len;
1833 len -= cmp_len;
1834 }
1835
1836 *is_same = same;
1837 return 0;
1838
1839out_error:
1840 return error;
1841}
Darrick J. Wongc32e5f32018-10-30 10:42:17 +11001842
1843/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001844 * Check that the two inodes are eligible for cloning, the ranges make
1845 * sense, and then flush all dirty data. Caller must ensure that the
1846 * inodes have been locked against any other modifications.
1847 *
Darrick J. Wong8c5c8362018-10-30 10:42:24 +11001848 * If there's an error, then the usual negative error code is returned.
1849 * Otherwise returns 0 with *len set to the request length.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001850 */
Darrick J. Wonga83ab012018-10-30 10:41:08 +11001851int generic_remap_file_range_prep(struct file *file_in, loff_t pos_in,
1852 struct file *file_out, loff_t pos_out,
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001853 loff_t *len, unsigned int remap_flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001854{
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001855 struct inode *inode_in = file_inode(file_in);
1856 struct inode *inode_out = file_inode(file_out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001857 bool same_inode = (inode_in == inode_out);
1858 int ret;
1859
1860 /* Don't touch certain kinds of inodes */
1861 if (IS_IMMUTABLE(inode_out))
1862 return -EPERM;
1863
1864 if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
1865 return -ETXTBSY;
1866
1867 /* Don't reflink dirs, pipes, sockets... */
1868 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1869 return -EISDIR;
1870 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1871 return -EINVAL;
1872
Linus Torvalds1da177e2005-04-16 15:20:36 -07001873 /* Zero length dedupe exits immediately; reflink goes to EOF. */
1874 if (*len == 0) {
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001875 loff_t isize = i_size_read(inode_in);
1876
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11001877 if ((remap_flags & REMAP_FILE_DEDUP) || pos_in == isize)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001878 return 0;
1879 if (pos_in > isize)
1880 return -EINVAL;
1881 *len = isize - pos_in;
Darrick J. Wong2c5773f2018-10-30 10:40:39 +11001882 if (*len == 0)
1883 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001884 }
1885
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001886 /* Check that we don't violate system file offset limits. */
1887 ret = generic_remap_checks(file_in, pos_in, file_out, pos_out, len,
Darrick J. Wong3d281932018-10-30 10:41:34 +11001888 remap_flags);
Darrick J. Wong1383a7e2018-10-30 10:40:31 +11001889 if (ret)
1890 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001891
1892 /* Wait for the completion of any pending IOs on both files */
1893 inode_dio_wait(inode_in);
1894 if (!same_inode)
1895 inode_dio_wait(inode_out);
1896
1897 ret = filemap_write_and_wait_range(inode_in->i_mapping,
1898 pos_in, pos_in + *len - 1);
1899 if (ret)
1900 return ret;
1901
1902 ret = filemap_write_and_wait_range(inode_out->i_mapping,
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001903 pos_out, pos_out + *len - 1);
1904 if (ret)
1905 return ret;
1906
1907 /*
1908 * Check that the extents are the same.
1909 */
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11001910 if (remap_flags & REMAP_FILE_DEDUP) {
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001911 bool is_same = false;
1912
1913 ret = vfs_dedupe_file_range_compare(inode_in, pos_in,
1914 inode_out, pos_out, *len, &is_same);
1915 if (ret)
1916 return ret;
1917 if (!is_same)
1918 return -EBADE;
1919 }
1920
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001921 ret = generic_remap_check_len(inode_in, inode_out, pos_out, len,
Darrick J. Wonga91ae49b2018-10-30 10:41:28 +11001922 remap_flags);
Darrick J. Wong07d19dc2018-10-30 10:40:55 +11001923 if (ret)
1924 return ret;
1925
Darrick J. Wong8dde90b2018-10-30 10:41:41 +11001926 /* If can't alter the file contents, we're done. */
Amir Goldsteine38f7f52019-06-05 08:04:49 -07001927 if (!(remap_flags & REMAP_FILE_DEDUP))
1928 ret = file_modified(file_out);
Darrick J. Wong8dde90b2018-10-30 10:41:41 +11001929
Amir Goldsteine38f7f52019-06-05 08:04:49 -07001930 return ret;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001931}
Darrick J. Wonga83ab012018-10-30 10:41:08 +11001932EXPORT_SYMBOL(generic_remap_file_range_prep);
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001933
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001934loff_t do_clone_file_range(struct file *file_in, loff_t pos_in,
Darrick J. Wong452ce652018-10-30 10:41:56 +11001935 struct file *file_out, loff_t pos_out,
1936 loff_t len, unsigned int remap_flags)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001937{
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001938 loff_t ret;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001939
Darrick J. Wong67445572018-11-30 12:32:38 -08001940 WARN_ON_ONCE(remap_flags & REMAP_FILE_DEDUP);
Darrick J. Wong452ce652018-10-30 10:41:56 +11001941
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001942 /*
1943 * FICLONE/FICLONERANGE ioctls enforce that src and dest files are on
1944 * the same mount. Practically, they only need to be on the same file
1945 * system.
Darrick J. Wongd79bdd52015-12-19 00:55:52 -08001946 */
Amir Goldsteina3171352019-06-05 08:04:48 -07001947 if (file_inode(file_in)->i_sb != file_inode(file_out)->i_sb)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001948 return -EXDEV;
1949
Amir Goldsteina3171352019-06-05 08:04:48 -07001950 ret = generic_file_rw_checks(file_in, file_out);
1951 if (ret < 0)
1952 return ret;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001953
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11001954 if (!file_in->f_op->remap_file_range)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001955 return -EOPNOTSUPP;
1956
Darrick J. Wong60950282018-10-30 10:41:14 +11001957 ret = remap_verify_area(file_in, pos_in, len, false);
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001958 if (ret)
1959 return ret;
1960
Darrick J. Wong60950282018-10-30 10:41:14 +11001961 ret = remap_verify_area(file_out, pos_out, len, true);
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001962 if (ret)
1963 return ret;
1964
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11001965 ret = file_in->f_op->remap_file_range(file_in, pos_in,
Darrick J. Wong452ce652018-10-30 10:41:56 +11001966 file_out, pos_out, len, remap_flags);
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001967 if (ret < 0)
1968 return ret;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001969
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001970 fsnotify_access(file_in);
1971 fsnotify_modify(file_out);
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001972 return ret;
1973}
1974EXPORT_SYMBOL(do_clone_file_range);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001975
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001976loff_t vfs_clone_file_range(struct file *file_in, loff_t pos_in,
Darrick J. Wong452ce652018-10-30 10:41:56 +11001977 struct file *file_out, loff_t pos_out,
1978 loff_t len, unsigned int remap_flags)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001979{
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11001980 loff_t ret;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001981
1982 file_start_write(file_out);
Darrick J. Wong452ce652018-10-30 10:41:56 +11001983 ret = do_clone_file_range(file_in, pos_in, file_out, pos_out, len,
1984 remap_flags);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001985 file_end_write(file_out);
1986
1987 return ret;
1988}
1989EXPORT_SYMBOL(vfs_clone_file_range);
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001990
Mark Fasheh5de44802018-09-10 16:21:17 -07001991/* Check whether we are allowed to dedupe the destination file */
1992static bool allow_file_dedupe(struct file *file)
1993{
1994 if (capable(CAP_SYS_ADMIN))
1995 return true;
1996 if (file->f_mode & FMODE_WRITE)
1997 return true;
1998 if (uid_eq(current_fsuid(), file_inode(file)->i_uid))
1999 return true;
2000 if (!inode_permission(file_inode(file), MAY_WRITE))
2001 return true;
2002 return false;
2003}
2004
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002005loff_t vfs_dedupe_file_range_one(struct file *src_file, loff_t src_pos,
2006 struct file *dst_file, loff_t dst_pos,
Darrick J. Wongdf365832018-10-30 10:42:03 +11002007 loff_t len, unsigned int remap_flags)
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002008{
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002009 loff_t ret;
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002010
Darrick J. Wongeca36542018-10-30 10:42:10 +11002011 WARN_ON_ONCE(remap_flags & ~(REMAP_FILE_DEDUP |
2012 REMAP_FILE_CAN_SHORTEN));
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002013
2014 ret = mnt_want_write_file(dst_file);
2015 if (ret)
2016 return ret;
2017
Darrick J. Wong60950282018-10-30 10:41:14 +11002018 ret = remap_verify_area(dst_file, dst_pos, len, true);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002019 if (ret < 0)
2020 goto out_drop_write;
2021
Mark Fasheh85c95f22018-09-10 16:21:18 -07002022 ret = -EPERM;
Mark Fasheh5de44802018-09-10 16:21:17 -07002023 if (!allow_file_dedupe(dst_file))
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002024 goto out_drop_write;
2025
2026 ret = -EXDEV;
2027 if (src_file->f_path.mnt != dst_file->f_path.mnt)
2028 goto out_drop_write;
2029
2030 ret = -EISDIR;
2031 if (S_ISDIR(file_inode(dst_file)->i_mode))
2032 goto out_drop_write;
2033
2034 ret = -EINVAL;
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11002035 if (!dst_file->f_op->remap_file_range)
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002036 goto out_drop_write;
2037
Darrick J. Wong9aae2052018-10-30 10:41:01 +11002038 if (len == 0) {
2039 ret = 0;
2040 goto out_drop_write;
2041 }
2042
Darrick J. Wong2e5dfc92018-10-30 10:41:21 +11002043 ret = dst_file->f_op->remap_file_range(src_file, src_pos, dst_file,
Darrick J. Wongdf365832018-10-30 10:42:03 +11002044 dst_pos, len, remap_flags | REMAP_FILE_DEDUP);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002045out_drop_write:
2046 mnt_drop_write_file(dst_file);
2047
2048 return ret;
2049}
Miklos Szeredif1825362018-07-18 15:44:40 +02002050EXPORT_SYMBOL(vfs_dedupe_file_range_one);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002051
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002052int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
2053{
2054 struct file_dedupe_range_info *info;
2055 struct inode *src = file_inode(file);
2056 u64 off;
2057 u64 len;
2058 int i;
2059 int ret;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002060 u16 count = same->dest_count;
Darrick J. Wong42ec3d42018-10-30 10:41:49 +11002061 loff_t deduped;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002062
2063 if (!(file->f_mode & FMODE_READ))
2064 return -EINVAL;
2065
2066 if (same->reserved1 || same->reserved2)
2067 return -EINVAL;
2068
2069 off = same->src_offset;
2070 len = same->src_length;
2071
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002072 if (S_ISDIR(src->i_mode))
Dave Chinner494633f2018-11-19 13:31:12 -08002073 return -EISDIR;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002074
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002075 if (!S_ISREG(src->i_mode))
Dave Chinner494633f2018-11-19 13:31:12 -08002076 return -EINVAL;
2077
2078 if (!file->f_op->remap_file_range)
2079 return -EOPNOTSUPP;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002080
Darrick J. Wong60950282018-10-30 10:41:14 +11002081 ret = remap_verify_area(file, off, len, false);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002082 if (ret < 0)
Dave Chinner494633f2018-11-19 13:31:12 -08002083 return ret;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002084 ret = 0;
2085
Darrick J. Wong22725ce2016-12-19 15:13:26 -08002086 if (off + len > i_size_read(src))
2087 return -EINVAL;
2088
Miklos Szeredi92b66d22018-07-06 23:57:02 +02002089 /* Arbitrary 1G limit on a single dedupe request, can be raised. */
2090 len = min_t(u64, len, 1 << 30);
2091
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002092 /* pre-format output fields to sane values */
2093 for (i = 0; i < count; i++) {
2094 same->info[i].bytes_deduped = 0ULL;
2095 same->info[i].status = FILE_DEDUPE_RANGE_SAME;
2096 }
2097
2098 for (i = 0, info = same->info; i < count; i++, info++) {
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002099 struct fd dst_fd = fdget(info->dest_fd);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002100 struct file *dst_file = dst_fd.file;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002101
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002102 if (!dst_file) {
2103 info->status = -EBADF;
2104 goto next_loop;
2105 }
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002106
2107 if (info->reserved) {
2108 info->status = -EINVAL;
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002109 goto next_fdput;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002110 }
2111
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002112 deduped = vfs_dedupe_file_range_one(file, off, dst_file,
Darrick J. Wongdf365832018-10-30 10:42:03 +11002113 info->dest_offset, len,
Darrick J. Wongeca36542018-10-30 10:42:10 +11002114 REMAP_FILE_CAN_SHORTEN);
Miklos Szeredi1b4f42a2018-07-06 23:57:03 +02002115 if (deduped == -EBADE)
2116 info->status = FILE_DEDUPE_RANGE_DIFFERS;
2117 else if (deduped < 0)
2118 info->status = deduped;
2119 else
2120 info->bytes_deduped = len;
2121
Zev Weiss22762712018-04-14 01:16:58 -05002122next_fdput:
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002123 fdput(dst_fd);
Zev Weiss22762712018-04-14 01:16:58 -05002124next_loop:
Darrick J. Wonge62e5602016-01-22 16:58:28 -08002125 if (fatal_signal_pending(current))
Dave Chinner494633f2018-11-19 13:31:12 -08002126 break;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002127 }
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002128 return ret;
2129}
2130EXPORT_SYMBOL(vfs_dedupe_file_range);