blob: 5907b49e4d7ee42bbf6c613802a0522e0827107a [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 */
169 if (offset >= inode->i_size)
170 return -ENXIO;
171 break;
172 case SEEK_HOLE:
173 /*
174 * There is a virtual hole at the end of the file, so
175 * as long as offset isn't i_size or larger, return
176 * i_size.
177 */
178 if (offset >= inode->i_size)
179 return -ENXIO;
180 offset = inode->i_size;
181 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700182 }
183 retval = -EINVAL;
Al Virocccb5a12010-12-17 07:44:05 -0500184 if (offset >= 0 || unsigned_offsets(file)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700185 if (offset != file->f_pos) {
186 file->f_pos = offset;
187 file->f_version = 0;
188 }
189 retval = offset;
190 }
Alain Knaff5b6f1eb2008-11-10 17:08:08 -0800191out:
Josef Bacik982d8162011-07-18 13:21:35 -0400192 mutex_unlock(&inode->i_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700193 return retval;
194}
195EXPORT_SYMBOL(default_llseek);
196
197loff_t vfs_llseek(struct file *file, loff_t offset, int origin)
198{
199 loff_t (*fn)(struct file *, loff_t, int);
200
201 fn = no_llseek;
202 if (file->f_mode & FMODE_LSEEK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700203 if (file->f_op && file->f_op->llseek)
204 fn = file->f_op->llseek;
205 }
206 return fn(file, offset, origin);
207}
208EXPORT_SYMBOL(vfs_llseek);
209
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100210SYSCALL_DEFINE3(lseek, unsigned int, fd, off_t, offset, unsigned int, origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700211{
212 off_t retval;
213 struct file * file;
214 int fput_needed;
215
216 retval = -EBADF;
217 file = fget_light(fd, &fput_needed);
218 if (!file)
219 goto bad;
220
221 retval = -EINVAL;
Chris Snook1ae70752007-05-08 00:24:15 -0700222 if (origin <= SEEK_MAX) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700223 loff_t res = vfs_llseek(file, offset, origin);
224 retval = res;
225 if (res != (loff_t)retval)
226 retval = -EOVERFLOW; /* LFS: should only happen on 32 bit platforms */
227 }
228 fput_light(file, fput_needed);
229bad:
230 return retval;
231}
232
233#ifdef __ARCH_WANT_SYS_LLSEEK
Heiko Carstens003d7ab2009-01-14 14:14:21 +0100234SYSCALL_DEFINE5(llseek, unsigned int, fd, unsigned long, offset_high,
235 unsigned long, offset_low, loff_t __user *, result,
236 unsigned int, origin)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700237{
238 int retval;
239 struct file * file;
240 loff_t offset;
241 int fput_needed;
242
243 retval = -EBADF;
244 file = fget_light(fd, &fput_needed);
245 if (!file)
246 goto bad;
247
248 retval = -EINVAL;
Chris Snook1ae70752007-05-08 00:24:15 -0700249 if (origin > SEEK_MAX)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700250 goto out_putf;
251
252 offset = vfs_llseek(file, ((loff_t) offset_high << 32) | offset_low,
253 origin);
254
255 retval = (int)offset;
256 if (offset >= 0) {
257 retval = -EFAULT;
258 if (!copy_to_user(result, &offset, sizeof(offset)))
259 retval = 0;
260 }
261out_putf:
262 fput_light(file, fput_needed);
263bad:
264 return retval;
265}
266#endif
267
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700268
Linus Torvaldse28cc712006-01-04 16:20:40 -0800269/*
270 * rw_verify_area doesn't like huge counts. We limit
271 * them to something that fits in "int" so that others
272 * won't have to do range checks all the time.
273 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700274int rw_verify_area(int read_write, struct file *file, loff_t *ppos, size_t count)
275{
276 struct inode *inode;
277 loff_t pos;
James Morrisc43e2592008-01-12 22:05:48 +1100278 int retval = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700279
Eric Dumazet163da952007-02-12 00:52:24 -0800280 inode = file->f_path.dentry->d_inode;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800281 if (unlikely((ssize_t) count < 0))
James Morrisc43e2592008-01-12 22:05:48 +1100282 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700283 pos = *ppos;
Al Virocccb5a12010-12-17 07:44:05 -0500284 if (unlikely(pos < 0)) {
285 if (!unsigned_offsets(file))
286 return retval;
287 if (count >= -pos) /* both values are in 0..LLONG_MAX */
288 return -EOVERFLOW;
289 } else if (unlikely((loff_t) (pos + count) < 0)) {
290 if (!unsigned_offsets(file))
KAMEZAWA Hiroyuki4a3956c2010-10-01 14:20:22 -0700291 return retval;
292 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700293
Pavel Emelyanova16877c2007-10-01 14:41:11 -0700294 if (unlikely(inode->i_flock && mandatory_lock(inode))) {
James Morrisc43e2592008-01-12 22:05:48 +1100295 retval = locks_mandatory_area(
Linus Torvaldse28cc712006-01-04 16:20:40 -0800296 read_write == READ ? FLOCK_VERIFY_READ : FLOCK_VERIFY_WRITE,
297 inode, file, pos, count);
298 if (retval < 0)
299 return retval;
300 }
James Morrisc43e2592008-01-12 22:05:48 +1100301 retval = security_file_permission(file,
302 read_write == READ ? MAY_READ : MAY_WRITE);
303 if (retval)
304 return retval;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800305 return count > MAX_RW_COUNT ? MAX_RW_COUNT : count;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306}
307
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700308static void wait_on_retry_sync_kiocb(struct kiocb *iocb)
309{
310 set_current_state(TASK_UNINTERRUPTIBLE);
311 if (!kiocbIsKicked(iocb))
312 schedule();
313 else
314 kiocbClearKicked(iocb);
315 __set_current_state(TASK_RUNNING);
316}
317
Linus Torvalds1da177e2005-04-16 15:20:36 -0700318ssize_t do_sync_read(struct file *filp, char __user *buf, size_t len, loff_t *ppos)
319{
Badari Pulavarty027445c2006-09-30 23:28:46 -0700320 struct iovec iov = { .iov_base = buf, .iov_len = len };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700321 struct kiocb kiocb;
322 ssize_t ret;
323
324 init_sync_kiocb(&kiocb, filp);
325 kiocb.ki_pos = *ppos;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700326 kiocb.ki_left = len;
David Howells61964eb2010-03-24 17:09:19 +0000327 kiocb.ki_nbytes = len;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700328
329 for (;;) {
330 ret = filp->f_op->aio_read(&kiocb, &iov, 1, kiocb.ki_pos);
331 if (ret != -EIOCBRETRY)
332 break;
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700333 wait_on_retry_sync_kiocb(&kiocb);
Badari Pulavarty027445c2006-09-30 23:28:46 -0700334 }
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700335
Linus Torvalds1da177e2005-04-16 15:20:36 -0700336 if (-EIOCBQUEUED == ret)
337 ret = wait_on_sync_kiocb(&kiocb);
338 *ppos = kiocb.ki_pos;
339 return ret;
340}
341
342EXPORT_SYMBOL(do_sync_read);
343
344ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos)
345{
346 ssize_t ret;
347
348 if (!(file->f_mode & FMODE_READ))
349 return -EBADF;
350 if (!file->f_op || (!file->f_op->read && !file->f_op->aio_read))
351 return -EINVAL;
352 if (unlikely(!access_ok(VERIFY_WRITE, buf, count)))
353 return -EFAULT;
354
355 ret = rw_verify_area(READ, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800356 if (ret >= 0) {
357 count = ret;
James Morrisc43e2592008-01-12 22:05:48 +1100358 if (file->f_op->read)
359 ret = file->f_op->read(file, buf, count, pos);
360 else
361 ret = do_sync_read(file, buf, count, pos);
362 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500363 fsnotify_access(file);
James Morrisc43e2592008-01-12 22:05:48 +1100364 add_rchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700365 }
James Morrisc43e2592008-01-12 22:05:48 +1100366 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700367 }
368
369 return ret;
370}
371
372EXPORT_SYMBOL(vfs_read);
373
374ssize_t do_sync_write(struct file *filp, const char __user *buf, size_t len, loff_t *ppos)
375{
Badari Pulavarty027445c2006-09-30 23:28:46 -0700376 struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700377 struct kiocb kiocb;
378 ssize_t ret;
379
380 init_sync_kiocb(&kiocb, filp);
381 kiocb.ki_pos = *ppos;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700382 kiocb.ki_left = len;
David Howells61964eb2010-03-24 17:09:19 +0000383 kiocb.ki_nbytes = len;
Badari Pulavarty027445c2006-09-30 23:28:46 -0700384
385 for (;;) {
386 ret = filp->f_op->aio_write(&kiocb, &iov, 1, kiocb.ki_pos);
387 if (ret != -EIOCBRETRY)
388 break;
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700389 wait_on_retry_sync_kiocb(&kiocb);
Badari Pulavarty027445c2006-09-30 23:28:46 -0700390 }
Benjamin LaHaise63e68802005-06-23 00:10:27 -0700391
Linus Torvalds1da177e2005-04-16 15:20:36 -0700392 if (-EIOCBQUEUED == ret)
393 ret = wait_on_sync_kiocb(&kiocb);
394 *ppos = kiocb.ki_pos;
395 return ret;
396}
397
398EXPORT_SYMBOL(do_sync_write);
399
400ssize_t vfs_write(struct file *file, const char __user *buf, size_t count, loff_t *pos)
401{
402 ssize_t ret;
403
404 if (!(file->f_mode & FMODE_WRITE))
405 return -EBADF;
406 if (!file->f_op || (!file->f_op->write && !file->f_op->aio_write))
407 return -EINVAL;
408 if (unlikely(!access_ok(VERIFY_READ, buf, count)))
409 return -EFAULT;
410
411 ret = rw_verify_area(WRITE, file, pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800412 if (ret >= 0) {
413 count = ret;
James Morrisc43e2592008-01-12 22:05:48 +1100414 if (file->f_op->write)
415 ret = file->f_op->write(file, buf, count, pos);
416 else
417 ret = do_sync_write(file, buf, count, pos);
418 if (ret > 0) {
Eric Paris2a12a9d2009-12-17 21:24:21 -0500419 fsnotify_modify(file);
James Morrisc43e2592008-01-12 22:05:48 +1100420 add_wchar(current, ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700421 }
James Morrisc43e2592008-01-12 22:05:48 +1100422 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700423 }
424
425 return ret;
426}
427
428EXPORT_SYMBOL(vfs_write);
429
430static inline loff_t file_pos_read(struct file *file)
431{
432 return file->f_pos;
433}
434
435static inline void file_pos_write(struct file *file, loff_t pos)
436{
437 file->f_pos = pos;
438}
439
Heiko Carstens3cdad422009-01-14 14:14:22 +0100440SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700441{
442 struct file *file;
443 ssize_t ret = -EBADF;
444 int fput_needed;
445
446 file = fget_light(fd, &fput_needed);
447 if (file) {
448 loff_t pos = file_pos_read(file);
449 ret = vfs_read(file, buf, count, &pos);
450 file_pos_write(file, pos);
451 fput_light(file, fput_needed);
452 }
453
454 return ret;
455}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700456
Heiko Carstens3cdad422009-01-14 14:14:22 +0100457SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
458 size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700459{
460 struct file *file;
461 ssize_t ret = -EBADF;
462 int fput_needed;
463
464 file = fget_light(fd, &fput_needed);
465 if (file) {
466 loff_t pos = file_pos_read(file);
467 ret = vfs_write(file, buf, count, &pos);
468 file_pos_write(file, pos);
469 fput_light(file, fput_needed);
470 }
471
472 return ret;
473}
474
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100475SYSCALL_DEFINE(pread64)(unsigned int fd, char __user *buf,
476 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700477{
478 struct file *file;
479 ssize_t ret = -EBADF;
480 int fput_needed;
481
482 if (pos < 0)
483 return -EINVAL;
484
485 file = fget_light(fd, &fput_needed);
486 if (file) {
487 ret = -ESPIPE;
488 if (file->f_mode & FMODE_PREAD)
489 ret = vfs_read(file, buf, count, &pos);
490 fput_light(file, fput_needed);
491 }
492
493 return ret;
494}
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100495#ifdef CONFIG_HAVE_SYSCALL_WRAPPERS
496asmlinkage long SyS_pread64(long fd, long buf, long count, loff_t pos)
497{
498 return SYSC_pread64((unsigned int) fd, (char __user *) buf,
499 (size_t) count, pos);
500}
501SYSCALL_ALIAS(sys_pread64, SyS_pread64);
502#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700503
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100504SYSCALL_DEFINE(pwrite64)(unsigned int fd, const char __user *buf,
505 size_t count, loff_t pos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700506{
507 struct file *file;
508 ssize_t ret = -EBADF;
509 int fput_needed;
510
511 if (pos < 0)
512 return -EINVAL;
513
514 file = fget_light(fd, &fput_needed);
515 if (file) {
516 ret = -ESPIPE;
517 if (file->f_mode & FMODE_PWRITE)
518 ret = vfs_write(file, buf, count, &pos);
519 fput_light(file, fput_needed);
520 }
521
522 return ret;
523}
Heiko Carstens6673e0c2009-01-14 14:14:02 +0100524#ifdef CONFIG_HAVE_SYSCALL_WRAPPERS
525asmlinkage long SyS_pwrite64(long fd, long buf, long count, loff_t pos)
526{
527 return SYSC_pwrite64((unsigned int) fd, (const char __user *) buf,
528 (size_t) count, pos);
529}
530SYSCALL_ALIAS(sys_pwrite64, SyS_pwrite64);
531#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700532
533/*
534 * Reduce an iovec's length in-place. Return the resulting number of segments
535 */
536unsigned long iov_shorten(struct iovec *iov, unsigned long nr_segs, size_t to)
537{
538 unsigned long seg = 0;
539 size_t len = 0;
540
541 while (seg < nr_segs) {
542 seg++;
543 if (len + iov->iov_len >= to) {
544 iov->iov_len = to - len;
545 break;
546 }
547 len += iov->iov_len;
548 iov++;
549 }
550 return seg;
551}
Eric Sandeen19295522008-01-28 23:58:27 -0500552EXPORT_SYMBOL(iov_shorten);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700553
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700554ssize_t do_sync_readv_writev(struct file *filp, const struct iovec *iov,
555 unsigned long nr_segs, size_t len, loff_t *ppos, iov_fn_t fn)
556{
557 struct kiocb kiocb;
558 ssize_t ret;
559
560 init_sync_kiocb(&kiocb, filp);
561 kiocb.ki_pos = *ppos;
562 kiocb.ki_left = len;
563 kiocb.ki_nbytes = len;
564
565 for (;;) {
566 ret = fn(&kiocb, iov, nr_segs, kiocb.ki_pos);
567 if (ret != -EIOCBRETRY)
568 break;
569 wait_on_retry_sync_kiocb(&kiocb);
570 }
571
572 if (ret == -EIOCBQUEUED)
573 ret = wait_on_sync_kiocb(&kiocb);
574 *ppos = kiocb.ki_pos;
575 return ret;
576}
577
578/* Do it by hand, with file-ops */
579ssize_t do_loop_readv_writev(struct file *filp, struct iovec *iov,
580 unsigned long nr_segs, loff_t *ppos, io_fn_t fn)
581{
582 struct iovec *vector = iov;
583 ssize_t ret = 0;
584
585 while (nr_segs > 0) {
586 void __user *base;
587 size_t len;
588 ssize_t nr;
589
590 base = vector->iov_base;
591 len = vector->iov_len;
592 vector++;
593 nr_segs--;
594
595 nr = fn(filp, base, len, ppos);
596
597 if (nr < 0) {
598 if (!ret)
599 ret = nr;
600 break;
601 }
602 ret += nr;
603 if (nr != len)
604 break;
605 }
606
607 return ret;
608}
609
Linus Torvalds1da177e2005-04-16 15:20:36 -0700610/* A write operation does a read from user space and vice versa */
611#define vrfy_dir(type) ((type) == READ ? VERIFY_WRITE : VERIFY_READ)
612
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700613ssize_t rw_copy_check_uvector(int type, const struct iovec __user * uvector,
614 unsigned long nr_segs, unsigned long fast_segs,
615 struct iovec *fast_pointer,
616 struct iovec **ret_pointer)
Linus Torvalds435f49a2010-10-29 10:36:49 -0700617{
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700618 unsigned long seg;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700619 ssize_t ret;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700620 struct iovec *iov = fast_pointer;
621
Linus Torvalds435f49a2010-10-29 10:36:49 -0700622 /*
623 * SuS says "The readv() function *may* fail if the iovcnt argument
624 * was less than or equal to 0, or greater than {IOV_MAX}. Linux has
625 * traditionally returned zero for zero segments, so...
626 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700627 if (nr_segs == 0) {
628 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700629 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700630 }
631
Linus Torvalds435f49a2010-10-29 10:36:49 -0700632 /*
633 * First get the "struct iovec" from user memory and
634 * verify all the pointers
635 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700636 if (nr_segs > UIO_MAXIOV) {
637 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700638 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700639 }
640 if (nr_segs > fast_segs) {
Linus Torvalds435f49a2010-10-29 10:36:49 -0700641 iov = kmalloc(nr_segs*sizeof(struct iovec), GFP_KERNEL);
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700642 if (iov == NULL) {
643 ret = -ENOMEM;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700644 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700645 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700646 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700647 if (copy_from_user(iov, uvector, nr_segs*sizeof(*uvector))) {
648 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700649 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700650 }
651
Linus Torvalds435f49a2010-10-29 10:36:49 -0700652 /*
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700653 * According to the Single Unix Specification we should return EINVAL
654 * if an element length is < 0 when cast to ssize_t or if the
655 * total length would overflow the ssize_t return value of the
656 * system call.
Linus Torvalds435f49a2010-10-29 10:36:49 -0700657 *
658 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
659 * overflow case.
660 */
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700661 ret = 0;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700662 for (seg = 0; seg < nr_segs; seg++) {
663 void __user *buf = iov[seg].iov_base;
664 ssize_t len = (ssize_t)iov[seg].iov_len;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700665
666 /* see if we we're about to use an invalid len or if
667 * it's about to overflow ssize_t */
Linus Torvalds435f49a2010-10-29 10:36:49 -0700668 if (len < 0) {
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700669 ret = -EINVAL;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700670 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700671 }
672 if (unlikely(!access_ok(vrfy_dir(type), buf, len))) {
673 ret = -EFAULT;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700674 goto out;
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700675 }
Linus Torvalds435f49a2010-10-29 10:36:49 -0700676 if (len > MAX_RW_COUNT - ret) {
677 len = MAX_RW_COUNT - ret;
678 iov[seg].iov_len = len;
679 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700680 ret += len;
Linus Torvalds435f49a2010-10-29 10:36:49 -0700681 }
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700682out:
683 *ret_pointer = iov;
684 return ret;
685}
686
Linus Torvalds1da177e2005-04-16 15:20:36 -0700687static ssize_t do_readv_writev(int type, struct file *file,
688 const struct iovec __user * uvector,
689 unsigned long nr_segs, loff_t *pos)
690{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700691 size_t tot_len;
692 struct iovec iovstack[UIO_FASTIOV];
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700693 struct iovec *iov = iovstack;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700694 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695 io_fn_t fn;
696 iov_fn_t fnv;
697
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700698 if (!file->f_op) {
699 ret = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700700 goto out;
701 }
702
Badari Pulavartyeed4e512006-09-30 23:28:49 -0700703 ret = rw_copy_check_uvector(type, uvector, nr_segs,
704 ARRAY_SIZE(iovstack), iovstack, &iov);
705 if (ret <= 0)
706 goto out;
707
708 tot_len = ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700709 ret = rw_verify_area(type, file, pos, tot_len);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800710 if (ret < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700711 goto out;
712
713 fnv = NULL;
714 if (type == READ) {
715 fn = file->f_op->read;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700716 fnv = file->f_op->aio_read;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700717 } else {
718 fn = (io_fn_t)file->f_op->write;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700719 fnv = file->f_op->aio_write;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700720 }
721
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700722 if (fnv)
723 ret = do_sync_readv_writev(file, iov, nr_segs, tot_len,
724 pos, fnv);
725 else
726 ret = do_loop_readv_writev(file, iov, nr_segs, pos, fn);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700727
Linus Torvalds1da177e2005-04-16 15:20:36 -0700728out:
729 if (iov != iovstack)
730 kfree(iov);
Robert Love0eeca282005-07-12 17:06:03 -0400731 if ((ret + (type == READ)) > 0) {
732 if (type == READ)
Eric Paris2a12a9d2009-12-17 21:24:21 -0500733 fsnotify_access(file);
Robert Love0eeca282005-07-12 17:06:03 -0400734 else
Eric Paris2a12a9d2009-12-17 21:24:21 -0500735 fsnotify_modify(file);
Robert Love0eeca282005-07-12 17:06:03 -0400736 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700737 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700738}
739
740ssize_t vfs_readv(struct file *file, const struct iovec __user *vec,
741 unsigned long vlen, loff_t *pos)
742{
743 if (!(file->f_mode & FMODE_READ))
744 return -EBADF;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700745 if (!file->f_op || (!file->f_op->aio_read && !file->f_op->read))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700746 return -EINVAL;
747
748 return do_readv_writev(READ, file, vec, vlen, pos);
749}
750
751EXPORT_SYMBOL(vfs_readv);
752
753ssize_t vfs_writev(struct file *file, const struct iovec __user *vec,
754 unsigned long vlen, loff_t *pos)
755{
756 if (!(file->f_mode & FMODE_WRITE))
757 return -EBADF;
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700758 if (!file->f_op || (!file->f_op->aio_write && !file->f_op->write))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700759 return -EINVAL;
760
761 return do_readv_writev(WRITE, file, vec, vlen, pos);
762}
763
764EXPORT_SYMBOL(vfs_writev);
765
Heiko Carstens3cdad422009-01-14 14:14:22 +0100766SYSCALL_DEFINE3(readv, unsigned long, fd, const struct iovec __user *, vec,
767 unsigned long, vlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700768{
769 struct file *file;
770 ssize_t ret = -EBADF;
771 int fput_needed;
772
773 file = fget_light(fd, &fput_needed);
774 if (file) {
775 loff_t pos = file_pos_read(file);
776 ret = vfs_readv(file, vec, vlen, &pos);
777 file_pos_write(file, pos);
778 fput_light(file, fput_needed);
779 }
780
781 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800782 add_rchar(current, ret);
783 inc_syscr(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700784 return ret;
785}
786
Heiko Carstens3cdad422009-01-14 14:14:22 +0100787SYSCALL_DEFINE3(writev, unsigned long, fd, const struct iovec __user *, vec,
788 unsigned long, vlen)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700789{
790 struct file *file;
791 ssize_t ret = -EBADF;
792 int fput_needed;
793
794 file = fget_light(fd, &fput_needed);
795 if (file) {
796 loff_t pos = file_pos_read(file);
797 ret = vfs_writev(file, vec, vlen, &pos);
798 file_pos_write(file, pos);
799 fput_light(file, fput_needed);
800 }
801
802 if (ret > 0)
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800803 add_wchar(current, ret);
804 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700805 return ret;
806}
807
Linus Torvalds601cc112009-04-03 08:03:22 -0700808static inline loff_t pos_from_hilo(unsigned long high, unsigned long low)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700809{
Linus Torvalds601cc112009-04-03 08:03:22 -0700810#define HALF_LONG_BITS (BITS_PER_LONG / 2)
811 return (((loff_t)high << HALF_LONG_BITS) << HALF_LONG_BITS) | low;
812}
813
814SYSCALL_DEFINE5(preadv, unsigned long, fd, const struct iovec __user *, vec,
815 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
816{
817 loff_t pos = pos_from_hilo(pos_h, pos_l);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700818 struct file *file;
819 ssize_t ret = -EBADF;
820 int fput_needed;
821
822 if (pos < 0)
823 return -EINVAL;
824
825 file = fget_light(fd, &fput_needed);
826 if (file) {
827 ret = -ESPIPE;
828 if (file->f_mode & FMODE_PREAD)
829 ret = vfs_readv(file, vec, vlen, &pos);
830 fput_light(file, fput_needed);
831 }
832
833 if (ret > 0)
834 add_rchar(current, ret);
835 inc_syscr(current);
836 return ret;
837}
838
839SYSCALL_DEFINE5(pwritev, unsigned long, fd, const struct iovec __user *, vec,
Linus Torvalds601cc112009-04-03 08:03:22 -0700840 unsigned long, vlen, unsigned long, pos_l, unsigned long, pos_h)
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700841{
Linus Torvalds601cc112009-04-03 08:03:22 -0700842 loff_t pos = pos_from_hilo(pos_h, pos_l);
Gerd Hoffmannf3554f42009-04-02 16:59:23 -0700843 struct file *file;
844 ssize_t ret = -EBADF;
845 int fput_needed;
846
847 if (pos < 0)
848 return -EINVAL;
849
850 file = fget_light(fd, &fput_needed);
851 if (file) {
852 ret = -ESPIPE;
853 if (file->f_mode & FMODE_PWRITE)
854 ret = vfs_writev(file, vec, vlen, &pos);
855 fput_light(file, fput_needed);
856 }
857
858 if (ret > 0)
859 add_wchar(current, ret);
860 inc_syscw(current);
861 return ret;
862}
863
Linus Torvalds1da177e2005-04-16 15:20:36 -0700864static ssize_t do_sendfile(int out_fd, int in_fd, loff_t *ppos,
865 size_t count, loff_t max)
866{
867 struct file * in_file, * out_file;
868 struct inode * in_inode, * out_inode;
869 loff_t pos;
870 ssize_t retval;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200871 int fput_needed_in, fput_needed_out, fl;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700872
873 /*
874 * Get input file, and verify that it is ok..
875 */
876 retval = -EBADF;
877 in_file = fget_light(in_fd, &fput_needed_in);
878 if (!in_file)
879 goto out;
880 if (!(in_file->f_mode & FMODE_READ))
881 goto fput_in;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882 retval = -ESPIPE;
883 if (!ppos)
884 ppos = &in_file->f_pos;
885 else
886 if (!(in_file->f_mode & FMODE_PREAD))
887 goto fput_in;
888 retval = rw_verify_area(READ, in_file, ppos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800889 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700890 goto fput_in;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800891 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700892
Linus Torvalds1da177e2005-04-16 15:20:36 -0700893 /*
894 * Get output file, and verify that it is ok..
895 */
896 retval = -EBADF;
897 out_file = fget_light(out_fd, &fput_needed_out);
898 if (!out_file)
899 goto fput_in;
900 if (!(out_file->f_mode & FMODE_WRITE))
901 goto fput_out;
902 retval = -EINVAL;
Miklos Szeredi68181732009-05-07 15:37:36 +0200903 in_inode = in_file->f_path.dentry->d_inode;
Josef "Jeff" Sipek0f7fc9e2006-12-08 02:36:35 -0800904 out_inode = out_file->f_path.dentry->d_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700905 retval = rw_verify_area(WRITE, out_file, &out_file->f_pos, count);
Linus Torvaldse28cc712006-01-04 16:20:40 -0800906 if (retval < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700907 goto fput_out;
Linus Torvaldse28cc712006-01-04 16:20:40 -0800908 count = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700909
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910 if (!max)
911 max = min(in_inode->i_sb->s_maxbytes, out_inode->i_sb->s_maxbytes);
912
913 pos = *ppos;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700914 if (unlikely(pos + count > max)) {
915 retval = -EOVERFLOW;
916 if (pos >= max)
917 goto fput_out;
918 count = max - pos;
919 }
920
Jens Axboed96e6e72007-06-11 12:18:52 +0200921 fl = 0;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200922#if 0
Jens Axboed96e6e72007-06-11 12:18:52 +0200923 /*
924 * We need to debate whether we can enable this or not. The
925 * man page documents EAGAIN return for the output at least,
926 * and the application is arguably buggy if it doesn't expect
927 * EAGAIN on a non-blocking file descriptor.
928 */
929 if (in_file->f_flags & O_NONBLOCK)
930 fl = SPLICE_F_NONBLOCK;
Jens Axboe534f2aa2007-06-01 14:52:37 +0200931#endif
Jens Axboed96e6e72007-06-11 12:18:52 +0200932 retval = do_splice_direct(in_file, ppos, out_file, count, fl);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700933
934 if (retval > 0) {
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800935 add_rchar(current, retval);
936 add_wchar(current, retval);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700937 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700938
Alexey Dobriyan4b98d112007-02-10 01:46:45 -0800939 inc_syscr(current);
940 inc_syscw(current);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700941 if (*ppos > max)
942 retval = -EOVERFLOW;
943
944fput_out:
945 fput_light(out_file, fput_needed_out);
946fput_in:
947 fput_light(in_file, fput_needed_in);
948out:
949 return retval;
950}
951
Heiko Carstens002c8972009-01-14 14:14:18 +0100952SYSCALL_DEFINE4(sendfile, int, out_fd, int, in_fd, off_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700953{
954 loff_t pos;
955 off_t off;
956 ssize_t ret;
957
958 if (offset) {
959 if (unlikely(get_user(off, offset)))
960 return -EFAULT;
961 pos = off;
962 ret = do_sendfile(out_fd, in_fd, &pos, count, MAX_NON_LFS);
963 if (unlikely(put_user(pos, offset)))
964 return -EFAULT;
965 return ret;
966 }
967
968 return do_sendfile(out_fd, in_fd, NULL, count, 0);
969}
970
Heiko Carstens002c8972009-01-14 14:14:18 +0100971SYSCALL_DEFINE4(sendfile64, int, out_fd, int, in_fd, loff_t __user *, offset, size_t, count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700972{
973 loff_t pos;
974 ssize_t ret;
975
976 if (offset) {
977 if (unlikely(copy_from_user(&pos, offset, sizeof(loff_t))))
978 return -EFAULT;
979 ret = do_sendfile(out_fd, in_fd, &pos, count, 0);
980 if (unlikely(put_user(pos, offset)))
981 return -EFAULT;
982 return ret;
983 }
984
985 return do_sendfile(out_fd, in_fd, NULL, count, 0);
986}