blob: 05ccb00cb4079d87b078f7c07aa9edb14e903315 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * linux/fs/pipe.c
3 *
4 * Copyright (C) 1991, 1992, 1999 Linus Torvalds
5 */
6
7#include <linux/mm.h>
8#include <linux/file.h>
9#include <linux/poll.h>
10#include <linux/slab.h>
11#include <linux/module.h>
12#include <linux/init.h>
13#include <linux/fs.h>
Jens Axboe35f3d142010-05-20 10:43:18 +020014#include <linux/log2.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include <linux/mount.h>
Muthu Kumarb502bd12012-03-23 15:01:50 -070016#include <linux/magic.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <linux/pipe_fs_i.h>
18#include <linux/uio.h>
19#include <linux/highmem.h>
Jens Axboe5274f052006-03-30 15:15:30 +020020#include <linux/pagemap.h>
Al Virodb349502007-02-07 01:48:00 -050021#include <linux/audit.h>
Ulrich Drepperba719ba2008-05-06 20:42:38 -070022#include <linux/syscalls.h>
Jens Axboeb492e952010-05-19 21:03:16 +020023#include <linux/fcntl.h>
Kent Overstreeta27bb332013-05-07 16:19:08 -070024#include <linux/aio.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070025
26#include <asm/uaccess.h>
27#include <asm/ioctls.h>
28
Al Viro599a0ac2013-03-12 09:58:10 -040029#include "internal.h"
30
Linus Torvalds1da177e2005-04-16 15:20:36 -070031/*
Jens Axboeb492e952010-05-19 21:03:16 +020032 * The max size that a non-root user is allowed to grow the pipe. Can
Jens Axboeff9da692010-06-03 14:54:39 +020033 * be set by root in /proc/sys/fs/pipe-max-size
Jens Axboeb492e952010-05-19 21:03:16 +020034 */
Jens Axboeff9da692010-06-03 14:54:39 +020035unsigned int pipe_max_size = 1048576;
36
37/*
38 * Minimum pipe size, as required by POSIX
39 */
40unsigned int pipe_min_size = PAGE_SIZE;
Jens Axboeb492e952010-05-19 21:03:16 +020041
42/*
Linus Torvalds1da177e2005-04-16 15:20:36 -070043 * We use a start+len construction, which provides full use of the
44 * allocated memory.
45 * -- Florian Coosmann (FGC)
46 *
47 * Reads with count = 0 should always return 0.
48 * -- Julian Bradfield 1999-06-07.
49 *
50 * FIFOs and Pipes now generate SIGIO for both readers and writers.
51 * -- Jeremy Elson <jelson@circlemud.org> 2001-08-16
52 *
53 * pipe_read & write cleanup
54 * -- Manfred Spraul <manfred@colorfullife.com> 2002-05-09
55 */
56
Miklos Szeredi61e0d472009-04-14 19:48:41 +020057static void pipe_lock_nested(struct pipe_inode_info *pipe, int subclass)
58{
Al Viro6447a3c2013-03-21 11:01:38 -040059 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040060 mutex_lock_nested(&pipe->mutex, subclass);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020061}
62
63void pipe_lock(struct pipe_inode_info *pipe)
64{
65 /*
66 * pipe_lock() nests non-pipe inode locks (for writing to a file)
67 */
68 pipe_lock_nested(pipe, I_MUTEX_PARENT);
69}
70EXPORT_SYMBOL(pipe_lock);
71
72void pipe_unlock(struct pipe_inode_info *pipe)
73{
Al Viro6447a3c2013-03-21 11:01:38 -040074 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040075 mutex_unlock(&pipe->mutex);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020076}
77EXPORT_SYMBOL(pipe_unlock);
78
Al Viroebec73f2013-03-21 12:24:01 -040079static inline void __pipe_lock(struct pipe_inode_info *pipe)
80{
81 mutex_lock_nested(&pipe->mutex, I_MUTEX_PARENT);
82}
83
84static inline void __pipe_unlock(struct pipe_inode_info *pipe)
85{
86 mutex_unlock(&pipe->mutex);
87}
88
Miklos Szeredi61e0d472009-04-14 19:48:41 +020089void pipe_double_lock(struct pipe_inode_info *pipe1,
90 struct pipe_inode_info *pipe2)
91{
92 BUG_ON(pipe1 == pipe2);
93
94 if (pipe1 < pipe2) {
95 pipe_lock_nested(pipe1, I_MUTEX_PARENT);
96 pipe_lock_nested(pipe2, I_MUTEX_CHILD);
97 } else {
Peter Zijlstra023d43c2009-07-21 10:09:23 +020098 pipe_lock_nested(pipe2, I_MUTEX_PARENT);
99 pipe_lock_nested(pipe1, I_MUTEX_CHILD);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200100 }
101}
102
Linus Torvalds1da177e2005-04-16 15:20:36 -0700103/* Drop the inode semaphore and wait for a pipe event, atomically */
Ingo Molnar3a326a22006-04-10 15:18:35 +0200104void pipe_wait(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700105{
106 DEFINE_WAIT(wait);
107
Ingo Molnard79fc0f2005-09-10 00:26:12 -0700108 /*
109 * Pipes are system-local resources, so sleeping on them
110 * is considered a noninteractive wait:
111 */
Mike Galbraithaf927232007-10-15 17:00:13 +0200112 prepare_to_wait(&pipe->wait, &wait, TASK_INTERRUPTIBLE);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200113 pipe_unlock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114 schedule();
Ingo Molnar3a326a22006-04-10 15:18:35 +0200115 finish_wait(&pipe->wait, &wait);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200116 pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700117}
118
Arjan van de Ven858119e2006-01-14 13:20:43 -0800119static int
Jens Axboef6762b72006-05-01 20:02:05 +0200120pipe_iov_copy_from_user(void *to, struct iovec *iov, unsigned long len,
121 int atomic)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122{
123 unsigned long copy;
124
125 while (len > 0) {
126 while (!iov->iov_len)
127 iov++;
128 copy = min_t(unsigned long, len, iov->iov_len);
129
Jens Axboef6762b72006-05-01 20:02:05 +0200130 if (atomic) {
131 if (__copy_from_user_inatomic(to, iov->iov_base, copy))
132 return -EFAULT;
133 } else {
134 if (copy_from_user(to, iov->iov_base, copy))
135 return -EFAULT;
136 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700137 to += copy;
138 len -= copy;
139 iov->iov_base += copy;
140 iov->iov_len -= copy;
141 }
142 return 0;
143}
144
Jens Axboef6762b72006-05-01 20:02:05 +0200145/*
146 * Pre-fault in the user memory, so we can use atomic copies.
147 */
148static void iov_fault_in_pages_read(struct iovec *iov, unsigned long len)
149{
150 while (!iov->iov_len)
151 iov++;
152
153 while (len > 0) {
154 unsigned long this_len;
155
156 this_len = min_t(unsigned long, len, iov->iov_len);
157 fault_in_pages_readable(iov->iov_base, this_len);
158 len -= this_len;
159 iov++;
160 }
161}
162
Ingo Molnar341b4462006-04-11 13:57:45 +0200163static void anon_pipe_buf_release(struct pipe_inode_info *pipe,
164 struct pipe_buffer *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700165{
166 struct page *page = buf->page;
167
Jens Axboe5274f052006-03-30 15:15:30 +0200168 /*
169 * If nobody else uses this page, and we don't already have a
170 * temporary page, let's keep track of it as a one-deep
Ingo Molnar341b4462006-04-11 13:57:45 +0200171 * allocation cache. (Otherwise just release our reference to it)
Jens Axboe5274f052006-03-30 15:15:30 +0200172 */
Ingo Molnar341b4462006-04-11 13:57:45 +0200173 if (page_count(page) == 1 && !pipe->tmp_page)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200174 pipe->tmp_page = page;
Ingo Molnar341b4462006-04-11 13:57:45 +0200175 else
176 page_cache_release(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700177}
178
Jens Axboe08457182007-06-12 20:51:32 +0200179/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800180 * generic_pipe_buf_steal - attempt to take ownership of a &pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200181 * @pipe: the pipe that the buffer belongs to
182 * @buf: the buffer to attempt to steal
183 *
184 * Description:
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800185 * This function attempts to steal the &struct page attached to
Jens Axboe08457182007-06-12 20:51:32 +0200186 * @buf. If successful, this function returns 0 and returns with
187 * the page locked. The caller may then reuse the page for whatever
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800188 * he wishes; the typical use is insertion into a different file
Jens Axboe08457182007-06-12 20:51:32 +0200189 * page cache.
190 */
Jens Axboe330ab712006-05-02 15:29:57 +0200191int generic_pipe_buf_steal(struct pipe_inode_info *pipe,
192 struct pipe_buffer *buf)
Jens Axboe5abc97a2006-03-30 15:16:46 +0200193{
Jens Axboe46e678c2006-04-30 16:36:32 +0200194 struct page *page = buf->page;
195
Jens Axboe08457182007-06-12 20:51:32 +0200196 /*
197 * A reference of one is golden, that means that the owner of this
198 * page is the only one holding a reference to it. lock the page
199 * and return OK.
200 */
Jens Axboe46e678c2006-04-30 16:36:32 +0200201 if (page_count(page) == 1) {
Jens Axboe46e678c2006-04-30 16:36:32 +0200202 lock_page(page);
203 return 0;
204 }
205
206 return 1;
Jens Axboe5abc97a2006-03-30 15:16:46 +0200207}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200208EXPORT_SYMBOL(generic_pipe_buf_steal);
Jens Axboe5abc97a2006-03-30 15:16:46 +0200209
Jens Axboe08457182007-06-12 20:51:32 +0200210/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800211 * generic_pipe_buf_get - get a reference to a &struct pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200212 * @pipe: the pipe that the buffer belongs to
213 * @buf: the buffer to get a reference to
214 *
215 * Description:
216 * This function grabs an extra reference to @buf. It's used in
217 * in the tee() system call, when we duplicate the buffers in one
218 * pipe into another.
219 */
220void generic_pipe_buf_get(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
Jens Axboe70524492006-04-11 15:51:17 +0200221{
222 page_cache_get(buf->page);
223}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200224EXPORT_SYMBOL(generic_pipe_buf_get);
Jens Axboe70524492006-04-11 15:51:17 +0200225
Jens Axboe08457182007-06-12 20:51:32 +0200226/**
227 * generic_pipe_buf_confirm - verify contents of the pipe buffer
Randy Dunlap79685b82007-07-27 08:08:51 +0200228 * @info: the pipe that the buffer belongs to
Jens Axboe08457182007-06-12 20:51:32 +0200229 * @buf: the buffer to confirm
230 *
231 * Description:
232 * This function does nothing, because the generic pipe code uses
233 * pages that are always good when inserted into the pipe.
234 */
Jens Axboecac36bb02007-06-14 13:10:48 +0200235int generic_pipe_buf_confirm(struct pipe_inode_info *info,
236 struct pipe_buffer *buf)
Jens Axboef84d7512006-05-01 19:59:03 +0200237{
238 return 0;
239}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200240EXPORT_SYMBOL(generic_pipe_buf_confirm);
Jens Axboef84d7512006-05-01 19:59:03 +0200241
Miklos Szeredi68181732009-05-07 15:37:36 +0200242/**
243 * generic_pipe_buf_release - put a reference to a &struct pipe_buffer
244 * @pipe: the pipe that the buffer belongs to
245 * @buf: the buffer to put a reference to
246 *
247 * Description:
248 * This function releases a reference to @buf.
249 */
250void generic_pipe_buf_release(struct pipe_inode_info *pipe,
251 struct pipe_buffer *buf)
252{
253 page_cache_release(buf->page);
254}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200255EXPORT_SYMBOL(generic_pipe_buf_release);
Miklos Szeredi68181732009-05-07 15:37:36 +0200256
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800257static const struct pipe_buf_operations anon_pipe_buf_ops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700258 .can_merge = 1,
Jens Axboecac36bb02007-06-14 13:10:48 +0200259 .confirm = generic_pipe_buf_confirm,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700260 .release = anon_pipe_buf_release,
Jens Axboe330ab712006-05-02 15:29:57 +0200261 .steal = generic_pipe_buf_steal,
Jens Axboef84d7512006-05-01 19:59:03 +0200262 .get = generic_pipe_buf_get,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700263};
264
Linus Torvalds98830352012-04-29 13:12:42 -0700265static const struct pipe_buf_operations packet_pipe_buf_ops = {
266 .can_merge = 0,
Linus Torvalds98830352012-04-29 13:12:42 -0700267 .confirm = generic_pipe_buf_confirm,
268 .release = anon_pipe_buf_release,
269 .steal = generic_pipe_buf_steal,
270 .get = generic_pipe_buf_get,
271};
272
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273static ssize_t
Al Virofb9096a2014-04-02 19:56:54 -0400274pipe_read(struct kiocb *iocb, struct iov_iter *to)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700275{
Al Virofb9096a2014-04-02 19:56:54 -0400276 size_t total_len = iov_iter_count(to);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700277 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400278 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700279 int do_wakeup;
280 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700281
Linus Torvalds1da177e2005-04-16 15:20:36 -0700282 /* Null read succeeds. */
283 if (unlikely(total_len == 0))
284 return 0;
285
286 do_wakeup = 0;
287 ret = 0;
Al Viroebec73f2013-03-21 12:24:01 -0400288 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700289 for (;;) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200290 int bufs = pipe->nrbufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700291 if (bufs) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200292 int curbuf = pipe->curbuf;
293 struct pipe_buffer *buf = pipe->bufs + curbuf;
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800294 const struct pipe_buf_operations *ops = buf->ops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700295 size_t chars = buf->len;
Al Viro637b58c2014-02-03 19:11:42 -0500296 size_t written;
297 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700298
299 if (chars > total_len)
300 chars = total_len;
301
Jens Axboecac36bb02007-06-14 13:10:48 +0200302 error = ops->confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200303 if (error) {
Jens Axboe5274f052006-03-30 15:15:30 +0200304 if (!ret)
Nicolas Kaisere5953cb2010-10-21 14:56:00 +0200305 ret = error;
Jens Axboe5274f052006-03-30 15:15:30 +0200306 break;
307 }
Jens Axboef84d7512006-05-01 19:59:03 +0200308
Al Virofb9096a2014-04-02 19:56:54 -0400309 written = copy_page_to_iter(buf->page, buf->offset, chars, to);
Al Viro637b58c2014-02-03 19:11:42 -0500310 if (unlikely(written < chars)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200311 if (!ret)
Al Viro637b58c2014-02-03 19:11:42 -0500312 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700313 break;
314 }
315 ret += chars;
316 buf->offset += chars;
317 buf->len -= chars;
Linus Torvalds98830352012-04-29 13:12:42 -0700318
319 /* Was it a packet buffer? Clean up and exit */
320 if (buf->flags & PIPE_BUF_FLAG_PACKET) {
321 total_len = chars;
322 buf->len = 0;
323 }
324
Linus Torvalds1da177e2005-04-16 15:20:36 -0700325 if (!buf->len) {
326 buf->ops = NULL;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200327 ops->release(pipe, buf);
Jens Axboe35f3d142010-05-20 10:43:18 +0200328 curbuf = (curbuf + 1) & (pipe->buffers - 1);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200329 pipe->curbuf = curbuf;
330 pipe->nrbufs = --bufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331 do_wakeup = 1;
332 }
333 total_len -= chars;
334 if (!total_len)
335 break; /* common path: read succeeded */
336 }
337 if (bufs) /* More to do? */
338 continue;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200339 if (!pipe->writers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340 break;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200341 if (!pipe->waiting_writers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700342 /* syscall merging: Usually we must not sleep
343 * if O_NONBLOCK is set, or if we got some data.
344 * But if a writer sleeps in kernel space, then
345 * we can wait for that data without violating POSIX.
346 */
347 if (ret)
348 break;
349 if (filp->f_flags & O_NONBLOCK) {
350 ret = -EAGAIN;
351 break;
352 }
353 }
354 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200355 if (!ret)
356 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700357 break;
358 }
359 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800360 wake_up_interruptible_sync_poll(&pipe->wait, POLLOUT | POLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200361 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700362 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200363 pipe_wait(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700364 }
Al Viroebec73f2013-03-21 12:24:01 -0400365 __pipe_unlock(pipe);
Ingo Molnar341b4462006-04-11 13:57:45 +0200366
367 /* Signal writers asynchronously that there is more room. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700368 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800369 wake_up_interruptible_sync_poll(&pipe->wait, POLLOUT | POLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200370 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700371 }
372 if (ret > 0)
373 file_accessed(filp);
374 return ret;
375}
376
Linus Torvalds98830352012-04-29 13:12:42 -0700377static inline int is_packetized(struct file *file)
378{
379 return (file->f_flags & O_DIRECT) != 0;
380}
381
Linus Torvalds1da177e2005-04-16 15:20:36 -0700382static ssize_t
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700383pipe_write(struct kiocb *iocb, const struct iovec *_iov,
384 unsigned long nr_segs, loff_t ppos)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700385{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700386 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400387 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700388 ssize_t ret;
389 int do_wakeup;
390 struct iovec *iov = (struct iovec *)_iov;
391 size_t total_len;
392 ssize_t chars;
393
394 total_len = iov_length(iov, nr_segs);
395 /* Null write succeeds. */
396 if (unlikely(total_len == 0))
397 return 0;
398
399 do_wakeup = 0;
400 ret = 0;
Al Viroebec73f2013-03-21 12:24:01 -0400401 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700402
Ingo Molnar923f4f22006-04-11 13:53:33 +0200403 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700404 send_sig(SIGPIPE, current, 0);
405 ret = -EPIPE;
406 goto out;
407 }
408
409 /* We try to merge small writes */
410 chars = total_len & (PAGE_SIZE-1); /* size of the last buffer */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200411 if (pipe->nrbufs && chars != 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200412 int lastbuf = (pipe->curbuf + pipe->nrbufs - 1) &
Jens Axboe35f3d142010-05-20 10:43:18 +0200413 (pipe->buffers - 1);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200414 struct pipe_buffer *buf = pipe->bufs + lastbuf;
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800415 const struct pipe_buf_operations *ops = buf->ops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700416 int offset = buf->offset + buf->len;
Ingo Molnar341b4462006-04-11 13:57:45 +0200417
Linus Torvalds1da177e2005-04-16 15:20:36 -0700418 if (ops->can_merge && offset + chars <= PAGE_SIZE) {
Jens Axboef6762b72006-05-01 20:02:05 +0200419 int error, atomic = 1;
Jens Axboe5274f052006-03-30 15:15:30 +0200420 void *addr;
Jens Axboe5274f052006-03-30 15:15:30 +0200421
Jens Axboecac36bb02007-06-14 13:10:48 +0200422 error = ops->confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200423 if (error)
Jens Axboe5274f052006-03-30 15:15:30 +0200424 goto out;
Jens Axboef84d7512006-05-01 19:59:03 +0200425
Jens Axboef6762b72006-05-01 20:02:05 +0200426 iov_fault_in_pages_read(iov, chars);
427redo1:
Al Virofbb32752014-02-02 21:09:54 -0500428 if (atomic)
429 addr = kmap_atomic(buf->page);
430 else
431 addr = kmap(buf->page);
Jens Axboe5274f052006-03-30 15:15:30 +0200432 error = pipe_iov_copy_from_user(offset + addr, iov,
Jens Axboef6762b72006-05-01 20:02:05 +0200433 chars, atomic);
Al Virofbb32752014-02-02 21:09:54 -0500434 if (atomic)
435 kunmap_atomic(addr);
436 else
437 kunmap(buf->page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700438 ret = error;
439 do_wakeup = 1;
Jens Axboef6762b72006-05-01 20:02:05 +0200440 if (error) {
441 if (atomic) {
442 atomic = 0;
443 goto redo1;
444 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700445 goto out;
Jens Axboef6762b72006-05-01 20:02:05 +0200446 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700447 buf->len += chars;
448 total_len -= chars;
449 ret = chars;
450 if (!total_len)
451 goto out;
452 }
453 }
454
455 for (;;) {
456 int bufs;
Ingo Molnar341b4462006-04-11 13:57:45 +0200457
Ingo Molnar923f4f22006-04-11 13:53:33 +0200458 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700459 send_sig(SIGPIPE, current, 0);
Ingo Molnar341b4462006-04-11 13:57:45 +0200460 if (!ret)
461 ret = -EPIPE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700462 break;
463 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200464 bufs = pipe->nrbufs;
Jens Axboe35f3d142010-05-20 10:43:18 +0200465 if (bufs < pipe->buffers) {
466 int newbuf = (pipe->curbuf + bufs) & (pipe->buffers-1);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200467 struct pipe_buffer *buf = pipe->bufs + newbuf;
468 struct page *page = pipe->tmp_page;
Jens Axboef6762b72006-05-01 20:02:05 +0200469 char *src;
470 int error, atomic = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700471
472 if (!page) {
473 page = alloc_page(GFP_HIGHUSER);
474 if (unlikely(!page)) {
475 ret = ret ? : -ENOMEM;
476 break;
477 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200478 pipe->tmp_page = page;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700479 }
Ingo Molnar341b4462006-04-11 13:57:45 +0200480 /* Always wake up, even if the copy fails. Otherwise
Linus Torvalds1da177e2005-04-16 15:20:36 -0700481 * we lock up (O_NONBLOCK-)readers that sleep due to
482 * syscall merging.
483 * FIXME! Is this really true?
484 */
485 do_wakeup = 1;
486 chars = PAGE_SIZE;
487 if (chars > total_len)
488 chars = total_len;
489
Jens Axboef6762b72006-05-01 20:02:05 +0200490 iov_fault_in_pages_read(iov, chars);
491redo2:
492 if (atomic)
Cong Wange8e3c3d2011-11-25 23:14:27 +0800493 src = kmap_atomic(page);
Jens Axboef6762b72006-05-01 20:02:05 +0200494 else
495 src = kmap(page);
496
497 error = pipe_iov_copy_from_user(src, iov, chars,
498 atomic);
499 if (atomic)
Cong Wange8e3c3d2011-11-25 23:14:27 +0800500 kunmap_atomic(src);
Jens Axboef6762b72006-05-01 20:02:05 +0200501 else
502 kunmap(page);
503
Linus Torvalds1da177e2005-04-16 15:20:36 -0700504 if (unlikely(error)) {
Jens Axboef6762b72006-05-01 20:02:05 +0200505 if (atomic) {
506 atomic = 0;
507 goto redo2;
508 }
Ingo Molnar341b4462006-04-11 13:57:45 +0200509 if (!ret)
Jens Axboef6762b72006-05-01 20:02:05 +0200510 ret = error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700511 break;
512 }
513 ret += chars;
514
515 /* Insert it into the buffer array */
516 buf->page = page;
517 buf->ops = &anon_pipe_buf_ops;
518 buf->offset = 0;
519 buf->len = chars;
Linus Torvalds98830352012-04-29 13:12:42 -0700520 buf->flags = 0;
521 if (is_packetized(filp)) {
522 buf->ops = &packet_pipe_buf_ops;
523 buf->flags = PIPE_BUF_FLAG_PACKET;
524 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200525 pipe->nrbufs = ++bufs;
526 pipe->tmp_page = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700527
528 total_len -= chars;
529 if (!total_len)
530 break;
531 }
Jens Axboe35f3d142010-05-20 10:43:18 +0200532 if (bufs < pipe->buffers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700533 continue;
534 if (filp->f_flags & O_NONBLOCK) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200535 if (!ret)
536 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700537 break;
538 }
539 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200540 if (!ret)
541 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700542 break;
543 }
544 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800545 wake_up_interruptible_sync_poll(&pipe->wait, POLLIN | POLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200546 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700547 do_wakeup = 0;
548 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200549 pipe->waiting_writers++;
550 pipe_wait(pipe);
551 pipe->waiting_writers--;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700552 }
553out:
Al Viroebec73f2013-03-21 12:24:01 -0400554 __pipe_unlock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700555 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800556 wake_up_interruptible_sync_poll(&pipe->wait, POLLIN | POLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200557 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700558 }
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800559 if (ret > 0 && sb_start_write_trylock(file_inode(filp)->i_sb)) {
Josef Bacikc3b2da32012-03-26 09:59:21 -0400560 int err = file_update_time(filp);
561 if (err)
562 ret = err;
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800563 sb_end_write(file_inode(filp)->i_sb);
Josef Bacikc3b2da32012-03-26 09:59:21 -0400564 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700565 return ret;
566}
567
Andi Kleend59d0b12008-02-08 04:21:23 -0800568static long pipe_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569{
Al Virode32ec42013-03-21 11:16:56 -0400570 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700571 int count, buf, nrbufs;
572
573 switch (cmd) {
574 case FIONREAD:
Al Viroebec73f2013-03-21 12:24:01 -0400575 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700576 count = 0;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200577 buf = pipe->curbuf;
578 nrbufs = pipe->nrbufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579 while (--nrbufs >= 0) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200580 count += pipe->bufs[buf].len;
Jens Axboe35f3d142010-05-20 10:43:18 +0200581 buf = (buf+1) & (pipe->buffers - 1);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700582 }
Al Viroebec73f2013-03-21 12:24:01 -0400583 __pipe_unlock(pipe);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200584
Linus Torvalds1da177e2005-04-16 15:20:36 -0700585 return put_user(count, (int __user *)arg);
586 default:
Will Deacon46ce3412012-05-25 11:39:13 +0100587 return -ENOIOCTLCMD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700588 }
589}
590
591/* No kernel lock held - fine */
592static unsigned int
593pipe_poll(struct file *filp, poll_table *wait)
594{
595 unsigned int mask;
Al Virode32ec42013-03-21 11:16:56 -0400596 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700597 int nrbufs;
598
Ingo Molnar923f4f22006-04-11 13:53:33 +0200599 poll_wait(filp, &pipe->wait, wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700600
601 /* Reading only -- no need for acquiring the semaphore. */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200602 nrbufs = pipe->nrbufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700603 mask = 0;
604 if (filp->f_mode & FMODE_READ) {
605 mask = (nrbufs > 0) ? POLLIN | POLLRDNORM : 0;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200606 if (!pipe->writers && filp->f_version != pipe->w_counter)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700607 mask |= POLLHUP;
608 }
609
610 if (filp->f_mode & FMODE_WRITE) {
Jens Axboe35f3d142010-05-20 10:43:18 +0200611 mask |= (nrbufs < pipe->buffers) ? POLLOUT | POLLWRNORM : 0;
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700612 /*
613 * Most Unices do not set POLLERR for FIFOs but on Linux they
614 * behave exactly like pipes for poll().
615 */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200616 if (!pipe->readers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700617 mask |= POLLERR;
618 }
619
620 return mask;
621}
622
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800623static void put_pipe_info(struct inode *inode, struct pipe_inode_info *pipe)
624{
625 int kill = 0;
626
627 spin_lock(&inode->i_lock);
628 if (!--pipe->files) {
629 inode->i_pipe = NULL;
630 kill = 1;
631 }
632 spin_unlock(&inode->i_lock);
633
634 if (kill)
635 free_pipe_info(pipe);
636}
637
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638static int
Al Viro599a0ac2013-03-12 09:58:10 -0400639pipe_release(struct inode *inode, struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640{
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800641 struct pipe_inode_info *pipe = file->private_data;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200642
Al Viroebec73f2013-03-21 12:24:01 -0400643 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400644 if (file->f_mode & FMODE_READ)
645 pipe->readers--;
646 if (file->f_mode & FMODE_WRITE)
647 pipe->writers--;
Ingo Molnar341b4462006-04-11 13:57:45 +0200648
Al Viroba5bb142013-03-21 02:21:19 -0400649 if (pipe->readers || pipe->writers) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800650 wake_up_interruptible_sync_poll(&pipe->wait, POLLIN | POLLOUT | POLLRDNORM | POLLWRNORM | POLLERR | POLLHUP);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200651 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
652 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700653 }
Al Viroebec73f2013-03-21 12:24:01 -0400654 __pipe_unlock(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400655
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800656 put_pipe_info(inode, pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700657 return 0;
658}
659
660static int
Al Viro599a0ac2013-03-12 09:58:10 -0400661pipe_fasync(int fd, struct file *filp, int on)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700662{
Al Virode32ec42013-03-21 11:16:56 -0400663 struct pipe_inode_info *pipe = filp->private_data;
Al Viro599a0ac2013-03-12 09:58:10 -0400664 int retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700665
Al Viroebec73f2013-03-21 12:24:01 -0400666 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400667 if (filp->f_mode & FMODE_READ)
668 retval = fasync_helper(fd, filp, on, &pipe->fasync_readers);
669 if ((filp->f_mode & FMODE_WRITE) && retval >= 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200670 retval = fasync_helper(fd, filp, on, &pipe->fasync_writers);
Al Viro599a0ac2013-03-12 09:58:10 -0400671 if (retval < 0 && (filp->f_mode & FMODE_READ))
672 /* this can happen only if on == T */
Oleg Nesterove5bc49b2009-03-12 14:31:28 -0700673 fasync_helper(-1, filp, 0, &pipe->fasync_readers);
674 }
Al Viroebec73f2013-03-21 12:24:01 -0400675 __pipe_unlock(pipe);
Jonathan Corbet60aa4922009-02-01 14:52:56 -0700676 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700677}
678
Al Viro7bee1302013-03-21 11:04:15 -0400679struct pipe_inode_info *alloc_pipe_info(void)
Ingo Molnar3a326a22006-04-10 15:18:35 +0200680{
Ingo Molnar923f4f22006-04-11 13:53:33 +0200681 struct pipe_inode_info *pipe;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200682
Ingo Molnar923f4f22006-04-11 13:53:33 +0200683 pipe = kzalloc(sizeof(struct pipe_inode_info), GFP_KERNEL);
684 if (pipe) {
Jens Axboe35f3d142010-05-20 10:43:18 +0200685 pipe->bufs = kzalloc(sizeof(struct pipe_buffer) * PIPE_DEF_BUFFERS, GFP_KERNEL);
686 if (pipe->bufs) {
687 init_waitqueue_head(&pipe->wait);
688 pipe->r_counter = pipe->w_counter = 1;
Jens Axboe35f3d142010-05-20 10:43:18 +0200689 pipe->buffers = PIPE_DEF_BUFFERS;
Al Viro72b0d9a2013-03-21 02:32:24 -0400690 mutex_init(&pipe->mutex);
Jens Axboe35f3d142010-05-20 10:43:18 +0200691 return pipe;
692 }
693 kfree(pipe);
Ingo Molnar3a326a22006-04-10 15:18:35 +0200694 }
695
Jens Axboe35f3d142010-05-20 10:43:18 +0200696 return NULL;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200697}
698
Al Viro4b8a8f12013-03-21 11:06:46 -0400699void free_pipe_info(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700700{
701 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700702
Jens Axboe35f3d142010-05-20 10:43:18 +0200703 for (i = 0; i < pipe->buffers; i++) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200704 struct pipe_buffer *buf = pipe->bufs + i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700705 if (buf->ops)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200706 buf->ops->release(pipe, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700707 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200708 if (pipe->tmp_page)
709 __free_page(pipe->tmp_page);
Jens Axboe35f3d142010-05-20 10:43:18 +0200710 kfree(pipe->bufs);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200711 kfree(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700712}
713
Eric Dumazetfa3536c2006-03-26 01:37:24 -0800714static struct vfsmount *pipe_mnt __read_mostly;
Ingo Molnar341b4462006-04-11 13:57:45 +0200715
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700716/*
717 * pipefs_dname() is called from d_path().
718 */
719static char *pipefs_dname(struct dentry *dentry, char *buffer, int buflen)
720{
721 return dynamic_dname(dentry, buffer, buflen, "pipe:[%lu]",
722 dentry->d_inode->i_ino);
723}
724
Al Viro3ba13d12009-02-20 06:02:22 +0000725static const struct dentry_operations pipefs_dentry_operations = {
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700726 .d_dname = pipefs_dname,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700727};
728
729static struct inode * get_pipe_inode(void)
730{
Eric Dumazeta209dfc2011-07-26 11:36:34 +0200731 struct inode *inode = new_inode_pseudo(pipe_mnt->mnt_sb);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200732 struct pipe_inode_info *pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700733
734 if (!inode)
735 goto fail_inode;
736
Christoph Hellwig85fe4022010-10-23 11:19:54 -0400737 inode->i_ino = get_next_ino();
738
Al Viro7bee1302013-03-21 11:04:15 -0400739 pipe = alloc_pipe_info();
Ingo Molnar923f4f22006-04-11 13:53:33 +0200740 if (!pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700741 goto fail_iput;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200742
Al Viroba5bb142013-03-21 02:21:19 -0400743 inode->i_pipe = pipe;
744 pipe->files = 2;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200745 pipe->readers = pipe->writers = 1;
Al Viro599a0ac2013-03-12 09:58:10 -0400746 inode->i_fop = &pipefifo_fops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700747
748 /*
749 * Mark the inode dirty from the very beginning,
750 * that way it will never be moved to the dirty
751 * list because "mark_inode_dirty()" will think
752 * that it already _is_ on the dirty list.
753 */
754 inode->i_state = I_DIRTY;
755 inode->i_mode = S_IFIFO | S_IRUSR | S_IWUSR;
David Howellsda9592e2008-11-14 10:39:05 +1100756 inode->i_uid = current_fsuid();
757 inode->i_gid = current_fsgid();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700758 inode->i_atime = inode->i_mtime = inode->i_ctime = CURRENT_TIME;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200759
Linus Torvalds1da177e2005-04-16 15:20:36 -0700760 return inode;
761
762fail_iput:
763 iput(inode);
Ingo Molnar341b4462006-04-11 13:57:45 +0200764
Linus Torvalds1da177e2005-04-16 15:20:36 -0700765fail_inode:
766 return NULL;
767}
768
Al Viroe4fad8e2012-07-21 15:33:25 +0400769int create_pipe_files(struct file **res, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700770{
Andi Kleend6cbd282006-09-30 23:29:26 -0700771 int err;
Al Viroe4fad8e2012-07-21 15:33:25 +0400772 struct inode *inode = get_pipe_inode();
Andi Kleend6cbd282006-09-30 23:29:26 -0700773 struct file *f;
Al Viro2c48b9c2009-08-09 00:52:35 +0400774 struct path path;
Al Viroe4fad8e2012-07-21 15:33:25 +0400775 static struct qstr name = { .name = "" };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700776
Linus Torvalds1da177e2005-04-16 15:20:36 -0700777 if (!inode)
Al Viroe4fad8e2012-07-21 15:33:25 +0400778 return -ENFILE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700779
Andi Kleend6cbd282006-09-30 23:29:26 -0700780 err = -ENOMEM;
Nick Piggin4b936882011-01-07 17:50:07 +1100781 path.dentry = d_alloc_pseudo(pipe_mnt->mnt_sb, &name);
Al Viro2c48b9c2009-08-09 00:52:35 +0400782 if (!path.dentry)
Andi Kleend6cbd282006-09-30 23:29:26 -0700783 goto err_inode;
Al Viro2c48b9c2009-08-09 00:52:35 +0400784 path.mnt = mntget(pipe_mnt);
Ingo Molnar341b4462006-04-11 13:57:45 +0200785
Al Viro2c48b9c2009-08-09 00:52:35 +0400786 d_instantiate(path.dentry, inode);
Dave Hansen430e2852008-02-15 14:37:26 -0800787
788 err = -ENFILE;
Al Viro599a0ac2013-03-12 09:58:10 -0400789 f = alloc_file(&path, FMODE_WRITE, &pipefifo_fops);
Anatol Pomozov39b65252012-09-12 20:11:55 -0700790 if (IS_ERR(f))
Dave Hansen430e2852008-02-15 14:37:26 -0800791 goto err_dentry;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700792
Linus Torvalds98830352012-04-29 13:12:42 -0700793 f->f_flags = O_WRONLY | (flags & (O_NONBLOCK | O_DIRECT));
Al Virode32ec42013-03-21 11:16:56 -0400794 f->private_data = inode->i_pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700795
Al Viro599a0ac2013-03-12 09:58:10 -0400796 res[0] = alloc_file(&path, FMODE_READ, &pipefifo_fops);
Anatol Pomozov39b65252012-09-12 20:11:55 -0700797 if (IS_ERR(res[0]))
Al Viroe4fad8e2012-07-21 15:33:25 +0400798 goto err_file;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700799
Al Viroe4fad8e2012-07-21 15:33:25 +0400800 path_get(&path);
Al Virode32ec42013-03-21 11:16:56 -0400801 res[0]->private_data = inode->i_pipe;
Al Viroe4fad8e2012-07-21 15:33:25 +0400802 res[0]->f_flags = O_RDONLY | (flags & O_NONBLOCK);
803 res[1] = f;
804 return 0;
805
806err_file:
807 put_filp(f);
808err_dentry:
Al Viro4b8a8f12013-03-21 11:06:46 -0400809 free_pipe_info(inode->i_pipe);
Al Viro2c48b9c2009-08-09 00:52:35 +0400810 path_put(&path);
Al Viroe4fad8e2012-07-21 15:33:25 +0400811 return err;
Al Viroed152432008-04-22 19:51:27 -0400812
Al Viroe4fad8e2012-07-21 15:33:25 +0400813err_inode:
Al Viro4b8a8f12013-03-21 11:06:46 -0400814 free_pipe_info(inode->i_pipe);
Andi Kleend6cbd282006-09-30 23:29:26 -0700815 iput(inode);
Al Viroe4fad8e2012-07-21 15:33:25 +0400816 return err;
Andi Kleend6cbd282006-09-30 23:29:26 -0700817}
818
Al Viro5b249b12012-08-19 12:17:29 -0400819static int __do_pipe_flags(int *fd, struct file **files, int flags)
Andi Kleend6cbd282006-09-30 23:29:26 -0700820{
Andi Kleend6cbd282006-09-30 23:29:26 -0700821 int error;
822 int fdw, fdr;
823
Linus Torvalds98830352012-04-29 13:12:42 -0700824 if (flags & ~(O_CLOEXEC | O_NONBLOCK | O_DIRECT))
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700825 return -EINVAL;
826
Al Viroe4fad8e2012-07-21 15:33:25 +0400827 error = create_pipe_files(files, flags);
828 if (error)
829 return error;
Andi Kleend6cbd282006-09-30 23:29:26 -0700830
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700831 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700832 if (error < 0)
833 goto err_read_pipe;
834 fdr = error;
835
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700836 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700837 if (error < 0)
838 goto err_fdr;
839 fdw = error;
840
Al Viro157cf642008-12-14 04:57:47 -0500841 audit_fd_pair(fdr, fdw);
Andi Kleend6cbd282006-09-30 23:29:26 -0700842 fd[0] = fdr;
843 fd[1] = fdw;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700844 return 0;
845
Andi Kleend6cbd282006-09-30 23:29:26 -0700846 err_fdr:
847 put_unused_fd(fdr);
848 err_read_pipe:
Al Viroe4fad8e2012-07-21 15:33:25 +0400849 fput(files[0]);
850 fput(files[1]);
Andi Kleend6cbd282006-09-30 23:29:26 -0700851 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700852}
853
Al Viro5b249b12012-08-19 12:17:29 -0400854int do_pipe_flags(int *fd, int flags)
855{
856 struct file *files[2];
857 int error = __do_pipe_flags(fd, files, flags);
858 if (!error) {
859 fd_install(fd[0], files[0]);
860 fd_install(fd[1], files[1]);
861 }
862 return error;
863}
864
Linus Torvalds1da177e2005-04-16 15:20:36 -0700865/*
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400866 * sys_pipe() is the normal C calling standard for creating
867 * a pipe. It's not the way Unix traditionally does this, though.
868 */
Heiko Carstensd4e82042009-01-14 14:14:34 +0100869SYSCALL_DEFINE2(pipe2, int __user *, fildes, int, flags)
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400870{
Al Viro5b249b12012-08-19 12:17:29 -0400871 struct file *files[2];
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400872 int fd[2];
873 int error;
874
Al Viro5b249b12012-08-19 12:17:29 -0400875 error = __do_pipe_flags(fd, files, flags);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400876 if (!error) {
Al Viro5b249b12012-08-19 12:17:29 -0400877 if (unlikely(copy_to_user(fildes, fd, sizeof(fd)))) {
878 fput(files[0]);
879 fput(files[1]);
880 put_unused_fd(fd[0]);
881 put_unused_fd(fd[1]);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400882 error = -EFAULT;
Al Viro5b249b12012-08-19 12:17:29 -0400883 } else {
884 fd_install(fd[0], files[0]);
885 fd_install(fd[1], files[1]);
Ulrich Drepperba719ba2008-05-06 20:42:38 -0700886 }
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400887 }
888 return error;
889}
890
Heiko Carstens2b664212009-01-14 14:14:35 +0100891SYSCALL_DEFINE1(pipe, int __user *, fildes)
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700892{
893 return sys_pipe2(fildes, 0);
894}
895
Al Virofc7478a2013-03-21 02:07:59 -0400896static int wait_for_partner(struct pipe_inode_info *pipe, unsigned int *cnt)
Al Virof776c732013-03-12 09:46:27 -0400897{
898 int cur = *cnt;
899
900 while (cur == *cnt) {
Al Virofc7478a2013-03-21 02:07:59 -0400901 pipe_wait(pipe);
Al Virof776c732013-03-12 09:46:27 -0400902 if (signal_pending(current))
903 break;
904 }
905 return cur == *cnt ? -ERESTARTSYS : 0;
906}
907
Al Virofc7478a2013-03-21 02:07:59 -0400908static void wake_up_partner(struct pipe_inode_info *pipe)
Al Virof776c732013-03-12 09:46:27 -0400909{
Al Virofc7478a2013-03-21 02:07:59 -0400910 wake_up_interruptible(&pipe->wait);
Al Virof776c732013-03-12 09:46:27 -0400911}
912
913static int fifo_open(struct inode *inode, struct file *filp)
914{
915 struct pipe_inode_info *pipe;
Al Viro599a0ac2013-03-12 09:58:10 -0400916 bool is_pipe = inode->i_sb->s_magic == PIPEFS_MAGIC;
Al Virof776c732013-03-12 09:46:27 -0400917 int ret;
918
Al Viroba5bb142013-03-21 02:21:19 -0400919 filp->f_version = 0;
920
921 spin_lock(&inode->i_lock);
922 if (inode->i_pipe) {
923 pipe = inode->i_pipe;
924 pipe->files++;
925 spin_unlock(&inode->i_lock);
926 } else {
927 spin_unlock(&inode->i_lock);
Al Viro7bee1302013-03-21 11:04:15 -0400928 pipe = alloc_pipe_info();
Al Virof776c732013-03-12 09:46:27 -0400929 if (!pipe)
Al Viroba5bb142013-03-21 02:21:19 -0400930 return -ENOMEM;
931 pipe->files = 1;
932 spin_lock(&inode->i_lock);
933 if (unlikely(inode->i_pipe)) {
934 inode->i_pipe->files++;
935 spin_unlock(&inode->i_lock);
Al Viro4b8a8f12013-03-21 11:06:46 -0400936 free_pipe_info(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400937 pipe = inode->i_pipe;
938 } else {
939 inode->i_pipe = pipe;
940 spin_unlock(&inode->i_lock);
941 }
Al Virof776c732013-03-12 09:46:27 -0400942 }
Al Virode32ec42013-03-21 11:16:56 -0400943 filp->private_data = pipe;
Al Viroba5bb142013-03-21 02:21:19 -0400944 /* OK, we have a pipe and it's pinned down */
945
Al Viroebec73f2013-03-21 12:24:01 -0400946 __pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -0400947
948 /* We can only do regular read/write on fifos */
949 filp->f_mode &= (FMODE_READ | FMODE_WRITE);
950
951 switch (filp->f_mode) {
952 case FMODE_READ:
953 /*
954 * O_RDONLY
955 * POSIX.1 says that O_NONBLOCK means return with the FIFO
956 * opened, even when there is no process writing the FIFO.
957 */
Al Virof776c732013-03-12 09:46:27 -0400958 pipe->r_counter++;
959 if (pipe->readers++ == 0)
Al Virofc7478a2013-03-21 02:07:59 -0400960 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -0400961
Al Viro599a0ac2013-03-12 09:58:10 -0400962 if (!is_pipe && !pipe->writers) {
Al Virof776c732013-03-12 09:46:27 -0400963 if ((filp->f_flags & O_NONBLOCK)) {
964 /* suppress POLLHUP until we have
965 * seen a writer */
966 filp->f_version = pipe->w_counter;
967 } else {
Al Virofc7478a2013-03-21 02:07:59 -0400968 if (wait_for_partner(pipe, &pipe->w_counter))
Al Virof776c732013-03-12 09:46:27 -0400969 goto err_rd;
970 }
971 }
972 break;
973
974 case FMODE_WRITE:
975 /*
976 * O_WRONLY
977 * POSIX.1 says that O_NONBLOCK means return -1 with
978 * errno=ENXIO when there is no process reading the FIFO.
979 */
980 ret = -ENXIO;
Al Viro599a0ac2013-03-12 09:58:10 -0400981 if (!is_pipe && (filp->f_flags & O_NONBLOCK) && !pipe->readers)
Al Virof776c732013-03-12 09:46:27 -0400982 goto err;
983
Al Virof776c732013-03-12 09:46:27 -0400984 pipe->w_counter++;
985 if (!pipe->writers++)
Al Virofc7478a2013-03-21 02:07:59 -0400986 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -0400987
Al Viro599a0ac2013-03-12 09:58:10 -0400988 if (!is_pipe && !pipe->readers) {
Al Virofc7478a2013-03-21 02:07:59 -0400989 if (wait_for_partner(pipe, &pipe->r_counter))
Al Virof776c732013-03-12 09:46:27 -0400990 goto err_wr;
991 }
992 break;
993
994 case FMODE_READ | FMODE_WRITE:
995 /*
996 * O_RDWR
997 * POSIX.1 leaves this case "undefined" when O_NONBLOCK is set.
998 * This implementation will NEVER block on a O_RDWR open, since
999 * the process can at least talk to itself.
1000 */
Al Virof776c732013-03-12 09:46:27 -04001001
1002 pipe->readers++;
1003 pipe->writers++;
1004 pipe->r_counter++;
1005 pipe->w_counter++;
1006 if (pipe->readers == 1 || pipe->writers == 1)
Al Virofc7478a2013-03-21 02:07:59 -04001007 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001008 break;
1009
1010 default:
1011 ret = -EINVAL;
1012 goto err;
1013 }
1014
1015 /* Ok! */
Al Viroebec73f2013-03-21 12:24:01 -04001016 __pipe_unlock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001017 return 0;
1018
1019err_rd:
1020 if (!--pipe->readers)
1021 wake_up_interruptible(&pipe->wait);
1022 ret = -ERESTARTSYS;
1023 goto err;
1024
1025err_wr:
1026 if (!--pipe->writers)
1027 wake_up_interruptible(&pipe->wait);
1028 ret = -ERESTARTSYS;
1029 goto err;
1030
1031err:
Al Viroebec73f2013-03-21 12:24:01 -04001032 __pipe_unlock(pipe);
Linus Torvaldsb0d8d222013-12-02 09:44:51 -08001033
1034 put_pipe_info(inode, pipe);
Al Virof776c732013-03-12 09:46:27 -04001035 return ret;
1036}
1037
Al Viro599a0ac2013-03-12 09:58:10 -04001038const struct file_operations pipefifo_fops = {
1039 .open = fifo_open,
1040 .llseek = no_llseek,
Al Virofb9096a2014-04-02 19:56:54 -04001041 .read = new_sync_read,
1042 .read_iter = pipe_read,
Al Viro599a0ac2013-03-12 09:58:10 -04001043 .write = do_sync_write,
1044 .aio_write = pipe_write,
1045 .poll = pipe_poll,
1046 .unlocked_ioctl = pipe_ioctl,
1047 .release = pipe_release,
1048 .fasync = pipe_fasync,
Al Virof776c732013-03-12 09:46:27 -04001049};
1050
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001051/*
Jens Axboe35f3d142010-05-20 10:43:18 +02001052 * Allocate a new array of pipe buffers and copy the info over. Returns the
1053 * pipe size if successful, or return -ERROR on error.
1054 */
Jens Axboeb9598db2010-05-24 19:34:43 +02001055static long pipe_set_size(struct pipe_inode_info *pipe, unsigned long nr_pages)
Jens Axboe35f3d142010-05-20 10:43:18 +02001056{
1057 struct pipe_buffer *bufs;
1058
1059 /*
Jens Axboe35f3d142010-05-20 10:43:18 +02001060 * We can shrink the pipe, if arg >= pipe->nrbufs. Since we don't
1061 * expect a lot of shrink+grow operations, just free and allocate
1062 * again like we would do for growing. If the pipe currently
1063 * contains more buffers than arg, then return busy.
1064 */
Jens Axboeb9598db2010-05-24 19:34:43 +02001065 if (nr_pages < pipe->nrbufs)
Jens Axboe35f3d142010-05-20 10:43:18 +02001066 return -EBUSY;
1067
Sasha Levin2ccd4f42012-01-12 17:17:40 -08001068 bufs = kcalloc(nr_pages, sizeof(*bufs), GFP_KERNEL | __GFP_NOWARN);
Jens Axboe35f3d142010-05-20 10:43:18 +02001069 if (unlikely(!bufs))
1070 return -ENOMEM;
1071
1072 /*
1073 * The pipe array wraps around, so just start the new one at zero
1074 * and adjust the indexes.
1075 */
1076 if (pipe->nrbufs) {
Miklos Szeredi1d862f42010-06-08 16:28:45 +02001077 unsigned int tail;
1078 unsigned int head;
Jens Axboe35f3d142010-05-20 10:43:18 +02001079
Miklos Szeredi1d862f42010-06-08 16:28:45 +02001080 tail = pipe->curbuf + pipe->nrbufs;
1081 if (tail < pipe->buffers)
1082 tail = 0;
1083 else
1084 tail &= (pipe->buffers - 1);
1085
1086 head = pipe->nrbufs - tail;
Jens Axboe35f3d142010-05-20 10:43:18 +02001087 if (head)
1088 memcpy(bufs, pipe->bufs + pipe->curbuf, head * sizeof(struct pipe_buffer));
1089 if (tail)
Miklos Szeredi1d862f42010-06-08 16:28:45 +02001090 memcpy(bufs + head, pipe->bufs, tail * sizeof(struct pipe_buffer));
Jens Axboe35f3d142010-05-20 10:43:18 +02001091 }
1092
1093 pipe->curbuf = 0;
1094 kfree(pipe->bufs);
1095 pipe->bufs = bufs;
Jens Axboeb9598db2010-05-24 19:34:43 +02001096 pipe->buffers = nr_pages;
1097 return nr_pages * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001098}
1099
Jens Axboeff9da692010-06-03 14:54:39 +02001100/*
1101 * Currently we rely on the pipe array holding a power-of-2 number
1102 * of pages.
1103 */
1104static inline unsigned int round_pipe_size(unsigned int size)
1105{
1106 unsigned long nr_pages;
1107
1108 nr_pages = (size + PAGE_SIZE - 1) >> PAGE_SHIFT;
1109 return roundup_pow_of_two(nr_pages) << PAGE_SHIFT;
1110}
1111
1112/*
1113 * This should work even if CONFIG_PROC_FS isn't set, as proc_dointvec_minmax
1114 * will return an error.
1115 */
1116int pipe_proc_fn(struct ctl_table *table, int write, void __user *buf,
1117 size_t *lenp, loff_t *ppos)
1118{
1119 int ret;
1120
1121 ret = proc_dointvec_minmax(table, write, buf, lenp, ppos);
1122 if (ret < 0 || !write)
1123 return ret;
1124
1125 pipe_max_size = round_pipe_size(pipe_max_size);
1126 return ret;
1127}
1128
Linus Torvalds72083642010-11-28 16:27:19 -08001129/*
1130 * After the inode slimming patch, i_pipe/i_bdev/i_cdev share the same
1131 * location, so checking ->i_pipe is not enough to verify that this is a
1132 * pipe.
1133 */
1134struct pipe_inode_info *get_pipe_info(struct file *file)
1135{
Al Virode32ec42013-03-21 11:16:56 -04001136 return file->f_op == &pipefifo_fops ? file->private_data : NULL;
Linus Torvalds72083642010-11-28 16:27:19 -08001137}
1138
Jens Axboe35f3d142010-05-20 10:43:18 +02001139long pipe_fcntl(struct file *file, unsigned int cmd, unsigned long arg)
1140{
1141 struct pipe_inode_info *pipe;
1142 long ret;
1143
Linus Torvaldsc66fb342010-11-28 14:09:57 -08001144 pipe = get_pipe_info(file);
Jens Axboe35f3d142010-05-20 10:43:18 +02001145 if (!pipe)
1146 return -EBADF;
1147
Al Viroebec73f2013-03-21 12:24:01 -04001148 __pipe_lock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001149
1150 switch (cmd) {
Jens Axboeb9598db2010-05-24 19:34:43 +02001151 case F_SETPIPE_SZ: {
Jens Axboeff9da692010-06-03 14:54:39 +02001152 unsigned int size, nr_pages;
Jens Axboeb9598db2010-05-24 19:34:43 +02001153
Jens Axboeff9da692010-06-03 14:54:39 +02001154 size = round_pipe_size(arg);
1155 nr_pages = size >> PAGE_SHIFT;
Jens Axboeb9598db2010-05-24 19:34:43 +02001156
Miklos Szeredi6db40cf2010-06-09 09:27:57 +02001157 ret = -EINVAL;
1158 if (!nr_pages)
1159 goto out;
1160
Jens Axboeff9da692010-06-03 14:54:39 +02001161 if (!capable(CAP_SYS_RESOURCE) && size > pipe_max_size) {
Jens Axboeb4ca7612010-06-01 12:42:12 +02001162 ret = -EPERM;
Julia Lawallcc967be2010-05-26 17:54:39 +02001163 goto out;
Julia Lawallcc967be2010-05-26 17:54:39 +02001164 }
Jens Axboeff9da692010-06-03 14:54:39 +02001165 ret = pipe_set_size(pipe, nr_pages);
Jens Axboe35f3d142010-05-20 10:43:18 +02001166 break;
Jens Axboeb9598db2010-05-24 19:34:43 +02001167 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001168 case F_GETPIPE_SZ:
Jens Axboeb9598db2010-05-24 19:34:43 +02001169 ret = pipe->buffers * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001170 break;
1171 default:
1172 ret = -EINVAL;
1173 break;
1174 }
1175
Julia Lawallcc967be2010-05-26 17:54:39 +02001176out:
Al Viroebec73f2013-03-21 12:24:01 -04001177 __pipe_unlock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001178 return ret;
1179}
1180
Nick Pigginff0c7d12011-01-07 17:49:50 +11001181static const struct super_operations pipefs_ops = {
1182 .destroy_inode = free_inode_nonrcu,
Pavel Emelyanovd70ef972011-10-31 17:10:04 -07001183 .statfs = simple_statfs,
Nick Pigginff0c7d12011-01-07 17:49:50 +11001184};
1185
Jens Axboe35f3d142010-05-20 10:43:18 +02001186/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001187 * pipefs should _never_ be mounted by userland - too much of security hassle,
1188 * no real gain from having the whole whorehouse mounted. So we don't need
1189 * any operations on the root directory. However, we need a non-trivial
1190 * d_name - pipe: will go nicely and kill the special-casing in procfs.
1191 */
Al Viro51139ad2010-07-25 23:47:46 +04001192static struct dentry *pipefs_mount(struct file_system_type *fs_type,
1193 int flags, const char *dev_name, void *data)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001194{
Al Viroc74a1cb2011-01-12 16:59:34 -05001195 return mount_pseudo(fs_type, "pipe:", &pipefs_ops,
1196 &pipefs_dentry_operations, PIPEFS_MAGIC);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001197}
1198
1199static struct file_system_type pipe_fs_type = {
1200 .name = "pipefs",
Al Viro51139ad2010-07-25 23:47:46 +04001201 .mount = pipefs_mount,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001202 .kill_sb = kill_anon_super,
1203};
1204
1205static int __init init_pipe_fs(void)
1206{
1207 int err = register_filesystem(&pipe_fs_type);
Ingo Molnar341b4462006-04-11 13:57:45 +02001208
Linus Torvalds1da177e2005-04-16 15:20:36 -07001209 if (!err) {
1210 pipe_mnt = kern_mount(&pipe_fs_type);
1211 if (IS_ERR(pipe_mnt)) {
1212 err = PTR_ERR(pipe_mnt);
1213 unregister_filesystem(&pipe_fs_type);
1214 }
1215 }
1216 return err;
1217}
1218
Linus Torvalds1da177e2005-04-16 15:20:36 -07001219fs_initcall(init_pipe_fs);