blob: 69c7c3c2955cb745d6a546feb52004ec2c1e2bbd [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
23#include <asm/uaccess.h>
24#include <asm/unistd.h>
25
Al Viroc0bd14af2013-05-04 15:00:54 -040026typedef ssize_t (*io_fn_t)(struct file *, char __user *, size_t, loff_t *);
Al Viro293bc982014-02-11 18:37:41 -050027typedef ssize_t (*iter_fn_t)(struct kiocb *, struct iov_iter *);
Al Viroc0bd14af2013-05-04 15:00:54 -040028
Arjan van de Ven4b6f5d22006-03-28 01:56:42 -080029const struct file_operations generic_ro_fops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -070030 .llseek = generic_file_llseek,
Al Viroaad4f8b2014-04-02 14:33:16 -040031 .read_iter = generic_file_read_iter,
Linus Torvalds1da177e2005-04-16 15:20:36 -070032 .mmap = generic_file_readonly_mmap,
Jens Axboe534f2aa2007-06-01 14:52:37 +020033 .splice_read = generic_file_splice_read,
Linus Torvalds1da177e2005-04-16 15:20:36 -070034};
35
36EXPORT_SYMBOL(generic_ro_fops);
37
Al Virocccb5a12010-12-17 07:44:05 -050038static inline int unsigned_offsets(struct file *file)
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070039{
Al Virocccb5a12010-12-17 07:44:05 -050040 return file->f_mode & FMODE_UNSIGNED_OFFSET;
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070041}
42
Jie Liu46a1c2c2013-06-25 12:02:13 +080043/**
44 * vfs_setpos - update the file offset for lseek
45 * @file: file structure in question
46 * @offset: file offset to seek to
47 * @maxsize: maximum file size
48 *
49 * This is a low-level filesystem helper for updating the file offset to
50 * the value specified by @offset if the given offset is valid and it is
51 * not equal to the current file offset.
52 *
53 * Return the specified offset on success and -EINVAL on invalid offset.
54 */
55loff_t vfs_setpos(struct file *file, loff_t offset, loff_t maxsize)
Andi Kleenef3d0fd2011-09-15 16:06:48 -070056{
57 if (offset < 0 && !unsigned_offsets(file))
58 return -EINVAL;
59 if (offset > maxsize)
60 return -EINVAL;
61
62 if (offset != file->f_pos) {
63 file->f_pos = offset;
64 file->f_version = 0;
65 }
66 return offset;
67}
Jie Liu46a1c2c2013-06-25 12:02:13 +080068EXPORT_SYMBOL(vfs_setpos);
Andi Kleenef3d0fd2011-09-15 16:06:48 -070069
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020070/**
Andi Kleen57604952011-09-15 16:06:50 -070071 * generic_file_llseek_size - generic llseek implementation for regular files
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020072 * @file: file structure to seek on
73 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -080074 * @whence: type of seek
Eric Sandeene8b96eb2012-04-30 13:11:29 -050075 * @size: max size of this file in file system
76 * @eof: offset used for SEEK_END position
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020077 *
Andi Kleen57604952011-09-15 16:06:50 -070078 * This is a variant of generic_file_llseek that allows passing in a custom
Eric Sandeene8b96eb2012-04-30 13:11:29 -050079 * maximum file size and a custom EOF position, for e.g. hashed directories
Andi Kleenef3d0fd2011-09-15 16:06:48 -070080 *
81 * Synchronization:
Andi Kleen57604952011-09-15 16:06:50 -070082 * SEEK_SET and SEEK_END are unsynchronized (but atomic on 64bit platforms)
Andi Kleenef3d0fd2011-09-15 16:06:48 -070083 * SEEK_CUR is synchronized against other SEEK_CURs, but not read/writes.
84 * read/writes behave like SEEK_SET against seeks.
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020085 */
Andi Kleen9465efc2008-06-27 11:05:24 +020086loff_t
Andrew Morton965c8e52012-12-17 15:59:39 -080087generic_file_llseek_size(struct file *file, loff_t offset, int whence,
Eric Sandeene8b96eb2012-04-30 13:11:29 -050088 loff_t maxsize, loff_t eof)
Linus Torvalds1da177e2005-04-16 15:20:36 -070089{
Andrew Morton965c8e52012-12-17 15:59:39 -080090 switch (whence) {
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020091 case SEEK_END:
Eric Sandeene8b96eb2012-04-30 13:11:29 -050092 offset += eof;
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020093 break;
94 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -080095 /*
96 * Here we special-case the lseek(fd, 0, SEEK_CUR)
97 * position-querying operation. Avoid rewriting the "same"
98 * f_pos value back to the file because a concurrent read(),
99 * write() or lseek() might have altered it
100 */
101 if (offset == 0)
102 return file->f_pos;
Andi Kleenef3d0fd2011-09-15 16:06:48 -0700103 /*
104 * f_lock protects against read/modify/write race with other
105 * SEEK_CURs. Note that parallel writes and reads behave
106 * like SEEK_SET.
107 */
108 spin_lock(&file->f_lock);
Jie Liu46a1c2c2013-06-25 12:02:13 +0800109 offset = vfs_setpos(file, file->f_pos + offset, maxsize);
Andi Kleenef3d0fd2011-09-15 16:06:48 -0700110 spin_unlock(&file->f_lock);
111 return offset;
Josef Bacik982d8162011-07-18 13:21:35 -0400112 case SEEK_DATA:
113 /*
114 * In the generic case the entire file is data, so as long as
115 * offset isn't at the end of the file then the offset is data.
116 */
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500117 if (offset >= eof)
Josef Bacik982d8162011-07-18 13:21:35 -0400118 return -ENXIO;
119 break;
120 case SEEK_HOLE:
121 /*
122 * There is a virtual hole at the end of the file, so as long as
123 * offset isn't i_size or larger, return i_size.
124 */
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500125 if (offset >= eof)
Josef Bacik982d8162011-07-18 13:21:35 -0400126 return -ENXIO;
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500127 offset = eof;
Josef Bacik982d8162011-07-18 13:21:35 -0400128 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700129 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200130
Jie Liu46a1c2c2013-06-25 12:02:13 +0800131 return vfs_setpos(file, offset, maxsize);
Andi Kleen57604952011-09-15 16:06:50 -0700132}
133EXPORT_SYMBOL(generic_file_llseek_size);
134
135/**
136 * generic_file_llseek - generic llseek implementation for regular files
137 * @file: file structure to seek on
138 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -0800139 * @whence: type of seek
Andi Kleen57604952011-09-15 16:06:50 -0700140 *
141 * This is a generic implemenation of ->llseek useable for all normal local
142 * filesystems. It just updates the file offset to the value specified by
Ming Lei546ae2d2013-04-29 15:06:07 -0700143 * @offset and @whence.
Andi Kleen57604952011-09-15 16:06:50 -0700144 */
Andrew Morton965c8e52012-12-17 15:59:39 -0800145loff_t generic_file_llseek(struct file *file, loff_t offset, int whence)
Andi Kleen57604952011-09-15 16:06:50 -0700146{
147 struct inode *inode = file->f_mapping->host;
148
Andrew Morton965c8e52012-12-17 15:59:39 -0800149 return generic_file_llseek_size(file, offset, whence,
Eric Sandeene8b96eb2012-04-30 13:11:29 -0500150 inode->i_sb->s_maxbytes,
151 i_size_read(inode));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700152}
Andi Kleen9465efc2008-06-27 11:05:24 +0200153EXPORT_SYMBOL(generic_file_llseek);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700154
jan Blunckae6afc32010-05-26 14:44:48 -0700155/**
Al Viro1bf9d142013-06-16 20:27:42 +0400156 * fixed_size_llseek - llseek implementation for fixed-sized devices
157 * @file: file structure to seek on
158 * @offset: file offset to seek to
159 * @whence: type of seek
160 * @size: size of the file
161 *
162 */
163loff_t fixed_size_llseek(struct file *file, loff_t offset, int whence, loff_t size)
164{
165 switch (whence) {
166 case SEEK_SET: case SEEK_CUR: case SEEK_END:
167 return generic_file_llseek_size(file, offset, whence,
168 size, size);
169 default:
170 return -EINVAL;
171 }
172}
173EXPORT_SYMBOL(fixed_size_llseek);
174
175/**
Al Virob25472f2015-12-05 22:04:48 -0500176 * no_seek_end_llseek - llseek implementation for fixed-sized devices
177 * @file: file structure to seek on
178 * @offset: file offset to seek to
179 * @whence: type of seek
180 *
181 */
182loff_t no_seek_end_llseek(struct file *file, loff_t offset, int whence)
183{
184 switch (whence) {
185 case SEEK_SET: case SEEK_CUR:
186 return generic_file_llseek_size(file, offset, whence,
Wouter van Kesteren2feb55f2016-02-16 22:20:59 +0100187 OFFSET_MAX, 0);
Al Virob25472f2015-12-05 22:04:48 -0500188 default:
189 return -EINVAL;
190 }
191}
192EXPORT_SYMBOL(no_seek_end_llseek);
193
194/**
195 * no_seek_end_llseek_size - llseek implementation for fixed-sized devices
196 * @file: file structure to seek on
197 * @offset: file offset to seek to
198 * @whence: type of seek
199 * @size: maximal offset allowed
200 *
201 */
202loff_t no_seek_end_llseek_size(struct file *file, loff_t offset, int whence, loff_t size)
203{
204 switch (whence) {
205 case SEEK_SET: case SEEK_CUR:
206 return generic_file_llseek_size(file, offset, whence,
207 size, 0);
208 default:
209 return -EINVAL;
210 }
211}
212EXPORT_SYMBOL(no_seek_end_llseek_size);
213
214/**
jan Blunckae6afc32010-05-26 14:44:48 -0700215 * noop_llseek - No Operation Performed llseek implementation
216 * @file: file structure to seek on
217 * @offset: file offset to seek to
Andrew Morton965c8e52012-12-17 15:59:39 -0800218 * @whence: type of seek
jan Blunckae6afc32010-05-26 14:44:48 -0700219 *
220 * This is an implementation of ->llseek useable for the rare special case when
221 * userspace expects the seek to succeed but the (device) file is actually not
222 * able to perform the seek. In this case you use noop_llseek() instead of
223 * falling back to the default implementation of ->llseek.
224 */
Andrew Morton965c8e52012-12-17 15:59:39 -0800225loff_t noop_llseek(struct file *file, loff_t offset, int whence)
jan Blunckae6afc32010-05-26 14:44:48 -0700226{
227 return file->f_pos;
228}
229EXPORT_SYMBOL(noop_llseek);
230
Andrew Morton965c8e52012-12-17 15:59:39 -0800231loff_t no_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700232{
233 return -ESPIPE;
234}
235EXPORT_SYMBOL(no_llseek);
236
Andrew Morton965c8e52012-12-17 15:59:39 -0800237loff_t default_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700238{
Al Viro496ad9a2013-01-23 17:07:38 -0500239 struct inode *inode = file_inode(file);
David Sterba16abef02008-04-22 15:09:22 +0200240 loff_t retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700241
Al Viro59551022016-01-22 15:40:57 -0500242 inode_lock(inode);
Andrew Morton965c8e52012-12-17 15:59:39 -0800243 switch (whence) {
Chris Snook7b8e8922007-05-08 00:24:13 -0700244 case SEEK_END:
Josef Bacik982d8162011-07-18 13:21:35 -0400245 offset += i_size_read(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700246 break;
Chris Snook7b8e8922007-05-08 00:24:13 -0700247 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800248 if (offset == 0) {
249 retval = file->f_pos;
250 goto out;
251 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700252 offset += file->f_pos;
Josef Bacik982d8162011-07-18 13:21:35 -0400253 break;
254 case SEEK_DATA:
255 /*
256 * In the generic case the entire file is data, so as
257 * long as offset isn't at the end of the file then the
258 * offset is data.
259 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300260 if (offset >= inode->i_size) {
261 retval = -ENXIO;
262 goto out;
263 }
Josef Bacik982d8162011-07-18 13:21:35 -0400264 break;
265 case SEEK_HOLE:
266 /*
267 * There is a virtual hole at the end of the file, so
268 * as long as offset isn't i_size or larger, return
269 * i_size.
270 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300271 if (offset >= inode->i_size) {
272 retval = -ENXIO;
273 goto out;
274 }
Josef Bacik982d8162011-07-18 13:21:35 -0400275 offset = inode->i_size;
276 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700277 }
278 retval = -EINVAL;
Al Virocccb5a12010-12-17 07:44:05 -0500279 if (offset >= 0 || unsigned_offsets(file)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700280 if (offset != file->f_pos) {
281 file->f_pos = offset;
282 file->f_version = 0;
283 }
284 retval = offset;
285 }
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800286out:
Al Viro59551022016-01-22 15:40:57 -0500287 inode_unlock(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700288 return retval;
289}
290EXPORT_SYMBOL(default_llseek);
291
Andrew Morton965c8e52012-12-17 15:59:39 -0800292loff_t vfs_llseek(struct file *file, loff_t offset, int whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700293{
294 loff_t (*fn)(struct file *, loff_t, int);
295
296 fn = no_llseek;
297 if (file->f_mode & FMODE_LSEEK) {
Al Viro72c2d532013-09-22 16:27:52 -0400298 if (file->f_op->llseek)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299 fn = file->f_op->llseek;
300 }
Andrew Morton965c8e52012-12-17 15:59:39 -0800301 return fn(file, offset, whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700302}
303EXPORT_SYMBOL(vfs_llseek);
304
Andrew Morton965c8e52012-12-17 15:59:39 -0800305SYSCALL_DEFINE3(lseek, unsigned int, fd, off_t, offset, unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306{
307 off_t retval;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800308 struct fd f = fdget_pos(fd);
Al Viro2903ff02012-08-28 12:52:22 -0400309 if (!f.file)
310 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700311
312 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800313 if (whence <= SEEK_MAX) {
314 loff_t res = vfs_llseek(f.file, offset, whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700315 retval = res;
316 if (res != (loff_t)retval)
317 retval = -EOVERFLOW; /* LFS: should only happen on 32 bit platforms */
318 }
Linus Torvalds9c225f22014-03-03 09:36:58 -0800319 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700320 return retval;
321}
322
Al Viro561c6732013-02-24 10:52:26 -0500323#ifdef CONFIG_COMPAT
324COMPAT_SYSCALL_DEFINE3(lseek, unsigned int, fd, compat_off_t, offset, unsigned int, whence)
325{
326 return sys_lseek(fd, offset, whence);
327}
328#endif
329
Linus Torvalds1da177e2005-04-16 15:20:36 -0700330#ifdef __ARCH_WANT_SYS_LLSEEK
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100331SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
332 unsigned long, offset_low, loff_t __user *, result,
Andrew Morton965c8e52012-12-17 15:59:39 -0800333 unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700334{
335 int retval;
Eric Biggersd7a15f82014-03-16 14:24:08 -0500336 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700337 loff_t offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700338
Al Viro2903ff02012-08-28 12:52:22 -0400339 if (!f.file)
340 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700341
342 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800343 if (whence > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700344 goto out_putf;
345
Al Viro2903ff02012-08-28 12:52:22 -0400346 offset = vfs_llseek(f.file, ((loff_t) offset_high << 32) | offset_low,
Andrew Morton965c8e52012-12-17 15:59:39 -0800347 whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700348
349 retval = (int)offset;
350 if (offset >= 0) {
351 retval = -EFAULT;
352 if (!copy_to_user(result, &offset, sizeof(offset)))
353 retval = 0;
354 }
355out_putf:
Eric Biggersd7a15f82014-03-16 14:24:08 -0500356 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700357 return retval;
358}
359#endif
360
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100361ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos)
362{
363 struct kiocb kiocb;
364 ssize_t ret;
365
366 if (!file->f_op->read_iter)
367 return -EINVAL;
368
369 init_sync_kiocb(&kiocb, file);
370 kiocb.ki_pos = *ppos;
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100371
372 iter->type |= READ;
373 ret = file->f_op->read_iter(&kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100374 BUG_ON(ret == -EIOCBQUEUED);
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100375 if (ret > 0)
376 *ppos = kiocb.ki_pos;
377 return ret;
378}
379EXPORT_SYMBOL(vfs_iter_read);
380
381ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos)
382{
383 struct kiocb kiocb;
384 ssize_t ret;
385
386 if (!file->f_op->write_iter)
387 return -EINVAL;
388
389 init_sync_kiocb(&kiocb, file);
390 kiocb.ki_pos = *ppos;
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100391
392 iter->type |= WRITE;
393 ret = file->f_op->write_iter(&kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100394 BUG_ON(ret == -EIOCBQUEUED);
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100395 if (ret > 0)
396 *ppos = kiocb.ki_pos;
397 return ret;
398}
399EXPORT_SYMBOL(vfs_iter_write);
400
Linus Torvaldse28cc712006-01-04 16:20:40 -0800401/*
402 * rw_verify_area doesn't like huge counts. We limit
403 * them to something that fits in "int" so that others
404 * won't have to do range checks all the time.
405 */
Al Viro68d70d02013-06-19 15:26:04 +0400406int rw_verify_area(int read_write, struct file *file, const loff_t *ppos, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700407{
408 struct inode *inode;
409 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100410 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700411
Al Viro496ad9a2013-01-23 17:07:38 -0500412 inode = file_inode(file);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800413 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100414 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700415 pos = *ppos;
Al Virocccb5a12010-12-17 07:44:05 -0500416 if (unlikely(pos < 0)) {
417 if (!unsigned_offsets(file))
418 return retval;
419 if (count >= -pos) /* both values are in 0..LLONG_MAX */
420 return -EOVERFLOW;
421 } else if (unlikely((loff_t) (pos + count) < 0)) {
422 if (!unsigned_offsets(file))
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700423 return retval;
424 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700425
Jeff Laytonbd61e0a2015-01-16 15:05:55 -0500426 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
Christoph Hellwigacc15572015-12-03 12:59:49 +0100427 retval = locks_mandatory_area(inode, file, pos, pos + count - 1,
428 read_write == READ ? F_RDLCK : F_WRLCK);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800429 if (retval < 0)
430 return retval;
431 }
James Morrisc43e2592008-01-12 22:05:48 +1100432 retval = security_file_permission(file,
433 read_write == READ ? MAY_READ : MAY_WRITE);
434 if (retval)
435 return retval;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800436 return count > MAX_RW_COUNT ? MAX_RW_COUNT : count;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700437}
438
Al Viro5d5d5682015-04-03 15:41:18 -0400439static ssize_t new_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500440{
441 struct iovec iov = { .iov_base = buf, .iov_len = len };
442 struct kiocb kiocb;
443 struct iov_iter iter;
444 ssize_t ret;
445
446 init_sync_kiocb(&kiocb, filp);
447 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500448 iov_iter_init(&iter, READ, &iov, 1, len);
449
450 ret = filp->f_op->read_iter(&kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100451 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500452 *ppos = kiocb.ki_pos;
453 return ret;
454}
455
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200456ssize_t __vfs_read(struct file *file, char __user *buf, size_t count,
457 loff_t *pos)
458{
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200459 if (file->f_op->read)
Al Viro3d04c8a2015-04-03 15:09:18 -0400460 return file->f_op->read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200461 else if (file->f_op->read_iter)
Al Viro3d04c8a2015-04-03 15:09:18 -0400462 return new_sync_read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200463 else
Al Viro3d04c8a2015-04-03 15:09:18 -0400464 return -EINVAL;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200465}
Al Viro3d04c8a2015-04-03 15:09:18 -0400466EXPORT_SYMBOL(__vfs_read);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200467
Linus Torvalds1da177e2005-04-16 15:20:36 -0700468ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
469{
470 ssize_t ret;
471
472 if (!(file->f_mode & FMODE_READ))
473 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500474 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700475 return -EINVAL;
476 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
477 return -EFAULT;
478
479 ret = rw_verify_area(READ, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800480 if (ret >= 0) {
481 count = ret;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200482 ret = __vfs_read(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100483 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500484 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100485 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700486 }
James Morrisc43e2592008-01-12 22:05:48 +1100487 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700488 }
489
490 return ret;
491}
492
493EXPORT_SYMBOL(vfs_read);
494
Al Viro5d5d5682015-04-03 15:41:18 -0400495static 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 -0500496{
497 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
498 struct kiocb kiocb;
499 struct iov_iter iter;
500 ssize_t ret;
501
502 init_sync_kiocb(&kiocb, filp);
503 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500504 iov_iter_init(&iter, WRITE, &iov, 1, len);
505
506 ret = filp->f_op->write_iter(&kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100507 BUG_ON(ret == -EIOCBQUEUED);
Al Virof765b132015-04-06 20:50:38 -0400508 if (ret > 0)
509 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500510 return ret;
511}
512
Al Viro493c84c2015-04-03 15:06:43 -0400513ssize_t __vfs_write(struct file *file, const char __user *p, size_t count,
514 loff_t *pos)
515{
516 if (file->f_op->write)
517 return file->f_op->write(file, p, count, pos);
Al Viro493c84c2015-04-03 15:06:43 -0400518 else if (file->f_op->write_iter)
519 return new_sync_write(file, p, count, pos);
520 else
521 return -EINVAL;
522}
523EXPORT_SYMBOL(__vfs_write);
524
Al Viro06ae43f2013-03-20 13:19:30 -0400525ssize_t __kernel_write(struct file *file, const char *buf, size_t count, loff_t *pos)
526{
527 mm_segment_t old_fs;
528 const char __user *p;
529 ssize_t ret;
530
Al Viro7f7f25e2014-02-11 17:49:24 -0500531 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000532 return -EINVAL;
533
Al Viro06ae43f2013-03-20 13:19:30 -0400534 old_fs = get_fs();
535 set_fs(get_ds());
536 p = (__force const char __user *)buf;
537 if (count > MAX_RW_COUNT)
538 count = MAX_RW_COUNT;
Al Viro493c84c2015-04-03 15:06:43 -0400539 ret = __vfs_write(file, p, count, pos);
Al Viro06ae43f2013-03-20 13:19:30 -0400540 set_fs(old_fs);
541 if (ret > 0) {
542 fsnotify_modify(file);
543 add_wchar(current, ret);
544 }
545 inc_syscw(current);
546 return ret;
547}
548
Al Viro2ec3a122014-08-19 11:48:09 -0400549EXPORT_SYMBOL(__kernel_write);
550
Linus Torvalds1da177e2005-04-16 15:20:36 -0700551ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
552{
553 ssize_t ret;
554
555 if (!(file->f_mode & FMODE_WRITE))
556 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500557 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700558 return -EINVAL;
559 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
560 return -EFAULT;
561
562 ret = rw_verify_area(WRITE, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800563 if (ret >= 0) {
564 count = ret;
Al Viro03d95eb2013-03-20 13:04:20 -0400565 file_start_write(file);
Al Viro493c84c2015-04-03 15:06:43 -0400566 ret = __vfs_write(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100567 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500568 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100569 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700570 }
James Morrisc43e2592008-01-12 22:05:48 +1100571 inc_syscw(current);
Al Viro03d95eb2013-03-20 13:04:20 -0400572 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700573 }
574
575 return ret;
576}
577
578EXPORT_SYMBOL(vfs_write);
579
580static inline loff_t file_pos_read(struct file *file)
581{
582 return file->f_pos;
583}
584
585static inline void file_pos_write(struct file *file, loff_t pos)
586{
587 file->f_pos = pos;
588}
589
Heiko Carstens3cdad422009-01-14 14:14:22 +0100590SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700591{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800592 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700593 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700594
Al Viro2903ff02012-08-28 12:52:22 -0400595 if (f.file) {
596 loff_t pos = file_pos_read(f.file);
597 ret = vfs_read(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400598 if (ret >= 0)
599 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800600 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700601 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700602 return ret;
603}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700604
Heiko Carstens3cdad422009-01-14 14:14:22 +0100605SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
606 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700607{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800608 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700610
Al Viro2903ff02012-08-28 12:52:22 -0400611 if (f.file) {
612 loff_t pos = file_pos_read(f.file);
613 ret = vfs_write(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400614 if (ret >= 0)
615 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800616 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700617 }
618
619 return ret;
620}
621
Al Viro4a0fd5b2013-01-21 15:16:58 -0500622SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
623 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700624{
Al Viro2903ff02012-08-28 12:52:22 -0400625 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700626 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700627
628 if (pos < 0)
629 return -EINVAL;
630
Al Viro2903ff02012-08-28 12:52:22 -0400631 f = fdget(fd);
632 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700633 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400634 if (f.file->f_mode & FMODE_PREAD)
635 ret = vfs_read(f.file, buf, count, &pos);
636 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700637 }
638
639 return ret;
640}
641
Al Viro4a0fd5b2013-01-21 15:16:58 -0500642SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
643 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700644{
Al Viro2903ff02012-08-28 12:52:22 -0400645 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700646 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700647
648 if (pos < 0)
649 return -EINVAL;
650
Al Viro2903ff02012-08-28 12:52:22 -0400651 f = fdget(fd);
652 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700653 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400654 if (f.file->f_mode & FMODE_PWRITE)
655 ret = vfs_write(f.file, buf, count, &pos);
656 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700657 }
658
659 return ret;
660}
661
662/*
663 * Reduce an iovec's length in-place. Return the resulting number of segments
664 */
665unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
666{
667 unsigned long seg = 0;
668 size_t len = 0;
669
670 while (seg < nr_segs) {
671 seg++;
672 if (len + iov->iov_len >= to) {
673 iov->iov_len = to - len;
674 break;
675 }
676 len += iov->iov_len;
677 iov++;
678 }
679 return seg;
680}
Eric Sandeen19295522008-01-28 23:58:27 -0500681EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700682
Al Viroac15ac02015-03-20 20:10:21 -0400683static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100684 loff_t *ppos, iter_fn_t fn, int flags)
Al Viro293bc982014-02-11 18:37:41 -0500685{
686 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500687 ssize_t ret;
688
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100689 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100690 return -EOPNOTSUPP;
691
Al Viro293bc982014-02-11 18:37:41 -0500692 init_sync_kiocb(&kiocb, filp);
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100693 if (flags & RWF_HIPRI)
694 kiocb.ki_flags |= IOCB_HIPRI;
Al Viro293bc982014-02-11 18:37:41 -0500695 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500696
Al Viroac15ac02015-03-20 20:10:21 -0400697 ret = fn(&kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100698 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500699 *ppos = kiocb.ki_pos;
700 return ret;
701}
702
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700703/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400704static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100705 loff_t *ppos, io_fn_t fn, int flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700706{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700707 ssize_t ret = 0;
708
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100709 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100710 return -EOPNOTSUPP;
711
Al Viroac15ac02015-03-20 20:10:21 -0400712 while (iov_iter_count(iter)) {
713 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700714 ssize_t nr;
715
Al Viroac15ac02015-03-20 20:10:21 -0400716 nr = fn(filp, iovec.iov_base, iovec.iov_len, ppos);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700717
718 if (nr < 0) {
719 if (!ret)
720 ret = nr;
721 break;
722 }
723 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400724 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700725 break;
Al Viroac15ac02015-03-20 20:10:21 -0400726 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700727 }
728
729 return ret;
730}
731
Linus Torvalds1da177e2005-04-16 15:20:36 -0700732/* A write operation does a read from user space and vice versa */
733#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
734
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700735ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
736 unsigned long nr_segs, unsigned long fast_segs,
737 struct iovec *fast_pointer,
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700738 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700739{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700740 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700741 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700742 struct iovec *iov = fast_pointer;
743
Linus Torvalds435f49a2010-10-29 10:36:49 -0700744 /*
745 * SuS says "The readv() function *may* fail if the iovcnt argument
746 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
747 * traditionally returned zero for zero segments, so...
748 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700749 if (nr_segs == 0) {
750 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700751 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700752 }
753
Linus Torvalds435f49a2010-10-29 10:36:49 -0700754 /*
755 * First get the "struct iovec" from user memory and
756 * verify all the pointers
757 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700758 if (nr_segs > UIO_MAXIOV) {
759 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700760 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700761 }
762 if (nr_segs > fast_segs) {
Linus Torvalds435f49a2010-10-29 10:36:49 -0700763 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700764 if (iov == NULL) {
765 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700766 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700767 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700768 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700769 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
770 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700771 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700772 }
773
Linus Torvalds435f49a2010-10-29 10:36:49 -0700774 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700775 * According to the Single Unix Specification we should return EINVAL
776 * if an element length is < 0 when cast to ssize_t or if the
777 * total length would overflow the ssize_t return value of the
778 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700779 *
780 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
781 * overflow case.
782 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700783 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700784 for (seg = 0; seg < nr_segs; seg++) {
785 void __user *buf = iov[seg].iov_base;
786 ssize_t len = (ssize_t)iov[seg].iov_len;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700787
788 /* see if we we're about to use an invalid len or if
789 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700790 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700791 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700792 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700793 }
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700794 if (type >= 0
Christopher Yeohfcf63402011-10-31 17:06:39 -0700795 && unlikely(!access_ok(vrfy_dir(type), buf, len))) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700796 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700797 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700798 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700799 if (len > MAX_RW_COUNT - ret) {
800 len = MAX_RW_COUNT - ret;
801 iov[seg].iov_len = len;
802 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700803 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700804 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700805out:
806 *ret_pointer = iov;
807 return ret;
808}
809
Linus Torvalds1da177e2005-04-16 15:20:36 -0700810static ssize_t do_readv_writev(int type, struct file *file,
811 const struct iovec __user * uvector,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100812 unsigned long nr_segs, loff_t *pos,
813 int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700814{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700815 size_t tot_len;
816 struct iovec iovstack[UIO_FASTIOV];
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700817 struct iovec *iov = iovstack;
Al Viroac15ac02015-03-20 20:10:21 -0400818 struct iov_iter iter;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700819 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700820 io_fn_t fn;
Al Viro293bc982014-02-11 18:37:41 -0500821 iter_fn_t iter_fn;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700822
Al Viro0504c072015-03-21 19:40:11 -0400823 ret = import_iovec(type, uvector, nr_segs,
824 ARRAY_SIZE(iovstack), &iov, &iter);
825 if (ret < 0)
826 return ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700827
Al Viro0504c072015-03-21 19:40:11 -0400828 tot_len = iov_iter_count(&iter);
829 if (!tot_len)
830 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700831 ret = rw_verify_area(type, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800832 if (ret < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700833 goto out;
834
Linus Torvalds1da177e2005-04-16 15:20:36 -0700835 if (type == READ) {
836 fn = file->f_op->read;
Al Viro293bc982014-02-11 18:37:41 -0500837 iter_fn = file->f_op->read_iter;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700838 } else {
839 fn = (io_fn_t)file->f_op->write;
Al Viro293bc982014-02-11 18:37:41 -0500840 iter_fn = file->f_op->write_iter;
Al Viro03d95eb2013-03-20 13:04:20 -0400841 file_start_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700842 }
843
Al Viro293bc982014-02-11 18:37:41 -0500844 if (iter_fn)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100845 ret = do_iter_readv_writev(file, &iter, pos, iter_fn, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700846 else
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100847 ret = do_loop_readv_writev(file, &iter, pos, fn, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700848
Al Viro03d95eb2013-03-20 13:04:20 -0400849 if (type != READ)
850 file_end_write(file);
851
Linus Torvalds1da177e2005-04-16 15:20:36 -0700852out:
Al Viro0504c072015-03-21 19:40:11 -0400853 kfree(iov);
Robert Love0eeca282005-07-12 17:06:03 -0400854 if ((ret + (type == READ)) > 0) {
855 if (type == READ)
Eric Paris2a12a9d2009-12-17 21:24:21 -0500856 fsnotify_access(file);
Robert Love0eeca282005-07-12 17:06:03 -0400857 else
Eric Paris2a12a9d2009-12-17 21:24:21 -0500858 fsnotify_modify(file);
Robert Love0eeca282005-07-12 17:06:03 -0400859 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700860 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700861}
862
863ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100864 unsigned long vlen, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700865{
866 if (!(file->f_mode & FMODE_READ))
867 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500868 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700869 return -EINVAL;
870
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100871 return do_readv_writev(READ, file, vec, vlen, pos, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700872}
873
874EXPORT_SYMBOL(vfs_readv);
875
876ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100877 unsigned long vlen, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700878{
879 if (!(file->f_mode & FMODE_WRITE))
880 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500881 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882 return -EINVAL;
883
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100884 return do_readv_writev(WRITE, file, vec, vlen, pos, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700885}
886
887EXPORT_SYMBOL(vfs_writev);
888
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100889static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
890 unsigned long vlen, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700891{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800892 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700893 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700894
Al Viro2903ff02012-08-28 12:52:22 -0400895 if (f.file) {
896 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100897 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +0400898 if (ret >= 0)
899 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800900 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901 }
902
903 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800904 add_rchar(current, ret);
905 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700906 return ret;
907}
908
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100909static ssize_t do_writev(unsigned long fd, const struct iovec __user *vec,
910 unsigned long vlen, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700911{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800912 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700913 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700914
Al Viro2903ff02012-08-28 12:52:22 -0400915 if (f.file) {
916 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100917 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +0400918 if (ret >= 0)
919 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800920 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700921 }
922
923 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800924 add_wchar(current, ret);
925 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700926 return ret;
927}
928
Linus Torvalds601cc112009-04-03 08:03:22 -0700929static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700930{
Linus Torvalds601cc112009-04-03 08:03:22 -0700931#define HALF_LONG_BITS (BITS_PER_LONG / 2)
932 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
933}
934
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100935static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
936 unsigned long vlen, loff_t pos, int flags)
Linus Torvalds601cc112009-04-03 08:03:22 -0700937{
Al Viro2903ff02012-08-28 12:52:22 -0400938 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700939 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700940
941 if (pos < 0)
942 return -EINVAL;
943
Al Viro2903ff02012-08-28 12:52:22 -0400944 f = fdget(fd);
945 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700946 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400947 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100948 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -0400949 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700950 }
951
952 if (ret > 0)
953 add_rchar(current, ret);
954 inc_syscr(current);
955 return ret;
956}
957
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100958static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
959 unsigned long vlen, loff_t pos, int flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700960{
Al Viro2903ff02012-08-28 12:52:22 -0400961 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700962 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700963
964 if (pos < 0)
965 return -EINVAL;
966
Al Viro2903ff02012-08-28 12:52:22 -0400967 f = fdget(fd);
968 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700969 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400970 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100971 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -0400972 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700973 }
974
975 if (ret > 0)
976 add_wchar(current, ret);
977 inc_syscw(current);
978 return ret;
979}
980
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100981SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
982 unsigned long, vlen)
983{
984 return do_readv(fd, vec, vlen, 0);
985}
986
987SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
988 unsigned long, vlen)
989{
990 return do_writev(fd, vec, vlen, 0);
991}
992
993SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
994 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
995{
996 loff_t pos = pos_from_hilo(pos_h, pos_l);
997
998 return do_preadv(fd, vec, vlen, pos, 0);
999}
1000
1001SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1002 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
1003 int, flags)
1004{
1005 loff_t pos = pos_from_hilo(pos_h, pos_l);
1006
1007 if (pos == -1)
1008 return do_readv(fd, vec, vlen, flags);
1009
1010 return do_preadv(fd, vec, vlen, pos, flags);
1011}
1012
1013SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
1014 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1015{
1016 loff_t pos = pos_from_hilo(pos_h, pos_l);
1017
1018 return do_pwritev(fd, vec, vlen, pos, 0);
1019}
1020
1021SYSCALL_DEFINE6(pwritev2, unsigned long, fd, const struct iovec __user *, vec,
1022 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
1023 int, flags)
1024{
1025 loff_t pos = pos_from_hilo(pos_h, pos_l);
1026
1027 if (pos == -1)
1028 return do_writev(fd, vec, vlen, flags);
1029
1030 return do_pwritev(fd, vec, vlen, pos, flags);
1031}
1032
Al Viro72ec3512013-03-20 10:42:10 -04001033#ifdef CONFIG_COMPAT
1034
1035static ssize_t compat_do_readv_writev(int type, struct file *file,
1036 const struct compat_iovec __user *uvector,
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001037 unsigned long nr_segs, loff_t *pos,
1038 int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001039{
1040 compat_ssize_t tot_len;
1041 struct iovec iovstack[UIO_FASTIOV];
1042 struct iovec *iov = iovstack;
Al Viroac15ac02015-03-20 20:10:21 -04001043 struct iov_iter iter;
Al Viro72ec3512013-03-20 10:42:10 -04001044 ssize_t ret;
1045 io_fn_t fn;
Al Viro293bc982014-02-11 18:37:41 -05001046 iter_fn_t iter_fn;
Al Viro72ec3512013-03-20 10:42:10 -04001047
Al Viro0504c072015-03-21 19:40:11 -04001048 ret = compat_import_iovec(type, uvector, nr_segs,
1049 UIO_FASTIOV, &iov, &iter);
1050 if (ret < 0)
1051 return ret;
Al Viro72ec3512013-03-20 10:42:10 -04001052
Al Viro0504c072015-03-21 19:40:11 -04001053 tot_len = iov_iter_count(&iter);
1054 if (!tot_len)
1055 goto out;
Al Viro72ec3512013-03-20 10:42:10 -04001056 ret = rw_verify_area(type, file, pos, tot_len);
1057 if (ret < 0)
1058 goto out;
1059
Al Viro72ec3512013-03-20 10:42:10 -04001060 if (type == READ) {
1061 fn = file->f_op->read;
Al Viro293bc982014-02-11 18:37:41 -05001062 iter_fn = file->f_op->read_iter;
Al Viro72ec3512013-03-20 10:42:10 -04001063 } else {
1064 fn = (io_fn_t)file->f_op->write;
Al Viro293bc982014-02-11 18:37:41 -05001065 iter_fn = file->f_op->write_iter;
Al Viro03d95eb2013-03-20 13:04:20 -04001066 file_start_write(file);
Al Viro72ec3512013-03-20 10:42:10 -04001067 }
1068
Al Viro293bc982014-02-11 18:37:41 -05001069 if (iter_fn)
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001070 ret = do_iter_readv_writev(file, &iter, pos, iter_fn, flags);
Al Viro03d95eb2013-03-20 13:04:20 -04001071 else
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001072 ret = do_loop_readv_writev(file, &iter, pos, fn, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001073
Al Viro03d95eb2013-03-20 13:04:20 -04001074 if (type != READ)
1075 file_end_write(file);
1076
Al Viro72ec3512013-03-20 10:42:10 -04001077out:
Al Viro0504c072015-03-21 19:40:11 -04001078 kfree(iov);
Al Viro72ec3512013-03-20 10:42:10 -04001079 if ((ret + (type == READ)) > 0) {
1080 if (type == READ)
1081 fsnotify_access(file);
1082 else
1083 fsnotify_modify(file);
1084 }
1085 return ret;
1086}
1087
1088static size_t compat_readv(struct file *file,
1089 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001090 unsigned long vlen, loff_t *pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001091{
1092 ssize_t ret = -EBADF;
1093
1094 if (!(file->f_mode & FMODE_READ))
1095 goto out;
1096
1097 ret = -EINVAL;
Al Viro7f7f25e2014-02-11 17:49:24 -05001098 if (!(file->f_mode & FMODE_CAN_READ))
Al Viro72ec3512013-03-20 10:42:10 -04001099 goto out;
1100
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001101 ret = compat_do_readv_writev(READ, file, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001102
1103out:
1104 if (ret > 0)
1105 add_rchar(current, ret);
1106 inc_syscr(current);
1107 return ret;
1108}
1109
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001110static size_t do_compat_readv(compat_ulong_t fd,
1111 const struct compat_iovec __user *vec,
1112 compat_ulong_t vlen, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001113{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001114 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001115 ssize_t ret;
1116 loff_t pos;
1117
1118 if (!f.file)
1119 return -EBADF;
1120 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001121 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001122 if (ret >= 0)
1123 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001124 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001125 return ret;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001126
Al Viro72ec3512013-03-20 10:42:10 -04001127}
1128
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001129COMPAT_SYSCALL_DEFINE3(readv, compat_ulong_t, fd,
1130 const struct compat_iovec __user *,vec,
1131 compat_ulong_t, vlen)
1132{
1133 return do_compat_readv(fd, vec, vlen, 0);
1134}
1135
1136static long do_compat_preadv64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001137 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001138 unsigned long vlen, loff_t pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001139{
1140 struct fd f;
1141 ssize_t ret;
1142
1143 if (pos < 0)
1144 return -EINVAL;
1145 f = fdget(fd);
1146 if (!f.file)
1147 return -EBADF;
1148 ret = -ESPIPE;
1149 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001150 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001151 fdput(f);
1152 return ret;
1153}
1154
Heiko Carstens378a10f2014-03-05 10:43:51 +01001155#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1156COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
1157 const struct compat_iovec __user *,vec,
1158 unsigned long, vlen, loff_t, pos)
1159{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001160 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001161}
1162#endif
1163
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001164COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001165 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001166 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001167{
1168 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001169
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001170 return do_compat_preadv64(fd, vec, vlen, pos, 0);
1171}
1172
1173COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
1174 const struct compat_iovec __user *,vec,
1175 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
1176 int, flags)
1177{
1178 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1179
1180 if (pos == -1)
1181 return do_compat_readv(fd, vec, vlen, flags);
1182
1183 return do_compat_preadv64(fd, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001184}
1185
1186static size_t compat_writev(struct file *file,
1187 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001188 unsigned long vlen, loff_t *pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001189{
1190 ssize_t ret = -EBADF;
1191
1192 if (!(file->f_mode & FMODE_WRITE))
1193 goto out;
1194
1195 ret = -EINVAL;
Al Viro7f7f25e2014-02-11 17:49:24 -05001196 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro72ec3512013-03-20 10:42:10 -04001197 goto out;
1198
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001199 ret = compat_do_readv_writev(WRITE, file, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001200
1201out:
1202 if (ret > 0)
1203 add_wchar(current, ret);
1204 inc_syscw(current);
1205 return ret;
1206}
1207
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001208static size_t do_compat_writev(compat_ulong_t fd,
1209 const struct compat_iovec __user* vec,
1210 compat_ulong_t vlen, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001211{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001212 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001213 ssize_t ret;
1214 loff_t pos;
1215
1216 if (!f.file)
1217 return -EBADF;
1218 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001219 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001220 if (ret >= 0)
1221 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001222 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001223 return ret;
1224}
1225
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001226COMPAT_SYSCALL_DEFINE3(writev, compat_ulong_t, fd,
1227 const struct compat_iovec __user *, vec,
1228 compat_ulong_t, vlen)
1229{
1230 return do_compat_writev(fd, vec, vlen, 0);
1231}
1232
1233static long do_compat_pwritev64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001234 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001235 unsigned long vlen, loff_t pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001236{
1237 struct fd f;
1238 ssize_t ret;
1239
1240 if (pos < 0)
1241 return -EINVAL;
1242 f = fdget(fd);
1243 if (!f.file)
1244 return -EBADF;
1245 ret = -ESPIPE;
1246 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001247 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001248 fdput(f);
1249 return ret;
1250}
1251
Heiko Carstens378a10f2014-03-05 10:43:51 +01001252#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1253COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
1254 const struct compat_iovec __user *,vec,
1255 unsigned long, vlen, loff_t, pos)
1256{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001257 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001258}
1259#endif
1260
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001261COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001262 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001263 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001264{
1265 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001266
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001267 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001268}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001269
1270COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
1271 const struct compat_iovec __user *,vec,
1272 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, int, flags)
1273{
1274 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1275
1276 if (pos == -1)
1277 return do_compat_writev(fd, vec, vlen, flags);
1278
1279 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1280}
1281
Al Viro72ec3512013-03-20 10:42:10 -04001282#endif
1283
Al Viro19f4fc32013-02-24 02:17:03 -05001284static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1285 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001286{
Al Viro2903ff02012-08-28 12:52:22 -04001287 struct fd in, out;
1288 struct inode *in_inode, *out_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001289 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001290 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001291 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001292 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001293
1294 /*
1295 * Get input file, and verify that it is ok..
1296 */
1297 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001298 in = fdget(in_fd);
1299 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001300 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001301 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001302 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001303 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001304 if (!ppos) {
1305 pos = in.file->f_pos;
1306 } else {
1307 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001308 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001309 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001310 }
1311 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001312 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001313 goto fput_in;
Linus Torvaldse28cc712006-01-04 16:20:40 -08001314 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001315
Linus Torvalds1da177e2005-04-16 15:20:36 -07001316 /*
1317 * Get output file, and verify that it is ok..
1318 */
1319 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001320 out = fdget(out_fd);
1321 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001322 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001323 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001324 goto fput_out;
1325 retval = -EINVAL;
Al Viro496ad9a2013-01-23 17:07:38 -05001326 in_inode = file_inode(in.file);
1327 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001328 out_pos = out.file->f_pos;
1329 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001330 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001331 goto fput_out;
Linus Torvaldse28cc712006-01-04 16:20:40 -08001332 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001333
Linus Torvalds1da177e2005-04-16 15:20:36 -07001334 if (!max)
1335 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1336
Linus Torvalds1da177e2005-04-16 15:20:36 -07001337 if (unlikely(pos + count > max)) {
1338 retval = -EOVERFLOW;
1339 if (pos >= max)
1340 goto fput_out;
1341 count = max - pos;
1342 }
1343
Jens Axboed96e6e72007-06-11 12:18:52 +02001344 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001345#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001346 /*
1347 * We need to debate whether we can enable this or not. The
1348 * man page documents EAGAIN return for the output at least,
1349 * and the application is arguably buggy if it doesn't expect
1350 * EAGAIN on a non-blocking file descriptor.
1351 */
Al Viro2903ff02012-08-28 12:52:22 -04001352 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001353 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001354#endif
Al Viro50cd2c52013-05-23 20:10:34 -04001355 file_start_write(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001356 retval = do_splice_direct(in.file, &pos, out.file, &out_pos, count, fl);
Al Viro50cd2c52013-05-23 20:10:34 -04001357 file_end_write(out.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001358
1359 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001360 add_rchar(current, retval);
1361 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001362 fsnotify_access(in.file);
1363 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001364 out.file->f_pos = out_pos;
1365 if (ppos)
1366 *ppos = pos;
1367 else
1368 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001369 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001370
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001371 inc_syscr(current);
1372 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001373 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001374 retval = -EOVERFLOW;
1375
1376fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001377 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001378fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001379 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001380out:
1381 return retval;
1382}
1383
Heiko Carstens002c8972009-01-14 14:14:18 +01001384SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001385{
1386 loff_t pos;
1387 off_t off;
1388 ssize_t ret;
1389
1390 if (offset) {
1391 if (unlikely(get_user(off, offset)))
1392 return -EFAULT;
1393 pos = off;
1394 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1395 if (unlikely(put_user(pos, offset)))
1396 return -EFAULT;
1397 return ret;
1398 }
1399
1400 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1401}
1402
Heiko Carstens002c8972009-01-14 14:14:18 +01001403SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001404{
1405 loff_t pos;
1406 ssize_t ret;
1407
1408 if (offset) {
1409 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1410 return -EFAULT;
1411 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1412 if (unlikely(put_user(pos, offset)))
1413 return -EFAULT;
1414 return ret;
1415 }
1416
1417 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1418}
Al Viro19f4fc32013-02-24 02:17:03 -05001419
1420#ifdef CONFIG_COMPAT
1421COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1422 compat_off_t __user *, offset, compat_size_t, count)
1423{
1424 loff_t pos;
1425 off_t off;
1426 ssize_t ret;
1427
1428 if (offset) {
1429 if (unlikely(get_user(off, offset)))
1430 return -EFAULT;
1431 pos = off;
1432 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1433 if (unlikely(put_user(pos, offset)))
1434 return -EFAULT;
1435 return ret;
1436 }
1437
1438 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1439}
1440
1441COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1442 compat_loff_t __user *, offset, compat_size_t, count)
1443{
1444 loff_t pos;
1445 ssize_t ret;
1446
1447 if (offset) {
1448 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1449 return -EFAULT;
1450 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1451 if (unlikely(put_user(pos, offset)))
1452 return -EFAULT;
1453 return ret;
1454 }
1455
1456 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1457}
1458#endif
Zach Brown29732932015-11-10 16:53:30 -05001459
1460/*
1461 * copy_file_range() differs from regular file read and write in that it
1462 * specifically allows return partial success. When it does so is up to
1463 * the copy_file_range method.
1464 */
1465ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1466 struct file *file_out, loff_t pos_out,
1467 size_t len, unsigned int flags)
1468{
1469 struct inode *inode_in = file_inode(file_in);
1470 struct inode *inode_out = file_inode(file_out);
1471 ssize_t ret;
1472
1473 if (flags != 0)
1474 return -EINVAL;
1475
1476 /* copy_file_range allows full ssize_t len, ignoring MAX_RW_COUNT */
1477 ret = rw_verify_area(READ, file_in, &pos_in, len);
1478 if (ret >= 0)
1479 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1480 if (ret < 0)
1481 return ret;
1482
1483 if (!(file_in->f_mode & FMODE_READ) ||
1484 !(file_out->f_mode & FMODE_WRITE) ||
Anna Schumakereac70052015-11-10 16:53:33 -05001485 (file_out->f_flags & O_APPEND))
Zach Brown29732932015-11-10 16:53:30 -05001486 return -EBADF;
1487
1488 /* this could be relaxed once a method supports cross-fs copies */
1489 if (inode_in->i_sb != inode_out->i_sb)
1490 return -EXDEV;
1491
1492 if (len == 0)
1493 return 0;
1494
1495 ret = mnt_want_write_file(file_out);
1496 if (ret)
1497 return ret;
1498
Anna Schumakereac70052015-11-10 16:53:33 -05001499 ret = -EOPNOTSUPP;
1500 if (file_out->f_op->copy_file_range)
1501 ret = file_out->f_op->copy_file_range(file_in, pos_in, file_out,
1502 pos_out, len, flags);
1503 if (ret == -EOPNOTSUPP)
1504 ret = do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1505 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1506
Zach Brown29732932015-11-10 16:53:30 -05001507 if (ret > 0) {
1508 fsnotify_access(file_in);
1509 add_rchar(current, ret);
1510 fsnotify_modify(file_out);
1511 add_wchar(current, ret);
1512 }
1513 inc_syscr(current);
1514 inc_syscw(current);
1515
1516 mnt_drop_write_file(file_out);
1517
1518 return ret;
1519}
1520EXPORT_SYMBOL(vfs_copy_file_range);
1521
1522SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1523 int, fd_out, loff_t __user *, off_out,
1524 size_t, len, unsigned int, flags)
1525{
1526 loff_t pos_in;
1527 loff_t pos_out;
1528 struct fd f_in;
1529 struct fd f_out;
1530 ssize_t ret = -EBADF;
1531
1532 f_in = fdget(fd_in);
1533 if (!f_in.file)
1534 goto out2;
1535
1536 f_out = fdget(fd_out);
1537 if (!f_out.file)
1538 goto out1;
1539
1540 ret = -EFAULT;
1541 if (off_in) {
1542 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1543 goto out;
1544 } else {
1545 pos_in = f_in.file->f_pos;
1546 }
1547
1548 if (off_out) {
1549 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1550 goto out;
1551 } else {
1552 pos_out = f_out.file->f_pos;
1553 }
1554
1555 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1556 flags);
1557 if (ret > 0) {
1558 pos_in += ret;
1559 pos_out += ret;
1560
1561 if (off_in) {
1562 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1563 ret = -EFAULT;
1564 } else {
1565 f_in.file->f_pos = pos_in;
1566 }
1567
1568 if (off_out) {
1569 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1570 ret = -EFAULT;
1571 } else {
1572 f_out.file->f_pos = pos_out;
1573 }
1574 }
1575
1576out:
1577 fdput(f_out);
1578out1:
1579 fdput(f_in);
1580out2:
1581 return ret;
1582}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001583
1584static int clone_verify_area(struct file *file, loff_t pos, u64 len, bool write)
1585{
1586 struct inode *inode = file_inode(file);
1587
1588 if (unlikely(pos < 0))
1589 return -EINVAL;
1590
1591 if (unlikely((loff_t) (pos + len) < 0))
1592 return -EINVAL;
1593
1594 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
1595 loff_t end = len ? pos + len - 1 : OFFSET_MAX;
1596 int retval;
1597
1598 retval = locks_mandatory_area(inode, file, pos, end,
1599 write ? F_WRLCK : F_RDLCK);
1600 if (retval < 0)
1601 return retval;
1602 }
1603
1604 return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
1605}
1606
1607int vfs_clone_file_range(struct file *file_in, loff_t pos_in,
1608 struct file *file_out, loff_t pos_out, u64 len)
1609{
1610 struct inode *inode_in = file_inode(file_in);
1611 struct inode *inode_out = file_inode(file_out);
1612 int ret;
1613
1614 if (inode_in->i_sb != inode_out->i_sb ||
1615 file_in->f_path.mnt != file_out->f_path.mnt)
1616 return -EXDEV;
1617
1618 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1619 return -EISDIR;
1620 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
Darrick J. Wongd79bdd52015-12-19 00:55:52 -08001621 return -EINVAL;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001622
1623 if (!(file_in->f_mode & FMODE_READ) ||
1624 !(file_out->f_mode & FMODE_WRITE) ||
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001625 (file_out->f_flags & O_APPEND))
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001626 return -EBADF;
1627
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001628 if (!file_in->f_op->clone_file_range)
1629 return -EOPNOTSUPP;
1630
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001631 ret = clone_verify_area(file_in, pos_in, len, false);
1632 if (ret)
1633 return ret;
1634
1635 ret = clone_verify_area(file_out, pos_out, len, true);
1636 if (ret)
1637 return ret;
1638
1639 if (pos_in + len > i_size_read(inode_in))
1640 return -EINVAL;
1641
1642 ret = mnt_want_write_file(file_out);
1643 if (ret)
1644 return ret;
1645
1646 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1647 file_out, pos_out, len);
1648 if (!ret) {
1649 fsnotify_access(file_in);
1650 fsnotify_modify(file_out);
1651 }
1652
1653 mnt_drop_write_file(file_out);
1654 return ret;
1655}
1656EXPORT_SYMBOL(vfs_clone_file_range);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001657
1658int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
1659{
1660 struct file_dedupe_range_info *info;
1661 struct inode *src = file_inode(file);
1662 u64 off;
1663 u64 len;
1664 int i;
1665 int ret;
1666 bool is_admin = capable(CAP_SYS_ADMIN);
1667 u16 count = same->dest_count;
1668 struct file *dst_file;
1669 loff_t dst_off;
1670 ssize_t deduped;
1671
1672 if (!(file->f_mode & FMODE_READ))
1673 return -EINVAL;
1674
1675 if (same->reserved1 || same->reserved2)
1676 return -EINVAL;
1677
1678 off = same->src_offset;
1679 len = same->src_length;
1680
1681 ret = -EISDIR;
1682 if (S_ISDIR(src->i_mode))
1683 goto out;
1684
1685 ret = -EINVAL;
1686 if (!S_ISREG(src->i_mode))
1687 goto out;
1688
1689 ret = clone_verify_area(file, off, len, false);
1690 if (ret < 0)
1691 goto out;
1692 ret = 0;
1693
1694 /* pre-format output fields to sane values */
1695 for (i = 0; i < count; i++) {
1696 same->info[i].bytes_deduped = 0ULL;
1697 same->info[i].status = FILE_DEDUPE_RANGE_SAME;
1698 }
1699
1700 for (i = 0, info = same->info; i < count; i++, info++) {
1701 struct inode *dst;
1702 struct fd dst_fd = fdget(info->dest_fd);
1703
1704 dst_file = dst_fd.file;
1705 if (!dst_file) {
1706 info->status = -EBADF;
1707 goto next_loop;
1708 }
1709 dst = file_inode(dst_file);
1710
1711 ret = mnt_want_write_file(dst_file);
1712 if (ret) {
1713 info->status = ret;
1714 goto next_loop;
1715 }
1716
1717 dst_off = info->dest_offset;
1718 ret = clone_verify_area(dst_file, dst_off, len, true);
1719 if (ret < 0) {
1720 info->status = ret;
1721 goto next_file;
1722 }
1723 ret = 0;
1724
1725 if (info->reserved) {
1726 info->status = -EINVAL;
1727 } else if (!(is_admin || (dst_file->f_mode & FMODE_WRITE))) {
1728 info->status = -EINVAL;
1729 } else if (file->f_path.mnt != dst_file->f_path.mnt) {
1730 info->status = -EXDEV;
1731 } else if (S_ISDIR(dst->i_mode)) {
1732 info->status = -EISDIR;
1733 } else if (dst_file->f_op->dedupe_file_range == NULL) {
1734 info->status = -EINVAL;
1735 } else {
1736 deduped = dst_file->f_op->dedupe_file_range(file, off,
1737 len, dst_file,
1738 info->dest_offset);
1739 if (deduped == -EBADE)
1740 info->status = FILE_DEDUPE_RANGE_DIFFERS;
1741 else if (deduped < 0)
1742 info->status = deduped;
1743 else
1744 info->bytes_deduped += deduped;
1745 }
1746
1747next_file:
1748 mnt_drop_write_file(dst_file);
1749next_loop:
1750 fdput(dst_fd);
Darrick J. Wonge62e5602016-01-22 16:58:28 -08001751
1752 if (fatal_signal_pending(current))
1753 goto out;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001754 }
1755
1756out:
1757 return ret;
1758}
1759EXPORT_SYMBOL(vfs_dedupe_file_range);