blob: 42cf8ddf0e5599da6621fcdf741d6a61fd2f2d7a [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>
Linus Torvalds1da177e2005-04-16 15:20:36 -070024
25#include <asm/uaccess.h>
26#include <asm/ioctls.h>
27
Al Viro599a0ac2013-03-12 09:58:10 -040028#include "internal.h"
29
Linus Torvalds1da177e2005-04-16 15:20:36 -070030/*
Jens Axboeb492e952010-05-19 21:03:16 +020031 * The max size that a non-root user is allowed to grow the pipe. Can
Jens Axboeff9da692010-06-03 14:54:39 +020032 * be set by root in /proc/sys/fs/pipe-max-size
Jens Axboeb492e952010-05-19 21:03:16 +020033 */
Jens Axboeff9da692010-06-03 14:54:39 +020034unsigned int pipe_max_size = 1048576;
35
36/*
37 * Minimum pipe size, as required by POSIX
38 */
39unsigned int pipe_min_size = PAGE_SIZE;
Jens Axboeb492e952010-05-19 21:03:16 +020040
41/*
Linus Torvalds1da177e2005-04-16 15:20:36 -070042 * We use a start+len construction, which provides full use of the
43 * allocated memory.
44 * -- Florian Coosmann (FGC)
45 *
46 * Reads with count = 0 should always return 0.
47 * -- Julian Bradfield 1999-06-07.
48 *
49 * FIFOs and Pipes now generate SIGIO for both readers and writers.
50 * -- Jeremy Elson <jelson@circlemud.org> 2001-08-16
51 *
52 * pipe_read & write cleanup
53 * -- Manfred Spraul <manfred@colorfullife.com> 2002-05-09
54 */
55
Miklos Szeredi61e0d472009-04-14 19:48:41 +020056static void pipe_lock_nested(struct pipe_inode_info *pipe, int subclass)
57{
Al Viro6447a3c2013-03-21 11:01:38 -040058 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040059 mutex_lock_nested(&pipe->mutex, subclass);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020060}
61
62void pipe_lock(struct pipe_inode_info *pipe)
63{
64 /*
65 * pipe_lock() nests non-pipe inode locks (for writing to a file)
66 */
67 pipe_lock_nested(pipe, I_MUTEX_PARENT);
68}
69EXPORT_SYMBOL(pipe_lock);
70
71void pipe_unlock(struct pipe_inode_info *pipe)
72{
Al Viro6447a3c2013-03-21 11:01:38 -040073 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040074 mutex_unlock(&pipe->mutex);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020075}
76EXPORT_SYMBOL(pipe_unlock);
77
Al Viroebec73f2013-03-21 12:24:01 -040078static inline void __pipe_lock(struct pipe_inode_info *pipe)
79{
80 mutex_lock_nested(&pipe->mutex, I_MUTEX_PARENT);
81}
82
83static inline void __pipe_unlock(struct pipe_inode_info *pipe)
84{
85 mutex_unlock(&pipe->mutex);
86}
87
Miklos Szeredi61e0d472009-04-14 19:48:41 +020088void pipe_double_lock(struct pipe_inode_info *pipe1,
89 struct pipe_inode_info *pipe2)
90{
91 BUG_ON(pipe1 == pipe2);
92
93 if (pipe1 < pipe2) {
94 pipe_lock_nested(pipe1, I_MUTEX_PARENT);
95 pipe_lock_nested(pipe2, I_MUTEX_CHILD);
96 } else {
Peter Zijlstra023d43c2009-07-21 10:09:23 +020097 pipe_lock_nested(pipe2, I_MUTEX_PARENT);
98 pipe_lock_nested(pipe1, I_MUTEX_CHILD);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020099 }
100}
101
Linus Torvalds1da177e2005-04-16 15:20:36 -0700102/* Drop the inode semaphore and wait for a pipe event, atomically */
Ingo Molnar3a326a22006-04-10 15:18:35 +0200103void pipe_wait(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700104{
105 DEFINE_WAIT(wait);
106
Ingo Molnard79fc0f2005-09-10 00:26:12 -0700107 /*
108 * Pipes are system-local resources, so sleeping on them
109 * is considered a noninteractive wait:
110 */
Mike Galbraithaf927232007-10-15 17:00:13 +0200111 prepare_to_wait(&pipe->wait, &wait, TASK_INTERRUPTIBLE);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200112 pipe_unlock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700113 schedule();
Ingo Molnar3a326a22006-04-10 15:18:35 +0200114 finish_wait(&pipe->wait, &wait);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200115 pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116}
117
Ingo Molnar341b4462006-04-11 13:57:45 +0200118static void anon_pipe_buf_release(struct pipe_inode_info *pipe,
119 struct pipe_buffer *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120{
121 struct page *page = buf->page;
122
Jens Axboe5274f052006-03-30 15:15:30 +0200123 /*
124 * If nobody else uses this page, and we don't already have a
125 * temporary page, let's keep track of it as a one-deep
Ingo Molnar341b4462006-04-11 13:57:45 +0200126 * allocation cache. (Otherwise just release our reference to it)
Jens Axboe5274f052006-03-30 15:15:30 +0200127 */
Ingo Molnar341b4462006-04-11 13:57:45 +0200128 if (page_count(page) == 1 && !pipe->tmp_page)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200129 pipe->tmp_page = page;
Ingo Molnar341b4462006-04-11 13:57:45 +0200130 else
131 page_cache_release(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700132}
133
Jens Axboe08457182007-06-12 20:51:32 +0200134/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800135 * generic_pipe_buf_steal - attempt to take ownership of a &pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200136 * @pipe: the pipe that the buffer belongs to
137 * @buf: the buffer to attempt to steal
138 *
139 * Description:
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800140 * This function attempts to steal the &struct page attached to
Jens Axboe08457182007-06-12 20:51:32 +0200141 * @buf. If successful, this function returns 0 and returns with
142 * the page locked. The caller may then reuse the page for whatever
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800143 * he wishes; the typical use is insertion into a different file
Jens Axboe08457182007-06-12 20:51:32 +0200144 * page cache.
145 */
Jens Axboe330ab712006-05-02 15:29:57 +0200146int generic_pipe_buf_steal(struct pipe_inode_info *pipe,
147 struct pipe_buffer *buf)
Jens Axboe5abc97a2006-03-30 15:16:46 +0200148{
Jens Axboe46e678c2006-04-30 16:36:32 +0200149 struct page *page = buf->page;
150
Jens Axboe08457182007-06-12 20:51:32 +0200151 /*
152 * A reference of one is golden, that means that the owner of this
153 * page is the only one holding a reference to it. lock the page
154 * and return OK.
155 */
Jens Axboe46e678c2006-04-30 16:36:32 +0200156 if (page_count(page) == 1) {
Jens Axboe46e678c2006-04-30 16:36:32 +0200157 lock_page(page);
158 return 0;
159 }
160
161 return 1;
Jens Axboe5abc97a2006-03-30 15:16:46 +0200162}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200163EXPORT_SYMBOL(generic_pipe_buf_steal);
Jens Axboe5abc97a2006-03-30 15:16:46 +0200164
Jens Axboe08457182007-06-12 20:51:32 +0200165/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800166 * generic_pipe_buf_get - get a reference to a &struct pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200167 * @pipe: the pipe that the buffer belongs to
168 * @buf: the buffer to get a reference to
169 *
170 * Description:
171 * This function grabs an extra reference to @buf. It's used in
172 * in the tee() system call, when we duplicate the buffers in one
173 * pipe into another.
174 */
175void generic_pipe_buf_get(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
Jens Axboe70524492006-04-11 15:51:17 +0200176{
177 page_cache_get(buf->page);
178}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200179EXPORT_SYMBOL(generic_pipe_buf_get);
Jens Axboe70524492006-04-11 15:51:17 +0200180
Jens Axboe08457182007-06-12 20:51:32 +0200181/**
182 * generic_pipe_buf_confirm - verify contents of the pipe buffer
Randy Dunlap79685b82007-07-27 08:08:51 +0200183 * @info: the pipe that the buffer belongs to
Jens Axboe08457182007-06-12 20:51:32 +0200184 * @buf: the buffer to confirm
185 *
186 * Description:
187 * This function does nothing, because the generic pipe code uses
188 * pages that are always good when inserted into the pipe.
189 */
Jens Axboecac36bb02007-06-14 13:10:48 +0200190int generic_pipe_buf_confirm(struct pipe_inode_info *info,
191 struct pipe_buffer *buf)
Jens Axboef84d7512006-05-01 19:59:03 +0200192{
193 return 0;
194}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200195EXPORT_SYMBOL(generic_pipe_buf_confirm);
Jens Axboef84d7512006-05-01 19:59:03 +0200196
Miklos Szeredi68181732009-05-07 15:37:36 +0200197/**
198 * generic_pipe_buf_release - put a reference to a &struct pipe_buffer
199 * @pipe: the pipe that the buffer belongs to
200 * @buf: the buffer to put a reference to
201 *
202 * Description:
203 * This function releases a reference to @buf.
204 */
205void generic_pipe_buf_release(struct pipe_inode_info *pipe,
206 struct pipe_buffer *buf)
207{
208 page_cache_release(buf->page);
209}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200210EXPORT_SYMBOL(generic_pipe_buf_release);
Miklos Szeredi68181732009-05-07 15:37:36 +0200211
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800212static const struct pipe_buf_operations anon_pipe_buf_ops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700213 .can_merge = 1,
Jens Axboecac36bb02007-06-14 13:10:48 +0200214 .confirm = generic_pipe_buf_confirm,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700215 .release = anon_pipe_buf_release,
Jens Axboe330ab712006-05-02 15:29:57 +0200216 .steal = generic_pipe_buf_steal,
Jens Axboef84d7512006-05-01 19:59:03 +0200217 .get = generic_pipe_buf_get,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700218};
219
Linus Torvalds98830352012-04-29 13:12:42 -0700220static const struct pipe_buf_operations packet_pipe_buf_ops = {
221 .can_merge = 0,
Linus Torvalds98830352012-04-29 13:12:42 -0700222 .confirm = generic_pipe_buf_confirm,
223 .release = anon_pipe_buf_release,
224 .steal = generic_pipe_buf_steal,
225 .get = generic_pipe_buf_get,
226};
227
Linus Torvalds1da177e2005-04-16 15:20:36 -0700228static ssize_t
Al Virofb9096a2014-04-02 19:56:54 -0400229pipe_read(struct kiocb *iocb, struct iov_iter *to)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700230{
Al Virofb9096a2014-04-02 19:56:54 -0400231 size_t total_len = iov_iter_count(to);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700232 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400233 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700234 int do_wakeup;
235 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700236
Linus Torvalds1da177e2005-04-16 15:20:36 -0700237 /* Null read succeeds. */
238 if (unlikely(total_len == 0))
239 return 0;
240
241 do_wakeup = 0;
242 ret = 0;
Al Viroebec73f2013-03-21 12:24:01 -0400243 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700244 for (;;) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200245 int bufs = pipe->nrbufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700246 if (bufs) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200247 int curbuf = pipe->curbuf;
248 struct pipe_buffer *buf = pipe->bufs + curbuf;
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800249 const struct pipe_buf_operations *ops = buf->ops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700250 size_t chars = buf->len;
Al Viro637b58c2014-02-03 19:11:42 -0500251 size_t written;
252 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700253
254 if (chars > total_len)
255 chars = total_len;
256
Jens Axboecac36bb02007-06-14 13:10:48 +0200257 error = ops->confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200258 if (error) {
Jens Axboe5274f052006-03-30 15:15:30 +0200259 if (!ret)
Nicolas Kaisere5953cb2010-10-21 14:56:00 +0200260 ret = error;
Jens Axboe5274f052006-03-30 15:15:30 +0200261 break;
262 }
Jens Axboef84d7512006-05-01 19:59:03 +0200263
Al Virofb9096a2014-04-02 19:56:54 -0400264 written = copy_page_to_iter(buf->page, buf->offset, chars, to);
Al Viro637b58c2014-02-03 19:11:42 -0500265 if (unlikely(written < chars)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200266 if (!ret)
Al Viro637b58c2014-02-03 19:11:42 -0500267 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700268 break;
269 }
270 ret += chars;
271 buf->offset += chars;
272 buf->len -= chars;
Linus Torvalds98830352012-04-29 13:12:42 -0700273
274 /* Was it a packet buffer? Clean up and exit */
275 if (buf->flags & PIPE_BUF_FLAG_PACKET) {
276 total_len = chars;
277 buf->len = 0;
278 }
279
Linus Torvalds1da177e2005-04-16 15:20:36 -0700280 if (!buf->len) {
281 buf->ops = NULL;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200282 ops->release(pipe, buf);
Jens Axboe35f3d142010-05-20 10:43:18 +0200283 curbuf = (curbuf + 1) & (pipe->buffers - 1);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200284 pipe->curbuf = curbuf;
285 pipe->nrbufs = --bufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700286 do_wakeup = 1;
287 }
288 total_len -= chars;
289 if (!total_len)
290 break; /* common path: read succeeded */
291 }
292 if (bufs) /* More to do? */
293 continue;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200294 if (!pipe->writers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700295 break;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200296 if (!pipe->waiting_writers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700297 /* syscall merging: Usually we must not sleep
298 * if O_NONBLOCK is set, or if we got some data.
299 * But if a writer sleeps in kernel space, then
300 * we can wait for that data without violating POSIX.
301 */
302 if (ret)
303 break;
304 if (filp->f_flags & O_NONBLOCK) {
305 ret = -EAGAIN;
306 break;
307 }
308 }
309 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200310 if (!ret)
311 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700312 break;
313 }
314 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800315 wake_up_interruptible_sync_poll(&pipe->wait, POLLOUT | POLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200316 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200318 pipe_wait(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700319 }
Al Viroebec73f2013-03-21 12:24:01 -0400320 __pipe_unlock(pipe);
Ingo Molnar341b4462006-04-11 13:57:45 +0200321
322 /* Signal writers asynchronously that there is more room. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700323 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800324 wake_up_interruptible_sync_poll(&pipe->wait, POLLOUT | POLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200325 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700326 }
327 if (ret > 0)
328 file_accessed(filp);
329 return ret;
330}
331
Linus Torvalds98830352012-04-29 13:12:42 -0700332static inline int is_packetized(struct file *file)
333{
334 return (file->f_flags & O_DIRECT) != 0;
335}
336
Linus Torvalds1da177e2005-04-16 15:20:36 -0700337static ssize_t
Al Virof0d1bec2014-04-03 15:05:18 -0400338pipe_write(struct kiocb *iocb, struct iov_iter *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700339{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700340 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400341 struct pipe_inode_info *pipe = filp->private_data;
Al Virof0d1bec2014-04-03 15:05:18 -0400342 ssize_t ret = 0;
343 int do_wakeup = 0;
344 size_t total_len = iov_iter_count(from);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700345 ssize_t chars;
346
Linus Torvalds1da177e2005-04-16 15:20:36 -0700347 /* Null write succeeds. */
348 if (unlikely(total_len == 0))
349 return 0;
350
Al Viroebec73f2013-03-21 12:24:01 -0400351 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700352
Ingo Molnar923f4f22006-04-11 13:53:33 +0200353 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700354 send_sig(SIGPIPE, current, 0);
355 ret = -EPIPE;
356 goto out;
357 }
358
359 /* We try to merge small writes */
360 chars = total_len & (PAGE_SIZE-1); /* size of the last buffer */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200361 if (pipe->nrbufs && chars != 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200362 int lastbuf = (pipe->curbuf + pipe->nrbufs - 1) &
Jens Axboe35f3d142010-05-20 10:43:18 +0200363 (pipe->buffers - 1);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200364 struct pipe_buffer *buf = pipe->bufs + lastbuf;
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800365 const struct pipe_buf_operations *ops = buf->ops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700366 int offset = buf->offset + buf->len;
Ingo Molnar341b4462006-04-11 13:57:45 +0200367
Linus Torvalds1da177e2005-04-16 15:20:36 -0700368 if (ops->can_merge && offset + chars <= PAGE_SIZE) {
Eric Biggers6ae08062015-10-17 16:26:09 -0500369 ret = ops->confirm(pipe, buf);
370 if (ret)
Jens Axboe5274f052006-03-30 15:15:30 +0200371 goto out;
Jens Axboef84d7512006-05-01 19:59:03 +0200372
Al Virof0d1bec2014-04-03 15:05:18 -0400373 ret = copy_page_from_iter(buf->page, offset, chars, from);
374 if (unlikely(ret < chars)) {
Eric Biggers6ae08062015-10-17 16:26:09 -0500375 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700376 goto out;
Jens Axboef6762b72006-05-01 20:02:05 +0200377 }
Al Virof0d1bec2014-04-03 15:05:18 -0400378 do_wakeup = 1;
Eric Biggers6ae08062015-10-17 16:26:09 -0500379 buf->len += ret;
Al Virof0d1bec2014-04-03 15:05:18 -0400380 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700381 goto out;
382 }
383 }
384
385 for (;;) {
386 int bufs;
Ingo Molnar341b4462006-04-11 13:57:45 +0200387
Ingo Molnar923f4f22006-04-11 13:53:33 +0200388 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700389 send_sig(SIGPIPE, current, 0);
Ingo Molnar341b4462006-04-11 13:57:45 +0200390 if (!ret)
391 ret = -EPIPE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700392 break;
393 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200394 bufs = pipe->nrbufs;
Jens Axboe35f3d142010-05-20 10:43:18 +0200395 if (bufs < pipe->buffers) {
396 int newbuf = (pipe->curbuf + bufs) & (pipe->buffers-1);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200397 struct pipe_buffer *buf = pipe->bufs + newbuf;
398 struct page *page = pipe->tmp_page;
Al Virof0d1bec2014-04-03 15:05:18 -0400399 int copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700400
401 if (!page) {
402 page = alloc_page(GFP_HIGHUSER);
403 if (unlikely(!page)) {
404 ret = ret ? : -ENOMEM;
405 break;
406 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200407 pipe->tmp_page = page;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700408 }
Ingo Molnar341b4462006-04-11 13:57:45 +0200409 /* Always wake up, even if the copy fails. Otherwise
Linus Torvalds1da177e2005-04-16 15:20:36 -0700410 * we lock up (O_NONBLOCK-)readers that sleep due to
411 * syscall merging.
412 * FIXME! Is this really true?
413 */
414 do_wakeup = 1;
Al Virof0d1bec2014-04-03 15:05:18 -0400415 copied = copy_page_from_iter(page, 0, PAGE_SIZE, from);
416 if (unlikely(copied < PAGE_SIZE && iov_iter_count(from))) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200417 if (!ret)
Al Virof0d1bec2014-04-03 15:05:18 -0400418 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700419 break;
420 }
Al Virof0d1bec2014-04-03 15:05:18 -0400421 ret += copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700422
423 /* Insert it into the buffer array */
424 buf->page = page;
425 buf->ops = &anon_pipe_buf_ops;
426 buf->offset = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400427 buf->len = copied;
Linus Torvalds98830352012-04-29 13:12:42 -0700428 buf->flags = 0;
429 if (is_packetized(filp)) {
430 buf->ops = &packet_pipe_buf_ops;
431 buf->flags = PIPE_BUF_FLAG_PACKET;
432 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200433 pipe->nrbufs = ++bufs;
434 pipe->tmp_page = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700435
Al Virof0d1bec2014-04-03 15:05:18 -0400436 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700437 break;
438 }
Jens Axboe35f3d142010-05-20 10:43:18 +0200439 if (bufs < pipe->buffers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700440 continue;
441 if (filp->f_flags & O_NONBLOCK) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200442 if (!ret)
443 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700444 break;
445 }
446 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200447 if (!ret)
448 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700449 break;
450 }
451 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800452 wake_up_interruptible_sync_poll(&pipe->wait, POLLIN | POLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200453 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700454 do_wakeup = 0;
455 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200456 pipe->waiting_writers++;
457 pipe_wait(pipe);
458 pipe->waiting_writers--;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700459 }
460out:
Al Viroebec73f2013-03-21 12:24:01 -0400461 __pipe_unlock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700462 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800463 wake_up_interruptible_sync_poll(&pipe->wait, POLLIN | POLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200464 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700465 }
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800466 if (ret > 0 && sb_start_write_trylock(file_inode(filp)->i_sb)) {
Josef Bacikc3b2da32012-03-26 09:59:21 -0400467 int err = file_update_time(filp);
468 if (err)
469 ret = err;
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800470 sb_end_write(file_inode(filp)->i_sb);
Josef Bacikc3b2da32012-03-26 09:59:21 -0400471 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700472 return ret;
473}
474
Andi Kleend59d0b12008-02-08 04:21:23 -0800475static long pipe_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476{
Al Virode32ec42013-03-21 11:16:56 -0400477 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700478 int count, buf, nrbufs;
479
480 switch (cmd) {
481 case FIONREAD:
Al Viroebec73f2013-03-21 12:24:01 -0400482 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700483 count = 0;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200484 buf = pipe->curbuf;
485 nrbufs = pipe->nrbufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700486 while (--nrbufs >= 0) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200487 count += pipe->bufs[buf].len;
Jens Axboe35f3d142010-05-20 10:43:18 +0200488 buf = (buf+1) & (pipe->buffers - 1);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700489 }
Al Viroebec73f2013-03-21 12:24:01 -0400490 __pipe_unlock(pipe);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200491
Linus Torvalds1da177e2005-04-16 15:20:36 -0700492 return put_user(count, (int __user *)arg);
493 default:
Will Deacon46ce3412012-05-25 11:39:13 +0100494 return -ENOIOCTLCMD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700495 }
496}
497
498/* No kernel lock held - fine */
499static unsigned int
500pipe_poll(struct file *filp, poll_table *wait)
501{
502 unsigned int mask;
Al Virode32ec42013-03-21 11:16:56 -0400503 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700504 int nrbufs;
505
Ingo Molnar923f4f22006-04-11 13:53:33 +0200506 poll_wait(filp, &pipe->wait, wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700507
508 /* Reading only -- no need for acquiring the semaphore. */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200509 nrbufs = pipe->nrbufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700510 mask = 0;
511 if (filp->f_mode & FMODE_READ) {
512 mask = (nrbufs > 0) ? POLLIN | POLLRDNORM : 0;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200513 if (!pipe->writers && filp->f_version != pipe->w_counter)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700514 mask |= POLLHUP;
515 }
516
517 if (filp->f_mode & FMODE_WRITE) {
Jens Axboe35f3d142010-05-20 10:43:18 +0200518 mask |= (nrbufs < pipe->buffers) ? POLLOUT | POLLWRNORM : 0;
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700519 /*
520 * Most Unices do not set POLLERR for FIFOs but on Linux they
521 * behave exactly like pipes for poll().
522 */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200523 if (!pipe->readers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700524 mask |= POLLERR;
525 }
526
527 return mask;
528}
529
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800530static void put_pipe_info(struct inode *inode, struct pipe_inode_info *pipe)
531{
532 int kill = 0;
533
534 spin_lock(&inode->i_lock);
535 if (!--pipe->files) {
536 inode->i_pipe = NULL;
537 kill = 1;
538 }
539 spin_unlock(&inode->i_lock);
540
541 if (kill)
542 free_pipe_info(pipe);
543}
544
Linus Torvalds1da177e2005-04-16 15:20:36 -0700545static int
Al Viro599a0ac2013-03-12 09:58:10 -0400546pipe_release(struct inode *inode, struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700547{
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800548 struct pipe_inode_info *pipe = file->private_data;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200549
Al Viroebec73f2013-03-21 12:24:01 -0400550 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400551 if (file->f_mode & FMODE_READ)
552 pipe->readers--;
553 if (file->f_mode & FMODE_WRITE)
554 pipe->writers--;
Ingo Molnar341b4462006-04-11 13:57:45 +0200555
Al Viroba5bb142013-03-21 02:21:19 -0400556 if (pipe->readers || pipe->writers) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800557 wake_up_interruptible_sync_poll(&pipe->wait, POLLIN | POLLOUT | POLLRDNORM | POLLWRNORM | POLLERR | POLLHUP);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200558 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
559 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700560 }
Al Viroebec73f2013-03-21 12:24:01 -0400561 __pipe_unlock(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400562
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800563 put_pipe_info(inode, pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700564 return 0;
565}
566
567static int
Al Viro599a0ac2013-03-12 09:58:10 -0400568pipe_fasync(int fd, struct file *filp, int on)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569{
Al Virode32ec42013-03-21 11:16:56 -0400570 struct pipe_inode_info *pipe = filp->private_data;
Al Viro599a0ac2013-03-12 09:58:10 -0400571 int retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700572
Al Viroebec73f2013-03-21 12:24:01 -0400573 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400574 if (filp->f_mode & FMODE_READ)
575 retval = fasync_helper(fd, filp, on, &pipe->fasync_readers);
576 if ((filp->f_mode & FMODE_WRITE) && retval >= 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200577 retval = fasync_helper(fd, filp, on, &pipe->fasync_writers);
Al Viro599a0ac2013-03-12 09:58:10 -0400578 if (retval < 0 && (filp->f_mode & FMODE_READ))
579 /* this can happen only if on == T */
Oleg Nesterove5bc49b2009-03-12 14:31:28 -0700580 fasync_helper(-1, filp, 0, &pipe->fasync_readers);
581 }
Al Viroebec73f2013-03-21 12:24:01 -0400582 __pipe_unlock(pipe);
Jonathan Corbet60aa4922009-02-01 14:52:56 -0700583 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700584}
585
Al Viro7bee1302013-03-21 11:04:15 -0400586struct pipe_inode_info *alloc_pipe_info(void)
Ingo Molnar3a326a22006-04-10 15:18:35 +0200587{
Ingo Molnar923f4f22006-04-11 13:53:33 +0200588 struct pipe_inode_info *pipe;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200589
Ingo Molnar923f4f22006-04-11 13:53:33 +0200590 pipe = kzalloc(sizeof(struct pipe_inode_info), GFP_KERNEL);
591 if (pipe) {
Jens Axboe35f3d142010-05-20 10:43:18 +0200592 pipe->bufs = kzalloc(sizeof(struct pipe_buffer) * PIPE_DEF_BUFFERS, GFP_KERNEL);
593 if (pipe->bufs) {
594 init_waitqueue_head(&pipe->wait);
595 pipe->r_counter = pipe->w_counter = 1;
Jens Axboe35f3d142010-05-20 10:43:18 +0200596 pipe->buffers = PIPE_DEF_BUFFERS;
Al Viro72b0d9a2013-03-21 02:32:24 -0400597 mutex_init(&pipe->mutex);
Jens Axboe35f3d142010-05-20 10:43:18 +0200598 return pipe;
599 }
600 kfree(pipe);
Ingo Molnar3a326a22006-04-10 15:18:35 +0200601 }
602
Jens Axboe35f3d142010-05-20 10:43:18 +0200603 return NULL;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200604}
605
Al Viro4b8a8f12013-03-21 11:06:46 -0400606void free_pipe_info(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700607{
608 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609
Jens Axboe35f3d142010-05-20 10:43:18 +0200610 for (i = 0; i < pipe->buffers; i++) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200611 struct pipe_buffer *buf = pipe->bufs + i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700612 if (buf->ops)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200613 buf->ops->release(pipe, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700614 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200615 if (pipe->tmp_page)
616 __free_page(pipe->tmp_page);
Jens Axboe35f3d142010-05-20 10:43:18 +0200617 kfree(pipe->bufs);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200618 kfree(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619}
620
Eric Dumazetfa3536c2006-03-26 01:37:24 -0800621static struct vfsmount *pipe_mnt __read_mostly;
Ingo Molnar341b4462006-04-11 13:57:45 +0200622
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700623/*
624 * pipefs_dname() is called from d_path().
625 */
626static char *pipefs_dname(struct dentry *dentry, char *buffer, int buflen)
627{
628 return dynamic_dname(dentry, buffer, buflen, "pipe:[%lu]",
David Howells75c3cfa2015-03-17 22:26:12 +0000629 d_inode(dentry)->i_ino);
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700630}
631
Al Viro3ba13d12009-02-20 06:02:22 +0000632static const struct dentry_operations pipefs_dentry_operations = {
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700633 .d_dname = pipefs_dname,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700634};
635
636static struct inode * get_pipe_inode(void)
637{
Eric Dumazeta209dfc2011-07-26 11:36:34 +0200638 struct inode *inode = new_inode_pseudo(pipe_mnt->mnt_sb);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200639 struct pipe_inode_info *pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640
641 if (!inode)
642 goto fail_inode;
643
Christoph Hellwig85fe4022010-10-23 11:19:54 -0400644 inode->i_ino = get_next_ino();
645
Al Viro7bee1302013-03-21 11:04:15 -0400646 pipe = alloc_pipe_info();
Ingo Molnar923f4f22006-04-11 13:53:33 +0200647 if (!pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700648 goto fail_iput;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200649
Al Viroba5bb142013-03-21 02:21:19 -0400650 inode->i_pipe = pipe;
651 pipe->files = 2;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200652 pipe->readers = pipe->writers = 1;
Al Viro599a0ac2013-03-12 09:58:10 -0400653 inode->i_fop = &pipefifo_fops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700654
655 /*
656 * Mark the inode dirty from the very beginning,
657 * that way it will never be moved to the dirty
658 * list because "mark_inode_dirty()" will think
659 * that it already _is_ on the dirty list.
660 */
661 inode->i_state = I_DIRTY;
662 inode->i_mode = S_IFIFO | S_IRUSR | S_IWUSR;
David Howellsda9592e2008-11-14 10:39:05 +1100663 inode->i_uid = current_fsuid();
664 inode->i_gid = current_fsgid();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700665 inode->i_atime = inode->i_mtime = inode->i_ctime = CURRENT_TIME;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200666
Linus Torvalds1da177e2005-04-16 15:20:36 -0700667 return inode;
668
669fail_iput:
670 iput(inode);
Ingo Molnar341b4462006-04-11 13:57:45 +0200671
Linus Torvalds1da177e2005-04-16 15:20:36 -0700672fail_inode:
673 return NULL;
674}
675
Al Viroe4fad8e2012-07-21 15:33:25 +0400676int create_pipe_files(struct file **res, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700677{
Andi Kleend6cbd282006-09-30 23:29:26 -0700678 int err;
Al Viroe4fad8e2012-07-21 15:33:25 +0400679 struct inode *inode = get_pipe_inode();
Andi Kleend6cbd282006-09-30 23:29:26 -0700680 struct file *f;
Al Viro2c48b9c2009-08-09 00:52:35 +0400681 struct path path;
Al Viroe4fad8e2012-07-21 15:33:25 +0400682 static struct qstr name = { .name = "" };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700683
Linus Torvalds1da177e2005-04-16 15:20:36 -0700684 if (!inode)
Al Viroe4fad8e2012-07-21 15:33:25 +0400685 return -ENFILE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700686
Andi Kleend6cbd282006-09-30 23:29:26 -0700687 err = -ENOMEM;
Nick Piggin4b936882011-01-07 17:50:07 +1100688 path.dentry = d_alloc_pseudo(pipe_mnt->mnt_sb, &name);
Al Viro2c48b9c2009-08-09 00:52:35 +0400689 if (!path.dentry)
Andi Kleend6cbd282006-09-30 23:29:26 -0700690 goto err_inode;
Al Viro2c48b9c2009-08-09 00:52:35 +0400691 path.mnt = mntget(pipe_mnt);
Ingo Molnar341b4462006-04-11 13:57:45 +0200692
Al Viro2c48b9c2009-08-09 00:52:35 +0400693 d_instantiate(path.dentry, inode);
Dave Hansen430e2852008-02-15 14:37:26 -0800694
Al Viro599a0ac2013-03-12 09:58:10 -0400695 f = alloc_file(&path, FMODE_WRITE, &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500696 if (IS_ERR(f)) {
697 err = PTR_ERR(f);
Dave Hansen430e2852008-02-15 14:37:26 -0800698 goto err_dentry;
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500699 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700700
Linus Torvalds98830352012-04-29 13:12:42 -0700701 f->f_flags = O_WRONLY | (flags & (O_NONBLOCK | O_DIRECT));
Al Virode32ec42013-03-21 11:16:56 -0400702 f->private_data = inode->i_pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700703
Al Viro599a0ac2013-03-12 09:58:10 -0400704 res[0] = alloc_file(&path, FMODE_READ, &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500705 if (IS_ERR(res[0])) {
706 err = PTR_ERR(res[0]);
Al Viroe4fad8e2012-07-21 15:33:25 +0400707 goto err_file;
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500708 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700709
Al Viroe4fad8e2012-07-21 15:33:25 +0400710 path_get(&path);
Al Virode32ec42013-03-21 11:16:56 -0400711 res[0]->private_data = inode->i_pipe;
Al Viroe4fad8e2012-07-21 15:33:25 +0400712 res[0]->f_flags = O_RDONLY | (flags & O_NONBLOCK);
713 res[1] = f;
714 return 0;
715
716err_file:
717 put_filp(f);
718err_dentry:
Al Viro4b8a8f12013-03-21 11:06:46 -0400719 free_pipe_info(inode->i_pipe);
Al Viro2c48b9c2009-08-09 00:52:35 +0400720 path_put(&path);
Al Viroe4fad8e2012-07-21 15:33:25 +0400721 return err;
Al Viroed152432008-04-22 19:51:27 -0400722
Al Viroe4fad8e2012-07-21 15:33:25 +0400723err_inode:
Al Viro4b8a8f12013-03-21 11:06:46 -0400724 free_pipe_info(inode->i_pipe);
Andi Kleend6cbd282006-09-30 23:29:26 -0700725 iput(inode);
Al Viroe4fad8e2012-07-21 15:33:25 +0400726 return err;
Andi Kleend6cbd282006-09-30 23:29:26 -0700727}
728
Al Viro5b249b12012-08-19 12:17:29 -0400729static int __do_pipe_flags(int *fd, struct file **files, int flags)
Andi Kleend6cbd282006-09-30 23:29:26 -0700730{
Andi Kleend6cbd282006-09-30 23:29:26 -0700731 int error;
732 int fdw, fdr;
733
Linus Torvalds98830352012-04-29 13:12:42 -0700734 if (flags & ~(O_CLOEXEC | O_NONBLOCK | O_DIRECT))
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700735 return -EINVAL;
736
Al Viroe4fad8e2012-07-21 15:33:25 +0400737 error = create_pipe_files(files, flags);
738 if (error)
739 return error;
Andi Kleend6cbd282006-09-30 23:29:26 -0700740
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700741 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700742 if (error < 0)
743 goto err_read_pipe;
744 fdr = error;
745
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700746 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700747 if (error < 0)
748 goto err_fdr;
749 fdw = error;
750
Al Viro157cf642008-12-14 04:57:47 -0500751 audit_fd_pair(fdr, fdw);
Andi Kleend6cbd282006-09-30 23:29:26 -0700752 fd[0] = fdr;
753 fd[1] = fdw;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700754 return 0;
755
Andi Kleend6cbd282006-09-30 23:29:26 -0700756 err_fdr:
757 put_unused_fd(fdr);
758 err_read_pipe:
Al Viroe4fad8e2012-07-21 15:33:25 +0400759 fput(files[0]);
760 fput(files[1]);
Andi Kleend6cbd282006-09-30 23:29:26 -0700761 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700762}
763
Al Viro5b249b12012-08-19 12:17:29 -0400764int do_pipe_flags(int *fd, int flags)
765{
766 struct file *files[2];
767 int error = __do_pipe_flags(fd, files, flags);
768 if (!error) {
769 fd_install(fd[0], files[0]);
770 fd_install(fd[1], files[1]);
771 }
772 return error;
773}
774
Linus Torvalds1da177e2005-04-16 15:20:36 -0700775/*
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400776 * sys_pipe() is the normal C calling standard for creating
777 * a pipe. It's not the way Unix traditionally does this, though.
778 */
Heiko Carstensd4e82042009-01-14 14:14:34 +0100779SYSCALL_DEFINE2(pipe2, int __user *, fildes, int, flags)
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400780{
Al Viro5b249b12012-08-19 12:17:29 -0400781 struct file *files[2];
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400782 int fd[2];
783 int error;
784
Al Viro5b249b12012-08-19 12:17:29 -0400785 error = __do_pipe_flags(fd, files, flags);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400786 if (!error) {
Al Viro5b249b12012-08-19 12:17:29 -0400787 if (unlikely(copy_to_user(fildes, fd, sizeof(fd)))) {
788 fput(files[0]);
789 fput(files[1]);
790 put_unused_fd(fd[0]);
791 put_unused_fd(fd[1]);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400792 error = -EFAULT;
Al Viro5b249b12012-08-19 12:17:29 -0400793 } else {
794 fd_install(fd[0], files[0]);
795 fd_install(fd[1], files[1]);
Ulrich Drepperba719ba2008-05-06 20:42:38 -0700796 }
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400797 }
798 return error;
799}
800
Heiko Carstens2b664212009-01-14 14:14:35 +0100801SYSCALL_DEFINE1(pipe, int __user *, fildes)
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700802{
803 return sys_pipe2(fildes, 0);
804}
805
Al Virofc7478a2013-03-21 02:07:59 -0400806static int wait_for_partner(struct pipe_inode_info *pipe, unsigned int *cnt)
Al Virof776c732013-03-12 09:46:27 -0400807{
808 int cur = *cnt;
809
810 while (cur == *cnt) {
Al Virofc7478a2013-03-21 02:07:59 -0400811 pipe_wait(pipe);
Al Virof776c732013-03-12 09:46:27 -0400812 if (signal_pending(current))
813 break;
814 }
815 return cur == *cnt ? -ERESTARTSYS : 0;
816}
817
Al Virofc7478a2013-03-21 02:07:59 -0400818static void wake_up_partner(struct pipe_inode_info *pipe)
Al Virof776c732013-03-12 09:46:27 -0400819{
Al Virofc7478a2013-03-21 02:07:59 -0400820 wake_up_interruptible(&pipe->wait);
Al Virof776c732013-03-12 09:46:27 -0400821}
822
823static int fifo_open(struct inode *inode, struct file *filp)
824{
825 struct pipe_inode_info *pipe;
Al Viro599a0ac2013-03-12 09:58:10 -0400826 bool is_pipe = inode->i_sb->s_magic == PIPEFS_MAGIC;
Al Virof776c732013-03-12 09:46:27 -0400827 int ret;
828
Al Viroba5bb142013-03-21 02:21:19 -0400829 filp->f_version = 0;
830
831 spin_lock(&inode->i_lock);
832 if (inode->i_pipe) {
833 pipe = inode->i_pipe;
834 pipe->files++;
835 spin_unlock(&inode->i_lock);
836 } else {
837 spin_unlock(&inode->i_lock);
Al Viro7bee1302013-03-21 11:04:15 -0400838 pipe = alloc_pipe_info();
Al Virof776c732013-03-12 09:46:27 -0400839 if (!pipe)
Al Viroba5bb142013-03-21 02:21:19 -0400840 return -ENOMEM;
841 pipe->files = 1;
842 spin_lock(&inode->i_lock);
843 if (unlikely(inode->i_pipe)) {
844 inode->i_pipe->files++;
845 spin_unlock(&inode->i_lock);
Al Viro4b8a8f12013-03-21 11:06:46 -0400846 free_pipe_info(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400847 pipe = inode->i_pipe;
848 } else {
849 inode->i_pipe = pipe;
850 spin_unlock(&inode->i_lock);
851 }
Al Virof776c732013-03-12 09:46:27 -0400852 }
Al Virode32ec42013-03-21 11:16:56 -0400853 filp->private_data = pipe;
Al Viroba5bb142013-03-21 02:21:19 -0400854 /* OK, we have a pipe and it's pinned down */
855
Al Viroebec73f2013-03-21 12:24:01 -0400856 __pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -0400857
858 /* We can only do regular read/write on fifos */
859 filp->f_mode &= (FMODE_READ | FMODE_WRITE);
860
861 switch (filp->f_mode) {
862 case FMODE_READ:
863 /*
864 * O_RDONLY
865 * POSIX.1 says that O_NONBLOCK means return with the FIFO
866 * opened, even when there is no process writing the FIFO.
867 */
Al Virof776c732013-03-12 09:46:27 -0400868 pipe->r_counter++;
869 if (pipe->readers++ == 0)
Al Virofc7478a2013-03-21 02:07:59 -0400870 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -0400871
Al Viro599a0ac2013-03-12 09:58:10 -0400872 if (!is_pipe && !pipe->writers) {
Al Virof776c732013-03-12 09:46:27 -0400873 if ((filp->f_flags & O_NONBLOCK)) {
874 /* suppress POLLHUP until we have
875 * seen a writer */
876 filp->f_version = pipe->w_counter;
877 } else {
Al Virofc7478a2013-03-21 02:07:59 -0400878 if (wait_for_partner(pipe, &pipe->w_counter))
Al Virof776c732013-03-12 09:46:27 -0400879 goto err_rd;
880 }
881 }
882 break;
883
884 case FMODE_WRITE:
885 /*
886 * O_WRONLY
887 * POSIX.1 says that O_NONBLOCK means return -1 with
888 * errno=ENXIO when there is no process reading the FIFO.
889 */
890 ret = -ENXIO;
Al Viro599a0ac2013-03-12 09:58:10 -0400891 if (!is_pipe && (filp->f_flags & O_NONBLOCK) && !pipe->readers)
Al Virof776c732013-03-12 09:46:27 -0400892 goto err;
893
Al Virof776c732013-03-12 09:46:27 -0400894 pipe->w_counter++;
895 if (!pipe->writers++)
Al Virofc7478a2013-03-21 02:07:59 -0400896 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -0400897
Al Viro599a0ac2013-03-12 09:58:10 -0400898 if (!is_pipe && !pipe->readers) {
Al Virofc7478a2013-03-21 02:07:59 -0400899 if (wait_for_partner(pipe, &pipe->r_counter))
Al Virof776c732013-03-12 09:46:27 -0400900 goto err_wr;
901 }
902 break;
903
904 case FMODE_READ | FMODE_WRITE:
905 /*
906 * O_RDWR
907 * POSIX.1 leaves this case "undefined" when O_NONBLOCK is set.
908 * This implementation will NEVER block on a O_RDWR open, since
909 * the process can at least talk to itself.
910 */
Al Virof776c732013-03-12 09:46:27 -0400911
912 pipe->readers++;
913 pipe->writers++;
914 pipe->r_counter++;
915 pipe->w_counter++;
916 if (pipe->readers == 1 || pipe->writers == 1)
Al Virofc7478a2013-03-21 02:07:59 -0400917 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -0400918 break;
919
920 default:
921 ret = -EINVAL;
922 goto err;
923 }
924
925 /* Ok! */
Al Viroebec73f2013-03-21 12:24:01 -0400926 __pipe_unlock(pipe);
Al Virof776c732013-03-12 09:46:27 -0400927 return 0;
928
929err_rd:
930 if (!--pipe->readers)
931 wake_up_interruptible(&pipe->wait);
932 ret = -ERESTARTSYS;
933 goto err;
934
935err_wr:
936 if (!--pipe->writers)
937 wake_up_interruptible(&pipe->wait);
938 ret = -ERESTARTSYS;
939 goto err;
940
941err:
Al Viroebec73f2013-03-21 12:24:01 -0400942 __pipe_unlock(pipe);
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800943
944 put_pipe_info(inode, pipe);
Al Virof776c732013-03-12 09:46:27 -0400945 return ret;
946}
947
Al Viro599a0ac2013-03-12 09:58:10 -0400948const struct file_operations pipefifo_fops = {
949 .open = fifo_open,
950 .llseek = no_llseek,
Al Virofb9096a2014-04-02 19:56:54 -0400951 .read_iter = pipe_read,
Al Virof0d1bec2014-04-03 15:05:18 -0400952 .write_iter = pipe_write,
Al Viro599a0ac2013-03-12 09:58:10 -0400953 .poll = pipe_poll,
954 .unlocked_ioctl = pipe_ioctl,
955 .release = pipe_release,
956 .fasync = pipe_fasync,
Al Virof776c732013-03-12 09:46:27 -0400957};
958
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400959/*
Jens Axboe35f3d142010-05-20 10:43:18 +0200960 * Allocate a new array of pipe buffers and copy the info over. Returns the
961 * pipe size if successful, or return -ERROR on error.
962 */
Jens Axboeb9598db2010-05-24 19:34:43 +0200963static long pipe_set_size(struct pipe_inode_info *pipe, unsigned long nr_pages)
Jens Axboe35f3d142010-05-20 10:43:18 +0200964{
965 struct pipe_buffer *bufs;
966
967 /*
Jens Axboe35f3d142010-05-20 10:43:18 +0200968 * We can shrink the pipe, if arg >= pipe->nrbufs. Since we don't
969 * expect a lot of shrink+grow operations, just free and allocate
970 * again like we would do for growing. If the pipe currently
971 * contains more buffers than arg, then return busy.
972 */
Jens Axboeb9598db2010-05-24 19:34:43 +0200973 if (nr_pages < pipe->nrbufs)
Jens Axboe35f3d142010-05-20 10:43:18 +0200974 return -EBUSY;
975
Sasha Levin2ccd4f42012-01-12 17:17:40 -0800976 bufs = kcalloc(nr_pages, sizeof(*bufs), GFP_KERNEL | __GFP_NOWARN);
Jens Axboe35f3d142010-05-20 10:43:18 +0200977 if (unlikely(!bufs))
978 return -ENOMEM;
979
980 /*
981 * The pipe array wraps around, so just start the new one at zero
982 * and adjust the indexes.
983 */
984 if (pipe->nrbufs) {
Miklos Szeredi1d862f42010-06-08 16:28:45 +0200985 unsigned int tail;
986 unsigned int head;
Jens Axboe35f3d142010-05-20 10:43:18 +0200987
Miklos Szeredi1d862f42010-06-08 16:28:45 +0200988 tail = pipe->curbuf + pipe->nrbufs;
989 if (tail < pipe->buffers)
990 tail = 0;
991 else
992 tail &= (pipe->buffers - 1);
993
994 head = pipe->nrbufs - tail;
Jens Axboe35f3d142010-05-20 10:43:18 +0200995 if (head)
996 memcpy(bufs, pipe->bufs + pipe->curbuf, head * sizeof(struct pipe_buffer));
997 if (tail)
Miklos Szeredi1d862f42010-06-08 16:28:45 +0200998 memcpy(bufs + head, pipe->bufs, tail * sizeof(struct pipe_buffer));
Jens Axboe35f3d142010-05-20 10:43:18 +0200999 }
1000
1001 pipe->curbuf = 0;
1002 kfree(pipe->bufs);
1003 pipe->bufs = bufs;
Jens Axboeb9598db2010-05-24 19:34:43 +02001004 pipe->buffers = nr_pages;
1005 return nr_pages * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001006}
1007
Jens Axboeff9da692010-06-03 14:54:39 +02001008/*
1009 * Currently we rely on the pipe array holding a power-of-2 number
1010 * of pages.
1011 */
1012static inline unsigned int round_pipe_size(unsigned int size)
1013{
1014 unsigned long nr_pages;
1015
1016 nr_pages = (size + PAGE_SIZE - 1) >> PAGE_SHIFT;
1017 return roundup_pow_of_two(nr_pages) << PAGE_SHIFT;
1018}
1019
1020/*
1021 * This should work even if CONFIG_PROC_FS isn't set, as proc_dointvec_minmax
1022 * will return an error.
1023 */
1024int pipe_proc_fn(struct ctl_table *table, int write, void __user *buf,
1025 size_t *lenp, loff_t *ppos)
1026{
1027 int ret;
1028
1029 ret = proc_dointvec_minmax(table, write, buf, lenp, ppos);
1030 if (ret < 0 || !write)
1031 return ret;
1032
1033 pipe_max_size = round_pipe_size(pipe_max_size);
1034 return ret;
1035}
1036
Linus Torvalds72083642010-11-28 16:27:19 -08001037/*
1038 * After the inode slimming patch, i_pipe/i_bdev/i_cdev share the same
1039 * location, so checking ->i_pipe is not enough to verify that this is a
1040 * pipe.
1041 */
1042struct pipe_inode_info *get_pipe_info(struct file *file)
1043{
Al Virode32ec42013-03-21 11:16:56 -04001044 return file->f_op == &pipefifo_fops ? file->private_data : NULL;
Linus Torvalds72083642010-11-28 16:27:19 -08001045}
1046
Jens Axboe35f3d142010-05-20 10:43:18 +02001047long pipe_fcntl(struct file *file, unsigned int cmd, unsigned long arg)
1048{
1049 struct pipe_inode_info *pipe;
1050 long ret;
1051
Linus Torvaldsc66fb342010-11-28 14:09:57 -08001052 pipe = get_pipe_info(file);
Jens Axboe35f3d142010-05-20 10:43:18 +02001053 if (!pipe)
1054 return -EBADF;
1055
Al Viroebec73f2013-03-21 12:24:01 -04001056 __pipe_lock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001057
1058 switch (cmd) {
Jens Axboeb9598db2010-05-24 19:34:43 +02001059 case F_SETPIPE_SZ: {
Jens Axboeff9da692010-06-03 14:54:39 +02001060 unsigned int size, nr_pages;
Jens Axboeb9598db2010-05-24 19:34:43 +02001061
Jens Axboeff9da692010-06-03 14:54:39 +02001062 size = round_pipe_size(arg);
1063 nr_pages = size >> PAGE_SHIFT;
Jens Axboeb9598db2010-05-24 19:34:43 +02001064
Miklos Szeredi6db40cf2010-06-09 09:27:57 +02001065 ret = -EINVAL;
1066 if (!nr_pages)
1067 goto out;
1068
Jens Axboeff9da692010-06-03 14:54:39 +02001069 if (!capable(CAP_SYS_RESOURCE) && size > pipe_max_size) {
Jens Axboeb4ca7612010-06-01 12:42:12 +02001070 ret = -EPERM;
Julia Lawallcc967be2010-05-26 17:54:39 +02001071 goto out;
Julia Lawallcc967be2010-05-26 17:54:39 +02001072 }
Jens Axboeff9da692010-06-03 14:54:39 +02001073 ret = pipe_set_size(pipe, nr_pages);
Jens Axboe35f3d142010-05-20 10:43:18 +02001074 break;
Jens Axboeb9598db2010-05-24 19:34:43 +02001075 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001076 case F_GETPIPE_SZ:
Jens Axboeb9598db2010-05-24 19:34:43 +02001077 ret = pipe->buffers * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001078 break;
1079 default:
1080 ret = -EINVAL;
1081 break;
1082 }
1083
Julia Lawallcc967be2010-05-26 17:54:39 +02001084out:
Al Viroebec73f2013-03-21 12:24:01 -04001085 __pipe_unlock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001086 return ret;
1087}
1088
Nick Pigginff0c7d12011-01-07 17:49:50 +11001089static const struct super_operations pipefs_ops = {
1090 .destroy_inode = free_inode_nonrcu,
Pavel Emelyanovd70ef972011-10-31 17:10:04 -07001091 .statfs = simple_statfs,
Nick Pigginff0c7d12011-01-07 17:49:50 +11001092};
1093
Jens Axboe35f3d142010-05-20 10:43:18 +02001094/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001095 * pipefs should _never_ be mounted by userland - too much of security hassle,
1096 * no real gain from having the whole whorehouse mounted. So we don't need
1097 * any operations on the root directory. However, we need a non-trivial
1098 * d_name - pipe: will go nicely and kill the special-casing in procfs.
1099 */
Al Viro51139ad2010-07-25 23:47:46 +04001100static struct dentry *pipefs_mount(struct file_system_type *fs_type,
1101 int flags, const char *dev_name, void *data)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001102{
Al Viroc74a1cb2011-01-12 16:59:34 -05001103 return mount_pseudo(fs_type, "pipe:", &pipefs_ops,
1104 &pipefs_dentry_operations, PIPEFS_MAGIC);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001105}
1106
1107static struct file_system_type pipe_fs_type = {
1108 .name = "pipefs",
Al Viro51139ad2010-07-25 23:47:46 +04001109 .mount = pipefs_mount,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001110 .kill_sb = kill_anon_super,
1111};
1112
1113static int __init init_pipe_fs(void)
1114{
1115 int err = register_filesystem(&pipe_fs_type);
Ingo Molnar341b4462006-04-11 13:57:45 +02001116
Linus Torvalds1da177e2005-04-16 15:20:36 -07001117 if (!err) {
1118 pipe_mnt = kern_mount(&pipe_fs_type);
1119 if (IS_ERR(pipe_mnt)) {
1120 err = PTR_ERR(pipe_mnt);
1121 unregister_filesystem(&pipe_fs_type);
1122 }
1123 }
1124 return err;
1125}
1126
Linus Torvalds1da177e2005-04-16 15:20:36 -07001127fs_initcall(init_pipe_fs);