blob: bfd946a9ad01fe80d557dd093774c5258c58a41a [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * linux/fs/pipe.c
4 *
5 * Copyright (C) 1991, 1992, 1999 Linus Torvalds
6 */
7
8#include <linux/mm.h>
9#include <linux/file.h>
10#include <linux/poll.h>
11#include <linux/slab.h>
12#include <linux/module.h>
13#include <linux/init.h>
14#include <linux/fs.h>
Jens Axboe35f3d142010-05-20 10:43:18 +020015#include <linux/log2.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/mount.h>
David Howells4fa7ec52019-03-25 16:38:23 +000017#include <linux/pseudo_fs.h>
Muthu Kumarb502bd12012-03-23 15:01:50 -070018#include <linux/magic.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070019#include <linux/pipe_fs_i.h>
20#include <linux/uio.h>
21#include <linux/highmem.h>
Jens Axboe5274f052006-03-30 15:15:30 +020022#include <linux/pagemap.h>
Al Virodb349502007-02-07 01:48:00 -050023#include <linux/audit.h>
Ulrich Drepperba719ba2008-05-06 20:42:38 -070024#include <linux/syscalls.h>
Jens Axboeb492e952010-05-19 21:03:16 +020025#include <linux/fcntl.h>
Vladimir Davydovd86133b2016-07-26 15:24:33 -070026#include <linux/memcontrol.h>
David Howellsc73be612020-01-14 17:07:11 +000027#include <linux/watch_queue.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070028
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080029#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070030#include <asm/ioctls.h>
31
Al Viro599a0ac2013-03-12 09:58:10 -040032#include "internal.h"
33
Linus Torvalds1da177e2005-04-16 15:20:36 -070034/*
Jens Axboeb492e952010-05-19 21:03:16 +020035 * The max size that a non-root user is allowed to grow the pipe. Can
Jens Axboeff9da692010-06-03 14:54:39 +020036 * be set by root in /proc/sys/fs/pipe-max-size
Jens Axboeb492e952010-05-19 21:03:16 +020037 */
Jens Axboeff9da692010-06-03 14:54:39 +020038unsigned int pipe_max_size = 1048576;
39
Willy Tarreau759c0112016-01-18 16:36:09 +010040/* Maximum allocatable pages per user. Hard limit is unset by default, soft
41 * matches default values.
42 */
43unsigned long pipe_user_pages_hard;
44unsigned long pipe_user_pages_soft = PIPE_DEF_BUFFERS * INR_OPEN_CUR;
45
Jens Axboeb492e952010-05-19 21:03:16 +020046/*
David Howells8cefc102019-11-15 13:30:32 +000047 * We use head and tail indices that aren't masked off, except at the point of
48 * dereference, but rather they're allowed to wrap naturally. This means there
49 * isn't a dead spot in the buffer, but the ring has to be a power of two and
50 * <= 2^31.
51 * -- David Howells 2019-09-23.
52 *
Linus Torvalds1da177e2005-04-16 15:20:36 -070053 * Reads with count = 0 should always return 0.
54 * -- Julian Bradfield 1999-06-07.
55 *
56 * FIFOs and Pipes now generate SIGIO for both readers and writers.
57 * -- Jeremy Elson <jelson@circlemud.org> 2001-08-16
58 *
59 * pipe_read & write cleanup
60 * -- Manfred Spraul <manfred@colorfullife.com> 2002-05-09
61 */
62
Miklos Szeredi61e0d472009-04-14 19:48:41 +020063static void pipe_lock_nested(struct pipe_inode_info *pipe, int subclass)
64{
Al Viro6447a3c2013-03-21 11:01:38 -040065 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040066 mutex_lock_nested(&pipe->mutex, subclass);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020067}
68
69void pipe_lock(struct pipe_inode_info *pipe)
70{
71 /*
72 * pipe_lock() nests non-pipe inode locks (for writing to a file)
73 */
74 pipe_lock_nested(pipe, I_MUTEX_PARENT);
75}
76EXPORT_SYMBOL(pipe_lock);
77
78void pipe_unlock(struct pipe_inode_info *pipe)
79{
Al Viro6447a3c2013-03-21 11:01:38 -040080 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040081 mutex_unlock(&pipe->mutex);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020082}
83EXPORT_SYMBOL(pipe_unlock);
84
Al Viroebec73f2013-03-21 12:24:01 -040085static inline void __pipe_lock(struct pipe_inode_info *pipe)
86{
87 mutex_lock_nested(&pipe->mutex, I_MUTEX_PARENT);
88}
89
90static inline void __pipe_unlock(struct pipe_inode_info *pipe)
91{
92 mutex_unlock(&pipe->mutex);
93}
94
Miklos Szeredi61e0d472009-04-14 19:48:41 +020095void pipe_double_lock(struct pipe_inode_info *pipe1,
96 struct pipe_inode_info *pipe2)
97{
98 BUG_ON(pipe1 == pipe2);
99
100 if (pipe1 < pipe2) {
101 pipe_lock_nested(pipe1, I_MUTEX_PARENT);
102 pipe_lock_nested(pipe2, I_MUTEX_CHILD);
103 } else {
Peter Zijlstra023d43c2009-07-21 10:09:23 +0200104 pipe_lock_nested(pipe2, I_MUTEX_PARENT);
105 pipe_lock_nested(pipe1, I_MUTEX_CHILD);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200106 }
107}
108
Ingo Molnar341b4462006-04-11 13:57:45 +0200109static void anon_pipe_buf_release(struct pipe_inode_info *pipe,
110 struct pipe_buffer *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700111{
112 struct page *page = buf->page;
113
Jens Axboe5274f052006-03-30 15:15:30 +0200114 /*
115 * If nobody else uses this page, and we don't already have a
116 * temporary page, let's keep track of it as a one-deep
Ingo Molnar341b4462006-04-11 13:57:45 +0200117 * allocation cache. (Otherwise just release our reference to it)
Jens Axboe5274f052006-03-30 15:15:30 +0200118 */
Ingo Molnar341b4462006-04-11 13:57:45 +0200119 if (page_count(page) == 1 && !pipe->tmp_page)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200120 pipe->tmp_page = page;
Ingo Molnar341b4462006-04-11 13:57:45 +0200121 else
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300122 put_page(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700123}
124
Christoph Hellwigc928f642020-05-20 17:58:16 +0200125static bool anon_pipe_buf_try_steal(struct pipe_inode_info *pipe,
126 struct pipe_buffer *buf)
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700127{
128 struct page *page = buf->page;
129
Christoph Hellwigc928f642020-05-20 17:58:16 +0200130 if (page_count(page) != 1)
131 return false;
132 memcg_kmem_uncharge_page(page, 0);
133 __SetPageLocked(page);
134 return true;
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700135}
136
Jens Axboe08457182007-06-12 20:51:32 +0200137/**
Christoph Hellwigc928f642020-05-20 17:58:16 +0200138 * generic_pipe_buf_try_steal - attempt to take ownership of a &pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200139 * @pipe: the pipe that the buffer belongs to
140 * @buf: the buffer to attempt to steal
141 *
142 * Description:
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800143 * This function attempts to steal the &struct page attached to
Jens Axboe08457182007-06-12 20:51:32 +0200144 * @buf. If successful, this function returns 0 and returns with
145 * the page locked. The caller may then reuse the page for whatever
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800146 * he wishes; the typical use is insertion into a different file
Jens Axboe08457182007-06-12 20:51:32 +0200147 * page cache.
148 */
Christoph Hellwigc928f642020-05-20 17:58:16 +0200149bool generic_pipe_buf_try_steal(struct pipe_inode_info *pipe,
150 struct pipe_buffer *buf)
Jens Axboe5abc97a2006-03-30 15:16:46 +0200151{
Jens Axboe46e678c2006-04-30 16:36:32 +0200152 struct page *page = buf->page;
153
Jens Axboe08457182007-06-12 20:51:32 +0200154 /*
155 * A reference of one is golden, that means that the owner of this
156 * page is the only one holding a reference to it. lock the page
157 * and return OK.
158 */
Jens Axboe46e678c2006-04-30 16:36:32 +0200159 if (page_count(page) == 1) {
Jens Axboe46e678c2006-04-30 16:36:32 +0200160 lock_page(page);
Christoph Hellwigc928f642020-05-20 17:58:16 +0200161 return true;
Jens Axboe46e678c2006-04-30 16:36:32 +0200162 }
Christoph Hellwigc928f642020-05-20 17:58:16 +0200163 return false;
Jens Axboe5abc97a2006-03-30 15:16:46 +0200164}
Christoph Hellwigc928f642020-05-20 17:58:16 +0200165EXPORT_SYMBOL(generic_pipe_buf_try_steal);
Jens Axboe5abc97a2006-03-30 15:16:46 +0200166
Jens Axboe08457182007-06-12 20:51:32 +0200167/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800168 * generic_pipe_buf_get - get a reference to a &struct pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200169 * @pipe: the pipe that the buffer belongs to
170 * @buf: the buffer to get a reference to
171 *
172 * Description:
173 * This function grabs an extra reference to @buf. It's used in
Randy Dunlap3d742d42021-02-24 12:00:48 -0800174 * the tee() system call, when we duplicate the buffers in one
Jens Axboe08457182007-06-12 20:51:32 +0200175 * pipe into another.
176 */
Matthew Wilcox15fab632019-04-05 14:02:10 -0700177bool generic_pipe_buf_get(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
Jens Axboe70524492006-04-11 15:51:17 +0200178{
Matthew Wilcox15fab632019-04-05 14:02:10 -0700179 return try_get_page(buf->page);
Jens Axboe70524492006-04-11 15:51:17 +0200180}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200181EXPORT_SYMBOL(generic_pipe_buf_get);
Jens Axboe70524492006-04-11 15:51:17 +0200182
Jens Axboe08457182007-06-12 20:51:32 +0200183/**
Miklos Szeredi68181732009-05-07 15:37:36 +0200184 * generic_pipe_buf_release - put a reference to a &struct pipe_buffer
185 * @pipe: the pipe that the buffer belongs to
186 * @buf: the buffer to put a reference to
187 *
188 * Description:
189 * This function releases a reference to @buf.
190 */
191void generic_pipe_buf_release(struct pipe_inode_info *pipe,
192 struct pipe_buffer *buf)
193{
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300194 put_page(buf->page);
Miklos Szeredi68181732009-05-07 15:37:36 +0200195}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200196EXPORT_SYMBOL(generic_pipe_buf_release);
Miklos Szeredi68181732009-05-07 15:37:36 +0200197
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800198static const struct pipe_buf_operations anon_pipe_buf_ops = {
Christoph Hellwigc928f642020-05-20 17:58:16 +0200199 .release = anon_pipe_buf_release,
200 .try_steal = anon_pipe_buf_try_steal,
201 .get = generic_pipe_buf_get,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700202};
203
Linus Torvalds85190d12019-12-07 13:53:09 -0800204/* Done while waiting without holding the pipe lock - thus the READ_ONCE() */
205static inline bool pipe_readable(const struct pipe_inode_info *pipe)
206{
207 unsigned int head = READ_ONCE(pipe->head);
208 unsigned int tail = READ_ONCE(pipe->tail);
209 unsigned int writers = READ_ONCE(pipe->writers);
210
211 return !pipe_empty(head, tail) || !writers;
212}
213
Linus Torvalds1da177e2005-04-16 15:20:36 -0700214static ssize_t
Al Virofb9096a2014-04-02 19:56:54 -0400215pipe_read(struct kiocb *iocb, struct iov_iter *to)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700216{
Al Virofb9096a2014-04-02 19:56:54 -0400217 size_t total_len = iov_iter_count(to);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700218 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400219 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800220 bool was_full, wake_next_reader = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700221 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700222
Linus Torvalds1da177e2005-04-16 15:20:36 -0700223 /* Null read succeeds. */
224 if (unlikely(total_len == 0))
225 return 0;
226
Linus Torvalds1da177e2005-04-16 15:20:36 -0700227 ret = 0;
Al Viroebec73f2013-03-21 12:24:01 -0400228 __pipe_lock(pipe);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800229
230 /*
231 * We only wake up writers if the pipe was full when we started
232 * reading in order to avoid unnecessary wakeups.
233 *
234 * But when we do wake up writers, we do so using a sync wakeup
235 * (WF_SYNC), because we want them to get going and generate more
236 * data for us.
237 */
238 was_full = pipe_full(pipe->head, pipe->tail, pipe->max_usage);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700239 for (;;) {
David Howells8cefc102019-11-15 13:30:32 +0000240 unsigned int head = pipe->head;
241 unsigned int tail = pipe->tail;
242 unsigned int mask = pipe->ring_size - 1;
243
David Howellse7d553d2020-01-14 17:07:12 +0000244#ifdef CONFIG_WATCH_QUEUE
245 if (pipe->note_loss) {
246 struct watch_notification n;
247
248 if (total_len < 8) {
249 if (ret == 0)
250 ret = -ENOBUFS;
251 break;
252 }
253
254 n.type = WATCH_TYPE_META;
255 n.subtype = WATCH_META_LOSS_NOTIFICATION;
256 n.info = watch_sizeof(n);
257 if (copy_to_iter(&n, sizeof(n), to) != sizeof(n)) {
258 if (ret == 0)
259 ret = -EFAULT;
260 break;
261 }
262 ret += sizeof(n);
263 total_len -= sizeof(n);
264 pipe->note_loss = false;
265 }
266#endif
267
David Howells8cefc102019-11-15 13:30:32 +0000268 if (!pipe_empty(head, tail)) {
269 struct pipe_buffer *buf = &pipe->bufs[tail & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700270 size_t chars = buf->len;
Al Viro637b58c2014-02-03 19:11:42 -0500271 size_t written;
272 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273
David Howells8cfba762020-01-14 17:07:11 +0000274 if (chars > total_len) {
275 if (buf->flags & PIPE_BUF_FLAG_WHOLE) {
276 if (ret == 0)
277 ret = -ENOBUFS;
278 break;
279 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700280 chars = total_len;
David Howells8cfba762020-01-14 17:07:11 +0000281 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700282
Miklos Szeredifba597d2016-09-27 10:45:12 +0200283 error = pipe_buf_confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200284 if (error) {
Jens Axboe5274f052006-03-30 15:15:30 +0200285 if (!ret)
Nicolas Kaisere5953cb2010-10-21 14:56:00 +0200286 ret = error;
Jens Axboe5274f052006-03-30 15:15:30 +0200287 break;
288 }
Jens Axboef84d7512006-05-01 19:59:03 +0200289
Al Virofb9096a2014-04-02 19:56:54 -0400290 written = copy_page_to_iter(buf->page, buf->offset, chars, to);
Al Viro637b58c2014-02-03 19:11:42 -0500291 if (unlikely(written < chars)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200292 if (!ret)
Al Viro637b58c2014-02-03 19:11:42 -0500293 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700294 break;
295 }
296 ret += chars;
297 buf->offset += chars;
298 buf->len -= chars;
Linus Torvalds98830352012-04-29 13:12:42 -0700299
300 /* Was it a packet buffer? Clean up and exit */
301 if (buf->flags & PIPE_BUF_FLAG_PACKET) {
302 total_len = chars;
303 buf->len = 0;
304 }
305
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306 if (!buf->len) {
Miklos Szeredia7796382016-09-27 10:45:12 +0200307 pipe_buf_release(pipe, buf);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800308 spin_lock_irq(&pipe->rd_wait.lock);
David Howellse7d553d2020-01-14 17:07:12 +0000309#ifdef CONFIG_WATCH_QUEUE
310 if (buf->flags & PIPE_BUF_FLAG_LOSS)
311 pipe->note_loss = true;
312#endif
David Howells8cefc102019-11-15 13:30:32 +0000313 tail++;
314 pipe->tail = tail;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800315 spin_unlock_irq(&pipe->rd_wait.lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700316 }
317 total_len -= chars;
318 if (!total_len)
319 break; /* common path: read succeeded */
David Howells8cefc102019-11-15 13:30:32 +0000320 if (!pipe_empty(head, tail)) /* More to do? */
321 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700322 }
David Howells8cefc102019-11-15 13:30:32 +0000323
Ingo Molnar923f4f22006-04-11 13:53:33 +0200324 if (!pipe->writers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700325 break;
Linus Torvaldsa28c8b92019-12-07 13:21:01 -0800326 if (ret)
327 break;
328 if (filp->f_flags & O_NONBLOCK) {
329 ret = -EAGAIN;
330 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331 }
Linus Torvalds85190d12019-12-07 13:53:09 -0800332 __pipe_unlock(pipe);
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800333
334 /*
335 * We only get here if we didn't actually read anything.
336 *
337 * However, we could have seen (and removed) a zero-sized
338 * pipe buffer, and might have made space in the buffers
339 * that way.
340 *
341 * You can't make zero-sized pipe buffers by doing an empty
342 * write (not even in packet mode), but they can happen if
343 * the writer gets an EFAULT when trying to fill a buffer
344 * that already got allocated and inserted in the buffer
345 * array.
346 *
347 * So we still need to wake up any pending writers in the
348 * _very_ unlikely case that the pipe was full, but we got
349 * no data.
350 */
351 if (unlikely(was_full)) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800352 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800353 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
354 }
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800355
356 /*
357 * But because we didn't read anything, at this point we can
358 * just return directly with -ERESTARTSYS if we're interrupted,
359 * since we've done any required wakeups and there's no need
360 * to mark anything accessed. And we've dropped the lock.
361 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800362 if (wait_event_interruptible_exclusive(pipe->rd_wait, pipe_readable(pipe)) < 0)
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800363 return -ERESTARTSYS;
364
Linus Torvalds85190d12019-12-07 13:53:09 -0800365 __pipe_lock(pipe);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800366 was_full = pipe_full(pipe->head, pipe->tail, pipe->max_usage);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800367 wake_next_reader = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700368 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800369 if (pipe_empty(pipe->head, pipe->tail))
370 wake_next_reader = false;
Al Viroebec73f2013-03-21 12:24:01 -0400371 __pipe_unlock(pipe);
Ingo Molnar341b4462006-04-11 13:57:45 +0200372
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800373 if (was_full) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800374 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200375 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700376 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800377 if (wake_next_reader)
378 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700379 if (ret > 0)
380 file_accessed(filp);
381 return ret;
382}
383
Linus Torvalds98830352012-04-29 13:12:42 -0700384static inline int is_packetized(struct file *file)
385{
386 return (file->f_flags & O_DIRECT) != 0;
387}
388
Linus Torvalds85190d12019-12-07 13:53:09 -0800389/* Done while waiting without holding the pipe lock - thus the READ_ONCE() */
390static inline bool pipe_writable(const struct pipe_inode_info *pipe)
391{
392 unsigned int head = READ_ONCE(pipe->head);
393 unsigned int tail = READ_ONCE(pipe->tail);
394 unsigned int max_usage = READ_ONCE(pipe->max_usage);
395
396 return !pipe_full(head, tail, max_usage) ||
397 !READ_ONCE(pipe->readers);
398}
399
Linus Torvalds1da177e2005-04-16 15:20:36 -0700400static ssize_t
Al Virof0d1bec2014-04-03 15:05:18 -0400401pipe_write(struct kiocb *iocb, struct iov_iter *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700402{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700403 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400404 struct pipe_inode_info *pipe = filp->private_data;
David Howells8f868d62019-12-05 22:30:37 +0000405 unsigned int head;
Al Virof0d1bec2014-04-03 15:05:18 -0400406 ssize_t ret = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400407 size_t total_len = iov_iter_count(from);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700408 ssize_t chars;
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800409 bool was_empty = false;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800410 bool wake_next_writer = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700411
Linus Torvalds1da177e2005-04-16 15:20:36 -0700412 /* Null write succeeds. */
413 if (unlikely(total_len == 0))
414 return 0;
415
Al Viroebec73f2013-03-21 12:24:01 -0400416 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700417
Ingo Molnar923f4f22006-04-11 13:53:33 +0200418 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700419 send_sig(SIGPIPE, current, 0);
420 ret = -EPIPE;
421 goto out;
422 }
423
David Howellsc73be612020-01-14 17:07:11 +0000424#ifdef CONFIG_WATCH_QUEUE
425 if (pipe->watch_queue) {
426 ret = -EXDEV;
427 goto out;
428 }
429#endif
430
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800431 /*
432 * Only wake up if the pipe started out empty, since
433 * otherwise there should be no readers waiting.
434 *
435 * If it wasn't empty we try to merge new data into
436 * the last buffer.
437 *
438 * That naturally merges small writes, but it also
439 * page-aligs the rest of the writes for large writes
440 * spanning multiple pages.
441 */
David Howells8cefc102019-11-15 13:30:32 +0000442 head = pipe->head;
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800443 was_empty = pipe_empty(head, pipe->tail);
444 chars = total_len & (PAGE_SIZE-1);
445 if (chars && !was_empty) {
David Howells8f868d62019-12-05 22:30:37 +0000446 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000447 struct pipe_buffer *buf = &pipe->bufs[(head - 1) & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700448 int offset = buf->offset + buf->len;
Ingo Molnar341b4462006-04-11 13:57:45 +0200449
Christoph Hellwigf6dd9752020-05-20 17:58:12 +0200450 if ((buf->flags & PIPE_BUF_FLAG_CAN_MERGE) &&
451 offset + chars <= PAGE_SIZE) {
Miklos Szeredifba597d2016-09-27 10:45:12 +0200452 ret = pipe_buf_confirm(pipe, buf);
Eric Biggers6ae08062015-10-17 16:26:09 -0500453 if (ret)
Jens Axboe5274f052006-03-30 15:15:30 +0200454 goto out;
Jens Axboef84d7512006-05-01 19:59:03 +0200455
Al Virof0d1bec2014-04-03 15:05:18 -0400456 ret = copy_page_from_iter(buf->page, offset, chars, from);
457 if (unlikely(ret < chars)) {
Eric Biggers6ae08062015-10-17 16:26:09 -0500458 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700459 goto out;
Jens Axboef6762b72006-05-01 20:02:05 +0200460 }
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800461
Eric Biggers6ae08062015-10-17 16:26:09 -0500462 buf->len += ret;
Al Virof0d1bec2014-04-03 15:05:18 -0400463 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700464 goto out;
465 }
466 }
467
468 for (;;) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200469 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700470 send_sig(SIGPIPE, current, 0);
Ingo Molnar341b4462006-04-11 13:57:45 +0200471 if (!ret)
472 ret = -EPIPE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700473 break;
474 }
David Howells8cefc102019-11-15 13:30:32 +0000475
David Howellsa194dfe2019-09-20 16:32:19 +0100476 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000477 if (!pipe_full(head, pipe->tail, pipe->max_usage)) {
478 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000479 struct pipe_buffer *buf = &pipe->bufs[head & mask];
Ingo Molnar923f4f22006-04-11 13:53:33 +0200480 struct page *page = pipe->tmp_page;
Al Virof0d1bec2014-04-03 15:05:18 -0400481 int copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700482
483 if (!page) {
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700484 page = alloc_page(GFP_HIGHUSER | __GFP_ACCOUNT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700485 if (unlikely(!page)) {
486 ret = ret ? : -ENOMEM;
487 break;
488 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200489 pipe->tmp_page = page;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700490 }
David Howellsa194dfe2019-09-20 16:32:19 +0100491
492 /* Allocate a slot in the ring in advance and attach an
493 * empty buffer. If we fault or otherwise fail to use
494 * it, either the reader will consume it or it'll still
495 * be there for the next write.
496 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800497 spin_lock_irq(&pipe->rd_wait.lock);
David Howellsa194dfe2019-09-20 16:32:19 +0100498
499 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000500 if (pipe_full(head, pipe->tail, pipe->max_usage)) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800501 spin_unlock_irq(&pipe->rd_wait.lock);
David Howells8df44122019-10-07 16:30:51 +0100502 continue;
503 }
504
David Howellsa194dfe2019-09-20 16:32:19 +0100505 pipe->head = head + 1;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800506 spin_unlock_irq(&pipe->rd_wait.lock);
David Howellsa194dfe2019-09-20 16:32:19 +0100507
508 /* Insert it into the buffer array */
509 buf = &pipe->bufs[head & mask];
510 buf->page = page;
511 buf->ops = &anon_pipe_buf_ops;
512 buf->offset = 0;
513 buf->len = 0;
Christoph Hellwigf6dd9752020-05-20 17:58:12 +0200514 if (is_packetized(filp))
David Howellsa194dfe2019-09-20 16:32:19 +0100515 buf->flags = PIPE_BUF_FLAG_PACKET;
Christoph Hellwigf6dd9752020-05-20 17:58:12 +0200516 else
517 buf->flags = PIPE_BUF_FLAG_CAN_MERGE;
David Howellsa194dfe2019-09-20 16:32:19 +0100518 pipe->tmp_page = NULL;
519
Al Virof0d1bec2014-04-03 15:05:18 -0400520 copied = copy_page_from_iter(page, 0, PAGE_SIZE, from);
521 if (unlikely(copied < PAGE_SIZE && iov_iter_count(from))) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200522 if (!ret)
Al Virof0d1bec2014-04-03 15:05:18 -0400523 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700524 break;
525 }
Al Virof0d1bec2014-04-03 15:05:18 -0400526 ret += copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700527 buf->offset = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400528 buf->len = copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700529
Al Virof0d1bec2014-04-03 15:05:18 -0400530 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700531 break;
532 }
David Howells8cefc102019-11-15 13:30:32 +0000533
David Howells8f868d62019-12-05 22:30:37 +0000534 if (!pipe_full(head, pipe->tail, pipe->max_usage))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700535 continue;
David Howells8cefc102019-11-15 13:30:32 +0000536
537 /* Wait for buffer space to become available. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700538 if (filp->f_flags & O_NONBLOCK) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200539 if (!ret)
540 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700541 break;
542 }
543 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200544 if (!ret)
545 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700546 break;
547 }
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800548
549 /*
550 * We're going to release the pipe lock and wait for more
551 * space. We wake up any readers if necessary, and then
552 * after waiting we need to re-check whether the pipe
553 * become empty while we dropped the lock.
554 */
Linus Torvalds85190d12019-12-07 13:53:09 -0800555 __pipe_unlock(pipe);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800556 if (was_empty) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800557 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800558 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
559 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800560 wait_event_interruptible_exclusive(pipe->wr_wait, pipe_writable(pipe));
Linus Torvalds85190d12019-12-07 13:53:09 -0800561 __pipe_lock(pipe);
Jan Stancek0dd1e372019-12-22 13:33:24 +0100562 was_empty = pipe_empty(pipe->head, pipe->tail);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800563 wake_next_writer = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700564 }
565out:
Linus Torvalds0ddad212019-12-09 09:48:27 -0800566 if (pipe_full(pipe->head, pipe->tail, pipe->max_usage))
567 wake_next_writer = false;
Al Viroebec73f2013-03-21 12:24:01 -0400568 __pipe_unlock(pipe);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800569
570 /*
571 * If we do do a wakeup event, we do a 'sync' wakeup, because we
572 * want the reader to start processing things asap, rather than
573 * leave the data pending.
574 *
575 * This is particularly important for small writes, because of
576 * how (for example) the GNU make jobserver uses small writes to
577 * wake up pending jobs
578 */
579 if (was_empty) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800580 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200581 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700582 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800583 if (wake_next_writer)
584 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800585 if (ret > 0 && sb_start_write_trylock(file_inode(filp)->i_sb)) {
Josef Bacikc3b2da32012-03-26 09:59:21 -0400586 int err = file_update_time(filp);
587 if (err)
588 ret = err;
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800589 sb_end_write(file_inode(filp)->i_sb);
Josef Bacikc3b2da32012-03-26 09:59:21 -0400590 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700591 return ret;
592}
593
Andi Kleend59d0b12008-02-08 04:21:23 -0800594static long pipe_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700595{
Al Virode32ec42013-03-21 11:16:56 -0400596 struct pipe_inode_info *pipe = filp->private_data;
David Howells8cefc102019-11-15 13:30:32 +0000597 int count, head, tail, mask;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700598
599 switch (cmd) {
David Howellsc73be612020-01-14 17:07:11 +0000600 case FIONREAD:
601 __pipe_lock(pipe);
602 count = 0;
603 head = pipe->head;
604 tail = pipe->tail;
605 mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000606
David Howellsc73be612020-01-14 17:07:11 +0000607 while (tail != head) {
608 count += pipe->bufs[tail & mask].len;
609 tail++;
610 }
611 __pipe_unlock(pipe);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200612
David Howellsc73be612020-01-14 17:07:11 +0000613 return put_user(count, (int __user *)arg);
614
615#ifdef CONFIG_WATCH_QUEUE
616 case IOC_WATCH_QUEUE_SET_SIZE: {
617 int ret;
618 __pipe_lock(pipe);
619 ret = watch_queue_set_size(pipe, arg);
620 __pipe_unlock(pipe);
621 return ret;
622 }
623
624 case IOC_WATCH_QUEUE_SET_FILTER:
625 return watch_queue_set_filter(
626 pipe, (struct watch_notification_filter __user *)arg);
627#endif
628
629 default:
630 return -ENOIOCTLCMD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700631 }
632}
633
Christoph Hellwigdd670812017-12-31 16:42:12 +0100634/* No kernel lock held - fine */
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700635static __poll_t
636pipe_poll(struct file *filp, poll_table *wait)
Christoph Hellwigdd670812017-12-31 16:42:12 +0100637{
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700638 __poll_t mask;
Christoph Hellwigdd670812017-12-31 16:42:12 +0100639 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvaldsad910e32019-12-07 10:41:17 -0800640 unsigned int head, tail;
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700641
Linus Torvaldsad910e32019-12-07 10:41:17 -0800642 /*
Linus Torvalds0ddad212019-12-09 09:48:27 -0800643 * Reading pipe state only -- no need for acquiring the semaphore.
Linus Torvaldsad910e32019-12-07 10:41:17 -0800644 *
645 * But because this is racy, the code has to add the
646 * entry to the poll table _first_ ..
647 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800648 if (filp->f_mode & FMODE_READ)
649 poll_wait(filp, &pipe->rd_wait, wait);
650 if (filp->f_mode & FMODE_WRITE)
651 poll_wait(filp, &pipe->wr_wait, wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700652
Linus Torvaldsad910e32019-12-07 10:41:17 -0800653 /*
654 * .. and only then can you do the racy tests. That way,
655 * if something changes and you got it wrong, the poll
656 * table entry will wake you up and fix it.
657 */
658 head = READ_ONCE(pipe->head);
659 tail = READ_ONCE(pipe->tail);
660
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700661 mask = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700662 if (filp->f_mode & FMODE_READ) {
David Howells8cefc102019-11-15 13:30:32 +0000663 if (!pipe_empty(head, tail))
664 mask |= EPOLLIN | EPOLLRDNORM;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200665 if (!pipe->writers && filp->f_version != pipe->w_counter)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800666 mask |= EPOLLHUP;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700667 }
668
669 if (filp->f_mode & FMODE_WRITE) {
David Howells6718b6f2019-10-16 16:47:32 +0100670 if (!pipe_full(head, tail, pipe->max_usage))
David Howells8cefc102019-11-15 13:30:32 +0000671 mask |= EPOLLOUT | EPOLLWRNORM;
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700672 /*
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800673 * Most Unices do not set EPOLLERR for FIFOs but on Linux they
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700674 * behave exactly like pipes for poll().
675 */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200676 if (!pipe->readers)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800677 mask |= EPOLLERR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700678 }
679
680 return mask;
681}
682
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800683static void put_pipe_info(struct inode *inode, struct pipe_inode_info *pipe)
684{
685 int kill = 0;
686
687 spin_lock(&inode->i_lock);
688 if (!--pipe->files) {
689 inode->i_pipe = NULL;
690 kill = 1;
691 }
692 spin_unlock(&inode->i_lock);
693
694 if (kill)
695 free_pipe_info(pipe);
696}
697
Linus Torvalds1da177e2005-04-16 15:20:36 -0700698static int
Al Viro599a0ac2013-03-12 09:58:10 -0400699pipe_release(struct inode *inode, struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700700{
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800701 struct pipe_inode_info *pipe = file->private_data;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200702
Al Viroebec73f2013-03-21 12:24:01 -0400703 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400704 if (file->f_mode & FMODE_READ)
705 pipe->readers--;
706 if (file->f_mode & FMODE_WRITE)
707 pipe->writers--;
Ingo Molnar341b4462006-04-11 13:57:45 +0200708
Linus Torvalds6551d5c2020-02-18 10:12:58 -0800709 /* Was that the last reader or writer, but not the other side? */
710 if (!pipe->readers != !pipe->writers) {
711 wake_up_interruptible_all(&pipe->rd_wait);
712 wake_up_interruptible_all(&pipe->wr_wait);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200713 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
714 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700715 }
Al Viroebec73f2013-03-21 12:24:01 -0400716 __pipe_unlock(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400717
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800718 put_pipe_info(inode, pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700719 return 0;
720}
721
722static int
Al Viro599a0ac2013-03-12 09:58:10 -0400723pipe_fasync(int fd, struct file *filp, int on)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700724{
Al Virode32ec42013-03-21 11:16:56 -0400725 struct pipe_inode_info *pipe = filp->private_data;
Al Viro599a0ac2013-03-12 09:58:10 -0400726 int retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700727
Al Viroebec73f2013-03-21 12:24:01 -0400728 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400729 if (filp->f_mode & FMODE_READ)
730 retval = fasync_helper(fd, filp, on, &pipe->fasync_readers);
731 if ((filp->f_mode & FMODE_WRITE) && retval >= 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200732 retval = fasync_helper(fd, filp, on, &pipe->fasync_writers);
Al Viro599a0ac2013-03-12 09:58:10 -0400733 if (retval < 0 && (filp->f_mode & FMODE_READ))
734 /* this can happen only if on == T */
Oleg Nesterove5bc49b2009-03-12 14:31:28 -0700735 fasync_helper(-1, filp, 0, &pipe->fasync_readers);
736 }
Al Viroebec73f2013-03-21 12:24:01 -0400737 __pipe_unlock(pipe);
Jonathan Corbet60aa4922009-02-01 14:52:56 -0700738 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700739}
740
David Howellsc73be612020-01-14 17:07:11 +0000741unsigned long account_pipe_buffers(struct user_struct *user,
742 unsigned long old, unsigned long new)
Willy Tarreau759c0112016-01-18 16:36:09 +0100743{
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700744 return atomic_long_add_return(new - old, &user->pipe_bufs);
Willy Tarreau759c0112016-01-18 16:36:09 +0100745}
746
David Howellsc73be612020-01-14 17:07:11 +0000747bool too_many_pipe_buffers_soft(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100748{
Eric Biggersf7340762018-02-06 15:42:08 -0800749 unsigned long soft_limit = READ_ONCE(pipe_user_pages_soft);
750
751 return soft_limit && user_bufs > soft_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100752}
753
David Howellsc73be612020-01-14 17:07:11 +0000754bool too_many_pipe_buffers_hard(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100755{
Eric Biggersf7340762018-02-06 15:42:08 -0800756 unsigned long hard_limit = READ_ONCE(pipe_user_pages_hard);
757
758 return hard_limit && user_bufs > hard_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100759}
760
David Howellsc73be612020-01-14 17:07:11 +0000761bool pipe_is_unprivileged_user(void)
Eric Biggers85c2dd52018-02-06 15:41:53 -0800762{
763 return !capable(CAP_SYS_RESOURCE) && !capable(CAP_SYS_ADMIN);
764}
765
Al Viro7bee1302013-03-21 11:04:15 -0400766struct pipe_inode_info *alloc_pipe_info(void)
Ingo Molnar3a326a22006-04-10 15:18:35 +0200767{
Ingo Molnar923f4f22006-04-11 13:53:33 +0200768 struct pipe_inode_info *pipe;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700769 unsigned long pipe_bufs = PIPE_DEF_BUFFERS;
770 struct user_struct *user = get_current_user();
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700771 unsigned long user_bufs;
Eric Biggersf7340762018-02-06 15:42:08 -0800772 unsigned int max_size = READ_ONCE(pipe_max_size);
Ingo Molnar3a326a22006-04-10 15:18:35 +0200773
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700774 pipe = kzalloc(sizeof(struct pipe_inode_info), GFP_KERNEL_ACCOUNT);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700775 if (pipe == NULL)
776 goto out_free_uid;
Willy Tarreau759c0112016-01-18 16:36:09 +0100777
Eric Biggersf7340762018-02-06 15:42:08 -0800778 if (pipe_bufs * PAGE_SIZE > max_size && !capable(CAP_SYS_RESOURCE))
779 pipe_bufs = max_size >> PAGE_SHIFT;
Michael Kerrisk (man-pages)086e7742016-10-11 13:53:43 -0700780
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700781 user_bufs = account_pipe_buffers(user, 0, pipe_bufs);
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700782
David Howellsc73be612020-01-14 17:07:11 +0000783 if (too_many_pipe_buffers_soft(user_bufs) && pipe_is_unprivileged_user()) {
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700784 user_bufs = account_pipe_buffers(user, pipe_bufs, 1);
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700785 pipe_bufs = 1;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200786 }
787
David Howellsc73be612020-01-14 17:07:11 +0000788 if (too_many_pipe_buffers_hard(user_bufs) && pipe_is_unprivileged_user())
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700789 goto out_revert_acct;
790
791 pipe->bufs = kcalloc(pipe_bufs, sizeof(struct pipe_buffer),
792 GFP_KERNEL_ACCOUNT);
793
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700794 if (pipe->bufs) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800795 init_waitqueue_head(&pipe->rd_wait);
796 init_waitqueue_head(&pipe->wr_wait);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700797 pipe->r_counter = pipe->w_counter = 1;
David Howells6718b6f2019-10-16 16:47:32 +0100798 pipe->max_usage = pipe_bufs;
David Howells8cefc102019-11-15 13:30:32 +0000799 pipe->ring_size = pipe_bufs;
David Howellsc73be612020-01-14 17:07:11 +0000800 pipe->nr_accounted = pipe_bufs;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700801 pipe->user = user;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700802 mutex_init(&pipe->mutex);
803 return pipe;
804 }
805
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700806out_revert_acct:
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700807 (void) account_pipe_buffers(user, pipe_bufs, 0);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700808 kfree(pipe);
809out_free_uid:
810 free_uid(user);
Jens Axboe35f3d142010-05-20 10:43:18 +0200811 return NULL;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200812}
813
Al Viro4b8a8f12013-03-21 11:06:46 -0400814void free_pipe_info(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700815{
816 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700817
David Howellsc73be612020-01-14 17:07:11 +0000818#ifdef CONFIG_WATCH_QUEUE
819 if (pipe->watch_queue) {
820 watch_queue_clear(pipe->watch_queue);
821 put_watch_queue(pipe->watch_queue);
822 }
823#endif
824
825 (void) account_pipe_buffers(pipe->user, pipe->nr_accounted, 0);
Willy Tarreau759c0112016-01-18 16:36:09 +0100826 free_uid(pipe->user);
David Howells8cefc102019-11-15 13:30:32 +0000827 for (i = 0; i < pipe->ring_size; i++) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200828 struct pipe_buffer *buf = pipe->bufs + i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700829 if (buf->ops)
Miklos Szeredia7796382016-09-27 10:45:12 +0200830 pipe_buf_release(pipe, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700831 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200832 if (pipe->tmp_page)
833 __free_page(pipe->tmp_page);
Jens Axboe35f3d142010-05-20 10:43:18 +0200834 kfree(pipe->bufs);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200835 kfree(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700836}
837
Eric Dumazetfa3536c2006-03-26 01:37:24 -0800838static struct vfsmount *pipe_mnt __read_mostly;
Ingo Molnar341b4462006-04-11 13:57:45 +0200839
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700840/*
841 * pipefs_dname() is called from d_path().
842 */
843static char *pipefs_dname(struct dentry *dentry, char *buffer, int buflen)
844{
845 return dynamic_dname(dentry, buffer, buflen, "pipe:[%lu]",
David Howells75c3cfa2015-03-17 22:26:12 +0000846 d_inode(dentry)->i_ino);
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700847}
848
Al Viro3ba13d12009-02-20 06:02:22 +0000849static const struct dentry_operations pipefs_dentry_operations = {
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700850 .d_dname = pipefs_dname,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700851};
852
853static struct inode * get_pipe_inode(void)
854{
Eric Dumazeta209dfc2011-07-26 11:36:34 +0200855 struct inode *inode = new_inode_pseudo(pipe_mnt->mnt_sb);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200856 struct pipe_inode_info *pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700857
858 if (!inode)
859 goto fail_inode;
860
Christoph Hellwig85fe4022010-10-23 11:19:54 -0400861 inode->i_ino = get_next_ino();
862
Al Viro7bee1302013-03-21 11:04:15 -0400863 pipe = alloc_pipe_info();
Ingo Molnar923f4f22006-04-11 13:53:33 +0200864 if (!pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700865 goto fail_iput;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200866
Al Viroba5bb142013-03-21 02:21:19 -0400867 inode->i_pipe = pipe;
868 pipe->files = 2;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200869 pipe->readers = pipe->writers = 1;
Al Viro599a0ac2013-03-12 09:58:10 -0400870 inode->i_fop = &pipefifo_fops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700871
872 /*
873 * Mark the inode dirty from the very beginning,
874 * that way it will never be moved to the dirty
875 * list because "mark_inode_dirty()" will think
876 * that it already _is_ on the dirty list.
877 */
878 inode->i_state = I_DIRTY;
879 inode->i_mode = S_IFIFO | S_IRUSR | S_IWUSR;
David Howellsda9592e2008-11-14 10:39:05 +1100880 inode->i_uid = current_fsuid();
881 inode->i_gid = current_fsgid();
Deepa Dinamani078cd822016-09-14 07:48:04 -0700882 inode->i_atime = inode->i_mtime = inode->i_ctime = current_time(inode);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200883
Linus Torvalds1da177e2005-04-16 15:20:36 -0700884 return inode;
885
886fail_iput:
887 iput(inode);
Ingo Molnar341b4462006-04-11 13:57:45 +0200888
Linus Torvalds1da177e2005-04-16 15:20:36 -0700889fail_inode:
890 return NULL;
891}
892
Al Viroe4fad8e2012-07-21 15:33:25 +0400893int create_pipe_files(struct file **res, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700894{
Al Viroe4fad8e2012-07-21 15:33:25 +0400895 struct inode *inode = get_pipe_inode();
Andi Kleend6cbd282006-09-30 23:29:26 -0700896 struct file *f;
Qian Cai8a018eb2020-10-01 08:50:55 -0400897 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700898
Linus Torvalds1da177e2005-04-16 15:20:36 -0700899 if (!inode)
Al Viroe4fad8e2012-07-21 15:33:25 +0400900 return -ENFILE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901
David Howellsc73be612020-01-14 17:07:11 +0000902 if (flags & O_NOTIFICATION_PIPE) {
Qian Cai8a018eb2020-10-01 08:50:55 -0400903 error = watch_queue_init(inode->i_pipe);
904 if (error) {
905 free_pipe_info(inode->i_pipe);
David Howellsc73be612020-01-14 17:07:11 +0000906 iput(inode);
Qian Cai8a018eb2020-10-01 08:50:55 -0400907 return error;
David Howellsc73be612020-01-14 17:07:11 +0000908 }
David Howellsc73be612020-01-14 17:07:11 +0000909 }
910
Al Viro152b6372018-06-09 10:05:18 -0400911 f = alloc_file_pseudo(inode, pipe_mnt, "",
912 O_WRONLY | (flags & (O_NONBLOCK | O_DIRECT)),
913 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500914 if (IS_ERR(f)) {
Al Viro152b6372018-06-09 10:05:18 -0400915 free_pipe_info(inode->i_pipe);
916 iput(inode);
917 return PTR_ERR(f);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500918 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700919
Al Virode32ec42013-03-21 11:16:56 -0400920 f->private_data = inode->i_pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700921
Al Viro183266f2018-06-17 14:15:10 -0400922 res[0] = alloc_file_clone(f, O_RDONLY | (flags & O_NONBLOCK),
923 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500924 if (IS_ERR(res[0])) {
Al Virob10a4a92018-07-09 02:29:58 -0400925 put_pipe_info(inode, inode->i_pipe);
926 fput(f);
927 return PTR_ERR(res[0]);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500928 }
Al Virode32ec42013-03-21 11:16:56 -0400929 res[0]->private_data = inode->i_pipe;
Al Viroe4fad8e2012-07-21 15:33:25 +0400930 res[1] = f;
Linus Torvaldsd8e464e2019-11-17 11:20:48 -0800931 stream_open(inode, res[0]);
932 stream_open(inode, res[1]);
Al Viroe4fad8e2012-07-21 15:33:25 +0400933 return 0;
Andi Kleend6cbd282006-09-30 23:29:26 -0700934}
935
Al Viro5b249b12012-08-19 12:17:29 -0400936static int __do_pipe_flags(int *fd, struct file **files, int flags)
Andi Kleend6cbd282006-09-30 23:29:26 -0700937{
Andi Kleend6cbd282006-09-30 23:29:26 -0700938 int error;
939 int fdw, fdr;
940
David Howellsc73be612020-01-14 17:07:11 +0000941 if (flags & ~(O_CLOEXEC | O_NONBLOCK | O_DIRECT | O_NOTIFICATION_PIPE))
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700942 return -EINVAL;
943
Al Viroe4fad8e2012-07-21 15:33:25 +0400944 error = create_pipe_files(files, flags);
945 if (error)
946 return error;
Andi Kleend6cbd282006-09-30 23:29:26 -0700947
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700948 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700949 if (error < 0)
950 goto err_read_pipe;
951 fdr = error;
952
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700953 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700954 if (error < 0)
955 goto err_fdr;
956 fdw = error;
957
Al Viro157cf642008-12-14 04:57:47 -0500958 audit_fd_pair(fdr, fdw);
Andi Kleend6cbd282006-09-30 23:29:26 -0700959 fd[0] = fdr;
960 fd[1] = fdw;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700961 return 0;
962
Andi Kleend6cbd282006-09-30 23:29:26 -0700963 err_fdr:
964 put_unused_fd(fdr);
965 err_read_pipe:
Al Viroe4fad8e2012-07-21 15:33:25 +0400966 fput(files[0]);
967 fput(files[1]);
Andi Kleend6cbd282006-09-30 23:29:26 -0700968 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700969}
970
Al Viro5b249b12012-08-19 12:17:29 -0400971int do_pipe_flags(int *fd, int flags)
972{
973 struct file *files[2];
974 int error = __do_pipe_flags(fd, files, flags);
975 if (!error) {
976 fd_install(fd[0], files[0]);
977 fd_install(fd[1], files[1]);
978 }
979 return error;
980}
981
Linus Torvalds1da177e2005-04-16 15:20:36 -0700982/*
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400983 * sys_pipe() is the normal C calling standard for creating
984 * a pipe. It's not the way Unix traditionally does this, though.
985 */
Dominik Brodowski0a216dd2018-03-11 11:34:28 +0100986static int do_pipe2(int __user *fildes, int flags)
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400987{
Al Viro5b249b12012-08-19 12:17:29 -0400988 struct file *files[2];
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400989 int fd[2];
990 int error;
991
Al Viro5b249b12012-08-19 12:17:29 -0400992 error = __do_pipe_flags(fd, files, flags);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400993 if (!error) {
Al Viro5b249b12012-08-19 12:17:29 -0400994 if (unlikely(copy_to_user(fildes, fd, sizeof(fd)))) {
995 fput(files[0]);
996 fput(files[1]);
997 put_unused_fd(fd[0]);
998 put_unused_fd(fd[1]);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400999 error = -EFAULT;
Al Viro5b249b12012-08-19 12:17:29 -04001000 } else {
1001 fd_install(fd[0], files[0]);
1002 fd_install(fd[1], files[1]);
Ulrich Drepperba719ba2008-05-06 20:42:38 -07001003 }
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001004 }
1005 return error;
1006}
1007
Dominik Brodowski0a216dd2018-03-11 11:34:28 +01001008SYSCALL_DEFINE2(pipe2, int __user *, fildes, int, flags)
1009{
1010 return do_pipe2(fildes, flags);
1011}
1012
Heiko Carstens2b664212009-01-14 14:14:35 +01001013SYSCALL_DEFINE1(pipe, int __user *, fildes)
Ulrich Dreppered8cae82008-07-23 21:29:30 -07001014{
Dominik Brodowski0a216dd2018-03-11 11:34:28 +01001015 return do_pipe2(fildes, 0);
Ulrich Dreppered8cae82008-07-23 21:29:30 -07001016}
1017
Linus Torvalds472e5b02020-10-01 19:14:36 -07001018/*
1019 * This is the stupid "wait for pipe to be readable or writable"
1020 * model.
1021 *
1022 * See pipe_read/write() for the proper kind of exclusive wait,
1023 * but that requires that we wake up any other readers/writers
1024 * if we then do not end up reading everything (ie the whole
1025 * "wake_next_reader/writer" logic in pipe_read/write()).
1026 */
1027void pipe_wait_readable(struct pipe_inode_info *pipe)
1028{
1029 pipe_unlock(pipe);
1030 wait_event_interruptible(pipe->rd_wait, pipe_readable(pipe));
1031 pipe_lock(pipe);
1032}
1033
1034void pipe_wait_writable(struct pipe_inode_info *pipe)
1035{
1036 pipe_unlock(pipe);
1037 wait_event_interruptible(pipe->wr_wait, pipe_writable(pipe));
1038 pipe_lock(pipe);
1039}
1040
1041/*
1042 * This depends on both the wait (here) and the wakeup (wake_up_partner)
1043 * holding the pipe lock, so "*cnt" is stable and we know a wakeup cannot
1044 * race with the count check and waitqueue prep.
1045 *
1046 * Normally in order to avoid races, you'd do the prepare_to_wait() first,
1047 * then check the condition you're waiting for, and only then sleep. But
1048 * because of the pipe lock, we can check the condition before being on
1049 * the wait queue.
1050 *
1051 * We use the 'rd_wait' waitqueue for pipe partner waiting.
1052 */
Al Virofc7478a2013-03-21 02:07:59 -04001053static int wait_for_partner(struct pipe_inode_info *pipe, unsigned int *cnt)
Al Virof776c732013-03-12 09:46:27 -04001054{
Linus Torvalds472e5b02020-10-01 19:14:36 -07001055 DEFINE_WAIT(rdwait);
David Howells8cefc102019-11-15 13:30:32 +00001056 int cur = *cnt;
Al Virof776c732013-03-12 09:46:27 -04001057
1058 while (cur == *cnt) {
Linus Torvalds472e5b02020-10-01 19:14:36 -07001059 prepare_to_wait(&pipe->rd_wait, &rdwait, TASK_INTERRUPTIBLE);
1060 pipe_unlock(pipe);
1061 schedule();
1062 finish_wait(&pipe->rd_wait, &rdwait);
1063 pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001064 if (signal_pending(current))
1065 break;
1066 }
1067 return cur == *cnt ? -ERESTARTSYS : 0;
1068}
1069
Al Virofc7478a2013-03-21 02:07:59 -04001070static void wake_up_partner(struct pipe_inode_info *pipe)
Al Virof776c732013-03-12 09:46:27 -04001071{
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001072 wake_up_interruptible_all(&pipe->rd_wait);
Al Virof776c732013-03-12 09:46:27 -04001073}
1074
1075static int fifo_open(struct inode *inode, struct file *filp)
1076{
1077 struct pipe_inode_info *pipe;
Al Viro599a0ac2013-03-12 09:58:10 -04001078 bool is_pipe = inode->i_sb->s_magic == PIPEFS_MAGIC;
Al Virof776c732013-03-12 09:46:27 -04001079 int ret;
1080
Al Viroba5bb142013-03-21 02:21:19 -04001081 filp->f_version = 0;
1082
1083 spin_lock(&inode->i_lock);
1084 if (inode->i_pipe) {
1085 pipe = inode->i_pipe;
1086 pipe->files++;
1087 spin_unlock(&inode->i_lock);
1088 } else {
1089 spin_unlock(&inode->i_lock);
Al Viro7bee1302013-03-21 11:04:15 -04001090 pipe = alloc_pipe_info();
Al Virof776c732013-03-12 09:46:27 -04001091 if (!pipe)
Al Viroba5bb142013-03-21 02:21:19 -04001092 return -ENOMEM;
1093 pipe->files = 1;
1094 spin_lock(&inode->i_lock);
1095 if (unlikely(inode->i_pipe)) {
1096 inode->i_pipe->files++;
1097 spin_unlock(&inode->i_lock);
Al Viro4b8a8f12013-03-21 11:06:46 -04001098 free_pipe_info(pipe);
Al Viroba5bb142013-03-21 02:21:19 -04001099 pipe = inode->i_pipe;
1100 } else {
1101 inode->i_pipe = pipe;
1102 spin_unlock(&inode->i_lock);
1103 }
Al Virof776c732013-03-12 09:46:27 -04001104 }
Al Virode32ec42013-03-21 11:16:56 -04001105 filp->private_data = pipe;
Al Viroba5bb142013-03-21 02:21:19 -04001106 /* OK, we have a pipe and it's pinned down */
1107
Al Viroebec73f2013-03-21 12:24:01 -04001108 __pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001109
1110 /* We can only do regular read/write on fifos */
Linus Torvaldsd8e464e2019-11-17 11:20:48 -08001111 stream_open(inode, filp);
Al Virof776c732013-03-12 09:46:27 -04001112
Linus Torvaldsd8e464e2019-11-17 11:20:48 -08001113 switch (filp->f_mode & (FMODE_READ | FMODE_WRITE)) {
Al Virof776c732013-03-12 09:46:27 -04001114 case FMODE_READ:
1115 /*
1116 * O_RDONLY
1117 * POSIX.1 says that O_NONBLOCK means return with the FIFO
1118 * opened, even when there is no process writing the FIFO.
1119 */
Al Virof776c732013-03-12 09:46:27 -04001120 pipe->r_counter++;
1121 if (pipe->readers++ == 0)
Al Virofc7478a2013-03-21 02:07:59 -04001122 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001123
Al Viro599a0ac2013-03-12 09:58:10 -04001124 if (!is_pipe && !pipe->writers) {
Al Virof776c732013-03-12 09:46:27 -04001125 if ((filp->f_flags & O_NONBLOCK)) {
Linus Torvaldsa9a08842018-02-11 14:34:03 -08001126 /* suppress EPOLLHUP until we have
Al Virof776c732013-03-12 09:46:27 -04001127 * seen a writer */
1128 filp->f_version = pipe->w_counter;
1129 } else {
Al Virofc7478a2013-03-21 02:07:59 -04001130 if (wait_for_partner(pipe, &pipe->w_counter))
Al Virof776c732013-03-12 09:46:27 -04001131 goto err_rd;
1132 }
1133 }
1134 break;
David Howells8cefc102019-11-15 13:30:32 +00001135
Al Virof776c732013-03-12 09:46:27 -04001136 case FMODE_WRITE:
1137 /*
1138 * O_WRONLY
1139 * POSIX.1 says that O_NONBLOCK means return -1 with
1140 * errno=ENXIO when there is no process reading the FIFO.
1141 */
1142 ret = -ENXIO;
Al Viro599a0ac2013-03-12 09:58:10 -04001143 if (!is_pipe && (filp->f_flags & O_NONBLOCK) && !pipe->readers)
Al Virof776c732013-03-12 09:46:27 -04001144 goto err;
1145
Al Virof776c732013-03-12 09:46:27 -04001146 pipe->w_counter++;
1147 if (!pipe->writers++)
Al Virofc7478a2013-03-21 02:07:59 -04001148 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001149
Al Viro599a0ac2013-03-12 09:58:10 -04001150 if (!is_pipe && !pipe->readers) {
Al Virofc7478a2013-03-21 02:07:59 -04001151 if (wait_for_partner(pipe, &pipe->r_counter))
Al Virof776c732013-03-12 09:46:27 -04001152 goto err_wr;
1153 }
1154 break;
David Howells8cefc102019-11-15 13:30:32 +00001155
Al Virof776c732013-03-12 09:46:27 -04001156 case FMODE_READ | FMODE_WRITE:
1157 /*
1158 * O_RDWR
1159 * POSIX.1 leaves this case "undefined" when O_NONBLOCK is set.
1160 * This implementation will NEVER block on a O_RDWR open, since
1161 * the process can at least talk to itself.
1162 */
Al Virof776c732013-03-12 09:46:27 -04001163
1164 pipe->readers++;
1165 pipe->writers++;
1166 pipe->r_counter++;
1167 pipe->w_counter++;
1168 if (pipe->readers == 1 || pipe->writers == 1)
Al Virofc7478a2013-03-21 02:07:59 -04001169 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001170 break;
1171
1172 default:
1173 ret = -EINVAL;
1174 goto err;
1175 }
1176
1177 /* Ok! */
Al Viroebec73f2013-03-21 12:24:01 -04001178 __pipe_unlock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001179 return 0;
1180
1181err_rd:
1182 if (!--pipe->readers)
Linus Torvalds0ddad212019-12-09 09:48:27 -08001183 wake_up_interruptible(&pipe->wr_wait);
Al Virof776c732013-03-12 09:46:27 -04001184 ret = -ERESTARTSYS;
1185 goto err;
1186
1187err_wr:
1188 if (!--pipe->writers)
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001189 wake_up_interruptible_all(&pipe->rd_wait);
Al Virof776c732013-03-12 09:46:27 -04001190 ret = -ERESTARTSYS;
1191 goto err;
1192
1193err:
Al Viroebec73f2013-03-21 12:24:01 -04001194 __pipe_unlock(pipe);
Linus Torvaldsb0d8d222013-12-02 09:44:51 -08001195
1196 put_pipe_info(inode, pipe);
Al Virof776c732013-03-12 09:46:27 -04001197 return ret;
1198}
1199
Al Viro599a0ac2013-03-12 09:58:10 -04001200const struct file_operations pipefifo_fops = {
1201 .open = fifo_open,
1202 .llseek = no_llseek,
Al Virofb9096a2014-04-02 19:56:54 -04001203 .read_iter = pipe_read,
Al Virof0d1bec2014-04-03 15:05:18 -04001204 .write_iter = pipe_write,
Linus Torvaldsa11e1d42018-06-28 09:43:44 -07001205 .poll = pipe_poll,
Al Viro599a0ac2013-03-12 09:58:10 -04001206 .unlocked_ioctl = pipe_ioctl,
1207 .release = pipe_release,
1208 .fasync = pipe_fasync,
Johannes Bergf8ad8182021-01-25 10:16:15 +01001209 .splice_write = iter_file_splice_write,
Al Virof776c732013-03-12 09:46:27 -04001210};
1211
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001212/*
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001213 * Currently we rely on the pipe array holding a power-of-2 number
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001214 * of pages. Returns 0 on error.
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001215 */
Eric Biggers96e99be402018-02-06 15:42:00 -08001216unsigned int round_pipe_size(unsigned long size)
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001217{
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001218 if (size > (1U << 31))
Eric Biggers96e99be402018-02-06 15:42:00 -08001219 return 0;
1220
Eric Biggers4c2e4be2018-02-06 15:41:45 -08001221 /* Minimum pipe size, as required by POSIX */
1222 if (size < PAGE_SIZE)
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001223 return PAGE_SIZE;
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001224
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001225 return roundup_pow_of_two(size);
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001226}
1227
1228/*
David Howellsc73be612020-01-14 17:07:11 +00001229 * Resize the pipe ring to a number of slots.
Jens Axboe35f3d142010-05-20 10:43:18 +02001230 */
David Howellsc73be612020-01-14 17:07:11 +00001231int pipe_resize_ring(struct pipe_inode_info *pipe, unsigned int nr_slots)
Jens Axboe35f3d142010-05-20 10:43:18 +02001232{
1233 struct pipe_buffer *bufs;
David Howellsc73be612020-01-14 17:07:11 +00001234 unsigned int head, tail, mask, n;
Jens Axboe35f3d142010-05-20 10:43:18 +02001235
1236 /*
David Howells8cefc102019-11-15 13:30:32 +00001237 * We can shrink the pipe, if arg is greater than the ring occupancy.
1238 * Since we don't expect a lot of shrink+grow operations, just free and
1239 * allocate again like we would do for growing. If the pipe currently
Jens Axboe35f3d142010-05-20 10:43:18 +02001240 * contains more buffers than arg, then return busy.
1241 */
David Howells8cefc102019-11-15 13:30:32 +00001242 mask = pipe->ring_size - 1;
1243 head = pipe->head;
1244 tail = pipe->tail;
1245 n = pipe_occupancy(pipe->head, pipe->tail);
David Howellsc73be612020-01-14 17:07:11 +00001246 if (nr_slots < n)
1247 return -EBUSY;
Jens Axboe35f3d142010-05-20 10:43:18 +02001248
David Howells8cefc102019-11-15 13:30:32 +00001249 bufs = kcalloc(nr_slots, sizeof(*bufs),
Vladimir Davydovd86133b2016-07-26 15:24:33 -07001250 GFP_KERNEL_ACCOUNT | __GFP_NOWARN);
David Howellsc73be612020-01-14 17:07:11 +00001251 if (unlikely(!bufs))
1252 return -ENOMEM;
Jens Axboe35f3d142010-05-20 10:43:18 +02001253
1254 /*
1255 * The pipe array wraps around, so just start the new one at zero
David Howells8cefc102019-11-15 13:30:32 +00001256 * and adjust the indices.
Jens Axboe35f3d142010-05-20 10:43:18 +02001257 */
David Howells8cefc102019-11-15 13:30:32 +00001258 if (n > 0) {
1259 unsigned int h = head & mask;
1260 unsigned int t = tail & mask;
1261 if (h > t) {
1262 memcpy(bufs, pipe->bufs + t,
1263 n * sizeof(struct pipe_buffer));
1264 } else {
1265 unsigned int tsize = pipe->ring_size - t;
1266 if (h > 0)
1267 memcpy(bufs + tsize, pipe->bufs,
1268 h * sizeof(struct pipe_buffer));
1269 memcpy(bufs, pipe->bufs + t,
1270 tsize * sizeof(struct pipe_buffer));
1271 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001272 }
1273
David Howells8cefc102019-11-15 13:30:32 +00001274 head = n;
1275 tail = 0;
1276
Jens Axboe35f3d142010-05-20 10:43:18 +02001277 kfree(pipe->bufs);
1278 pipe->bufs = bufs;
David Howells8cefc102019-11-15 13:30:32 +00001279 pipe->ring_size = nr_slots;
David Howellsc73be612020-01-14 17:07:11 +00001280 if (pipe->max_usage > nr_slots)
1281 pipe->max_usage = nr_slots;
David Howells8cefc102019-11-15 13:30:32 +00001282 pipe->tail = tail;
1283 pipe->head = head;
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001284
1285 /* This might have made more room for writers */
1286 wake_up_interruptible(&pipe->wr_wait);
David Howellsc73be612020-01-14 17:07:11 +00001287 return 0;
1288}
1289
1290/*
1291 * Allocate a new array of pipe buffers and copy the info over. Returns the
1292 * pipe size if successful, or return -ERROR on error.
1293 */
1294static long pipe_set_size(struct pipe_inode_info *pipe, unsigned long arg)
1295{
1296 unsigned long user_bufs;
1297 unsigned int nr_slots, size;
1298 long ret = 0;
1299
1300#ifdef CONFIG_WATCH_QUEUE
1301 if (pipe->watch_queue)
1302 return -EBUSY;
1303#endif
1304
1305 size = round_pipe_size(arg);
1306 nr_slots = size >> PAGE_SHIFT;
1307
1308 if (!nr_slots)
1309 return -EINVAL;
1310
1311 /*
1312 * If trying to increase the pipe capacity, check that an
1313 * unprivileged user is not trying to exceed various limits
1314 * (soft limit check here, hard limit check just below).
1315 * Decreasing the pipe capacity is always permitted, even
1316 * if the user is currently over a limit.
1317 */
1318 if (nr_slots > pipe->max_usage &&
1319 size > pipe_max_size && !capable(CAP_SYS_RESOURCE))
1320 return -EPERM;
1321
1322 user_bufs = account_pipe_buffers(pipe->user, pipe->nr_accounted, nr_slots);
1323
1324 if (nr_slots > pipe->max_usage &&
1325 (too_many_pipe_buffers_hard(user_bufs) ||
1326 too_many_pipe_buffers_soft(user_bufs)) &&
1327 pipe_is_unprivileged_user()) {
1328 ret = -EPERM;
1329 goto out_revert_acct;
1330 }
1331
1332 ret = pipe_resize_ring(pipe, nr_slots);
1333 if (ret < 0)
1334 goto out_revert_acct;
1335
1336 pipe->max_usage = nr_slots;
1337 pipe->nr_accounted = nr_slots;
David Howells6718b6f2019-10-16 16:47:32 +01001338 return pipe->max_usage * PAGE_SIZE;
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001339
1340out_revert_acct:
David Howellsc73be612020-01-14 17:07:11 +00001341 (void) account_pipe_buffers(pipe->user, nr_slots, pipe->nr_accounted);
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001342 return ret;
Jens Axboe35f3d142010-05-20 10:43:18 +02001343}
1344
Jens Axboeff9da692010-06-03 14:54:39 +02001345/*
Christoph Hellwig4e7b5672020-11-23 13:38:40 +01001346 * Note that i_pipe and i_cdev share the same location, so checking ->i_pipe is
1347 * not enough to verify that this is a pipe.
Linus Torvalds72083642010-11-28 16:27:19 -08001348 */
David Howellsc73be612020-01-14 17:07:11 +00001349struct pipe_inode_info *get_pipe_info(struct file *file, bool for_splice)
Linus Torvalds72083642010-11-28 16:27:19 -08001350{
David Howellsc73be612020-01-14 17:07:11 +00001351 struct pipe_inode_info *pipe = file->private_data;
1352
1353 if (file->f_op != &pipefifo_fops || !pipe)
1354 return NULL;
1355#ifdef CONFIG_WATCH_QUEUE
1356 if (for_splice && pipe->watch_queue)
1357 return NULL;
1358#endif
1359 return pipe;
Linus Torvalds72083642010-11-28 16:27:19 -08001360}
1361
Jens Axboe35f3d142010-05-20 10:43:18 +02001362long pipe_fcntl(struct file *file, unsigned int cmd, unsigned long arg)
1363{
1364 struct pipe_inode_info *pipe;
1365 long ret;
1366
David Howellsc73be612020-01-14 17:07:11 +00001367 pipe = get_pipe_info(file, false);
Jens Axboe35f3d142010-05-20 10:43:18 +02001368 if (!pipe)
1369 return -EBADF;
1370
Al Viroebec73f2013-03-21 12:24:01 -04001371 __pipe_lock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001372
1373 switch (cmd) {
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001374 case F_SETPIPE_SZ:
1375 ret = pipe_set_size(pipe, arg);
Jens Axboe35f3d142010-05-20 10:43:18 +02001376 break;
1377 case F_GETPIPE_SZ:
David Howells6718b6f2019-10-16 16:47:32 +01001378 ret = pipe->max_usage * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001379 break;
1380 default:
1381 ret = -EINVAL;
1382 break;
1383 }
1384
Al Viroebec73f2013-03-21 12:24:01 -04001385 __pipe_unlock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001386 return ret;
1387}
1388
Nick Pigginff0c7d12011-01-07 17:49:50 +11001389static const struct super_operations pipefs_ops = {
1390 .destroy_inode = free_inode_nonrcu,
Pavel Emelyanovd70ef972011-10-31 17:10:04 -07001391 .statfs = simple_statfs,
Nick Pigginff0c7d12011-01-07 17:49:50 +11001392};
1393
Jens Axboe35f3d142010-05-20 10:43:18 +02001394/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001395 * pipefs should _never_ be mounted by userland - too much of security hassle,
1396 * no real gain from having the whole whorehouse mounted. So we don't need
1397 * any operations on the root directory. However, we need a non-trivial
1398 * d_name - pipe: will go nicely and kill the special-casing in procfs.
1399 */
David Howells4fa7ec52019-03-25 16:38:23 +00001400
1401static int pipefs_init_fs_context(struct fs_context *fc)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001402{
David Howells4fa7ec52019-03-25 16:38:23 +00001403 struct pseudo_fs_context *ctx = init_pseudo(fc, PIPEFS_MAGIC);
1404 if (!ctx)
1405 return -ENOMEM;
1406 ctx->ops = &pipefs_ops;
1407 ctx->dops = &pipefs_dentry_operations;
1408 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001409}
1410
1411static struct file_system_type pipe_fs_type = {
1412 .name = "pipefs",
David Howells4fa7ec52019-03-25 16:38:23 +00001413 .init_fs_context = pipefs_init_fs_context,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001414 .kill_sb = kill_anon_super,
1415};
1416
1417static int __init init_pipe_fs(void)
1418{
1419 int err = register_filesystem(&pipe_fs_type);
Ingo Molnar341b4462006-04-11 13:57:45 +02001420
Linus Torvalds1da177e2005-04-16 15:20:36 -07001421 if (!err) {
1422 pipe_mnt = kern_mount(&pipe_fs_type);
1423 if (IS_ERR(pipe_mnt)) {
1424 err = PTR_ERR(pipe_mnt);
1425 unregister_filesystem(&pipe_fs_type);
1426 }
1427 }
1428 return err;
1429}
1430
Linus Torvalds1da177e2005-04-16 15:20:36 -07001431fs_initcall(init_pipe_fs);