blob: 179f1c33ea578481cdc3388d54717089704a51a3 [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>
14#include <linux/module.h>
15#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>
Badari Pulavartyee0b3e62006-09-30 23:28:47 -070018#include "read_write.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070019
20#include <asm/uaccess.h>
21#include <asm/unistd.h>
22
Arjan van de Ven4b6f5d22006-03-28 01:56:42 -080023const struct file_operations generic_ro_fops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -070024 .llseek = generic_file_llseek,
Badari Pulavarty543ade12006-09-30 23:28:48 -070025 .read = do_sync_read,
26 .aio_read = generic_file_aio_read,
Linus Torvalds1da177e2005-04-16 15:20:36 -070027 .mmap = generic_file_readonly_mmap,
Jens Axboe534f2aa2007-06-01 14:52:37 +020028 .splice_read = generic_file_splice_read,
Linus Torvalds1da177e2005-04-16 15:20:36 -070029};
30
31EXPORT_SYMBOL(generic_ro_fops);
32
Al Virocccb5a12010-12-17 07:44:05 -050033static inline int unsigned_offsets(struct file *file)
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070034{
Al Virocccb5a12010-12-17 07:44:05 -050035 return file->f_mode & FMODE_UNSIGNED_OFFSET;
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070036}
37
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020038/**
39 * generic_file_llseek_unlocked - lockless generic llseek implementation
40 * @file: file structure to seek on
41 * @offset: file offset to seek to
42 * @origin: type of seek
43 *
44 * Updates the file offset to the value specified by @offset and @origin.
45 * Locking must be provided by the caller.
46 */
Andi Kleen9465efc2008-06-27 11:05:24 +020047loff_t
48generic_file_llseek_unlocked(struct file *file, loff_t offset, int origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -070049{
Linus Torvalds1da177e2005-04-16 15:20:36 -070050 struct inode *inode = file->f_mapping->host;
51
Linus Torvalds1da177e2005-04-16 15:20:36 -070052 switch (origin) {
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020053 case SEEK_END:
54 offset += inode->i_size;
55 break;
56 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -080057 /*
58 * Here we special-case the lseek(fd, 0, SEEK_CUR)
59 * position-querying operation. Avoid rewriting the "same"
60 * f_pos value back to the file because a concurrent read(),
61 * write() or lseek() might have altered it
62 */
63 if (offset == 0)
64 return file->f_pos;
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020065 offset += file->f_pos;
66 break;
Josef Bacik982d8162011-07-18 13:21:35 -040067 case SEEK_DATA:
68 /*
69 * In the generic case the entire file is data, so as long as
70 * offset isn't at the end of the file then the offset is data.
71 */
72 if (offset >= inode->i_size)
73 return -ENXIO;
74 break;
75 case SEEK_HOLE:
76 /*
77 * There is a virtual hole at the end of the file, so as long as
78 * offset isn't i_size or larger, return i_size.
79 */
80 if (offset >= inode->i_size)
81 return -ENXIO;
82 offset = inode->i_size;
83 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -070084 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020085
Al Virocccb5a12010-12-17 07:44:05 -050086 if (offset < 0 && !unsigned_offsets(file))
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070087 return -EINVAL;
88 if (offset > inode->i_sb->s_maxbytes)
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020089 return -EINVAL;
90
91 /* Special lock needed here? */
92 if (offset != file->f_pos) {
93 file->f_pos = offset;
94 file->f_version = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070095 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020096
97 return offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -070098}
Andi Kleen9465efc2008-06-27 11:05:24 +020099EXPORT_SYMBOL(generic_file_llseek_unlocked);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200101/**
102 * generic_file_llseek - generic llseek implementation for regular files
103 * @file: file structure to seek on
104 * @offset: file offset to seek to
105 * @origin: type of seek
106 *
107 * This is a generic implemenation of ->llseek useable for all normal local
108 * filesystems. It just updates the file offset to the value specified by
109 * @offset and @origin under i_mutex.
110 */
Andi Kleen9465efc2008-06-27 11:05:24 +0200111loff_t generic_file_llseek(struct file *file, loff_t offset, int origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700112{
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200113 loff_t rval;
114
Andi Kleen9465efc2008-06-27 11:05:24 +0200115 mutex_lock(&file->f_dentry->d_inode->i_mutex);
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200116 rval = generic_file_llseek_unlocked(file, offset, origin);
Andi Kleen9465efc2008-06-27 11:05:24 +0200117 mutex_unlock(&file->f_dentry->d_inode->i_mutex);
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200118
119 return rval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120}
Andi Kleen9465efc2008-06-27 11:05:24 +0200121EXPORT_SYMBOL(generic_file_llseek);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122
jan Blunckae6afc32010-05-26 14:44:48 -0700123/**
124 * noop_llseek - No Operation Performed llseek implementation
125 * @file: file structure to seek on
126 * @offset: file offset to seek to
127 * @origin: type of seek
128 *
129 * This is an implementation of ->llseek useable for the rare special case when
130 * userspace expects the seek to succeed but the (device) file is actually not
131 * able to perform the seek. In this case you use noop_llseek() instead of
132 * falling back to the default implementation of ->llseek.
133 */
134loff_t noop_llseek(struct file *file, loff_t offset, int origin)
135{
136 return file->f_pos;
137}
138EXPORT_SYMBOL(noop_llseek);
139
Linus Torvalds1da177e2005-04-16 15:20:36 -0700140loff_t no_llseek(struct file *file, loff_t offset, int origin)
141{
142 return -ESPIPE;
143}
144EXPORT_SYMBOL(no_llseek);
145
146loff_t default_llseek(struct file *file, loff_t offset, int origin)
147{
Josef Bacik982d8162011-07-18 13:21:35 -0400148 struct inode *inode = file->f_path.dentry->d_inode;
David Sterba16abef02008-04-22 15:09:22 +0200149 loff_t retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700150
Josef Bacik982d8162011-07-18 13:21:35 -0400151 mutex_lock(&inode->i_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700152 switch (origin) {
Chris Snook7b8e8922007-05-08 00:24:13 -0700153 case SEEK_END:
Josef Bacik982d8162011-07-18 13:21:35 -0400154 offset += i_size_read(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700155 break;
Chris Snook7b8e8922007-05-08 00:24:13 -0700156 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800157 if (offset == 0) {
158 retval = file->f_pos;
159 goto out;
160 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700161 offset += file->f_pos;
Josef Bacik982d8162011-07-18 13:21:35 -0400162 break;
163 case SEEK_DATA:
164 /*
165 * In the generic case the entire file is data, so as
166 * long as offset isn't at the end of the file then the
167 * offset is data.
168 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300169 if (offset >= inode->i_size) {
170 retval = -ENXIO;
171 goto out;
172 }
Josef Bacik982d8162011-07-18 13:21:35 -0400173 break;
174 case SEEK_HOLE:
175 /*
176 * There is a virtual hole at the end of the file, so
177 * as long as offset isn't i_size or larger, return
178 * i_size.
179 */
Dan Carpenterbacb2d82011-07-26 17:25:20 +0300180 if (offset >= inode->i_size) {
181 retval = -ENXIO;
182 goto out;
183 }
Josef Bacik982d8162011-07-18 13:21:35 -0400184 offset = inode->i_size;
185 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700186 }
187 retval = -EINVAL;
Al Virocccb5a12010-12-17 07:44:05 -0500188 if (offset >= 0 || unsigned_offsets(file)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700189 if (offset != file->f_pos) {
190 file->f_pos = offset;
191 file->f_version = 0;
192 }
193 retval = offset;
194 }
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800195out:
Josef Bacik982d8162011-07-18 13:21:35 -0400196 mutex_unlock(&inode->i_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700197 return retval;
198}
199EXPORT_SYMBOL(default_llseek);
200
201loff_t vfs_llseek(struct file *file, loff_t offset, int origin)
202{
203 loff_t (*fn)(struct file *, loff_t, int);
204
205 fn = no_llseek;
206 if (file->f_mode & FMODE_LSEEK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700207 if (file->f_op && file->f_op->llseek)
208 fn = file->f_op->llseek;
209 }
210 return fn(file, offset, origin);
211}
212EXPORT_SYMBOL(vfs_llseek);
213
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100214SYSCALL_DEFINE3(lseek, unsigned int, fd, off_t, offset, unsigned int, origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700215{
216 off_t retval;
217 struct file * file;
218 int fput_needed;
219
220 retval = -EBADF;
221 file = fget_light(fd, &fput_needed);
222 if (!file)
223 goto bad;
224
225 retval = -EINVAL;
Chris Snook1ae70752007-05-08 00:24:15 -0700226 if (origin <= SEEK_MAX) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700227 loff_t res = vfs_llseek(file, offset, origin);
228 retval = res;
229 if (res != (loff_t)retval)
230 retval = -EOVERFLOW; /* LFS: should only happen on 32 bit platforms */
231 }
232 fput_light(file, fput_needed);
233bad:
234 return retval;
235}
236
237#ifdef __ARCH_WANT_SYS_LLSEEK
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100238SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
239 unsigned long, offset_low, loff_t __user *, result,
240 unsigned int, origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700241{
242 int retval;
243 struct file * file;
244 loff_t offset;
245 int fput_needed;
246
247 retval = -EBADF;
248 file = fget_light(fd, &fput_needed);
249 if (!file)
250 goto bad;
251
252 retval = -EINVAL;
Chris Snook1ae70752007-05-08 00:24:15 -0700253 if (origin > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700254 goto out_putf;
255
256 offset = vfs_llseek(file, ((loff_t) offset_high << 32) | offset_low,
257 origin);
258
259 retval = (int)offset;
260 if (offset >= 0) {
261 retval = -EFAULT;
262 if (!copy_to_user(result, &offset, sizeof(offset)))
263 retval = 0;
264 }
265out_putf:
266 fput_light(file, fput_needed);
267bad:
268 return retval;
269}
270#endif
271
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700272
Linus Torvaldse28cc712006-01-04 16:20:40 -0800273/*
274 * rw_verify_area doesn't like huge counts. We limit
275 * them to something that fits in "int" so that others
276 * won't have to do range checks all the time.
277 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700278int rw_verify_area(int read_write, struct file *file, loff_t *ppos, size_t count)
279{
280 struct inode *inode;
281 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100282 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700283
Eric Dumazet163da952007-02-12 00:52:24 -0800284 inode = file->f_path.dentry->d_inode;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800285 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100286 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287 pos = *ppos;
Al Virocccb5a12010-12-17 07:44:05 -0500288 if (unlikely(pos < 0)) {
289 if (!unsigned_offsets(file))
290 return retval;
291 if (count >= -pos) /* both values are in 0..LLONG_MAX */
292 return -EOVERFLOW;
293 } else if (unlikely((loff_t) (pos + count) < 0)) {
294 if (!unsigned_offsets(file))
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700295 return retval;
296 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700297
Pavel Emelyanova16877c2007-10-01 14:41:11 -0700298 if (unlikely(inode->i_flock && mandatory_lock(inode))) {
James Morrisc43e2592008-01-12 22:05:48 +1100299 retval = locks_mandatory_area(
Linus Torvaldse28cc712006-01-04 16:20:40 -0800300 read_write == READ ? FLOCK_VERIFY_READ : FLOCK_VERIFY_WRITE,
301 inode, file, pos, count);
302 if (retval < 0)
303 return retval;
304 }
James Morrisc43e2592008-01-12 22:05:48 +1100305 retval = security_file_permission(file,
306 read_write == READ ? MAY_READ : MAY_WRITE);
307 if (retval)
308 return retval;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800309 return count > MAX_RW_COUNT ? MAX_RW_COUNT : count;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700310}
311
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700312static void wait_on_retry_sync_kiocb(struct kiocb *iocb)
313{
314 set_current_state(TASK_UNINTERRUPTIBLE);
315 if (!kiocbIsKicked(iocb))
316 schedule();
317 else
318 kiocbClearKicked(iocb);
319 __set_current_state(TASK_RUNNING);
320}
321
Linus Torvalds1da177e2005-04-16 15:20:36 -0700322ssize_t do_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
323{
Badari Pulavarty027445c2006-09-30 23:28:46 -0700324 struct iovec iov = { .iov_base = buf, .iov_len = len };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700325 struct kiocb kiocb;
326 ssize_t ret;
327
328 init_sync_kiocb(&kiocb, filp);
329 kiocb.ki_pos = *ppos;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700330 kiocb.ki_left = len;
David Howells61964eb2010-03-24 17:09:19 +0000331 kiocb.ki_nbytes = len;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700332
333 for (;;) {
334 ret = filp->f_op->aio_read(&kiocb, &iov, 1, kiocb.ki_pos);
335 if (ret != -EIOCBRETRY)
336 break;
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700337 wait_on_retry_sync_kiocb(&kiocb);
Badari Pulavarty027445c2006-09-30 23:28:46 -0700338 }
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700339
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340 if (-EIOCBQUEUED == ret)
341 ret = wait_on_sync_kiocb(&kiocb);
342 *ppos = kiocb.ki_pos;
343 return ret;
344}
345
346EXPORT_SYMBOL(do_sync_read);
347
348ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
349{
350 ssize_t ret;
351
352 if (!(file->f_mode & FMODE_READ))
353 return -EBADF;
354 if (!file->f_op || (!file->f_op->read && !file->f_op->aio_read))
355 return -EINVAL;
356 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
357 return -EFAULT;
358
359 ret = rw_verify_area(READ, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800360 if (ret >= 0) {
361 count = ret;
James Morrisc43e2592008-01-12 22:05:48 +1100362 if (file->f_op->read)
363 ret = file->f_op->read(file, buf, count, pos);
364 else
365 ret = do_sync_read(file, buf, count, pos);
366 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500367 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100368 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700369 }
James Morrisc43e2592008-01-12 22:05:48 +1100370 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700371 }
372
373 return ret;
374}
375
376EXPORT_SYMBOL(vfs_read);
377
378ssize_t do_sync_write(struct file *filp, const char __user *buf, size_t len, loff_t *ppos)
379{
Badari Pulavarty027445c2006-09-30 23:28:46 -0700380 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700381 struct kiocb kiocb;
382 ssize_t ret;
383
384 init_sync_kiocb(&kiocb, filp);
385 kiocb.ki_pos = *ppos;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700386 kiocb.ki_left = len;
David Howells61964eb2010-03-24 17:09:19 +0000387 kiocb.ki_nbytes = len;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700388
389 for (;;) {
390 ret = filp->f_op->aio_write(&kiocb, &iov, 1, kiocb.ki_pos);
391 if (ret != -EIOCBRETRY)
392 break;
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700393 wait_on_retry_sync_kiocb(&kiocb);
Badari Pulavarty027445c2006-09-30 23:28:46 -0700394 }
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700395
Linus Torvalds1da177e2005-04-16 15:20:36 -0700396 if (-EIOCBQUEUED == ret)
397 ret = wait_on_sync_kiocb(&kiocb);
398 *ppos = kiocb.ki_pos;
399 return ret;
400}
401
402EXPORT_SYMBOL(do_sync_write);
403
404ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
405{
406 ssize_t ret;
407
408 if (!(file->f_mode & FMODE_WRITE))
409 return -EBADF;
410 if (!file->f_op || (!file->f_op->write && !file->f_op->aio_write))
411 return -EINVAL;
412 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
413 return -EFAULT;
414
415 ret = rw_verify_area(WRITE, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800416 if (ret >= 0) {
417 count = ret;
James Morrisc43e2592008-01-12 22:05:48 +1100418 if (file->f_op->write)
419 ret = file->f_op->write(file, buf, count, pos);
420 else
421 ret = do_sync_write(file, buf, count, pos);
422 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500423 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100424 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700425 }
James Morrisc43e2592008-01-12 22:05:48 +1100426 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700427 }
428
429 return ret;
430}
431
432EXPORT_SYMBOL(vfs_write);
433
434static inline loff_t file_pos_read(struct file *file)
435{
436 return file->f_pos;
437}
438
439static inline void file_pos_write(struct file *file, loff_t pos)
440{
441 file->f_pos = pos;
442}
443
Heiko Carstens3cdad422009-01-14 14:14:22 +0100444SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700445{
446 struct file *file;
447 ssize_t ret = -EBADF;
448 int fput_needed;
449
450 file = fget_light(fd, &fput_needed);
451 if (file) {
452 loff_t pos = file_pos_read(file);
453 ret = vfs_read(file, buf, count, &pos);
454 file_pos_write(file, pos);
455 fput_light(file, fput_needed);
456 }
457
458 return ret;
459}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700460
Heiko Carstens3cdad422009-01-14 14:14:22 +0100461SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
462 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700463{
464 struct file *file;
465 ssize_t ret = -EBADF;
466 int fput_needed;
467
468 file = fget_light(fd, &fput_needed);
469 if (file) {
470 loff_t pos = file_pos_read(file);
471 ret = vfs_write(file, buf, count, &pos);
472 file_pos_write(file, pos);
473 fput_light(file, fput_needed);
474 }
475
476 return ret;
477}
478
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100479SYSCALL_DEFINE(pread64)(unsigned int fd, char __user *buf,
480 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700481{
482 struct file *file;
483 ssize_t ret = -EBADF;
484 int fput_needed;
485
486 if (pos < 0)
487 return -EINVAL;
488
489 file = fget_light(fd, &fput_needed);
490 if (file) {
491 ret = -ESPIPE;
492 if (file->f_mode & FMODE_PREAD)
493 ret = vfs_read(file, buf, count, &pos);
494 fput_light(file, fput_needed);
495 }
496
497 return ret;
498}
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100499#ifdef CONFIG_HAVE_SYSCALL_WRAPPERS
500asmlinkage long SyS_pread64(long fd, long buf, long count, loff_t pos)
501{
502 return SYSC_pread64((unsigned int) fd, (char __user *) buf,
503 (size_t) count, pos);
504}
505SYSCALL_ALIAS(sys_pread64, SyS_pread64);
506#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700507
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100508SYSCALL_DEFINE(pwrite64)(unsigned int fd, const char __user *buf,
509 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700510{
511 struct file *file;
512 ssize_t ret = -EBADF;
513 int fput_needed;
514
515 if (pos < 0)
516 return -EINVAL;
517
518 file = fget_light(fd, &fput_needed);
519 if (file) {
520 ret = -ESPIPE;
521 if (file->f_mode & FMODE_PWRITE)
522 ret = vfs_write(file, buf, count, &pos);
523 fput_light(file, fput_needed);
524 }
525
526 return ret;
527}
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100528#ifdef CONFIG_HAVE_SYSCALL_WRAPPERS
529asmlinkage long SyS_pwrite64(long fd, long buf, long count, loff_t pos)
530{
531 return SYSC_pwrite64((unsigned int) fd, (const char __user *) buf,
532 (size_t) count, pos);
533}
534SYSCALL_ALIAS(sys_pwrite64, SyS_pwrite64);
535#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700536
537/*
538 * Reduce an iovec's length in-place. Return the resulting number of segments
539 */
540unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
541{
542 unsigned long seg = 0;
543 size_t len = 0;
544
545 while (seg < nr_segs) {
546 seg++;
547 if (len + iov->iov_len >= to) {
548 iov->iov_len = to - len;
549 break;
550 }
551 len += iov->iov_len;
552 iov++;
553 }
554 return seg;
555}
Eric Sandeen19295522008-01-28 23:58:27 -0500556EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700557
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700558ssize_t do_sync_readv_writev(struct file *filp, const struct iovec *iov,
559 unsigned long nr_segs, size_t len, loff_t *ppos, iov_fn_t fn)
560{
561 struct kiocb kiocb;
562 ssize_t ret;
563
564 init_sync_kiocb(&kiocb, filp);
565 kiocb.ki_pos = *ppos;
566 kiocb.ki_left = len;
567 kiocb.ki_nbytes = len;
568
569 for (;;) {
570 ret = fn(&kiocb, iov, nr_segs, kiocb.ki_pos);
571 if (ret != -EIOCBRETRY)
572 break;
573 wait_on_retry_sync_kiocb(&kiocb);
574 }
575
576 if (ret == -EIOCBQUEUED)
577 ret = wait_on_sync_kiocb(&kiocb);
578 *ppos = kiocb.ki_pos;
579 return ret;
580}
581
582/* Do it by hand, with file-ops */
583ssize_t do_loop_readv_writev(struct file *filp, struct iovec *iov,
584 unsigned long nr_segs, loff_t *ppos, io_fn_t fn)
585{
586 struct iovec *vector = iov;
587 ssize_t ret = 0;
588
589 while (nr_segs > 0) {
590 void __user *base;
591 size_t len;
592 ssize_t nr;
593
594 base = vector->iov_base;
595 len = vector->iov_len;
596 vector++;
597 nr_segs--;
598
599 nr = fn(filp, base, len, ppos);
600
601 if (nr < 0) {
602 if (!ret)
603 ret = nr;
604 break;
605 }
606 ret += nr;
607 if (nr != len)
608 break;
609 }
610
611 return ret;
612}
613
Linus Torvalds1da177e2005-04-16 15:20:36 -0700614/* A write operation does a read from user space and vice versa */
615#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
616
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700617ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
618 unsigned long nr_segs, unsigned long fast_segs,
619 struct iovec *fast_pointer,
620 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700621{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700622 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700623 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700624 struct iovec *iov = fast_pointer;
625
Linus Torvalds435f49a2010-10-29 10:36:49 -0700626 /*
627 * SuS says "The readv() function *may* fail if the iovcnt argument
628 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
629 * traditionally returned zero for zero segments, so...
630 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700631 if (nr_segs == 0) {
632 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700633 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700634 }
635
Linus Torvalds435f49a2010-10-29 10:36:49 -0700636 /*
637 * First get the "struct iovec" from user memory and
638 * verify all the pointers
639 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700640 if (nr_segs > UIO_MAXIOV) {
641 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700642 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700643 }
644 if (nr_segs > fast_segs) {
Linus Torvalds435f49a2010-10-29 10:36:49 -0700645 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700646 if (iov == NULL) {
647 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700648 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700649 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700650 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700651 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
652 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700653 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700654 }
655
Linus Torvalds435f49a2010-10-29 10:36:49 -0700656 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700657 * According to the Single Unix Specification we should return EINVAL
658 * if an element length is < 0 when cast to ssize_t or if the
659 * total length would overflow the ssize_t return value of the
660 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700661 *
662 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
663 * overflow case.
664 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700665 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700666 for (seg = 0; seg < nr_segs; seg++) {
667 void __user *buf = iov[seg].iov_base;
668 ssize_t len = (ssize_t)iov[seg].iov_len;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700669
670 /* see if we we're about to use an invalid len or if
671 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700672 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700673 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700674 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700675 }
676 if (unlikely(!access_ok(vrfy_dir(type), buf, len))) {
677 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700678 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700679 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700680 if (len > MAX_RW_COUNT - ret) {
681 len = MAX_RW_COUNT - ret;
682 iov[seg].iov_len = len;
683 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700684 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700685 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700686out:
687 *ret_pointer = iov;
688 return ret;
689}
690
Linus Torvalds1da177e2005-04-16 15:20:36 -0700691static ssize_t do_readv_writev(int type, struct file *file,
692 const struct iovec __user * uvector,
693 unsigned long nr_segs, loff_t *pos)
694{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695 size_t tot_len;
696 struct iovec iovstack[UIO_FASTIOV];
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700697 struct iovec *iov = iovstack;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700698 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700699 io_fn_t fn;
700 iov_fn_t fnv;
701
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700702 if (!file->f_op) {
703 ret = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700704 goto out;
705 }
706
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700707 ret = rw_copy_check_uvector(type, uvector, nr_segs,
708 ARRAY_SIZE(iovstack), iovstack, &iov);
709 if (ret <= 0)
710 goto out;
711
712 tot_len = ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700713 ret = rw_verify_area(type, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800714 if (ret < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700715 goto out;
716
717 fnv = NULL;
718 if (type == READ) {
719 fn = file->f_op->read;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700720 fnv = file->f_op->aio_read;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700721 } else {
722 fn = (io_fn_t)file->f_op->write;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700723 fnv = file->f_op->aio_write;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700724 }
725
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700726 if (fnv)
727 ret = do_sync_readv_writev(file, iov, nr_segs, tot_len,
728 pos, fnv);
729 else
730 ret = do_loop_readv_writev(file, iov, nr_segs, pos, fn);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700731
Linus Torvalds1da177e2005-04-16 15:20:36 -0700732out:
733 if (iov != iovstack)
734 kfree(iov);
Robert Love0eeca282005-07-12 17:06:03 -0400735 if ((ret + (type == READ)) > 0) {
736 if (type == READ)
Eric Paris2a12a9d2009-12-17 21:24:21 -0500737 fsnotify_access(file);
Robert Love0eeca282005-07-12 17:06:03 -0400738 else
Eric Paris2a12a9d2009-12-17 21:24:21 -0500739 fsnotify_modify(file);
Robert Love0eeca282005-07-12 17:06:03 -0400740 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700741 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700742}
743
744ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
745 unsigned long vlen, loff_t *pos)
746{
747 if (!(file->f_mode & FMODE_READ))
748 return -EBADF;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700749 if (!file->f_op || (!file->f_op->aio_read && !file->f_op->read))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700750 return -EINVAL;
751
752 return do_readv_writev(READ, file, vec, vlen, pos);
753}
754
755EXPORT_SYMBOL(vfs_readv);
756
757ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
758 unsigned long vlen, loff_t *pos)
759{
760 if (!(file->f_mode & FMODE_WRITE))
761 return -EBADF;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700762 if (!file->f_op || (!file->f_op->aio_write && !file->f_op->write))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700763 return -EINVAL;
764
765 return do_readv_writev(WRITE, file, vec, vlen, pos);
766}
767
768EXPORT_SYMBOL(vfs_writev);
769
Heiko Carstens3cdad422009-01-14 14:14:22 +0100770SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
771 unsigned long, vlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700772{
773 struct file *file;
774 ssize_t ret = -EBADF;
775 int fput_needed;
776
777 file = fget_light(fd, &fput_needed);
778 if (file) {
779 loff_t pos = file_pos_read(file);
780 ret = vfs_readv(file, vec, vlen, &pos);
781 file_pos_write(file, pos);
782 fput_light(file, fput_needed);
783 }
784
785 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800786 add_rchar(current, ret);
787 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700788 return ret;
789}
790
Heiko Carstens3cdad422009-01-14 14:14:22 +0100791SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
792 unsigned long, vlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700793{
794 struct file *file;
795 ssize_t ret = -EBADF;
796 int fput_needed;
797
798 file = fget_light(fd, &fput_needed);
799 if (file) {
800 loff_t pos = file_pos_read(file);
801 ret = vfs_writev(file, vec, vlen, &pos);
802 file_pos_write(file, pos);
803 fput_light(file, fput_needed);
804 }
805
806 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800807 add_wchar(current, ret);
808 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700809 return ret;
810}
811
Linus Torvalds601cc112009-04-03 08:03:22 -0700812static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700813{
Linus Torvalds601cc112009-04-03 08:03:22 -0700814#define HALF_LONG_BITS (BITS_PER_LONG / 2)
815 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
816}
817
818SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
819 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
820{
821 loff_t pos = pos_from_hilo(pos_h, pos_l);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700822 struct file *file;
823 ssize_t ret = -EBADF;
824 int fput_needed;
825
826 if (pos < 0)
827 return -EINVAL;
828
829 file = fget_light(fd, &fput_needed);
830 if (file) {
831 ret = -ESPIPE;
832 if (file->f_mode & FMODE_PREAD)
833 ret = vfs_readv(file, vec, vlen, &pos);
834 fput_light(file, fput_needed);
835 }
836
837 if (ret > 0)
838 add_rchar(current, ret);
839 inc_syscr(current);
840 return ret;
841}
842
843SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
Linus Torvalds601cc112009-04-03 08:03:22 -0700844 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700845{
Linus Torvalds601cc112009-04-03 08:03:22 -0700846 loff_t pos = pos_from_hilo(pos_h, pos_l);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700847 struct file *file;
848 ssize_t ret = -EBADF;
849 int fput_needed;
850
851 if (pos < 0)
852 return -EINVAL;
853
854 file = fget_light(fd, &fput_needed);
855 if (file) {
856 ret = -ESPIPE;
857 if (file->f_mode & FMODE_PWRITE)
858 ret = vfs_writev(file, vec, vlen, &pos);
859 fput_light(file, fput_needed);
860 }
861
862 if (ret > 0)
863 add_wchar(current, ret);
864 inc_syscw(current);
865 return ret;
866}
867
Linus Torvalds1da177e2005-04-16 15:20:36 -0700868static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
869 size_t count, loff_t max)
870{
871 struct file * in_file, * out_file;
872 struct inode * in_inode, * out_inode;
873 loff_t pos;
874 ssize_t retval;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200875 int fput_needed_in, fput_needed_out, fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700876
877 /*
878 * Get input file, and verify that it is ok..
879 */
880 retval = -EBADF;
881 in_file = fget_light(in_fd, &fput_needed_in);
882 if (!in_file)
883 goto out;
884 if (!(in_file->f_mode & FMODE_READ))
885 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700886 retval = -ESPIPE;
887 if (!ppos)
888 ppos = &in_file->f_pos;
889 else
890 if (!(in_file->f_mode & FMODE_PREAD))
891 goto fput_in;
892 retval = rw_verify_area(READ, in_file, ppos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800893 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700894 goto fput_in;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800895 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700896
Linus Torvalds1da177e2005-04-16 15:20:36 -0700897 /*
898 * Get output file, and verify that it is ok..
899 */
900 retval = -EBADF;
901 out_file = fget_light(out_fd, &fput_needed_out);
902 if (!out_file)
903 goto fput_in;
904 if (!(out_file->f_mode & FMODE_WRITE))
905 goto fput_out;
906 retval = -EINVAL;
Miklos Szeredi68181732009-05-07 15:37:36 +0200907 in_inode = in_file->f_path.dentry->d_inode;
Josef "Jeff" Sipek0f7fc9e2006-12-08 02:36:35 -0800908 out_inode = out_file->f_path.dentry->d_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700909 retval = rw_verify_area(WRITE, out_file, &out_file->f_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800910 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700911 goto fput_out;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800912 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700913
Linus Torvalds1da177e2005-04-16 15:20:36 -0700914 if (!max)
915 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
916
917 pos = *ppos;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700918 if (unlikely(pos + count > max)) {
919 retval = -EOVERFLOW;
920 if (pos >= max)
921 goto fput_out;
922 count = max - pos;
923 }
924
Jens Axboed96e6e72007-06-11 12:18:52 +0200925 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200926#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +0200927 /*
928 * We need to debate whether we can enable this or not. The
929 * man page documents EAGAIN return for the output at least,
930 * and the application is arguably buggy if it doesn't expect
931 * EAGAIN on a non-blocking file descriptor.
932 */
933 if (in_file->f_flags & O_NONBLOCK)
934 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200935#endif
Jens Axboed96e6e72007-06-11 12:18:52 +0200936 retval = do_splice_direct(in_file, ppos, out_file, count, fl);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700937
938 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800939 add_rchar(current, retval);
940 add_wchar(current, retval);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700941 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700942
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800943 inc_syscr(current);
944 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700945 if (*ppos > max)
946 retval = -EOVERFLOW;
947
948fput_out:
949 fput_light(out_file, fput_needed_out);
950fput_in:
951 fput_light(in_file, fput_needed_in);
952out:
953 return retval;
954}
955
Heiko Carstens002c8972009-01-14 14:14:18 +0100956SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700957{
958 loff_t pos;
959 off_t off;
960 ssize_t ret;
961
962 if (offset) {
963 if (unlikely(get_user(off, offset)))
964 return -EFAULT;
965 pos = off;
966 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
967 if (unlikely(put_user(pos, offset)))
968 return -EFAULT;
969 return ret;
970 }
971
972 return do_sendfile(out_fd, in_fd, NULL, count, 0);
973}
974
Heiko Carstens002c8972009-01-14 14:14:18 +0100975SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700976{
977 loff_t pos;
978 ssize_t ret;
979
980 if (offset) {
981 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
982 return -EFAULT;
983 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
984 if (unlikely(put_user(pos, offset)))
985 return -EFAULT;
986 return ret;
987 }
988
989 return do_sendfile(out_fd, in_fd, NULL, count, 0);
990}