blob: f2ed9fdc98fdea5fdc681a611581970d1f433c82 [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
7#include <linux/slab.h>
8#include <linux/stat.h>
9#include <linux/fcntl.h>
10#include <linux/file.h>
11#include <linux/uio.h>
Robert Love0eeca282005-07-12 17:06:03 -040012#include <linux/fsnotify.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include <linux/security.h>
Paul Gortmaker630d9c42011-11-16 23:57:37 -050014#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include <linux/syscalls.h>
Linus Torvaldse28cc712006-01-04 16:20:40 -080016#include <linux/pagemap.h>
Jens Axboed6b29d72007-06-04 09:59:47 +020017#include <linux/splice.h>
Al Viro561c6732013-02-24 10:52:26 -050018#include <linux/compat.h>
Zach Brown29732932015-11-10 16:53:30 -050019#include <linux/mount.h>
Wouter van Kesteren2feb55f2016-02-16 22:20:59 +010020#include <linux/fs.h>
Al Viro06ae43f2013-03-20 13:19:30 -040021#include "internal.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070022
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080023#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070024#include <asm/unistd.h>
25
Arjan van de Ven4b6f5d22006-03-28 01:56:42 -080026const struct file_operations generic_ro_fops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -070027 .llseek = generic_file_llseek,
Al Viroaad4f8b2014-04-02 14:33:16 -040028 .read_iter = generic_file_read_iter,
Linus Torvalds1da177e2005-04-16 15:20:36 -070029 .mmap = generic_file_readonly_mmap,
Jens Axboe534f2aa2007-06-01 14:52:37 +020030 .splice_read = generic_file_splice_read,
Linus Torvalds1da177e2005-04-16 15:20:36 -070031};
32
33EXPORT_SYMBOL(generic_ro_fops);
34
Al Virocccb5a12010-12-17 07:44:05 -050035static inline int unsigned_offsets(struct file *file)
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070036{
Al Virocccb5a12010-12-17 07:44:05 -050037 return file->f_mode & FMODE_UNSIGNED_OFFSET;
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070038}
39
Jie Liu46a1c2c2013-06-25 12:02:13 +080040/**
41 * vfs_setpos - update the file offset for lseek
42 * @file: file structure in question
43 * @offset: file offset to seek to
44 * @maxsize: maximum file size
45 *
46 * This is a low-level filesystem helper for updating the file offset to
47 * the value specified by @offset if the given offset is valid and it is
48 * not equal to the current file offset.
49 *
50 * Return the specified offset on success and -EINVAL on invalid offset.
51 */
52loff_t vfs_setpos(struct file *file, loff_t offset, loff_t maxsize)
Andi Kleenef3d0fd2011-09-15 16:06:48 -070053{
54 if (offset < 0 && !unsigned_offsets(file))
55 return -EINVAL;
56 if (offset > maxsize)
57 return -EINVAL;
58
59 if (offset != file->f_pos) {
60 file->f_pos = offset;
61 file->f_version = 0;
62 }
63 return offset;
64}
Jie Liu46a1c2c2013-06-25 12:02:13 +080065EXPORT_SYMBOL(vfs_setpos);
Andi Kleenef3d0fd2011-09-15 16:06:48 -070066
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020067/**
Andi Kleen57604952011-09-15 16:06:50 -070068 * generic_file_llseek_size - generic llseek implementation for regular files
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020069 * @file: file structure to seek on
70 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -080071 * @whence: type of seek
Eric Sandeene8b96eb2012-04-30 13:11:29 -050072 * @size: max size of this file in file system
73 * @eof: offset used for SEEK_END position
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020074 *
Andi Kleen57604952011-09-15 16:06:50 -070075 * This is a variant of generic_file_llseek that allows passing in a custom
Eric Sandeene8b96eb2012-04-30 13:11:29 -050076 * maximum file size and a custom EOF position, for e.g. hashed directories
Andi Kleenef3d0fd2011-09-15 16:06:48 -070077 *
78 * Synchronization:
Andi Kleen57604952011-09-15 16:06:50 -070079 * SEEK_SET and SEEK_END are unsynchronized (but atomic on 64bit platforms)
Andi Kleenef3d0fd2011-09-15 16:06:48 -070080 * SEEK_CUR is synchronized against other SEEK_CURs, but not read/writes.
81 * read/writes behave like SEEK_SET against seeks.
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020082 */
Andi Kleen9465efc2008-06-27 11:05:24 +020083loff_t
Andrew Morton965c8e52012-12-17 15:59:39 -080084generic_file_llseek_size(struct file *file, loff_t offset, int whence,
Eric Sandeene8b96eb2012-04-30 13:11:29 -050085 loff_t maxsize, loff_t eof)
Linus Torvalds1da177e2005-04-16 15:20:36 -070086{
Andrew Morton965c8e52012-12-17 15:59:39 -080087 switch (whence) {
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020088 case SEEK_END:
Eric Sandeene8b96eb2012-04-30 13:11:29 -050089 offset += eof;
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020090 break;
91 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -080092 /*
93 * Here we special-case the lseek(fd, 0, SEEK_CUR)
94 * position-querying operation. Avoid rewriting the "same"
95 * f_pos value back to the file because a concurrent read(),
96 * write() or lseek() might have altered it
97 */
98 if (offset == 0)
99 return file->f_pos;
Andi Kleenef3d0fd2011-09-15 16:06:48 -0700100 /*
101 * f_lock protects against read/modify/write race with other
102 * SEEK_CURs. Note that parallel writes and reads behave
103 * like SEEK_SET.
104 */
105 spin_lock(&file->f_lock);
Jie Liu46a1c2c2013-06-25 12:02:13 +0800106 offset = vfs_setpos(file, file->f_pos + offset, maxsize);
Andi Kleenef3d0fd2011-09-15 16:06:48 -0700107 spin_unlock(&file->f_lock);
108 return offset;
Josef Bacik982d8162011-07-18 13:21:35 -0400109 case SEEK_DATA:
110 /*
111 * In the generic case the entire file is data, so as long as
112 * offset isn't at the end of the file then the offset is data.
113 */
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500114 if (offset >= eof)
Josef Bacik982d8162011-07-18 13:21:35 -0400115 return -ENXIO;
116 break;
117 case SEEK_HOLE:
118 /*
119 * There is a virtual hole at the end of the file, so as long as
120 * offset isn't i_size or larger, return i_size.
121 */
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500122 if (offset >= eof)
Josef Bacik982d8162011-07-18 13:21:35 -0400123 return -ENXIO;
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500124 offset = eof;
Josef Bacik982d8162011-07-18 13:21:35 -0400125 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200127
Jie Liu46a1c2c2013-06-25 12:02:13 +0800128 return vfs_setpos(file, offset, maxsize);
Andi Kleen57604952011-09-15 16:06:50 -0700129}
130EXPORT_SYMBOL(generic_file_llseek_size);
131
132/**
133 * generic_file_llseek - generic llseek implementation for regular files
134 * @file: file structure to seek on
135 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -0800136 * @whence: type of seek
Andi Kleen57604952011-09-15 16:06:50 -0700137 *
138 * This is a generic implemenation of ->llseek useable for all normal local
139 * filesystems. It just updates the file offset to the value specified by
Ming Lei546ae2d2013-04-29 15:06:07 -0700140 * @offset and @whence.
Andi Kleen57604952011-09-15 16:06:50 -0700141 */
Andrew Morton965c8e52012-12-17 15:59:39 -0800142loff_t generic_file_llseek(struct file *file, loff_t offset, int whence)
Andi Kleen57604952011-09-15 16:06:50 -0700143{
144 struct inode *inode = file->f_mapping->host;
145
Andrew Morton965c8e52012-12-17 15:59:39 -0800146 return generic_file_llseek_size(file, offset, whence,
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500147 inode->i_sb->s_maxbytes,
148 i_size_read(inode));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700149}
Andi Kleen9465efc2008-06-27 11:05:24 +0200150EXPORT_SYMBOL(generic_file_llseek);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700151
jan Blunckae6afc32010-05-26 14:44:48 -0700152/**
Al Viro1bf9d142013-06-16 20:27:42 +0400153 * fixed_size_llseek - llseek implementation for fixed-sized devices
154 * @file: file structure to seek on
155 * @offset: file offset to seek to
156 * @whence: type of seek
157 * @size: size of the file
158 *
159 */
160loff_t fixed_size_llseek(struct file *file, loff_t offset, int whence, loff_t size)
161{
162 switch (whence) {
163 case SEEK_SET: case SEEK_CUR: case SEEK_END:
164 return generic_file_llseek_size(file, offset, whence,
165 size, size);
166 default:
167 return -EINVAL;
168 }
169}
170EXPORT_SYMBOL(fixed_size_llseek);
171
172/**
Al Virob25472f2015-12-05 22:04:48 -0500173 * no_seek_end_llseek - llseek implementation for fixed-sized devices
174 * @file: file structure to seek on
175 * @offset: file offset to seek to
176 * @whence: type of seek
177 *
178 */
179loff_t no_seek_end_llseek(struct file *file, loff_t offset, int whence)
180{
181 switch (whence) {
182 case SEEK_SET: case SEEK_CUR:
183 return generic_file_llseek_size(file, offset, whence,
Wouter van Kesteren2feb55f2016-02-16 22:20:59 +0100184 OFFSET_MAX, 0);
Al Virob25472f2015-12-05 22:04:48 -0500185 default:
186 return -EINVAL;
187 }
188}
189EXPORT_SYMBOL(no_seek_end_llseek);
190
191/**
192 * no_seek_end_llseek_size - llseek implementation for fixed-sized devices
193 * @file: file structure to seek on
194 * @offset: file offset to seek to
195 * @whence: type of seek
196 * @size: maximal offset allowed
197 *
198 */
199loff_t no_seek_end_llseek_size(struct file *file, loff_t offset, int whence, loff_t size)
200{
201 switch (whence) {
202 case SEEK_SET: case SEEK_CUR:
203 return generic_file_llseek_size(file, offset, whence,
204 size, 0);
205 default:
206 return -EINVAL;
207 }
208}
209EXPORT_SYMBOL(no_seek_end_llseek_size);
210
211/**
jan Blunckae6afc32010-05-26 14:44:48 -0700212 * noop_llseek - No Operation Performed llseek implementation
213 * @file: file structure to seek on
214 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -0800215 * @whence: type of seek
jan Blunckae6afc32010-05-26 14:44:48 -0700216 *
217 * This is an implementation of ->llseek useable for the rare special case when
218 * userspace expects the seek to succeed but the (device) file is actually not
219 * able to perform the seek. In this case you use noop_llseek() instead of
220 * falling back to the default implementation of ->llseek.
221 */
Andrew Morton965c8e52012-12-17 15:59:39 -0800222loff_t noop_llseek(struct file *file, loff_t offset, int whence)
jan Blunckae6afc32010-05-26 14:44:48 -0700223{
224 return file->f_pos;
225}
226EXPORT_SYMBOL(noop_llseek);
227
Andrew Morton965c8e52012-12-17 15:59:39 -0800228loff_t no_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700229{
230 return -ESPIPE;
231}
232EXPORT_SYMBOL(no_llseek);
233
Andrew Morton965c8e52012-12-17 15:59:39 -0800234loff_t default_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700235{
Al Viro496ad9a2013-01-23 17:07:38 -0500236 struct inode *inode = file_inode(file);
David Sterba16abef02008-04-22 15:09:22 +0200237 loff_t retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700238
Al Viro59551022016-01-22 15:40:57 -0500239 inode_lock(inode);
Andrew Morton965c8e52012-12-17 15:59:39 -0800240 switch (whence) {
Chris Snook7b8e8922007-05-08 00:24:13 -0700241 case SEEK_END:
Josef Bacik982d8162011-07-18 13:21:35 -0400242 offset += i_size_read(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700243 break;
Chris Snook7b8e8922007-05-08 00:24:13 -0700244 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800245 if (offset == 0) {
246 retval = file->f_pos;
247 goto out;
248 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700249 offset += file->f_pos;
Josef Bacik982d8162011-07-18 13:21:35 -0400250 break;
251 case SEEK_DATA:
252 /*
253 * In the generic case the entire file is data, so as
254 * long as offset isn't at the end of the file then the
255 * offset is data.
256 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300257 if (offset >= inode->i_size) {
258 retval = -ENXIO;
259 goto out;
260 }
Josef Bacik982d8162011-07-18 13:21:35 -0400261 break;
262 case SEEK_HOLE:
263 /*
264 * There is a virtual hole at the end of the file, so
265 * as long as offset isn't i_size or larger, return
266 * i_size.
267 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300268 if (offset >= inode->i_size) {
269 retval = -ENXIO;
270 goto out;
271 }
Josef Bacik982d8162011-07-18 13:21:35 -0400272 offset = inode->i_size;
273 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700274 }
275 retval = -EINVAL;
Al Virocccb5a12010-12-17 07:44:05 -0500276 if (offset >= 0 || unsigned_offsets(file)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700277 if (offset != file->f_pos) {
278 file->f_pos = offset;
279 file->f_version = 0;
280 }
281 retval = offset;
282 }
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800283out:
Al Viro59551022016-01-22 15:40:57 -0500284 inode_unlock(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700285 return retval;
286}
287EXPORT_SYMBOL(default_llseek);
288
Andrew Morton965c8e52012-12-17 15:59:39 -0800289loff_t vfs_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700290{
291 loff_t (*fn)(struct file *, loff_t, int);
292
293 fn = no_llseek;
294 if (file->f_mode & FMODE_LSEEK) {
Al Viro72c2d532013-09-22 16:27:52 -0400295 if (file->f_op->llseek)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296 fn = file->f_op->llseek;
297 }
Andrew Morton965c8e52012-12-17 15:59:39 -0800298 return fn(file, offset, whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299}
300EXPORT_SYMBOL(vfs_llseek);
301
Andrew Morton965c8e52012-12-17 15:59:39 -0800302SYSCALL_DEFINE3(lseek, unsigned int, fd, off_t, offset, unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700303{
304 off_t retval;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800305 struct fd f = fdget_pos(fd);
Al Viro2903ff02012-08-28 12:52:22 -0400306 if (!f.file)
307 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700308
309 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800310 if (whence <= SEEK_MAX) {
311 loff_t res = vfs_llseek(f.file, offset, whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700312 retval = res;
313 if (res != (loff_t)retval)
314 retval = -EOVERFLOW; /* LFS: should only happen on 32 bit platforms */
315 }
Linus Torvalds9c225f22014-03-03 09:36:58 -0800316 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317 return retval;
318}
319
Al Viro561c6732013-02-24 10:52:26 -0500320#ifdef CONFIG_COMPAT
321COMPAT_SYSCALL_DEFINE3(lseek, unsigned int, fd, compat_off_t, offset, unsigned int, whence)
322{
323 return sys_lseek(fd, offset, whence);
324}
325#endif
326
Linus Torvalds1da177e2005-04-16 15:20:36 -0700327#ifdef __ARCH_WANT_SYS_LLSEEK
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100328SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
329 unsigned long, offset_low, loff_t __user *, result,
Andrew Morton965c8e52012-12-17 15:59:39 -0800330 unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331{
332 int retval;
Eric Biggersd7a15f82014-03-16 14:24:08 -0500333 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700334 loff_t offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700335
Al Viro2903ff02012-08-28 12:52:22 -0400336 if (!f.file)
337 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700338
339 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800340 if (whence > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700341 goto out_putf;
342
Al Viro2903ff02012-08-28 12:52:22 -0400343 offset = vfs_llseek(f.file, ((loff_t) offset_high << 32) | offset_low,
Andrew Morton965c8e52012-12-17 15:59:39 -0800344 whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700345
346 retval = (int)offset;
347 if (offset >= 0) {
348 retval = -EFAULT;
349 if (!copy_to_user(result, &offset, sizeof(offset)))
350 retval = 0;
351 }
352out_putf:
Eric Biggersd7a15f82014-03-16 14:24:08 -0500353 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700354 return retval;
355}
356#endif
357
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100358ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos)
359{
360 struct kiocb kiocb;
361 ssize_t ret;
362
363 if (!file->f_op->read_iter)
364 return -EINVAL;
365
366 init_sync_kiocb(&kiocb, file);
367 kiocb.ki_pos = *ppos;
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100368
369 iter->type |= READ;
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100370 ret = call_read_iter(file, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100371 BUG_ON(ret == -EIOCBQUEUED);
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100372 if (ret > 0)
373 *ppos = kiocb.ki_pos;
374 return ret;
375}
376EXPORT_SYMBOL(vfs_iter_read);
377
378ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos)
379{
380 struct kiocb kiocb;
381 ssize_t ret;
382
383 if (!file->f_op->write_iter)
384 return -EINVAL;
385
386 init_sync_kiocb(&kiocb, file);
387 kiocb.ki_pos = *ppos;
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100388
389 iter->type |= WRITE;
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100390 ret = call_write_iter(file, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100391 BUG_ON(ret == -EIOCBQUEUED);
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100392 if (ret > 0)
393 *ppos = kiocb.ki_pos;
394 return ret;
395}
396EXPORT_SYMBOL(vfs_iter_write);
397
Al Viro68d70d02013-06-19 15:26:04 +0400398int rw_verify_area(int read_write, struct file *file, const loff_t *ppos, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700399{
400 struct inode *inode;
401 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100402 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700403
Al Viro496ad9a2013-01-23 17:07:38 -0500404 inode = file_inode(file);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800405 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100406 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700407 pos = *ppos;
Al Virocccb5a12010-12-17 07:44:05 -0500408 if (unlikely(pos < 0)) {
409 if (!unsigned_offsets(file))
410 return retval;
411 if (count >= -pos) /* both values are in 0..LLONG_MAX */
412 return -EOVERFLOW;
413 } else if (unlikely((loff_t) (pos + count) < 0)) {
414 if (!unsigned_offsets(file))
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700415 return retval;
416 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700417
Jeff Laytonbd61e0a2015-01-16 15:05:55 -0500418 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
Christoph Hellwigacc15572015-12-03 12:59:49 +0100419 retval = locks_mandatory_area(inode, file, pos, pos + count - 1,
420 read_write == READ ? F_RDLCK : F_WRLCK);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800421 if (retval < 0)
422 return retval;
423 }
Al Virobc613842016-03-31 21:48:20 -0400424 return security_file_permission(file,
James Morrisc43e2592008-01-12 22:05:48 +1100425 read_write == READ ? MAY_READ : MAY_WRITE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700426}
427
Al Viro5d5d5682015-04-03 15:41:18 -0400428static ssize_t new_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500429{
430 struct iovec iov = { .iov_base = buf, .iov_len = len };
431 struct kiocb kiocb;
432 struct iov_iter iter;
433 ssize_t ret;
434
435 init_sync_kiocb(&kiocb, filp);
436 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500437 iov_iter_init(&iter, READ, &iov, 1, len);
438
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100439 ret = call_read_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100440 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500441 *ppos = kiocb.ki_pos;
442 return ret;
443}
444
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200445ssize_t __vfs_read(struct file *file, char __user *buf, size_t count,
446 loff_t *pos)
447{
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200448 if (file->f_op->read)
Al Viro3d04c8a2015-04-03 15:09:18 -0400449 return file->f_op->read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200450 else if (file->f_op->read_iter)
Al Viro3d04c8a2015-04-03 15:09:18 -0400451 return new_sync_read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200452 else
Al Viro3d04c8a2015-04-03 15:09:18 -0400453 return -EINVAL;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200454}
Al Viro3d04c8a2015-04-03 15:09:18 -0400455EXPORT_SYMBOL(__vfs_read);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200456
Linus Torvalds1da177e2005-04-16 15:20:36 -0700457ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
458{
459 ssize_t ret;
460
461 if (!(file->f_mode & FMODE_READ))
462 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500463 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700464 return -EINVAL;
465 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
466 return -EFAULT;
467
468 ret = rw_verify_area(READ, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400469 if (!ret) {
470 if (count > MAX_RW_COUNT)
471 count = MAX_RW_COUNT;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200472 ret = __vfs_read(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100473 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500474 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100475 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476 }
James Morrisc43e2592008-01-12 22:05:48 +1100477 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700478 }
479
480 return ret;
481}
482
483EXPORT_SYMBOL(vfs_read);
484
Al Viro5d5d5682015-04-03 15:41:18 -0400485static 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 -0500486{
487 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
488 struct kiocb kiocb;
489 struct iov_iter iter;
490 ssize_t ret;
491
492 init_sync_kiocb(&kiocb, filp);
493 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500494 iov_iter_init(&iter, WRITE, &iov, 1, len);
495
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100496 ret = call_write_iter(filp, &kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100497 BUG_ON(ret == -EIOCBQUEUED);
Al Virof765b132015-04-06 20:50:38 -0400498 if (ret > 0)
499 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500500 return ret;
501}
502
Al Viro493c84c2015-04-03 15:06:43 -0400503ssize_t __vfs_write(struct file *file, const char __user *p, size_t count,
504 loff_t *pos)
505{
506 if (file->f_op->write)
507 return file->f_op->write(file, p, count, pos);
Al Viro493c84c2015-04-03 15:06:43 -0400508 else if (file->f_op->write_iter)
509 return new_sync_write(file, p, count, pos);
510 else
511 return -EINVAL;
512}
513EXPORT_SYMBOL(__vfs_write);
514
Al Viro06ae43f2013-03-20 13:19:30 -0400515ssize_t __kernel_write(struct file *file, const char *buf, size_t count, loff_t *pos)
516{
517 mm_segment_t old_fs;
518 const char __user *p;
519 ssize_t ret;
520
Al Viro7f7f25e2014-02-11 17:49:24 -0500521 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000522 return -EINVAL;
523
Al Viro06ae43f2013-03-20 13:19:30 -0400524 old_fs = get_fs();
525 set_fs(get_ds());
526 p = (__force const char __user *)buf;
527 if (count > MAX_RW_COUNT)
528 count = MAX_RW_COUNT;
Al Viro493c84c2015-04-03 15:06:43 -0400529 ret = __vfs_write(file, p, count, pos);
Al Viro06ae43f2013-03-20 13:19:30 -0400530 set_fs(old_fs);
531 if (ret > 0) {
532 fsnotify_modify(file);
533 add_wchar(current, ret);
534 }
535 inc_syscw(current);
536 return ret;
537}
538
Al Viro2ec3a122014-08-19 11:48:09 -0400539EXPORT_SYMBOL(__kernel_write);
540
Linus Torvalds1da177e2005-04-16 15:20:36 -0700541ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
542{
543 ssize_t ret;
544
545 if (!(file->f_mode & FMODE_WRITE))
546 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500547 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700548 return -EINVAL;
549 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
550 return -EFAULT;
551
552 ret = rw_verify_area(WRITE, file, pos, count);
Al Virobc613842016-03-31 21:48:20 -0400553 if (!ret) {
554 if (count > MAX_RW_COUNT)
555 count = MAX_RW_COUNT;
Al Viro03d95eb2013-03-20 13:04:20 -0400556 file_start_write(file);
Al Viro493c84c2015-04-03 15:06:43 -0400557 ret = __vfs_write(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100558 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500559 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100560 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700561 }
James Morrisc43e2592008-01-12 22:05:48 +1100562 inc_syscw(current);
Al Viro03d95eb2013-03-20 13:04:20 -0400563 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700564 }
565
566 return ret;
567}
568
569EXPORT_SYMBOL(vfs_write);
570
571static inline loff_t file_pos_read(struct file *file)
572{
573 return file->f_pos;
574}
575
576static inline void file_pos_write(struct file *file, loff_t pos)
577{
578 file->f_pos = pos;
579}
580
Heiko Carstens3cdad422009-01-14 14:14:22 +0100581SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, 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_read(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 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700593 return ret;
594}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700595
Heiko Carstens3cdad422009-01-14 14:14:22 +0100596SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
597 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700598{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800599 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700600 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700601
Al Viro2903ff02012-08-28 12:52:22 -0400602 if (f.file) {
603 loff_t pos = file_pos_read(f.file);
604 ret = vfs_write(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400605 if (ret >= 0)
606 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800607 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700608 }
609
610 return ret;
611}
612
Al Viro4a0fd5b2013-01-21 15:16:58 -0500613SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
614 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700615{
Al Viro2903ff02012-08-28 12:52:22 -0400616 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700617 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700618
619 if (pos < 0)
620 return -EINVAL;
621
Al Viro2903ff02012-08-28 12:52:22 -0400622 f = fdget(fd);
623 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700624 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400625 if (f.file->f_mode & FMODE_PREAD)
626 ret = vfs_read(f.file, buf, count, &pos);
627 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700628 }
629
630 return ret;
631}
632
Al Viro4a0fd5b2013-01-21 15:16:58 -0500633SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
634 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700635{
Al Viro2903ff02012-08-28 12:52:22 -0400636 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700637 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638
639 if (pos < 0)
640 return -EINVAL;
641
Al Viro2903ff02012-08-28 12:52:22 -0400642 f = fdget(fd);
643 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700644 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400645 if (f.file->f_mode & FMODE_PWRITE)
646 ret = vfs_write(f.file, buf, count, &pos);
647 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700648 }
649
650 return ret;
651}
652
653/*
654 * Reduce an iovec's length in-place. Return the resulting number of segments
655 */
656unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
657{
658 unsigned long seg = 0;
659 size_t len = 0;
660
661 while (seg < nr_segs) {
662 seg++;
663 if (len + iov->iov_len >= to) {
664 iov->iov_len = to - len;
665 break;
666 }
667 len += iov->iov_len;
668 iov++;
669 }
670 return seg;
671}
Eric Sandeen19295522008-01-28 23:58:27 -0500672EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673
Al Viroac15ac02015-03-20 20:10:21 -0400674static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100675 loff_t *ppos, int type, int flags)
Al Viro293bc982014-02-11 18:37:41 -0500676{
677 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500678 ssize_t ret;
679
Christoph Hellwige864f392016-04-07 08:52:03 -0700680 if (flags & ~(RWF_HIPRI | RWF_DSYNC | RWF_SYNC))
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100681 return -EOPNOTSUPP;
682
Al Viro293bc982014-02-11 18:37:41 -0500683 init_sync_kiocb(&kiocb, filp);
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100684 if (flags & RWF_HIPRI)
685 kiocb.ki_flags |= IOCB_HIPRI;
Christoph Hellwige864f392016-04-07 08:52:03 -0700686 if (flags & RWF_DSYNC)
687 kiocb.ki_flags |= IOCB_DSYNC;
688 if (flags & RWF_SYNC)
689 kiocb.ki_flags |= (IOCB_DSYNC | IOCB_SYNC);
Al Viro293bc982014-02-11 18:37:41 -0500690 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500691
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100692 if (type == READ)
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100693 ret = call_read_iter(filp, &kiocb, iter);
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100694 else
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100695 ret = call_write_iter(filp, &kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100696 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500697 *ppos = kiocb.ki_pos;
698 return ret;
699}
700
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700701/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400702static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100703 loff_t *ppos, int type, int flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700704{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700705 ssize_t ret = 0;
706
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100707 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100708 return -EOPNOTSUPP;
709
Al Viroac15ac02015-03-20 20:10:21 -0400710 while (iov_iter_count(iter)) {
711 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700712 ssize_t nr;
713
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100714 if (type == READ) {
715 nr = filp->f_op->read(filp, iovec.iov_base,
716 iovec.iov_len, ppos);
717 } else {
718 nr = filp->f_op->write(filp, iovec.iov_base,
719 iovec.iov_len, ppos);
720 }
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700721
722 if (nr < 0) {
723 if (!ret)
724 ret = nr;
725 break;
726 }
727 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400728 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700729 break;
Al Viroac15ac02015-03-20 20:10:21 -0400730 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700731 }
732
733 return ret;
734}
735
Linus Torvalds1da177e2005-04-16 15:20:36 -0700736/* A write operation does a read from user space and vice versa */
737#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
738
Vegard Nossumffecee42016-10-08 11:18:07 +0200739/**
740 * rw_copy_check_uvector() - Copy an array of &struct iovec from userspace
741 * into the kernel and check that it is valid.
742 *
743 * @type: One of %CHECK_IOVEC_ONLY, %READ, or %WRITE.
744 * @uvector: Pointer to the userspace array.
745 * @nr_segs: Number of elements in userspace array.
746 * @fast_segs: Number of elements in @fast_pointer.
747 * @fast_pointer: Pointer to (usually small on-stack) kernel array.
748 * @ret_pointer: (output parameter) Pointer to a variable that will point to
749 * either @fast_pointer, a newly allocated kernel array, or NULL,
750 * depending on which array was used.
751 *
752 * This function copies an array of &struct iovec of @nr_segs from
753 * userspace into the kernel and checks that each element is valid (e.g.
754 * it does not point to a kernel address or cause overflow by being too
755 * large, etc.).
756 *
757 * As an optimization, the caller may provide a pointer to a small
758 * on-stack array in @fast_pointer, typically %UIO_FASTIOV elements long
759 * (the size of this array, or 0 if unused, should be given in @fast_segs).
760 *
761 * @ret_pointer will always point to the array that was used, so the
762 * caller must take care not to call kfree() on it e.g. in case the
763 * @fast_pointer array was used and it was allocated on the stack.
764 *
765 * Return: The total number of bytes covered by the iovec array on success
766 * or a negative error code on error.
767 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700768ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
769 unsigned long nr_segs, unsigned long fast_segs,
770 struct iovec *fast_pointer,
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700771 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700772{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700773 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700774 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700775 struct iovec *iov = fast_pointer;
776
Linus Torvalds435f49a2010-10-29 10:36:49 -0700777 /*
778 * SuS says "The readv() function *may* fail if the iovcnt argument
779 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
780 * traditionally returned zero for zero segments, so...
781 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700782 if (nr_segs == 0) {
783 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700784 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700785 }
786
Linus Torvalds435f49a2010-10-29 10:36:49 -0700787 /*
788 * First get the "struct iovec" from user memory and
789 * verify all the pointers
790 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700791 if (nr_segs > UIO_MAXIOV) {
792 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700793 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700794 }
795 if (nr_segs > fast_segs) {
Linus Torvalds435f49a2010-10-29 10:36:49 -0700796 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700797 if (iov == NULL) {
798 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700799 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700800 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700801 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700802 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
803 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700804 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700805 }
806
Linus Torvalds435f49a2010-10-29 10:36:49 -0700807 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700808 * According to the Single Unix Specification we should return EINVAL
809 * if an element length is < 0 when cast to ssize_t or if the
810 * total length would overflow the ssize_t return value of the
811 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700812 *
813 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
814 * overflow case.
815 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700816 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700817 for (seg = 0; seg < nr_segs; seg++) {
818 void __user *buf = iov[seg].iov_base;
819 ssize_t len = (ssize_t)iov[seg].iov_len;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700820
821 /* see if we we're about to use an invalid len or if
822 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700823 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700824 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700825 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700826 }
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700827 if (type >= 0
Christopher Yeohfcf63402011-10-31 17:06:39 -0700828 && unlikely(!access_ok(vrfy_dir(type), buf, len))) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700829 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700830 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700831 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700832 if (len > MAX_RW_COUNT - ret) {
833 len = MAX_RW_COUNT - ret;
834 iov[seg].iov_len = len;
835 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700836 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700837 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700838out:
839 *ret_pointer = iov;
840 return ret;
841}
842
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100843static ssize_t __do_readv_writev(int type, struct file *file,
844 struct iov_iter *iter, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700845{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700846 size_t tot_len;
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100847 ssize_t ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700848
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100849 tot_len = iov_iter_count(iter);
Al Viro0504c072015-03-21 19:40:11 -0400850 if (!tot_len)
851 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700852 ret = rw_verify_area(type, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800853 if (ret < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700854 goto out;
855
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100856 if (type != READ)
Al Viro03d95eb2013-03-20 13:04:20 -0400857 file_start_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700858
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100859 if ((type == READ && file->f_op->read_iter) ||
860 (type == WRITE && file->f_op->write_iter))
861 ret = do_iter_readv_writev(file, iter, pos, type, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700862 else
Miklos Szeredi0f78d062017-02-20 16:51:23 +0100863 ret = do_loop_readv_writev(file, iter, pos, type, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700864
Al Viro03d95eb2013-03-20 13:04:20 -0400865 if (type != READ)
866 file_end_write(file);
867
Linus Torvalds1da177e2005-04-16 15:20:36 -0700868out:
Robert Love0eeca282005-07-12 17:06:03 -0400869 if ((ret + (type == READ)) > 0) {
870 if (type == READ)
Eric Paris2a12a9d2009-12-17 21:24:21 -0500871 fsnotify_access(file);
Robert Love0eeca282005-07-12 17:06:03 -0400872 else
Eric Paris2a12a9d2009-12-17 21:24:21 -0500873 fsnotify_modify(file);
Robert Love0eeca282005-07-12 17:06:03 -0400874 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700875 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700876}
877
Miklos Szeredi7687a7a2017-02-20 16:51:23 +0100878static ssize_t do_readv_writev(int type, struct file *file,
879 const struct iovec __user *uvector,
880 unsigned long nr_segs, loff_t *pos,
881 int flags)
882{
883 struct iovec iovstack[UIO_FASTIOV];
884 struct iovec *iov = iovstack;
885 struct iov_iter iter;
886 ssize_t ret;
887
888 ret = import_iovec(type, uvector, nr_segs,
889 ARRAY_SIZE(iovstack), &iov, &iter);
890 if (ret < 0)
891 return ret;
892
893 ret = __do_readv_writev(type, file, &iter, pos, flags);
894 kfree(iov);
895
896 return ret;
897}
898
Linus Torvalds1da177e2005-04-16 15:20:36 -0700899ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100900 unsigned long vlen, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901{
902 if (!(file->f_mode & FMODE_READ))
903 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500904 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700905 return -EINVAL;
906
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100907 return do_readv_writev(READ, file, vec, vlen, pos, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700908}
909
910EXPORT_SYMBOL(vfs_readv);
911
912ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100913 unsigned long vlen, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700914{
915 if (!(file->f_mode & FMODE_WRITE))
916 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500917 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700918 return -EINVAL;
919
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100920 return do_readv_writev(WRITE, file, vec, vlen, pos, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700921}
922
923EXPORT_SYMBOL(vfs_writev);
924
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100925static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
926 unsigned long vlen, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700927{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800928 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700929 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700930
Al Viro2903ff02012-08-28 12:52:22 -0400931 if (f.file) {
932 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100933 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +0400934 if (ret >= 0)
935 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800936 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700937 }
938
939 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800940 add_rchar(current, ret);
941 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700942 return ret;
943}
944
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100945static ssize_t do_writev(unsigned long fd, const struct iovec __user *vec,
946 unsigned long vlen, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700947{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800948 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700949 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700950
Al Viro2903ff02012-08-28 12:52:22 -0400951 if (f.file) {
952 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100953 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +0400954 if (ret >= 0)
955 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800956 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700957 }
958
959 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800960 add_wchar(current, ret);
961 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700962 return ret;
963}
964
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700965static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700966{
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700967#define HALF_LONG_BITS (BITS_PER_LONG / 2)
968 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
969}
970
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100971static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
972 unsigned long vlen, loff_t pos, int flags)
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700973{
Al Viro2903ff02012-08-28 12:52:22 -0400974 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700975 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700976
977 if (pos < 0)
978 return -EINVAL;
979
Al Viro2903ff02012-08-28 12:52:22 -0400980 f = fdget(fd);
981 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700982 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400983 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100984 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -0400985 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700986 }
987
988 if (ret > 0)
989 add_rchar(current, ret);
990 inc_syscr(current);
991 return ret;
992}
993
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100994static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
995 unsigned long vlen, loff_t pos, int flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700996{
Al Viro2903ff02012-08-28 12:52:22 -0400997 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700998 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700999
1000 if (pos < 0)
1001 return -EINVAL;
1002
Al Viro2903ff02012-08-28 12:52:22 -04001003 f = fdget(fd);
1004 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001005 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -04001006 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001007 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -04001008 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -07001009 }
1010
1011 if (ret > 0)
1012 add_wchar(current, ret);
1013 inc_syscw(current);
1014 return ret;
1015}
1016
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001017SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
1018 unsigned long, vlen)
1019{
1020 return do_readv(fd, vec, vlen, 0);
1021}
1022
1023SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
1024 unsigned long, vlen)
1025{
1026 return do_writev(fd, vec, vlen, 0);
1027}
1028
1029SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
1030 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1031{
1032 loff_t pos = pos_from_hilo(pos_h, pos_l);
1033
1034 return do_preadv(fd, vec, vlen, pos, 0);
1035}
1036
1037SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1038 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
1039 int, flags)
1040{
1041 loff_t pos = pos_from_hilo(pos_h, pos_l);
1042
1043 if (pos == -1)
1044 return do_readv(fd, vec, vlen, flags);
1045
1046 return do_preadv(fd, vec, vlen, pos, flags);
1047}
1048
1049SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
1050 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1051{
1052 loff_t pos = pos_from_hilo(pos_h, pos_l);
1053
1054 return do_pwritev(fd, vec, vlen, pos, 0);
1055}
1056
1057SYSCALL_DEFINE6(pwritev2, unsigned long, fd, const struct iovec __user *, vec,
1058 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
1059 int, flags)
1060{
1061 loff_t pos = pos_from_hilo(pos_h, pos_l);
1062
1063 if (pos == -1)
1064 return do_writev(fd, vec, vlen, flags);
1065
1066 return do_pwritev(fd, vec, vlen, pos, flags);
1067}
1068
Al Viro72ec3512013-03-20 10:42:10 -04001069#ifdef CONFIG_COMPAT
1070
1071static ssize_t compat_do_readv_writev(int type, struct file *file,
1072 const struct compat_iovec __user *uvector,
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001073 unsigned long nr_segs, loff_t *pos,
1074 int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001075{
Al Viro72ec3512013-03-20 10:42:10 -04001076 struct iovec iovstack[UIO_FASTIOV];
1077 struct iovec *iov = iovstack;
Al Viroac15ac02015-03-20 20:10:21 -04001078 struct iov_iter iter;
Al Viro72ec3512013-03-20 10:42:10 -04001079 ssize_t ret;
Al Viro72ec3512013-03-20 10:42:10 -04001080
Al Viro0504c072015-03-21 19:40:11 -04001081 ret = compat_import_iovec(type, uvector, nr_segs,
1082 UIO_FASTIOV, &iov, &iter);
1083 if (ret < 0)
1084 return ret;
Al Viro72ec3512013-03-20 10:42:10 -04001085
Miklos Szeredi7687a7a2017-02-20 16:51:23 +01001086 ret = __do_readv_writev(type, file, &iter, pos, flags);
Al Viro0504c072015-03-21 19:40:11 -04001087 kfree(iov);
Miklos Szeredi7687a7a2017-02-20 16:51:23 +01001088
Al Viro72ec3512013-03-20 10:42:10 -04001089 return ret;
1090}
1091
1092static size_t compat_readv(struct file *file,
1093 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001094 unsigned long vlen, loff_t *pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001095{
1096 ssize_t ret = -EBADF;
1097
1098 if (!(file->f_mode & FMODE_READ))
1099 goto out;
1100
1101 ret = -EINVAL;
Al Viro7f7f25e2014-02-11 17:49:24 -05001102 if (!(file->f_mode & FMODE_CAN_READ))
Al Viro72ec3512013-03-20 10:42:10 -04001103 goto out;
1104
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001105 ret = compat_do_readv_writev(READ, file, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001106
1107out:
1108 if (ret > 0)
1109 add_rchar(current, ret);
1110 inc_syscr(current);
1111 return ret;
1112}
1113
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001114static size_t do_compat_readv(compat_ulong_t fd,
1115 const struct compat_iovec __user *vec,
1116 compat_ulong_t vlen, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001117{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001118 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001119 ssize_t ret;
1120 loff_t pos;
1121
1122 if (!f.file)
1123 return -EBADF;
1124 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001125 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001126 if (ret >= 0)
1127 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001128 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001129 return ret;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001130
Al Viro72ec3512013-03-20 10:42:10 -04001131}
1132
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001133COMPAT_SYSCALL_DEFINE3(readv, compat_ulong_t, fd,
1134 const struct compat_iovec __user *,vec,
1135 compat_ulong_t, vlen)
1136{
1137 return do_compat_readv(fd, vec, vlen, 0);
1138}
1139
1140static long do_compat_preadv64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001141 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001142 unsigned long vlen, loff_t pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001143{
1144 struct fd f;
1145 ssize_t ret;
1146
1147 if (pos < 0)
1148 return -EINVAL;
1149 f = fdget(fd);
1150 if (!f.file)
1151 return -EBADF;
1152 ret = -ESPIPE;
1153 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001154 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001155 fdput(f);
1156 return ret;
1157}
1158
Heiko Carstens378a10f2014-03-05 10:43:51 +01001159#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1160COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
1161 const struct compat_iovec __user *,vec,
1162 unsigned long, vlen, loff_t, pos)
1163{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001164 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001165}
1166#endif
1167
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001168COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001169 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001170 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001171{
1172 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001173
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001174 return do_compat_preadv64(fd, vec, vlen, pos, 0);
1175}
1176
H.J. Lu3ebfd812016-07-14 12:31:53 -07001177#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64V2
1178COMPAT_SYSCALL_DEFINE5(preadv64v2, unsigned long, fd,
1179 const struct compat_iovec __user *,vec,
1180 unsigned long, vlen, loff_t, pos, int, flags)
1181{
1182 return do_compat_preadv64(fd, vec, vlen, pos, flags);
1183}
1184#endif
1185
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001186COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
1187 const struct compat_iovec __user *,vec,
1188 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
1189 int, flags)
1190{
1191 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1192
1193 if (pos == -1)
1194 return do_compat_readv(fd, vec, vlen, flags);
1195
1196 return do_compat_preadv64(fd, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001197}
1198
1199static size_t compat_writev(struct file *file,
1200 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001201 unsigned long vlen, loff_t *pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001202{
1203 ssize_t ret = -EBADF;
1204
1205 if (!(file->f_mode & FMODE_WRITE))
1206 goto out;
1207
1208 ret = -EINVAL;
Al Viro7f7f25e2014-02-11 17:49:24 -05001209 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro72ec3512013-03-20 10:42:10 -04001210 goto out;
1211
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001212 ret = compat_do_readv_writev(WRITE, file, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001213
1214out:
1215 if (ret > 0)
1216 add_wchar(current, ret);
1217 inc_syscw(current);
1218 return ret;
1219}
1220
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001221static size_t do_compat_writev(compat_ulong_t fd,
1222 const struct compat_iovec __user* vec,
1223 compat_ulong_t vlen, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001224{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001225 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001226 ssize_t ret;
1227 loff_t pos;
1228
1229 if (!f.file)
1230 return -EBADF;
1231 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001232 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001233 if (ret >= 0)
1234 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001235 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001236 return ret;
1237}
1238
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001239COMPAT_SYSCALL_DEFINE3(writev, compat_ulong_t, fd,
1240 const struct compat_iovec __user *, vec,
1241 compat_ulong_t, vlen)
1242{
1243 return do_compat_writev(fd, vec, vlen, 0);
1244}
1245
1246static long do_compat_pwritev64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001247 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001248 unsigned long vlen, loff_t pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001249{
1250 struct fd f;
1251 ssize_t ret;
1252
1253 if (pos < 0)
1254 return -EINVAL;
1255 f = fdget(fd);
1256 if (!f.file)
1257 return -EBADF;
1258 ret = -ESPIPE;
1259 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001260 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001261 fdput(f);
1262 return ret;
1263}
1264
Heiko Carstens378a10f2014-03-05 10:43:51 +01001265#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1266COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
1267 const struct compat_iovec __user *,vec,
1268 unsigned long, vlen, loff_t, pos)
1269{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001270 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001271}
1272#endif
1273
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001274COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001275 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001276 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001277{
1278 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001279
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001280 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001281}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001282
H.J. Lu3ebfd812016-07-14 12:31:53 -07001283#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64V2
1284COMPAT_SYSCALL_DEFINE5(pwritev64v2, unsigned long, fd,
1285 const struct compat_iovec __user *,vec,
1286 unsigned long, vlen, loff_t, pos, int, flags)
1287{
1288 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1289}
1290#endif
1291
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001292COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
1293 const struct compat_iovec __user *,vec,
1294 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, int, flags)
1295{
1296 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1297
1298 if (pos == -1)
1299 return do_compat_writev(fd, vec, vlen, flags);
1300
1301 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1302}
1303
Al Viro72ec3512013-03-20 10:42:10 -04001304#endif
1305
Al Viro19f4fc32013-02-24 02:17:03 -05001306static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1307 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001308{
Al Viro2903ff02012-08-28 12:52:22 -04001309 struct fd in, out;
1310 struct inode *in_inode, *out_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001311 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001312 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001313 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001314 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001315
1316 /*
1317 * Get input file, and verify that it is ok..
1318 */
1319 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001320 in = fdget(in_fd);
1321 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001322 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001323 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001324 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001325 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001326 if (!ppos) {
1327 pos = in.file->f_pos;
1328 } else {
1329 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001330 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001331 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001332 }
1333 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001334 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001335 goto fput_in;
Al Virobc613842016-03-31 21:48:20 -04001336 if (count > MAX_RW_COUNT)
1337 count = MAX_RW_COUNT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001338
Linus Torvalds1da177e2005-04-16 15:20:36 -07001339 /*
1340 * Get output file, and verify that it is ok..
1341 */
1342 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001343 out = fdget(out_fd);
1344 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001345 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001346 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001347 goto fput_out;
1348 retval = -EINVAL;
Al Viro496ad9a2013-01-23 17:07:38 -05001349 in_inode = file_inode(in.file);
1350 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001351 out_pos = out.file->f_pos;
1352 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001353 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001354 goto fput_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001355
Linus Torvalds1da177e2005-04-16 15:20:36 -07001356 if (!max)
1357 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1358
Linus Torvalds1da177e2005-04-16 15:20:36 -07001359 if (unlikely(pos + count > max)) {
1360 retval = -EOVERFLOW;
1361 if (pos >= max)
1362 goto fput_out;
1363 count = max - pos;
1364 }
1365
Jens Axboed96e6e72007-06-11 12:18:52 +02001366 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001367#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001368 /*
1369 * We need to debate whether we can enable this or not. The
1370 * man page documents EAGAIN return for the output at least,
1371 * and the application is arguably buggy if it doesn't expect
1372 * EAGAIN on a non-blocking file descriptor.
1373 */
Al Viro2903ff02012-08-28 12:52:22 -04001374 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001375 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001376#endif
Al Viro50cd2c52013-05-23 20:10:34 -04001377 file_start_write(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001378 retval = do_splice_direct(in.file, &pos, out.file, &out_pos, count, fl);
Al Viro50cd2c52013-05-23 20:10:34 -04001379 file_end_write(out.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001380
1381 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001382 add_rchar(current, retval);
1383 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001384 fsnotify_access(in.file);
1385 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001386 out.file->f_pos = out_pos;
1387 if (ppos)
1388 *ppos = pos;
1389 else
1390 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001391 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001392
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001393 inc_syscr(current);
1394 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001395 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001396 retval = -EOVERFLOW;
1397
1398fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001399 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001400fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001401 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001402out:
1403 return retval;
1404}
1405
Heiko Carstens002c8972009-01-14 14:14:18 +01001406SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001407{
1408 loff_t pos;
1409 off_t off;
1410 ssize_t ret;
1411
1412 if (offset) {
1413 if (unlikely(get_user(off, offset)))
1414 return -EFAULT;
1415 pos = off;
1416 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1417 if (unlikely(put_user(pos, offset)))
1418 return -EFAULT;
1419 return ret;
1420 }
1421
1422 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1423}
1424
Heiko Carstens002c8972009-01-14 14:14:18 +01001425SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001426{
1427 loff_t pos;
1428 ssize_t ret;
1429
1430 if (offset) {
1431 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1432 return -EFAULT;
1433 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1434 if (unlikely(put_user(pos, offset)))
1435 return -EFAULT;
1436 return ret;
1437 }
1438
1439 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1440}
Al Viro19f4fc32013-02-24 02:17:03 -05001441
1442#ifdef CONFIG_COMPAT
1443COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1444 compat_off_t __user *, offset, compat_size_t, count)
1445{
1446 loff_t pos;
1447 off_t off;
1448 ssize_t ret;
1449
1450 if (offset) {
1451 if (unlikely(get_user(off, offset)))
1452 return -EFAULT;
1453 pos = off;
1454 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1455 if (unlikely(put_user(pos, offset)))
1456 return -EFAULT;
1457 return ret;
1458 }
1459
1460 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1461}
1462
1463COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1464 compat_loff_t __user *, offset, compat_size_t, count)
1465{
1466 loff_t pos;
1467 ssize_t ret;
1468
1469 if (offset) {
1470 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1471 return -EFAULT;
1472 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1473 if (unlikely(put_user(pos, offset)))
1474 return -EFAULT;
1475 return ret;
1476 }
1477
1478 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1479}
1480#endif
Zach Brown29732932015-11-10 16:53:30 -05001481
1482/*
1483 * copy_file_range() differs from regular file read and write in that it
1484 * specifically allows return partial success. When it does so is up to
1485 * the copy_file_range method.
1486 */
1487ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1488 struct file *file_out, loff_t pos_out,
1489 size_t len, unsigned int flags)
1490{
1491 struct inode *inode_in = file_inode(file_in);
1492 struct inode *inode_out = file_inode(file_out);
1493 ssize_t ret;
1494
1495 if (flags != 0)
1496 return -EINVAL;
1497
Amir Goldstein11cbfb12017-01-31 10:34:56 +02001498 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1499 return -EISDIR;
1500 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1501 return -EINVAL;
1502
Zach Brown29732932015-11-10 16:53:30 -05001503 ret = rw_verify_area(READ, file_in, &pos_in, len);
Al Virobc613842016-03-31 21:48:20 -04001504 if (unlikely(ret))
1505 return ret;
1506
1507 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1508 if (unlikely(ret))
Zach Brown29732932015-11-10 16:53:30 -05001509 return ret;
1510
1511 if (!(file_in->f_mode & FMODE_READ) ||
1512 !(file_out->f_mode & FMODE_WRITE) ||
Anna Schumakereac70052015-11-10 16:53:33 -05001513 (file_out->f_flags & O_APPEND))
Zach Brown29732932015-11-10 16:53:30 -05001514 return -EBADF;
1515
1516 /* this could be relaxed once a method supports cross-fs copies */
1517 if (inode_in->i_sb != inode_out->i_sb)
1518 return -EXDEV;
1519
1520 if (len == 0)
1521 return 0;
1522
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001523 file_start_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001524
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001525 /*
1526 * Try cloning first, this is supported by more file systems, and
1527 * more efficient if both clone and copy are supported (e.g. NFS).
1528 */
1529 if (file_in->f_op->clone_file_range) {
1530 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1531 file_out, pos_out, len);
1532 if (ret == 0) {
1533 ret = len;
1534 goto done;
1535 }
1536 }
1537
1538 if (file_out->f_op->copy_file_range) {
Anna Schumakereac70052015-11-10 16:53:33 -05001539 ret = file_out->f_op->copy_file_range(file_in, pos_in, file_out,
1540 pos_out, len, flags);
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001541 if (ret != -EOPNOTSUPP)
1542 goto done;
1543 }
Anna Schumakereac70052015-11-10 16:53:33 -05001544
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001545 ret = do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1546 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1547
1548done:
Zach Brown29732932015-11-10 16:53:30 -05001549 if (ret > 0) {
1550 fsnotify_access(file_in);
1551 add_rchar(current, ret);
1552 fsnotify_modify(file_out);
1553 add_wchar(current, ret);
1554 }
Christoph Hellwiga76b5b02016-12-09 16:17:19 -08001555
Zach Brown29732932015-11-10 16:53:30 -05001556 inc_syscr(current);
1557 inc_syscw(current);
1558
Amir Goldsteinbfe219d2017-01-31 10:34:57 +02001559 file_end_write(file_out);
Zach Brown29732932015-11-10 16:53:30 -05001560
1561 return ret;
1562}
1563EXPORT_SYMBOL(vfs_copy_file_range);
1564
1565SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1566 int, fd_out, loff_t __user *, off_out,
1567 size_t, len, unsigned int, flags)
1568{
1569 loff_t pos_in;
1570 loff_t pos_out;
1571 struct fd f_in;
1572 struct fd f_out;
1573 ssize_t ret = -EBADF;
1574
1575 f_in = fdget(fd_in);
1576 if (!f_in.file)
1577 goto out2;
1578
1579 f_out = fdget(fd_out);
1580 if (!f_out.file)
1581 goto out1;
1582
1583 ret = -EFAULT;
1584 if (off_in) {
1585 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1586 goto out;
1587 } else {
1588 pos_in = f_in.file->f_pos;
1589 }
1590
1591 if (off_out) {
1592 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1593 goto out;
1594 } else {
1595 pos_out = f_out.file->f_pos;
1596 }
1597
1598 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1599 flags);
1600 if (ret > 0) {
1601 pos_in += ret;
1602 pos_out += ret;
1603
1604 if (off_in) {
1605 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1606 ret = -EFAULT;
1607 } else {
1608 f_in.file->f_pos = pos_in;
1609 }
1610
1611 if (off_out) {
1612 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1613 ret = -EFAULT;
1614 } else {
1615 f_out.file->f_pos = pos_out;
1616 }
1617 }
1618
1619out:
1620 fdput(f_out);
1621out1:
1622 fdput(f_in);
1623out2:
1624 return ret;
1625}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001626
1627static int clone_verify_area(struct file *file, loff_t pos, u64 len, bool write)
1628{
1629 struct inode *inode = file_inode(file);
1630
1631 if (unlikely(pos < 0))
1632 return -EINVAL;
1633
1634 if (unlikely((loff_t) (pos + len) < 0))
1635 return -EINVAL;
1636
1637 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
1638 loff_t end = len ? pos + len - 1 : OFFSET_MAX;
1639 int retval;
1640
1641 retval = locks_mandatory_area(inode, file, pos, end,
1642 write ? F_WRLCK : F_RDLCK);
1643 if (retval < 0)
1644 return retval;
1645 }
1646
1647 return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
1648}
1649
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001650/*
1651 * Check that the two inodes are eligible for cloning, the ranges make
1652 * sense, and then flush all dirty data. Caller must ensure that the
1653 * inodes have been locked against any other modifications.
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001654 *
1655 * Returns: 0 for "nothing to clone", 1 for "something to clone", or
1656 * the usual negative error code.
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001657 */
1658int vfs_clone_file_prep_inodes(struct inode *inode_in, loff_t pos_in,
1659 struct inode *inode_out, loff_t pos_out,
1660 u64 *len, bool is_dedupe)
1661{
1662 loff_t bs = inode_out->i_sb->s_blocksize;
1663 loff_t blen;
1664 loff_t isize;
1665 bool same_inode = (inode_in == inode_out);
1666 int ret;
1667
1668 /* Don't touch certain kinds of inodes */
1669 if (IS_IMMUTABLE(inode_out))
1670 return -EPERM;
1671
1672 if (IS_SWAPFILE(inode_in) || IS_SWAPFILE(inode_out))
1673 return -ETXTBSY;
1674
1675 /* Don't reflink dirs, pipes, sockets... */
1676 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1677 return -EISDIR;
1678 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1679 return -EINVAL;
1680
1681 /* Are we going all the way to the end? */
1682 isize = i_size_read(inode_in);
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001683 if (isize == 0)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001684 return 0;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001685
1686 /* Zero length dedupe exits immediately; reflink goes to EOF. */
1687 if (*len == 0) {
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001688 if (is_dedupe || pos_in == isize)
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001689 return 0;
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001690 if (pos_in > isize)
1691 return -EINVAL;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001692 *len = isize - pos_in;
1693 }
1694
1695 /* Ensure offsets don't wrap and the input is inside i_size */
1696 if (pos_in + *len < pos_in || pos_out + *len < pos_out ||
1697 pos_in + *len > isize)
1698 return -EINVAL;
1699
1700 /* Don't allow dedupe past EOF in the dest file */
1701 if (is_dedupe) {
1702 loff_t disize;
1703
1704 disize = i_size_read(inode_out);
1705 if (pos_out >= disize || pos_out + *len > disize)
1706 return -EINVAL;
1707 }
1708
1709 /* If we're linking to EOF, continue to the block boundary. */
1710 if (pos_in + *len == isize)
1711 blen = ALIGN(isize, bs) - pos_in;
1712 else
1713 blen = *len;
1714
1715 /* Only reflink if we're aligned to block boundaries */
1716 if (!IS_ALIGNED(pos_in, bs) || !IS_ALIGNED(pos_in + blen, bs) ||
1717 !IS_ALIGNED(pos_out, bs) || !IS_ALIGNED(pos_out + blen, bs))
1718 return -EINVAL;
1719
1720 /* Don't allow overlapped reflink within the same file */
1721 if (same_inode) {
1722 if (pos_out + blen > pos_in && pos_out < pos_in + blen)
1723 return -EINVAL;
1724 }
1725
1726 /* Wait for the completion of any pending IOs on both files */
1727 inode_dio_wait(inode_in);
1728 if (!same_inode)
1729 inode_dio_wait(inode_out);
1730
1731 ret = filemap_write_and_wait_range(inode_in->i_mapping,
1732 pos_in, pos_in + *len - 1);
1733 if (ret)
1734 return ret;
1735
1736 ret = filemap_write_and_wait_range(inode_out->i_mapping,
1737 pos_out, pos_out + *len - 1);
1738 if (ret)
1739 return ret;
1740
1741 /*
1742 * Check that the extents are the same.
1743 */
1744 if (is_dedupe) {
1745 bool is_same = false;
1746
1747 ret = vfs_dedupe_file_range_compare(inode_in, pos_in,
1748 inode_out, pos_out, *len, &is_same);
1749 if (ret)
1750 return ret;
1751 if (!is_same)
1752 return -EBADE;
1753 }
1754
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001755 return 1;
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001756}
1757EXPORT_SYMBOL(vfs_clone_file_prep_inodes);
1758
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001759int vfs_clone_file_range(struct file *file_in, loff_t pos_in,
1760 struct file *file_out, loff_t pos_out, u64 len)
1761{
1762 struct inode *inode_in = file_inode(file_in);
1763 struct inode *inode_out = file_inode(file_out);
1764 int ret;
1765
Amir Goldsteinb335e9d2016-10-26 22:34:01 +03001766 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1767 return -EISDIR;
1768 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
1769 return -EINVAL;
1770
Amir Goldstein913b86e2016-09-23 11:38:10 +03001771 /*
1772 * FICLONE/FICLONERANGE ioctls enforce that src and dest files are on
1773 * the same mount. Practically, they only need to be on the same file
1774 * system.
1775 */
1776 if (inode_in->i_sb != inode_out->i_sb)
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001777 return -EXDEV;
1778
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001779 if (!(file_in->f_mode & FMODE_READ) ||
1780 !(file_out->f_mode & FMODE_WRITE) ||
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001781 (file_out->f_flags & O_APPEND))
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001782 return -EBADF;
1783
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001784 if (!file_in->f_op->clone_file_range)
1785 return -EOPNOTSUPP;
1786
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001787 ret = clone_verify_area(file_in, pos_in, len, false);
1788 if (ret)
1789 return ret;
1790
1791 ret = clone_verify_area(file_out, pos_out, len, true);
1792 if (ret)
1793 return ret;
1794
1795 if (pos_in + len > i_size_read(inode_in))
1796 return -EINVAL;
1797
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001798 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1799 file_out, pos_out, len);
1800 if (!ret) {
1801 fsnotify_access(file_in);
1802 fsnotify_modify(file_out);
1803 }
1804
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001805 return ret;
1806}
1807EXPORT_SYMBOL(vfs_clone_file_range);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001808
Darrick J. Wong876bec6f2016-12-09 16:18:30 -08001809/*
1810 * Read a page's worth of file data into the page cache. Return the page
1811 * locked.
1812 */
1813static struct page *vfs_dedupe_get_page(struct inode *inode, loff_t offset)
1814{
1815 struct address_space *mapping;
1816 struct page *page;
1817 pgoff_t n;
1818
1819 n = offset >> PAGE_SHIFT;
1820 mapping = inode->i_mapping;
1821 page = read_mapping_page(mapping, n, NULL);
1822 if (IS_ERR(page))
1823 return page;
1824 if (!PageUptodate(page)) {
1825 put_page(page);
1826 return ERR_PTR(-EIO);
1827 }
1828 lock_page(page);
1829 return page;
1830}
1831
1832/*
1833 * Compare extents of two files to see if they are the same.
1834 * Caller must have locked both inodes to prevent write races.
1835 */
1836int vfs_dedupe_file_range_compare(struct inode *src, loff_t srcoff,
1837 struct inode *dest, loff_t destoff,
1838 loff_t len, bool *is_same)
1839{
1840 loff_t src_poff;
1841 loff_t dest_poff;
1842 void *src_addr;
1843 void *dest_addr;
1844 struct page *src_page;
1845 struct page *dest_page;
1846 loff_t cmp_len;
1847 bool same;
1848 int error;
1849
1850 error = -EINVAL;
1851 same = true;
1852 while (len) {
1853 src_poff = srcoff & (PAGE_SIZE - 1);
1854 dest_poff = destoff & (PAGE_SIZE - 1);
1855 cmp_len = min(PAGE_SIZE - src_poff,
1856 PAGE_SIZE - dest_poff);
1857 cmp_len = min(cmp_len, len);
1858 if (cmp_len <= 0)
1859 goto out_error;
1860
1861 src_page = vfs_dedupe_get_page(src, srcoff);
1862 if (IS_ERR(src_page)) {
1863 error = PTR_ERR(src_page);
1864 goto out_error;
1865 }
1866 dest_page = vfs_dedupe_get_page(dest, destoff);
1867 if (IS_ERR(dest_page)) {
1868 error = PTR_ERR(dest_page);
1869 unlock_page(src_page);
1870 put_page(src_page);
1871 goto out_error;
1872 }
1873 src_addr = kmap_atomic(src_page);
1874 dest_addr = kmap_atomic(dest_page);
1875
1876 flush_dcache_page(src_page);
1877 flush_dcache_page(dest_page);
1878
1879 if (memcmp(src_addr + src_poff, dest_addr + dest_poff, cmp_len))
1880 same = false;
1881
1882 kunmap_atomic(dest_addr);
1883 kunmap_atomic(src_addr);
1884 unlock_page(dest_page);
1885 unlock_page(src_page);
1886 put_page(dest_page);
1887 put_page(src_page);
1888
1889 if (!same)
1890 break;
1891
1892 srcoff += cmp_len;
1893 destoff += cmp_len;
1894 len -= cmp_len;
1895 }
1896
1897 *is_same = same;
1898 return 0;
1899
1900out_error:
1901 return error;
1902}
1903EXPORT_SYMBOL(vfs_dedupe_file_range_compare);
1904
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001905int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
1906{
1907 struct file_dedupe_range_info *info;
1908 struct inode *src = file_inode(file);
1909 u64 off;
1910 u64 len;
1911 int i;
1912 int ret;
1913 bool is_admin = capable(CAP_SYS_ADMIN);
1914 u16 count = same->dest_count;
1915 struct file *dst_file;
1916 loff_t dst_off;
1917 ssize_t deduped;
1918
1919 if (!(file->f_mode & FMODE_READ))
1920 return -EINVAL;
1921
1922 if (same->reserved1 || same->reserved2)
1923 return -EINVAL;
1924
1925 off = same->src_offset;
1926 len = same->src_length;
1927
1928 ret = -EISDIR;
1929 if (S_ISDIR(src->i_mode))
1930 goto out;
1931
1932 ret = -EINVAL;
1933 if (!S_ISREG(src->i_mode))
1934 goto out;
1935
1936 ret = clone_verify_area(file, off, len, false);
1937 if (ret < 0)
1938 goto out;
1939 ret = 0;
1940
Darrick J. Wong22725ce2016-12-19 15:13:26 -08001941 if (off + len > i_size_read(src))
1942 return -EINVAL;
1943
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001944 /* pre-format output fields to sane values */
1945 for (i = 0; i < count; i++) {
1946 same->info[i].bytes_deduped = 0ULL;
1947 same->info[i].status = FILE_DEDUPE_RANGE_SAME;
1948 }
1949
1950 for (i = 0, info = same->info; i < count; i++, info++) {
1951 struct inode *dst;
1952 struct fd dst_fd = fdget(info->dest_fd);
1953
1954 dst_file = dst_fd.file;
1955 if (!dst_file) {
1956 info->status = -EBADF;
1957 goto next_loop;
1958 }
1959 dst = file_inode(dst_file);
1960
1961 ret = mnt_want_write_file(dst_file);
1962 if (ret) {
1963 info->status = ret;
1964 goto next_loop;
1965 }
1966
1967 dst_off = info->dest_offset;
1968 ret = clone_verify_area(dst_file, dst_off, len, true);
1969 if (ret < 0) {
1970 info->status = ret;
1971 goto next_file;
1972 }
1973 ret = 0;
1974
1975 if (info->reserved) {
1976 info->status = -EINVAL;
1977 } else if (!(is_admin || (dst_file->f_mode & FMODE_WRITE))) {
1978 info->status = -EINVAL;
1979 } else if (file->f_path.mnt != dst_file->f_path.mnt) {
1980 info->status = -EXDEV;
1981 } else if (S_ISDIR(dst->i_mode)) {
1982 info->status = -EISDIR;
1983 } else if (dst_file->f_op->dedupe_file_range == NULL) {
1984 info->status = -EINVAL;
1985 } else {
1986 deduped = dst_file->f_op->dedupe_file_range(file, off,
1987 len, dst_file,
1988 info->dest_offset);
1989 if (deduped == -EBADE)
1990 info->status = FILE_DEDUPE_RANGE_DIFFERS;
1991 else if (deduped < 0)
1992 info->status = deduped;
1993 else
1994 info->bytes_deduped += deduped;
1995 }
1996
1997next_file:
1998 mnt_drop_write_file(dst_file);
1999next_loop:
2000 fdput(dst_fd);
Darrick J. Wonge62e5602016-01-22 16:58:28 -08002001
2002 if (fatal_signal_pending(current))
2003 goto out;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08002004 }
2005
2006out:
2007 return ret;
2008}
2009EXPORT_SYMBOL(vfs_dedupe_file_range);