blob: 5d431bacbea967e7a66755bf9320f20d9f464902 [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
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070033static int
34__negative_fpos_check(struct file *file, loff_t pos, size_t count)
35{
36 /*
37 * pos or pos+count is negative here, check overflow.
38 * too big "count" will be caught in rw_verify_area().
39 */
40 if ((pos < 0) && (pos + count < pos))
41 return -EOVERFLOW;
42 if (file->f_mode & FMODE_UNSIGNED_OFFSET)
43 return 0;
44 return -EINVAL;
45}
46
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020047/**
48 * generic_file_llseek_unlocked - lockless generic llseek implementation
49 * @file: file structure to seek on
50 * @offset: file offset to seek to
51 * @origin: type of seek
52 *
53 * Updates the file offset to the value specified by @offset and @origin.
54 * Locking must be provided by the caller.
55 */
Andi Kleen9465efc2008-06-27 11:05:24 +020056loff_t
57generic_file_llseek_unlocked(struct file *file, loff_t offset, int origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -070058{
Linus Torvalds1da177e2005-04-16 15:20:36 -070059 struct inode *inode = file->f_mapping->host;
60
Linus Torvalds1da177e2005-04-16 15:20:36 -070061 switch (origin) {
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020062 case SEEK_END:
63 offset += inode->i_size;
64 break;
65 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -080066 /*
67 * Here we special-case the lseek(fd, 0, SEEK_CUR)
68 * position-querying operation. Avoid rewriting the "same"
69 * f_pos value back to the file because a concurrent read(),
70 * write() or lseek() might have altered it
71 */
72 if (offset == 0)
73 return file->f_pos;
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020074 offset += file->f_pos;
75 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -070076 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020077
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -070078 if (offset < 0 && __negative_fpos_check(file, offset, 0))
79 return -EINVAL;
80 if (offset > inode->i_sb->s_maxbytes)
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020081 return -EINVAL;
82
83 /* Special lock needed here? */
84 if (offset != file->f_pos) {
85 file->f_pos = offset;
86 file->f_version = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070087 }
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020088
89 return offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -070090}
Andi Kleen9465efc2008-06-27 11:05:24 +020091EXPORT_SYMBOL(generic_file_llseek_unlocked);
Linus Torvalds1da177e2005-04-16 15:20:36 -070092
Christoph Hellwig3a8cff42008-08-11 15:37:17 +020093/**
94 * generic_file_llseek - generic llseek implementation for regular files
95 * @file: file structure to seek on
96 * @offset: file offset to seek to
97 * @origin: type of seek
98 *
99 * This is a generic implemenation of ->llseek useable for all normal local
100 * filesystems. It just updates the file offset to the value specified by
101 * @offset and @origin under i_mutex.
102 */
Andi Kleen9465efc2008-06-27 11:05:24 +0200103loff_t generic_file_llseek(struct file *file, loff_t offset, int origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700104{
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200105 loff_t rval;
106
Andi Kleen9465efc2008-06-27 11:05:24 +0200107 mutex_lock(&file->f_dentry->d_inode->i_mutex);
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200108 rval = generic_file_llseek_unlocked(file, offset, origin);
Andi Kleen9465efc2008-06-27 11:05:24 +0200109 mutex_unlock(&file->f_dentry->d_inode->i_mutex);
Christoph Hellwig3a8cff42008-08-11 15:37:17 +0200110
111 return rval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700112}
Andi Kleen9465efc2008-06-27 11:05:24 +0200113EXPORT_SYMBOL(generic_file_llseek);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114
jan Blunckae6afc32010-05-26 14:44:48 -0700115/**
116 * noop_llseek - No Operation Performed llseek implementation
117 * @file: file structure to seek on
118 * @offset: file offset to seek to
119 * @origin: type of seek
120 *
121 * This is an implementation of ->llseek useable for the rare special case when
122 * userspace expects the seek to succeed but the (device) file is actually not
123 * able to perform the seek. In this case you use noop_llseek() instead of
124 * falling back to the default implementation of ->llseek.
125 */
126loff_t noop_llseek(struct file *file, loff_t offset, int origin)
127{
128 return file->f_pos;
129}
130EXPORT_SYMBOL(noop_llseek);
131
Linus Torvalds1da177e2005-04-16 15:20:36 -0700132loff_t no_llseek(struct file *file, loff_t offset, int origin)
133{
134 return -ESPIPE;
135}
136EXPORT_SYMBOL(no_llseek);
137
138loff_t default_llseek(struct file *file, loff_t offset, int origin)
139{
David Sterba16abef02008-04-22 15:09:22 +0200140 loff_t retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700141
Arnd Bergmannab912612010-07-07 22:55:17 +0200142 mutex_lock(&file->f_dentry->d_inode->i_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700143 switch (origin) {
Chris Snook7b8e8922007-05-08 00:24:13 -0700144 case SEEK_END:
Josef "Jeff" Sipek0f7fc9e2006-12-08 02:36:35 -0800145 offset += i_size_read(file->f_path.dentry->d_inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700146 break;
Chris Snook7b8e8922007-05-08 00:24:13 -0700147 case SEEK_CUR:
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800148 if (offset == 0) {
149 retval = file->f_pos;
150 goto out;
151 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700152 offset += file->f_pos;
153 }
154 retval = -EINVAL;
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700155 if (offset >= 0 || !__negative_fpos_check(file, offset, 0)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700156 if (offset != file->f_pos) {
157 file->f_pos = offset;
158 file->f_version = 0;
159 }
160 retval = offset;
161 }
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800162out:
Arnd Bergmannab912612010-07-07 22:55:17 +0200163 mutex_unlock(&file->f_dentry->d_inode->i_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700164 return retval;
165}
166EXPORT_SYMBOL(default_llseek);
167
168loff_t vfs_llseek(struct file *file, loff_t offset, int origin)
169{
170 loff_t (*fn)(struct file *, loff_t, int);
171
172 fn = no_llseek;
173 if (file->f_mode & FMODE_LSEEK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700174 if (file->f_op && file->f_op->llseek)
175 fn = file->f_op->llseek;
176 }
177 return fn(file, offset, origin);
178}
179EXPORT_SYMBOL(vfs_llseek);
180
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100181SYSCALL_DEFINE3(lseek, unsigned int, fd, off_t, offset, unsigned int, origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700182{
183 off_t retval;
184 struct file * file;
185 int fput_needed;
186
187 retval = -EBADF;
188 file = fget_light(fd, &fput_needed);
189 if (!file)
190 goto bad;
191
192 retval = -EINVAL;
Chris Snook1ae70752007-05-08 00:24:15 -0700193 if (origin <= SEEK_MAX) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700194 loff_t res = vfs_llseek(file, offset, origin);
195 retval = res;
196 if (res != (loff_t)retval)
197 retval = -EOVERFLOW; /* LFS: should only happen on 32 bit platforms */
198 }
199 fput_light(file, fput_needed);
200bad:
201 return retval;
202}
203
204#ifdef __ARCH_WANT_SYS_LLSEEK
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100205SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
206 unsigned long, offset_low, loff_t __user *, result,
207 unsigned int, origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700208{
209 int retval;
210 struct file * file;
211 loff_t offset;
212 int fput_needed;
213
214 retval = -EBADF;
215 file = fget_light(fd, &fput_needed);
216 if (!file)
217 goto bad;
218
219 retval = -EINVAL;
Chris Snook1ae70752007-05-08 00:24:15 -0700220 if (origin > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700221 goto out_putf;
222
223 offset = vfs_llseek(file, ((loff_t) offset_high << 32) | offset_low,
224 origin);
225
226 retval = (int)offset;
227 if (offset >= 0) {
228 retval = -EFAULT;
229 if (!copy_to_user(result, &offset, sizeof(offset)))
230 retval = 0;
231 }
232out_putf:
233 fput_light(file, fput_needed);
234bad:
235 return retval;
236}
237#endif
238
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700239
Linus Torvaldse28cc712006-01-04 16:20:40 -0800240/*
241 * rw_verify_area doesn't like huge counts. We limit
242 * them to something that fits in "int" so that others
243 * won't have to do range checks all the time.
244 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700245int rw_verify_area(int read_write, struct file *file, loff_t *ppos, size_t count)
246{
247 struct inode *inode;
248 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100249 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700250
Eric Dumazet163da952007-02-12 00:52:24 -0800251 inode = file->f_path.dentry->d_inode;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800252 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100253 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700254 pos = *ppos;
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700255 if (unlikely((pos < 0) || (loff_t) (pos + count) < 0)) {
256 retval = __negative_fpos_check(file, pos, count);
257 if (retval)
258 return retval;
259 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700260
Pavel Emelyanova16877c2007-10-01 14:41:11 -0700261 if (unlikely(inode->i_flock && mandatory_lock(inode))) {
James Morrisc43e2592008-01-12 22:05:48 +1100262 retval = locks_mandatory_area(
Linus Torvaldse28cc712006-01-04 16:20:40 -0800263 read_write == READ ? FLOCK_VERIFY_READ : FLOCK_VERIFY_WRITE,
264 inode, file, pos, count);
265 if (retval < 0)
266 return retval;
267 }
James Morrisc43e2592008-01-12 22:05:48 +1100268 retval = security_file_permission(file,
269 read_write == READ ? MAY_READ : MAY_WRITE);
270 if (retval)
271 return retval;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800272 return count > MAX_RW_COUNT ? MAX_RW_COUNT : count;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273}
274
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700275static void wait_on_retry_sync_kiocb(struct kiocb *iocb)
276{
277 set_current_state(TASK_UNINTERRUPTIBLE);
278 if (!kiocbIsKicked(iocb))
279 schedule();
280 else
281 kiocbClearKicked(iocb);
282 __set_current_state(TASK_RUNNING);
283}
284
Linus Torvalds1da177e2005-04-16 15:20:36 -0700285ssize_t do_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
286{
Badari Pulavarty027445c2006-09-30 23:28:46 -0700287 struct iovec iov = { .iov_base = buf, .iov_len = len };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700288 struct kiocb kiocb;
289 ssize_t ret;
290
291 init_sync_kiocb(&kiocb, filp);
292 kiocb.ki_pos = *ppos;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700293 kiocb.ki_left = len;
David Howells61964eb2010-03-24 17:09:19 +0000294 kiocb.ki_nbytes = len;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700295
296 for (;;) {
297 ret = filp->f_op->aio_read(&kiocb, &iov, 1, kiocb.ki_pos);
298 if (ret != -EIOCBRETRY)
299 break;
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700300 wait_on_retry_sync_kiocb(&kiocb);
Badari Pulavarty027445c2006-09-30 23:28:46 -0700301 }
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700302
Linus Torvalds1da177e2005-04-16 15:20:36 -0700303 if (-EIOCBQUEUED == ret)
304 ret = wait_on_sync_kiocb(&kiocb);
305 *ppos = kiocb.ki_pos;
306 return ret;
307}
308
309EXPORT_SYMBOL(do_sync_read);
310
311ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
312{
313 ssize_t ret;
314
315 if (!(file->f_mode & FMODE_READ))
316 return -EBADF;
317 if (!file->f_op || (!file->f_op->read && !file->f_op->aio_read))
318 return -EINVAL;
319 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
320 return -EFAULT;
321
322 ret = rw_verify_area(READ, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800323 if (ret >= 0) {
324 count = ret;
James Morrisc43e2592008-01-12 22:05:48 +1100325 if (file->f_op->read)
326 ret = file->f_op->read(file, buf, count, pos);
327 else
328 ret = do_sync_read(file, buf, count, pos);
329 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500330 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100331 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700332 }
James Morrisc43e2592008-01-12 22:05:48 +1100333 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700334 }
335
336 return ret;
337}
338
339EXPORT_SYMBOL(vfs_read);
340
341ssize_t do_sync_write(struct file *filp, const char __user *buf, size_t len, loff_t *ppos)
342{
Badari Pulavarty027445c2006-09-30 23:28:46 -0700343 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700344 struct kiocb kiocb;
345 ssize_t ret;
346
347 init_sync_kiocb(&kiocb, filp);
348 kiocb.ki_pos = *ppos;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700349 kiocb.ki_left = len;
David Howells61964eb2010-03-24 17:09:19 +0000350 kiocb.ki_nbytes = len;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700351
352 for (;;) {
353 ret = filp->f_op->aio_write(&kiocb, &iov, 1, kiocb.ki_pos);
354 if (ret != -EIOCBRETRY)
355 break;
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700356 wait_on_retry_sync_kiocb(&kiocb);
Badari Pulavarty027445c2006-09-30 23:28:46 -0700357 }
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700358
Linus Torvalds1da177e2005-04-16 15:20:36 -0700359 if (-EIOCBQUEUED == ret)
360 ret = wait_on_sync_kiocb(&kiocb);
361 *ppos = kiocb.ki_pos;
362 return ret;
363}
364
365EXPORT_SYMBOL(do_sync_write);
366
367ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
368{
369 ssize_t ret;
370
371 if (!(file->f_mode & FMODE_WRITE))
372 return -EBADF;
373 if (!file->f_op || (!file->f_op->write && !file->f_op->aio_write))
374 return -EINVAL;
375 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
376 return -EFAULT;
377
378 ret = rw_verify_area(WRITE, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800379 if (ret >= 0) {
380 count = ret;
James Morrisc43e2592008-01-12 22:05:48 +1100381 if (file->f_op->write)
382 ret = file->f_op->write(file, buf, count, pos);
383 else
384 ret = do_sync_write(file, buf, count, pos);
385 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500386 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100387 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700388 }
James Morrisc43e2592008-01-12 22:05:48 +1100389 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700390 }
391
392 return ret;
393}
394
395EXPORT_SYMBOL(vfs_write);
396
397static inline loff_t file_pos_read(struct file *file)
398{
399 return file->f_pos;
400}
401
402static inline void file_pos_write(struct file *file, loff_t pos)
403{
404 file->f_pos = pos;
405}
406
Heiko Carstens3cdad422009-01-14 14:14:22 +0100407SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700408{
409 struct file *file;
410 ssize_t ret = -EBADF;
411 int fput_needed;
412
413 file = fget_light(fd, &fput_needed);
414 if (file) {
415 loff_t pos = file_pos_read(file);
416 ret = vfs_read(file, buf, count, &pos);
417 file_pos_write(file, pos);
418 fput_light(file, fput_needed);
419 }
420
421 return ret;
422}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700423
Heiko Carstens3cdad422009-01-14 14:14:22 +0100424SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
425 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700426{
427 struct file *file;
428 ssize_t ret = -EBADF;
429 int fput_needed;
430
431 file = fget_light(fd, &fput_needed);
432 if (file) {
433 loff_t pos = file_pos_read(file);
434 ret = vfs_write(file, buf, count, &pos);
435 file_pos_write(file, pos);
436 fput_light(file, fput_needed);
437 }
438
439 return ret;
440}
441
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100442SYSCALL_DEFINE(pread64)(unsigned int fd, char __user *buf,
443 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700444{
445 struct file *file;
446 ssize_t ret = -EBADF;
447 int fput_needed;
448
449 if (pos < 0)
450 return -EINVAL;
451
452 file = fget_light(fd, &fput_needed);
453 if (file) {
454 ret = -ESPIPE;
455 if (file->f_mode & FMODE_PREAD)
456 ret = vfs_read(file, buf, count, &pos);
457 fput_light(file, fput_needed);
458 }
459
460 return ret;
461}
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100462#ifdef CONFIG_HAVE_SYSCALL_WRAPPERS
463asmlinkage long SyS_pread64(long fd, long buf, long count, loff_t pos)
464{
465 return SYSC_pread64((unsigned int) fd, (char __user *) buf,
466 (size_t) count, pos);
467}
468SYSCALL_ALIAS(sys_pread64, SyS_pread64);
469#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700470
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100471SYSCALL_DEFINE(pwrite64)(unsigned int fd, const char __user *buf,
472 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700473{
474 struct file *file;
475 ssize_t ret = -EBADF;
476 int fput_needed;
477
478 if (pos < 0)
479 return -EINVAL;
480
481 file = fget_light(fd, &fput_needed);
482 if (file) {
483 ret = -ESPIPE;
484 if (file->f_mode & FMODE_PWRITE)
485 ret = vfs_write(file, buf, count, &pos);
486 fput_light(file, fput_needed);
487 }
488
489 return ret;
490}
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100491#ifdef CONFIG_HAVE_SYSCALL_WRAPPERS
492asmlinkage long SyS_pwrite64(long fd, long buf, long count, loff_t pos)
493{
494 return SYSC_pwrite64((unsigned int) fd, (const char __user *) buf,
495 (size_t) count, pos);
496}
497SYSCALL_ALIAS(sys_pwrite64, SyS_pwrite64);
498#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700499
500/*
501 * Reduce an iovec's length in-place. Return the resulting number of segments
502 */
503unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
504{
505 unsigned long seg = 0;
506 size_t len = 0;
507
508 while (seg < nr_segs) {
509 seg++;
510 if (len + iov->iov_len >= to) {
511 iov->iov_len = to - len;
512 break;
513 }
514 len += iov->iov_len;
515 iov++;
516 }
517 return seg;
518}
Eric Sandeen19295522008-01-28 23:58:27 -0500519EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700520
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700521ssize_t do_sync_readv_writev(struct file *filp, const struct iovec *iov,
522 unsigned long nr_segs, size_t len, loff_t *ppos, iov_fn_t fn)
523{
524 struct kiocb kiocb;
525 ssize_t ret;
526
527 init_sync_kiocb(&kiocb, filp);
528 kiocb.ki_pos = *ppos;
529 kiocb.ki_left = len;
530 kiocb.ki_nbytes = len;
531
532 for (;;) {
533 ret = fn(&kiocb, iov, nr_segs, kiocb.ki_pos);
534 if (ret != -EIOCBRETRY)
535 break;
536 wait_on_retry_sync_kiocb(&kiocb);
537 }
538
539 if (ret == -EIOCBQUEUED)
540 ret = wait_on_sync_kiocb(&kiocb);
541 *ppos = kiocb.ki_pos;
542 return ret;
543}
544
545/* Do it by hand, with file-ops */
546ssize_t do_loop_readv_writev(struct file *filp, struct iovec *iov,
547 unsigned long nr_segs, loff_t *ppos, io_fn_t fn)
548{
549 struct iovec *vector = iov;
550 ssize_t ret = 0;
551
552 while (nr_segs > 0) {
553 void __user *base;
554 size_t len;
555 ssize_t nr;
556
557 base = vector->iov_base;
558 len = vector->iov_len;
559 vector++;
560 nr_segs--;
561
562 nr = fn(filp, base, len, ppos);
563
564 if (nr < 0) {
565 if (!ret)
566 ret = nr;
567 break;
568 }
569 ret += nr;
570 if (nr != len)
571 break;
572 }
573
574 return ret;
575}
576
Linus Torvalds1da177e2005-04-16 15:20:36 -0700577/* A write operation does a read from user space and vice versa */
578#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
579
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700580ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
581 unsigned long nr_segs, unsigned long fast_segs,
582 struct iovec *fast_pointer,
583 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700584{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700585 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700586 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700587 struct iovec *iov = fast_pointer;
588
Linus Torvalds435f49a2010-10-29 10:36:49 -0700589 /*
590 * SuS says "The readv() function *may* fail if the iovcnt argument
591 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
592 * traditionally returned zero for zero segments, so...
593 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700594 if (nr_segs == 0) {
595 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700596 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700597 }
598
Linus Torvalds435f49a2010-10-29 10:36:49 -0700599 /*
600 * First get the "struct iovec" from user memory and
601 * verify all the pointers
602 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700603 if (nr_segs > UIO_MAXIOV) {
604 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700605 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700606 }
607 if (nr_segs > fast_segs) {
Linus Torvalds435f49a2010-10-29 10:36:49 -0700608 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700609 if (iov == NULL) {
610 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700611 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700612 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700613 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700614 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
615 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700616 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700617 }
618
Linus Torvalds435f49a2010-10-29 10:36:49 -0700619 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700620 * According to the Single Unix Specification we should return EINVAL
621 * if an element length is < 0 when cast to ssize_t or if the
622 * total length would overflow the ssize_t return value of the
623 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700624 *
625 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
626 * overflow case.
627 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700628 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700629 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;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700632
633 /* see if we we're about to use an invalid len or if
634 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700635 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700636 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700637 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700638 }
639 if (unlikely(!access_ok(vrfy_dir(type), buf, len))) {
640 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700641 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700642 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700643 if (len > MAX_RW_COUNT - ret) {
644 len = MAX_RW_COUNT - ret;
645 iov[seg].iov_len = len;
646 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700647 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700648 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700649out:
650 *ret_pointer = iov;
651 return ret;
652}
653
Linus Torvalds1da177e2005-04-16 15:20:36 -0700654static ssize_t do_readv_writev(int type, struct file *file,
655 const struct iovec __user * uvector,
656 unsigned long nr_segs, loff_t *pos)
657{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700658 size_t tot_len;
659 struct iovec iovstack[UIO_FASTIOV];
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700660 struct iovec *iov = iovstack;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700661 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700662 io_fn_t fn;
663 iov_fn_t fnv;
664
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700665 if (!file->f_op) {
666 ret = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700667 goto out;
668 }
669
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700670 ret = rw_copy_check_uvector(type, uvector, nr_segs,
671 ARRAY_SIZE(iovstack), iovstack, &iov);
672 if (ret <= 0)
673 goto out;
674
675 tot_len = ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700676 ret = rw_verify_area(type, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800677 if (ret < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700678 goto out;
679
680 fnv = NULL;
681 if (type == READ) {
682 fn = file->f_op->read;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700683 fnv = file->f_op->aio_read;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700684 } else {
685 fn = (io_fn_t)file->f_op->write;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700686 fnv = file->f_op->aio_write;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700687 }
688
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700689 if (fnv)
690 ret = do_sync_readv_writev(file, iov, nr_segs, tot_len,
691 pos, fnv);
692 else
693 ret = do_loop_readv_writev(file, iov, nr_segs, pos, fn);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700694
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695out:
696 if (iov != iovstack)
697 kfree(iov);
Robert Love0eeca282005-07-12 17:06:03 -0400698 if ((ret + (type == READ)) > 0) {
699 if (type == READ)
Eric Paris2a12a9d2009-12-17 21:24:21 -0500700 fsnotify_access(file);
Robert Love0eeca282005-07-12 17:06:03 -0400701 else
Eric Paris2a12a9d2009-12-17 21:24:21 -0500702 fsnotify_modify(file);
Robert Love0eeca282005-07-12 17:06:03 -0400703 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700704 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700705}
706
707ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
708 unsigned long vlen, loff_t *pos)
709{
710 if (!(file->f_mode & FMODE_READ))
711 return -EBADF;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700712 if (!file->f_op || (!file->f_op->aio_read && !file->f_op->read))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700713 return -EINVAL;
714
715 return do_readv_writev(READ, file, vec, vlen, pos);
716}
717
718EXPORT_SYMBOL(vfs_readv);
719
720ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
721 unsigned long vlen, loff_t *pos)
722{
723 if (!(file->f_mode & FMODE_WRITE))
724 return -EBADF;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700725 if (!file->f_op || (!file->f_op->aio_write && !file->f_op->write))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700726 return -EINVAL;
727
728 return do_readv_writev(WRITE, file, vec, vlen, pos);
729}
730
731EXPORT_SYMBOL(vfs_writev);
732
Heiko Carstens3cdad422009-01-14 14:14:22 +0100733SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
734 unsigned long, vlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700735{
736 struct file *file;
737 ssize_t ret = -EBADF;
738 int fput_needed;
739
740 file = fget_light(fd, &fput_needed);
741 if (file) {
742 loff_t pos = file_pos_read(file);
743 ret = vfs_readv(file, vec, vlen, &pos);
744 file_pos_write(file, pos);
745 fput_light(file, fput_needed);
746 }
747
748 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800749 add_rchar(current, ret);
750 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700751 return ret;
752}
753
Heiko Carstens3cdad422009-01-14 14:14:22 +0100754SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
755 unsigned long, vlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700756{
757 struct file *file;
758 ssize_t ret = -EBADF;
759 int fput_needed;
760
761 file = fget_light(fd, &fput_needed);
762 if (file) {
763 loff_t pos = file_pos_read(file);
764 ret = vfs_writev(file, vec, vlen, &pos);
765 file_pos_write(file, pos);
766 fput_light(file, fput_needed);
767 }
768
769 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800770 add_wchar(current, ret);
771 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700772 return ret;
773}
774
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700775static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700776{
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700777#define HALF_LONG_BITS (BITS_PER_LONG / 2)
778 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
779}
780
781SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
782 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
783{
784 loff_t pos = pos_from_hilo(pos_h, pos_l);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700785 struct file *file;
786 ssize_t ret = -EBADF;
787 int fput_needed;
788
789 if (pos < 0)
790 return -EINVAL;
791
792 file = fget_light(fd, &fput_needed);
793 if (file) {
794 ret = -ESPIPE;
795 if (file->f_mode & FMODE_PREAD)
796 ret = vfs_readv(file, vec, vlen, &pos);
797 fput_light(file, fput_needed);
798 }
799
800 if (ret > 0)
801 add_rchar(current, ret);
802 inc_syscr(current);
803 return ret;
804}
805
806SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700807 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700808{
Linus Torvalds601cc11d2009-04-03 08:03:22 -0700809 loff_t pos = pos_from_hilo(pos_h, pos_l);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700810 struct file *file;
811 ssize_t ret = -EBADF;
812 int fput_needed;
813
814 if (pos < 0)
815 return -EINVAL;
816
817 file = fget_light(fd, &fput_needed);
818 if (file) {
819 ret = -ESPIPE;
820 if (file->f_mode & FMODE_PWRITE)
821 ret = vfs_writev(file, vec, vlen, &pos);
822 fput_light(file, fput_needed);
823 }
824
825 if (ret > 0)
826 add_wchar(current, ret);
827 inc_syscw(current);
828 return ret;
829}
830
Linus Torvalds1da177e2005-04-16 15:20:36 -0700831static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
832 size_t count, loff_t max)
833{
834 struct file * in_file, * out_file;
835 struct inode * in_inode, * out_inode;
836 loff_t pos;
837 ssize_t retval;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200838 int fput_needed_in, fput_needed_out, fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700839
840 /*
841 * Get input file, and verify that it is ok..
842 */
843 retval = -EBADF;
844 in_file = fget_light(in_fd, &fput_needed_in);
845 if (!in_file)
846 goto out;
847 if (!(in_file->f_mode & FMODE_READ))
848 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700849 retval = -ESPIPE;
850 if (!ppos)
851 ppos = &in_file->f_pos;
852 else
853 if (!(in_file->f_mode & FMODE_PREAD))
854 goto fput_in;
855 retval = rw_verify_area(READ, in_file, ppos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800856 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700857 goto fput_in;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800858 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700859
Linus Torvalds1da177e2005-04-16 15:20:36 -0700860 /*
861 * Get output file, and verify that it is ok..
862 */
863 retval = -EBADF;
864 out_file = fget_light(out_fd, &fput_needed_out);
865 if (!out_file)
866 goto fput_in;
867 if (!(out_file->f_mode & FMODE_WRITE))
868 goto fput_out;
869 retval = -EINVAL;
Miklos Szeredi68181732009-05-07 15:37:36 +0200870 in_inode = in_file->f_path.dentry->d_inode;
Josef "Jeff" Sipek0f7fc9e2006-12-08 02:36:35 -0800871 out_inode = out_file->f_path.dentry->d_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700872 retval = rw_verify_area(WRITE, out_file, &out_file->f_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800873 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700874 goto fput_out;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800875 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700876
Linus Torvalds1da177e2005-04-16 15:20:36 -0700877 if (!max)
878 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
879
880 pos = *ppos;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700881 if (unlikely(pos + count > max)) {
882 retval = -EOVERFLOW;
883 if (pos >= max)
884 goto fput_out;
885 count = max - pos;
886 }
887
Jens Axboed96e6e72007-06-11 12:18:52 +0200888 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200889#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +0200890 /*
891 * We need to debate whether we can enable this or not. The
892 * man page documents EAGAIN return for the output at least,
893 * and the application is arguably buggy if it doesn't expect
894 * EAGAIN on a non-blocking file descriptor.
895 */
896 if (in_file->f_flags & O_NONBLOCK)
897 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200898#endif
Jens Axboed96e6e72007-06-11 12:18:52 +0200899 retval = do_splice_direct(in_file, ppos, out_file, count, fl);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700900
901 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800902 add_rchar(current, retval);
903 add_wchar(current, retval);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700904 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700905
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800906 inc_syscr(current);
907 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700908 if (*ppos > max)
909 retval = -EOVERFLOW;
910
911fput_out:
912 fput_light(out_file, fput_needed_out);
913fput_in:
914 fput_light(in_file, fput_needed_in);
915out:
916 return retval;
917}
918
Heiko Carstens002c8972009-01-14 14:14:18 +0100919SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700920{
921 loff_t pos;
922 off_t off;
923 ssize_t ret;
924
925 if (offset) {
926 if (unlikely(get_user(off, offset)))
927 return -EFAULT;
928 pos = off;
929 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
930 if (unlikely(put_user(pos, offset)))
931 return -EFAULT;
932 return ret;
933 }
934
935 return do_sendfile(out_fd, in_fd, NULL, count, 0);
936}
937
Heiko Carstens002c8972009-01-14 14:14:18 +0100938SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700939{
940 loff_t pos;
941 ssize_t ret;
942
943 if (offset) {
944 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
945 return -EFAULT;
946 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
947 if (unlikely(put_user(pos, offset)))
948 return -EFAULT;
949 return ret;
950 }
951
952 return do_sendfile(out_fd, in_fd, NULL, count, 0);
953}