blob: 9cd9d148105d287b55c9f60af4034f300cc6d1af [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>
12#include <linux/smp_lock.h>
Robert Love0eeca282005-07-12 17:06:03 -040013#include <linux/fsnotify.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070014#include <linux/security.h>
15#include <linux/module.h>
16#include <linux/syscalls.h>
Linus Torvaldse28cc712006-01-04 16:20:40 -080017#include <linux/pagemap.h>
Jens Axboed6b29d72007-06-04 09:59:47 +020018#include <linux/splice.h>
Badari Pulavartyee0b3e62006-09-30 23:28:47 -070019#include "read_write.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070020
21#include <asm/uaccess.h>
22#include <asm/unistd.h>
23
Arjan van de Ven4b6f5d22006-03-28 01:56:42 -080024const struct file_operations generic_ro_fops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -070025 .llseek = generic_file_llseek,
Badari Pulavarty543ade12006-09-30 23:28:48 -070026 .read = do_sync_read,
27 .aio_read = generic_file_aio_read,
Linus Torvalds1da177e2005-04-16 15:20:36 -070028 .mmap = generic_file_readonly_mmap,
Jens Axboe534f2aa2007-06-01 14:52:37 +020029 .splice_read = generic_file_splice_read,
Linus Torvalds1da177e2005-04-16 15:20:36 -070030};
31
32EXPORT_SYMBOL(generic_ro_fops);
33
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070034static int
35__negative_fpos_check(struct file *file, loff_t pos, size_t count)
36{
37 /*
38 * pos or pos+count is negative here, check overflow.
39 * too big "count" will be caught in rw_verify_area().
40 */
41 if ((pos < 0) && (pos + count < pos))
42 return -EOVERFLOW;
43 if (file->f_mode & FMODE_UNSIGNED_OFFSET)
44 return 0;
45 return -EINVAL;
46}
47
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020048/**
49 * generic_file_llseek_unlocked - lockless generic llseek implementation
50 * @file: file structure to seek on
51 * @offset: file offset to seek to
52 * @origin: type of seek
53 *
54 * Updates the file offset to the value specified by @offset and @origin.
55 * Locking must be provided by the caller.
56 */
Andi Kleen9465efc2008-06-27 11:05:24 +020057loff_t
58generic_file_llseek_unlocked(struct file *file, loff_t offset, int origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -070059{
Linus Torvalds1da177e2005-04-16 15:20:36 -070060 struct inode *inode = file->f_mapping->host;
61
Linus Torvalds1da177e2005-04-16 15:20:36 -070062 switch (origin) {
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020063 case SEEK_END:
64 offset += inode->i_size;
65 break;
66 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -080067 /*
68 * Here we special-case the lseek(fd, 0, SEEK_CUR)
69 * position-querying operation. Avoid rewriting the "same"
70 * f_pos value back to the file because a concurrent read(),
71 * write() or lseek() might have altered it
72 */
73 if (offset == 0)
74 return file->f_pos;
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020075 offset += file->f_pos;
76 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -070077 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020078
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070079 if (offset < 0 && __negative_fpos_check(file, offset, 0))
80 return -EINVAL;
81 if (offset > inode->i_sb->s_maxbytes)
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020082 return -EINVAL;
83
84 /* Special lock needed here? */
85 if (offset != file->f_pos) {
86 file->f_pos = offset;
87 file->f_version = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070088 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020089
90 return offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -070091}
Andi Kleen9465efc2008-06-27 11:05:24 +020092EXPORT_SYMBOL(generic_file_llseek_unlocked);
Linus Torvalds1da177e2005-04-16 15:20:36 -070093
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020094/**
95 * generic_file_llseek - generic llseek implementation for regular files
96 * @file: file structure to seek on
97 * @offset: file offset to seek to
98 * @origin: type of seek
99 *
100 * This is a generic implemenation of ->llseek useable for all normal local
101 * filesystems. It just updates the file offset to the value specified by
102 * @offset and @origin under i_mutex.
103 */
Andi Kleen9465efc2008-06-27 11:05:24 +0200104loff_t generic_file_llseek(struct file *file, loff_t offset, int origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700105{
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200106 loff_t rval;
107
Andi Kleen9465efc2008-06-27 11:05:24 +0200108 mutex_lock(&file->f_dentry->d_inode->i_mutex);
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200109 rval = generic_file_llseek_unlocked(file, offset, origin);
Andi Kleen9465efc2008-06-27 11:05:24 +0200110 mutex_unlock(&file->f_dentry->d_inode->i_mutex);
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200111
112 return rval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700113}
Andi Kleen9465efc2008-06-27 11:05:24 +0200114EXPORT_SYMBOL(generic_file_llseek);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700115
jan Blunckae6afc32010-05-26 14:44:48 -0700116/**
117 * noop_llseek - No Operation Performed llseek implementation
118 * @file: file structure to seek on
119 * @offset: file offset to seek to
120 * @origin: type of seek
121 *
122 * This is an implementation of ->llseek useable for the rare special case when
123 * userspace expects the seek to succeed but the (device) file is actually not
124 * able to perform the seek. In this case you use noop_llseek() instead of
125 * falling back to the default implementation of ->llseek.
126 */
127loff_t noop_llseek(struct file *file, loff_t offset, int origin)
128{
129 return file->f_pos;
130}
131EXPORT_SYMBOL(noop_llseek);
132
Linus Torvalds1da177e2005-04-16 15:20:36 -0700133loff_t no_llseek(struct file *file, loff_t offset, int origin)
134{
135 return -ESPIPE;
136}
137EXPORT_SYMBOL(no_llseek);
138
139loff_t default_llseek(struct file *file, loff_t offset, int origin)
140{
David Sterba16abef02008-04-22 15:09:22 +0200141 loff_t retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700142
Arnd Bergmannab912612010-07-07 22:55:17 +0200143 mutex_lock(&file->f_dentry->d_inode->i_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700144 switch (origin) {
Chris Snook7b8e8922007-05-08 00:24:13 -0700145 case SEEK_END:
Josef "Jeff" Sipek0f7fc9e2006-12-08 02:36:35 -0800146 offset += i_size_read(file->f_path.dentry->d_inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700147 break;
Chris Snook7b8e8922007-05-08 00:24:13 -0700148 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800149 if (offset == 0) {
150 retval = file->f_pos;
151 goto out;
152 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700153 offset += file->f_pos;
154 }
155 retval = -EINVAL;
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700156 if (offset >= 0 || !__negative_fpos_check(file, offset, 0)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700157 if (offset != file->f_pos) {
158 file->f_pos = offset;
159 file->f_version = 0;
160 }
161 retval = offset;
162 }
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800163out:
Arnd Bergmannab912612010-07-07 22:55:17 +0200164 mutex_unlock(&file->f_dentry->d_inode->i_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700165 return retval;
166}
167EXPORT_SYMBOL(default_llseek);
168
169loff_t vfs_llseek(struct file *file, loff_t offset, int origin)
170{
171 loff_t (*fn)(struct file *, loff_t, int);
172
173 fn = no_llseek;
174 if (file->f_mode & FMODE_LSEEK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700175 if (file->f_op && file->f_op->llseek)
176 fn = file->f_op->llseek;
177 }
178 return fn(file, offset, origin);
179}
180EXPORT_SYMBOL(vfs_llseek);
181
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100182SYSCALL_DEFINE3(lseek, unsigned int, fd, off_t, offset, unsigned int, origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700183{
184 off_t retval;
185 struct file * file;
186 int fput_needed;
187
188 retval = -EBADF;
189 file = fget_light(fd, &fput_needed);
190 if (!file)
191 goto bad;
192
193 retval = -EINVAL;
Chris Snook1ae70752007-05-08 00:24:15 -0700194 if (origin <= SEEK_MAX) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700195 loff_t res = vfs_llseek(file, offset, origin);
196 retval = res;
197 if (res != (loff_t)retval)
198 retval = -EOVERFLOW; /* LFS: should only happen on 32 bit platforms */
199 }
200 fput_light(file, fput_needed);
201bad:
202 return retval;
203}
204
205#ifdef __ARCH_WANT_SYS_LLSEEK
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100206SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
207 unsigned long, offset_low, loff_t __user *, result,
208 unsigned int, origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700209{
210 int retval;
211 struct file * file;
212 loff_t offset;
213 int fput_needed;
214
215 retval = -EBADF;
216 file = fget_light(fd, &fput_needed);
217 if (!file)
218 goto bad;
219
220 retval = -EINVAL;
Chris Snook1ae70752007-05-08 00:24:15 -0700221 if (origin > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700222 goto out_putf;
223
224 offset = vfs_llseek(file, ((loff_t) offset_high << 32) | offset_low,
225 origin);
226
227 retval = (int)offset;
228 if (offset >= 0) {
229 retval = -EFAULT;
230 if (!copy_to_user(result, &offset, sizeof(offset)))
231 retval = 0;
232 }
233out_putf:
234 fput_light(file, fput_needed);
235bad:
236 return retval;
237}
238#endif
239
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700240
Linus Torvaldse28cc712006-01-04 16:20:40 -0800241/*
242 * rw_verify_area doesn't like huge counts. We limit
243 * them to something that fits in "int" so that others
244 * won't have to do range checks all the time.
245 */
246#define MAX_RW_COUNT (INT_MAX & PAGE_CACHE_MASK)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700247
248int rw_verify_area(int read_write, struct file *file, loff_t *ppos, size_t count)
249{
250 struct inode *inode;
251 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100252 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700253
Eric Dumazet163da952007-02-12 00:52:24 -0800254 inode = file->f_path.dentry->d_inode;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800255 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100256 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700257 pos = *ppos;
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700258 if (unlikely((pos < 0) || (loff_t) (pos + count) < 0)) {
259 retval = __negative_fpos_check(file, pos, count);
260 if (retval)
261 return retval;
262 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700263
Pavel Emelyanova16877c2007-10-01 14:41:11 -0700264 if (unlikely(inode->i_flock && mandatory_lock(inode))) {
James Morrisc43e2592008-01-12 22:05:48 +1100265 retval = locks_mandatory_area(
Linus Torvaldse28cc712006-01-04 16:20:40 -0800266 read_write == READ ? FLOCK_VERIFY_READ : FLOCK_VERIFY_WRITE,
267 inode, file, pos, count);
268 if (retval < 0)
269 return retval;
270 }
James Morrisc43e2592008-01-12 22:05:48 +1100271 retval = security_file_permission(file,
272 read_write == READ ? MAY_READ : MAY_WRITE);
273 if (retval)
274 return retval;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800275 return count > MAX_RW_COUNT ? MAX_RW_COUNT : count;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700276}
277
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700278static void wait_on_retry_sync_kiocb(struct kiocb *iocb)
279{
280 set_current_state(TASK_UNINTERRUPTIBLE);
281 if (!kiocbIsKicked(iocb))
282 schedule();
283 else
284 kiocbClearKicked(iocb);
285 __set_current_state(TASK_RUNNING);
286}
287
Linus Torvalds1da177e2005-04-16 15:20:36 -0700288ssize_t do_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
289{
Badari Pulavarty027445c2006-09-30 23:28:46 -0700290 struct iovec iov = { .iov_base = buf, .iov_len = len };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700291 struct kiocb kiocb;
292 ssize_t ret;
293
294 init_sync_kiocb(&kiocb, filp);
295 kiocb.ki_pos = *ppos;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700296 kiocb.ki_left = len;
David Howells61964eb2010-03-24 17:09:19 +0000297 kiocb.ki_nbytes = len;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700298
299 for (;;) {
300 ret = filp->f_op->aio_read(&kiocb, &iov, 1, kiocb.ki_pos);
301 if (ret != -EIOCBRETRY)
302 break;
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700303 wait_on_retry_sync_kiocb(&kiocb);
Badari Pulavarty027445c2006-09-30 23:28:46 -0700304 }
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700305
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306 if (-EIOCBQUEUED == ret)
307 ret = wait_on_sync_kiocb(&kiocb);
308 *ppos = kiocb.ki_pos;
309 return ret;
310}
311
312EXPORT_SYMBOL(do_sync_read);
313
314ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
315{
316 ssize_t ret;
317
318 if (!(file->f_mode & FMODE_READ))
319 return -EBADF;
320 if (!file->f_op || (!file->f_op->read && !file->f_op->aio_read))
321 return -EINVAL;
322 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
323 return -EFAULT;
324
325 ret = rw_verify_area(READ, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800326 if (ret >= 0) {
327 count = ret;
James Morrisc43e2592008-01-12 22:05:48 +1100328 if (file->f_op->read)
329 ret = file->f_op->read(file, buf, count, pos);
330 else
331 ret = do_sync_read(file, buf, count, pos);
332 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500333 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100334 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700335 }
James Morrisc43e2592008-01-12 22:05:48 +1100336 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700337 }
338
339 return ret;
340}
341
342EXPORT_SYMBOL(vfs_read);
343
344ssize_t do_sync_write(struct file *filp, const char __user *buf, size_t len, loff_t *ppos)
345{
Badari Pulavarty027445c2006-09-30 23:28:46 -0700346 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700347 struct kiocb kiocb;
348 ssize_t ret;
349
350 init_sync_kiocb(&kiocb, filp);
351 kiocb.ki_pos = *ppos;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700352 kiocb.ki_left = len;
David Howells61964eb2010-03-24 17:09:19 +0000353 kiocb.ki_nbytes = len;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700354
355 for (;;) {
356 ret = filp->f_op->aio_write(&kiocb, &iov, 1, kiocb.ki_pos);
357 if (ret != -EIOCBRETRY)
358 break;
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700359 wait_on_retry_sync_kiocb(&kiocb);
Badari Pulavarty027445c2006-09-30 23:28:46 -0700360 }
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700361
Linus Torvalds1da177e2005-04-16 15:20:36 -0700362 if (-EIOCBQUEUED == ret)
363 ret = wait_on_sync_kiocb(&kiocb);
364 *ppos = kiocb.ki_pos;
365 return ret;
366}
367
368EXPORT_SYMBOL(do_sync_write);
369
370ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
371{
372 ssize_t ret;
373
374 if (!(file->f_mode & FMODE_WRITE))
375 return -EBADF;
376 if (!file->f_op || (!file->f_op->write && !file->f_op->aio_write))
377 return -EINVAL;
378 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
379 return -EFAULT;
380
381 ret = rw_verify_area(WRITE, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800382 if (ret >= 0) {
383 count = ret;
James Morrisc43e2592008-01-12 22:05:48 +1100384 if (file->f_op->write)
385 ret = file->f_op->write(file, buf, count, pos);
386 else
387 ret = do_sync_write(file, buf, count, pos);
388 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500389 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100390 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700391 }
James Morrisc43e2592008-01-12 22:05:48 +1100392 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700393 }
394
395 return ret;
396}
397
398EXPORT_SYMBOL(vfs_write);
399
400static inline loff_t file_pos_read(struct file *file)
401{
402 return file->f_pos;
403}
404
405static inline void file_pos_write(struct file *file, loff_t pos)
406{
407 file->f_pos = pos;
408}
409
Heiko Carstens3cdad422009-01-14 14:14:22 +0100410SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700411{
412 struct file *file;
413 ssize_t ret = -EBADF;
414 int fput_needed;
415
416 file = fget_light(fd, &fput_needed);
417 if (file) {
418 loff_t pos = file_pos_read(file);
419 ret = vfs_read(file, buf, count, &pos);
420 file_pos_write(file, pos);
421 fput_light(file, fput_needed);
422 }
423
424 return ret;
425}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700426
Heiko Carstens3cdad422009-01-14 14:14:22 +0100427SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
428 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700429{
430 struct file *file;
431 ssize_t ret = -EBADF;
432 int fput_needed;
433
434 file = fget_light(fd, &fput_needed);
435 if (file) {
436 loff_t pos = file_pos_read(file);
437 ret = vfs_write(file, buf, count, &pos);
438 file_pos_write(file, pos);
439 fput_light(file, fput_needed);
440 }
441
442 return ret;
443}
444
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100445SYSCALL_DEFINE(pread64)(unsigned int fd, char __user *buf,
446 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700447{
448 struct file *file;
449 ssize_t ret = -EBADF;
450 int fput_needed;
451
452 if (pos < 0)
453 return -EINVAL;
454
455 file = fget_light(fd, &fput_needed);
456 if (file) {
457 ret = -ESPIPE;
458 if (file->f_mode & FMODE_PREAD)
459 ret = vfs_read(file, buf, count, &pos);
460 fput_light(file, fput_needed);
461 }
462
463 return ret;
464}
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100465#ifdef CONFIG_HAVE_SYSCALL_WRAPPERS
466asmlinkage long SyS_pread64(long fd, long buf, long count, loff_t pos)
467{
468 return SYSC_pread64((unsigned int) fd, (char __user *) buf,
469 (size_t) count, pos);
470}
471SYSCALL_ALIAS(sys_pread64, SyS_pread64);
472#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700473
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100474SYSCALL_DEFINE(pwrite64)(unsigned int fd, const char __user *buf,
475 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476{
477 struct file *file;
478 ssize_t ret = -EBADF;
479 int fput_needed;
480
481 if (pos < 0)
482 return -EINVAL;
483
484 file = fget_light(fd, &fput_needed);
485 if (file) {
486 ret = -ESPIPE;
487 if (file->f_mode & FMODE_PWRITE)
488 ret = vfs_write(file, buf, count, &pos);
489 fput_light(file, fput_needed);
490 }
491
492 return ret;
493}
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100494#ifdef CONFIG_HAVE_SYSCALL_WRAPPERS
495asmlinkage long SyS_pwrite64(long fd, long buf, long count, loff_t pos)
496{
497 return SYSC_pwrite64((unsigned int) fd, (const char __user *) buf,
498 (size_t) count, pos);
499}
500SYSCALL_ALIAS(sys_pwrite64, SyS_pwrite64);
501#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700502
503/*
504 * Reduce an iovec's length in-place. Return the resulting number of segments
505 */
506unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
507{
508 unsigned long seg = 0;
509 size_t len = 0;
510
511 while (seg < nr_segs) {
512 seg++;
513 if (len + iov->iov_len >= to) {
514 iov->iov_len = to - len;
515 break;
516 }
517 len += iov->iov_len;
518 iov++;
519 }
520 return seg;
521}
Eric Sandeen19295522008-01-28 23:58:27 -0500522EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700523
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700524ssize_t do_sync_readv_writev(struct file *filp, const struct iovec *iov,
525 unsigned long nr_segs, size_t len, loff_t *ppos, iov_fn_t fn)
526{
527 struct kiocb kiocb;
528 ssize_t ret;
529
530 init_sync_kiocb(&kiocb, filp);
531 kiocb.ki_pos = *ppos;
532 kiocb.ki_left = len;
533 kiocb.ki_nbytes = len;
534
535 for (;;) {
536 ret = fn(&kiocb, iov, nr_segs, kiocb.ki_pos);
537 if (ret != -EIOCBRETRY)
538 break;
539 wait_on_retry_sync_kiocb(&kiocb);
540 }
541
542 if (ret == -EIOCBQUEUED)
543 ret = wait_on_sync_kiocb(&kiocb);
544 *ppos = kiocb.ki_pos;
545 return ret;
546}
547
548/* Do it by hand, with file-ops */
549ssize_t do_loop_readv_writev(struct file *filp, struct iovec *iov,
550 unsigned long nr_segs, loff_t *ppos, io_fn_t fn)
551{
552 struct iovec *vector = iov;
553 ssize_t ret = 0;
554
555 while (nr_segs > 0) {
556 void __user *base;
557 size_t len;
558 ssize_t nr;
559
560 base = vector->iov_base;
561 len = vector->iov_len;
562 vector++;
563 nr_segs--;
564
565 nr = fn(filp, base, len, ppos);
566
567 if (nr < 0) {
568 if (!ret)
569 ret = nr;
570 break;
571 }
572 ret += nr;
573 if (nr != len)
574 break;
575 }
576
577 return ret;
578}
579
Linus Torvalds1da177e2005-04-16 15:20:36 -0700580/* A write operation does a read from user space and vice versa */
581#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
582
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700583ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
584 unsigned long nr_segs, unsigned long fast_segs,
585 struct iovec *fast_pointer,
586 struct iovec **ret_pointer)
587 {
588 unsigned long seg;
589 ssize_t ret;
590 struct iovec *iov = fast_pointer;
591
592 /*
593 * SuS says "The readv() function *may* fail if the iovcnt argument
594 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
595 * traditionally returned zero for zero segments, so...
596 */
597 if (nr_segs == 0) {
598 ret = 0;
599 goto out;
600 }
601
602 /*
603 * First get the "struct iovec" from user memory and
604 * verify all the pointers
605 */
606 if (nr_segs > UIO_MAXIOV) {
607 ret = -EINVAL;
608 goto out;
609 }
610 if (nr_segs > fast_segs) {
611 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
612 if (iov == NULL) {
613 ret = -ENOMEM;
614 goto out;
615 }
616 }
617 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
618 ret = -EFAULT;
619 goto out;
620 }
621
622 /*
623 * According to the Single Unix Specification we should return EINVAL
624 * if an element length is < 0 when cast to ssize_t or if the
625 * total length would overflow the ssize_t return value of the
626 * system call.
627 */
628 ret = 0;
629 for (seg = 0; seg < nr_segs; seg++) {
630 void __user *buf = iov[seg].iov_base;
631 ssize_t len = (ssize_t)iov[seg].iov_len;
632
633 /* see if we we're about to use an invalid len or if
634 * it's about to overflow ssize_t */
635 if (len < 0 || (ret + len < ret)) {
636 ret = -EINVAL;
637 goto out;
638 }
639 if (unlikely(!access_ok(vrfy_dir(type), buf, len))) {
640 ret = -EFAULT;
641 goto out;
642 }
643
644 ret += len;
645 }
646out:
647 *ret_pointer = iov;
648 return ret;
649}
650
Linus Torvalds1da177e2005-04-16 15:20:36 -0700651static ssize_t do_readv_writev(int type, struct file *file,
652 const struct iovec __user * uvector,
653 unsigned long nr_segs, loff_t *pos)
654{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700655 size_t tot_len;
656 struct iovec iovstack[UIO_FASTIOV];
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700657 struct iovec *iov = iovstack;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700658 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700659 io_fn_t fn;
660 iov_fn_t fnv;
661
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700662 if (!file->f_op) {
663 ret = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700664 goto out;
665 }
666
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700667 ret = rw_copy_check_uvector(type, uvector, nr_segs,
668 ARRAY_SIZE(iovstack), iovstack, &iov);
669 if (ret <= 0)
670 goto out;
671
672 tot_len = ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673 ret = rw_verify_area(type, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800674 if (ret < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700675 goto out;
676
677 fnv = NULL;
678 if (type == READ) {
679 fn = file->f_op->read;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700680 fnv = file->f_op->aio_read;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700681 } else {
682 fn = (io_fn_t)file->f_op->write;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700683 fnv = file->f_op->aio_write;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700684 }
685
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700686 if (fnv)
687 ret = do_sync_readv_writev(file, iov, nr_segs, tot_len,
688 pos, fnv);
689 else
690 ret = do_loop_readv_writev(file, iov, nr_segs, pos, fn);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700691
Linus Torvalds1da177e2005-04-16 15:20:36 -0700692out:
693 if (iov != iovstack)
694 kfree(iov);
Robert Love0eeca282005-07-12 17:06:03 -0400695 if ((ret + (type == READ)) > 0) {
696 if (type == READ)
Eric Paris2a12a9d2009-12-17 21:24:21 -0500697 fsnotify_access(file);
Robert Love0eeca282005-07-12 17:06:03 -0400698 else
Eric Paris2a12a9d2009-12-17 21:24:21 -0500699 fsnotify_modify(file);
Robert Love0eeca282005-07-12 17:06:03 -0400700 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700701 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700702}
703
704ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
705 unsigned long vlen, loff_t *pos)
706{
707 if (!(file->f_mode & FMODE_READ))
708 return -EBADF;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700709 if (!file->f_op || (!file->f_op->aio_read && !file->f_op->read))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700710 return -EINVAL;
711
712 return do_readv_writev(READ, file, vec, vlen, pos);
713}
714
715EXPORT_SYMBOL(vfs_readv);
716
717ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
718 unsigned long vlen, loff_t *pos)
719{
720 if (!(file->f_mode & FMODE_WRITE))
721 return -EBADF;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700722 if (!file->f_op || (!file->f_op->aio_write && !file->f_op->write))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700723 return -EINVAL;
724
725 return do_readv_writev(WRITE, file, vec, vlen, pos);
726}
727
728EXPORT_SYMBOL(vfs_writev);
729
Heiko Carstens3cdad422009-01-14 14:14:22 +0100730SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
731 unsigned long, vlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700732{
733 struct file *file;
734 ssize_t ret = -EBADF;
735 int fput_needed;
736
737 file = fget_light(fd, &fput_needed);
738 if (file) {
739 loff_t pos = file_pos_read(file);
740 ret = vfs_readv(file, vec, vlen, &pos);
741 file_pos_write(file, pos);
742 fput_light(file, fput_needed);
743 }
744
745 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800746 add_rchar(current, ret);
747 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700748 return ret;
749}
750
Heiko Carstens3cdad422009-01-14 14:14:22 +0100751SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
752 unsigned long, vlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700753{
754 struct file *file;
755 ssize_t ret = -EBADF;
756 int fput_needed;
757
758 file = fget_light(fd, &fput_needed);
759 if (file) {
760 loff_t pos = file_pos_read(file);
761 ret = vfs_writev(file, vec, vlen, &pos);
762 file_pos_write(file, pos);
763 fput_light(file, fput_needed);
764 }
765
766 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800767 add_wchar(current, ret);
768 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700769 return ret;
770}
771
Linus Torvalds601cc112009-04-03 08:03:22 -0700772static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700773{
Linus Torvalds601cc112009-04-03 08:03:22 -0700774#define HALF_LONG_BITS (BITS_PER_LONG / 2)
775 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
776}
777
778SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
779 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
780{
781 loff_t pos = pos_from_hilo(pos_h, pos_l);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700782 struct file *file;
783 ssize_t ret = -EBADF;
784 int fput_needed;
785
786 if (pos < 0)
787 return -EINVAL;
788
789 file = fget_light(fd, &fput_needed);
790 if (file) {
791 ret = -ESPIPE;
792 if (file->f_mode & FMODE_PREAD)
793 ret = vfs_readv(file, vec, vlen, &pos);
794 fput_light(file, fput_needed);
795 }
796
797 if (ret > 0)
798 add_rchar(current, ret);
799 inc_syscr(current);
800 return ret;
801}
802
803SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
Linus Torvalds601cc112009-04-03 08:03:22 -0700804 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700805{
Linus Torvalds601cc112009-04-03 08:03:22 -0700806 loff_t pos = pos_from_hilo(pos_h, pos_l);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700807 struct file *file;
808 ssize_t ret = -EBADF;
809 int fput_needed;
810
811 if (pos < 0)
812 return -EINVAL;
813
814 file = fget_light(fd, &fput_needed);
815 if (file) {
816 ret = -ESPIPE;
817 if (file->f_mode & FMODE_PWRITE)
818 ret = vfs_writev(file, vec, vlen, &pos);
819 fput_light(file, fput_needed);
820 }
821
822 if (ret > 0)
823 add_wchar(current, ret);
824 inc_syscw(current);
825 return ret;
826}
827
Linus Torvalds1da177e2005-04-16 15:20:36 -0700828static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
829 size_t count, loff_t max)
830{
831 struct file * in_file, * out_file;
832 struct inode * in_inode, * out_inode;
833 loff_t pos;
834 ssize_t retval;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200835 int fput_needed_in, fput_needed_out, fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700836
837 /*
838 * Get input file, and verify that it is ok..
839 */
840 retval = -EBADF;
841 in_file = fget_light(in_fd, &fput_needed_in);
842 if (!in_file)
843 goto out;
844 if (!(in_file->f_mode & FMODE_READ))
845 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700846 retval = -ESPIPE;
847 if (!ppos)
848 ppos = &in_file->f_pos;
849 else
850 if (!(in_file->f_mode & FMODE_PREAD))
851 goto fput_in;
852 retval = rw_verify_area(READ, in_file, ppos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800853 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700854 goto fput_in;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800855 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700856
Linus Torvalds1da177e2005-04-16 15:20:36 -0700857 /*
858 * Get output file, and verify that it is ok..
859 */
860 retval = -EBADF;
861 out_file = fget_light(out_fd, &fput_needed_out);
862 if (!out_file)
863 goto fput_in;
864 if (!(out_file->f_mode & FMODE_WRITE))
865 goto fput_out;
866 retval = -EINVAL;
Miklos Szeredi68181732009-05-07 15:37:36 +0200867 in_inode = in_file->f_path.dentry->d_inode;
Josef "Jeff" Sipek0f7fc9e2006-12-08 02:36:35 -0800868 out_inode = out_file->f_path.dentry->d_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700869 retval = rw_verify_area(WRITE, out_file, &out_file->f_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800870 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700871 goto fput_out;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800872 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700873
Linus Torvalds1da177e2005-04-16 15:20:36 -0700874 if (!max)
875 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
876
877 pos = *ppos;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700878 if (unlikely(pos + count > max)) {
879 retval = -EOVERFLOW;
880 if (pos >= max)
881 goto fput_out;
882 count = max - pos;
883 }
884
Jens Axboed96e6e72007-06-11 12:18:52 +0200885 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200886#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +0200887 /*
888 * We need to debate whether we can enable this or not. The
889 * man page documents EAGAIN return for the output at least,
890 * and the application is arguably buggy if it doesn't expect
891 * EAGAIN on a non-blocking file descriptor.
892 */
893 if (in_file->f_flags & O_NONBLOCK)
894 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200895#endif
Jens Axboed96e6e72007-06-11 12:18:52 +0200896 retval = do_splice_direct(in_file, ppos, out_file, count, fl);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700897
898 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800899 add_rchar(current, retval);
900 add_wchar(current, retval);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700902
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800903 inc_syscr(current);
904 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700905 if (*ppos > max)
906 retval = -EOVERFLOW;
907
908fput_out:
909 fput_light(out_file, fput_needed_out);
910fput_in:
911 fput_light(in_file, fput_needed_in);
912out:
913 return retval;
914}
915
Heiko Carstens002c8972009-01-14 14:14:18 +0100916SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700917{
918 loff_t pos;
919 off_t off;
920 ssize_t ret;
921
922 if (offset) {
923 if (unlikely(get_user(off, offset)))
924 return -EFAULT;
925 pos = off;
926 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
927 if (unlikely(put_user(pos, offset)))
928 return -EFAULT;
929 return ret;
930 }
931
932 return do_sendfile(out_fd, in_fd, NULL, count, 0);
933}
934
Heiko Carstens002c8972009-01-14 14:14:18 +0100935SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700936{
937 loff_t pos;
938 ssize_t ret;
939
940 if (offset) {
941 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
942 return -EFAULT;
943 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
944 if (unlikely(put_user(pos, offset)))
945 return -EFAULT;
946 return ret;
947 }
948
949 return do_sendfile(out_fd, in_fd, NULL, count, 0);
950}