blob: 3729d8d34797878e7c9e2321c11de896f9f17b7d [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
Linus Torvalds9c225f22014-03-03 09:36:58 -0800305static inline struct fd fdget_pos(int fd)
306{
Al Virobd2a31d2014-03-04 14:54:22 -0500307 return __to_fd(__fdget_pos(fd));
Linus Torvalds9c225f22014-03-03 09:36:58 -0800308}
309
310static inline void fdput_pos(struct fd f)
311{
312 if (f.flags & FDPUT_POS_UNLOCK)
313 mutex_unlock(&f.file->f_pos_lock);
314 fdput(f);
315}
316
Andrew Morton965c8e52012-12-17 15:59:39 -0800317SYSCALL_DEFINE3(lseek, unsigned int, fd, off_t, offset, unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700318{
319 off_t retval;
Linus Torvalds9c225f22014-03-03 09:36:58 -0800320 struct fd f = fdget_pos(fd);
Al Viro2903ff02012-08-28 12:52:22 -0400321 if (!f.file)
322 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700323
324 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800325 if (whence <= SEEK_MAX) {
326 loff_t res = vfs_llseek(f.file, offset, whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700327 retval = res;
328 if (res != (loff_t)retval)
329 retval = -EOVERFLOW; /* LFS: should only happen on 32 bit platforms */
330 }
Linus Torvalds9c225f22014-03-03 09:36:58 -0800331 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700332 return retval;
333}
334
Al Viro561c6732013-02-24 10:52:26 -0500335#ifdef CONFIG_COMPAT
336COMPAT_SYSCALL_DEFINE3(lseek, unsigned int, fd, compat_off_t, offset, unsigned int, whence)
337{
338 return sys_lseek(fd, offset, whence);
339}
340#endif
341
Linus Torvalds1da177e2005-04-16 15:20:36 -0700342#ifdef __ARCH_WANT_SYS_LLSEEK
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100343SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
344 unsigned long, offset_low, loff_t __user *, result,
Andrew Morton965c8e52012-12-17 15:59:39 -0800345 unsigned int, whence)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700346{
347 int retval;
Eric Biggersd7a15f82014-03-16 14:24:08 -0500348 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700349 loff_t offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700350
Al Viro2903ff02012-08-28 12:52:22 -0400351 if (!f.file)
352 return -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700353
354 retval = -EINVAL;
Andrew Morton965c8e52012-12-17 15:59:39 -0800355 if (whence > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700356 goto out_putf;
357
Al Viro2903ff02012-08-28 12:52:22 -0400358 offset = vfs_llseek(f.file, ((loff_t) offset_high << 32) | offset_low,
Andrew Morton965c8e52012-12-17 15:59:39 -0800359 whence);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700360
361 retval = (int)offset;
362 if (offset >= 0) {
363 retval = -EFAULT;
364 if (!copy_to_user(result, &offset, sizeof(offset)))
365 retval = 0;
366 }
367out_putf:
Eric Biggersd7a15f82014-03-16 14:24:08 -0500368 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700369 return retval;
370}
371#endif
372
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100373ssize_t vfs_iter_read(struct file *file, struct iov_iter *iter, loff_t *ppos)
374{
375 struct kiocb kiocb;
376 ssize_t ret;
377
378 if (!file->f_op->read_iter)
379 return -EINVAL;
380
381 init_sync_kiocb(&kiocb, file);
382 kiocb.ki_pos = *ppos;
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100383
384 iter->type |= READ;
385 ret = file->f_op->read_iter(&kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100386 BUG_ON(ret == -EIOCBQUEUED);
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100387 if (ret > 0)
388 *ppos = kiocb.ki_pos;
389 return ret;
390}
391EXPORT_SYMBOL(vfs_iter_read);
392
393ssize_t vfs_iter_write(struct file *file, struct iov_iter *iter, loff_t *ppos)
394{
395 struct kiocb kiocb;
396 ssize_t ret;
397
398 if (!file->f_op->write_iter)
399 return -EINVAL;
400
401 init_sync_kiocb(&kiocb, file);
402 kiocb.ki_pos = *ppos;
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100403
404 iter->type |= WRITE;
405 ret = file->f_op->write_iter(&kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100406 BUG_ON(ret == -EIOCBQUEUED);
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100407 if (ret > 0)
408 *ppos = kiocb.ki_pos;
409 return ret;
410}
411EXPORT_SYMBOL(vfs_iter_write);
412
Linus Torvaldse28cc712006-01-04 16:20:40 -0800413/*
414 * rw_verify_area doesn't like huge counts. We limit
415 * them to something that fits in "int" so that others
416 * won't have to do range checks all the time.
417 */
Al Viro68d70d02013-06-19 15:26:04 +0400418int rw_verify_area(int read_write, struct file *file, const loff_t *ppos, size_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700419{
420 struct inode *inode;
421 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100422 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700423
Al Viro496ad9a2013-01-23 17:07:38 -0500424 inode = file_inode(file);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800425 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100426 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700427 pos = *ppos;
Al Virocccb5a12010-12-17 07:44:05 -0500428 if (unlikely(pos < 0)) {
429 if (!unsigned_offsets(file))
430 return retval;
431 if (count >= -pos) /* both values are in 0..LLONG_MAX */
432 return -EOVERFLOW;
433 } else if (unlikely((loff_t) (pos + count) < 0)) {
434 if (!unsigned_offsets(file))
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700435 return retval;
436 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700437
Jeff Laytonbd61e0a2015-01-16 15:05:55 -0500438 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
Christoph Hellwigacc15572015-12-03 12:59:49 +0100439 retval = locks_mandatory_area(inode, file, pos, pos + count - 1,
440 read_write == READ ? F_RDLCK : F_WRLCK);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800441 if (retval < 0)
442 return retval;
443 }
James Morrisc43e2592008-01-12 22:05:48 +1100444 retval = security_file_permission(file,
445 read_write == READ ? MAY_READ : MAY_WRITE);
446 if (retval)
447 return retval;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800448 return count > MAX_RW_COUNT ? MAX_RW_COUNT : count;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700449}
450
Al Viro5d5d5682015-04-03 15:41:18 -0400451static ssize_t new_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
Al Viro293bc982014-02-11 18:37:41 -0500452{
453 struct iovec iov = { .iov_base = buf, .iov_len = len };
454 struct kiocb kiocb;
455 struct iov_iter iter;
456 ssize_t ret;
457
458 init_sync_kiocb(&kiocb, filp);
459 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500460 iov_iter_init(&iter, READ, &iov, 1, len);
461
462 ret = filp->f_op->read_iter(&kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100463 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500464 *ppos = kiocb.ki_pos;
465 return ret;
466}
467
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200468ssize_t __vfs_read(struct file *file, char __user *buf, size_t count,
469 loff_t *pos)
470{
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200471 if (file->f_op->read)
Al Viro3d04c8a2015-04-03 15:09:18 -0400472 return file->f_op->read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200473 else if (file->f_op->read_iter)
Al Viro3d04c8a2015-04-03 15:09:18 -0400474 return new_sync_read(file, buf, count, pos);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200475 else
Al Viro3d04c8a2015-04-03 15:09:18 -0400476 return -EINVAL;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200477}
Al Viro3d04c8a2015-04-03 15:09:18 -0400478EXPORT_SYMBOL(__vfs_read);
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200479
Linus Torvalds1da177e2005-04-16 15:20:36 -0700480ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
481{
482 ssize_t ret;
483
484 if (!(file->f_mode & FMODE_READ))
485 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500486 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700487 return -EINVAL;
488 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
489 return -EFAULT;
490
491 ret = rw_verify_area(READ, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800492 if (ret >= 0) {
493 count = ret;
Dmitry Kasatkin6fb50322014-11-05 17:01:17 +0200494 ret = __vfs_read(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100495 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500496 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100497 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700498 }
James Morrisc43e2592008-01-12 22:05:48 +1100499 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700500 }
501
502 return ret;
503}
504
505EXPORT_SYMBOL(vfs_read);
506
Al Viro5d5d5682015-04-03 15:41:18 -0400507static 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 -0500508{
509 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
510 struct kiocb kiocb;
511 struct iov_iter iter;
512 ssize_t ret;
513
514 init_sync_kiocb(&kiocb, filp);
515 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500516 iov_iter_init(&iter, WRITE, &iov, 1, len);
517
518 ret = filp->f_op->write_iter(&kiocb, &iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100519 BUG_ON(ret == -EIOCBQUEUED);
Al Virof765b132015-04-06 20:50:38 -0400520 if (ret > 0)
521 *ppos = kiocb.ki_pos;
Al Viro293bc982014-02-11 18:37:41 -0500522 return ret;
523}
524
Al Viro493c84c2015-04-03 15:06:43 -0400525ssize_t __vfs_write(struct file *file, const char __user *p, size_t count,
526 loff_t *pos)
527{
528 if (file->f_op->write)
529 return file->f_op->write(file, p, count, pos);
Al Viro493c84c2015-04-03 15:06:43 -0400530 else if (file->f_op->write_iter)
531 return new_sync_write(file, p, count, pos);
532 else
533 return -EINVAL;
534}
535EXPORT_SYMBOL(__vfs_write);
536
Al Viro06ae43f2013-03-20 13:19:30 -0400537ssize_t __kernel_write(struct file *file, const char *buf, size_t count, loff_t *pos)
538{
539 mm_segment_t old_fs;
540 const char __user *p;
541 ssize_t ret;
542
Al Viro7f7f25e2014-02-11 17:49:24 -0500543 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro3e84f482013-03-27 15:20:30 +0000544 return -EINVAL;
545
Al Viro06ae43f2013-03-20 13:19:30 -0400546 old_fs = get_fs();
547 set_fs(get_ds());
548 p = (__force const char __user *)buf;
549 if (count > MAX_RW_COUNT)
550 count = MAX_RW_COUNT;
Al Viro493c84c2015-04-03 15:06:43 -0400551 ret = __vfs_write(file, p, count, pos);
Al Viro06ae43f2013-03-20 13:19:30 -0400552 set_fs(old_fs);
553 if (ret > 0) {
554 fsnotify_modify(file);
555 add_wchar(current, ret);
556 }
557 inc_syscw(current);
558 return ret;
559}
560
Al Viro2ec3a122014-08-19 11:48:09 -0400561EXPORT_SYMBOL(__kernel_write);
562
Linus Torvalds1da177e2005-04-16 15:20:36 -0700563ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
564{
565 ssize_t ret;
566
567 if (!(file->f_mode & FMODE_WRITE))
568 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500569 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700570 return -EINVAL;
571 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
572 return -EFAULT;
573
574 ret = rw_verify_area(WRITE, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800575 if (ret >= 0) {
576 count = ret;
Al Viro03d95eb2013-03-20 13:04:20 -0400577 file_start_write(file);
Al Viro493c84c2015-04-03 15:06:43 -0400578 ret = __vfs_write(file, buf, count, pos);
James Morrisc43e2592008-01-12 22:05:48 +1100579 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500580 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100581 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700582 }
James Morrisc43e2592008-01-12 22:05:48 +1100583 inc_syscw(current);
Al Viro03d95eb2013-03-20 13:04:20 -0400584 file_end_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700585 }
586
587 return ret;
588}
589
590EXPORT_SYMBOL(vfs_write);
591
592static inline loff_t file_pos_read(struct file *file)
593{
594 return file->f_pos;
595}
596
597static inline void file_pos_write(struct file *file, loff_t pos)
598{
599 file->f_pos = pos;
600}
601
Heiko Carstens3cdad422009-01-14 14:14:22 +0100602SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700603{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800604 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700605 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700606
Al Viro2903ff02012-08-28 12:52:22 -0400607 if (f.file) {
608 loff_t pos = file_pos_read(f.file);
609 ret = vfs_read(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400610 if (ret >= 0)
611 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800612 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700613 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700614 return ret;
615}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700616
Heiko Carstens3cdad422009-01-14 14:14:22 +0100617SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
618 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800620 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700621 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700622
Al Viro2903ff02012-08-28 12:52:22 -0400623 if (f.file) {
624 loff_t pos = file_pos_read(f.file);
625 ret = vfs_write(f.file, buf, count, &pos);
Al Viro5faf1532013-06-15 05:49:36 +0400626 if (ret >= 0)
627 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800628 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700629 }
630
631 return ret;
632}
633
Al Viro4a0fd5b2013-01-21 15:16:58 -0500634SYSCALL_DEFINE4(pread64, unsigned int, fd, char __user *, buf,
635 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700636{
Al Viro2903ff02012-08-28 12:52:22 -0400637 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700639
640 if (pos < 0)
641 return -EINVAL;
642
Al Viro2903ff02012-08-28 12:52:22 -0400643 f = fdget(fd);
644 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700645 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400646 if (f.file->f_mode & FMODE_PREAD)
647 ret = vfs_read(f.file, buf, count, &pos);
648 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700649 }
650
651 return ret;
652}
653
Al Viro4a0fd5b2013-01-21 15:16:58 -0500654SYSCALL_DEFINE4(pwrite64, unsigned int, fd, const char __user *, buf,
655 size_t, count, loff_t, pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700656{
Al Viro2903ff02012-08-28 12:52:22 -0400657 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700658 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700659
660 if (pos < 0)
661 return -EINVAL;
662
Al Viro2903ff02012-08-28 12:52:22 -0400663 f = fdget(fd);
664 if (f.file) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700665 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400666 if (f.file->f_mode & FMODE_PWRITE)
667 ret = vfs_write(f.file, buf, count, &pos);
668 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700669 }
670
671 return ret;
672}
673
674/*
675 * Reduce an iovec's length in-place. Return the resulting number of segments
676 */
677unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
678{
679 unsigned long seg = 0;
680 size_t len = 0;
681
682 while (seg < nr_segs) {
683 seg++;
684 if (len + iov->iov_len >= to) {
685 iov->iov_len = to - len;
686 break;
687 }
688 len += iov->iov_len;
689 iov++;
690 }
691 return seg;
692}
Eric Sandeen19295522008-01-28 23:58:27 -0500693EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700694
Al Viroac15ac02015-03-20 20:10:21 -0400695static ssize_t do_iter_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100696 loff_t *ppos, iter_fn_t fn, int flags)
Al Viro293bc982014-02-11 18:37:41 -0500697{
698 struct kiocb kiocb;
Al Viro293bc982014-02-11 18:37:41 -0500699 ssize_t ret;
700
Christoph Hellwige864f392016-04-07 08:52:03 -0700701 if (flags & ~(RWF_HIPRI | RWF_DSYNC | RWF_SYNC))
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100702 return -EOPNOTSUPP;
703
Al Viro293bc982014-02-11 18:37:41 -0500704 init_sync_kiocb(&kiocb, filp);
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100705 if (flags & RWF_HIPRI)
706 kiocb.ki_flags |= IOCB_HIPRI;
Christoph Hellwige864f392016-04-07 08:52:03 -0700707 if (flags & RWF_DSYNC)
708 kiocb.ki_flags |= IOCB_DSYNC;
709 if (flags & RWF_SYNC)
710 kiocb.ki_flags |= (IOCB_DSYNC | IOCB_SYNC);
Al Viro293bc982014-02-11 18:37:41 -0500711 kiocb.ki_pos = *ppos;
Al Viro293bc982014-02-11 18:37:41 -0500712
Al Viroac15ac02015-03-20 20:10:21 -0400713 ret = fn(&kiocb, iter);
Christoph Hellwig599bd192015-02-11 19:59:44 +0100714 BUG_ON(ret == -EIOCBQUEUED);
Al Viro293bc982014-02-11 18:37:41 -0500715 *ppos = kiocb.ki_pos;
716 return ret;
717}
718
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700719/* Do it by hand, with file-ops */
Al Viroac15ac02015-03-20 20:10:21 -0400720static ssize_t do_loop_readv_writev(struct file *filp, struct iov_iter *iter,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100721 loff_t *ppos, io_fn_t fn, int flags)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700722{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700723 ssize_t ret = 0;
724
Christoph Hellwig97be7eb2016-03-03 16:04:01 +0100725 if (flags & ~RWF_HIPRI)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100726 return -EOPNOTSUPP;
727
Al Viroac15ac02015-03-20 20:10:21 -0400728 while (iov_iter_count(iter)) {
729 struct iovec iovec = iov_iter_iovec(iter);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700730 ssize_t nr;
731
Al Viroac15ac02015-03-20 20:10:21 -0400732 nr = fn(filp, iovec.iov_base, iovec.iov_len, ppos);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700733
734 if (nr < 0) {
735 if (!ret)
736 ret = nr;
737 break;
738 }
739 ret += nr;
Al Viroac15ac02015-03-20 20:10:21 -0400740 if (nr != iovec.iov_len)
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700741 break;
Al Viroac15ac02015-03-20 20:10:21 -0400742 iov_iter_advance(iter, nr);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700743 }
744
745 return ret;
746}
747
Linus Torvalds1da177e2005-04-16 15:20:36 -0700748/* A write operation does a read from user space and vice versa */
749#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
750
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700751ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
752 unsigned long nr_segs, unsigned long fast_segs,
753 struct iovec *fast_pointer,
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700754 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700755{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700756 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700757 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700758 struct iovec *iov = fast_pointer;
759
Linus Torvalds435f49a2010-10-29 10:36:49 -0700760 /*
761 * SuS says "The readv() function *may* fail if the iovcnt argument
762 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
763 * traditionally returned zero for zero segments, so...
764 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700765 if (nr_segs == 0) {
766 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700767 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700768 }
769
Linus Torvalds435f49a2010-10-29 10:36:49 -0700770 /*
771 * First get the "struct iovec" from user memory and
772 * verify all the pointers
773 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700774 if (nr_segs > UIO_MAXIOV) {
775 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700776 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700777 }
778 if (nr_segs > fast_segs) {
Linus Torvalds435f49a2010-10-29 10:36:49 -0700779 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700780 if (iov == NULL) {
781 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700782 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700783 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700784 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700785 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
786 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700787 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700788 }
789
Linus Torvalds435f49a2010-10-29 10:36:49 -0700790 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700791 * According to the Single Unix Specification we should return EINVAL
792 * if an element length is < 0 when cast to ssize_t or if the
793 * total length would overflow the ssize_t return value of the
794 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700795 *
796 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
797 * overflow case.
798 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700799 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700800 for (seg = 0; seg < nr_segs; seg++) {
801 void __user *buf = iov[seg].iov_base;
802 ssize_t len = (ssize_t)iov[seg].iov_len;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700803
804 /* see if we we're about to use an invalid len or if
805 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700806 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700807 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700808 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700809 }
Christopher Yeohac34ebb2012-05-31 16:26:42 -0700810 if (type >= 0
Christopher Yeohfcf63402011-10-31 17:06:39 -0700811 && unlikely(!access_ok(vrfy_dir(type), buf, len))) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700812 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700813 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700814 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700815 if (len > MAX_RW_COUNT - ret) {
816 len = MAX_RW_COUNT - ret;
817 iov[seg].iov_len = len;
818 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700819 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700820 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700821out:
822 *ret_pointer = iov;
823 return ret;
824}
825
Linus Torvalds1da177e2005-04-16 15:20:36 -0700826static ssize_t do_readv_writev(int type, struct file *file,
827 const struct iovec __user * uvector,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100828 unsigned long nr_segs, loff_t *pos,
829 int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700830{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700831 size_t tot_len;
832 struct iovec iovstack[UIO_FASTIOV];
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700833 struct iovec *iov = iovstack;
Al Viroac15ac02015-03-20 20:10:21 -0400834 struct iov_iter iter;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700835 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700836 io_fn_t fn;
Al Viro293bc982014-02-11 18:37:41 -0500837 iter_fn_t iter_fn;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700838
Al Viro0504c072015-03-21 19:40:11 -0400839 ret = import_iovec(type, uvector, nr_segs,
840 ARRAY_SIZE(iovstack), &iov, &iter);
841 if (ret < 0)
842 return ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700843
Al Viro0504c072015-03-21 19:40:11 -0400844 tot_len = iov_iter_count(&iter);
845 if (!tot_len)
846 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700847 ret = rw_verify_area(type, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800848 if (ret < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700849 goto out;
850
Linus Torvalds1da177e2005-04-16 15:20:36 -0700851 if (type == READ) {
852 fn = file->f_op->read;
Al Viro293bc982014-02-11 18:37:41 -0500853 iter_fn = file->f_op->read_iter;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700854 } else {
855 fn = (io_fn_t)file->f_op->write;
Al Viro293bc982014-02-11 18:37:41 -0500856 iter_fn = file->f_op->write_iter;
Al Viro03d95eb2013-03-20 13:04:20 -0400857 file_start_write(file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700858 }
859
Al Viro293bc982014-02-11 18:37:41 -0500860 if (iter_fn)
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100861 ret = do_iter_readv_writev(file, &iter, pos, iter_fn, flags);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700862 else
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100863 ret = do_loop_readv_writev(file, &iter, pos, fn, 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:
Al Viro0504c072015-03-21 19:40:11 -0400869 kfree(iov);
Robert Love0eeca282005-07-12 17:06:03 -0400870 if ((ret + (type == READ)) > 0) {
871 if (type == READ)
Eric Paris2a12a9d2009-12-17 21:24:21 -0500872 fsnotify_access(file);
Robert Love0eeca282005-07-12 17:06:03 -0400873 else
Eric Paris2a12a9d2009-12-17 21:24:21 -0500874 fsnotify_modify(file);
Robert Love0eeca282005-07-12 17:06:03 -0400875 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700876 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700877}
878
879ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100880 unsigned long vlen, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700881{
882 if (!(file->f_mode & FMODE_READ))
883 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500884 if (!(file->f_mode & FMODE_CAN_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700885 return -EINVAL;
886
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100887 return do_readv_writev(READ, file, vec, vlen, pos, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700888}
889
890EXPORT_SYMBOL(vfs_readv);
891
892ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100893 unsigned long vlen, loff_t *pos, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700894{
895 if (!(file->f_mode & FMODE_WRITE))
896 return -EBADF;
Al Viro7f7f25e2014-02-11 17:49:24 -0500897 if (!(file->f_mode & FMODE_CAN_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700898 return -EINVAL;
899
Christoph Hellwig793b80e2016-03-03 16:03:58 +0100900 return do_readv_writev(WRITE, file, vec, vlen, pos, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901}
902
903EXPORT_SYMBOL(vfs_writev);
904
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100905static ssize_t do_readv(unsigned long fd, const struct iovec __user *vec,
906 unsigned long vlen, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700907{
Linus Torvalds9c225f22014-03-03 09:36:58 -0800908 struct fd f = fdget_pos(fd);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700909 ssize_t ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910
Al Viro2903ff02012-08-28 12:52:22 -0400911 if (f.file) {
912 loff_t pos = file_pos_read(f.file);
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100913 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +0400914 if (ret >= 0)
915 file_pos_write(f.file, pos);
Linus Torvalds9c225f22014-03-03 09:36:58 -0800916 fdput_pos(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700917 }
918
919 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800920 add_rchar(current, ret);
921 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700922 return ret;
923}
924
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100925static ssize_t do_writev(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_writev(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_wchar(current, ret);
941 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700942 return ret;
943}
944
Linus Torvalds601cc112009-04-03 08:03:22 -0700945static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700946{
Linus Torvalds601cc112009-04-03 08:03:22 -0700947#define HALF_LONG_BITS (BITS_PER_LONG / 2)
948 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
949}
950
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100951static ssize_t do_preadv(unsigned long fd, const struct iovec __user *vec,
952 unsigned long vlen, loff_t pos, int flags)
Linus Torvalds601cc112009-04-03 08:03:22 -0700953{
Al Viro2903ff02012-08-28 12:52:22 -0400954 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700955 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700956
957 if (pos < 0)
958 return -EINVAL;
959
Al Viro2903ff02012-08-28 12:52:22 -0400960 f = fdget(fd);
961 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700962 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400963 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100964 ret = vfs_readv(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -0400965 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700966 }
967
968 if (ret > 0)
969 add_rchar(current, ret);
970 inc_syscr(current);
971 return ret;
972}
973
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100974static ssize_t do_pwritev(unsigned long fd, const struct iovec __user *vec,
975 unsigned long vlen, loff_t pos, int flags)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700976{
Al Viro2903ff02012-08-28 12:52:22 -0400977 struct fd f;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700978 ssize_t ret = -EBADF;
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700979
980 if (pos < 0)
981 return -EINVAL;
982
Al Viro2903ff02012-08-28 12:52:22 -0400983 f = fdget(fd);
984 if (f.file) {
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700985 ret = -ESPIPE;
Al Viro2903ff02012-08-28 12:52:22 -0400986 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100987 ret = vfs_writev(f.file, vec, vlen, &pos, flags);
Al Viro2903ff02012-08-28 12:52:22 -0400988 fdput(f);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700989 }
990
991 if (ret > 0)
992 add_wchar(current, ret);
993 inc_syscw(current);
994 return ret;
995}
996
Milosz Tanskif17d8b32016-03-03 16:03:59 +0100997SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
998 unsigned long, vlen)
999{
1000 return do_readv(fd, vec, vlen, 0);
1001}
1002
1003SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
1004 unsigned long, vlen)
1005{
1006 return do_writev(fd, vec, vlen, 0);
1007}
1008
1009SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
1010 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
1011{
1012 loff_t pos = pos_from_hilo(pos_h, pos_l);
1013
1014 return do_preadv(fd, vec, vlen, pos, 0);
1015}
1016
1017SYSCALL_DEFINE6(preadv2, unsigned long, fd, const struct iovec __user *, vec,
1018 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h,
1019 int, flags)
1020{
1021 loff_t pos = pos_from_hilo(pos_h, pos_l);
1022
1023 if (pos == -1)
1024 return do_readv(fd, vec, vlen, flags);
1025
1026 return do_preadv(fd, vec, vlen, pos, flags);
1027}
1028
1029SYSCALL_DEFINE5(pwritev, 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_pwritev(fd, vec, vlen, pos, 0);
1035}
1036
1037SYSCALL_DEFINE6(pwritev2, 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_writev(fd, vec, vlen, flags);
1045
1046 return do_pwritev(fd, vec, vlen, pos, flags);
1047}
1048
Al Viro72ec3512013-03-20 10:42:10 -04001049#ifdef CONFIG_COMPAT
1050
1051static ssize_t compat_do_readv_writev(int type, struct file *file,
1052 const struct compat_iovec __user *uvector,
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001053 unsigned long nr_segs, loff_t *pos,
1054 int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001055{
1056 compat_ssize_t tot_len;
1057 struct iovec iovstack[UIO_FASTIOV];
1058 struct iovec *iov = iovstack;
Al Viroac15ac02015-03-20 20:10:21 -04001059 struct iov_iter iter;
Al Viro72ec3512013-03-20 10:42:10 -04001060 ssize_t ret;
1061 io_fn_t fn;
Al Viro293bc982014-02-11 18:37:41 -05001062 iter_fn_t iter_fn;
Al Viro72ec3512013-03-20 10:42:10 -04001063
Al Viro0504c072015-03-21 19:40:11 -04001064 ret = compat_import_iovec(type, uvector, nr_segs,
1065 UIO_FASTIOV, &iov, &iter);
1066 if (ret < 0)
1067 return ret;
Al Viro72ec3512013-03-20 10:42:10 -04001068
Al Viro0504c072015-03-21 19:40:11 -04001069 tot_len = iov_iter_count(&iter);
1070 if (!tot_len)
1071 goto out;
Al Viro72ec3512013-03-20 10:42:10 -04001072 ret = rw_verify_area(type, file, pos, tot_len);
1073 if (ret < 0)
1074 goto out;
1075
Al Viro72ec3512013-03-20 10:42:10 -04001076 if (type == READ) {
1077 fn = file->f_op->read;
Al Viro293bc982014-02-11 18:37:41 -05001078 iter_fn = file->f_op->read_iter;
Al Viro72ec3512013-03-20 10:42:10 -04001079 } else {
1080 fn = (io_fn_t)file->f_op->write;
Al Viro293bc982014-02-11 18:37:41 -05001081 iter_fn = file->f_op->write_iter;
Al Viro03d95eb2013-03-20 13:04:20 -04001082 file_start_write(file);
Al Viro72ec3512013-03-20 10:42:10 -04001083 }
1084
Al Viro293bc982014-02-11 18:37:41 -05001085 if (iter_fn)
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001086 ret = do_iter_readv_writev(file, &iter, pos, iter_fn, flags);
Al Viro03d95eb2013-03-20 13:04:20 -04001087 else
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001088 ret = do_loop_readv_writev(file, &iter, pos, fn, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001089
Al Viro03d95eb2013-03-20 13:04:20 -04001090 if (type != READ)
1091 file_end_write(file);
1092
Al Viro72ec3512013-03-20 10:42:10 -04001093out:
Al Viro0504c072015-03-21 19:40:11 -04001094 kfree(iov);
Al Viro72ec3512013-03-20 10:42:10 -04001095 if ((ret + (type == READ)) > 0) {
1096 if (type == READ)
1097 fsnotify_access(file);
1098 else
1099 fsnotify_modify(file);
1100 }
1101 return ret;
1102}
1103
1104static size_t compat_readv(struct file *file,
1105 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001106 unsigned long vlen, loff_t *pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001107{
1108 ssize_t ret = -EBADF;
1109
1110 if (!(file->f_mode & FMODE_READ))
1111 goto out;
1112
1113 ret = -EINVAL;
Al Viro7f7f25e2014-02-11 17:49:24 -05001114 if (!(file->f_mode & FMODE_CAN_READ))
Al Viro72ec3512013-03-20 10:42:10 -04001115 goto out;
1116
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001117 ret = compat_do_readv_writev(READ, file, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001118
1119out:
1120 if (ret > 0)
1121 add_rchar(current, ret);
1122 inc_syscr(current);
1123 return ret;
1124}
1125
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001126static size_t do_compat_readv(compat_ulong_t fd,
1127 const struct compat_iovec __user *vec,
1128 compat_ulong_t vlen, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001129{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001130 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001131 ssize_t ret;
1132 loff_t pos;
1133
1134 if (!f.file)
1135 return -EBADF;
1136 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001137 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001138 if (ret >= 0)
1139 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001140 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001141 return ret;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001142
Al Viro72ec3512013-03-20 10:42:10 -04001143}
1144
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001145COMPAT_SYSCALL_DEFINE3(readv, compat_ulong_t, fd,
1146 const struct compat_iovec __user *,vec,
1147 compat_ulong_t, vlen)
1148{
1149 return do_compat_readv(fd, vec, vlen, 0);
1150}
1151
1152static long do_compat_preadv64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001153 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001154 unsigned long vlen, loff_t pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001155{
1156 struct fd f;
1157 ssize_t ret;
1158
1159 if (pos < 0)
1160 return -EINVAL;
1161 f = fdget(fd);
1162 if (!f.file)
1163 return -EBADF;
1164 ret = -ESPIPE;
1165 if (f.file->f_mode & FMODE_PREAD)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001166 ret = compat_readv(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001167 fdput(f);
1168 return ret;
1169}
1170
Heiko Carstens378a10f2014-03-05 10:43:51 +01001171#ifdef __ARCH_WANT_COMPAT_SYS_PREADV64
1172COMPAT_SYSCALL_DEFINE4(preadv64, unsigned long, fd,
1173 const struct compat_iovec __user *,vec,
1174 unsigned long, vlen, loff_t, pos)
1175{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001176 return do_compat_preadv64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001177}
1178#endif
1179
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001180COMPAT_SYSCALL_DEFINE5(preadv, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001181 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001182 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001183{
1184 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001185
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001186 return do_compat_preadv64(fd, vec, vlen, pos, 0);
1187}
1188
1189COMPAT_SYSCALL_DEFINE6(preadv2, compat_ulong_t, fd,
1190 const struct compat_iovec __user *,vec,
1191 compat_ulong_t, vlen, u32, pos_low, u32, pos_high,
1192 int, flags)
1193{
1194 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1195
1196 if (pos == -1)
1197 return do_compat_readv(fd, vec, vlen, flags);
1198
1199 return do_compat_preadv64(fd, vec, vlen, pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001200}
1201
1202static size_t compat_writev(struct file *file,
1203 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001204 unsigned long vlen, loff_t *pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001205{
1206 ssize_t ret = -EBADF;
1207
1208 if (!(file->f_mode & FMODE_WRITE))
1209 goto out;
1210
1211 ret = -EINVAL;
Al Viro7f7f25e2014-02-11 17:49:24 -05001212 if (!(file->f_mode & FMODE_CAN_WRITE))
Al Viro72ec3512013-03-20 10:42:10 -04001213 goto out;
1214
Christoph Hellwig793b80e2016-03-03 16:03:58 +01001215 ret = compat_do_readv_writev(WRITE, file, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001216
1217out:
1218 if (ret > 0)
1219 add_wchar(current, ret);
1220 inc_syscw(current);
1221 return ret;
1222}
1223
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001224static size_t do_compat_writev(compat_ulong_t fd,
1225 const struct compat_iovec __user* vec,
1226 compat_ulong_t vlen, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001227{
Linus Torvalds9c225f22014-03-03 09:36:58 -08001228 struct fd f = fdget_pos(fd);
Al Viro72ec3512013-03-20 10:42:10 -04001229 ssize_t ret;
1230 loff_t pos;
1231
1232 if (!f.file)
1233 return -EBADF;
1234 pos = f.file->f_pos;
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001235 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro5faf1532013-06-15 05:49:36 +04001236 if (ret >= 0)
1237 f.file->f_pos = pos;
Linus Torvalds9c225f22014-03-03 09:36:58 -08001238 fdput_pos(f);
Al Viro72ec3512013-03-20 10:42:10 -04001239 return ret;
1240}
1241
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001242COMPAT_SYSCALL_DEFINE3(writev, compat_ulong_t, fd,
1243 const struct compat_iovec __user *, vec,
1244 compat_ulong_t, vlen)
1245{
1246 return do_compat_writev(fd, vec, vlen, 0);
1247}
1248
1249static long do_compat_pwritev64(unsigned long fd,
Heiko Carstens378a10f2014-03-05 10:43:51 +01001250 const struct compat_iovec __user *vec,
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001251 unsigned long vlen, loff_t pos, int flags)
Al Viro72ec3512013-03-20 10:42:10 -04001252{
1253 struct fd f;
1254 ssize_t ret;
1255
1256 if (pos < 0)
1257 return -EINVAL;
1258 f = fdget(fd);
1259 if (!f.file)
1260 return -EBADF;
1261 ret = -ESPIPE;
1262 if (f.file->f_mode & FMODE_PWRITE)
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001263 ret = compat_writev(f.file, vec, vlen, &pos, flags);
Al Viro72ec3512013-03-20 10:42:10 -04001264 fdput(f);
1265 return ret;
1266}
1267
Heiko Carstens378a10f2014-03-05 10:43:51 +01001268#ifdef __ARCH_WANT_COMPAT_SYS_PWRITEV64
1269COMPAT_SYSCALL_DEFINE4(pwritev64, unsigned long, fd,
1270 const struct compat_iovec __user *,vec,
1271 unsigned long, vlen, loff_t, pos)
1272{
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001273 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Heiko Carstens378a10f2014-03-05 10:43:51 +01001274}
1275#endif
1276
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001277COMPAT_SYSCALL_DEFINE5(pwritev, compat_ulong_t, fd,
Al Viro72ec3512013-03-20 10:42:10 -04001278 const struct compat_iovec __user *,vec,
Heiko Carstensdfd948e2014-01-29 14:05:44 -08001279 compat_ulong_t, vlen, u32, pos_low, u32, pos_high)
Al Viro72ec3512013-03-20 10:42:10 -04001280{
1281 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
Heiko Carstens378a10f2014-03-05 10:43:51 +01001282
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001283 return do_compat_pwritev64(fd, vec, vlen, pos, 0);
Al Viro72ec3512013-03-20 10:42:10 -04001284}
Milosz Tanskif17d8b32016-03-03 16:03:59 +01001285
1286COMPAT_SYSCALL_DEFINE6(pwritev2, compat_ulong_t, fd,
1287 const struct compat_iovec __user *,vec,
1288 compat_ulong_t, vlen, u32, pos_low, u32, pos_high, int, flags)
1289{
1290 loff_t pos = ((loff_t)pos_high << 32) | pos_low;
1291
1292 if (pos == -1)
1293 return do_compat_writev(fd, vec, vlen, flags);
1294
1295 return do_compat_pwritev64(fd, vec, vlen, pos, flags);
1296}
1297
Al Viro72ec3512013-03-20 10:42:10 -04001298#endif
1299
Al Viro19f4fc32013-02-24 02:17:03 -05001300static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
1301 size_t count, loff_t max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001302{
Al Viro2903ff02012-08-28 12:52:22 -04001303 struct fd in, out;
1304 struct inode *in_inode, *out_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001305 loff_t pos;
Al Viro7995bd22013-06-20 18:58:36 +04001306 loff_t out_pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001307 ssize_t retval;
Al Viro2903ff02012-08-28 12:52:22 -04001308 int fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001309
1310 /*
1311 * Get input file, and verify that it is ok..
1312 */
1313 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001314 in = fdget(in_fd);
1315 if (!in.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001316 goto out;
Al Viro2903ff02012-08-28 12:52:22 -04001317 if (!(in.file->f_mode & FMODE_READ))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001318 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001319 retval = -ESPIPE;
Al Viro7995bd22013-06-20 18:58:36 +04001320 if (!ppos) {
1321 pos = in.file->f_pos;
1322 } else {
1323 pos = *ppos;
Al Viro2903ff02012-08-28 12:52:22 -04001324 if (!(in.file->f_mode & FMODE_PREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001325 goto fput_in;
Al Viro7995bd22013-06-20 18:58:36 +04001326 }
1327 retval = rw_verify_area(READ, in.file, &pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001328 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001329 goto fput_in;
Linus Torvaldse28cc712006-01-04 16:20:40 -08001330 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001331
Linus Torvalds1da177e2005-04-16 15:20:36 -07001332 /*
1333 * Get output file, and verify that it is ok..
1334 */
1335 retval = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001336 out = fdget(out_fd);
1337 if (!out.file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001338 goto fput_in;
Al Viro2903ff02012-08-28 12:52:22 -04001339 if (!(out.file->f_mode & FMODE_WRITE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001340 goto fput_out;
1341 retval = -EINVAL;
Al Viro496ad9a2013-01-23 17:07:38 -05001342 in_inode = file_inode(in.file);
1343 out_inode = file_inode(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001344 out_pos = out.file->f_pos;
1345 retval = rw_verify_area(WRITE, out.file, &out_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -08001346 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001347 goto fput_out;
Linus Torvaldse28cc712006-01-04 16:20:40 -08001348 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001349
Linus Torvalds1da177e2005-04-16 15:20:36 -07001350 if (!max)
1351 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
1352
Linus Torvalds1da177e2005-04-16 15:20:36 -07001353 if (unlikely(pos + count > max)) {
1354 retval = -EOVERFLOW;
1355 if (pos >= max)
1356 goto fput_out;
1357 count = max - pos;
1358 }
1359
Jens Axboed96e6e72007-06-11 12:18:52 +02001360 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001361#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +02001362 /*
1363 * We need to debate whether we can enable this or not. The
1364 * man page documents EAGAIN return for the output at least,
1365 * and the application is arguably buggy if it doesn't expect
1366 * EAGAIN on a non-blocking file descriptor.
1367 */
Al Viro2903ff02012-08-28 12:52:22 -04001368 if (in.file->f_flags & O_NONBLOCK)
Jens Axboed96e6e72007-06-11 12:18:52 +02001369 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +02001370#endif
Al Viro50cd2c52013-05-23 20:10:34 -04001371 file_start_write(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001372 retval = do_splice_direct(in.file, &pos, out.file, &out_pos, count, fl);
Al Viro50cd2c52013-05-23 20:10:34 -04001373 file_end_write(out.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001374
1375 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001376 add_rchar(current, retval);
1377 add_wchar(current, retval);
Scott Wolchoka68c2f12012-12-20 15:05:52 -08001378 fsnotify_access(in.file);
1379 fsnotify_modify(out.file);
Al Viro7995bd22013-06-20 18:58:36 +04001380 out.file->f_pos = out_pos;
1381 if (ppos)
1382 *ppos = pos;
1383 else
1384 in.file->f_pos = pos;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001385 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001386
Alexey Dobriyan4b98d112007-02-10 01:46:45 -08001387 inc_syscr(current);
1388 inc_syscw(current);
Al Viro7995bd22013-06-20 18:58:36 +04001389 if (pos > max)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001390 retval = -EOVERFLOW;
1391
1392fput_out:
Al Viro2903ff02012-08-28 12:52:22 -04001393 fdput(out);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001394fput_in:
Al Viro2903ff02012-08-28 12:52:22 -04001395 fdput(in);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001396out:
1397 return retval;
1398}
1399
Heiko Carstens002c8972009-01-14 14:14:18 +01001400SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001401{
1402 loff_t pos;
1403 off_t off;
1404 ssize_t ret;
1405
1406 if (offset) {
1407 if (unlikely(get_user(off, offset)))
1408 return -EFAULT;
1409 pos = off;
1410 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1411 if (unlikely(put_user(pos, offset)))
1412 return -EFAULT;
1413 return ret;
1414 }
1415
1416 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1417}
1418
Heiko Carstens002c8972009-01-14 14:14:18 +01001419SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001420{
1421 loff_t pos;
1422 ssize_t ret;
1423
1424 if (offset) {
1425 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1426 return -EFAULT;
1427 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1428 if (unlikely(put_user(pos, offset)))
1429 return -EFAULT;
1430 return ret;
1431 }
1432
1433 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1434}
Al Viro19f4fc32013-02-24 02:17:03 -05001435
1436#ifdef CONFIG_COMPAT
1437COMPAT_SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd,
1438 compat_off_t __user *, offset, compat_size_t, count)
1439{
1440 loff_t pos;
1441 off_t off;
1442 ssize_t ret;
1443
1444 if (offset) {
1445 if (unlikely(get_user(off, offset)))
1446 return -EFAULT;
1447 pos = off;
1448 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
1449 if (unlikely(put_user(pos, offset)))
1450 return -EFAULT;
1451 return ret;
1452 }
1453
1454 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1455}
1456
1457COMPAT_SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd,
1458 compat_loff_t __user *, offset, compat_size_t, count)
1459{
1460 loff_t pos;
1461 ssize_t ret;
1462
1463 if (offset) {
1464 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
1465 return -EFAULT;
1466 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
1467 if (unlikely(put_user(pos, offset)))
1468 return -EFAULT;
1469 return ret;
1470 }
1471
1472 return do_sendfile(out_fd, in_fd, NULL, count, 0);
1473}
1474#endif
Zach Brown29732932015-11-10 16:53:30 -05001475
1476/*
1477 * copy_file_range() differs from regular file read and write in that it
1478 * specifically allows return partial success. When it does so is up to
1479 * the copy_file_range method.
1480 */
1481ssize_t vfs_copy_file_range(struct file *file_in, loff_t pos_in,
1482 struct file *file_out, loff_t pos_out,
1483 size_t len, unsigned int flags)
1484{
1485 struct inode *inode_in = file_inode(file_in);
1486 struct inode *inode_out = file_inode(file_out);
1487 ssize_t ret;
1488
1489 if (flags != 0)
1490 return -EINVAL;
1491
1492 /* copy_file_range allows full ssize_t len, ignoring MAX_RW_COUNT */
1493 ret = rw_verify_area(READ, file_in, &pos_in, len);
1494 if (ret >= 0)
1495 ret = rw_verify_area(WRITE, file_out, &pos_out, len);
1496 if (ret < 0)
1497 return ret;
1498
1499 if (!(file_in->f_mode & FMODE_READ) ||
1500 !(file_out->f_mode & FMODE_WRITE) ||
Anna Schumakereac70052015-11-10 16:53:33 -05001501 (file_out->f_flags & O_APPEND))
Zach Brown29732932015-11-10 16:53:30 -05001502 return -EBADF;
1503
1504 /* this could be relaxed once a method supports cross-fs copies */
1505 if (inode_in->i_sb != inode_out->i_sb)
1506 return -EXDEV;
1507
1508 if (len == 0)
1509 return 0;
1510
1511 ret = mnt_want_write_file(file_out);
1512 if (ret)
1513 return ret;
1514
Anna Schumakereac70052015-11-10 16:53:33 -05001515 ret = -EOPNOTSUPP;
1516 if (file_out->f_op->copy_file_range)
1517 ret = file_out->f_op->copy_file_range(file_in, pos_in, file_out,
1518 pos_out, len, flags);
1519 if (ret == -EOPNOTSUPP)
1520 ret = do_splice_direct(file_in, &pos_in, file_out, &pos_out,
1521 len > MAX_RW_COUNT ? MAX_RW_COUNT : len, 0);
1522
Zach Brown29732932015-11-10 16:53:30 -05001523 if (ret > 0) {
1524 fsnotify_access(file_in);
1525 add_rchar(current, ret);
1526 fsnotify_modify(file_out);
1527 add_wchar(current, ret);
1528 }
1529 inc_syscr(current);
1530 inc_syscw(current);
1531
1532 mnt_drop_write_file(file_out);
1533
1534 return ret;
1535}
1536EXPORT_SYMBOL(vfs_copy_file_range);
1537
1538SYSCALL_DEFINE6(copy_file_range, int, fd_in, loff_t __user *, off_in,
1539 int, fd_out, loff_t __user *, off_out,
1540 size_t, len, unsigned int, flags)
1541{
1542 loff_t pos_in;
1543 loff_t pos_out;
1544 struct fd f_in;
1545 struct fd f_out;
1546 ssize_t ret = -EBADF;
1547
1548 f_in = fdget(fd_in);
1549 if (!f_in.file)
1550 goto out2;
1551
1552 f_out = fdget(fd_out);
1553 if (!f_out.file)
1554 goto out1;
1555
1556 ret = -EFAULT;
1557 if (off_in) {
1558 if (copy_from_user(&pos_in, off_in, sizeof(loff_t)))
1559 goto out;
1560 } else {
1561 pos_in = f_in.file->f_pos;
1562 }
1563
1564 if (off_out) {
1565 if (copy_from_user(&pos_out, off_out, sizeof(loff_t)))
1566 goto out;
1567 } else {
1568 pos_out = f_out.file->f_pos;
1569 }
1570
1571 ret = vfs_copy_file_range(f_in.file, pos_in, f_out.file, pos_out, len,
1572 flags);
1573 if (ret > 0) {
1574 pos_in += ret;
1575 pos_out += ret;
1576
1577 if (off_in) {
1578 if (copy_to_user(off_in, &pos_in, sizeof(loff_t)))
1579 ret = -EFAULT;
1580 } else {
1581 f_in.file->f_pos = pos_in;
1582 }
1583
1584 if (off_out) {
1585 if (copy_to_user(off_out, &pos_out, sizeof(loff_t)))
1586 ret = -EFAULT;
1587 } else {
1588 f_out.file->f_pos = pos_out;
1589 }
1590 }
1591
1592out:
1593 fdput(f_out);
1594out1:
1595 fdput(f_in);
1596out2:
1597 return ret;
1598}
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001599
1600static int clone_verify_area(struct file *file, loff_t pos, u64 len, bool write)
1601{
1602 struct inode *inode = file_inode(file);
1603
1604 if (unlikely(pos < 0))
1605 return -EINVAL;
1606
1607 if (unlikely((loff_t) (pos + len) < 0))
1608 return -EINVAL;
1609
1610 if (unlikely(inode->i_flctx && mandatory_lock(inode))) {
1611 loff_t end = len ? pos + len - 1 : OFFSET_MAX;
1612 int retval;
1613
1614 retval = locks_mandatory_area(inode, file, pos, end,
1615 write ? F_WRLCK : F_RDLCK);
1616 if (retval < 0)
1617 return retval;
1618 }
1619
1620 return security_file_permission(file, write ? MAY_WRITE : MAY_READ);
1621}
1622
1623int vfs_clone_file_range(struct file *file_in, loff_t pos_in,
1624 struct file *file_out, loff_t pos_out, u64 len)
1625{
1626 struct inode *inode_in = file_inode(file_in);
1627 struct inode *inode_out = file_inode(file_out);
1628 int ret;
1629
1630 if (inode_in->i_sb != inode_out->i_sb ||
1631 file_in->f_path.mnt != file_out->f_path.mnt)
1632 return -EXDEV;
1633
1634 if (S_ISDIR(inode_in->i_mode) || S_ISDIR(inode_out->i_mode))
1635 return -EISDIR;
1636 if (!S_ISREG(inode_in->i_mode) || !S_ISREG(inode_out->i_mode))
Darrick J. Wongd79bdd52015-12-19 00:55:52 -08001637 return -EINVAL;
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001638
1639 if (!(file_in->f_mode & FMODE_READ) ||
1640 !(file_out->f_mode & FMODE_WRITE) ||
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001641 (file_out->f_flags & O_APPEND))
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001642 return -EBADF;
1643
Christoph Hellwig0fcbf992016-02-26 18:53:12 +01001644 if (!file_in->f_op->clone_file_range)
1645 return -EOPNOTSUPP;
1646
Christoph Hellwig04b38d62015-12-03 12:59:50 +01001647 ret = clone_verify_area(file_in, pos_in, len, false);
1648 if (ret)
1649 return ret;
1650
1651 ret = clone_verify_area(file_out, pos_out, len, true);
1652 if (ret)
1653 return ret;
1654
1655 if (pos_in + len > i_size_read(inode_in))
1656 return -EINVAL;
1657
1658 ret = mnt_want_write_file(file_out);
1659 if (ret)
1660 return ret;
1661
1662 ret = file_in->f_op->clone_file_range(file_in, pos_in,
1663 file_out, pos_out, len);
1664 if (!ret) {
1665 fsnotify_access(file_in);
1666 fsnotify_modify(file_out);
1667 }
1668
1669 mnt_drop_write_file(file_out);
1670 return ret;
1671}
1672EXPORT_SYMBOL(vfs_clone_file_range);
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001673
1674int vfs_dedupe_file_range(struct file *file, struct file_dedupe_range *same)
1675{
1676 struct file_dedupe_range_info *info;
1677 struct inode *src = file_inode(file);
1678 u64 off;
1679 u64 len;
1680 int i;
1681 int ret;
1682 bool is_admin = capable(CAP_SYS_ADMIN);
1683 u16 count = same->dest_count;
1684 struct file *dst_file;
1685 loff_t dst_off;
1686 ssize_t deduped;
1687
1688 if (!(file->f_mode & FMODE_READ))
1689 return -EINVAL;
1690
1691 if (same->reserved1 || same->reserved2)
1692 return -EINVAL;
1693
1694 off = same->src_offset;
1695 len = same->src_length;
1696
1697 ret = -EISDIR;
1698 if (S_ISDIR(src->i_mode))
1699 goto out;
1700
1701 ret = -EINVAL;
1702 if (!S_ISREG(src->i_mode))
1703 goto out;
1704
1705 ret = clone_verify_area(file, off, len, false);
1706 if (ret < 0)
1707 goto out;
1708 ret = 0;
1709
1710 /* pre-format output fields to sane values */
1711 for (i = 0; i < count; i++) {
1712 same->info[i].bytes_deduped = 0ULL;
1713 same->info[i].status = FILE_DEDUPE_RANGE_SAME;
1714 }
1715
1716 for (i = 0, info = same->info; i < count; i++, info++) {
1717 struct inode *dst;
1718 struct fd dst_fd = fdget(info->dest_fd);
1719
1720 dst_file = dst_fd.file;
1721 if (!dst_file) {
1722 info->status = -EBADF;
1723 goto next_loop;
1724 }
1725 dst = file_inode(dst_file);
1726
1727 ret = mnt_want_write_file(dst_file);
1728 if (ret) {
1729 info->status = ret;
1730 goto next_loop;
1731 }
1732
1733 dst_off = info->dest_offset;
1734 ret = clone_verify_area(dst_file, dst_off, len, true);
1735 if (ret < 0) {
1736 info->status = ret;
1737 goto next_file;
1738 }
1739 ret = 0;
1740
1741 if (info->reserved) {
1742 info->status = -EINVAL;
1743 } else if (!(is_admin || (dst_file->f_mode & FMODE_WRITE))) {
1744 info->status = -EINVAL;
1745 } else if (file->f_path.mnt != dst_file->f_path.mnt) {
1746 info->status = -EXDEV;
1747 } else if (S_ISDIR(dst->i_mode)) {
1748 info->status = -EISDIR;
1749 } else if (dst_file->f_op->dedupe_file_range == NULL) {
1750 info->status = -EINVAL;
1751 } else {
1752 deduped = dst_file->f_op->dedupe_file_range(file, off,
1753 len, dst_file,
1754 info->dest_offset);
1755 if (deduped == -EBADE)
1756 info->status = FILE_DEDUPE_RANGE_DIFFERS;
1757 else if (deduped < 0)
1758 info->status = deduped;
1759 else
1760 info->bytes_deduped += deduped;
1761 }
1762
1763next_file:
1764 mnt_drop_write_file(dst_file);
1765next_loop:
1766 fdput(dst_fd);
Darrick J. Wonge62e5602016-01-22 16:58:28 -08001767
1768 if (fatal_signal_pending(current))
1769 goto out;
Darrick J. Wong54dbc152015-12-19 00:55:59 -08001770 }
1771
1772out:
1773 return ret;
1774}
1775EXPORT_SYMBOL(vfs_dedupe_file_range);