blob: 21981e58e2a634c09b9ebb9b327860d849fb6b53 [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
Ingo Molnar341b4462006-04-11 13:57:45 +0200119static void anon_pipe_buf_release(struct pipe_inode_info *pipe,
120 struct pipe_buffer *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700121{
122 struct page *page = buf->page;
123
Jens Axboe5274f052006-03-30 15:15:30 +0200124 /*
125 * If nobody else uses this page, and we don't already have a
126 * temporary page, let's keep track of it as a one-deep
Ingo Molnar341b4462006-04-11 13:57:45 +0200127 * allocation cache. (Otherwise just release our reference to it)
Jens Axboe5274f052006-03-30 15:15:30 +0200128 */
Ingo Molnar341b4462006-04-11 13:57:45 +0200129 if (page_count(page) == 1 && !pipe->tmp_page)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200130 pipe->tmp_page = page;
Ingo Molnar341b4462006-04-11 13:57:45 +0200131 else
132 page_cache_release(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700133}
134
Jens Axboe08457182007-06-12 20:51:32 +0200135/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800136 * generic_pipe_buf_steal - attempt to take ownership of a &pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200137 * @pipe: the pipe that the buffer belongs to
138 * @buf: the buffer to attempt to steal
139 *
140 * Description:
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800141 * This function attempts to steal the &struct page attached to
Jens Axboe08457182007-06-12 20:51:32 +0200142 * @buf. If successful, this function returns 0 and returns with
143 * the page locked. The caller may then reuse the page for whatever
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800144 * he wishes; the typical use is insertion into a different file
Jens Axboe08457182007-06-12 20:51:32 +0200145 * page cache.
146 */
Jens Axboe330ab712006-05-02 15:29:57 +0200147int generic_pipe_buf_steal(struct pipe_inode_info *pipe,
148 struct pipe_buffer *buf)
Jens Axboe5abc97a2006-03-30 15:16:46 +0200149{
Jens Axboe46e678c2006-04-30 16:36:32 +0200150 struct page *page = buf->page;
151
Jens Axboe08457182007-06-12 20:51:32 +0200152 /*
153 * A reference of one is golden, that means that the owner of this
154 * page is the only one holding a reference to it. lock the page
155 * and return OK.
156 */
Jens Axboe46e678c2006-04-30 16:36:32 +0200157 if (page_count(page) == 1) {
Jens Axboe46e678c2006-04-30 16:36:32 +0200158 lock_page(page);
159 return 0;
160 }
161
162 return 1;
Jens Axboe5abc97a2006-03-30 15:16:46 +0200163}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200164EXPORT_SYMBOL(generic_pipe_buf_steal);
Jens Axboe5abc97a2006-03-30 15:16:46 +0200165
Jens Axboe08457182007-06-12 20:51:32 +0200166/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800167 * generic_pipe_buf_get - get a reference to a &struct pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200168 * @pipe: the pipe that the buffer belongs to
169 * @buf: the buffer to get a reference to
170 *
171 * Description:
172 * This function grabs an extra reference to @buf. It's used in
173 * in the tee() system call, when we duplicate the buffers in one
174 * pipe into another.
175 */
176void generic_pipe_buf_get(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
Jens Axboe70524492006-04-11 15:51:17 +0200177{
178 page_cache_get(buf->page);
179}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200180EXPORT_SYMBOL(generic_pipe_buf_get);
Jens Axboe70524492006-04-11 15:51:17 +0200181
Jens Axboe08457182007-06-12 20:51:32 +0200182/**
183 * generic_pipe_buf_confirm - verify contents of the pipe buffer
Randy Dunlap79685b82007-07-27 08:08:51 +0200184 * @info: the pipe that the buffer belongs to
Jens Axboe08457182007-06-12 20:51:32 +0200185 * @buf: the buffer to confirm
186 *
187 * Description:
188 * This function does nothing, because the generic pipe code uses
189 * pages that are always good when inserted into the pipe.
190 */
Jens Axboecac36bb02007-06-14 13:10:48 +0200191int generic_pipe_buf_confirm(struct pipe_inode_info *info,
192 struct pipe_buffer *buf)
Jens Axboef84d7512006-05-01 19:59:03 +0200193{
194 return 0;
195}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200196EXPORT_SYMBOL(generic_pipe_buf_confirm);
Jens Axboef84d7512006-05-01 19:59:03 +0200197
Miklos Szeredi68181732009-05-07 15:37:36 +0200198/**
199 * generic_pipe_buf_release - put a reference to a &struct pipe_buffer
200 * @pipe: the pipe that the buffer belongs to
201 * @buf: the buffer to put a reference to
202 *
203 * Description:
204 * This function releases a reference to @buf.
205 */
206void generic_pipe_buf_release(struct pipe_inode_info *pipe,
207 struct pipe_buffer *buf)
208{
209 page_cache_release(buf->page);
210}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200211EXPORT_SYMBOL(generic_pipe_buf_release);
Miklos Szeredi68181732009-05-07 15:37:36 +0200212
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800213static const struct pipe_buf_operations anon_pipe_buf_ops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700214 .can_merge = 1,
Jens Axboecac36bb02007-06-14 13:10:48 +0200215 .confirm = generic_pipe_buf_confirm,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700216 .release = anon_pipe_buf_release,
Jens Axboe330ab712006-05-02 15:29:57 +0200217 .steal = generic_pipe_buf_steal,
Jens Axboef84d7512006-05-01 19:59:03 +0200218 .get = generic_pipe_buf_get,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219};
220
Linus Torvalds98830352012-04-29 13:12:42 -0700221static const struct pipe_buf_operations packet_pipe_buf_ops = {
222 .can_merge = 0,
Linus Torvalds98830352012-04-29 13:12:42 -0700223 .confirm = generic_pipe_buf_confirm,
224 .release = anon_pipe_buf_release,
225 .steal = generic_pipe_buf_steal,
226 .get = generic_pipe_buf_get,
227};
228
Linus Torvalds1da177e2005-04-16 15:20:36 -0700229static ssize_t
Al Virofb9096a2014-04-02 19:56:54 -0400230pipe_read(struct kiocb *iocb, struct iov_iter *to)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700231{
Al Virofb9096a2014-04-02 19:56:54 -0400232 size_t total_len = iov_iter_count(to);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700233 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400234 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700235 int do_wakeup;
236 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700237
Linus Torvalds1da177e2005-04-16 15:20:36 -0700238 /* Null read succeeds. */
239 if (unlikely(total_len == 0))
240 return 0;
241
242 do_wakeup = 0;
243 ret = 0;
Al Viroebec73f2013-03-21 12:24:01 -0400244 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700245 for (;;) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200246 int bufs = pipe->nrbufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700247 if (bufs) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200248 int curbuf = pipe->curbuf;
249 struct pipe_buffer *buf = pipe->bufs + curbuf;
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800250 const struct pipe_buf_operations *ops = buf->ops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700251 size_t chars = buf->len;
Al Viro637b58c2014-02-03 19:11:42 -0500252 size_t written;
253 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700254
255 if (chars > total_len)
256 chars = total_len;
257
Jens Axboecac36bb02007-06-14 13:10:48 +0200258 error = ops->confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200259 if (error) {
Jens Axboe5274f052006-03-30 15:15:30 +0200260 if (!ret)
Nicolas Kaisere5953cb2010-10-21 14:56:00 +0200261 ret = error;
Jens Axboe5274f052006-03-30 15:15:30 +0200262 break;
263 }
Jens Axboef84d7512006-05-01 19:59:03 +0200264
Al Virofb9096a2014-04-02 19:56:54 -0400265 written = copy_page_to_iter(buf->page, buf->offset, chars, to);
Al Viro637b58c2014-02-03 19:11:42 -0500266 if (unlikely(written < chars)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200267 if (!ret)
Al Viro637b58c2014-02-03 19:11:42 -0500268 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700269 break;
270 }
271 ret += chars;
272 buf->offset += chars;
273 buf->len -= chars;
Linus Torvalds98830352012-04-29 13:12:42 -0700274
275 /* Was it a packet buffer? Clean up and exit */
276 if (buf->flags & PIPE_BUF_FLAG_PACKET) {
277 total_len = chars;
278 buf->len = 0;
279 }
280
Linus Torvalds1da177e2005-04-16 15:20:36 -0700281 if (!buf->len) {
282 buf->ops = NULL;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200283 ops->release(pipe, buf);
Jens Axboe35f3d142010-05-20 10:43:18 +0200284 curbuf = (curbuf + 1) & (pipe->buffers - 1);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200285 pipe->curbuf = curbuf;
286 pipe->nrbufs = --bufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287 do_wakeup = 1;
288 }
289 total_len -= chars;
290 if (!total_len)
291 break; /* common path: read succeeded */
292 }
293 if (bufs) /* More to do? */
294 continue;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200295 if (!pipe->writers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296 break;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200297 if (!pipe->waiting_writers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700298 /* syscall merging: Usually we must not sleep
299 * if O_NONBLOCK is set, or if we got some data.
300 * But if a writer sleeps in kernel space, then
301 * we can wait for that data without violating POSIX.
302 */
303 if (ret)
304 break;
305 if (filp->f_flags & O_NONBLOCK) {
306 ret = -EAGAIN;
307 break;
308 }
309 }
310 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200311 if (!ret)
312 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700313 break;
314 }
315 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800316 wake_up_interruptible_sync_poll(&pipe->wait, POLLOUT | POLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200317 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700318 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200319 pipe_wait(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700320 }
Al Viroebec73f2013-03-21 12:24:01 -0400321 __pipe_unlock(pipe);
Ingo Molnar341b4462006-04-11 13:57:45 +0200322
323 /* Signal writers asynchronously that there is more room. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700324 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800325 wake_up_interruptible_sync_poll(&pipe->wait, POLLOUT | POLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200326 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700327 }
328 if (ret > 0)
329 file_accessed(filp);
330 return ret;
331}
332
Linus Torvalds98830352012-04-29 13:12:42 -0700333static inline int is_packetized(struct file *file)
334{
335 return (file->f_flags & O_DIRECT) != 0;
336}
337
Linus Torvalds1da177e2005-04-16 15:20:36 -0700338static ssize_t
Al Virof0d1bec2014-04-03 15:05:18 -0400339pipe_write(struct kiocb *iocb, struct iov_iter *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700341 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400342 struct pipe_inode_info *pipe = filp->private_data;
Al Virof0d1bec2014-04-03 15:05:18 -0400343 ssize_t ret = 0;
344 int do_wakeup = 0;
345 size_t total_len = iov_iter_count(from);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700346 ssize_t chars;
347
Linus Torvalds1da177e2005-04-16 15:20:36 -0700348 /* Null write succeeds. */
349 if (unlikely(total_len == 0))
350 return 0;
351
Al Viroebec73f2013-03-21 12:24:01 -0400352 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700353
Ingo Molnar923f4f22006-04-11 13:53:33 +0200354 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700355 send_sig(SIGPIPE, current, 0);
356 ret = -EPIPE;
357 goto out;
358 }
359
360 /* We try to merge small writes */
361 chars = total_len & (PAGE_SIZE-1); /* size of the last buffer */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200362 if (pipe->nrbufs && chars != 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200363 int lastbuf = (pipe->curbuf + pipe->nrbufs - 1) &
Jens Axboe35f3d142010-05-20 10:43:18 +0200364 (pipe->buffers - 1);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200365 struct pipe_buffer *buf = pipe->bufs + lastbuf;
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800366 const struct pipe_buf_operations *ops = buf->ops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700367 int offset = buf->offset + buf->len;
Ingo Molnar341b4462006-04-11 13:57:45 +0200368
Linus Torvalds1da177e2005-04-16 15:20:36 -0700369 if (ops->can_merge && offset + chars <= PAGE_SIZE) {
Al Virof0d1bec2014-04-03 15:05:18 -0400370 int error = ops->confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200371 if (error)
Jens Axboe5274f052006-03-30 15:15:30 +0200372 goto out;
Jens Axboef84d7512006-05-01 19:59:03 +0200373
Al Virof0d1bec2014-04-03 15:05:18 -0400374 ret = copy_page_from_iter(buf->page, offset, chars, from);
375 if (unlikely(ret < chars)) {
376 error = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700377 goto out;
Jens Axboef6762b72006-05-01 20:02:05 +0200378 }
Al Virof0d1bec2014-04-03 15:05:18 -0400379 do_wakeup = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700380 buf->len += chars;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700381 ret = chars;
Al Virof0d1bec2014-04-03 15:05:18 -0400382 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700383 goto out;
384 }
385 }
386
387 for (;;) {
388 int bufs;
Ingo Molnar341b4462006-04-11 13:57:45 +0200389
Ingo Molnar923f4f22006-04-11 13:53:33 +0200390 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700391 send_sig(SIGPIPE, current, 0);
Ingo Molnar341b4462006-04-11 13:57:45 +0200392 if (!ret)
393 ret = -EPIPE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700394 break;
395 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200396 bufs = pipe->nrbufs;
Jens Axboe35f3d142010-05-20 10:43:18 +0200397 if (bufs < pipe->buffers) {
398 int newbuf = (pipe->curbuf + bufs) & (pipe->buffers-1);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200399 struct pipe_buffer *buf = pipe->bufs + newbuf;
400 struct page *page = pipe->tmp_page;
Al Virof0d1bec2014-04-03 15:05:18 -0400401 int copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700402
403 if (!page) {
404 page = alloc_page(GFP_HIGHUSER);
405 if (unlikely(!page)) {
406 ret = ret ? : -ENOMEM;
407 break;
408 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200409 pipe->tmp_page = page;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700410 }
Ingo Molnar341b4462006-04-11 13:57:45 +0200411 /* Always wake up, even if the copy fails. Otherwise
Linus Torvalds1da177e2005-04-16 15:20:36 -0700412 * we lock up (O_NONBLOCK-)readers that sleep due to
413 * syscall merging.
414 * FIXME! Is this really true?
415 */
416 do_wakeup = 1;
Al Virof0d1bec2014-04-03 15:05:18 -0400417 copied = copy_page_from_iter(page, 0, PAGE_SIZE, from);
418 if (unlikely(copied < PAGE_SIZE && iov_iter_count(from))) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200419 if (!ret)
Al Virof0d1bec2014-04-03 15:05:18 -0400420 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700421 break;
422 }
Al Virof0d1bec2014-04-03 15:05:18 -0400423 ret += copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700424
425 /* Insert it into the buffer array */
426 buf->page = page;
427 buf->ops = &anon_pipe_buf_ops;
428 buf->offset = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400429 buf->len = copied;
Linus Torvalds98830352012-04-29 13:12:42 -0700430 buf->flags = 0;
431 if (is_packetized(filp)) {
432 buf->ops = &packet_pipe_buf_ops;
433 buf->flags = PIPE_BUF_FLAG_PACKET;
434 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200435 pipe->nrbufs = ++bufs;
436 pipe->tmp_page = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700437
Al Virof0d1bec2014-04-03 15:05:18 -0400438 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700439 break;
440 }
Jens Axboe35f3d142010-05-20 10:43:18 +0200441 if (bufs < pipe->buffers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700442 continue;
443 if (filp->f_flags & O_NONBLOCK) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200444 if (!ret)
445 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700446 break;
447 }
448 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200449 if (!ret)
450 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700451 break;
452 }
453 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800454 wake_up_interruptible_sync_poll(&pipe->wait, POLLIN | POLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200455 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700456 do_wakeup = 0;
457 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200458 pipe->waiting_writers++;
459 pipe_wait(pipe);
460 pipe->waiting_writers--;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700461 }
462out:
Al Viroebec73f2013-03-21 12:24:01 -0400463 __pipe_unlock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700464 if (do_wakeup) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800465 wake_up_interruptible_sync_poll(&pipe->wait, POLLIN | POLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200466 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700467 }
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800468 if (ret > 0 && sb_start_write_trylock(file_inode(filp)->i_sb)) {
Josef Bacikc3b2da32012-03-26 09:59:21 -0400469 int err = file_update_time(filp);
470 if (err)
471 ret = err;
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800472 sb_end_write(file_inode(filp)->i_sb);
Josef Bacikc3b2da32012-03-26 09:59:21 -0400473 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700474 return ret;
475}
476
Andi Kleend59d0b12008-02-08 04:21:23 -0800477static long pipe_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700478{
Al Virode32ec42013-03-21 11:16:56 -0400479 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700480 int count, buf, nrbufs;
481
482 switch (cmd) {
483 case FIONREAD:
Al Viroebec73f2013-03-21 12:24:01 -0400484 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700485 count = 0;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200486 buf = pipe->curbuf;
487 nrbufs = pipe->nrbufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700488 while (--nrbufs >= 0) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200489 count += pipe->bufs[buf].len;
Jens Axboe35f3d142010-05-20 10:43:18 +0200490 buf = (buf+1) & (pipe->buffers - 1);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700491 }
Al Viroebec73f2013-03-21 12:24:01 -0400492 __pipe_unlock(pipe);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200493
Linus Torvalds1da177e2005-04-16 15:20:36 -0700494 return put_user(count, (int __user *)arg);
495 default:
Will Deacon46ce3412012-05-25 11:39:13 +0100496 return -ENOIOCTLCMD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700497 }
498}
499
500/* No kernel lock held - fine */
501static unsigned int
502pipe_poll(struct file *filp, poll_table *wait)
503{
504 unsigned int mask;
Al Virode32ec42013-03-21 11:16:56 -0400505 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700506 int nrbufs;
507
Ingo Molnar923f4f22006-04-11 13:53:33 +0200508 poll_wait(filp, &pipe->wait, wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700509
510 /* Reading only -- no need for acquiring the semaphore. */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200511 nrbufs = pipe->nrbufs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700512 mask = 0;
513 if (filp->f_mode & FMODE_READ) {
514 mask = (nrbufs > 0) ? POLLIN | POLLRDNORM : 0;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200515 if (!pipe->writers && filp->f_version != pipe->w_counter)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700516 mask |= POLLHUP;
517 }
518
519 if (filp->f_mode & FMODE_WRITE) {
Jens Axboe35f3d142010-05-20 10:43:18 +0200520 mask |= (nrbufs < pipe->buffers) ? POLLOUT | POLLWRNORM : 0;
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700521 /*
522 * Most Unices do not set POLLERR for FIFOs but on Linux they
523 * behave exactly like pipes for poll().
524 */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200525 if (!pipe->readers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700526 mask |= POLLERR;
527 }
528
529 return mask;
530}
531
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800532static void put_pipe_info(struct inode *inode, struct pipe_inode_info *pipe)
533{
534 int kill = 0;
535
536 spin_lock(&inode->i_lock);
537 if (!--pipe->files) {
538 inode->i_pipe = NULL;
539 kill = 1;
540 }
541 spin_unlock(&inode->i_lock);
542
543 if (kill)
544 free_pipe_info(pipe);
545}
546
Linus Torvalds1da177e2005-04-16 15:20:36 -0700547static int
Al Viro599a0ac2013-03-12 09:58:10 -0400548pipe_release(struct inode *inode, struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700549{
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800550 struct pipe_inode_info *pipe = file->private_data;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200551
Al Viroebec73f2013-03-21 12:24:01 -0400552 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400553 if (file->f_mode & FMODE_READ)
554 pipe->readers--;
555 if (file->f_mode & FMODE_WRITE)
556 pipe->writers--;
Ingo Molnar341b4462006-04-11 13:57:45 +0200557
Al Viroba5bb142013-03-21 02:21:19 -0400558 if (pipe->readers || pipe->writers) {
Linus Torvalds28e58ee2011-01-20 16:21:59 -0800559 wake_up_interruptible_sync_poll(&pipe->wait, POLLIN | POLLOUT | POLLRDNORM | POLLWRNORM | POLLERR | POLLHUP);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200560 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
561 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700562 }
Al Viroebec73f2013-03-21 12:24:01 -0400563 __pipe_unlock(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400564
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800565 put_pipe_info(inode, pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700566 return 0;
567}
568
569static int
Al Viro599a0ac2013-03-12 09:58:10 -0400570pipe_fasync(int fd, struct file *filp, int on)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700571{
Al Virode32ec42013-03-21 11:16:56 -0400572 struct pipe_inode_info *pipe = filp->private_data;
Al Viro599a0ac2013-03-12 09:58:10 -0400573 int retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700574
Al Viroebec73f2013-03-21 12:24:01 -0400575 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400576 if (filp->f_mode & FMODE_READ)
577 retval = fasync_helper(fd, filp, on, &pipe->fasync_readers);
578 if ((filp->f_mode & FMODE_WRITE) && retval >= 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200579 retval = fasync_helper(fd, filp, on, &pipe->fasync_writers);
Al Viro599a0ac2013-03-12 09:58:10 -0400580 if (retval < 0 && (filp->f_mode & FMODE_READ))
581 /* this can happen only if on == T */
Oleg Nesterove5bc49b2009-03-12 14:31:28 -0700582 fasync_helper(-1, filp, 0, &pipe->fasync_readers);
583 }
Al Viroebec73f2013-03-21 12:24:01 -0400584 __pipe_unlock(pipe);
Jonathan Corbet60aa4922009-02-01 14:52:56 -0700585 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700586}
587
Al Viro7bee1302013-03-21 11:04:15 -0400588struct pipe_inode_info *alloc_pipe_info(void)
Ingo Molnar3a326a22006-04-10 15:18:35 +0200589{
Ingo Molnar923f4f22006-04-11 13:53:33 +0200590 struct pipe_inode_info *pipe;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200591
Ingo Molnar923f4f22006-04-11 13:53:33 +0200592 pipe = kzalloc(sizeof(struct pipe_inode_info), GFP_KERNEL);
593 if (pipe) {
Jens Axboe35f3d142010-05-20 10:43:18 +0200594 pipe->bufs = kzalloc(sizeof(struct pipe_buffer) * PIPE_DEF_BUFFERS, GFP_KERNEL);
595 if (pipe->bufs) {
596 init_waitqueue_head(&pipe->wait);
597 pipe->r_counter = pipe->w_counter = 1;
Jens Axboe35f3d142010-05-20 10:43:18 +0200598 pipe->buffers = PIPE_DEF_BUFFERS;
Al Viro72b0d9a2013-03-21 02:32:24 -0400599 mutex_init(&pipe->mutex);
Jens Axboe35f3d142010-05-20 10:43:18 +0200600 return pipe;
601 }
602 kfree(pipe);
Ingo Molnar3a326a22006-04-10 15:18:35 +0200603 }
604
Jens Axboe35f3d142010-05-20 10:43:18 +0200605 return NULL;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200606}
607
Al Viro4b8a8f12013-03-21 11:06:46 -0400608void free_pipe_info(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609{
610 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700611
Jens Axboe35f3d142010-05-20 10:43:18 +0200612 for (i = 0; i < pipe->buffers; i++) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200613 struct pipe_buffer *buf = pipe->bufs + i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700614 if (buf->ops)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200615 buf->ops->release(pipe, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700616 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200617 if (pipe->tmp_page)
618 __free_page(pipe->tmp_page);
Jens Axboe35f3d142010-05-20 10:43:18 +0200619 kfree(pipe->bufs);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200620 kfree(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700621}
622
Eric Dumazetfa3536c2006-03-26 01:37:24 -0800623static struct vfsmount *pipe_mnt __read_mostly;
Ingo Molnar341b4462006-04-11 13:57:45 +0200624
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700625/*
626 * pipefs_dname() is called from d_path().
627 */
628static char *pipefs_dname(struct dentry *dentry, char *buffer, int buflen)
629{
630 return dynamic_dname(dentry, buffer, buflen, "pipe:[%lu]",
631 dentry->d_inode->i_ino);
632}
633
Al Viro3ba13d12009-02-20 06:02:22 +0000634static const struct dentry_operations pipefs_dentry_operations = {
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700635 .d_dname = pipefs_dname,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700636};
637
638static struct inode * get_pipe_inode(void)
639{
Eric Dumazeta209dfc2011-07-26 11:36:34 +0200640 struct inode *inode = new_inode_pseudo(pipe_mnt->mnt_sb);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200641 struct pipe_inode_info *pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700642
643 if (!inode)
644 goto fail_inode;
645
Christoph Hellwig85fe4022010-10-23 11:19:54 -0400646 inode->i_ino = get_next_ino();
647
Al Viro7bee1302013-03-21 11:04:15 -0400648 pipe = alloc_pipe_info();
Ingo Molnar923f4f22006-04-11 13:53:33 +0200649 if (!pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700650 goto fail_iput;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200651
Al Viroba5bb142013-03-21 02:21:19 -0400652 inode->i_pipe = pipe;
653 pipe->files = 2;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200654 pipe->readers = pipe->writers = 1;
Al Viro599a0ac2013-03-12 09:58:10 -0400655 inode->i_fop = &pipefifo_fops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700656
657 /*
658 * Mark the inode dirty from the very beginning,
659 * that way it will never be moved to the dirty
660 * list because "mark_inode_dirty()" will think
661 * that it already _is_ on the dirty list.
662 */
663 inode->i_state = I_DIRTY;
664 inode->i_mode = S_IFIFO | S_IRUSR | S_IWUSR;
David Howellsda9592e2008-11-14 10:39:05 +1100665 inode->i_uid = current_fsuid();
666 inode->i_gid = current_fsgid();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700667 inode->i_atime = inode->i_mtime = inode->i_ctime = CURRENT_TIME;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200668
Linus Torvalds1da177e2005-04-16 15:20:36 -0700669 return inode;
670
671fail_iput:
672 iput(inode);
Ingo Molnar341b4462006-04-11 13:57:45 +0200673
Linus Torvalds1da177e2005-04-16 15:20:36 -0700674fail_inode:
675 return NULL;
676}
677
Al Viroe4fad8e2012-07-21 15:33:25 +0400678int create_pipe_files(struct file **res, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700679{
Andi Kleend6cbd282006-09-30 23:29:26 -0700680 int err;
Al Viroe4fad8e2012-07-21 15:33:25 +0400681 struct inode *inode = get_pipe_inode();
Andi Kleend6cbd282006-09-30 23:29:26 -0700682 struct file *f;
Al Viro2c48b9c2009-08-09 00:52:35 +0400683 struct path path;
Al Viroe4fad8e2012-07-21 15:33:25 +0400684 static struct qstr name = { .name = "" };
Linus Torvalds1da177e2005-04-16 15:20:36 -0700685
Linus Torvalds1da177e2005-04-16 15:20:36 -0700686 if (!inode)
Al Viroe4fad8e2012-07-21 15:33:25 +0400687 return -ENFILE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700688
Andi Kleend6cbd282006-09-30 23:29:26 -0700689 err = -ENOMEM;
Nick Piggin4b936882011-01-07 17:50:07 +1100690 path.dentry = d_alloc_pseudo(pipe_mnt->mnt_sb, &name);
Al Viro2c48b9c2009-08-09 00:52:35 +0400691 if (!path.dentry)
Andi Kleend6cbd282006-09-30 23:29:26 -0700692 goto err_inode;
Al Viro2c48b9c2009-08-09 00:52:35 +0400693 path.mnt = mntget(pipe_mnt);
Ingo Molnar341b4462006-04-11 13:57:45 +0200694
Al Viro2c48b9c2009-08-09 00:52:35 +0400695 d_instantiate(path.dentry, inode);
Dave Hansen430e2852008-02-15 14:37:26 -0800696
697 err = -ENFILE;
Al Viro599a0ac2013-03-12 09:58:10 -0400698 f = alloc_file(&path, FMODE_WRITE, &pipefifo_fops);
Anatol Pomozov39b65252012-09-12 20:11:55 -0700699 if (IS_ERR(f))
Dave Hansen430e2852008-02-15 14:37:26 -0800700 goto err_dentry;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700701
Linus Torvalds98830352012-04-29 13:12:42 -0700702 f->f_flags = O_WRONLY | (flags & (O_NONBLOCK | O_DIRECT));
Al Virode32ec42013-03-21 11:16:56 -0400703 f->private_data = inode->i_pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700704
Al Viro599a0ac2013-03-12 09:58:10 -0400705 res[0] = alloc_file(&path, FMODE_READ, &pipefifo_fops);
Anatol Pomozov39b65252012-09-12 20:11:55 -0700706 if (IS_ERR(res[0]))
Al Viroe4fad8e2012-07-21 15:33:25 +0400707 goto err_file;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700708
Al Viroe4fad8e2012-07-21 15:33:25 +0400709 path_get(&path);
Al Virode32ec42013-03-21 11:16:56 -0400710 res[0]->private_data = inode->i_pipe;
Al Viroe4fad8e2012-07-21 15:33:25 +0400711 res[0]->f_flags = O_RDONLY | (flags & O_NONBLOCK);
712 res[1] = f;
713 return 0;
714
715err_file:
716 put_filp(f);
717err_dentry:
Al Viro4b8a8f12013-03-21 11:06:46 -0400718 free_pipe_info(inode->i_pipe);
Al Viro2c48b9c2009-08-09 00:52:35 +0400719 path_put(&path);
Al Viroe4fad8e2012-07-21 15:33:25 +0400720 return err;
Al Viroed152432008-04-22 19:51:27 -0400721
Al Viroe4fad8e2012-07-21 15:33:25 +0400722err_inode:
Al Viro4b8a8f12013-03-21 11:06:46 -0400723 free_pipe_info(inode->i_pipe);
Andi Kleend6cbd282006-09-30 23:29:26 -0700724 iput(inode);
Al Viroe4fad8e2012-07-21 15:33:25 +0400725 return err;
Andi Kleend6cbd282006-09-30 23:29:26 -0700726}
727
Al Viro5b249b12012-08-19 12:17:29 -0400728static int __do_pipe_flags(int *fd, struct file **files, int flags)
Andi Kleend6cbd282006-09-30 23:29:26 -0700729{
Andi Kleend6cbd282006-09-30 23:29:26 -0700730 int error;
731 int fdw, fdr;
732
Linus Torvalds98830352012-04-29 13:12:42 -0700733 if (flags & ~(O_CLOEXEC | O_NONBLOCK | O_DIRECT))
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700734 return -EINVAL;
735
Al Viroe4fad8e2012-07-21 15:33:25 +0400736 error = create_pipe_files(files, flags);
737 if (error)
738 return error;
Andi Kleend6cbd282006-09-30 23:29:26 -0700739
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700740 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700741 if (error < 0)
742 goto err_read_pipe;
743 fdr = error;
744
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700745 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700746 if (error < 0)
747 goto err_fdr;
748 fdw = error;
749
Al Viro157cf642008-12-14 04:57:47 -0500750 audit_fd_pair(fdr, fdw);
Andi Kleend6cbd282006-09-30 23:29:26 -0700751 fd[0] = fdr;
752 fd[1] = fdw;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700753 return 0;
754
Andi Kleend6cbd282006-09-30 23:29:26 -0700755 err_fdr:
756 put_unused_fd(fdr);
757 err_read_pipe:
Al Viroe4fad8e2012-07-21 15:33:25 +0400758 fput(files[0]);
759 fput(files[1]);
Andi Kleend6cbd282006-09-30 23:29:26 -0700760 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700761}
762
Al Viro5b249b12012-08-19 12:17:29 -0400763int do_pipe_flags(int *fd, int flags)
764{
765 struct file *files[2];
766 int error = __do_pipe_flags(fd, files, flags);
767 if (!error) {
768 fd_install(fd[0], files[0]);
769 fd_install(fd[1], files[1]);
770 }
771 return error;
772}
773
Linus Torvalds1da177e2005-04-16 15:20:36 -0700774/*
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400775 * sys_pipe() is the normal C calling standard for creating
776 * a pipe. It's not the way Unix traditionally does this, though.
777 */
Heiko Carstensd4e82042009-01-14 14:14:34 +0100778SYSCALL_DEFINE2(pipe2, int __user *, fildes, int, flags)
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400779{
Al Viro5b249b12012-08-19 12:17:29 -0400780 struct file *files[2];
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400781 int fd[2];
782 int error;
783
Al Viro5b249b12012-08-19 12:17:29 -0400784 error = __do_pipe_flags(fd, files, flags);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400785 if (!error) {
Al Viro5b249b12012-08-19 12:17:29 -0400786 if (unlikely(copy_to_user(fildes, fd, sizeof(fd)))) {
787 fput(files[0]);
788 fput(files[1]);
789 put_unused_fd(fd[0]);
790 put_unused_fd(fd[1]);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400791 error = -EFAULT;
Al Viro5b249b12012-08-19 12:17:29 -0400792 } else {
793 fd_install(fd[0], files[0]);
794 fd_install(fd[1], files[1]);
Ulrich Drepperba719ba2008-05-06 20:42:38 -0700795 }
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400796 }
797 return error;
798}
799
Heiko Carstens2b664212009-01-14 14:14:35 +0100800SYSCALL_DEFINE1(pipe, int __user *, fildes)
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700801{
802 return sys_pipe2(fildes, 0);
803}
804
Al Virofc7478a2013-03-21 02:07:59 -0400805static int wait_for_partner(struct pipe_inode_info *pipe, unsigned int *cnt)
Al Virof776c732013-03-12 09:46:27 -0400806{
807 int cur = *cnt;
808
809 while (cur == *cnt) {
Al Virofc7478a2013-03-21 02:07:59 -0400810 pipe_wait(pipe);
Al Virof776c732013-03-12 09:46:27 -0400811 if (signal_pending(current))
812 break;
813 }
814 return cur == *cnt ? -ERESTARTSYS : 0;
815}
816
Al Virofc7478a2013-03-21 02:07:59 -0400817static void wake_up_partner(struct pipe_inode_info *pipe)
Al Virof776c732013-03-12 09:46:27 -0400818{
Al Virofc7478a2013-03-21 02:07:59 -0400819 wake_up_interruptible(&pipe->wait);
Al Virof776c732013-03-12 09:46:27 -0400820}
821
822static int fifo_open(struct inode *inode, struct file *filp)
823{
824 struct pipe_inode_info *pipe;
Al Viro599a0ac2013-03-12 09:58:10 -0400825 bool is_pipe = inode->i_sb->s_magic == PIPEFS_MAGIC;
Al Virof776c732013-03-12 09:46:27 -0400826 int ret;
827
Al Viroba5bb142013-03-21 02:21:19 -0400828 filp->f_version = 0;
829
830 spin_lock(&inode->i_lock);
831 if (inode->i_pipe) {
832 pipe = inode->i_pipe;
833 pipe->files++;
834 spin_unlock(&inode->i_lock);
835 } else {
836 spin_unlock(&inode->i_lock);
Al Viro7bee1302013-03-21 11:04:15 -0400837 pipe = alloc_pipe_info();
Al Virof776c732013-03-12 09:46:27 -0400838 if (!pipe)
Al Viroba5bb142013-03-21 02:21:19 -0400839 return -ENOMEM;
840 pipe->files = 1;
841 spin_lock(&inode->i_lock);
842 if (unlikely(inode->i_pipe)) {
843 inode->i_pipe->files++;
844 spin_unlock(&inode->i_lock);
Al Viro4b8a8f12013-03-21 11:06:46 -0400845 free_pipe_info(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400846 pipe = inode->i_pipe;
847 } else {
848 inode->i_pipe = pipe;
849 spin_unlock(&inode->i_lock);
850 }
Al Virof776c732013-03-12 09:46:27 -0400851 }
Al Virode32ec42013-03-21 11:16:56 -0400852 filp->private_data = pipe;
Al Viroba5bb142013-03-21 02:21:19 -0400853 /* OK, we have a pipe and it's pinned down */
854
Al Viroebec73f2013-03-21 12:24:01 -0400855 __pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -0400856
857 /* We can only do regular read/write on fifos */
858 filp->f_mode &= (FMODE_READ | FMODE_WRITE);
859
860 switch (filp->f_mode) {
861 case FMODE_READ:
862 /*
863 * O_RDONLY
864 * POSIX.1 says that O_NONBLOCK means return with the FIFO
865 * opened, even when there is no process writing the FIFO.
866 */
Al Virof776c732013-03-12 09:46:27 -0400867 pipe->r_counter++;
868 if (pipe->readers++ == 0)
Al Virofc7478a2013-03-21 02:07:59 -0400869 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -0400870
Al Viro599a0ac2013-03-12 09:58:10 -0400871 if (!is_pipe && !pipe->writers) {
Al Virof776c732013-03-12 09:46:27 -0400872 if ((filp->f_flags & O_NONBLOCK)) {
873 /* suppress POLLHUP until we have
874 * seen a writer */
875 filp->f_version = pipe->w_counter;
876 } else {
Al Virofc7478a2013-03-21 02:07:59 -0400877 if (wait_for_partner(pipe, &pipe->w_counter))
Al Virof776c732013-03-12 09:46:27 -0400878 goto err_rd;
879 }
880 }
881 break;
882
883 case FMODE_WRITE:
884 /*
885 * O_WRONLY
886 * POSIX.1 says that O_NONBLOCK means return -1 with
887 * errno=ENXIO when there is no process reading the FIFO.
888 */
889 ret = -ENXIO;
Al Viro599a0ac2013-03-12 09:58:10 -0400890 if (!is_pipe && (filp->f_flags & O_NONBLOCK) && !pipe->readers)
Al Virof776c732013-03-12 09:46:27 -0400891 goto err;
892
Al Virof776c732013-03-12 09:46:27 -0400893 pipe->w_counter++;
894 if (!pipe->writers++)
Al Virofc7478a2013-03-21 02:07:59 -0400895 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -0400896
Al Viro599a0ac2013-03-12 09:58:10 -0400897 if (!is_pipe && !pipe->readers) {
Al Virofc7478a2013-03-21 02:07:59 -0400898 if (wait_for_partner(pipe, &pipe->r_counter))
Al Virof776c732013-03-12 09:46:27 -0400899 goto err_wr;
900 }
901 break;
902
903 case FMODE_READ | FMODE_WRITE:
904 /*
905 * O_RDWR
906 * POSIX.1 leaves this case "undefined" when O_NONBLOCK is set.
907 * This implementation will NEVER block on a O_RDWR open, since
908 * the process can at least talk to itself.
909 */
Al Virof776c732013-03-12 09:46:27 -0400910
911 pipe->readers++;
912 pipe->writers++;
913 pipe->r_counter++;
914 pipe->w_counter++;
915 if (pipe->readers == 1 || pipe->writers == 1)
Al Virofc7478a2013-03-21 02:07:59 -0400916 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -0400917 break;
918
919 default:
920 ret = -EINVAL;
921 goto err;
922 }
923
924 /* Ok! */
Al Viroebec73f2013-03-21 12:24:01 -0400925 __pipe_unlock(pipe);
Al Virof776c732013-03-12 09:46:27 -0400926 return 0;
927
928err_rd:
929 if (!--pipe->readers)
930 wake_up_interruptible(&pipe->wait);
931 ret = -ERESTARTSYS;
932 goto err;
933
934err_wr:
935 if (!--pipe->writers)
936 wake_up_interruptible(&pipe->wait);
937 ret = -ERESTARTSYS;
938 goto err;
939
940err:
Al Viroebec73f2013-03-21 12:24:01 -0400941 __pipe_unlock(pipe);
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800942
943 put_pipe_info(inode, pipe);
Al Virof776c732013-03-12 09:46:27 -0400944 return ret;
945}
946
Al Viro599a0ac2013-03-12 09:58:10 -0400947const struct file_operations pipefifo_fops = {
948 .open = fifo_open,
949 .llseek = no_llseek,
Al Virofb9096a2014-04-02 19:56:54 -0400950 .read = new_sync_read,
951 .read_iter = pipe_read,
Al Virof0d1bec2014-04-03 15:05:18 -0400952 .write = new_sync_write,
953 .write_iter = pipe_write,
Al Viro599a0ac2013-03-12 09:58:10 -0400954 .poll = pipe_poll,
955 .unlocked_ioctl = pipe_ioctl,
956 .release = pipe_release,
957 .fasync = pipe_fasync,
Al Virof776c732013-03-12 09:46:27 -0400958};
959
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400960/*
Jens Axboe35f3d142010-05-20 10:43:18 +0200961 * Allocate a new array of pipe buffers and copy the info over. Returns the
962 * pipe size if successful, or return -ERROR on error.
963 */
Jens Axboeb9598db2010-05-24 19:34:43 +0200964static long pipe_set_size(struct pipe_inode_info *pipe, unsigned long nr_pages)
Jens Axboe35f3d142010-05-20 10:43:18 +0200965{
966 struct pipe_buffer *bufs;
967
968 /*
Jens Axboe35f3d142010-05-20 10:43:18 +0200969 * We can shrink the pipe, if arg >= pipe->nrbufs. Since we don't
970 * expect a lot of shrink+grow operations, just free and allocate
971 * again like we would do for growing. If the pipe currently
972 * contains more buffers than arg, then return busy.
973 */
Jens Axboeb9598db2010-05-24 19:34:43 +0200974 if (nr_pages < pipe->nrbufs)
Jens Axboe35f3d142010-05-20 10:43:18 +0200975 return -EBUSY;
976
Sasha Levin2ccd4f42012-01-12 17:17:40 -0800977 bufs = kcalloc(nr_pages, sizeof(*bufs), GFP_KERNEL | __GFP_NOWARN);
Jens Axboe35f3d142010-05-20 10:43:18 +0200978 if (unlikely(!bufs))
979 return -ENOMEM;
980
981 /*
982 * The pipe array wraps around, so just start the new one at zero
983 * and adjust the indexes.
984 */
985 if (pipe->nrbufs) {
Miklos Szeredi1d862f42010-06-08 16:28:45 +0200986 unsigned int tail;
987 unsigned int head;
Jens Axboe35f3d142010-05-20 10:43:18 +0200988
Miklos Szeredi1d862f42010-06-08 16:28:45 +0200989 tail = pipe->curbuf + pipe->nrbufs;
990 if (tail < pipe->buffers)
991 tail = 0;
992 else
993 tail &= (pipe->buffers - 1);
994
995 head = pipe->nrbufs - tail;
Jens Axboe35f3d142010-05-20 10:43:18 +0200996 if (head)
997 memcpy(bufs, pipe->bufs + pipe->curbuf, head * sizeof(struct pipe_buffer));
998 if (tail)
Miklos Szeredi1d862f42010-06-08 16:28:45 +0200999 memcpy(bufs + head, pipe->bufs, tail * sizeof(struct pipe_buffer));
Jens Axboe35f3d142010-05-20 10:43:18 +02001000 }
1001
1002 pipe->curbuf = 0;
1003 kfree(pipe->bufs);
1004 pipe->bufs = bufs;
Jens Axboeb9598db2010-05-24 19:34:43 +02001005 pipe->buffers = nr_pages;
1006 return nr_pages * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001007}
1008
Jens Axboeff9da692010-06-03 14:54:39 +02001009/*
1010 * Currently we rely on the pipe array holding a power-of-2 number
1011 * of pages.
1012 */
1013static inline unsigned int round_pipe_size(unsigned int size)
1014{
1015 unsigned long nr_pages;
1016
1017 nr_pages = (size + PAGE_SIZE - 1) >> PAGE_SHIFT;
1018 return roundup_pow_of_two(nr_pages) << PAGE_SHIFT;
1019}
1020
1021/*
1022 * This should work even if CONFIG_PROC_FS isn't set, as proc_dointvec_minmax
1023 * will return an error.
1024 */
1025int pipe_proc_fn(struct ctl_table *table, int write, void __user *buf,
1026 size_t *lenp, loff_t *ppos)
1027{
1028 int ret;
1029
1030 ret = proc_dointvec_minmax(table, write, buf, lenp, ppos);
1031 if (ret < 0 || !write)
1032 return ret;
1033
1034 pipe_max_size = round_pipe_size(pipe_max_size);
1035 return ret;
1036}
1037
Linus Torvalds72083642010-11-28 16:27:19 -08001038/*
1039 * After the inode slimming patch, i_pipe/i_bdev/i_cdev share the same
1040 * location, so checking ->i_pipe is not enough to verify that this is a
1041 * pipe.
1042 */
1043struct pipe_inode_info *get_pipe_info(struct file *file)
1044{
Al Virode32ec42013-03-21 11:16:56 -04001045 return file->f_op == &pipefifo_fops ? file->private_data : NULL;
Linus Torvalds72083642010-11-28 16:27:19 -08001046}
1047
Jens Axboe35f3d142010-05-20 10:43:18 +02001048long pipe_fcntl(struct file *file, unsigned int cmd, unsigned long arg)
1049{
1050 struct pipe_inode_info *pipe;
1051 long ret;
1052
Linus Torvaldsc66fb342010-11-28 14:09:57 -08001053 pipe = get_pipe_info(file);
Jens Axboe35f3d142010-05-20 10:43:18 +02001054 if (!pipe)
1055 return -EBADF;
1056
Al Viroebec73f2013-03-21 12:24:01 -04001057 __pipe_lock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001058
1059 switch (cmd) {
Jens Axboeb9598db2010-05-24 19:34:43 +02001060 case F_SETPIPE_SZ: {
Jens Axboeff9da692010-06-03 14:54:39 +02001061 unsigned int size, nr_pages;
Jens Axboeb9598db2010-05-24 19:34:43 +02001062
Jens Axboeff9da692010-06-03 14:54:39 +02001063 size = round_pipe_size(arg);
1064 nr_pages = size >> PAGE_SHIFT;
Jens Axboeb9598db2010-05-24 19:34:43 +02001065
Miklos Szeredi6db40cf2010-06-09 09:27:57 +02001066 ret = -EINVAL;
1067 if (!nr_pages)
1068 goto out;
1069
Jens Axboeff9da692010-06-03 14:54:39 +02001070 if (!capable(CAP_SYS_RESOURCE) && size > pipe_max_size) {
Jens Axboeb4ca7612010-06-01 12:42:12 +02001071 ret = -EPERM;
Julia Lawallcc967be2010-05-26 17:54:39 +02001072 goto out;
Julia Lawallcc967be2010-05-26 17:54:39 +02001073 }
Jens Axboeff9da692010-06-03 14:54:39 +02001074 ret = pipe_set_size(pipe, nr_pages);
Jens Axboe35f3d142010-05-20 10:43:18 +02001075 break;
Jens Axboeb9598db2010-05-24 19:34:43 +02001076 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001077 case F_GETPIPE_SZ:
Jens Axboeb9598db2010-05-24 19:34:43 +02001078 ret = pipe->buffers * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001079 break;
1080 default:
1081 ret = -EINVAL;
1082 break;
1083 }
1084
Julia Lawallcc967be2010-05-26 17:54:39 +02001085out:
Al Viroebec73f2013-03-21 12:24:01 -04001086 __pipe_unlock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001087 return ret;
1088}
1089
Nick Pigginff0c7d12011-01-07 17:49:50 +11001090static const struct super_operations pipefs_ops = {
1091 .destroy_inode = free_inode_nonrcu,
Pavel Emelyanovd70ef972011-10-31 17:10:04 -07001092 .statfs = simple_statfs,
Nick Pigginff0c7d12011-01-07 17:49:50 +11001093};
1094
Jens Axboe35f3d142010-05-20 10:43:18 +02001095/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001096 * pipefs should _never_ be mounted by userland - too much of security hassle,
1097 * no real gain from having the whole whorehouse mounted. So we don't need
1098 * any operations on the root directory. However, we need a non-trivial
1099 * d_name - pipe: will go nicely and kill the special-casing in procfs.
1100 */
Al Viro51139ad2010-07-25 23:47:46 +04001101static struct dentry *pipefs_mount(struct file_system_type *fs_type,
1102 int flags, const char *dev_name, void *data)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001103{
Al Viroc74a1cb2011-01-12 16:59:34 -05001104 return mount_pseudo(fs_type, "pipe:", &pipefs_ops,
1105 &pipefs_dentry_operations, PIPEFS_MAGIC);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001106}
1107
1108static struct file_system_type pipe_fs_type = {
1109 .name = "pipefs",
Al Viro51139ad2010-07-25 23:47:46 +04001110 .mount = pipefs_mount,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001111 .kill_sb = kill_anon_super,
1112};
1113
1114static int __init init_pipe_fs(void)
1115{
1116 int err = register_filesystem(&pipe_fs_type);
Ingo Molnar341b4462006-04-11 13:57:45 +02001117
Linus Torvalds1da177e2005-04-16 15:20:36 -07001118 if (!err) {
1119 pipe_mnt = kern_mount(&pipe_fs_type);
1120 if (IS_ERR(pipe_mnt)) {
1121 err = PTR_ERR(pipe_mnt);
1122 unregister_filesystem(&pipe_fs_type);
1123 }
1124 }
1125 return err;
1126}
1127
Linus Torvalds1da177e2005-04-16 15:20:36 -07001128fs_initcall(init_pipe_fs);