blob: a2b9a47235c5ba48b4db2bf81d03c1579b562f79 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * linux/fs/read_write.c
3 *
4 * Copyright (C) 1991, 1992 Linus Torvalds
5 */
6
Ingo Molnarb12fb7f2017-02-08 18:51:33 +01007#include <linux/slab.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -07008#include <linux/stat.h>
Ingo Molnarb12fb7f2017-02-08 18:51:33 +01009#include <linux/sched/xacct.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070010#include <linux/fcntl.h>
11#include <linux/file.h>
12#include <linux/uio.h>
Robert Love0eeca282005-07-12 17:06:03 -040013#include <linux/fsnotify.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070014#include <linux/security.h>
Paul Gortmaker630d9c42011-11-16 23:57:37 -050015#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/syscalls.h>
Linus Torvaldse28cc712006-01-04 16:20:40 -080017#include <linux/pagemap.h>
Jens Axboed6b29d72007-06-04 09:59:47 +020018#include <linux/splice.h>
Al Viro561c6732013-02-24 10:52:26 -050019#include <linux/compat.h>
Zach Brown29732932015-11-10 16:53:30 -050020#include <linux/mount.h>
Wouter van Kesteren2feb55f2016-02-16 22:20:59 +010021#include <linux/fs.h>
Al Viro06ae43f2013-03-20 13:19:30 -040022#include "internal.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070023
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080024#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070025#include <asm/unistd.h>
26
Arjan van de Ven4b6f5d22006-03-28 01:56:42 -080027const struct file_operations generic_ro_fops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -070028 .llseek = generic_file_llseek,
Al Viroaad4f8b2014-04-02 14:33:16 -040029 .read_iter = generic_file_read_iter,
Linus Torvalds1da177e2005-04-16 15:20:36 -070030 .mmap = generic_file_readonly_mmap,
Jens Axboe534f2aa2007-06-01 14:52:37 +020031 .splice_read = generic_file_splice_read,
Linus Torvalds1da177e2005-04-16 15:20:36 -070032};
33
34EXPORT_SYMBOL(generic_ro_fops);
35
Christoph Hellwigddef7ed22017-07-06 18:58:37 +020036static inline bool unsigned_offsets(struct file *file)
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070037{
Al Virocccb5a12010-12-17 07:44:05 -050038 return file->f_mode & FMODE_UNSIGNED_OFFSET;
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070039}
40
Jie Liu46a1c2c2013-06-25 12:02:13 +080041/**
42 * vfs_setpos - update the file offset for lseek
43 * @file: file structure in question
44 * @offset: file offset to seek to
45 * @maxsize: maximum file size
46 *
47 * This is a low-level filesystem helper for updating the file offset to
48 * the value specified by @offset if the given offset is valid and it is
49 * not equal to the current file offset.
50 *
51 * Return the specified offset on success and -EINVAL on invalid offset.
52 */
53loff_t vfs_setpos(struct file *file, loff_t offset, loff_t maxsize)
Andi Kleenef3d0fd2011-09-15 16:06:48 -070054{
55 if (offset < 0 && !unsigned_offsets(file))
56 return -EINVAL;
57 if (offset > maxsize)
58 return -EINVAL;
59
60 if (offset != file->f_pos) {
61 file->f_pos = offset;
62 file->f_version = 0;
63 }
64 return offset;
65}
Jie Liu46a1c2c2013-06-25 12:02:13 +080066EXPORT_SYMBOL(vfs_setpos);
Andi Kleenef3d0fd2011-09-15 16:06:48 -070067
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020068/**
Andi Kleen57604952011-09-15 16:06:50 -070069 * generic_file_llseek_size - generic llseek implementation for regular files
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020070 * @file: file structure to seek on
71 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -080072 * @whence: type of seek
Eric Sandeene8b96eb2012-04-30 13:11:29 -050073 * @size: max size of this file in file system
74 * @eof: offset used for SEEK_END position
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020075 *
Andi Kleen57604952011-09-15 16:06:50 -070076 * This is a variant of generic_file_llseek that allows passing in a custom
Eric Sandeene8b96eb2012-04-30 13:11:29 -050077 * maximum file size and a custom EOF position, for e.g. hashed directories
Andi Kleenef3d0fd2011-09-15 16:06:48 -070078 *
79 * Synchronization:
Andi Kleen57604952011-09-15 16:06:50 -070080 * SEEK_SET and SEEK_END are unsynchronized (but atomic on 64bit platforms)
Andi Kleenef3d0fd2011-09-15 16:06:48 -070081 * SEEK_CUR is synchronized against other SEEK_CURs, but not read/writes.
82 * read/writes behave like SEEK_SET against seeks.
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020083 */
Andi Kleen9465efc2008-06-27 11:05:24 +020084loff_t
Andrew Morton965c8e52012-12-17 15:59:39 -080085generic_file_llseek_size(struct file *file, loff_t offset, int whence,
Eric Sandeene8b96eb2012-04-30 13:11:29 -050086 loff_t maxsize, loff_t eof)
Linus Torvalds1da177e2005-04-16 15:20:36 -070087{
Andrew Morton965c8e52012-12-17 15:59:39 -080088 switch (whence) {
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020089 case SEEK_END:
Eric Sandeene8b96eb2012-04-30 13:11:29 -050090 offset += eof;
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020091 break;
92 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -080093 /*
94 * Here we special-case the lseek(fd, 0, SEEK_CUR)
95 * position-querying operation. Avoid rewriting the "same"
96 * f_pos value back to the file because a concurrent read(),
97 * write() or lseek() might have altered it
98 */
99 if (offset == 0)
100 return file->f_pos;
Andi Kleenef3d0fd2011-09-15 16:06:48 -0700101 /*
102 * f_lock protects against read/modify/write race with other
103 * SEEK_CURs. Note that parallel writes and reads behave
104 * like SEEK_SET.
105 */
106 spin_lock(&file->f_lock);
Jie Liu46a1c2c2013-06-25 12:02:13 +0800107 offset = vfs_setpos(file, file->f_pos + offset, maxsize);
Andi Kleenef3d0fd2011-09-15 16:06:48 -0700108 spin_unlock(&file->f_lock);
109 return offset;
Josef Bacik982d8162011-07-18 13:21:35 -0400110 case SEEK_DATA:
111 /*
112 * In the generic case the entire file is data, so as long as
113 * offset isn't at the end of the file then the offset is data.
114 */
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500115 if (offset >= eof)
Josef Bacik982d8162011-07-18 13:21:35 -0400116 return -ENXIO;
117 break;
118 case SEEK_HOLE:
119 /*
120 * There is a virtual hole at the end of the file, so as long as
121 * offset isn't i_size or larger, return i_size.
122 */
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500123 if (offset >= eof)
Josef Bacik982d8162011-07-18 13:21:35 -0400124 return -ENXIO;
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500125 offset = eof;
Josef Bacik982d8162011-07-18 13:21:35 -0400126 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700127 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200128
Jie Liu46a1c2c2013-06-25 12:02:13 +0800129 return vfs_setpos(file, offset, maxsize);
Andi Kleen57604952011-09-15 16:06:50 -0700130}
131EXPORT_SYMBOL(generic_file_llseek_size);
132
133/**
134 * generic_file_llseek - generic llseek implementation for regular files
135 * @file: file structure to seek on
136 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -0800137 * @whence: type of seek
Andi Kleen57604952011-09-15 16:06:50 -0700138 *
139 * This is a generic implemenation of ->llseek useable for all normal local
140 * filesystems. It just updates the file offset to the value specified by
Ming Lei546ae2d2013-04-29 15:06:07 -0700141 * @offset and @whence.
Andi Kleen57604952011-09-15 16:06:50 -0700142 */
Andrew Morton965c8e52012-12-17 15:59:39 -0800143loff_t generic_file_llseek(struct file *file, loff_t offset, int whence)
Andi Kleen57604952011-09-15 16:06:50 -0700144{
145 struct inode *inode = file->f_mapping->host;
146
Andrew Morton965c8e52012-12-17 15:59:39 -0800147 return generic_file_llseek_size(file, offset, whence,
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500148 inode->i_sb->s_maxbytes,
149 i_size_read(inode));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700150}
Andi Kleen9465efc2008-06-27 11:05:24 +0200151EXPORT_SYMBOL(generic_file_llseek);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700152
jan Blunckae6afc32010-05-26 14:44:48 -0700153/**
Al Viro1bf9d142013-06-16 20:27:42 +0400154 * fixed_size_llseek - llseek implementation for fixed-sized devices
155 * @file: file structure to seek on
156 * @offset: file offset to seek to
157 * @whence: type of seek
158 * @size: size of the file
159 *
160 */
161loff_t fixed_size_llseek(struct file *file, loff_t offset, int whence, loff_t size)
162{
163 switch (whence) {
164 case SEEK_SET: case SEEK_CUR: case SEEK_END:
165 return generic_file_llseek_size(file, offset, whence,
166 size, size);
167 default:
168 return -EINVAL;
169 }
170}
171EXPORT_SYMBOL(fixed_size_llseek);
172
173/**
Al Virob25472f2015-12-05 22:04:48 -0500174 * no_seek_end_llseek - llseek implementation for fixed-sized devices
175 * @file: file structure to seek on
176 * @offset: file offset to seek to
177 * @whence: type of seek
178 *
179 */
180loff_t no_seek_end_llseek(struct file *file, loff_t offset, int whence)
181{
182 switch (whence) {
183 case SEEK_SET: case SEEK_CUR:
184 return generic_file_llseek_size(file, offset, whence,
Wouter van Kesteren2feb55f2016-02-16 22:20:59 +0100185 OFFSET_MAX, 0);
Al Virob25472f2015-12-05 22:04:48 -0500186 default:
187 return -EINVAL;
188 }
189}
190EXPORT_SYMBOL(no_seek_end_llseek);
191
192/**
193 * no_seek_end_llseek_size - llseek implementation for fixed-sized devices
194 * @file: file structure to seek on
195 * @offset: file offset to seek to
196 * @whence: type of seek
197 * @size: maximal offset allowed
198 *
199 */
200loff_t no_seek_end_llseek_size(struct file *file, loff_t offset, int whence, loff_t size)
201{
202 switch (whence) {
203 case SEEK_SET: case SEEK_CUR:
204 return generic_file_llseek_size(file, offset, whence,
205 size, 0);
206 default:
207 return -EINVAL;
208 }
209}
210EXPORT_SYMBOL(no_seek_end_llseek_size);
211
212/**
jan Blunckae6afc32010-05-26 14:44:48 -0700213 * noop_llseek - No Operation Performed llseek implementation
214 * @file: file structure to seek on
215 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -0800216 * @whence: type of seek
jan Blunckae6afc32010-05-26 14:44:48 -0700217 *
218 * This is an implementation of ->llseek useable for the rare special case when
219 * userspace expects the seek to succeed but the (device) file is actually not
220 * able to perform the seek. In this case you use noop_llseek() instead of
221 * falling back to the default implementation of ->llseek.
222 */
Andrew Morton965c8e52012-12-17 15:59:39 -0800223loff_t noop_llseek(struct file *file, loff_t offset, int whence)
jan Blunckae6afc32010-05-26 14:44:48 -0700224{
225 return file->f_pos;
226}
227EXPORT_SYMBOL(noop_llseek);
228
Andrew Morton965c8e52012-12-17 15:59:39 -0800229loff_t no_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700230{
231 return -ESPIPE;
232}
233EXPORT_SYMBOL(no_llseek);
234
Andrew Morton965c8e52012-12-17 15:59:39 -0800235loff_t default_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700236{
Al Viro496ad9a2013-01-23 17:07:38 -0500237 struct inode *inode = file_inode(file);
David Sterba16abef02008-04-22 15:09:22 +0200238 loff_t retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700239
Al Viro59551022016-01-22 15:40:57 -0500240 inode_lock(inode);
Andrew Morton965c8e52012-12-17 15:59:39 -0800241 switch (whence) {
Chris Snook7b8e8922007-05-08 00:24:13 -0700242 case SEEK_END:
Josef Bacik982d8162011-07-18 13:21:35 -0400243 offset += i_size_read(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700244 break;
Chris Snook7b8e8922007-05-08 00:24:13 -0700245 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800246 if (offset == 0) {
247 retval = file->f_pos;
248 goto out;
249 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700250 offset += file->f_pos;
Josef Bacik982d8162011-07-18 13:21:35 -0400251 break;
252 case SEEK_DATA:
253 /*
254 * In the generic case the entire file is data, so as
255 * long as offset isn't at the end of the file then the
256 * offset is data.
257 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300258 if (offset >= inode->i_size) {
259 retval = -ENXIO;
260 goto out;
261 }
Josef Bacik982d8162011-07-18 13:21:35 -0400262 break;
263 case SEEK_HOLE:
264 /*
265 * There is a virtual hole at the end of the file, so
266 * as long as offset isn't i_size or larger, return
267 * i_size.
268 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300269 if (offset >= inode->i_size) {
270 retval = -ENXIO;
271 goto out;
272 }
Josef Bacik982d8162011-07-18 13:21:35 -0400273 offset = inode->i_size;
274 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700275 }
276 retval = -EINVAL;
Al Virocccb5a12010-12-17 07:44:05 -0500277 if (offset >= 0 || unsigned_offsets(file)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700278 if (offset != file->f_pos) {
279 file->f_pos = offset;
280 file->f_version = 0;
281 }
282 retval = offset;
283 }
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800284out:
Al Viro59551022016-01-22 15:40:57 -0500285 inode_unlock(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700286 return retval;
287}
288EXPORT_SYMBOL(default_llseek);
289
Andrew Morton965c8e52012-12-17 15:59:39 -0800290loff_t vfs_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700291{
292 loff_t (*fn)(struct file *, loff_t, int);
293
294 fn = no_llseek;
295 if (file->f_mode & FMODE_LSEEK) {
Al Viro72c2d532013-09-22 16:27:52 -0400296 if (file->f_op->llseek)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700297 fn = file->f_op->llseek;
298 }
Andrew Morton965c8e52012-12-17 15:59:39 -0800299 return fn(file, offset, whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700300}
301EXPORT_SYMBOL(vfs_llseek);
302
Andrew Morton965c8e52012-12-17 15:59:39 -0800303SYSCALL_DEFINE3(lseek, unsigned int, fd, off_t, offset, unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700304{
305 off_t retval;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800306 struct fd f = fdget_pos(fd);
Al Viro2903ff02012-08-28 12:52:22 -0400307 if (!f.file)
308 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700309
310 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800311 if (whence <= SEEK_MAX) {
312 loff_t res = vfs_llseek(f.file, offset, whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700313 retval = res;
314 if (res != (loff_t)retval)
315 retval = -EOVERFLOW; /* LFS: should only happen on 32 bit platforms */
316 }
Linus Torvalds9c225f22014-03-03 09:36:58 -0800317 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700318 return retval;
319}
320
Al Viro561c6732013-02-24 10:52:26 -0500321#ifdef CONFIG_COMPAT
322COMPAT_SYSCALL_DEFINE3(lseek, unsigned int, fd, compat_off_t, offset, unsigned int, whence)
323{
324 return sys_lseek(fd, offset, whence);
325}
326#endif
327
Linus Torvalds1da177e2005-04-16 15:20:36 -0700328#ifdef __ARCH_WANT_SYS_LLSEEK
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100329SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
330 unsigned long, offset_low, loff_t __user *, result,
Andrew Morton965c8e52012-12-17 15:59:39 -0800331 unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700332{
333 int retval;
Eric Biggersd7a15f82014-03-16 14:24:08 -0500334 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700335 loff_t offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700336
Al Viro2903ff02012-08-28 12:52:22 -0400337 if (!f.file)
338 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700339
340 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800341 if (whence > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700342 goto out_putf;
343
Al Viro2903ff02012-08-28 12:52:22 -0400344 offset = vfs_llseek(f.file, ((loff_t) offset_high << 32) | offset_low,
Andrew Morton965c8e52012-12-17 15:59:39 -0800345 whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700346
347 retval = (int)offset;
348 if (offset >= 0) {
349 retval = -EFAULT;
350 if (!copy_to_user(result, &offset, sizeof(offset)))
351 retval = 0;
352 }
353out_putf:
Eric Biggersd7a15f82014-03-16 14:24:08 -0500354 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700355 return retval;
356}
357#endif
358
Al Viro68d70d02013-06-19 15:26:04 +0400359int rw_verify_area(int read_write, struct file *file, const loff_t *ppos, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700360{
361 struct inode *inode;
362 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100363 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700364
Al Viro496ad9a2013-01-23 17:07:38 -0500365 inode = file_inode(file);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800366 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100367 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700368 pos = *ppos;
Al Virocccb5a12010-12-17 07:44:05 -0500369 if (unlikely(pos < 0)) {
370 if (!unsigned_offsets(file))
371 return retval;
372 if (count >= -pos) /* both values are in 0..LLONG_MAX */
373 return -EOVERFLOW;
374 } else if (unlikely((loff_t) (pos + count) < 0)) {
375 if (!unsigned_offsets(file))
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700376 return retval;
377 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700378
Jeff Laytonbd61e0a2015-01-16 15:05:55 -0500379 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
Christoph Hellwigacc15572015-12-03 12:59:49 +0100380 retval = locks_mandatory_area(inode, file, pos, pos + count - 1,
381 read_write == READ ? F_RDLCK : F_WRLCK);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800382 if (retval < 0)
383 return retval;
384 }
Al Virobc613842016-03-31 21:48:20 -0400385 return security_file_permission(file,
James Morrisc43e2592008-01-12 22:05:48 +1100386 read_write == READ ? MAY_READ : MAY_WRITE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700387}
388
Al Viro5d5d5682015-04-03 15:41:18 -0400389static ssize_t new_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500390{
391 struct iovec iov = { .iov_base = buf, .iov_len = len };
392 struct kiocb kiocb;
393 struct iov_iter iter;
394 ssize_t ret;
395
396 init_sync_kiocb(&kiocb, filp);
397 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500398 iov_iter_init(&iter, READ, &iov, 1, len);
399
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100400 ret = call_read_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100401 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500402 *ppos = kiocb.ki_pos;
403 return ret;
404}
405
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200406ssize_t __vfs_read(struct file *file, char __user *buf, size_t count,
407 loff_t *pos)
408{
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200409 if (file->f_op->read)
Al Viro3d04c8a2015-04-03 15:09:18 -0400410 return file->f_op->read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200411 else if (file->f_op->read_iter)
Al Viro3d04c8a2015-04-03 15:09:18 -0400412 return new_sync_read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200413 else
Al Viro3d04c8a2015-04-03 15:09:18 -0400414 return -EINVAL;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200415}
416
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200417ssize_t kernel_read(struct file *file, void *buf, size_t count, loff_t *pos)
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200418{
419 mm_segment_t old_fs;
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200420 ssize_t result;
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200421
422 old_fs = get_fs();
423 set_fs(get_ds());
424 /* The cast to a user pointer is valid due to the set_fs() */
Christoph Hellwigbdd1d2d2017-09-01 17:39:13 +0200425 result = vfs_read(file, (void __user *)buf, count, pos);
Christoph Hellwigc41fbad2017-09-01 17:39:12 +0200426 set_fs(old_fs);
427 return result;
428}
429EXPORT_SYMBOL(kernel_read);
Al Viro293bc982014-02-11 18:37:41 -0500430
Linus Torvalds1da177e2005-04-16 15:20:36 -0700431ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
432{
433 ssize_t ret;
434
435 if (!(file->f_mode & FMODE_READ))
436 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500437 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700438 return -EINVAL;
439 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
440 return -EFAULT;
441
442 ret = rw_verify_area(READ, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400443 if (!ret) {
444 if (count > MAX_RW_COUNT)
445 count = MAX_RW_COUNT;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200446 ret = __vfs_read(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100447 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500448 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100449 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700450 }
James Morrisc43e2592008-01-12 22:05:48 +1100451 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700452 }
453
454 return ret;
455}
456
Al Viro5d5d5682015-04-03 15:41:18 -0400457static 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 -0500458{
459 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
460 struct kiocb kiocb;
461 struct iov_iter iter;
462 ssize_t ret;
463
464 init_sync_kiocb(&kiocb, filp);
465 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500466 iov_iter_init(&iter, WRITE, &iov, 1, len);
467
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100468 ret = call_write_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100469 BUG_ON(ret == -EIOCBQUEUED);
Al Virof765b132015-04-06 20:50:38 -0400470 if (ret > 0)
471 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500472 return ret;
473}
474
Al Viro493c84c2015-04-03 15:06:43 -0400475ssize_t __vfs_write(struct file *file, const char __user *p, size_t count,
476 loff_t *pos)
477{
478 if (file->f_op->write)
479 return file->f_op->write(file, p, count, pos);
Al Viro493c84c2015-04-03 15:06:43 -0400480 else if (file->f_op->write_iter)
481 return new_sync_write(file, p, count, pos);
482 else
483 return -EINVAL;
484}
Al Viro493c84c2015-04-03 15:06:43 -0400485
Christoph Hellwig73e18f72017-09-01 17:39:15 +0200486ssize_t __kernel_write(struct file *file, const void *buf, size_t count, loff_t *pos)
Al Viro06ae43f2013-03-20 13:19:30 -0400487{
488 mm_segment_t old_fs;
489 const char __user *p;
490 ssize_t ret;
491
Al Viro7f7f25e2014-02-11 17:49:24 -0500492 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000493 return -EINVAL;
494
Al Viro06ae43f2013-03-20 13:19:30 -0400495 old_fs = get_fs();
496 set_fs(get_ds());
497 p = (__force const char __user *)buf;
498 if (count > MAX_RW_COUNT)
499 count = MAX_RW_COUNT;
Al Viro493c84c2015-04-03 15:06:43 -0400500 ret = __vfs_write(file, p, count, pos);
Al Viro06ae43f2013-03-20 13:19:30 -0400501 set_fs(old_fs);
502 if (ret > 0) {
503 fsnotify_modify(file);
504 add_wchar(current, ret);
505 }
506 inc_syscw(current);
507 return ret;
508}
Al Viro2ec3a122014-08-19 11:48:09 -0400509EXPORT_SYMBOL(__kernel_write);
510
Christoph Hellwige13ec932017-09-01 17:39:14 +0200511ssize_t kernel_write(struct file *file, const void *buf, size_t count,
512 loff_t *pos)
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200513{
514 mm_segment_t old_fs;
515 ssize_t res;
516
517 old_fs = get_fs();
518 set_fs(get_ds());
519 /* The cast to a user pointer is valid due to the set_fs() */
Christoph Hellwige13ec932017-09-01 17:39:14 +0200520 res = vfs_write(file, (__force const char __user *)buf, count, pos);
Christoph Hellwigac452ac2017-09-01 17:39:11 +0200521 set_fs(old_fs);
522
523 return res;
524}
525EXPORT_SYMBOL(kernel_write);
526
Linus Torvalds1da177e2005-04-16 15:20:36 -0700527ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
528{
529 ssize_t ret;
530
531 if (!(file->f_mode & FMODE_WRITE))
532 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500533 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700534 return -EINVAL;
535 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
536 return -EFAULT;
537
538 ret = rw_verify_area(WRITE, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400539 if (!ret) {
540 if (count > MAX_RW_COUNT)
541 count = MAX_RW_COUNT;
Al Viro03d95eb2013-03-20 13:04:20 -0400542 file_start_write(file);
Al Viro493c84c2015-04-03 15:06:43 -0400543 ret = __vfs_write(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100544 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500545 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100546 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700547 }
James Morrisc43e2592008-01-12 22:05:48 +1100548 inc_syscw(current);
Al Viro03d95eb2013-03-20 13:04:20 -0400549 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700550 }
551
552 return ret;
553}
554
Linus Torvalds1da177e2005-04-16 15:20:36 -0700555static inline loff_t file_pos_read(struct file *file)
556{
557 return file->f_pos;
558}
559
560static inline void file_pos_write(struct file *file, loff_t pos)
561{
562 file->f_pos = pos;
563}
564
Heiko Carstens3cdad422009-01-14 14:14:22 +0100565SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700566{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800567 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700568 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569
Al Viro2903ff02012-08-28 12:52:22 -0400570 if (f.file) {
571 loff_t pos = file_pos_read(f.file);
572 ret = vfs_read(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400573 if (ret >= 0)
574 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800575 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700576 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700577 return ret;
578}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579
Heiko Carstens3cdad422009-01-14 14:14:22 +0100580SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
581 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700582{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800583 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700584 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700585
Al Viro2903ff02012-08-28 12:52:22 -0400586 if (f.file) {
587 loff_t pos = file_pos_read(f.file);
588 ret = vfs_write(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400589 if (ret >= 0)
590 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800591 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700592 }
593
594 return ret;
595}
596
Al Viro4a0fd5b2013-01-21 15:16:58 -0500597SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
598 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700599{
Al Viro2903ff02012-08-28 12:52:22 -0400600 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700601 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700602
603 if (pos < 0)
604 return -EINVAL;
605
Al Viro2903ff02012-08-28 12:52:22 -0400606 f = fdget(fd);
607 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700608 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400609 if (f.file->f_mode & FMODE_PREAD)
610 ret = vfs_read(f.file, buf, count, &pos);
611 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700612 }
613
614 return ret;
615}
616
Al Viro4a0fd5b2013-01-21 15:16:58 -0500617SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
618 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619{
Al Viro2903ff02012-08-28 12:52:22 -0400620 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700621 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700622
623 if (pos < 0)
624 return -EINVAL;
625
Al Viro2903ff02012-08-28 12:52:22 -0400626 f = fdget(fd);
627 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700628 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400629 if (f.file->f_mode & FMODE_PWRITE)
630 ret = vfs_write(f.file, buf, count, &pos);
631 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700632 }
633
634 return ret;
635}
636
637/*
638 * Reduce an iovec's length in-place. Return the resulting number of segments
639 */
640unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
641{
642 unsigned long seg = 0;
643 size_t len = 0;
644
645 while (seg < nr_segs) {
646 seg++;
647 if (len + iov->iov_len >= to) {
648 iov->iov_len = to - len;
649 break;
650 }
651 len += iov->iov_len;
652 iov++;
653 }
654 return seg;
655}
Eric Sandeen19295522008-01-28 23:58:27 -0500656EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700657
Al Viroac15ac02015-03-20 20:10:21 -0400658static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200659 loff_t *ppos, int type, rwf_t flags)
Al Viro293bc982014-02-11 18:37:41 -0500660{
661 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500662 ssize_t ret;
663
664 init_sync_kiocb(&kiocb, filp);
Goldwyn Rodriguesfdd2f5b2017-06-20 07:05:40 -0500665 ret = kiocb_set_rw_flags(&kiocb, flags);
666 if (ret)
667 return ret;
Al Viro293bc982014-02-11 18:37:41 -0500668 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500669
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100670 if (type == READ)
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100671 ret = call_read_iter(filp, &kiocb, iter);
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100672 else
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100673 ret = call_write_iter(filp, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100674 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500675 *ppos = kiocb.ki_pos;
676 return ret;
677}
678
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700679/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400680static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200681 loff_t *ppos, int type, rwf_t flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700682{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700683 ssize_t ret = 0;
684
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100685 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100686 return -EOPNOTSUPP;
687
Al Viroac15ac02015-03-20 20:10:21 -0400688 while (iov_iter_count(iter)) {
689 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700690 ssize_t nr;
691
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100692 if (type == READ) {
693 nr = filp->f_op->read(filp, iovec.iov_base,
694 iovec.iov_len, ppos);
695 } else {
696 nr = filp->f_op->write(filp, iovec.iov_base,
697 iovec.iov_len, ppos);
698 }
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700699
700 if (nr < 0) {
701 if (!ret)
702 ret = nr;
703 break;
704 }
705 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400706 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700707 break;
Al Viroac15ac02015-03-20 20:10:21 -0400708 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700709 }
710
711 return ret;
712}
713
Linus Torvalds1da177e2005-04-16 15:20:36 -0700714/* A write operation does a read from user space and vice versa */
715#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
716
Vegard Nossumffecee42016-10-08 11:18:07 +0200717/**
718 * rw_copy_check_uvector() - Copy an array of &struct iovec from userspace
719 * into the kernel and check that it is valid.
720 *
721 * @type: One of %CHECK_IOVEC_ONLY, %READ, or %WRITE.
722 * @uvector: Pointer to the userspace array.
723 * @nr_segs: Number of elements in userspace array.
724 * @fast_segs: Number of elements in @fast_pointer.
725 * @fast_pointer: Pointer to (usually small on-stack) kernel array.
726 * @ret_pointer: (output parameter) Pointer to a variable that will point to
727 * either @fast_pointer, a newly allocated kernel array, or NULL,
728 * depending on which array was used.
729 *
730 * This function copies an array of &struct iovec of @nr_segs from
731 * userspace into the kernel and checks that each element is valid (e.g.
732 * it does not point to a kernel address or cause overflow by being too
733 * large, etc.).
734 *
735 * As an optimization, the caller may provide a pointer to a small
736 * on-stack array in @fast_pointer, typically %UIO_FASTIOV elements long
737 * (the size of this array, or 0 if unused, should be given in @fast_segs).
738 *
739 * @ret_pointer will always point to the array that was used, so the
740 * caller must take care not to call kfree() on it e.g. in case the
741 * @fast_pointer array was used and it was allocated on the stack.
742 *
743 * Return: The total number of bytes covered by the iovec array on success
744 * or a negative error code on error.
745 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700746ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
747 unsigned long nr_segs, unsigned long fast_segs,
748 struct iovec *fast_pointer,
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700749 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700750{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700751 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700752 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700753 struct iovec *iov = fast_pointer;
754
Linus Torvalds435f49a2010-10-29 10:36:49 -0700755 /*
756 * SuS says "The readv() function *may* fail if the iovcnt argument
757 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
758 * traditionally returned zero for zero segments, so...
759 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700760 if (nr_segs == 0) {
761 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700762 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700763 }
764
Linus Torvalds435f49a2010-10-29 10:36:49 -0700765 /*
766 * First get the "struct iovec" from user memory and
767 * verify all the pointers
768 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700769 if (nr_segs > UIO_MAXIOV) {
770 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700771 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700772 }
773 if (nr_segs > fast_segs) {
Linus Torvalds435f49a2010-10-29 10:36:49 -0700774 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700775 if (iov == NULL) {
776 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700777 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700778 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700779 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700780 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
781 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700782 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700783 }
784
Linus Torvalds435f49a2010-10-29 10:36:49 -0700785 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700786 * According to the Single Unix Specification we should return EINVAL
787 * if an element length is < 0 when cast to ssize_t or if the
788 * total length would overflow the ssize_t return value of the
789 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700790 *
791 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
792 * overflow case.
793 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700794 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700795 for (seg = 0; seg < nr_segs; seg++) {
796 void __user *buf = iov[seg].iov_base;
797 ssize_t len = (ssize_t)iov[seg].iov_len;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700798
799 /* see if we we're about to use an invalid len or if
800 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700801 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700802 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700803 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700804 }
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700805 if (type >= 0
Christopher Yeohfcf63402011-10-31 17:06:39 -0700806 && unlikely(!access_ok(vrfy_dir(type), buf, len))) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700807 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700808 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700809 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700810 if (len > MAX_RW_COUNT - ret) {
811 len = MAX_RW_COUNT - ret;
812 iov[seg].iov_len = len;
813 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700814 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700815 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700816out:
817 *ret_pointer = iov;
818 return ret;
819}
820
Al Virof5029852017-04-08 18:18:48 -0400821#ifdef CONFIG_COMPAT
822ssize_t compat_rw_copy_check_uvector(int type,
823 const struct compat_iovec __user *uvector, unsigned long nr_segs,
824 unsigned long fast_segs, struct iovec *fast_pointer,
825 struct iovec **ret_pointer)
826{
827 compat_ssize_t tot_len;
828 struct iovec *iov = *ret_pointer = fast_pointer;
829 ssize_t ret = 0;
830 int seg;
831
832 /*
833 * SuS says "The readv() function *may* fail if the iovcnt argument
834 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
835 * traditionally returned zero for zero segments, so...
836 */
837 if (nr_segs == 0)
838 goto out;
839
840 ret = -EINVAL;
841 if (nr_segs > UIO_MAXIOV)
842 goto out;
843 if (nr_segs > fast_segs) {
844 ret = -ENOMEM;
845 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
846 if (iov == NULL)
847 goto out;
848 }
849 *ret_pointer = iov;
850
851 ret = -EFAULT;
852 if (!access_ok(VERIFY_READ, uvector, nr_segs*sizeof(*uvector)))
853 goto out;
854
855 /*
856 * Single unix specification:
857 * We should -EINVAL if an element length is not >= 0 and fitting an
858 * ssize_t.
859 *
860 * In Linux, the total length is limited to MAX_RW_COUNT, there is
861 * no overflow possibility.
862 */
863 tot_len = 0;
864 ret = -EINVAL;
865 for (seg = 0; seg < nr_segs; seg++) {
866 compat_uptr_t buf;
867 compat_ssize_t len;
868
869 if (__get_user(len, &uvector->iov_len) ||
870 __get_user(buf, &uvector->iov_base)) {
871 ret = -EFAULT;
872 goto out;
873 }
874 if (len < 0) /* size_t not fitting in compat_ssize_t .. */
875 goto out;
876 if (type >= 0 &&
877 !access_ok(vrfy_dir(type), compat_ptr(buf), len)) {
878 ret = -EFAULT;
879 goto out;
880 }
881 if (len > MAX_RW_COUNT - tot_len)
882 len = MAX_RW_COUNT - tot_len;
883 tot_len += len;
884 iov->iov_base = compat_ptr(buf);
885 iov->iov_len = (compat_size_t) len;
886 uvector++;
887 iov++;
888 }
889 ret = tot_len;
890
891out:
892 return ret;
893}
894#endif
895
Christoph Hellwig19c73582017-05-27 11:16:48 +0300896static ssize_t do_iter_read(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200897 loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700898{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700899 size_t tot_len;
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100900 ssize_t ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300902 if (!(file->f_mode & FMODE_READ))
903 return -EBADF;
904 if (!(file->f_mode & FMODE_CAN_READ))
905 return -EINVAL;
906
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100907 tot_len = iov_iter_count(iter);
Al Viro0504c072015-03-21 19:40:11 -0400908 if (!tot_len)
909 goto out;
Christoph Hellwig19c73582017-05-27 11:16:48 +0300910 ret = rw_verify_area(READ, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800911 if (ret < 0)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300912 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700913
Christoph Hellwig19c73582017-05-27 11:16:48 +0300914 if (file->f_op->read_iter)
915 ret = do_iter_readv_writev(file, iter, pos, READ, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700916 else
Christoph Hellwig19c73582017-05-27 11:16:48 +0300917 ret = do_loop_readv_writev(file, iter, pos, READ, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700918out:
Christoph Hellwig19c73582017-05-27 11:16:48 +0300919 if (ret >= 0)
920 fsnotify_access(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700921 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700922}
923
Christoph Hellwig18e97102017-05-27 11:16:51 +0300924ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200925 rwf_t flags)
Christoph Hellwig18e97102017-05-27 11:16:51 +0300926{
927 if (!file->f_op->read_iter)
928 return -EINVAL;
929 return do_iter_read(file, iter, ppos, flags);
930}
931EXPORT_SYMBOL(vfs_iter_read);
932
Christoph Hellwig19c73582017-05-27 11:16:48 +0300933static ssize_t do_iter_write(struct file *file, struct iov_iter *iter,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200934 loff_t *pos, rwf_t flags)
Christoph Hellwig19c73582017-05-27 11:16:48 +0300935{
936 size_t tot_len;
937 ssize_t ret = 0;
938
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300939 if (!(file->f_mode & FMODE_WRITE))
940 return -EBADF;
941 if (!(file->f_mode & FMODE_CAN_WRITE))
942 return -EINVAL;
943
Christoph Hellwig19c73582017-05-27 11:16:48 +0300944 tot_len = iov_iter_count(iter);
945 if (!tot_len)
946 return 0;
947 ret = rw_verify_area(WRITE, file, pos, tot_len);
948 if (ret < 0)
949 return ret;
950
Christoph Hellwig19c73582017-05-27 11:16:48 +0300951 if (file->f_op->write_iter)
952 ret = do_iter_readv_writev(file, iter, pos, WRITE, flags);
953 else
954 ret = do_loop_readv_writev(file, iter, pos, WRITE, flags);
Christoph Hellwig19c73582017-05-27 11:16:48 +0300955 if (ret > 0)
956 fsnotify_modify(file);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700957 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700958}
959
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300960ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200961 rwf_t flags)
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300962{
963 if (!file->f_op->write_iter)
964 return -EINVAL;
965 return do_iter_write(file, iter, ppos, flags);
966}
967EXPORT_SYMBOL(vfs_iter_write);
968
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300969ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200970 unsigned long vlen, loff_t *pos, rwf_t flags)
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100971{
972 struct iovec iovstack[UIO_FASTIOV];
973 struct iovec *iov = iovstack;
974 struct iov_iter iter;
975 ssize_t ret;
976
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300977 ret = import_iovec(READ, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300978 if (ret >= 0) {
979 ret = do_iter_read(file, &iter, pos, flags);
980 kfree(iov);
981 }
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100982
983 return ret;
984}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700985
Christoph Hellwig9725d4c2017-09-01 17:39:25 +0200986static ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +0200987 unsigned long vlen, loff_t *pos, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700988{
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300989 struct iovec iovstack[UIO_FASTIOV];
990 struct iovec *iov = iovstack;
991 struct iov_iter iter;
992 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700993
Christoph Hellwig251b42a2017-05-27 11:16:46 +0300994 ret = import_iovec(WRITE, vec, vlen, ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300995 if (ret >= 0) {
Al Viro62473a22017-07-06 09:15:47 -0400996 file_start_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300997 ret = do_iter_write(file, &iter, pos, flags);
Al Viro62473a22017-07-06 09:15:47 -0400998 file_end_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +0300999 kfree(iov);
1000 }
Christoph Hellwig251b42a2017-05-27 11:16:46 +03001001 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001002}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001003
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001004static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001005 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001006{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001007 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001008 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001009
Al Viro2903ff02012-08-28 12:52:22 -04001010 if (f.file) {
1011 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001012 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001013 if (ret >= 0)
1014 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -08001015 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001016 }
1017
1018 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001019 add_rchar(current, ret);
1020 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001021 return ret;
1022}
1023
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001024static ssize_t do_writev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001025 unsigned long vlen, rwf_t flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001026{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001027 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001028 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001029
Al Viro2903ff02012-08-28 12:52:22 -04001030 if (f.file) {
1031 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001032 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001033 if (ret >= 0)
1034 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -08001035 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001036 }
1037
1038 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001039 add_wchar(current, ret);
1040 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001041 return ret;
1042}
1043
Linus Torvalds601cc11d2009-04-03 08:03:22 -07001044static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001045{
Linus Torvalds601cc11d2009-04-03 08:03:22 -07001046#define HALF_LONG_BITS (BITS_PER_LONG / 2)
1047 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
1048}
1049
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001050static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001051 unsigned long vlen, loff_t pos, rwf_t flags)
Linus Torvalds601cc11d2009-04-03 08:03:22 -07001052{
Al Viro2903ff02012-08-28 12:52:22 -04001053 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001054 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001055
1056 if (pos < 0)
1057 return -EINVAL;
1058
Al Viro2903ff02012-08-28 12:52:22 -04001059 f = fdget(fd);
1060 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001061 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001062 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001063 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001064 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001065 }
1066
1067 if (ret > 0)
1068 add_rchar(current, ret);
1069 inc_syscr(current);
1070 return ret;
1071}
1072
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001073static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001074 unsigned long vlen, loff_t pos, rwf_t flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001075{
Al Viro2903ff02012-08-28 12:52:22 -04001076 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001077 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001078
1079 if (pos < 0)
1080 return -EINVAL;
1081
Al Viro2903ff02012-08-28 12:52:22 -04001082 f = fdget(fd);
1083 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001084 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001085 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001086 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001087 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001088 }
1089
1090 if (ret > 0)
1091 add_wchar(current, ret);
1092 inc_syscw(current);
1093 return ret;
1094}
1095
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001096SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
1097 unsigned long, vlen)
1098{
1099 return do_readv(fd, vec, vlen, 0);
1100}
1101
1102SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
1103 unsigned long, vlen)
1104{
1105 return do_writev(fd, vec, vlen, 0);
1106}
1107
1108SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
1109 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1110{
1111 loff_t pos = pos_from_hilo(pos_h, pos_l);
1112
1113 return do_preadv(fd, vec, vlen, pos, 0);
1114}
1115
1116SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1117 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001118 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001119{
1120 loff_t pos = pos_from_hilo(pos_h, pos_l);
1121
1122 if (pos == -1)
1123 return do_readv(fd, vec, vlen, flags);
1124
1125 return do_preadv(fd, vec, vlen, pos, flags);
1126}
1127
1128SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
1129 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1130{
1131 loff_t pos = pos_from_hilo(pos_h, pos_l);
1132
1133 return do_pwritev(fd, vec, vlen, pos, 0);
1134}
1135
1136SYSCALL_DEFINE6(pwritev2, unsigned long, fd, const struct iovec __user *, vec,
1137 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001138 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001139{
1140 loff_t pos = pos_from_hilo(pos_h, pos_l);
1141
1142 if (pos == -1)
1143 return do_writev(fd, vec, vlen, flags);
1144
1145 return do_pwritev(fd, vec, vlen, pos, flags);
1146}
1147
Al Viro72ec3512013-03-20 10:42:10 -04001148#ifdef CONFIG_COMPAT
Al Viro72ec3512013-03-20 10:42:10 -04001149static size_t compat_readv(struct file *file,
1150 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001151 unsigned long vlen, loff_t *pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001152{
1153 struct iovec iovstack[UIO_FASTIOV];
1154 struct iovec *iov = iovstack;
1155 struct iov_iter iter;
1156 ssize_t ret;
1157
Christoph Hellwig26c87fb2017-05-27 11:16:47 +03001158 ret = compat_import_iovec(READ, vec, vlen, UIO_FASTIOV, &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001159 if (ret >= 0) {
1160 ret = do_iter_read(file, &iter, pos, flags);
1161 kfree(iov);
1162 }
Al Viro72ec3512013-03-20 10:42:10 -04001163 if (ret > 0)
1164 add_rchar(current, ret);
1165 inc_syscr(current);
1166 return ret;
1167}
1168
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001169static size_t do_compat_readv(compat_ulong_t fd,
1170 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001171 compat_ulong_t vlen, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001172{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001173 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001174 ssize_t ret;
1175 loff_t pos;
1176
1177 if (!f.file)
1178 return -EBADF;
1179 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001180 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001181 if (ret >= 0)
1182 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001183 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001184 return ret;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001185
Al Viro72ec3512013-03-20 10:42:10 -04001186}
1187
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001188COMPAT_SYSCALL_DEFINE3(readv, compat_ulong_t, fd,
1189 const struct compat_iovec __user *,vec,
1190 compat_ulong_t, vlen)
1191{
1192 return do_compat_readv(fd, vec, vlen, 0);
1193}
1194
1195static long do_compat_preadv64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001196 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001197 unsigned long vlen, loff_t pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001198{
1199 struct fd f;
1200 ssize_t ret;
1201
1202 if (pos < 0)
1203 return -EINVAL;
1204 f = fdget(fd);
1205 if (!f.file)
1206 return -EBADF;
1207 ret = -ESPIPE;
1208 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001209 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001210 fdput(f);
1211 return ret;
1212}
1213
Heiko Carstens378a10f2014-03-05 10:43:51 +01001214#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1215COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
1216 const struct compat_iovec __user *,vec,
1217 unsigned long, vlen, loff_t, pos)
1218{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001219 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001220}
1221#endif
1222
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001223COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001224 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001225 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001226{
1227 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001228
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001229 return do_compat_preadv64(fd, vec, vlen, pos, 0);
1230}
1231
H.J. Lu3ebfd812016-07-14 12:31:53 -07001232#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64V2
1233COMPAT_SYSCALL_DEFINE5(preadv64v2, unsigned long, fd,
1234 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001235 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001236{
1237 return do_compat_preadv64(fd, vec, vlen, pos, flags);
1238}
1239#endif
1240
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001241COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
1242 const struct compat_iovec __user *,vec,
1243 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001244 rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001245{
1246 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1247
1248 if (pos == -1)
1249 return do_compat_readv(fd, vec, vlen, flags);
1250
1251 return do_compat_preadv64(fd, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001252}
1253
1254static size_t compat_writev(struct file *file,
1255 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001256 unsigned long vlen, loff_t *pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001257{
Christoph Hellwig26c87fb2017-05-27 11:16:47 +03001258 struct iovec iovstack[UIO_FASTIOV];
1259 struct iovec *iov = iovstack;
1260 struct iov_iter iter;
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001261 ssize_t ret;
Al Viro72ec3512013-03-20 10:42:10 -04001262
Christoph Hellwig26c87fb2017-05-27 11:16:47 +03001263 ret = compat_import_iovec(WRITE, vec, vlen, UIO_FASTIOV, &iov, &iter);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001264 if (ret >= 0) {
Al Viro62473a22017-07-06 09:15:47 -04001265 file_start_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001266 ret = do_iter_write(file, &iter, pos, flags);
Al Viro62473a22017-07-06 09:15:47 -04001267 file_end_write(file);
Christoph Hellwigedab5fe2017-05-27 11:16:49 +03001268 kfree(iov);
1269 }
Al Viro72ec3512013-03-20 10:42:10 -04001270 if (ret > 0)
1271 add_wchar(current, ret);
1272 inc_syscw(current);
1273 return ret;
1274}
1275
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001276static size_t do_compat_writev(compat_ulong_t fd,
1277 const struct compat_iovec __user* vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001278 compat_ulong_t vlen, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001279{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001280 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001281 ssize_t ret;
1282 loff_t pos;
1283
1284 if (!f.file)
1285 return -EBADF;
1286 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001287 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001288 if (ret >= 0)
1289 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001290 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001291 return ret;
1292}
1293
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001294COMPAT_SYSCALL_DEFINE3(writev, compat_ulong_t, fd,
1295 const struct compat_iovec __user *, vec,
1296 compat_ulong_t, vlen)
1297{
1298 return do_compat_writev(fd, vec, vlen, 0);
1299}
1300
1301static long do_compat_pwritev64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001302 const struct compat_iovec __user *vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001303 unsigned long vlen, loff_t pos, rwf_t flags)
Al Viro72ec3512013-03-20 10:42:10 -04001304{
1305 struct fd f;
1306 ssize_t ret;
1307
1308 if (pos < 0)
1309 return -EINVAL;
1310 f = fdget(fd);
1311 if (!f.file)
1312 return -EBADF;
1313 ret = -ESPIPE;
1314 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001315 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001316 fdput(f);
1317 return ret;
1318}
1319
Heiko Carstens378a10f2014-03-05 10:43:51 +01001320#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1321COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
1322 const struct compat_iovec __user *,vec,
1323 unsigned long, vlen, loff_t, pos)
1324{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001325 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001326}
1327#endif
1328
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001329COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001330 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001331 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001332{
1333 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001334
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001335 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001336}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001337
H.J. Lu3ebfd812016-07-14 12:31:53 -07001338#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64V2
1339COMPAT_SYSCALL_DEFINE5(pwritev64v2, unsigned long, fd,
1340 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001341 unsigned long, vlen, loff_t, pos, rwf_t, flags)
H.J. Lu3ebfd812016-07-14 12:31:53 -07001342{
1343 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1344}
1345#endif
1346
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001347COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
1348 const struct compat_iovec __user *,vec,
Christoph Hellwigddef7ed22017-07-06 18:58:37 +02001349 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, rwf_t, flags)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001350{
1351 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1352
1353 if (pos == -1)
1354 return do_compat_writev(fd, vec, vlen, flags);
1355
1356 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1357}
1358
Al Viro72ec3512013-03-20 10:42:10 -04001359#endif
1360
Al Viro19f4fc32013-02-24 02:17:03 -05001361static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1362 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001363{
Al Viro2903ff02012-08-28 12:52:22 -04001364 struct fd in, out;
1365 struct inode *in_inode, *out_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001366 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001367 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001368 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001369 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001370
1371 /*
1372 * Get input file, and verify that it is ok..
1373 */
1374 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001375 in = fdget(in_fd);
1376 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001377 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001378 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001379 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001380 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001381 if (!ppos) {
1382 pos = in.file->f_pos;
1383 } else {
1384 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001385 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001386 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001387 }
1388 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001389 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001390 goto fput_in;
Al Virobc613842016-03-31 21:48:20 -04001391 if (count > MAX_RW_COUNT)
1392 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001393
Linus Torvalds1da177e2005-04-16 15:20:36 -07001394 /*
1395 * Get output file, and verify that it is ok..
1396 */
1397 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001398 out = fdget(out_fd);
1399 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001400 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001401 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001402 goto fput_out;
1403 retval = -EINVAL;
Al Viro496ad9a2013-01-23 17:07:38 -05001404 in_inode = file_inode(in.file);
1405 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001406 out_pos = out.file->f_pos;
1407 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001408 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001409 goto fput_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001410
Linus Torvalds1da177e2005-04-16 15:20:36 -07001411 if (!max)
1412 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1413
Linus Torvalds1da177e2005-04-16 15:20:36 -07001414 if (unlikely(pos + count > max)) {
1415 retval = -EOVERFLOW;
1416 if (pos >= max)
1417 goto fput_out;
1418 count = max - pos;
1419 }
1420
Jens Axboed96e6e72007-06-11 12:18:52 +02001421 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001422#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001423 /*
1424 * We need to debate whether we can enable this or not. The
1425 * man page documents EAGAIN return for the output at least,
1426 * and the application is arguably buggy if it doesn't expect
1427 * EAGAIN on a non-blocking file descriptor.
1428 */
Al Viro2903ff02012-08-28 12:52:22 -04001429 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001430 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001431#endif
Al Viro50cd2c52013-05-23 20:10:34 -04001432 file_start_write(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001433 retval = do_splice_direct(in.file, &pos, out.file, &out_pos, count, fl);
Al Viro50cd2c52013-05-23 20:10:34 -04001434 file_end_write(out.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001435
1436 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001437 add_rchar(current, retval);
1438 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001439 fsnotify_access(in.file);
1440 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001441 out.file->f_pos = out_pos;
1442 if (ppos)
1443 *ppos = pos;
1444 else
1445 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001446 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001447
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001448 inc_syscr(current);
1449 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001450 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001451 retval = -EOVERFLOW;
1452
1453fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001454 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001455fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001456 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001457out:
1458 return retval;
1459}
1460
Heiko Carstens002c8972009-01-14 14:14:18 +01001461SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001462{
1463 loff_t pos;
1464 off_t off;
1465 ssize_t ret;
1466
1467 if (offset) {
1468 if (unlikely(get_user(off, offset)))
1469 return -EFAULT;
1470 pos = off;
1471 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1472 if (unlikely(put_user(pos, offset)))
1473 return -EFAULT;
1474 return ret;
1475 }
1476
1477 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1478}
1479
Heiko Carstens002c8972009-01-14 14:14:18 +01001480SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001481{
1482 loff_t pos;
1483 ssize_t ret;
1484
1485 if (offset) {
1486 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1487 return -EFAULT;
1488 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1489 if (unlikely(put_user(pos, offset)))
1490 return -EFAULT;
1491 return ret;
1492 }
1493
1494 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1495}
Al Viro19f4fc32013-02-24 02:17:03 -05001496
1497#ifdef CONFIG_COMPAT
1498COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1499 compat_off_t __user *, offset, compat_size_t, count)
1500{
1501 loff_t pos;
1502 off_t off;
1503 ssize_t ret;
1504
1505 if (offset) {
1506 if (unlikely(get_user(off, offset)))
1507 return -EFAULT;
1508 pos = off;
1509 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1510 if (unlikely(put_user(pos, offset)))
1511 return -EFAULT;
1512 return ret;
1513 }
1514
1515 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1516}
1517
1518COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1519 compat_loff_t __user *, offset, compat_size_t, count)
1520{
1521 loff_t pos;
1522 ssize_t ret;
1523
1524 if (offset) {
1525 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1526 return -EFAULT;
1527 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1528 if (unlikely(put_user(pos, offset)))
1529 return -EFAULT;
1530 return ret;
1531 }
1532
1533 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1534}
1535#endif
Zach Brown29732932015-11-10 16:53:30 -05001536
1537/*
1538 * copy_file_range() differs from regular file read and write in that it
1539 * specifically allows return partial success. When it does so is up to
1540 * the copy_file_range method.
1541 */
1542ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1543 struct file *file_out, loff_t pos_out,
1544 size_t len, unsigned int flags)
1545{
1546 struct inode *inode_in = file_inode(file_in);
1547 struct inode *inode_out = file_inode(file_out);
1548 ssize_t ret;
1549
1550 if (flags != 0)
1551 return -EINVAL;
1552
Amir Goldstein11cbfb12017-01-31 10:34:56 +02001553 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1554 return -EISDIR;
1555 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1556 return -EINVAL;
1557
Zach Brown29732932015-11-10 16:53:30 -05001558 ret = rw_verify_area(READ, file_in, &pos_in, len);
Al Virobc613842016-03-31 21:48:20 -04001559 if (unlikely(ret))
1560 return ret;
1561
1562 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1563 if (unlikely(ret))
Zach Brown29732932015-11-10 16:53:30 -05001564 return ret;
1565
1566 if (!(file_in->f_mode & FMODE_READ) ||
1567 !(file_out->f_mode & FMODE_WRITE) ||
Anna Schumakereac70052015-11-10 16:53:33 -05001568 (file_out->f_flags & O_APPEND))
Zach Brown29732932015-11-10 16:53:30 -05001569 return -EBADF;
1570
1571 /* this could be relaxed once a method supports cross-fs copies */
1572 if (inode_in->i_sb != inode_out->i_sb)
1573 return -EXDEV;
1574
1575 if (len == 0)
1576 return 0;
1577
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001578 file_start_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001579
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001580 /*
1581 * Try cloning first, this is supported by more file systems, and
1582 * more efficient if both clone and copy are supported (e.g. NFS).
1583 */
1584 if (file_in->f_op->clone_file_range) {
1585 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1586 file_out, pos_out, len);
1587 if (ret == 0) {
1588 ret = len;
1589 goto done;
1590 }
1591 }
1592
1593 if (file_out->f_op->copy_file_range) {
Anna Schumakereac70052015-11-10 16:53:33 -05001594 ret = file_out->f_op->copy_file_range(file_in, pos_in, file_out,
1595 pos_out, len, flags);
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001596 if (ret != -EOPNOTSUPP)
1597 goto done;
1598 }
Anna Schumakereac70052015-11-10 16:53:33 -05001599
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001600 ret = do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1601 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1602
1603done:
Zach Brown29732932015-11-10 16:53:30 -05001604 if (ret > 0) {
1605 fsnotify_access(file_in);
1606 add_rchar(current, ret);
1607 fsnotify_modify(file_out);
1608 add_wchar(current, ret);
1609 }
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001610
Zach Brown29732932015-11-10 16:53:30 -05001611 inc_syscr(current);
1612 inc_syscw(current);
1613
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001614 file_end_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001615
1616 return ret;
1617}
1618EXPORT_SYMBOL(vfs_copy_file_range);
1619
1620SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1621 int, fd_out, loff_t __user *, off_out,
1622 size_t, len, unsigned int, flags)
1623{
1624 loff_t pos_in;
1625 loff_t pos_out;
1626 struct fd f_in;
1627 struct fd f_out;
1628 ssize_t ret = -EBADF;
1629
1630 f_in = fdget(fd_in);
1631 if (!f_in.file)
1632 goto out2;
1633
1634 f_out = fdget(fd_out);
1635 if (!f_out.file)
1636 goto out1;
1637
1638 ret = -EFAULT;
1639 if (off_in) {
1640 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1641 goto out;
1642 } else {
1643 pos_in = f_in.file->f_pos;
1644 }
1645
1646 if (off_out) {
1647 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1648 goto out;
1649 } else {
1650 pos_out = f_out.file->f_pos;
1651 }
1652
1653 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1654 flags);
1655 if (ret > 0) {
1656 pos_in += ret;
1657 pos_out += ret;
1658
1659 if (off_in) {
1660 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1661 ret = -EFAULT;
1662 } else {
1663 f_in.file->f_pos = pos_in;
1664 }
1665
1666 if (off_out) {
1667 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1668 ret = -EFAULT;
1669 } else {
1670 f_out.file->f_pos = pos_out;
1671 }
1672 }
1673
1674out:
1675 fdput(f_out);
1676out1:
1677 fdput(f_in);
1678out2:
1679 return ret;
1680}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001681
1682static int clone_verify_area(struct file *file, loff_t pos, u64 len, bool write)
1683{
1684 struct inode *inode = file_inode(file);
1685
1686 if (unlikely(pos < 0))
1687 return -EINVAL;
1688
1689 if (unlikely((loff_t) (pos + len) < 0))
1690 return -EINVAL;
1691
1692 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
1693 loff_t end = len ? pos + len - 1 : OFFSET_MAX;
1694 int retval;
1695
1696 retval = locks_mandatory_area(inode, file, pos, end,
1697 write ? F_WRLCK : F_RDLCK);
1698 if (retval < 0)
1699 return retval;
1700 }
1701
1702 return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
1703}
1704
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001705/*
1706 * Check that the two inodes are eligible for cloning, the ranges make
1707 * sense, and then flush all dirty data. Caller must ensure that the
1708 * inodes have been locked against any other modifications.
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001709 *
1710 * Returns: 0 for "nothing to clone", 1 for "something to clone", or
1711 * the usual negative error code.
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001712 */
1713int vfs_clone_file_prep_inodes(struct inode *inode_in, loff_t pos_in,
1714 struct inode *inode_out, loff_t pos_out,
1715 u64 *len, bool is_dedupe)
1716{
1717 loff_t bs = inode_out->i_sb->s_blocksize;
1718 loff_t blen;
1719 loff_t isize;
1720 bool same_inode = (inode_in == inode_out);
1721 int ret;
1722
1723 /* Don't touch certain kinds of inodes */
1724 if (IS_IMMUTABLE(inode_out))
1725 return -EPERM;
1726
1727 if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
1728 return -ETXTBSY;
1729
1730 /* Don't reflink dirs, pipes, sockets... */
1731 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1732 return -EISDIR;
1733 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1734 return -EINVAL;
1735
1736 /* Are we going all the way to the end? */
1737 isize = i_size_read(inode_in);
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001738 if (isize == 0)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001739 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001740
1741 /* Zero length dedupe exits immediately; reflink goes to EOF. */
1742 if (*len == 0) {
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001743 if (is_dedupe || pos_in == isize)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001744 return 0;
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001745 if (pos_in > isize)
1746 return -EINVAL;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001747 *len = isize - pos_in;
1748 }
1749
1750 /* Ensure offsets don't wrap and the input is inside i_size */
1751 if (pos_in + *len < pos_in || pos_out + *len < pos_out ||
1752 pos_in + *len > isize)
1753 return -EINVAL;
1754
1755 /* Don't allow dedupe past EOF in the dest file */
1756 if (is_dedupe) {
1757 loff_t disize;
1758
1759 disize = i_size_read(inode_out);
1760 if (pos_out >= disize || pos_out + *len > disize)
1761 return -EINVAL;
1762 }
1763
1764 /* If we're linking to EOF, continue to the block boundary. */
1765 if (pos_in + *len == isize)
1766 blen = ALIGN(isize, bs) - pos_in;
1767 else
1768 blen = *len;
1769
1770 /* Only reflink if we're aligned to block boundaries */
1771 if (!IS_ALIGNED(pos_in, bs) || !IS_ALIGNED(pos_in + blen, bs) ||
1772 !IS_ALIGNED(pos_out, bs) || !IS_ALIGNED(pos_out + blen, bs))
1773 return -EINVAL;
1774
1775 /* Don't allow overlapped reflink within the same file */
1776 if (same_inode) {
1777 if (pos_out + blen > pos_in && pos_out < pos_in + blen)
1778 return -EINVAL;
1779 }
1780
1781 /* Wait for the completion of any pending IOs on both files */
1782 inode_dio_wait(inode_in);
1783 if (!same_inode)
1784 inode_dio_wait(inode_out);
1785
1786 ret = filemap_write_and_wait_range(inode_in->i_mapping,
1787 pos_in, pos_in + *len - 1);
1788 if (ret)
1789 return ret;
1790
1791 ret = filemap_write_and_wait_range(inode_out->i_mapping,
1792 pos_out, pos_out + *len - 1);
1793 if (ret)
1794 return ret;
1795
1796 /*
1797 * Check that the extents are the same.
1798 */
1799 if (is_dedupe) {
1800 bool is_same = false;
1801
1802 ret = vfs_dedupe_file_range_compare(inode_in, pos_in,
1803 inode_out, pos_out, *len, &is_same);
1804 if (ret)
1805 return ret;
1806 if (!is_same)
1807 return -EBADE;
1808 }
1809
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001810 return 1;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001811}
1812EXPORT_SYMBOL(vfs_clone_file_prep_inodes);
1813
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001814int vfs_clone_file_range(struct file *file_in, loff_t pos_in,
1815 struct file *file_out, loff_t pos_out, u64 len)
1816{
1817 struct inode *inode_in = file_inode(file_in);
1818 struct inode *inode_out = file_inode(file_out);
1819 int ret;
1820
Amir Goldsteinb335e9d2016-10-26 22:34:01 +03001821 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1822 return -EISDIR;
1823 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1824 return -EINVAL;
1825
Amir Goldstein913b86e2016-09-23 11:38:10 +03001826 /*
1827 * FICLONE/FICLONERANGE ioctls enforce that src and dest files are on
1828 * the same mount. Practically, they only need to be on the same file
1829 * system.
1830 */
1831 if (inode_in->i_sb != inode_out->i_sb)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001832 return -EXDEV;
1833
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001834 if (!(file_in->f_mode & FMODE_READ) ||
1835 !(file_out->f_mode & FMODE_WRITE) ||
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001836 (file_out->f_flags & O_APPEND))
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001837 return -EBADF;
1838
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001839 if (!file_in->f_op->clone_file_range)
1840 return -EOPNOTSUPP;
1841
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001842 ret = clone_verify_area(file_in, pos_in, len, false);
1843 if (ret)
1844 return ret;
1845
1846 ret = clone_verify_area(file_out, pos_out, len, true);
1847 if (ret)
1848 return ret;
1849
1850 if (pos_in + len > i_size_read(inode_in))
1851 return -EINVAL;
1852
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001853 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1854 file_out, pos_out, len);
1855 if (!ret) {
1856 fsnotify_access(file_in);
1857 fsnotify_modify(file_out);
1858 }
1859
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001860 return ret;
1861}
1862EXPORT_SYMBOL(vfs_clone_file_range);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001863
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001864/*
1865 * Read a page's worth of file data into the page cache. Return the page
1866 * locked.
1867 */
1868static struct page *vfs_dedupe_get_page(struct inode *inode, loff_t offset)
1869{
1870 struct address_space *mapping;
1871 struct page *page;
1872 pgoff_t n;
1873
1874 n = offset >> PAGE_SHIFT;
1875 mapping = inode->i_mapping;
1876 page = read_mapping_page(mapping, n, NULL);
1877 if (IS_ERR(page))
1878 return page;
1879 if (!PageUptodate(page)) {
1880 put_page(page);
1881 return ERR_PTR(-EIO);
1882 }
1883 lock_page(page);
1884 return page;
1885}
1886
1887/*
1888 * Compare extents of two files to see if they are the same.
1889 * Caller must have locked both inodes to prevent write races.
1890 */
1891int vfs_dedupe_file_range_compare(struct inode *src, loff_t srcoff,
1892 struct inode *dest, loff_t destoff,
1893 loff_t len, bool *is_same)
1894{
1895 loff_t src_poff;
1896 loff_t dest_poff;
1897 void *src_addr;
1898 void *dest_addr;
1899 struct page *src_page;
1900 struct page *dest_page;
1901 loff_t cmp_len;
1902 bool same;
1903 int error;
1904
1905 error = -EINVAL;
1906 same = true;
1907 while (len) {
1908 src_poff = srcoff & (PAGE_SIZE - 1);
1909 dest_poff = destoff & (PAGE_SIZE - 1);
1910 cmp_len = min(PAGE_SIZE - src_poff,
1911 PAGE_SIZE - dest_poff);
1912 cmp_len = min(cmp_len, len);
1913 if (cmp_len <= 0)
1914 goto out_error;
1915
1916 src_page = vfs_dedupe_get_page(src, srcoff);
1917 if (IS_ERR(src_page)) {
1918 error = PTR_ERR(src_page);
1919 goto out_error;
1920 }
1921 dest_page = vfs_dedupe_get_page(dest, destoff);
1922 if (IS_ERR(dest_page)) {
1923 error = PTR_ERR(dest_page);
1924 unlock_page(src_page);
1925 put_page(src_page);
1926 goto out_error;
1927 }
1928 src_addr = kmap_atomic(src_page);
1929 dest_addr = kmap_atomic(dest_page);
1930
1931 flush_dcache_page(src_page);
1932 flush_dcache_page(dest_page);
1933
1934 if (memcmp(src_addr + src_poff, dest_addr + dest_poff, cmp_len))
1935 same = false;
1936
1937 kunmap_atomic(dest_addr);
1938 kunmap_atomic(src_addr);
1939 unlock_page(dest_page);
1940 unlock_page(src_page);
1941 put_page(dest_page);
1942 put_page(src_page);
1943
1944 if (!same)
1945 break;
1946
1947 srcoff += cmp_len;
1948 destoff += cmp_len;
1949 len -= cmp_len;
1950 }
1951
1952 *is_same = same;
1953 return 0;
1954
1955out_error:
1956 return error;
1957}
1958EXPORT_SYMBOL(vfs_dedupe_file_range_compare);
1959
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001960int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
1961{
1962 struct file_dedupe_range_info *info;
1963 struct inode *src = file_inode(file);
1964 u64 off;
1965 u64 len;
1966 int i;
1967 int ret;
1968 bool is_admin = capable(CAP_SYS_ADMIN);
1969 u16 count = same->dest_count;
1970 struct file *dst_file;
1971 loff_t dst_off;
1972 ssize_t deduped;
1973
1974 if (!(file->f_mode & FMODE_READ))
1975 return -EINVAL;
1976
1977 if (same->reserved1 || same->reserved2)
1978 return -EINVAL;
1979
1980 off = same->src_offset;
1981 len = same->src_length;
1982
1983 ret = -EISDIR;
1984 if (S_ISDIR(src->i_mode))
1985 goto out;
1986
1987 ret = -EINVAL;
1988 if (!S_ISREG(src->i_mode))
1989 goto out;
1990
1991 ret = clone_verify_area(file, off, len, false);
1992 if (ret < 0)
1993 goto out;
1994 ret = 0;
1995
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001996 if (off + len > i_size_read(src))
1997 return -EINVAL;
1998
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001999 /* pre-format output fields to sane values */
2000 for (i = 0; i < count; i++) {
2001 same->info[i].bytes_deduped = 0ULL;
2002 same->info[i].status = FILE_DEDUPE_RANGE_SAME;
2003 }
2004
2005 for (i = 0, info = same->info; i < count; i++, info++) {
2006 struct inode *dst;
2007 struct fd dst_fd = fdget(info->dest_fd);
2008
2009 dst_file = dst_fd.file;
2010 if (!dst_file) {
2011 info->status = -EBADF;
2012 goto next_loop;
2013 }
2014 dst = file_inode(dst_file);
2015
2016 ret = mnt_want_write_file(dst_file);
2017 if (ret) {
2018 info->status = ret;
2019 goto next_loop;
2020 }
2021
2022 dst_off = info->dest_offset;
2023 ret = clone_verify_area(dst_file, dst_off, len, true);
2024 if (ret < 0) {
2025 info->status = ret;
2026 goto next_file;
2027 }
2028 ret = 0;
2029
2030 if (info->reserved) {
2031 info->status = -EINVAL;
2032 } else if (!(is_admin || (dst_file->f_mode & FMODE_WRITE))) {
2033 info->status = -EINVAL;
2034 } else if (file->f_path.mnt != dst_file->f_path.mnt) {
2035 info->status = -EXDEV;
2036 } else if (S_ISDIR(dst->i_mode)) {
2037 info->status = -EISDIR;
2038 } else if (dst_file->f_op->dedupe_file_range == NULL) {
2039 info->status = -EINVAL;
2040 } else {
2041 deduped = dst_file->f_op->dedupe_file_range(file, off,
2042 len, dst_file,
2043 info->dest_offset);
2044 if (deduped == -EBADE)
2045 info->status = FILE_DEDUPE_RANGE_DIFFERS;
2046 else if (deduped < 0)
2047 info->status = deduped;
2048 else
2049 info->bytes_deduped += deduped;
2050 }
2051
2052next_file:
2053 mnt_drop_write_file(dst_file);
2054next_loop:
2055 fdput(dst_fd);
Darrick J. Wonge62e5602016-01-22 16:58:28 -08002056
2057 if (fatal_signal_pending(current))
2058 goto out;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002059 }
2060
2061out:
2062 return ret;
2063}
2064EXPORT_SYMBOL(vfs_dedupe_file_range);