blob: 19d4d88fa285b39493d4b7793a69a23876a0988e [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
Al Virocccb5a12010-12-17 07:44:05 -050036static inline int 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
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100359ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos)
360{
361 struct kiocb kiocb;
362 ssize_t ret;
363
364 if (!file->f_op->read_iter)
365 return -EINVAL;
366
367 init_sync_kiocb(&kiocb, file);
368 kiocb.ki_pos = *ppos;
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100369
370 iter->type |= READ;
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100371 ret = call_read_iter(file, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100372 BUG_ON(ret == -EIOCBQUEUED);
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100373 if (ret > 0)
374 *ppos = kiocb.ki_pos;
375 return ret;
376}
377EXPORT_SYMBOL(vfs_iter_read);
378
379ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos)
380{
381 struct kiocb kiocb;
382 ssize_t ret;
383
384 if (!file->f_op->write_iter)
385 return -EINVAL;
386
387 init_sync_kiocb(&kiocb, file);
388 kiocb.ki_pos = *ppos;
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100389
390 iter->type |= WRITE;
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100391 ret = call_write_iter(file, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100392 BUG_ON(ret == -EIOCBQUEUED);
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100393 if (ret > 0)
394 *ppos = kiocb.ki_pos;
395 return ret;
396}
397EXPORT_SYMBOL(vfs_iter_write);
398
Al Viro68d70d02013-06-19 15:26:04 +0400399int rw_verify_area(int read_write, struct file *file, const loff_t *ppos, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700400{
401 struct inode *inode;
402 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100403 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700404
Al Viro496ad9a2013-01-23 17:07:38 -0500405 inode = file_inode(file);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800406 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100407 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700408 pos = *ppos;
Al Virocccb5a12010-12-17 07:44:05 -0500409 if (unlikely(pos < 0)) {
410 if (!unsigned_offsets(file))
411 return retval;
412 if (count >= -pos) /* both values are in 0..LLONG_MAX */
413 return -EOVERFLOW;
414 } else if (unlikely((loff_t) (pos + count) < 0)) {
415 if (!unsigned_offsets(file))
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700416 return retval;
417 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700418
Jeff Laytonbd61e0a2015-01-16 15:05:55 -0500419 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
Christoph Hellwigacc15572015-12-03 12:59:49 +0100420 retval = locks_mandatory_area(inode, file, pos, pos + count - 1,
421 read_write == READ ? F_RDLCK : F_WRLCK);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800422 if (retval < 0)
423 return retval;
424 }
Al Virobc613842016-03-31 21:48:20 -0400425 return security_file_permission(file,
James Morrisc43e2592008-01-12 22:05:48 +1100426 read_write == READ ? MAY_READ : MAY_WRITE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700427}
428
Al Viro5d5d5682015-04-03 15:41:18 -0400429static ssize_t new_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500430{
431 struct iovec iov = { .iov_base = buf, .iov_len = len };
432 struct kiocb kiocb;
433 struct iov_iter iter;
434 ssize_t ret;
435
436 init_sync_kiocb(&kiocb, filp);
437 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500438 iov_iter_init(&iter, READ, &iov, 1, len);
439
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100440 ret = call_read_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100441 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500442 *ppos = kiocb.ki_pos;
443 return ret;
444}
445
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200446ssize_t __vfs_read(struct file *file, char __user *buf, size_t count,
447 loff_t *pos)
448{
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200449 if (file->f_op->read)
Al Viro3d04c8a2015-04-03 15:09:18 -0400450 return file->f_op->read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200451 else if (file->f_op->read_iter)
Al Viro3d04c8a2015-04-03 15:09:18 -0400452 return new_sync_read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200453 else
Al Viro3d04c8a2015-04-03 15:09:18 -0400454 return -EINVAL;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200455}
Al Viro3d04c8a2015-04-03 15:09:18 -0400456EXPORT_SYMBOL(__vfs_read);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200457
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
459{
460 ssize_t ret;
461
462 if (!(file->f_mode & FMODE_READ))
463 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500464 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700465 return -EINVAL;
466 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
467 return -EFAULT;
468
469 ret = rw_verify_area(READ, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400470 if (!ret) {
471 if (count > MAX_RW_COUNT)
472 count = MAX_RW_COUNT;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200473 ret = __vfs_read(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100474 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500475 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100476 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700477 }
James Morrisc43e2592008-01-12 22:05:48 +1100478 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700479 }
480
481 return ret;
482}
483
484EXPORT_SYMBOL(vfs_read);
485
Al Viro5d5d5682015-04-03 15:41:18 -0400486static 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 -0500487{
488 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
489 struct kiocb kiocb;
490 struct iov_iter iter;
491 ssize_t ret;
492
493 init_sync_kiocb(&kiocb, filp);
494 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500495 iov_iter_init(&iter, WRITE, &iov, 1, len);
496
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100497 ret = call_write_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100498 BUG_ON(ret == -EIOCBQUEUED);
Al Virof765b132015-04-06 20:50:38 -0400499 if (ret > 0)
500 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500501 return ret;
502}
503
Al Viro493c84c2015-04-03 15:06:43 -0400504ssize_t __vfs_write(struct file *file, const char __user *p, size_t count,
505 loff_t *pos)
506{
507 if (file->f_op->write)
508 return file->f_op->write(file, p, count, pos);
Al Viro493c84c2015-04-03 15:06:43 -0400509 else if (file->f_op->write_iter)
510 return new_sync_write(file, p, count, pos);
511 else
512 return -EINVAL;
513}
514EXPORT_SYMBOL(__vfs_write);
515
Al Viro06ae43f2013-03-20 13:19:30 -0400516ssize_t __kernel_write(struct file *file, const char *buf, size_t count, loff_t *pos)
517{
518 mm_segment_t old_fs;
519 const char __user *p;
520 ssize_t ret;
521
Al Viro7f7f25e2014-02-11 17:49:24 -0500522 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000523 return -EINVAL;
524
Al Viro06ae43f2013-03-20 13:19:30 -0400525 old_fs = get_fs();
526 set_fs(get_ds());
527 p = (__force const char __user *)buf;
528 if (count > MAX_RW_COUNT)
529 count = MAX_RW_COUNT;
Al Viro493c84c2015-04-03 15:06:43 -0400530 ret = __vfs_write(file, p, count, pos);
Al Viro06ae43f2013-03-20 13:19:30 -0400531 set_fs(old_fs);
532 if (ret > 0) {
533 fsnotify_modify(file);
534 add_wchar(current, ret);
535 }
536 inc_syscw(current);
537 return ret;
538}
539
Al Viro2ec3a122014-08-19 11:48:09 -0400540EXPORT_SYMBOL(__kernel_write);
541
Linus Torvalds1da177e2005-04-16 15:20:36 -0700542ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
543{
544 ssize_t ret;
545
546 if (!(file->f_mode & FMODE_WRITE))
547 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500548 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700549 return -EINVAL;
550 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
551 return -EFAULT;
552
553 ret = rw_verify_area(WRITE, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400554 if (!ret) {
555 if (count > MAX_RW_COUNT)
556 count = MAX_RW_COUNT;
Al Viro03d95eb2013-03-20 13:04:20 -0400557 file_start_write(file);
Al Viro493c84c2015-04-03 15:06:43 -0400558 ret = __vfs_write(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100559 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500560 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100561 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700562 }
James Morrisc43e2592008-01-12 22:05:48 +1100563 inc_syscw(current);
Al Viro03d95eb2013-03-20 13:04:20 -0400564 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700565 }
566
567 return ret;
568}
569
570EXPORT_SYMBOL(vfs_write);
571
572static inline loff_t file_pos_read(struct file *file)
573{
574 return file->f_pos;
575}
576
577static inline void file_pos_write(struct file *file, loff_t pos)
578{
579 file->f_pos = pos;
580}
581
Heiko Carstens3cdad422009-01-14 14:14:22 +0100582SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, 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_read(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 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700594 return ret;
595}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700596
Heiko Carstens3cdad422009-01-14 14:14:22 +0100597SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
598 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700599{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800600 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700601 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700602
Al Viro2903ff02012-08-28 12:52:22 -0400603 if (f.file) {
604 loff_t pos = file_pos_read(f.file);
605 ret = vfs_write(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400606 if (ret >= 0)
607 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800608 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609 }
610
611 return ret;
612}
613
Al Viro4a0fd5b2013-01-21 15:16:58 -0500614SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
615 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700616{
Al Viro2903ff02012-08-28 12:52:22 -0400617 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700618 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619
620 if (pos < 0)
621 return -EINVAL;
622
Al Viro2903ff02012-08-28 12:52:22 -0400623 f = fdget(fd);
624 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700625 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400626 if (f.file->f_mode & FMODE_PREAD)
627 ret = vfs_read(f.file, buf, count, &pos);
628 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700629 }
630
631 return ret;
632}
633
Al Viro4a0fd5b2013-01-21 15:16:58 -0500634SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
635 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700636{
Al Viro2903ff02012-08-28 12:52:22 -0400637 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700639
640 if (pos < 0)
641 return -EINVAL;
642
Al Viro2903ff02012-08-28 12:52:22 -0400643 f = fdget(fd);
644 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700645 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400646 if (f.file->f_mode & FMODE_PWRITE)
647 ret = vfs_write(f.file, buf, count, &pos);
648 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700649 }
650
651 return ret;
652}
653
654/*
655 * Reduce an iovec's length in-place. Return the resulting number of segments
656 */
657unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
658{
659 unsigned long seg = 0;
660 size_t len = 0;
661
662 while (seg < nr_segs) {
663 seg++;
664 if (len + iov->iov_len >= to) {
665 iov->iov_len = to - len;
666 break;
667 }
668 len += iov->iov_len;
669 iov++;
670 }
671 return seg;
672}
Eric Sandeen19295522008-01-28 23:58:27 -0500673EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700674
Al Viroac15ac02015-03-20 20:10:21 -0400675static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100676 loff_t *ppos, int type, int flags)
Al Viro293bc982014-02-11 18:37:41 -0500677{
678 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500679 ssize_t ret;
680
Christoph Hellwige864f392016-04-07 08:52:03 -0700681 if (flags & ~(RWF_HIPRI | RWF_DSYNC | RWF_SYNC))
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100682 return -EOPNOTSUPP;
683
Al Viro293bc982014-02-11 18:37:41 -0500684 init_sync_kiocb(&kiocb, filp);
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100685 if (flags & RWF_HIPRI)
686 kiocb.ki_flags |= IOCB_HIPRI;
Christoph Hellwige864f392016-04-07 08:52:03 -0700687 if (flags & RWF_DSYNC)
688 kiocb.ki_flags |= IOCB_DSYNC;
689 if (flags & RWF_SYNC)
690 kiocb.ki_flags |= (IOCB_DSYNC | IOCB_SYNC);
Al Viro293bc982014-02-11 18:37:41 -0500691 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500692
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100693 if (type == READ)
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100694 ret = call_read_iter(filp, &kiocb, iter);
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100695 else
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100696 ret = call_write_iter(filp, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100697 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500698 *ppos = kiocb.ki_pos;
699 return ret;
700}
701
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700702/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400703static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100704 loff_t *ppos, int type, int flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700705{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700706 ssize_t ret = 0;
707
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100708 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100709 return -EOPNOTSUPP;
710
Al Viroac15ac02015-03-20 20:10:21 -0400711 while (iov_iter_count(iter)) {
712 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700713 ssize_t nr;
714
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100715 if (type == READ) {
716 nr = filp->f_op->read(filp, iovec.iov_base,
717 iovec.iov_len, ppos);
718 } else {
719 nr = filp->f_op->write(filp, iovec.iov_base,
720 iovec.iov_len, ppos);
721 }
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700722
723 if (nr < 0) {
724 if (!ret)
725 ret = nr;
726 break;
727 }
728 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400729 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700730 break;
Al Viroac15ac02015-03-20 20:10:21 -0400731 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700732 }
733
734 return ret;
735}
736
Linus Torvalds1da177e2005-04-16 15:20:36 -0700737/* A write operation does a read from user space and vice versa */
738#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
739
Vegard Nossumffecee42016-10-08 11:18:07 +0200740/**
741 * rw_copy_check_uvector() - Copy an array of &struct iovec from userspace
742 * into the kernel and check that it is valid.
743 *
744 * @type: One of %CHECK_IOVEC_ONLY, %READ, or %WRITE.
745 * @uvector: Pointer to the userspace array.
746 * @nr_segs: Number of elements in userspace array.
747 * @fast_segs: Number of elements in @fast_pointer.
748 * @fast_pointer: Pointer to (usually small on-stack) kernel array.
749 * @ret_pointer: (output parameter) Pointer to a variable that will point to
750 * either @fast_pointer, a newly allocated kernel array, or NULL,
751 * depending on which array was used.
752 *
753 * This function copies an array of &struct iovec of @nr_segs from
754 * userspace into the kernel and checks that each element is valid (e.g.
755 * it does not point to a kernel address or cause overflow by being too
756 * large, etc.).
757 *
758 * As an optimization, the caller may provide a pointer to a small
759 * on-stack array in @fast_pointer, typically %UIO_FASTIOV elements long
760 * (the size of this array, or 0 if unused, should be given in @fast_segs).
761 *
762 * @ret_pointer will always point to the array that was used, so the
763 * caller must take care not to call kfree() on it e.g. in case the
764 * @fast_pointer array was used and it was allocated on the stack.
765 *
766 * Return: The total number of bytes covered by the iovec array on success
767 * or a negative error code on error.
768 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700769ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
770 unsigned long nr_segs, unsigned long fast_segs,
771 struct iovec *fast_pointer,
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700772 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700773{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700774 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700775 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700776 struct iovec *iov = fast_pointer;
777
Linus Torvalds435f49a2010-10-29 10:36:49 -0700778 /*
779 * SuS says "The readv() function *may* fail if the iovcnt argument
780 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
781 * traditionally returned zero for zero segments, so...
782 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700783 if (nr_segs == 0) {
784 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700785 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700786 }
787
Linus Torvalds435f49a2010-10-29 10:36:49 -0700788 /*
789 * First get the "struct iovec" from user memory and
790 * verify all the pointers
791 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700792 if (nr_segs > UIO_MAXIOV) {
793 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700794 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700795 }
796 if (nr_segs > fast_segs) {
Linus Torvalds435f49a2010-10-29 10:36:49 -0700797 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700798 if (iov == NULL) {
799 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700800 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700801 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700802 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700803 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
804 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700805 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700806 }
807
Linus Torvalds435f49a2010-10-29 10:36:49 -0700808 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700809 * According to the Single Unix Specification we should return EINVAL
810 * if an element length is < 0 when cast to ssize_t or if the
811 * total length would overflow the ssize_t return value of the
812 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700813 *
814 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
815 * overflow case.
816 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700817 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700818 for (seg = 0; seg < nr_segs; seg++) {
819 void __user *buf = iov[seg].iov_base;
820 ssize_t len = (ssize_t)iov[seg].iov_len;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700821
822 /* see if we we're about to use an invalid len or if
823 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700824 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700825 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700826 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700827 }
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700828 if (type >= 0
Christopher Yeohfcf63402011-10-31 17:06:39 -0700829 && unlikely(!access_ok(vrfy_dir(type), buf, len))) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700830 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700831 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700832 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700833 if (len > MAX_RW_COUNT - ret) {
834 len = MAX_RW_COUNT - ret;
835 iov[seg].iov_len = len;
836 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700837 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700838 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700839out:
840 *ret_pointer = iov;
841 return ret;
842}
843
Al Virof5029852017-04-08 18:18:48 -0400844#ifdef CONFIG_COMPAT
845ssize_t compat_rw_copy_check_uvector(int type,
846 const struct compat_iovec __user *uvector, unsigned long nr_segs,
847 unsigned long fast_segs, struct iovec *fast_pointer,
848 struct iovec **ret_pointer)
849{
850 compat_ssize_t tot_len;
851 struct iovec *iov = *ret_pointer = fast_pointer;
852 ssize_t ret = 0;
853 int seg;
854
855 /*
856 * SuS says "The readv() function *may* fail if the iovcnt argument
857 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
858 * traditionally returned zero for zero segments, so...
859 */
860 if (nr_segs == 0)
861 goto out;
862
863 ret = -EINVAL;
864 if (nr_segs > UIO_MAXIOV)
865 goto out;
866 if (nr_segs > fast_segs) {
867 ret = -ENOMEM;
868 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
869 if (iov == NULL)
870 goto out;
871 }
872 *ret_pointer = iov;
873
874 ret = -EFAULT;
875 if (!access_ok(VERIFY_READ, uvector, nr_segs*sizeof(*uvector)))
876 goto out;
877
878 /*
879 * Single unix specification:
880 * We should -EINVAL if an element length is not >= 0 and fitting an
881 * ssize_t.
882 *
883 * In Linux, the total length is limited to MAX_RW_COUNT, there is
884 * no overflow possibility.
885 */
886 tot_len = 0;
887 ret = -EINVAL;
888 for (seg = 0; seg < nr_segs; seg++) {
889 compat_uptr_t buf;
890 compat_ssize_t len;
891
892 if (__get_user(len, &uvector->iov_len) ||
893 __get_user(buf, &uvector->iov_base)) {
894 ret = -EFAULT;
895 goto out;
896 }
897 if (len < 0) /* size_t not fitting in compat_ssize_t .. */
898 goto out;
899 if (type >= 0 &&
900 !access_ok(vrfy_dir(type), compat_ptr(buf), len)) {
901 ret = -EFAULT;
902 goto out;
903 }
904 if (len > MAX_RW_COUNT - tot_len)
905 len = MAX_RW_COUNT - tot_len;
906 tot_len += len;
907 iov->iov_base = compat_ptr(buf);
908 iov->iov_len = (compat_size_t) len;
909 uvector++;
910 iov++;
911 }
912 ret = tot_len;
913
914out:
915 return ret;
916}
917#endif
918
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100919static ssize_t __do_readv_writev(int type, struct file *file,
920 struct iov_iter *iter, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700921{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700922 size_t tot_len;
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100923 ssize_t ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700924
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100925 tot_len = iov_iter_count(iter);
Al Viro0504c072015-03-21 19:40:11 -0400926 if (!tot_len)
927 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700928 ret = rw_verify_area(type, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800929 if (ret < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700930 goto out;
931
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100932 if (type != READ)
Al Viro03d95eb2013-03-20 13:04:20 -0400933 file_start_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700934
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100935 if ((type == READ && file->f_op->read_iter) ||
936 (type == WRITE && file->f_op->write_iter))
937 ret = do_iter_readv_writev(file, iter, pos, type, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700938 else
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100939 ret = do_loop_readv_writev(file, iter, pos, type, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700940
Al Viro03d95eb2013-03-20 13:04:20 -0400941 if (type != READ)
942 file_end_write(file);
943
Linus Torvalds1da177e2005-04-16 15:20:36 -0700944out:
Robert Love0eeca282005-07-12 17:06:03 -0400945 if ((ret + (type == READ)) > 0) {
946 if (type == READ)
Eric Paris2a12a9d2009-12-17 21:24:21 -0500947 fsnotify_access(file);
Robert Love0eeca282005-07-12 17:06:03 -0400948 else
Eric Paris2a12a9d2009-12-17 21:24:21 -0500949 fsnotify_modify(file);
Robert Love0eeca282005-07-12 17:06:03 -0400950 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700951 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700952}
953
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100954static ssize_t do_readv_writev(int type, struct file *file,
955 const struct iovec __user *uvector,
956 unsigned long nr_segs, loff_t *pos,
957 int flags)
958{
959 struct iovec iovstack[UIO_FASTIOV];
960 struct iovec *iov = iovstack;
961 struct iov_iter iter;
962 ssize_t ret;
963
964 ret = import_iovec(type, uvector, nr_segs,
965 ARRAY_SIZE(iovstack), &iov, &iter);
966 if (ret < 0)
967 return ret;
968
969 ret = __do_readv_writev(type, file, &iter, pos, flags);
970 kfree(iov);
971
972 return ret;
973}
974
Linus Torvalds1da177e2005-04-16 15:20:36 -0700975ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100976 unsigned long vlen, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700977{
978 if (!(file->f_mode & FMODE_READ))
979 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500980 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700981 return -EINVAL;
982
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100983 return do_readv_writev(READ, file, vec, vlen, pos, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700984}
985
986EXPORT_SYMBOL(vfs_readv);
987
988ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100989 unsigned long vlen, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700990{
991 if (!(file->f_mode & FMODE_WRITE))
992 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500993 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700994 return -EINVAL;
995
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100996 return do_readv_writev(WRITE, file, vec, vlen, pos, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700997}
998
999EXPORT_SYMBOL(vfs_writev);
1000
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001001static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
1002 unsigned long vlen, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001003{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001004 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001005 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001006
Al Viro2903ff02012-08-28 12:52:22 -04001007 if (f.file) {
1008 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001009 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001010 if (ret >= 0)
1011 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -08001012 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001013 }
1014
1015 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001016 add_rchar(current, ret);
1017 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001018 return ret;
1019}
1020
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001021static ssize_t do_writev(unsigned long fd, const struct iovec __user *vec,
1022 unsigned long vlen, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001023{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001024 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001025 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001026
Al Viro2903ff02012-08-28 12:52:22 -04001027 if (f.file) {
1028 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001029 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001030 if (ret >= 0)
1031 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -08001032 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001033 }
1034
1035 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001036 add_wchar(current, ret);
1037 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001038 return ret;
1039}
1040
Linus Torvalds601cc112009-04-03 08:03:22 -07001041static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001042{
Linus Torvalds601cc112009-04-03 08:03:22 -07001043#define HALF_LONG_BITS (BITS_PER_LONG / 2)
1044 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
1045}
1046
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001047static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
1048 unsigned long vlen, loff_t pos, int flags)
Linus Torvalds601cc112009-04-03 08:03:22 -07001049{
Al Viro2903ff02012-08-28 12:52:22 -04001050 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001051 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001052
1053 if (pos < 0)
1054 return -EINVAL;
1055
Al Viro2903ff02012-08-28 12:52:22 -04001056 f = fdget(fd);
1057 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001058 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001059 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001060 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001061 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001062 }
1063
1064 if (ret > 0)
1065 add_rchar(current, ret);
1066 inc_syscr(current);
1067 return ret;
1068}
1069
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001070static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
1071 unsigned long vlen, loff_t pos, int flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001072{
Al Viro2903ff02012-08-28 12:52:22 -04001073 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001074 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001075
1076 if (pos < 0)
1077 return -EINVAL;
1078
Al Viro2903ff02012-08-28 12:52:22 -04001079 f = fdget(fd);
1080 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001081 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001082 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001083 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001084 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001085 }
1086
1087 if (ret > 0)
1088 add_wchar(current, ret);
1089 inc_syscw(current);
1090 return ret;
1091}
1092
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001093SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
1094 unsigned long, vlen)
1095{
1096 return do_readv(fd, vec, vlen, 0);
1097}
1098
1099SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
1100 unsigned long, vlen)
1101{
1102 return do_writev(fd, vec, vlen, 0);
1103}
1104
1105SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
1106 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1107{
1108 loff_t pos = pos_from_hilo(pos_h, pos_l);
1109
1110 return do_preadv(fd, vec, vlen, pos, 0);
1111}
1112
1113SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1114 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
1115 int, flags)
1116{
1117 loff_t pos = pos_from_hilo(pos_h, pos_l);
1118
1119 if (pos == -1)
1120 return do_readv(fd, vec, vlen, flags);
1121
1122 return do_preadv(fd, vec, vlen, pos, flags);
1123}
1124
1125SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
1126 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1127{
1128 loff_t pos = pos_from_hilo(pos_h, pos_l);
1129
1130 return do_pwritev(fd, vec, vlen, pos, 0);
1131}
1132
1133SYSCALL_DEFINE6(pwritev2, unsigned long, fd, const struct iovec __user *, vec,
1134 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
1135 int, flags)
1136{
1137 loff_t pos = pos_from_hilo(pos_h, pos_l);
1138
1139 if (pos == -1)
1140 return do_writev(fd, vec, vlen, flags);
1141
1142 return do_pwritev(fd, vec, vlen, pos, flags);
1143}
1144
Al Viro72ec3512013-03-20 10:42:10 -04001145#ifdef CONFIG_COMPAT
1146
1147static ssize_t compat_do_readv_writev(int type, struct file *file,
1148 const struct compat_iovec __user *uvector,
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001149 unsigned long nr_segs, loff_t *pos,
1150 int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001151{
Al Viro72ec3512013-03-20 10:42:10 -04001152 struct iovec iovstack[UIO_FASTIOV];
1153 struct iovec *iov = iovstack;
Al Viroac15ac02015-03-20 20:10:21 -04001154 struct iov_iter iter;
Al Viro72ec3512013-03-20 10:42:10 -04001155 ssize_t ret;
Al Viro72ec3512013-03-20 10:42:10 -04001156
Al Viro0504c072015-03-21 19:40:11 -04001157 ret = compat_import_iovec(type, uvector, nr_segs,
1158 UIO_FASTIOV, &iov, &iter);
1159 if (ret < 0)
1160 return ret;
Al Viro72ec3512013-03-20 10:42:10 -04001161
Miklos Szeredi7687a7a2017-02-20 16:51:23 +01001162 ret = __do_readv_writev(type, file, &iter, pos, flags);
Al Viro0504c072015-03-21 19:40:11 -04001163 kfree(iov);
Miklos Szeredi7687a7a2017-02-20 16:51:23 +01001164
Al Viro72ec3512013-03-20 10:42:10 -04001165 return ret;
1166}
1167
1168static size_t compat_readv(struct file *file,
1169 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001170 unsigned long vlen, loff_t *pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001171{
1172 ssize_t ret = -EBADF;
1173
1174 if (!(file->f_mode & FMODE_READ))
1175 goto out;
1176
1177 ret = -EINVAL;
Al Viro7f7f25e2014-02-11 17:49:24 -05001178 if (!(file->f_mode & FMODE_CAN_READ))
Al Viro72ec3512013-03-20 10:42:10 -04001179 goto out;
1180
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001181 ret = compat_do_readv_writev(READ, file, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001182
1183out:
1184 if (ret > 0)
1185 add_rchar(current, ret);
1186 inc_syscr(current);
1187 return ret;
1188}
1189
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001190static size_t do_compat_readv(compat_ulong_t fd,
1191 const struct compat_iovec __user *vec,
1192 compat_ulong_t vlen, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001193{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001194 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001195 ssize_t ret;
1196 loff_t pos;
1197
1198 if (!f.file)
1199 return -EBADF;
1200 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001201 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001202 if (ret >= 0)
1203 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001204 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001205 return ret;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001206
Al Viro72ec3512013-03-20 10:42:10 -04001207}
1208
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001209COMPAT_SYSCALL_DEFINE3(readv, compat_ulong_t, fd,
1210 const struct compat_iovec __user *,vec,
1211 compat_ulong_t, vlen)
1212{
1213 return do_compat_readv(fd, vec, vlen, 0);
1214}
1215
1216static long do_compat_preadv64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001217 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001218 unsigned long vlen, loff_t pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001219{
1220 struct fd f;
1221 ssize_t ret;
1222
1223 if (pos < 0)
1224 return -EINVAL;
1225 f = fdget(fd);
1226 if (!f.file)
1227 return -EBADF;
1228 ret = -ESPIPE;
1229 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001230 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001231 fdput(f);
1232 return ret;
1233}
1234
Heiko Carstens378a10f2014-03-05 10:43:51 +01001235#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1236COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
1237 const struct compat_iovec __user *,vec,
1238 unsigned long, vlen, loff_t, pos)
1239{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001240 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001241}
1242#endif
1243
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001244COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001245 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001246 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001247{
1248 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001249
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001250 return do_compat_preadv64(fd, vec, vlen, pos, 0);
1251}
1252
H.J. Lu3ebfd812016-07-14 12:31:53 -07001253#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64V2
1254COMPAT_SYSCALL_DEFINE5(preadv64v2, unsigned long, fd,
1255 const struct compat_iovec __user *,vec,
1256 unsigned long, vlen, loff_t, pos, int, flags)
1257{
1258 return do_compat_preadv64(fd, vec, vlen, pos, flags);
1259}
1260#endif
1261
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001262COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
1263 const struct compat_iovec __user *,vec,
1264 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
1265 int, flags)
1266{
1267 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1268
1269 if (pos == -1)
1270 return do_compat_readv(fd, vec, vlen, flags);
1271
1272 return do_compat_preadv64(fd, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001273}
1274
1275static size_t compat_writev(struct file *file,
1276 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001277 unsigned long vlen, loff_t *pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001278{
1279 ssize_t ret = -EBADF;
1280
1281 if (!(file->f_mode & FMODE_WRITE))
1282 goto out;
1283
1284 ret = -EINVAL;
Al Viro7f7f25e2014-02-11 17:49:24 -05001285 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro72ec3512013-03-20 10:42:10 -04001286 goto out;
1287
Christoph Hellwig20223f02017-06-16 11:08:24 +02001288 ret = compat_do_readv_writev(WRITE, file, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001289
1290out:
1291 if (ret > 0)
1292 add_wchar(current, ret);
1293 inc_syscw(current);
1294 return ret;
1295}
1296
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001297static size_t do_compat_writev(compat_ulong_t fd,
1298 const struct compat_iovec __user* vec,
1299 compat_ulong_t vlen, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001300{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001301 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001302 ssize_t ret;
1303 loff_t pos;
1304
1305 if (!f.file)
1306 return -EBADF;
1307 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001308 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001309 if (ret >= 0)
1310 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001311 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001312 return ret;
1313}
1314
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001315COMPAT_SYSCALL_DEFINE3(writev, compat_ulong_t, fd,
1316 const struct compat_iovec __user *, vec,
1317 compat_ulong_t, vlen)
1318{
1319 return do_compat_writev(fd, vec, vlen, 0);
1320}
1321
1322static long do_compat_pwritev64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001323 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001324 unsigned long vlen, loff_t pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001325{
1326 struct fd f;
1327 ssize_t ret;
1328
1329 if (pos < 0)
1330 return -EINVAL;
1331 f = fdget(fd);
1332 if (!f.file)
1333 return -EBADF;
1334 ret = -ESPIPE;
1335 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001336 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001337 fdput(f);
1338 return ret;
1339}
1340
Heiko Carstens378a10f2014-03-05 10:43:51 +01001341#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1342COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
1343 const struct compat_iovec __user *,vec,
1344 unsigned long, vlen, loff_t, pos)
1345{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001346 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001347}
1348#endif
1349
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001350COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001351 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001352 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001353{
1354 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001355
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001356 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001357}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001358
H.J. Lu3ebfd812016-07-14 12:31:53 -07001359#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64V2
1360COMPAT_SYSCALL_DEFINE5(pwritev64v2, unsigned long, fd,
1361 const struct compat_iovec __user *,vec,
1362 unsigned long, vlen, loff_t, pos, int, flags)
1363{
1364 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1365}
1366#endif
1367
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001368COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
1369 const struct compat_iovec __user *,vec,
1370 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, int, flags)
1371{
1372 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1373
1374 if (pos == -1)
1375 return do_compat_writev(fd, vec, vlen, flags);
1376
1377 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1378}
1379
Al Viro72ec3512013-03-20 10:42:10 -04001380#endif
1381
Al Viro19f4fc32013-02-24 02:17:03 -05001382static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1383 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001384{
Al Viro2903ff02012-08-28 12:52:22 -04001385 struct fd in, out;
1386 struct inode *in_inode, *out_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001387 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001388 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001389 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001390 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001391
1392 /*
1393 * Get input file, and verify that it is ok..
1394 */
1395 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001396 in = fdget(in_fd);
1397 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001398 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001399 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001400 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001401 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001402 if (!ppos) {
1403 pos = in.file->f_pos;
1404 } else {
1405 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001406 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001407 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001408 }
1409 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001410 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001411 goto fput_in;
Al Virobc613842016-03-31 21:48:20 -04001412 if (count > MAX_RW_COUNT)
1413 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001414
Linus Torvalds1da177e2005-04-16 15:20:36 -07001415 /*
1416 * Get output file, and verify that it is ok..
1417 */
1418 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001419 out = fdget(out_fd);
1420 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001421 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001422 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001423 goto fput_out;
1424 retval = -EINVAL;
Al Viro496ad9a2013-01-23 17:07:38 -05001425 in_inode = file_inode(in.file);
1426 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001427 out_pos = out.file->f_pos;
1428 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001429 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001430 goto fput_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001431
Linus Torvalds1da177e2005-04-16 15:20:36 -07001432 if (!max)
1433 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1434
Linus Torvalds1da177e2005-04-16 15:20:36 -07001435 if (unlikely(pos + count > max)) {
1436 retval = -EOVERFLOW;
1437 if (pos >= max)
1438 goto fput_out;
1439 count = max - pos;
1440 }
1441
Jens Axboed96e6e72007-06-11 12:18:52 +02001442 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001443#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001444 /*
1445 * We need to debate whether we can enable this or not. The
1446 * man page documents EAGAIN return for the output at least,
1447 * and the application is arguably buggy if it doesn't expect
1448 * EAGAIN on a non-blocking file descriptor.
1449 */
Al Viro2903ff02012-08-28 12:52:22 -04001450 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001451 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001452#endif
Al Viro50cd2c52013-05-23 20:10:34 -04001453 file_start_write(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001454 retval = do_splice_direct(in.file, &pos, out.file, &out_pos, count, fl);
Al Viro50cd2c52013-05-23 20:10:34 -04001455 file_end_write(out.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001456
1457 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001458 add_rchar(current, retval);
1459 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001460 fsnotify_access(in.file);
1461 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001462 out.file->f_pos = out_pos;
1463 if (ppos)
1464 *ppos = pos;
1465 else
1466 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001467 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001468
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001469 inc_syscr(current);
1470 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001471 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001472 retval = -EOVERFLOW;
1473
1474fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001475 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001476fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001477 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001478out:
1479 return retval;
1480}
1481
Heiko Carstens002c8972009-01-14 14:14:18 +01001482SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001483{
1484 loff_t pos;
1485 off_t off;
1486 ssize_t ret;
1487
1488 if (offset) {
1489 if (unlikely(get_user(off, offset)))
1490 return -EFAULT;
1491 pos = off;
1492 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1493 if (unlikely(put_user(pos, offset)))
1494 return -EFAULT;
1495 return ret;
1496 }
1497
1498 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1499}
1500
Heiko Carstens002c8972009-01-14 14:14:18 +01001501SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001502{
1503 loff_t pos;
1504 ssize_t ret;
1505
1506 if (offset) {
1507 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1508 return -EFAULT;
1509 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
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}
Al Viro19f4fc32013-02-24 02:17:03 -05001517
1518#ifdef CONFIG_COMPAT
1519COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1520 compat_off_t __user *, offset, compat_size_t, count)
1521{
1522 loff_t pos;
1523 off_t off;
1524 ssize_t ret;
1525
1526 if (offset) {
1527 if (unlikely(get_user(off, offset)))
1528 return -EFAULT;
1529 pos = off;
1530 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1531 if (unlikely(put_user(pos, offset)))
1532 return -EFAULT;
1533 return ret;
1534 }
1535
1536 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1537}
1538
1539COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1540 compat_loff_t __user *, offset, compat_size_t, count)
1541{
1542 loff_t pos;
1543 ssize_t ret;
1544
1545 if (offset) {
1546 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1547 return -EFAULT;
1548 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1549 if (unlikely(put_user(pos, offset)))
1550 return -EFAULT;
1551 return ret;
1552 }
1553
1554 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1555}
1556#endif
Zach Brown29732932015-11-10 16:53:30 -05001557
1558/*
1559 * copy_file_range() differs from regular file read and write in that it
1560 * specifically allows return partial success. When it does so is up to
1561 * the copy_file_range method.
1562 */
1563ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1564 struct file *file_out, loff_t pos_out,
1565 size_t len, unsigned int flags)
1566{
1567 struct inode *inode_in = file_inode(file_in);
1568 struct inode *inode_out = file_inode(file_out);
1569 ssize_t ret;
1570
1571 if (flags != 0)
1572 return -EINVAL;
1573
Amir Goldstein11cbfb12017-01-31 10:34:56 +02001574 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1575 return -EISDIR;
1576 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1577 return -EINVAL;
1578
Zach Brown29732932015-11-10 16:53:30 -05001579 ret = rw_verify_area(READ, file_in, &pos_in, len);
Al Virobc613842016-03-31 21:48:20 -04001580 if (unlikely(ret))
1581 return ret;
1582
1583 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1584 if (unlikely(ret))
Zach Brown29732932015-11-10 16:53:30 -05001585 return ret;
1586
1587 if (!(file_in->f_mode & FMODE_READ) ||
1588 !(file_out->f_mode & FMODE_WRITE) ||
Anna Schumakereac70052015-11-10 16:53:33 -05001589 (file_out->f_flags & O_APPEND))
Zach Brown29732932015-11-10 16:53:30 -05001590 return -EBADF;
1591
1592 /* this could be relaxed once a method supports cross-fs copies */
1593 if (inode_in->i_sb != inode_out->i_sb)
1594 return -EXDEV;
1595
1596 if (len == 0)
1597 return 0;
1598
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001599 file_start_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001600
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001601 /*
1602 * Try cloning first, this is supported by more file systems, and
1603 * more efficient if both clone and copy are supported (e.g. NFS).
1604 */
1605 if (file_in->f_op->clone_file_range) {
1606 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1607 file_out, pos_out, len);
1608 if (ret == 0) {
1609 ret = len;
1610 goto done;
1611 }
1612 }
1613
1614 if (file_out->f_op->copy_file_range) {
Anna Schumakereac70052015-11-10 16:53:33 -05001615 ret = file_out->f_op->copy_file_range(file_in, pos_in, file_out,
1616 pos_out, len, flags);
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001617 if (ret != -EOPNOTSUPP)
1618 goto done;
1619 }
Anna Schumakereac70052015-11-10 16:53:33 -05001620
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001621 ret = do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1622 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1623
1624done:
Zach Brown29732932015-11-10 16:53:30 -05001625 if (ret > 0) {
1626 fsnotify_access(file_in);
1627 add_rchar(current, ret);
1628 fsnotify_modify(file_out);
1629 add_wchar(current, ret);
1630 }
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001631
Zach Brown29732932015-11-10 16:53:30 -05001632 inc_syscr(current);
1633 inc_syscw(current);
1634
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001635 file_end_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001636
1637 return ret;
1638}
1639EXPORT_SYMBOL(vfs_copy_file_range);
1640
1641SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1642 int, fd_out, loff_t __user *, off_out,
1643 size_t, len, unsigned int, flags)
1644{
1645 loff_t pos_in;
1646 loff_t pos_out;
1647 struct fd f_in;
1648 struct fd f_out;
1649 ssize_t ret = -EBADF;
1650
1651 f_in = fdget(fd_in);
1652 if (!f_in.file)
1653 goto out2;
1654
1655 f_out = fdget(fd_out);
1656 if (!f_out.file)
1657 goto out1;
1658
1659 ret = -EFAULT;
1660 if (off_in) {
1661 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1662 goto out;
1663 } else {
1664 pos_in = f_in.file->f_pos;
1665 }
1666
1667 if (off_out) {
1668 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1669 goto out;
1670 } else {
1671 pos_out = f_out.file->f_pos;
1672 }
1673
1674 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1675 flags);
1676 if (ret > 0) {
1677 pos_in += ret;
1678 pos_out += ret;
1679
1680 if (off_in) {
1681 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1682 ret = -EFAULT;
1683 } else {
1684 f_in.file->f_pos = pos_in;
1685 }
1686
1687 if (off_out) {
1688 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1689 ret = -EFAULT;
1690 } else {
1691 f_out.file->f_pos = pos_out;
1692 }
1693 }
1694
1695out:
1696 fdput(f_out);
1697out1:
1698 fdput(f_in);
1699out2:
1700 return ret;
1701}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001702
1703static int clone_verify_area(struct file *file, loff_t pos, u64 len, bool write)
1704{
1705 struct inode *inode = file_inode(file);
1706
1707 if (unlikely(pos < 0))
1708 return -EINVAL;
1709
1710 if (unlikely((loff_t) (pos + len) < 0))
1711 return -EINVAL;
1712
1713 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
1714 loff_t end = len ? pos + len - 1 : OFFSET_MAX;
1715 int retval;
1716
1717 retval = locks_mandatory_area(inode, file, pos, end,
1718 write ? F_WRLCK : F_RDLCK);
1719 if (retval < 0)
1720 return retval;
1721 }
1722
1723 return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
1724}
1725
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001726/*
1727 * Check that the two inodes are eligible for cloning, the ranges make
1728 * sense, and then flush all dirty data. Caller must ensure that the
1729 * inodes have been locked against any other modifications.
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001730 *
1731 * Returns: 0 for "nothing to clone", 1 for "something to clone", or
1732 * the usual negative error code.
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001733 */
1734int vfs_clone_file_prep_inodes(struct inode *inode_in, loff_t pos_in,
1735 struct inode *inode_out, loff_t pos_out,
1736 u64 *len, bool is_dedupe)
1737{
1738 loff_t bs = inode_out->i_sb->s_blocksize;
1739 loff_t blen;
1740 loff_t isize;
1741 bool same_inode = (inode_in == inode_out);
1742 int ret;
1743
1744 /* Don't touch certain kinds of inodes */
1745 if (IS_IMMUTABLE(inode_out))
1746 return -EPERM;
1747
1748 if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
1749 return -ETXTBSY;
1750
1751 /* Don't reflink dirs, pipes, sockets... */
1752 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1753 return -EISDIR;
1754 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1755 return -EINVAL;
1756
1757 /* Are we going all the way to the end? */
1758 isize = i_size_read(inode_in);
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001759 if (isize == 0)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001760 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001761
1762 /* Zero length dedupe exits immediately; reflink goes to EOF. */
1763 if (*len == 0) {
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001764 if (is_dedupe || pos_in == isize)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001765 return 0;
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001766 if (pos_in > isize)
1767 return -EINVAL;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001768 *len = isize - pos_in;
1769 }
1770
1771 /* Ensure offsets don't wrap and the input is inside i_size */
1772 if (pos_in + *len < pos_in || pos_out + *len < pos_out ||
1773 pos_in + *len > isize)
1774 return -EINVAL;
1775
1776 /* Don't allow dedupe past EOF in the dest file */
1777 if (is_dedupe) {
1778 loff_t disize;
1779
1780 disize = i_size_read(inode_out);
1781 if (pos_out >= disize || pos_out + *len > disize)
1782 return -EINVAL;
1783 }
1784
1785 /* If we're linking to EOF, continue to the block boundary. */
1786 if (pos_in + *len == isize)
1787 blen = ALIGN(isize, bs) - pos_in;
1788 else
1789 blen = *len;
1790
1791 /* Only reflink if we're aligned to block boundaries */
1792 if (!IS_ALIGNED(pos_in, bs) || !IS_ALIGNED(pos_in + blen, bs) ||
1793 !IS_ALIGNED(pos_out, bs) || !IS_ALIGNED(pos_out + blen, bs))
1794 return -EINVAL;
1795
1796 /* Don't allow overlapped reflink within the same file */
1797 if (same_inode) {
1798 if (pos_out + blen > pos_in && pos_out < pos_in + blen)
1799 return -EINVAL;
1800 }
1801
1802 /* Wait for the completion of any pending IOs on both files */
1803 inode_dio_wait(inode_in);
1804 if (!same_inode)
1805 inode_dio_wait(inode_out);
1806
1807 ret = filemap_write_and_wait_range(inode_in->i_mapping,
1808 pos_in, pos_in + *len - 1);
1809 if (ret)
1810 return ret;
1811
1812 ret = filemap_write_and_wait_range(inode_out->i_mapping,
1813 pos_out, pos_out + *len - 1);
1814 if (ret)
1815 return ret;
1816
1817 /*
1818 * Check that the extents are the same.
1819 */
1820 if (is_dedupe) {
1821 bool is_same = false;
1822
1823 ret = vfs_dedupe_file_range_compare(inode_in, pos_in,
1824 inode_out, pos_out, *len, &is_same);
1825 if (ret)
1826 return ret;
1827 if (!is_same)
1828 return -EBADE;
1829 }
1830
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001831 return 1;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001832}
1833EXPORT_SYMBOL(vfs_clone_file_prep_inodes);
1834
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001835int vfs_clone_file_range(struct file *file_in, loff_t pos_in,
1836 struct file *file_out, loff_t pos_out, u64 len)
1837{
1838 struct inode *inode_in = file_inode(file_in);
1839 struct inode *inode_out = file_inode(file_out);
1840 int ret;
1841
Amir Goldsteinb335e9d2016-10-26 22:34:01 +03001842 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1843 return -EISDIR;
1844 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1845 return -EINVAL;
1846
Amir Goldstein913b86e2016-09-23 11:38:10 +03001847 /*
1848 * FICLONE/FICLONERANGE ioctls enforce that src and dest files are on
1849 * the same mount. Practically, they only need to be on the same file
1850 * system.
1851 */
1852 if (inode_in->i_sb != inode_out->i_sb)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001853 return -EXDEV;
1854
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001855 if (!(file_in->f_mode & FMODE_READ) ||
1856 !(file_out->f_mode & FMODE_WRITE) ||
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001857 (file_out->f_flags & O_APPEND))
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001858 return -EBADF;
1859
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001860 if (!file_in->f_op->clone_file_range)
1861 return -EOPNOTSUPP;
1862
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001863 ret = clone_verify_area(file_in, pos_in, len, false);
1864 if (ret)
1865 return ret;
1866
1867 ret = clone_verify_area(file_out, pos_out, len, true);
1868 if (ret)
1869 return ret;
1870
1871 if (pos_in + len > i_size_read(inode_in))
1872 return -EINVAL;
1873
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001874 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1875 file_out, pos_out, len);
1876 if (!ret) {
1877 fsnotify_access(file_in);
1878 fsnotify_modify(file_out);
1879 }
1880
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001881 return ret;
1882}
1883EXPORT_SYMBOL(vfs_clone_file_range);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001884
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001885/*
1886 * Read a page's worth of file data into the page cache. Return the page
1887 * locked.
1888 */
1889static struct page *vfs_dedupe_get_page(struct inode *inode, loff_t offset)
1890{
1891 struct address_space *mapping;
1892 struct page *page;
1893 pgoff_t n;
1894
1895 n = offset >> PAGE_SHIFT;
1896 mapping = inode->i_mapping;
1897 page = read_mapping_page(mapping, n, NULL);
1898 if (IS_ERR(page))
1899 return page;
1900 if (!PageUptodate(page)) {
1901 put_page(page);
1902 return ERR_PTR(-EIO);
1903 }
1904 lock_page(page);
1905 return page;
1906}
1907
1908/*
1909 * Compare extents of two files to see if they are the same.
1910 * Caller must have locked both inodes to prevent write races.
1911 */
1912int vfs_dedupe_file_range_compare(struct inode *src, loff_t srcoff,
1913 struct inode *dest, loff_t destoff,
1914 loff_t len, bool *is_same)
1915{
1916 loff_t src_poff;
1917 loff_t dest_poff;
1918 void *src_addr;
1919 void *dest_addr;
1920 struct page *src_page;
1921 struct page *dest_page;
1922 loff_t cmp_len;
1923 bool same;
1924 int error;
1925
1926 error = -EINVAL;
1927 same = true;
1928 while (len) {
1929 src_poff = srcoff & (PAGE_SIZE - 1);
1930 dest_poff = destoff & (PAGE_SIZE - 1);
1931 cmp_len = min(PAGE_SIZE - src_poff,
1932 PAGE_SIZE - dest_poff);
1933 cmp_len = min(cmp_len, len);
1934 if (cmp_len <= 0)
1935 goto out_error;
1936
1937 src_page = vfs_dedupe_get_page(src, srcoff);
1938 if (IS_ERR(src_page)) {
1939 error = PTR_ERR(src_page);
1940 goto out_error;
1941 }
1942 dest_page = vfs_dedupe_get_page(dest, destoff);
1943 if (IS_ERR(dest_page)) {
1944 error = PTR_ERR(dest_page);
1945 unlock_page(src_page);
1946 put_page(src_page);
1947 goto out_error;
1948 }
1949 src_addr = kmap_atomic(src_page);
1950 dest_addr = kmap_atomic(dest_page);
1951
1952 flush_dcache_page(src_page);
1953 flush_dcache_page(dest_page);
1954
1955 if (memcmp(src_addr + src_poff, dest_addr + dest_poff, cmp_len))
1956 same = false;
1957
1958 kunmap_atomic(dest_addr);
1959 kunmap_atomic(src_addr);
1960 unlock_page(dest_page);
1961 unlock_page(src_page);
1962 put_page(dest_page);
1963 put_page(src_page);
1964
1965 if (!same)
1966 break;
1967
1968 srcoff += cmp_len;
1969 destoff += cmp_len;
1970 len -= cmp_len;
1971 }
1972
1973 *is_same = same;
1974 return 0;
1975
1976out_error:
1977 return error;
1978}
1979EXPORT_SYMBOL(vfs_dedupe_file_range_compare);
1980
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001981int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
1982{
1983 struct file_dedupe_range_info *info;
1984 struct inode *src = file_inode(file);
1985 u64 off;
1986 u64 len;
1987 int i;
1988 int ret;
1989 bool is_admin = capable(CAP_SYS_ADMIN);
1990 u16 count = same->dest_count;
1991 struct file *dst_file;
1992 loff_t dst_off;
1993 ssize_t deduped;
1994
1995 if (!(file->f_mode & FMODE_READ))
1996 return -EINVAL;
1997
1998 if (same->reserved1 || same->reserved2)
1999 return -EINVAL;
2000
2001 off = same->src_offset;
2002 len = same->src_length;
2003
2004 ret = -EISDIR;
2005 if (S_ISDIR(src->i_mode))
2006 goto out;
2007
2008 ret = -EINVAL;
2009 if (!S_ISREG(src->i_mode))
2010 goto out;
2011
2012 ret = clone_verify_area(file, off, len, false);
2013 if (ret < 0)
2014 goto out;
2015 ret = 0;
2016
Darrick J. Wong22725ce2016-12-19 15:13:26 -08002017 if (off + len > i_size_read(src))
2018 return -EINVAL;
2019
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002020 /* pre-format output fields to sane values */
2021 for (i = 0; i < count; i++) {
2022 same->info[i].bytes_deduped = 0ULL;
2023 same->info[i].status = FILE_DEDUPE_RANGE_SAME;
2024 }
2025
2026 for (i = 0, info = same->info; i < count; i++, info++) {
2027 struct inode *dst;
2028 struct fd dst_fd = fdget(info->dest_fd);
2029
2030 dst_file = dst_fd.file;
2031 if (!dst_file) {
2032 info->status = -EBADF;
2033 goto next_loop;
2034 }
2035 dst = file_inode(dst_file);
2036
2037 ret = mnt_want_write_file(dst_file);
2038 if (ret) {
2039 info->status = ret;
2040 goto next_loop;
2041 }
2042
2043 dst_off = info->dest_offset;
2044 ret = clone_verify_area(dst_file, dst_off, len, true);
2045 if (ret < 0) {
2046 info->status = ret;
2047 goto next_file;
2048 }
2049 ret = 0;
2050
2051 if (info->reserved) {
2052 info->status = -EINVAL;
2053 } else if (!(is_admin || (dst_file->f_mode & FMODE_WRITE))) {
2054 info->status = -EINVAL;
2055 } else if (file->f_path.mnt != dst_file->f_path.mnt) {
2056 info->status = -EXDEV;
2057 } else if (S_ISDIR(dst->i_mode)) {
2058 info->status = -EISDIR;
2059 } else if (dst_file->f_op->dedupe_file_range == NULL) {
2060 info->status = -EINVAL;
2061 } else {
2062 deduped = dst_file->f_op->dedupe_file_range(file, off,
2063 len, dst_file,
2064 info->dest_offset);
2065 if (deduped == -EBADE)
2066 info->status = FILE_DEDUPE_RANGE_DIFFERS;
2067 else if (deduped < 0)
2068 info->status = deduped;
2069 else
2070 info->bytes_deduped += deduped;
2071 }
2072
2073next_file:
2074 mnt_drop_write_file(dst_file);
2075next_loop:
2076 fdput(dst_fd);
Darrick J. Wonge62e5602016-01-22 16:58:28 -08002077
2078 if (fatal_signal_pending(current))
2079 goto out;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002080 }
2081
2082out:
2083 return ret;
2084}
2085EXPORT_SYMBOL(vfs_dedupe_file_range);