blob: 0046d72efe94667619b8d6016abb087364ceb8d6 [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 Hellwigddef7ed2017-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
Andrew Morton965c8e52012-12-17 15:59:39 -0800304SYSCALL_DEFINE3(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
Al Viro561c6732013-02-24 10:52:26 -0500322#ifdef CONFIG_COMPAT
323COMPAT_SYSCALL_DEFINE3(lseek, unsigned int, fd, compat_off_t, offset, unsigned int, whence)
324{
325 return sys_lseek(fd, offset, whence);
326}
327#endif
328
Linus Torvalds1da177e2005-04-16 15:20:36 -0700329#ifdef __ARCH_WANT_SYS_LLSEEK
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100330SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
331 unsigned long, offset_low, loff_t __user *, result,
Andrew Morton965c8e52012-12-17 15:59:39 -0800332 unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700333{
334 int retval;
Eric Biggersd7a15f82014-03-16 14:24:08 -0500335 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700336 loff_t offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700337
Al Viro2903ff02012-08-28 12:52:22 -0400338 if (!f.file)
339 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340
341 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800342 if (whence > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700343 goto out_putf;
344
Al Viro2903ff02012-08-28 12:52:22 -0400345 offset = vfs_llseek(f.file, ((loff_t) offset_high << 32) | offset_low,
Andrew Morton965c8e52012-12-17 15:59:39 -0800346 whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700347
348 retval = (int)offset;
349 if (offset >= 0) {
350 retval = -EFAULT;
351 if (!copy_to_user(result, &offset, sizeof(offset)))
352 retval = 0;
353 }
354out_putf:
Eric Biggersd7a15f82014-03-16 14:24:08 -0500355 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700356 return retval;
357}
358#endif
359
Al Viro68d70d02013-06-19 15:26:04 +0400360int rw_verify_area(int read_write, struct file *file, const loff_t *ppos, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700361{
362 struct inode *inode;
363 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100364 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700365
Al Viro496ad9a2013-01-23 17:07:38 -0500366 inode = file_inode(file);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800367 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100368 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700369 pos = *ppos;
Al Virocccb5a12010-12-17 07:44:05 -0500370 if (unlikely(pos < 0)) {
371 if (!unsigned_offsets(file))
372 return retval;
373 if (count >= -pos) /* both values are in 0..LLONG_MAX */
374 return -EOVERFLOW;
375 } else if (unlikely((loff_t) (pos + count) < 0)) {
376 if (!unsigned_offsets(file))
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700377 return retval;
378 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700379
Jeff Laytonbd61e0a2015-01-16 15:05:55 -0500380 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
Christoph Hellwigacc15572015-12-03 12:59:49 +0100381 retval = locks_mandatory_area(inode, file, pos, pos + count - 1,
382 read_write == READ ? F_RDLCK : F_WRLCK);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800383 if (retval < 0)
384 return retval;
385 }
Al Virobc613842016-03-31 21:48:20 -0400386 return security_file_permission(file,
James Morrisc43e2592008-01-12 22:05:48 +1100387 read_write == READ ? MAY_READ : MAY_WRITE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700388}
389
Al Viro5d5d5682015-04-03 15:41:18 -0400390static ssize_t new_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500391{
392 struct iovec iov = { .iov_base = buf, .iov_len = len };
393 struct kiocb kiocb;
394 struct iov_iter iter;
395 ssize_t ret;
396
397 init_sync_kiocb(&kiocb, filp);
398 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500399 iov_iter_init(&iter, READ, &iov, 1, len);
400
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100401 ret = call_read_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100402 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500403 *ppos = kiocb.ki_pos;
404 return ret;
405}
406
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200407ssize_t __vfs_read(struct file *file, char __user *buf, size_t count,
408 loff_t *pos)
409{
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200410 if (file->f_op->read)
Al Viro3d04c8a2015-04-03 15:09:18 -0400411 return file->f_op->read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200412 else if (file->f_op->read_iter)
Al Viro3d04c8a2015-04-03 15:09:18 -0400413 return new_sync_read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200414 else
Al Viro3d04c8a2015-04-03 15:09:18 -0400415 return -EINVAL;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200416}
417
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200418ssize_t kernel_read(struct file *file, void *buf, size_t count, loff_t *pos)
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200419{
420 mm_segment_t old_fs;
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200421 ssize_t result;
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200422
423 old_fs = get_fs();
424 set_fs(get_ds());
425 /* The cast to a user pointer is valid due to the set_fs() */
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200426 result = vfs_read(file, (void __user *)buf, count, pos);
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200427 set_fs(old_fs);
428 return result;
429}
430EXPORT_SYMBOL(kernel_read);
Al Viro293bc982014-02-11 18:37:41 -0500431
Linus Torvalds1da177e2005-04-16 15:20:36 -0700432ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
433{
434 ssize_t ret;
435
436 if (!(file->f_mode & FMODE_READ))
437 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500438 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700439 return -EINVAL;
440 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
441 return -EFAULT;
442
443 ret = rw_verify_area(READ, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400444 if (!ret) {
445 if (count > MAX_RW_COUNT)
446 count = MAX_RW_COUNT;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200447 ret = __vfs_read(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100448 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500449 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100450 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700451 }
James Morrisc43e2592008-01-12 22:05:48 +1100452 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700453 }
454
455 return ret;
456}
457
Al Viro5d5d5682015-04-03 15:41:18 -0400458static 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 -0500459{
460 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
461 struct kiocb kiocb;
462 struct iov_iter iter;
463 ssize_t ret;
464
465 init_sync_kiocb(&kiocb, filp);
466 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500467 iov_iter_init(&iter, WRITE, &iov, 1, len);
468
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100469 ret = call_write_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100470 BUG_ON(ret == -EIOCBQUEUED);
Al Virof765b132015-04-06 20:50:38 -0400471 if (ret > 0)
472 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500473 return ret;
474}
475
Al Viro493c84c2015-04-03 15:06:43 -0400476ssize_t __vfs_write(struct file *file, const char __user *p, size_t count,
477 loff_t *pos)
478{
479 if (file->f_op->write)
480 return file->f_op->write(file, p, count, pos);
Al Viro493c84c2015-04-03 15:06:43 -0400481 else if (file->f_op->write_iter)
482 return new_sync_write(file, p, count, pos);
483 else
484 return -EINVAL;
485}
Al Viro493c84c2015-04-03 15:06:43 -0400486
Christoph Hellwig73e18f72017-09-01 17:39:15 +0200487ssize_t __kernel_write(struct file *file, const void *buf, size_t count, loff_t *pos)
Al Viro06ae43f2013-03-20 13:19:30 -0400488{
489 mm_segment_t old_fs;
490 const char __user *p;
491 ssize_t ret;
492
Al Viro7f7f25e2014-02-11 17:49:24 -0500493 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000494 return -EINVAL;
495
Al Viro06ae43f2013-03-20 13:19:30 -0400496 old_fs = get_fs();
497 set_fs(get_ds());
498 p = (__force const char __user *)buf;
499 if (count > MAX_RW_COUNT)
500 count = MAX_RW_COUNT;
Al Viro493c84c2015-04-03 15:06:43 -0400501 ret = __vfs_write(file, p, count, pos);
Al Viro06ae43f2013-03-20 13:19:30 -0400502 set_fs(old_fs);
503 if (ret > 0) {
504 fsnotify_modify(file);
505 add_wchar(current, ret);
506 }
507 inc_syscw(current);
508 return ret;
509}
Al Viro2ec3a122014-08-19 11:48:09 -0400510EXPORT_SYMBOL(__kernel_write);
511
Christoph Hellwige13ec932017-09-01 17:39:14 +0200512ssize_t kernel_write(struct file *file, const void *buf, size_t count,
513 loff_t *pos)
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200514{
515 mm_segment_t old_fs;
516 ssize_t res;
517
518 old_fs = get_fs();
519 set_fs(get_ds());
520 /* The cast to a user pointer is valid due to the set_fs() */
Christoph Hellwige13ec932017-09-01 17:39:14 +0200521 res = vfs_write(file, (__force const char __user *)buf, count, pos);
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200522 set_fs(old_fs);
523
524 return res;
525}
526EXPORT_SYMBOL(kernel_write);
527
Linus Torvalds1da177e2005-04-16 15:20:36 -0700528ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
529{
530 ssize_t ret;
531
532 if (!(file->f_mode & FMODE_WRITE))
533 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500534 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700535 return -EINVAL;
536 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
537 return -EFAULT;
538
539 ret = rw_verify_area(WRITE, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400540 if (!ret) {
541 if (count > MAX_RW_COUNT)
542 count = MAX_RW_COUNT;
Al Viro03d95eb2013-03-20 13:04:20 -0400543 file_start_write(file);
Al Viro493c84c2015-04-03 15:06:43 -0400544 ret = __vfs_write(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100545 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500546 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100547 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700548 }
James Morrisc43e2592008-01-12 22:05:48 +1100549 inc_syscw(current);
Al Viro03d95eb2013-03-20 13:04:20 -0400550 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700551 }
552
553 return ret;
554}
555
Linus Torvalds1da177e2005-04-16 15:20:36 -0700556static inline loff_t file_pos_read(struct file *file)
557{
558 return file->f_pos;
559}
560
561static inline void file_pos_write(struct file *file, loff_t pos)
562{
563 file->f_pos = pos;
564}
565
Heiko Carstens3cdad422009-01-14 14:14:22 +0100566SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700567{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800568 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700570
Al Viro2903ff02012-08-28 12:52:22 -0400571 if (f.file) {
572 loff_t pos = file_pos_read(f.file);
573 ret = vfs_read(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400574 if (ret >= 0)
575 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800576 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700577 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700578 return ret;
579}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700580
Heiko Carstens3cdad422009-01-14 14:14:22 +0100581SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
582 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700583{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800584 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700585 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700586
Al Viro2903ff02012-08-28 12:52:22 -0400587 if (f.file) {
588 loff_t pos = file_pos_read(f.file);
589 ret = vfs_write(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400590 if (ret >= 0)
591 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800592 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700593 }
594
595 return ret;
596}
597
Al Viro4a0fd5b2013-01-21 15:16:58 -0500598SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
599 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700600{
Al Viro2903ff02012-08-28 12:52:22 -0400601 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700602 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700603
604 if (pos < 0)
605 return -EINVAL;
606
Al Viro2903ff02012-08-28 12:52:22 -0400607 f = fdget(fd);
608 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400610 if (f.file->f_mode & FMODE_PREAD)
611 ret = vfs_read(f.file, buf, count, &pos);
612 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700613 }
614
615 return ret;
616}
617
Al Viro4a0fd5b2013-01-21 15:16:58 -0500618SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
619 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700620{
Al Viro2903ff02012-08-28 12:52:22 -0400621 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700622 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700623
624 if (pos < 0)
625 return -EINVAL;
626
Al Viro2903ff02012-08-28 12:52:22 -0400627 f = fdget(fd);
628 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700629 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400630 if (f.file->f_mode & FMODE_PWRITE)
631 ret = vfs_write(f.file, buf, count, &pos);
632 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700633 }
634
635 return ret;
636}
637
638/*
639 * Reduce an iovec's length in-place. Return the resulting number of segments
640 */
641unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
642{
643 unsigned long seg = 0;
644 size_t len = 0;
645
646 while (seg < nr_segs) {
647 seg++;
648 if (len + iov->iov_len >= to) {
649 iov->iov_len = to - len;
650 break;
651 }
652 len += iov->iov_len;
653 iov++;
654 }
655 return seg;
656}
Eric Sandeen19295522008-01-28 23:58:27 -0500657EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700658
Al Viroac15ac02015-03-20 20:10:21 -0400659static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +0200660 loff_t *ppos, int type, rwf_t flags)
Al Viro293bc982014-02-11 18:37:41 -0500661{
662 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500663 ssize_t ret;
664
665 init_sync_kiocb(&kiocb, filp);
Goldwyn Rodriguesfdd2f5b2017-06-20 07:05:40 -0500666 ret = kiocb_set_rw_flags(&kiocb, flags);
667 if (ret)
668 return ret;
Al Viro293bc982014-02-11 18:37:41 -0500669 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500670
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100671 if (type == READ)
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100672 ret = call_read_iter(filp, &kiocb, iter);
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100673 else
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100674 ret = call_write_iter(filp, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100675 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500676 *ppos = kiocb.ki_pos;
677 return ret;
678}
679
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700680/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400681static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +0200682 loff_t *ppos, int type, rwf_t flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700683{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700684 ssize_t ret = 0;
685
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100686 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100687 return -EOPNOTSUPP;
688
Al Viroac15ac02015-03-20 20:10:21 -0400689 while (iov_iter_count(iter)) {
690 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700691 ssize_t nr;
692
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100693 if (type == READ) {
694 nr = filp->f_op->read(filp, iovec.iov_base,
695 iovec.iov_len, ppos);
696 } else {
697 nr = filp->f_op->write(filp, iovec.iov_base,
698 iovec.iov_len, ppos);
699 }
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700700
701 if (nr < 0) {
702 if (!ret)
703 ret = nr;
704 break;
705 }
706 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400707 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700708 break;
Al Viroac15ac02015-03-20 20:10:21 -0400709 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700710 }
711
712 return ret;
713}
714
Linus Torvalds1da177e2005-04-16 15:20:36 -0700715/* A write operation does a read from user space and vice versa */
716#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
717
Vegard Nossumffecee42016-10-08 11:18:07 +0200718/**
719 * rw_copy_check_uvector() - Copy an array of &struct iovec from userspace
720 * into the kernel and check that it is valid.
721 *
722 * @type: One of %CHECK_IOVEC_ONLY, %READ, or %WRITE.
723 * @uvector: Pointer to the userspace array.
724 * @nr_segs: Number of elements in userspace array.
725 * @fast_segs: Number of elements in @fast_pointer.
726 * @fast_pointer: Pointer to (usually small on-stack) kernel array.
727 * @ret_pointer: (output parameter) Pointer to a variable that will point to
728 * either @fast_pointer, a newly allocated kernel array, or NULL,
729 * depending on which array was used.
730 *
731 * This function copies an array of &struct iovec of @nr_segs from
732 * userspace into the kernel and checks that each element is valid (e.g.
733 * it does not point to a kernel address or cause overflow by being too
734 * large, etc.).
735 *
736 * As an optimization, the caller may provide a pointer to a small
737 * on-stack array in @fast_pointer, typically %UIO_FASTIOV elements long
738 * (the size of this array, or 0 if unused, should be given in @fast_segs).
739 *
740 * @ret_pointer will always point to the array that was used, so the
741 * caller must take care not to call kfree() on it e.g. in case the
742 * @fast_pointer array was used and it was allocated on the stack.
743 *
744 * Return: The total number of bytes covered by the iovec array on success
745 * or a negative error code on error.
746 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700747ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
748 unsigned long nr_segs, unsigned long fast_segs,
749 struct iovec *fast_pointer,
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700750 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700751{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700752 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700753 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700754 struct iovec *iov = fast_pointer;
755
Linus Torvalds435f49a2010-10-29 10:36:49 -0700756 /*
757 * SuS says "The readv() function *may* fail if the iovcnt argument
758 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
759 * traditionally returned zero for zero segments, so...
760 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700761 if (nr_segs == 0) {
762 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700763 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700764 }
765
Linus Torvalds435f49a2010-10-29 10:36:49 -0700766 /*
767 * First get the "struct iovec" from user memory and
768 * verify all the pointers
769 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700770 if (nr_segs > UIO_MAXIOV) {
771 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700772 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700773 }
774 if (nr_segs > fast_segs) {
Linus Torvalds435f49a2010-10-29 10:36:49 -0700775 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700776 if (iov == NULL) {
777 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700778 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700779 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700780 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700781 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
782 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700783 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700784 }
785
Linus Torvalds435f49a2010-10-29 10:36:49 -0700786 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700787 * According to the Single Unix Specification we should return EINVAL
788 * if an element length is < 0 when cast to ssize_t or if the
789 * total length would overflow the ssize_t return value of the
790 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700791 *
792 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
793 * overflow case.
794 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700795 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700796 for (seg = 0; seg < nr_segs; seg++) {
797 void __user *buf = iov[seg].iov_base;
798 ssize_t len = (ssize_t)iov[seg].iov_len;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700799
800 /* see if we we're about to use an invalid len or if
801 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700802 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700803 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700804 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700805 }
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700806 if (type >= 0
Christopher Yeohfcf63402011-10-31 17:06:39 -0700807 && unlikely(!access_ok(vrfy_dir(type), buf, len))) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700808 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700809 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700810 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700811 if (len > MAX_RW_COUNT - ret) {
812 len = MAX_RW_COUNT - ret;
813 iov[seg].iov_len = len;
814 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700815 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700816 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700817out:
818 *ret_pointer = iov;
819 return ret;
820}
821
Al Virof5029852017-04-08 18:18:48 -0400822#ifdef CONFIG_COMPAT
823ssize_t compat_rw_copy_check_uvector(int type,
824 const struct compat_iovec __user *uvector, unsigned long nr_segs,
825 unsigned long fast_segs, struct iovec *fast_pointer,
826 struct iovec **ret_pointer)
827{
828 compat_ssize_t tot_len;
829 struct iovec *iov = *ret_pointer = fast_pointer;
830 ssize_t ret = 0;
831 int seg;
832
833 /*
834 * SuS says "The readv() function *may* fail if the iovcnt argument
835 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
836 * traditionally returned zero for zero segments, so...
837 */
838 if (nr_segs == 0)
839 goto out;
840
841 ret = -EINVAL;
842 if (nr_segs > UIO_MAXIOV)
843 goto out;
844 if (nr_segs > fast_segs) {
845 ret = -ENOMEM;
846 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
847 if (iov == NULL)
848 goto out;
849 }
850 *ret_pointer = iov;
851
852 ret = -EFAULT;
853 if (!access_ok(VERIFY_READ, uvector, nr_segs*sizeof(*uvector)))
854 goto out;
855
856 /*
857 * Single unix specification:
858 * We should -EINVAL if an element length is not >= 0 and fitting an
859 * ssize_t.
860 *
861 * In Linux, the total length is limited to MAX_RW_COUNT, there is
862 * no overflow possibility.
863 */
864 tot_len = 0;
865 ret = -EINVAL;
866 for (seg = 0; seg < nr_segs; seg++) {
867 compat_uptr_t buf;
868 compat_ssize_t len;
869
870 if (__get_user(len, &uvector->iov_len) ||
871 __get_user(buf, &uvector->iov_base)) {
872 ret = -EFAULT;
873 goto out;
874 }
875 if (len < 0) /* size_t not fitting in compat_ssize_t .. */
876 goto out;
877 if (type >= 0 &&
878 !access_ok(vrfy_dir(type), compat_ptr(buf), len)) {
879 ret = -EFAULT;
880 goto out;
881 }
882 if (len > MAX_RW_COUNT - tot_len)
883 len = MAX_RW_COUNT - tot_len;
884 tot_len += len;
885 iov->iov_base = compat_ptr(buf);
886 iov->iov_len = (compat_size_t) len;
887 uvector++;
888 iov++;
889 }
890 ret = tot_len;
891
892out:
893 return ret;
894}
895#endif
896
Christoph Hellwig19c73582017-05-27 11:16:48 +0300897static ssize_t do_iter_read(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +0200898 loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700899{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700900 size_t tot_len;
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100901 ssize_t ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700902
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300903 if (!(file->f_mode & FMODE_READ))
904 return -EBADF;
905 if (!(file->f_mode & FMODE_CAN_READ))
906 return -EINVAL;
907
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100908 tot_len = iov_iter_count(iter);
Al Viro0504c072015-03-21 19:40:11 -0400909 if (!tot_len)
910 goto out;
Christoph Hellwig19c73582017-05-27 11:16:48 +0300911 ret = rw_verify_area(READ, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800912 if (ret < 0)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300913 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700914
Christoph Hellwig19c73582017-05-27 11:16:48 +0300915 if (file->f_op->read_iter)
916 ret = do_iter_readv_writev(file, iter, pos, READ, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700917 else
Christoph Hellwig19c73582017-05-27 11:16:48 +0300918 ret = do_loop_readv_writev(file, iter, pos, READ, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700919out:
Christoph Hellwig19c73582017-05-27 11:16:48 +0300920 if (ret >= 0)
921 fsnotify_access(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700922 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700923}
924
Christoph Hellwig18e97102017-05-27 11:16:51 +0300925ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +0200926 rwf_t flags)
Christoph Hellwig18e97102017-05-27 11:16:51 +0300927{
928 if (!file->f_op->read_iter)
929 return -EINVAL;
930 return do_iter_read(file, iter, ppos, flags);
931}
932EXPORT_SYMBOL(vfs_iter_read);
933
Christoph Hellwig19c73582017-05-27 11:16:48 +0300934static ssize_t do_iter_write(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +0200935 loff_t *pos, rwf_t flags)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300936{
937 size_t tot_len;
938 ssize_t ret = 0;
939
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300940 if (!(file->f_mode & FMODE_WRITE))
941 return -EBADF;
942 if (!(file->f_mode & FMODE_CAN_WRITE))
943 return -EINVAL;
944
Christoph Hellwig19c73582017-05-27 11:16:48 +0300945 tot_len = iov_iter_count(iter);
946 if (!tot_len)
947 return 0;
948 ret = rw_verify_area(WRITE, file, pos, tot_len);
949 if (ret < 0)
950 return ret;
951
Christoph Hellwig19c73582017-05-27 11:16:48 +0300952 if (file->f_op->write_iter)
953 ret = do_iter_readv_writev(file, iter, pos, WRITE, flags);
954 else
955 ret = do_loop_readv_writev(file, iter, pos, WRITE, flags);
Christoph Hellwig19c73582017-05-27 11:16:48 +0300956 if (ret > 0)
957 fsnotify_modify(file);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700958 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700959}
960
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300961ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +0200962 rwf_t flags)
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300963{
964 if (!file->f_op->write_iter)
965 return -EINVAL;
966 return do_iter_write(file, iter, ppos, flags);
967}
968EXPORT_SYMBOL(vfs_iter_write);
969
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300970ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +0200971 unsigned long vlen, loff_t *pos, rwf_t flags)
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100972{
973 struct iovec iovstack[UIO_FASTIOV];
974 struct iovec *iov = iovstack;
975 struct iov_iter iter;
976 ssize_t ret;
977
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300978 ret = import_iovec(READ, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300979 if (ret >= 0) {
980 ret = do_iter_read(file, &iter, pos, flags);
981 kfree(iov);
982 }
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100983
984 return ret;
985}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700986
Christoph Hellwig9725d4c2017-09-01 17:39:25 +0200987static ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +0200988 unsigned long vlen, loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700989{
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300990 struct iovec iovstack[UIO_FASTIOV];
991 struct iovec *iov = iovstack;
992 struct iov_iter iter;
993 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700994
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300995 ret = import_iovec(WRITE, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300996 if (ret >= 0) {
Al Viro62473a22017-07-06 09:15:47 -0400997 file_start_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300998 ret = do_iter_write(file, &iter, pos, flags);
Al Viro62473a22017-07-06 09:15:47 -0400999 file_end_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001000 kfree(iov);
1001 }
Christoph Hellwig251b42a2017-05-27 11:16:46 +03001002 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001003}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001004
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001005static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001006 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001007{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001008 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001009 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001010
Al Viro2903ff02012-08-28 12:52:22 -04001011 if (f.file) {
1012 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001013 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001014 if (ret >= 0)
1015 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -08001016 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001017 }
1018
1019 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001020 add_rchar(current, ret);
1021 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001022 return ret;
1023}
1024
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001025static ssize_t do_writev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001026 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001027{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001028 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001029 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001030
Al Viro2903ff02012-08-28 12:52:22 -04001031 if (f.file) {
1032 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001033 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001034 if (ret >= 0)
1035 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -08001036 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001037 }
1038
1039 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001040 add_wchar(current, ret);
1041 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001042 return ret;
1043}
1044
Linus Torvalds601cc112009-04-03 08:03:22 -07001045static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001046{
Linus Torvalds601cc112009-04-03 08:03:22 -07001047#define HALF_LONG_BITS (BITS_PER_LONG / 2)
1048 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
1049}
1050
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001051static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001052 unsigned long vlen, loff_t pos, rwf_t flags)
Linus Torvalds601cc112009-04-03 08:03:22 -07001053{
Al Viro2903ff02012-08-28 12:52:22 -04001054 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001055 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001056
1057 if (pos < 0)
1058 return -EINVAL;
1059
Al Viro2903ff02012-08-28 12:52:22 -04001060 f = fdget(fd);
1061 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001062 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001063 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001064 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001065 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001066 }
1067
1068 if (ret > 0)
1069 add_rchar(current, ret);
1070 inc_syscr(current);
1071 return ret;
1072}
1073
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001074static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001075 unsigned long vlen, loff_t pos, rwf_t flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001076{
Al Viro2903ff02012-08-28 12:52:22 -04001077 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001078 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001079
1080 if (pos < 0)
1081 return -EINVAL;
1082
Al Viro2903ff02012-08-28 12:52:22 -04001083 f = fdget(fd);
1084 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001085 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001086 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001087 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001088 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001089 }
1090
1091 if (ret > 0)
1092 add_wchar(current, ret);
1093 inc_syscw(current);
1094 return ret;
1095}
1096
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001097SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
1098 unsigned long, vlen)
1099{
1100 return do_readv(fd, vec, vlen, 0);
1101}
1102
1103SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
1104 unsigned long, vlen)
1105{
1106 return do_writev(fd, vec, vlen, 0);
1107}
1108
1109SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
1110 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1111{
1112 loff_t pos = pos_from_hilo(pos_h, pos_l);
1113
1114 return do_preadv(fd, vec, vlen, pos, 0);
1115}
1116
1117SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1118 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001119 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001120{
1121 loff_t pos = pos_from_hilo(pos_h, pos_l);
1122
1123 if (pos == -1)
1124 return do_readv(fd, vec, vlen, flags);
1125
1126 return do_preadv(fd, vec, vlen, pos, flags);
1127}
1128
1129SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
1130 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1131{
1132 loff_t pos = pos_from_hilo(pos_h, pos_l);
1133
1134 return do_pwritev(fd, vec, vlen, pos, 0);
1135}
1136
1137SYSCALL_DEFINE6(pwritev2, unsigned long, fd, const struct iovec __user *, vec,
1138 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001139 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001140{
1141 loff_t pos = pos_from_hilo(pos_h, pos_l);
1142
1143 if (pos == -1)
1144 return do_writev(fd, vec, vlen, flags);
1145
1146 return do_pwritev(fd, vec, vlen, pos, flags);
1147}
1148
Al Viro72ec3512013-03-20 10:42:10 -04001149#ifdef CONFIG_COMPAT
Al Viro72ec3512013-03-20 10:42:10 -04001150static size_t compat_readv(struct file *file,
1151 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001152 unsigned long vlen, loff_t *pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001153{
1154 struct iovec iovstack[UIO_FASTIOV];
1155 struct iovec *iov = iovstack;
1156 struct iov_iter iter;
1157 ssize_t ret;
1158
Christoph Hellwig26c87fb2017-05-27 11:16:47 +03001159 ret = compat_import_iovec(READ, vec, vlen, UIO_FASTIOV, &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001160 if (ret >= 0) {
1161 ret = do_iter_read(file, &iter, pos, flags);
1162 kfree(iov);
1163 }
Al Viro72ec3512013-03-20 10:42:10 -04001164 if (ret > 0)
1165 add_rchar(current, ret);
1166 inc_syscr(current);
1167 return ret;
1168}
1169
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001170static size_t do_compat_readv(compat_ulong_t fd,
1171 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001172 compat_ulong_t vlen, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001173{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001174 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001175 ssize_t ret;
1176 loff_t pos;
1177
1178 if (!f.file)
1179 return -EBADF;
1180 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001181 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001182 if (ret >= 0)
1183 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001184 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001185 return ret;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001186
Al Viro72ec3512013-03-20 10:42:10 -04001187}
1188
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001189COMPAT_SYSCALL_DEFINE3(readv, compat_ulong_t, fd,
1190 const struct compat_iovec __user *,vec,
1191 compat_ulong_t, vlen)
1192{
1193 return do_compat_readv(fd, vec, vlen, 0);
1194}
1195
1196static long do_compat_preadv64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001197 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001198 unsigned long vlen, loff_t pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001199{
1200 struct fd f;
1201 ssize_t ret;
1202
1203 if (pos < 0)
1204 return -EINVAL;
1205 f = fdget(fd);
1206 if (!f.file)
1207 return -EBADF;
1208 ret = -ESPIPE;
1209 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001210 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001211 fdput(f);
1212 return ret;
1213}
1214
Heiko Carstens378a10f2014-03-05 10:43:51 +01001215#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1216COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
1217 const struct compat_iovec __user *,vec,
1218 unsigned long, vlen, loff_t, pos)
1219{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001220 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001221}
1222#endif
1223
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001224COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001225 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001226 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001227{
1228 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001229
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001230 return do_compat_preadv64(fd, vec, vlen, pos, 0);
1231}
1232
H.J. Lu3ebfd812016-07-14 12:31:53 -07001233#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64V2
1234COMPAT_SYSCALL_DEFINE5(preadv64v2, unsigned long, fd,
1235 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001236 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001237{
1238 return do_compat_preadv64(fd, vec, vlen, pos, flags);
1239}
1240#endif
1241
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001242COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
1243 const struct compat_iovec __user *,vec,
1244 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001245 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001246{
1247 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1248
1249 if (pos == -1)
1250 return do_compat_readv(fd, vec, vlen, flags);
1251
1252 return do_compat_preadv64(fd, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001253}
1254
1255static size_t compat_writev(struct file *file,
1256 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001257 unsigned long vlen, loff_t *pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001258{
Christoph Hellwig26c87fb2017-05-27 11:16:47 +03001259 struct iovec iovstack[UIO_FASTIOV];
1260 struct iovec *iov = iovstack;
1261 struct iov_iter iter;
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001262 ssize_t ret;
Al Viro72ec3512013-03-20 10:42:10 -04001263
Christoph Hellwig26c87fb2017-05-27 11:16:47 +03001264 ret = compat_import_iovec(WRITE, vec, vlen, UIO_FASTIOV, &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001265 if (ret >= 0) {
Al Viro62473a22017-07-06 09:15:47 -04001266 file_start_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001267 ret = do_iter_write(file, &iter, pos, flags);
Al Viro62473a22017-07-06 09:15:47 -04001268 file_end_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001269 kfree(iov);
1270 }
Al Viro72ec3512013-03-20 10:42:10 -04001271 if (ret > 0)
1272 add_wchar(current, ret);
1273 inc_syscw(current);
1274 return ret;
1275}
1276
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001277static size_t do_compat_writev(compat_ulong_t fd,
1278 const struct compat_iovec __user* vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001279 compat_ulong_t vlen, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001280{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001281 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001282 ssize_t ret;
1283 loff_t pos;
1284
1285 if (!f.file)
1286 return -EBADF;
1287 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001288 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001289 if (ret >= 0)
1290 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001291 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001292 return ret;
1293}
1294
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001295COMPAT_SYSCALL_DEFINE3(writev, compat_ulong_t, fd,
1296 const struct compat_iovec __user *, vec,
1297 compat_ulong_t, vlen)
1298{
1299 return do_compat_writev(fd, vec, vlen, 0);
1300}
1301
1302static long do_compat_pwritev64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001303 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001304 unsigned long vlen, loff_t pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001305{
1306 struct fd f;
1307 ssize_t ret;
1308
1309 if (pos < 0)
1310 return -EINVAL;
1311 f = fdget(fd);
1312 if (!f.file)
1313 return -EBADF;
1314 ret = -ESPIPE;
1315 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001316 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001317 fdput(f);
1318 return ret;
1319}
1320
Heiko Carstens378a10f2014-03-05 10:43:51 +01001321#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1322COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
1323 const struct compat_iovec __user *,vec,
1324 unsigned long, vlen, loff_t, pos)
1325{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001326 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001327}
1328#endif
1329
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001330COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001331 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001332 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001333{
1334 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001335
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001336 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001337}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001338
H.J. Lu3ebfd812016-07-14 12:31:53 -07001339#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64V2
1340COMPAT_SYSCALL_DEFINE5(pwritev64v2, unsigned long, fd,
1341 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001342 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001343{
1344 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1345}
1346#endif
1347
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001348COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
1349 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed2017-07-06 18:58:37 +02001350 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001351{
1352 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1353
1354 if (pos == -1)
1355 return do_compat_writev(fd, vec, vlen, flags);
1356
1357 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1358}
1359
Al Viro72ec3512013-03-20 10:42:10 -04001360#endif
1361
Al Viro19f4fc32013-02-24 02:17:03 -05001362static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1363 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001364{
Al Viro2903ff02012-08-28 12:52:22 -04001365 struct fd in, out;
1366 struct inode *in_inode, *out_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001367 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001368 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001369 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001370 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001371
1372 /*
1373 * Get input file, and verify that it is ok..
1374 */
1375 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001376 in = fdget(in_fd);
1377 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001378 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001379 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001380 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001381 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001382 if (!ppos) {
1383 pos = in.file->f_pos;
1384 } else {
1385 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001386 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001387 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001388 }
1389 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001390 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001391 goto fput_in;
Al Virobc613842016-03-31 21:48:20 -04001392 if (count > MAX_RW_COUNT)
1393 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001394
Linus Torvalds1da177e2005-04-16 15:20:36 -07001395 /*
1396 * Get output file, and verify that it is ok..
1397 */
1398 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001399 out = fdget(out_fd);
1400 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001401 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001402 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001403 goto fput_out;
1404 retval = -EINVAL;
Al Viro496ad9a2013-01-23 17:07:38 -05001405 in_inode = file_inode(in.file);
1406 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001407 out_pos = out.file->f_pos;
1408 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001409 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001410 goto fput_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001411
Linus Torvalds1da177e2005-04-16 15:20:36 -07001412 if (!max)
1413 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1414
Linus Torvalds1da177e2005-04-16 15:20:36 -07001415 if (unlikely(pos + count > max)) {
1416 retval = -EOVERFLOW;
1417 if (pos >= max)
1418 goto fput_out;
1419 count = max - pos;
1420 }
1421
Jens Axboed96e6e72007-06-11 12:18:52 +02001422 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001423#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001424 /*
1425 * We need to debate whether we can enable this or not. The
1426 * man page documents EAGAIN return for the output at least,
1427 * and the application is arguably buggy if it doesn't expect
1428 * EAGAIN on a non-blocking file descriptor.
1429 */
Al Viro2903ff02012-08-28 12:52:22 -04001430 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001431 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001432#endif
Al Viro50cd2c52013-05-23 20:10:34 -04001433 file_start_write(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001434 retval = do_splice_direct(in.file, &pos, out.file, &out_pos, count, fl);
Al Viro50cd2c52013-05-23 20:10:34 -04001435 file_end_write(out.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001436
1437 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001438 add_rchar(current, retval);
1439 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001440 fsnotify_access(in.file);
1441 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001442 out.file->f_pos = out_pos;
1443 if (ppos)
1444 *ppos = pos;
1445 else
1446 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001447 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001448
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001449 inc_syscr(current);
1450 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001451 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001452 retval = -EOVERFLOW;
1453
1454fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001455 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001456fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001457 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001458out:
1459 return retval;
1460}
1461
Heiko Carstens002c8972009-01-14 14:14:18 +01001462SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001463{
1464 loff_t pos;
1465 off_t off;
1466 ssize_t ret;
1467
1468 if (offset) {
1469 if (unlikely(get_user(off, offset)))
1470 return -EFAULT;
1471 pos = off;
1472 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1473 if (unlikely(put_user(pos, offset)))
1474 return -EFAULT;
1475 return ret;
1476 }
1477
1478 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1479}
1480
Heiko Carstens002c8972009-01-14 14:14:18 +01001481SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001482{
1483 loff_t pos;
1484 ssize_t ret;
1485
1486 if (offset) {
1487 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1488 return -EFAULT;
1489 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1490 if (unlikely(put_user(pos, offset)))
1491 return -EFAULT;
1492 return ret;
1493 }
1494
1495 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1496}
Al Viro19f4fc32013-02-24 02:17:03 -05001497
1498#ifdef CONFIG_COMPAT
1499COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1500 compat_off_t __user *, offset, compat_size_t, count)
1501{
1502 loff_t pos;
1503 off_t off;
1504 ssize_t ret;
1505
1506 if (offset) {
1507 if (unlikely(get_user(off, offset)))
1508 return -EFAULT;
1509 pos = off;
1510 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1511 if (unlikely(put_user(pos, offset)))
1512 return -EFAULT;
1513 return ret;
1514 }
1515
1516 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1517}
1518
1519COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1520 compat_loff_t __user *, offset, compat_size_t, count)
1521{
1522 loff_t pos;
1523 ssize_t ret;
1524
1525 if (offset) {
1526 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1527 return -EFAULT;
1528 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1529 if (unlikely(put_user(pos, offset)))
1530 return -EFAULT;
1531 return ret;
1532 }
1533
1534 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1535}
1536#endif
Zach Brown29732932015-11-10 16:53:30 -05001537
1538/*
1539 * copy_file_range() differs from regular file read and write in that it
1540 * specifically allows return partial success. When it does so is up to
1541 * the copy_file_range method.
1542 */
1543ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1544 struct file *file_out, loff_t pos_out,
1545 size_t len, unsigned int flags)
1546{
1547 struct inode *inode_in = file_inode(file_in);
1548 struct inode *inode_out = file_inode(file_out);
1549 ssize_t ret;
1550
1551 if (flags != 0)
1552 return -EINVAL;
1553
Amir Goldstein11cbfb12017-01-31 10:34:56 +02001554 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1555 return -EISDIR;
1556 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1557 return -EINVAL;
1558
Zach Brown29732932015-11-10 16:53:30 -05001559 ret = rw_verify_area(READ, file_in, &pos_in, len);
Al Virobc613842016-03-31 21:48:20 -04001560 if (unlikely(ret))
1561 return ret;
1562
1563 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1564 if (unlikely(ret))
Zach Brown29732932015-11-10 16:53:30 -05001565 return ret;
1566
1567 if (!(file_in->f_mode & FMODE_READ) ||
1568 !(file_out->f_mode & FMODE_WRITE) ||
Anna Schumakereac70052015-11-10 16:53:33 -05001569 (file_out->f_flags & O_APPEND))
Zach Brown29732932015-11-10 16:53:30 -05001570 return -EBADF;
1571
1572 /* this could be relaxed once a method supports cross-fs copies */
1573 if (inode_in->i_sb != inode_out->i_sb)
1574 return -EXDEV;
1575
1576 if (len == 0)
1577 return 0;
1578
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001579 file_start_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001580
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001581 /*
1582 * Try cloning first, this is supported by more file systems, and
1583 * more efficient if both clone and copy are supported (e.g. NFS).
1584 */
1585 if (file_in->f_op->clone_file_range) {
1586 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1587 file_out, pos_out, len);
1588 if (ret == 0) {
1589 ret = len;
1590 goto done;
1591 }
1592 }
1593
1594 if (file_out->f_op->copy_file_range) {
Anna Schumakereac70052015-11-10 16:53:33 -05001595 ret = file_out->f_op->copy_file_range(file_in, pos_in, file_out,
1596 pos_out, len, flags);
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001597 if (ret != -EOPNOTSUPP)
1598 goto done;
1599 }
Anna Schumakereac70052015-11-10 16:53:33 -05001600
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001601 ret = do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1602 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1603
1604done:
Zach Brown29732932015-11-10 16:53:30 -05001605 if (ret > 0) {
1606 fsnotify_access(file_in);
1607 add_rchar(current, ret);
1608 fsnotify_modify(file_out);
1609 add_wchar(current, ret);
1610 }
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001611
Zach Brown29732932015-11-10 16:53:30 -05001612 inc_syscr(current);
1613 inc_syscw(current);
1614
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001615 file_end_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001616
1617 return ret;
1618}
1619EXPORT_SYMBOL(vfs_copy_file_range);
1620
1621SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1622 int, fd_out, loff_t __user *, off_out,
1623 size_t, len, unsigned int, flags)
1624{
1625 loff_t pos_in;
1626 loff_t pos_out;
1627 struct fd f_in;
1628 struct fd f_out;
1629 ssize_t ret = -EBADF;
1630
1631 f_in = fdget(fd_in);
1632 if (!f_in.file)
1633 goto out2;
1634
1635 f_out = fdget(fd_out);
1636 if (!f_out.file)
1637 goto out1;
1638
1639 ret = -EFAULT;
1640 if (off_in) {
1641 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1642 goto out;
1643 } else {
1644 pos_in = f_in.file->f_pos;
1645 }
1646
1647 if (off_out) {
1648 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1649 goto out;
1650 } else {
1651 pos_out = f_out.file->f_pos;
1652 }
1653
1654 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1655 flags);
1656 if (ret > 0) {
1657 pos_in += ret;
1658 pos_out += ret;
1659
1660 if (off_in) {
1661 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1662 ret = -EFAULT;
1663 } else {
1664 f_in.file->f_pos = pos_in;
1665 }
1666
1667 if (off_out) {
1668 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1669 ret = -EFAULT;
1670 } else {
1671 f_out.file->f_pos = pos_out;
1672 }
1673 }
1674
1675out:
1676 fdput(f_out);
1677out1:
1678 fdput(f_in);
1679out2:
1680 return ret;
1681}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001682
1683static int clone_verify_area(struct file *file, loff_t pos, u64 len, bool write)
1684{
1685 struct inode *inode = file_inode(file);
1686
1687 if (unlikely(pos < 0))
1688 return -EINVAL;
1689
1690 if (unlikely((loff_t) (pos + len) < 0))
1691 return -EINVAL;
1692
1693 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
1694 loff_t end = len ? pos + len - 1 : OFFSET_MAX;
1695 int retval;
1696
1697 retval = locks_mandatory_area(inode, file, pos, end,
1698 write ? F_WRLCK : F_RDLCK);
1699 if (retval < 0)
1700 return retval;
1701 }
1702
1703 return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
1704}
1705
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001706/*
1707 * Check that the two inodes are eligible for cloning, the ranges make
1708 * sense, and then flush all dirty data. Caller must ensure that the
1709 * inodes have been locked against any other modifications.
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001710 *
1711 * Returns: 0 for "nothing to clone", 1 for "something to clone", or
1712 * the usual negative error code.
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001713 */
1714int vfs_clone_file_prep_inodes(struct inode *inode_in, loff_t pos_in,
1715 struct inode *inode_out, loff_t pos_out,
1716 u64 *len, bool is_dedupe)
1717{
1718 loff_t bs = inode_out->i_sb->s_blocksize;
1719 loff_t blen;
1720 loff_t isize;
1721 bool same_inode = (inode_in == inode_out);
1722 int ret;
1723
1724 /* Don't touch certain kinds of inodes */
1725 if (IS_IMMUTABLE(inode_out))
1726 return -EPERM;
1727
1728 if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
1729 return -ETXTBSY;
1730
1731 /* Don't reflink dirs, pipes, sockets... */
1732 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1733 return -EISDIR;
1734 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1735 return -EINVAL;
1736
1737 /* Are we going all the way to the end? */
1738 isize = i_size_read(inode_in);
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001739 if (isize == 0)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001740 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001741
1742 /* Zero length dedupe exits immediately; reflink goes to EOF. */
1743 if (*len == 0) {
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001744 if (is_dedupe || pos_in == isize)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001745 return 0;
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001746 if (pos_in > isize)
1747 return -EINVAL;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001748 *len = isize - pos_in;
1749 }
1750
1751 /* Ensure offsets don't wrap and the input is inside i_size */
1752 if (pos_in + *len < pos_in || pos_out + *len < pos_out ||
1753 pos_in + *len > isize)
1754 return -EINVAL;
1755
1756 /* Don't allow dedupe past EOF in the dest file */
1757 if (is_dedupe) {
1758 loff_t disize;
1759
1760 disize = i_size_read(inode_out);
1761 if (pos_out >= disize || pos_out + *len > disize)
1762 return -EINVAL;
1763 }
1764
1765 /* If we're linking to EOF, continue to the block boundary. */
1766 if (pos_in + *len == isize)
1767 blen = ALIGN(isize, bs) - pos_in;
1768 else
1769 blen = *len;
1770
1771 /* Only reflink if we're aligned to block boundaries */
1772 if (!IS_ALIGNED(pos_in, bs) || !IS_ALIGNED(pos_in + blen, bs) ||
1773 !IS_ALIGNED(pos_out, bs) || !IS_ALIGNED(pos_out + blen, bs))
1774 return -EINVAL;
1775
1776 /* Don't allow overlapped reflink within the same file */
1777 if (same_inode) {
1778 if (pos_out + blen > pos_in && pos_out < pos_in + blen)
1779 return -EINVAL;
1780 }
1781
1782 /* Wait for the completion of any pending IOs on both files */
1783 inode_dio_wait(inode_in);
1784 if (!same_inode)
1785 inode_dio_wait(inode_out);
1786
1787 ret = filemap_write_and_wait_range(inode_in->i_mapping,
1788 pos_in, pos_in + *len - 1);
1789 if (ret)
1790 return ret;
1791
1792 ret = filemap_write_and_wait_range(inode_out->i_mapping,
1793 pos_out, pos_out + *len - 1);
1794 if (ret)
1795 return ret;
1796
1797 /*
1798 * Check that the extents are the same.
1799 */
1800 if (is_dedupe) {
1801 bool is_same = false;
1802
1803 ret = vfs_dedupe_file_range_compare(inode_in, pos_in,
1804 inode_out, pos_out, *len, &is_same);
1805 if (ret)
1806 return ret;
1807 if (!is_same)
1808 return -EBADE;
1809 }
1810
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001811 return 1;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001812}
1813EXPORT_SYMBOL(vfs_clone_file_prep_inodes);
1814
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001815int vfs_clone_file_range(struct file *file_in, loff_t pos_in,
1816 struct file *file_out, loff_t pos_out, u64 len)
1817{
1818 struct inode *inode_in = file_inode(file_in);
1819 struct inode *inode_out = file_inode(file_out);
1820 int ret;
1821
Amir Goldsteinb335e9d2016-10-26 22:34:01 +03001822 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1823 return -EISDIR;
1824 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1825 return -EINVAL;
1826
Amir Goldstein913b86e2016-09-23 11:38:10 +03001827 /*
1828 * FICLONE/FICLONERANGE ioctls enforce that src and dest files are on
1829 * the same mount. Practically, they only need to be on the same file
1830 * system.
1831 */
1832 if (inode_in->i_sb != inode_out->i_sb)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001833 return -EXDEV;
1834
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001835 if (!(file_in->f_mode & FMODE_READ) ||
1836 !(file_out->f_mode & FMODE_WRITE) ||
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001837 (file_out->f_flags & O_APPEND))
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001838 return -EBADF;
1839
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001840 if (!file_in->f_op->clone_file_range)
1841 return -EOPNOTSUPP;
1842
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001843 ret = clone_verify_area(file_in, pos_in, len, false);
1844 if (ret)
1845 return ret;
1846
1847 ret = clone_verify_area(file_out, pos_out, len, true);
1848 if (ret)
1849 return ret;
1850
1851 if (pos_in + len > i_size_read(inode_in))
1852 return -EINVAL;
1853
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001854 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1855 file_out, pos_out, len);
1856 if (!ret) {
1857 fsnotify_access(file_in);
1858 fsnotify_modify(file_out);
1859 }
1860
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001861 return ret;
1862}
1863EXPORT_SYMBOL(vfs_clone_file_range);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001864
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001865/*
1866 * Read a page's worth of file data into the page cache. Return the page
1867 * locked.
1868 */
1869static struct page *vfs_dedupe_get_page(struct inode *inode, loff_t offset)
1870{
1871 struct address_space *mapping;
1872 struct page *page;
1873 pgoff_t n;
1874
1875 n = offset >> PAGE_SHIFT;
1876 mapping = inode->i_mapping;
1877 page = read_mapping_page(mapping, n, NULL);
1878 if (IS_ERR(page))
1879 return page;
1880 if (!PageUptodate(page)) {
1881 put_page(page);
1882 return ERR_PTR(-EIO);
1883 }
1884 lock_page(page);
1885 return page;
1886}
1887
1888/*
1889 * Compare extents of two files to see if they are the same.
1890 * Caller must have locked both inodes to prevent write races.
1891 */
1892int vfs_dedupe_file_range_compare(struct inode *src, loff_t srcoff,
1893 struct inode *dest, loff_t destoff,
1894 loff_t len, bool *is_same)
1895{
1896 loff_t src_poff;
1897 loff_t dest_poff;
1898 void *src_addr;
1899 void *dest_addr;
1900 struct page *src_page;
1901 struct page *dest_page;
1902 loff_t cmp_len;
1903 bool same;
1904 int error;
1905
1906 error = -EINVAL;
1907 same = true;
1908 while (len) {
1909 src_poff = srcoff & (PAGE_SIZE - 1);
1910 dest_poff = destoff & (PAGE_SIZE - 1);
1911 cmp_len = min(PAGE_SIZE - src_poff,
1912 PAGE_SIZE - dest_poff);
1913 cmp_len = min(cmp_len, len);
1914 if (cmp_len <= 0)
1915 goto out_error;
1916
1917 src_page = vfs_dedupe_get_page(src, srcoff);
1918 if (IS_ERR(src_page)) {
1919 error = PTR_ERR(src_page);
1920 goto out_error;
1921 }
1922 dest_page = vfs_dedupe_get_page(dest, destoff);
1923 if (IS_ERR(dest_page)) {
1924 error = PTR_ERR(dest_page);
1925 unlock_page(src_page);
1926 put_page(src_page);
1927 goto out_error;
1928 }
1929 src_addr = kmap_atomic(src_page);
1930 dest_addr = kmap_atomic(dest_page);
1931
1932 flush_dcache_page(src_page);
1933 flush_dcache_page(dest_page);
1934
1935 if (memcmp(src_addr + src_poff, dest_addr + dest_poff, cmp_len))
1936 same = false;
1937
1938 kunmap_atomic(dest_addr);
1939 kunmap_atomic(src_addr);
1940 unlock_page(dest_page);
1941 unlock_page(src_page);
1942 put_page(dest_page);
1943 put_page(src_page);
1944
1945 if (!same)
1946 break;
1947
1948 srcoff += cmp_len;
1949 destoff += cmp_len;
1950 len -= cmp_len;
1951 }
1952
1953 *is_same = same;
1954 return 0;
1955
1956out_error:
1957 return error;
1958}
1959EXPORT_SYMBOL(vfs_dedupe_file_range_compare);
1960
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001961int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
1962{
1963 struct file_dedupe_range_info *info;
1964 struct inode *src = file_inode(file);
1965 u64 off;
1966 u64 len;
1967 int i;
1968 int ret;
1969 bool is_admin = capable(CAP_SYS_ADMIN);
1970 u16 count = same->dest_count;
1971 struct file *dst_file;
1972 loff_t dst_off;
1973 ssize_t deduped;
1974
1975 if (!(file->f_mode & FMODE_READ))
1976 return -EINVAL;
1977
1978 if (same->reserved1 || same->reserved2)
1979 return -EINVAL;
1980
1981 off = same->src_offset;
1982 len = same->src_length;
1983
1984 ret = -EISDIR;
1985 if (S_ISDIR(src->i_mode))
1986 goto out;
1987
1988 ret = -EINVAL;
1989 if (!S_ISREG(src->i_mode))
1990 goto out;
1991
1992 ret = clone_verify_area(file, off, len, false);
1993 if (ret < 0)
1994 goto out;
1995 ret = 0;
1996
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001997 if (off + len > i_size_read(src))
1998 return -EINVAL;
1999
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002000 /* pre-format output fields to sane values */
2001 for (i = 0; i < count; i++) {
2002 same->info[i].bytes_deduped = 0ULL;
2003 same->info[i].status = FILE_DEDUPE_RANGE_SAME;
2004 }
2005
2006 for (i = 0, info = same->info; i < count; i++, info++) {
2007 struct inode *dst;
2008 struct fd dst_fd = fdget(info->dest_fd);
2009
2010 dst_file = dst_fd.file;
2011 if (!dst_file) {
2012 info->status = -EBADF;
2013 goto next_loop;
2014 }
2015 dst = file_inode(dst_file);
2016
2017 ret = mnt_want_write_file(dst_file);
2018 if (ret) {
2019 info->status = ret;
2020 goto next_loop;
2021 }
2022
2023 dst_off = info->dest_offset;
2024 ret = clone_verify_area(dst_file, dst_off, len, true);
2025 if (ret < 0) {
2026 info->status = ret;
2027 goto next_file;
2028 }
2029 ret = 0;
2030
2031 if (info->reserved) {
2032 info->status = -EINVAL;
2033 } else if (!(is_admin || (dst_file->f_mode & FMODE_WRITE))) {
2034 info->status = -EINVAL;
2035 } else if (file->f_path.mnt != dst_file->f_path.mnt) {
2036 info->status = -EXDEV;
2037 } else if (S_ISDIR(dst->i_mode)) {
2038 info->status = -EISDIR;
2039 } else if (dst_file->f_op->dedupe_file_range == NULL) {
2040 info->status = -EINVAL;
2041 } else {
2042 deduped = dst_file->f_op->dedupe_file_range(file, off,
2043 len, dst_file,
2044 info->dest_offset);
2045 if (deduped == -EBADE)
2046 info->status = FILE_DEDUPE_RANGE_DIFFERS;
2047 else if (deduped < 0)
2048 info->status = deduped;
2049 else
2050 info->bytes_deduped += deduped;
2051 }
2052
2053next_file:
2054 mnt_drop_write_file(dst_file);
2055next_loop:
2056 fdput(dst_fd);
Darrick J. Wonge62e5602016-01-22 16:58:28 -08002057
2058 if (fatal_signal_pending(current))
2059 goto out;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002060 }
2061
2062out:
2063 return ret;
2064}
2065EXPORT_SYMBOL(vfs_dedupe_file_range);