blob: d6d4019ba32f558ba1012c297fa1880fc03aa90c [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/*
Alex Xu (Hello71)6b5a3d22021-08-05 10:40:47 -040035 * New pipe buffers will be restricted to this size while the user is exceeding
36 * their pipe buffer quota. The general pipe use case needs at least two
37 * buffers: one for data yet to be read, and one for new data. If this is less
38 * than two, then a write to a non-empty pipe may block even if the pipe is not
39 * full. This can occur with GNU make jobserver or similar uses of pipes as
40 * semaphores: multiple processes may be waiting to write tokens back to the
41 * pipe before reading tokens: https://lore.kernel.org/lkml/1628086770.5rn8p04n6j.none@localhost/.
42 *
43 * Users can reduce their pipe buffers with F_SETPIPE_SZ below this at their
44 * own risk, namely: pipe writes to non-full pipes may block until the pipe is
45 * emptied.
46 */
47#define PIPE_MIN_DEF_BUFFERS 2
48
49/*
Jens Axboeb492e952010-05-19 21:03:16 +020050 * The max size that a non-root user is allowed to grow the pipe. Can
Jens Axboeff9da692010-06-03 14:54:39 +020051 * be set by root in /proc/sys/fs/pipe-max-size
Jens Axboeb492e952010-05-19 21:03:16 +020052 */
Jens Axboeff9da692010-06-03 14:54:39 +020053unsigned int pipe_max_size = 1048576;
54
Willy Tarreau759c0112016-01-18 16:36:09 +010055/* Maximum allocatable pages per user. Hard limit is unset by default, soft
56 * matches default values.
57 */
58unsigned long pipe_user_pages_hard;
59unsigned long pipe_user_pages_soft = PIPE_DEF_BUFFERS * INR_OPEN_CUR;
60
Jens Axboeb492e952010-05-19 21:03:16 +020061/*
David Howells8cefc102019-11-15 13:30:32 +000062 * We use head and tail indices that aren't masked off, except at the point of
63 * dereference, but rather they're allowed to wrap naturally. This means there
64 * isn't a dead spot in the buffer, but the ring has to be a power of two and
65 * <= 2^31.
66 * -- David Howells 2019-09-23.
67 *
Linus Torvalds1da177e2005-04-16 15:20:36 -070068 * Reads with count = 0 should always return 0.
69 * -- Julian Bradfield 1999-06-07.
70 *
71 * FIFOs and Pipes now generate SIGIO for both readers and writers.
72 * -- Jeremy Elson <jelson@circlemud.org> 2001-08-16
73 *
74 * pipe_read & write cleanup
75 * -- Manfred Spraul <manfred@colorfullife.com> 2002-05-09
76 */
77
Miklos Szeredi61e0d472009-04-14 19:48:41 +020078static void pipe_lock_nested(struct pipe_inode_info *pipe, int subclass)
79{
Al Viro6447a3c2013-03-21 11:01:38 -040080 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040081 mutex_lock_nested(&pipe->mutex, subclass);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020082}
83
84void pipe_lock(struct pipe_inode_info *pipe)
85{
86 /*
87 * pipe_lock() nests non-pipe inode locks (for writing to a file)
88 */
89 pipe_lock_nested(pipe, I_MUTEX_PARENT);
90}
91EXPORT_SYMBOL(pipe_lock);
92
93void pipe_unlock(struct pipe_inode_info *pipe)
94{
Al Viro6447a3c2013-03-21 11:01:38 -040095 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040096 mutex_unlock(&pipe->mutex);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020097}
98EXPORT_SYMBOL(pipe_unlock);
99
Al Viroebec73f2013-03-21 12:24:01 -0400100static inline void __pipe_lock(struct pipe_inode_info *pipe)
101{
102 mutex_lock_nested(&pipe->mutex, I_MUTEX_PARENT);
103}
104
105static inline void __pipe_unlock(struct pipe_inode_info *pipe)
106{
107 mutex_unlock(&pipe->mutex);
108}
109
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200110void pipe_double_lock(struct pipe_inode_info *pipe1,
111 struct pipe_inode_info *pipe2)
112{
113 BUG_ON(pipe1 == pipe2);
114
115 if (pipe1 < pipe2) {
116 pipe_lock_nested(pipe1, I_MUTEX_PARENT);
117 pipe_lock_nested(pipe2, I_MUTEX_CHILD);
118 } else {
Peter Zijlstra023d43c2009-07-21 10:09:23 +0200119 pipe_lock_nested(pipe2, I_MUTEX_PARENT);
120 pipe_lock_nested(pipe1, I_MUTEX_CHILD);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200121 }
122}
123
Ingo Molnar341b4462006-04-11 13:57:45 +0200124static void anon_pipe_buf_release(struct pipe_inode_info *pipe,
125 struct pipe_buffer *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126{
127 struct page *page = buf->page;
128
Jens Axboe5274f052006-03-30 15:15:30 +0200129 /*
130 * If nobody else uses this page, and we don't already have a
131 * temporary page, let's keep track of it as a one-deep
Ingo Molnar341b4462006-04-11 13:57:45 +0200132 * allocation cache. (Otherwise just release our reference to it)
Jens Axboe5274f052006-03-30 15:15:30 +0200133 */
Ingo Molnar341b4462006-04-11 13:57:45 +0200134 if (page_count(page) == 1 && !pipe->tmp_page)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200135 pipe->tmp_page = page;
Ingo Molnar341b4462006-04-11 13:57:45 +0200136 else
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300137 put_page(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700138}
139
Christoph Hellwigc928f642020-05-20 17:58:16 +0200140static bool anon_pipe_buf_try_steal(struct pipe_inode_info *pipe,
141 struct pipe_buffer *buf)
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700142{
143 struct page *page = buf->page;
144
Christoph Hellwigc928f642020-05-20 17:58:16 +0200145 if (page_count(page) != 1)
146 return false;
147 memcg_kmem_uncharge_page(page, 0);
148 __SetPageLocked(page);
149 return true;
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700150}
151
Jens Axboe08457182007-06-12 20:51:32 +0200152/**
Christoph Hellwigc928f642020-05-20 17:58:16 +0200153 * generic_pipe_buf_try_steal - attempt to take ownership of a &pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200154 * @pipe: the pipe that the buffer belongs to
155 * @buf: the buffer to attempt to steal
156 *
157 * Description:
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800158 * This function attempts to steal the &struct page attached to
Jens Axboe08457182007-06-12 20:51:32 +0200159 * @buf. If successful, this function returns 0 and returns with
160 * the page locked. The caller may then reuse the page for whatever
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800161 * he wishes; the typical use is insertion into a different file
Jens Axboe08457182007-06-12 20:51:32 +0200162 * page cache.
163 */
Christoph Hellwigc928f642020-05-20 17:58:16 +0200164bool generic_pipe_buf_try_steal(struct pipe_inode_info *pipe,
165 struct pipe_buffer *buf)
Jens Axboe5abc97a2006-03-30 15:16:46 +0200166{
Jens Axboe46e678c2006-04-30 16:36:32 +0200167 struct page *page = buf->page;
168
Jens Axboe08457182007-06-12 20:51:32 +0200169 /*
170 * A reference of one is golden, that means that the owner of this
171 * page is the only one holding a reference to it. lock the page
172 * and return OK.
173 */
Jens Axboe46e678c2006-04-30 16:36:32 +0200174 if (page_count(page) == 1) {
Jens Axboe46e678c2006-04-30 16:36:32 +0200175 lock_page(page);
Christoph Hellwigc928f642020-05-20 17:58:16 +0200176 return true;
Jens Axboe46e678c2006-04-30 16:36:32 +0200177 }
Christoph Hellwigc928f642020-05-20 17:58:16 +0200178 return false;
Jens Axboe5abc97a2006-03-30 15:16:46 +0200179}
Christoph Hellwigc928f642020-05-20 17:58:16 +0200180EXPORT_SYMBOL(generic_pipe_buf_try_steal);
Jens Axboe5abc97a2006-03-30 15:16:46 +0200181
Jens Axboe08457182007-06-12 20:51:32 +0200182/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800183 * generic_pipe_buf_get - get a reference to a &struct pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200184 * @pipe: the pipe that the buffer belongs to
185 * @buf: the buffer to get a reference to
186 *
187 * Description:
188 * This function grabs an extra reference to @buf. It's used in
189 * in the tee() system call, when we duplicate the buffers in one
190 * pipe into another.
191 */
Matthew Wilcox15fab632019-04-05 14:02:10 -0700192bool generic_pipe_buf_get(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
Jens Axboe70524492006-04-11 15:51:17 +0200193{
Matthew Wilcox15fab632019-04-05 14:02:10 -0700194 return try_get_page(buf->page);
Jens Axboe70524492006-04-11 15:51:17 +0200195}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200196EXPORT_SYMBOL(generic_pipe_buf_get);
Jens Axboe70524492006-04-11 15:51:17 +0200197
Jens Axboe08457182007-06-12 20:51:32 +0200198/**
Miklos Szeredi68181732009-05-07 15:37:36 +0200199 * 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{
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300209 put_page(buf->page);
Miklos Szeredi68181732009-05-07 15:37:36 +0200210}
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 = {
Christoph Hellwigc928f642020-05-20 17:58:16 +0200214 .release = anon_pipe_buf_release,
215 .try_steal = anon_pipe_buf_try_steal,
216 .get = generic_pipe_buf_get,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700217};
218
Linus Torvalds85190d12019-12-07 13:53:09 -0800219/* Done while waiting without holding the pipe lock - thus the READ_ONCE() */
220static inline bool pipe_readable(const struct pipe_inode_info *pipe)
221{
222 unsigned int head = READ_ONCE(pipe->head);
223 unsigned int tail = READ_ONCE(pipe->tail);
224 unsigned int writers = READ_ONCE(pipe->writers);
225
226 return !pipe_empty(head, tail) || !writers;
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 Torvalds0ddad212019-12-09 09:48:27 -0800235 bool was_full, wake_next_reader = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700236 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
Linus Torvalds1da177e2005-04-16 15:20:36 -0700242 ret = 0;
Al Viroebec73f2013-03-21 12:24:01 -0400243 __pipe_lock(pipe);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800244
245 /*
246 * We only wake up writers if the pipe was full when we started
247 * reading in order to avoid unnecessary wakeups.
248 *
249 * But when we do wake up writers, we do so using a sync wakeup
250 * (WF_SYNC), because we want them to get going and generate more
251 * data for us.
252 */
253 was_full = pipe_full(pipe->head, pipe->tail, pipe->max_usage);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700254 for (;;) {
David Howells8cefc102019-11-15 13:30:32 +0000255 unsigned int head = pipe->head;
256 unsigned int tail = pipe->tail;
257 unsigned int mask = pipe->ring_size - 1;
258
David Howellse7d553d2020-01-14 17:07:12 +0000259#ifdef CONFIG_WATCH_QUEUE
260 if (pipe->note_loss) {
261 struct watch_notification n;
262
263 if (total_len < 8) {
264 if (ret == 0)
265 ret = -ENOBUFS;
266 break;
267 }
268
269 n.type = WATCH_TYPE_META;
270 n.subtype = WATCH_META_LOSS_NOTIFICATION;
271 n.info = watch_sizeof(n);
272 if (copy_to_iter(&n, sizeof(n), to) != sizeof(n)) {
273 if (ret == 0)
274 ret = -EFAULT;
275 break;
276 }
277 ret += sizeof(n);
278 total_len -= sizeof(n);
279 pipe->note_loss = false;
280 }
281#endif
282
David Howells8cefc102019-11-15 13:30:32 +0000283 if (!pipe_empty(head, tail)) {
284 struct pipe_buffer *buf = &pipe->bufs[tail & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700285 size_t chars = buf->len;
Al Viro637b58c2014-02-03 19:11:42 -0500286 size_t written;
287 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700288
David Howells8cfba762020-01-14 17:07:11 +0000289 if (chars > total_len) {
290 if (buf->flags & PIPE_BUF_FLAG_WHOLE) {
291 if (ret == 0)
292 ret = -ENOBUFS;
293 break;
294 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700295 chars = total_len;
David Howells8cfba762020-01-14 17:07:11 +0000296 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700297
Miklos Szeredifba597d2016-09-27 10:45:12 +0200298 error = pipe_buf_confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200299 if (error) {
Jens Axboe5274f052006-03-30 15:15:30 +0200300 if (!ret)
Nicolas Kaisere5953cb2010-10-21 14:56:00 +0200301 ret = error;
Jens Axboe5274f052006-03-30 15:15:30 +0200302 break;
303 }
Jens Axboef84d7512006-05-01 19:59:03 +0200304
Al Virofb9096a2014-04-02 19:56:54 -0400305 written = copy_page_to_iter(buf->page, buf->offset, chars, to);
Al Viro637b58c2014-02-03 19:11:42 -0500306 if (unlikely(written < chars)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200307 if (!ret)
Al Viro637b58c2014-02-03 19:11:42 -0500308 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700309 break;
310 }
311 ret += chars;
312 buf->offset += chars;
313 buf->len -= chars;
Linus Torvalds98830352012-04-29 13:12:42 -0700314
315 /* Was it a packet buffer? Clean up and exit */
316 if (buf->flags & PIPE_BUF_FLAG_PACKET) {
317 total_len = chars;
318 buf->len = 0;
319 }
320
Linus Torvalds1da177e2005-04-16 15:20:36 -0700321 if (!buf->len) {
Miklos Szeredia7796382016-09-27 10:45:12 +0200322 pipe_buf_release(pipe, buf);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800323 spin_lock_irq(&pipe->rd_wait.lock);
David Howellse7d553d2020-01-14 17:07:12 +0000324#ifdef CONFIG_WATCH_QUEUE
325 if (buf->flags & PIPE_BUF_FLAG_LOSS)
326 pipe->note_loss = true;
327#endif
David Howells8cefc102019-11-15 13:30:32 +0000328 tail++;
329 pipe->tail = tail;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800330 spin_unlock_irq(&pipe->rd_wait.lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331 }
332 total_len -= chars;
333 if (!total_len)
334 break; /* common path: read succeeded */
David Howells8cefc102019-11-15 13:30:32 +0000335 if (!pipe_empty(head, tail)) /* More to do? */
336 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700337 }
David Howells8cefc102019-11-15 13:30:32 +0000338
Ingo Molnar923f4f22006-04-11 13:53:33 +0200339 if (!pipe->writers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340 break;
Linus Torvaldsa28c8b92019-12-07 13:21:01 -0800341 if (ret)
342 break;
343 if (filp->f_flags & O_NONBLOCK) {
344 ret = -EAGAIN;
345 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700346 }
Linus Torvalds85190d12019-12-07 13:53:09 -0800347 __pipe_unlock(pipe);
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800348
349 /*
350 * We only get here if we didn't actually read anything.
351 *
352 * However, we could have seen (and removed) a zero-sized
353 * pipe buffer, and might have made space in the buffers
354 * that way.
355 *
356 * You can't make zero-sized pipe buffers by doing an empty
357 * write (not even in packet mode), but they can happen if
358 * the writer gets an EFAULT when trying to fill a buffer
359 * that already got allocated and inserted in the buffer
360 * array.
361 *
362 * So we still need to wake up any pending writers in the
363 * _very_ unlikely case that the pipe was full, but we got
364 * no data.
365 */
Linus Torvalds3b2018f2021-08-24 10:39:25 -0700366 if (unlikely(was_full))
Linus Torvalds0ddad212019-12-09 09:48:27 -0800367 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Linus Torvalds3b2018f2021-08-24 10:39:25 -0700368 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800369
370 /*
371 * But because we didn't read anything, at this point we can
372 * just return directly with -ERESTARTSYS if we're interrupted,
373 * since we've done any required wakeups and there's no need
374 * to mark anything accessed. And we've dropped the lock.
375 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800376 if (wait_event_interruptible_exclusive(pipe->rd_wait, pipe_readable(pipe)) < 0)
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800377 return -ERESTARTSYS;
378
Linus Torvalds85190d12019-12-07 13:53:09 -0800379 __pipe_lock(pipe);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800380 was_full = pipe_full(pipe->head, pipe->tail, pipe->max_usage);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800381 wake_next_reader = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700382 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800383 if (pipe_empty(pipe->head, pipe->tail))
384 wake_next_reader = false;
Al Viroebec73f2013-03-21 12:24:01 -0400385 __pipe_unlock(pipe);
Ingo Molnar341b4462006-04-11 13:57:45 +0200386
Linus Torvalds3b2018f2021-08-24 10:39:25 -0700387 if (was_full)
Linus Torvalds0ddad212019-12-09 09:48:27 -0800388 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800389 if (wake_next_reader)
390 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Linus Torvalds3b2018f2021-08-24 10:39:25 -0700391 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700392 if (ret > 0)
393 file_accessed(filp);
394 return ret;
395}
396
Linus Torvalds98830352012-04-29 13:12:42 -0700397static inline int is_packetized(struct file *file)
398{
399 return (file->f_flags & O_DIRECT) != 0;
400}
401
Linus Torvalds85190d12019-12-07 13:53:09 -0800402/* Done while waiting without holding the pipe lock - thus the READ_ONCE() */
403static inline bool pipe_writable(const struct pipe_inode_info *pipe)
404{
405 unsigned int head = READ_ONCE(pipe->head);
406 unsigned int tail = READ_ONCE(pipe->tail);
407 unsigned int max_usage = READ_ONCE(pipe->max_usage);
408
409 return !pipe_full(head, tail, max_usage) ||
410 !READ_ONCE(pipe->readers);
411}
412
Linus Torvalds1da177e2005-04-16 15:20:36 -0700413static ssize_t
Al Virof0d1bec2014-04-03 15:05:18 -0400414pipe_write(struct kiocb *iocb, struct iov_iter *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700415{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700416 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400417 struct pipe_inode_info *pipe = filp->private_data;
David Howells8f868d62019-12-05 22:30:37 +0000418 unsigned int head;
Al Virof0d1bec2014-04-03 15:05:18 -0400419 ssize_t ret = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400420 size_t total_len = iov_iter_count(from);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700421 ssize_t chars;
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800422 bool was_empty = false;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800423 bool wake_next_writer = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700424
Linus Torvalds1da177e2005-04-16 15:20:36 -0700425 /* Null write succeeds. */
426 if (unlikely(total_len == 0))
427 return 0;
428
Al Viroebec73f2013-03-21 12:24:01 -0400429 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700430
Ingo Molnar923f4f22006-04-11 13:53:33 +0200431 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700432 send_sig(SIGPIPE, current, 0);
433 ret = -EPIPE;
434 goto out;
435 }
436
David Howellsc73be612020-01-14 17:07:11 +0000437#ifdef CONFIG_WATCH_QUEUE
438 if (pipe->watch_queue) {
439 ret = -EXDEV;
440 goto out;
441 }
442#endif
443
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800444 /*
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800445 * If it wasn't empty we try to merge new data into
446 * the last buffer.
447 *
448 * That naturally merges small writes, but it also
Linus Torvalds27aa7172021-07-30 15:42:34 -0700449 * page-aligns the rest of the writes for large writes
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800450 * spanning multiple pages.
451 */
David Howells8cefc102019-11-15 13:30:32 +0000452 head = pipe->head;
Linus Torvaldse91da232021-08-05 10:04:43 -0700453 was_empty = pipe_empty(head, pipe->tail);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800454 chars = total_len & (PAGE_SIZE-1);
Linus Torvaldse91da232021-08-05 10:04:43 -0700455 if (chars && !was_empty) {
David Howells8f868d62019-12-05 22:30:37 +0000456 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000457 struct pipe_buffer *buf = &pipe->bufs[(head - 1) & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458 int offset = buf->offset + buf->len;
Ingo Molnar341b4462006-04-11 13:57:45 +0200459
Christoph Hellwigf6dd9752020-05-20 17:58:12 +0200460 if ((buf->flags & PIPE_BUF_FLAG_CAN_MERGE) &&
461 offset + chars <= PAGE_SIZE) {
Miklos Szeredifba597d2016-09-27 10:45:12 +0200462 ret = pipe_buf_confirm(pipe, buf);
Eric Biggers6ae08062015-10-17 16:26:09 -0500463 if (ret)
Jens Axboe5274f052006-03-30 15:15:30 +0200464 goto out;
Jens Axboef84d7512006-05-01 19:59:03 +0200465
Al Virof0d1bec2014-04-03 15:05:18 -0400466 ret = copy_page_from_iter(buf->page, offset, chars, from);
467 if (unlikely(ret < chars)) {
Eric Biggers6ae08062015-10-17 16:26:09 -0500468 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700469 goto out;
Jens Axboef6762b72006-05-01 20:02:05 +0200470 }
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800471
Eric Biggers6ae08062015-10-17 16:26:09 -0500472 buf->len += ret;
Al Virof0d1bec2014-04-03 15:05:18 -0400473 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700474 goto out;
475 }
476 }
477
478 for (;;) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200479 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700480 send_sig(SIGPIPE, current, 0);
Ingo Molnar341b4462006-04-11 13:57:45 +0200481 if (!ret)
482 ret = -EPIPE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700483 break;
484 }
David Howells8cefc102019-11-15 13:30:32 +0000485
David Howellsa194dfe2019-09-20 16:32:19 +0100486 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000487 if (!pipe_full(head, pipe->tail, pipe->max_usage)) {
488 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000489 struct pipe_buffer *buf = &pipe->bufs[head & mask];
Ingo Molnar923f4f22006-04-11 13:53:33 +0200490 struct page *page = pipe->tmp_page;
Al Virof0d1bec2014-04-03 15:05:18 -0400491 int copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700492
493 if (!page) {
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700494 page = alloc_page(GFP_HIGHUSER | __GFP_ACCOUNT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700495 if (unlikely(!page)) {
496 ret = ret ? : -ENOMEM;
497 break;
498 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200499 pipe->tmp_page = page;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700500 }
David Howellsa194dfe2019-09-20 16:32:19 +0100501
502 /* Allocate a slot in the ring in advance and attach an
503 * empty buffer. If we fault or otherwise fail to use
504 * it, either the reader will consume it or it'll still
505 * be there for the next write.
506 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800507 spin_lock_irq(&pipe->rd_wait.lock);
David Howellsa194dfe2019-09-20 16:32:19 +0100508
509 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000510 if (pipe_full(head, pipe->tail, pipe->max_usage)) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800511 spin_unlock_irq(&pipe->rd_wait.lock);
David Howells8df44122019-10-07 16:30:51 +0100512 continue;
513 }
514
David Howellsa194dfe2019-09-20 16:32:19 +0100515 pipe->head = head + 1;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800516 spin_unlock_irq(&pipe->rd_wait.lock);
David Howellsa194dfe2019-09-20 16:32:19 +0100517
518 /* Insert it into the buffer array */
519 buf = &pipe->bufs[head & mask];
520 buf->page = page;
521 buf->ops = &anon_pipe_buf_ops;
522 buf->offset = 0;
523 buf->len = 0;
Christoph Hellwigf6dd9752020-05-20 17:58:12 +0200524 if (is_packetized(filp))
David Howellsa194dfe2019-09-20 16:32:19 +0100525 buf->flags = PIPE_BUF_FLAG_PACKET;
Christoph Hellwigf6dd9752020-05-20 17:58:12 +0200526 else
527 buf->flags = PIPE_BUF_FLAG_CAN_MERGE;
David Howellsa194dfe2019-09-20 16:32:19 +0100528 pipe->tmp_page = NULL;
529
Al Virof0d1bec2014-04-03 15:05:18 -0400530 copied = copy_page_from_iter(page, 0, PAGE_SIZE, from);
531 if (unlikely(copied < PAGE_SIZE && iov_iter_count(from))) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200532 if (!ret)
Al Virof0d1bec2014-04-03 15:05:18 -0400533 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700534 break;
535 }
Al Virof0d1bec2014-04-03 15:05:18 -0400536 ret += copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700537 buf->offset = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400538 buf->len = copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700539
Al Virof0d1bec2014-04-03 15:05:18 -0400540 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700541 break;
542 }
David Howells8cefc102019-11-15 13:30:32 +0000543
David Howells8f868d62019-12-05 22:30:37 +0000544 if (!pipe_full(head, pipe->tail, pipe->max_usage))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700545 continue;
David Howells8cefc102019-11-15 13:30:32 +0000546
547 /* Wait for buffer space to become available. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700548 if (filp->f_flags & O_NONBLOCK) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200549 if (!ret)
550 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700551 break;
552 }
553 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200554 if (!ret)
555 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700556 break;
557 }
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800558
559 /*
560 * We're going to release the pipe lock and wait for more
561 * space. We wake up any readers if necessary, and then
562 * after waiting we need to re-check whether the pipe
563 * become empty while we dropped the lock.
564 */
Linus Torvalds85190d12019-12-07 13:53:09 -0800565 __pipe_unlock(pipe);
Linus Torvalds3b2018f2021-08-24 10:39:25 -0700566 if (was_empty)
Linus Torvalds0ddad212019-12-09 09:48:27 -0800567 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Linus Torvalds3b2018f2021-08-24 10:39:25 -0700568 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800569 wait_event_interruptible_exclusive(pipe->wr_wait, pipe_writable(pipe));
Linus Torvalds85190d12019-12-07 13:53:09 -0800570 __pipe_lock(pipe);
Jan Stancek0dd1e372019-12-22 13:33:24 +0100571 was_empty = pipe_empty(pipe->head, pipe->tail);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800572 wake_next_writer = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700573 }
574out:
Linus Torvalds0ddad212019-12-09 09:48:27 -0800575 if (pipe_full(pipe->head, pipe->tail, pipe->max_usage))
576 wake_next_writer = false;
Al Viroebec73f2013-03-21 12:24:01 -0400577 __pipe_unlock(pipe);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800578
579 /*
580 * If we do do a wakeup event, we do a 'sync' wakeup, because we
581 * want the reader to start processing things asap, rather than
582 * leave the data pending.
583 *
584 * This is particularly important for small writes, because of
585 * how (for example) the GNU make jobserver uses small writes to
586 * wake up pending jobs
Linus Torvaldse91da232021-08-05 10:04:43 -0700587 *
588 * Epoll nonsensically wants a wakeup whether the pipe
589 * was already empty or not.
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800590 */
Linus Torvalds3b2018f2021-08-24 10:39:25 -0700591 if (was_empty || pipe->poll_usage)
Linus Torvalds0ddad212019-12-09 09:48:27 -0800592 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Linus Torvalds3b2018f2021-08-24 10:39:25 -0700593 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800594 if (wake_next_writer)
595 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800596 if (ret > 0 && sb_start_write_trylock(file_inode(filp)->i_sb)) {
Josef Bacikc3b2da32012-03-26 09:59:21 -0400597 int err = file_update_time(filp);
598 if (err)
599 ret = err;
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800600 sb_end_write(file_inode(filp)->i_sb);
Josef Bacikc3b2da32012-03-26 09:59:21 -0400601 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700602 return ret;
603}
604
Andi Kleend59d0b12008-02-08 04:21:23 -0800605static long pipe_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700606{
Al Virode32ec42013-03-21 11:16:56 -0400607 struct pipe_inode_info *pipe = filp->private_data;
David Howells8cefc102019-11-15 13:30:32 +0000608 int count, head, tail, mask;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609
610 switch (cmd) {
David Howellsc73be612020-01-14 17:07:11 +0000611 case FIONREAD:
612 __pipe_lock(pipe);
613 count = 0;
614 head = pipe->head;
615 tail = pipe->tail;
616 mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000617
David Howellsc73be612020-01-14 17:07:11 +0000618 while (tail != head) {
619 count += pipe->bufs[tail & mask].len;
620 tail++;
621 }
622 __pipe_unlock(pipe);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200623
David Howellsc73be612020-01-14 17:07:11 +0000624 return put_user(count, (int __user *)arg);
625
626#ifdef CONFIG_WATCH_QUEUE
627 case IOC_WATCH_QUEUE_SET_SIZE: {
628 int ret;
629 __pipe_lock(pipe);
630 ret = watch_queue_set_size(pipe, arg);
631 __pipe_unlock(pipe);
632 return ret;
633 }
634
635 case IOC_WATCH_QUEUE_SET_FILTER:
636 return watch_queue_set_filter(
637 pipe, (struct watch_notification_filter __user *)arg);
638#endif
639
640 default:
641 return -ENOIOCTLCMD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700642 }
643}
644
Christoph Hellwigdd670812017-12-31 16:42:12 +0100645/* No kernel lock held - fine */
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700646static __poll_t
647pipe_poll(struct file *filp, poll_table *wait)
Christoph Hellwigdd670812017-12-31 16:42:12 +0100648{
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700649 __poll_t mask;
Christoph Hellwigdd670812017-12-31 16:42:12 +0100650 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvaldsad910e32019-12-07 10:41:17 -0800651 unsigned int head, tail;
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700652
Linus Torvaldse91da232021-08-05 10:04:43 -0700653 /* Epoll has some historical nasty semantics, this enables them */
654 pipe->poll_usage = 1;
655
Linus Torvaldsad910e32019-12-07 10:41:17 -0800656 /*
Linus Torvalds0ddad212019-12-09 09:48:27 -0800657 * Reading pipe state only -- no need for acquiring the semaphore.
Linus Torvaldsad910e32019-12-07 10:41:17 -0800658 *
659 * But because this is racy, the code has to add the
660 * entry to the poll table _first_ ..
661 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800662 if (filp->f_mode & FMODE_READ)
663 poll_wait(filp, &pipe->rd_wait, wait);
664 if (filp->f_mode & FMODE_WRITE)
665 poll_wait(filp, &pipe->wr_wait, wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700666
Linus Torvaldsad910e32019-12-07 10:41:17 -0800667 /*
668 * .. and only then can you do the racy tests. That way,
669 * if something changes and you got it wrong, the poll
670 * table entry will wake you up and fix it.
671 */
672 head = READ_ONCE(pipe->head);
673 tail = READ_ONCE(pipe->tail);
674
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700675 mask = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700676 if (filp->f_mode & FMODE_READ) {
David Howells8cefc102019-11-15 13:30:32 +0000677 if (!pipe_empty(head, tail))
678 mask |= EPOLLIN | EPOLLRDNORM;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200679 if (!pipe->writers && filp->f_version != pipe->w_counter)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800680 mask |= EPOLLHUP;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700681 }
682
683 if (filp->f_mode & FMODE_WRITE) {
David Howells6718b6f2019-10-16 16:47:32 +0100684 if (!pipe_full(head, tail, pipe->max_usage))
David Howells8cefc102019-11-15 13:30:32 +0000685 mask |= EPOLLOUT | EPOLLWRNORM;
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700686 /*
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800687 * Most Unices do not set EPOLLERR for FIFOs but on Linux they
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700688 * behave exactly like pipes for poll().
689 */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200690 if (!pipe->readers)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800691 mask |= EPOLLERR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700692 }
693
694 return mask;
695}
696
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800697static void put_pipe_info(struct inode *inode, struct pipe_inode_info *pipe)
698{
699 int kill = 0;
700
701 spin_lock(&inode->i_lock);
702 if (!--pipe->files) {
703 inode->i_pipe = NULL;
704 kill = 1;
705 }
706 spin_unlock(&inode->i_lock);
707
708 if (kill)
709 free_pipe_info(pipe);
710}
711
Linus Torvalds1da177e2005-04-16 15:20:36 -0700712static int
Al Viro599a0ac2013-03-12 09:58:10 -0400713pipe_release(struct inode *inode, struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700714{
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800715 struct pipe_inode_info *pipe = file->private_data;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200716
Al Viroebec73f2013-03-21 12:24:01 -0400717 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400718 if (file->f_mode & FMODE_READ)
719 pipe->readers--;
720 if (file->f_mode & FMODE_WRITE)
721 pipe->writers--;
Ingo Molnar341b4462006-04-11 13:57:45 +0200722
Linus Torvalds6551d5c2020-02-18 10:12:58 -0800723 /* Was that the last reader or writer, but not the other side? */
724 if (!pipe->readers != !pipe->writers) {
725 wake_up_interruptible_all(&pipe->rd_wait);
726 wake_up_interruptible_all(&pipe->wr_wait);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200727 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
728 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700729 }
Al Viroebec73f2013-03-21 12:24:01 -0400730 __pipe_unlock(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400731
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800732 put_pipe_info(inode, pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700733 return 0;
734}
735
736static int
Al Viro599a0ac2013-03-12 09:58:10 -0400737pipe_fasync(int fd, struct file *filp, int on)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700738{
Al Virode32ec42013-03-21 11:16:56 -0400739 struct pipe_inode_info *pipe = filp->private_data;
Al Viro599a0ac2013-03-12 09:58:10 -0400740 int retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700741
Al Viroebec73f2013-03-21 12:24:01 -0400742 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400743 if (filp->f_mode & FMODE_READ)
744 retval = fasync_helper(fd, filp, on, &pipe->fasync_readers);
745 if ((filp->f_mode & FMODE_WRITE) && retval >= 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200746 retval = fasync_helper(fd, filp, on, &pipe->fasync_writers);
Al Viro599a0ac2013-03-12 09:58:10 -0400747 if (retval < 0 && (filp->f_mode & FMODE_READ))
748 /* this can happen only if on == T */
Oleg Nesterove5bc49b2009-03-12 14:31:28 -0700749 fasync_helper(-1, filp, 0, &pipe->fasync_readers);
750 }
Al Viroebec73f2013-03-21 12:24:01 -0400751 __pipe_unlock(pipe);
Jonathan Corbet60aa4922009-02-01 14:52:56 -0700752 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700753}
754
David Howellsc73be612020-01-14 17:07:11 +0000755unsigned long account_pipe_buffers(struct user_struct *user,
756 unsigned long old, unsigned long new)
Willy Tarreau759c0112016-01-18 16:36:09 +0100757{
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700758 return atomic_long_add_return(new - old, &user->pipe_bufs);
Willy Tarreau759c0112016-01-18 16:36:09 +0100759}
760
David Howellsc73be612020-01-14 17:07:11 +0000761bool too_many_pipe_buffers_soft(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100762{
Eric Biggersf7340762018-02-06 15:42:08 -0800763 unsigned long soft_limit = READ_ONCE(pipe_user_pages_soft);
764
765 return soft_limit && user_bufs > soft_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100766}
767
David Howellsc73be612020-01-14 17:07:11 +0000768bool too_many_pipe_buffers_hard(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100769{
Eric Biggersf7340762018-02-06 15:42:08 -0800770 unsigned long hard_limit = READ_ONCE(pipe_user_pages_hard);
771
772 return hard_limit && user_bufs > hard_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100773}
774
David Howellsc73be612020-01-14 17:07:11 +0000775bool pipe_is_unprivileged_user(void)
Eric Biggers85c2dd52018-02-06 15:41:53 -0800776{
777 return !capable(CAP_SYS_RESOURCE) && !capable(CAP_SYS_ADMIN);
778}
779
Al Viro7bee1302013-03-21 11:04:15 -0400780struct pipe_inode_info *alloc_pipe_info(void)
Ingo Molnar3a326a22006-04-10 15:18:35 +0200781{
Ingo Molnar923f4f22006-04-11 13:53:33 +0200782 struct pipe_inode_info *pipe;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700783 unsigned long pipe_bufs = PIPE_DEF_BUFFERS;
784 struct user_struct *user = get_current_user();
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700785 unsigned long user_bufs;
Eric Biggersf7340762018-02-06 15:42:08 -0800786 unsigned int max_size = READ_ONCE(pipe_max_size);
Ingo Molnar3a326a22006-04-10 15:18:35 +0200787
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700788 pipe = kzalloc(sizeof(struct pipe_inode_info), GFP_KERNEL_ACCOUNT);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700789 if (pipe == NULL)
790 goto out_free_uid;
Willy Tarreau759c0112016-01-18 16:36:09 +0100791
Eric Biggersf7340762018-02-06 15:42:08 -0800792 if (pipe_bufs * PAGE_SIZE > max_size && !capable(CAP_SYS_RESOURCE))
793 pipe_bufs = max_size >> PAGE_SHIFT;
Michael Kerrisk (man-pages)086e7742016-10-11 13:53:43 -0700794
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700795 user_bufs = account_pipe_buffers(user, 0, pipe_bufs);
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700796
David Howellsc73be612020-01-14 17:07:11 +0000797 if (too_many_pipe_buffers_soft(user_bufs) && pipe_is_unprivileged_user()) {
Alex Xu (Hello71)6b5a3d22021-08-05 10:40:47 -0400798 user_bufs = account_pipe_buffers(user, pipe_bufs, PIPE_MIN_DEF_BUFFERS);
799 pipe_bufs = PIPE_MIN_DEF_BUFFERS;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200800 }
801
David Howellsc73be612020-01-14 17:07:11 +0000802 if (too_many_pipe_buffers_hard(user_bufs) && pipe_is_unprivileged_user())
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700803 goto out_revert_acct;
804
805 pipe->bufs = kcalloc(pipe_bufs, sizeof(struct pipe_buffer),
806 GFP_KERNEL_ACCOUNT);
807
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700808 if (pipe->bufs) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800809 init_waitqueue_head(&pipe->rd_wait);
810 init_waitqueue_head(&pipe->wr_wait);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700811 pipe->r_counter = pipe->w_counter = 1;
David Howells6718b6f2019-10-16 16:47:32 +0100812 pipe->max_usage = pipe_bufs;
David Howells8cefc102019-11-15 13:30:32 +0000813 pipe->ring_size = pipe_bufs;
David Howellsc73be612020-01-14 17:07:11 +0000814 pipe->nr_accounted = pipe_bufs;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700815 pipe->user = user;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700816 mutex_init(&pipe->mutex);
817 return pipe;
818 }
819
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700820out_revert_acct:
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700821 (void) account_pipe_buffers(user, pipe_bufs, 0);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700822 kfree(pipe);
823out_free_uid:
824 free_uid(user);
Jens Axboe35f3d142010-05-20 10:43:18 +0200825 return NULL;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200826}
827
Al Viro4b8a8f12013-03-21 11:06:46 -0400828void free_pipe_info(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700829{
830 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700831
David Howellsc73be612020-01-14 17:07:11 +0000832#ifdef CONFIG_WATCH_QUEUE
833 if (pipe->watch_queue) {
834 watch_queue_clear(pipe->watch_queue);
835 put_watch_queue(pipe->watch_queue);
836 }
837#endif
838
839 (void) account_pipe_buffers(pipe->user, pipe->nr_accounted, 0);
Willy Tarreau759c0112016-01-18 16:36:09 +0100840 free_uid(pipe->user);
David Howells8cefc102019-11-15 13:30:32 +0000841 for (i = 0; i < pipe->ring_size; i++) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200842 struct pipe_buffer *buf = pipe->bufs + i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700843 if (buf->ops)
Miklos Szeredia7796382016-09-27 10:45:12 +0200844 pipe_buf_release(pipe, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700845 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200846 if (pipe->tmp_page)
847 __free_page(pipe->tmp_page);
Jens Axboe35f3d142010-05-20 10:43:18 +0200848 kfree(pipe->bufs);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200849 kfree(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700850}
851
Eric Dumazetfa3536c2006-03-26 01:37:24 -0800852static struct vfsmount *pipe_mnt __read_mostly;
Ingo Molnar341b4462006-04-11 13:57:45 +0200853
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700854/*
855 * pipefs_dname() is called from d_path().
856 */
857static char *pipefs_dname(struct dentry *dentry, char *buffer, int buflen)
858{
859 return dynamic_dname(dentry, buffer, buflen, "pipe:[%lu]",
David Howells75c3cfa2015-03-17 22:26:12 +0000860 d_inode(dentry)->i_ino);
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700861}
862
Al Viro3ba13d12009-02-20 06:02:22 +0000863static const struct dentry_operations pipefs_dentry_operations = {
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700864 .d_dname = pipefs_dname,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700865};
866
867static struct inode * get_pipe_inode(void)
868{
Eric Dumazeta209dfc2011-07-26 11:36:34 +0200869 struct inode *inode = new_inode_pseudo(pipe_mnt->mnt_sb);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200870 struct pipe_inode_info *pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700871
872 if (!inode)
873 goto fail_inode;
874
Christoph Hellwig85fe4022010-10-23 11:19:54 -0400875 inode->i_ino = get_next_ino();
876
Al Viro7bee1302013-03-21 11:04:15 -0400877 pipe = alloc_pipe_info();
Ingo Molnar923f4f22006-04-11 13:53:33 +0200878 if (!pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700879 goto fail_iput;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200880
Al Viroba5bb142013-03-21 02:21:19 -0400881 inode->i_pipe = pipe;
882 pipe->files = 2;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200883 pipe->readers = pipe->writers = 1;
Al Viro599a0ac2013-03-12 09:58:10 -0400884 inode->i_fop = &pipefifo_fops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700885
886 /*
887 * Mark the inode dirty from the very beginning,
888 * that way it will never be moved to the dirty
889 * list because "mark_inode_dirty()" will think
890 * that it already _is_ on the dirty list.
891 */
892 inode->i_state = I_DIRTY;
893 inode->i_mode = S_IFIFO | S_IRUSR | S_IWUSR;
David Howellsda9592e2008-11-14 10:39:05 +1100894 inode->i_uid = current_fsuid();
895 inode->i_gid = current_fsgid();
Deepa Dinamani078cd822016-09-14 07:48:04 -0700896 inode->i_atime = inode->i_mtime = inode->i_ctime = current_time(inode);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200897
Linus Torvalds1da177e2005-04-16 15:20:36 -0700898 return inode;
899
900fail_iput:
901 iput(inode);
Ingo Molnar341b4462006-04-11 13:57:45 +0200902
Linus Torvalds1da177e2005-04-16 15:20:36 -0700903fail_inode:
904 return NULL;
905}
906
Al Viroe4fad8e2012-07-21 15:33:25 +0400907int create_pipe_files(struct file **res, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700908{
Al Viroe4fad8e2012-07-21 15:33:25 +0400909 struct inode *inode = get_pipe_inode();
Andi Kleend6cbd282006-09-30 23:29:26 -0700910 struct file *f;
Qian Cai8a018eb2020-10-01 08:50:55 -0400911 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700912
Linus Torvalds1da177e2005-04-16 15:20:36 -0700913 if (!inode)
Al Viroe4fad8e2012-07-21 15:33:25 +0400914 return -ENFILE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700915
David Howellsc73be612020-01-14 17:07:11 +0000916 if (flags & O_NOTIFICATION_PIPE) {
Qian Cai8a018eb2020-10-01 08:50:55 -0400917 error = watch_queue_init(inode->i_pipe);
918 if (error) {
919 free_pipe_info(inode->i_pipe);
David Howellsc73be612020-01-14 17:07:11 +0000920 iput(inode);
Qian Cai8a018eb2020-10-01 08:50:55 -0400921 return error;
David Howellsc73be612020-01-14 17:07:11 +0000922 }
David Howellsc73be612020-01-14 17:07:11 +0000923 }
924
Al Viro152b6372018-06-09 10:05:18 -0400925 f = alloc_file_pseudo(inode, pipe_mnt, "",
926 O_WRONLY | (flags & (O_NONBLOCK | O_DIRECT)),
927 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500928 if (IS_ERR(f)) {
Al Viro152b6372018-06-09 10:05:18 -0400929 free_pipe_info(inode->i_pipe);
930 iput(inode);
931 return PTR_ERR(f);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500932 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700933
Al Virode32ec42013-03-21 11:16:56 -0400934 f->private_data = inode->i_pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700935
Al Viro183266f2018-06-17 14:15:10 -0400936 res[0] = alloc_file_clone(f, O_RDONLY | (flags & O_NONBLOCK),
937 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500938 if (IS_ERR(res[0])) {
Al Virob10a4a92018-07-09 02:29:58 -0400939 put_pipe_info(inode, inode->i_pipe);
940 fput(f);
941 return PTR_ERR(res[0]);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500942 }
Al Virode32ec42013-03-21 11:16:56 -0400943 res[0]->private_data = inode->i_pipe;
Al Viroe4fad8e2012-07-21 15:33:25 +0400944 res[1] = f;
Linus Torvaldsd8e464e2019-11-17 11:20:48 -0800945 stream_open(inode, res[0]);
946 stream_open(inode, res[1]);
Al Viroe4fad8e2012-07-21 15:33:25 +0400947 return 0;
Andi Kleend6cbd282006-09-30 23:29:26 -0700948}
949
Al Viro5b249b12012-08-19 12:17:29 -0400950static int __do_pipe_flags(int *fd, struct file **files, int flags)
Andi Kleend6cbd282006-09-30 23:29:26 -0700951{
Andi Kleend6cbd282006-09-30 23:29:26 -0700952 int error;
953 int fdw, fdr;
954
David Howellsc73be612020-01-14 17:07:11 +0000955 if (flags & ~(O_CLOEXEC | O_NONBLOCK | O_DIRECT | O_NOTIFICATION_PIPE))
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700956 return -EINVAL;
957
Al Viroe4fad8e2012-07-21 15:33:25 +0400958 error = create_pipe_files(files, flags);
959 if (error)
960 return error;
Andi Kleend6cbd282006-09-30 23:29:26 -0700961
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700962 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700963 if (error < 0)
964 goto err_read_pipe;
965 fdr = error;
966
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700967 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700968 if (error < 0)
969 goto err_fdr;
970 fdw = error;
971
Al Viro157cf642008-12-14 04:57:47 -0500972 audit_fd_pair(fdr, fdw);
Andi Kleend6cbd282006-09-30 23:29:26 -0700973 fd[0] = fdr;
974 fd[1] = fdw;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700975 return 0;
976
Andi Kleend6cbd282006-09-30 23:29:26 -0700977 err_fdr:
978 put_unused_fd(fdr);
979 err_read_pipe:
Al Viroe4fad8e2012-07-21 15:33:25 +0400980 fput(files[0]);
981 fput(files[1]);
Andi Kleend6cbd282006-09-30 23:29:26 -0700982 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700983}
984
Al Viro5b249b12012-08-19 12:17:29 -0400985int do_pipe_flags(int *fd, int flags)
986{
987 struct file *files[2];
988 int error = __do_pipe_flags(fd, files, flags);
989 if (!error) {
990 fd_install(fd[0], files[0]);
991 fd_install(fd[1], files[1]);
992 }
993 return error;
994}
995
Linus Torvalds1da177e2005-04-16 15:20:36 -0700996/*
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400997 * sys_pipe() is the normal C calling standard for creating
998 * a pipe. It's not the way Unix traditionally does this, though.
999 */
Dominik Brodowski0a216dd2018-03-11 11:34:28 +01001000static int do_pipe2(int __user *fildes, int flags)
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001001{
Al Viro5b249b12012-08-19 12:17:29 -04001002 struct file *files[2];
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001003 int fd[2];
1004 int error;
1005
Al Viro5b249b12012-08-19 12:17:29 -04001006 error = __do_pipe_flags(fd, files, flags);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001007 if (!error) {
Al Viro5b249b12012-08-19 12:17:29 -04001008 if (unlikely(copy_to_user(fildes, fd, sizeof(fd)))) {
1009 fput(files[0]);
1010 fput(files[1]);
1011 put_unused_fd(fd[0]);
1012 put_unused_fd(fd[1]);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001013 error = -EFAULT;
Al Viro5b249b12012-08-19 12:17:29 -04001014 } else {
1015 fd_install(fd[0], files[0]);
1016 fd_install(fd[1], files[1]);
Ulrich Drepperba719ba2008-05-06 20:42:38 -07001017 }
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001018 }
1019 return error;
1020}
1021
Dominik Brodowski0a216dd2018-03-11 11:34:28 +01001022SYSCALL_DEFINE2(pipe2, int __user *, fildes, int, flags)
1023{
1024 return do_pipe2(fildes, flags);
1025}
1026
Heiko Carstens2b664212009-01-14 14:14:35 +01001027SYSCALL_DEFINE1(pipe, int __user *, fildes)
Ulrich Dreppered8cae82008-07-23 21:29:30 -07001028{
Dominik Brodowski0a216dd2018-03-11 11:34:28 +01001029 return do_pipe2(fildes, 0);
Ulrich Dreppered8cae82008-07-23 21:29:30 -07001030}
1031
Linus Torvalds472e5b02020-10-01 19:14:36 -07001032/*
1033 * This is the stupid "wait for pipe to be readable or writable"
1034 * model.
1035 *
1036 * See pipe_read/write() for the proper kind of exclusive wait,
1037 * but that requires that we wake up any other readers/writers
1038 * if we then do not end up reading everything (ie the whole
1039 * "wake_next_reader/writer" logic in pipe_read/write()).
1040 */
1041void pipe_wait_readable(struct pipe_inode_info *pipe)
1042{
1043 pipe_unlock(pipe);
1044 wait_event_interruptible(pipe->rd_wait, pipe_readable(pipe));
1045 pipe_lock(pipe);
1046}
1047
1048void pipe_wait_writable(struct pipe_inode_info *pipe)
1049{
1050 pipe_unlock(pipe);
1051 wait_event_interruptible(pipe->wr_wait, pipe_writable(pipe));
1052 pipe_lock(pipe);
1053}
1054
1055/*
1056 * This depends on both the wait (here) and the wakeup (wake_up_partner)
1057 * holding the pipe lock, so "*cnt" is stable and we know a wakeup cannot
1058 * race with the count check and waitqueue prep.
1059 *
1060 * Normally in order to avoid races, you'd do the prepare_to_wait() first,
1061 * then check the condition you're waiting for, and only then sleep. But
1062 * because of the pipe lock, we can check the condition before being on
1063 * the wait queue.
1064 *
1065 * We use the 'rd_wait' waitqueue for pipe partner waiting.
1066 */
Al Virofc7478a2013-03-21 02:07:59 -04001067static int wait_for_partner(struct pipe_inode_info *pipe, unsigned int *cnt)
Al Virof776c732013-03-12 09:46:27 -04001068{
Linus Torvalds472e5b02020-10-01 19:14:36 -07001069 DEFINE_WAIT(rdwait);
David Howells8cefc102019-11-15 13:30:32 +00001070 int cur = *cnt;
Al Virof776c732013-03-12 09:46:27 -04001071
1072 while (cur == *cnt) {
Linus Torvalds472e5b02020-10-01 19:14:36 -07001073 prepare_to_wait(&pipe->rd_wait, &rdwait, TASK_INTERRUPTIBLE);
1074 pipe_unlock(pipe);
1075 schedule();
1076 finish_wait(&pipe->rd_wait, &rdwait);
1077 pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001078 if (signal_pending(current))
1079 break;
1080 }
1081 return cur == *cnt ? -ERESTARTSYS : 0;
1082}
1083
Al Virofc7478a2013-03-21 02:07:59 -04001084static void wake_up_partner(struct pipe_inode_info *pipe)
Al Virof776c732013-03-12 09:46:27 -04001085{
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001086 wake_up_interruptible_all(&pipe->rd_wait);
Al Virof776c732013-03-12 09:46:27 -04001087}
1088
1089static int fifo_open(struct inode *inode, struct file *filp)
1090{
1091 struct pipe_inode_info *pipe;
Al Viro599a0ac2013-03-12 09:58:10 -04001092 bool is_pipe = inode->i_sb->s_magic == PIPEFS_MAGIC;
Al Virof776c732013-03-12 09:46:27 -04001093 int ret;
1094
Al Viroba5bb142013-03-21 02:21:19 -04001095 filp->f_version = 0;
1096
1097 spin_lock(&inode->i_lock);
1098 if (inode->i_pipe) {
1099 pipe = inode->i_pipe;
1100 pipe->files++;
1101 spin_unlock(&inode->i_lock);
1102 } else {
1103 spin_unlock(&inode->i_lock);
Al Viro7bee1302013-03-21 11:04:15 -04001104 pipe = alloc_pipe_info();
Al Virof776c732013-03-12 09:46:27 -04001105 if (!pipe)
Al Viroba5bb142013-03-21 02:21:19 -04001106 return -ENOMEM;
1107 pipe->files = 1;
1108 spin_lock(&inode->i_lock);
1109 if (unlikely(inode->i_pipe)) {
1110 inode->i_pipe->files++;
1111 spin_unlock(&inode->i_lock);
Al Viro4b8a8f12013-03-21 11:06:46 -04001112 free_pipe_info(pipe);
Al Viroba5bb142013-03-21 02:21:19 -04001113 pipe = inode->i_pipe;
1114 } else {
1115 inode->i_pipe = pipe;
1116 spin_unlock(&inode->i_lock);
1117 }
Al Virof776c732013-03-12 09:46:27 -04001118 }
Al Virode32ec42013-03-21 11:16:56 -04001119 filp->private_data = pipe;
Al Viroba5bb142013-03-21 02:21:19 -04001120 /* OK, we have a pipe and it's pinned down */
1121
Al Viroebec73f2013-03-21 12:24:01 -04001122 __pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001123
1124 /* We can only do regular read/write on fifos */
Linus Torvaldsd8e464e2019-11-17 11:20:48 -08001125 stream_open(inode, filp);
Al Virof776c732013-03-12 09:46:27 -04001126
Linus Torvaldsd8e464e2019-11-17 11:20:48 -08001127 switch (filp->f_mode & (FMODE_READ | FMODE_WRITE)) {
Al Virof776c732013-03-12 09:46:27 -04001128 case FMODE_READ:
1129 /*
1130 * O_RDONLY
1131 * POSIX.1 says that O_NONBLOCK means return with the FIFO
1132 * opened, even when there is no process writing the FIFO.
1133 */
Al Virof776c732013-03-12 09:46:27 -04001134 pipe->r_counter++;
1135 if (pipe->readers++ == 0)
Al Virofc7478a2013-03-21 02:07:59 -04001136 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001137
Al Viro599a0ac2013-03-12 09:58:10 -04001138 if (!is_pipe && !pipe->writers) {
Al Virof776c732013-03-12 09:46:27 -04001139 if ((filp->f_flags & O_NONBLOCK)) {
Linus Torvaldsa9a08842018-02-11 14:34:03 -08001140 /* suppress EPOLLHUP until we have
Al Virof776c732013-03-12 09:46:27 -04001141 * seen a writer */
1142 filp->f_version = pipe->w_counter;
1143 } else {
Al Virofc7478a2013-03-21 02:07:59 -04001144 if (wait_for_partner(pipe, &pipe->w_counter))
Al Virof776c732013-03-12 09:46:27 -04001145 goto err_rd;
1146 }
1147 }
1148 break;
David Howells8cefc102019-11-15 13:30:32 +00001149
Al Virof776c732013-03-12 09:46:27 -04001150 case FMODE_WRITE:
1151 /*
1152 * O_WRONLY
1153 * POSIX.1 says that O_NONBLOCK means return -1 with
1154 * errno=ENXIO when there is no process reading the FIFO.
1155 */
1156 ret = -ENXIO;
Al Viro599a0ac2013-03-12 09:58:10 -04001157 if (!is_pipe && (filp->f_flags & O_NONBLOCK) && !pipe->readers)
Al Virof776c732013-03-12 09:46:27 -04001158 goto err;
1159
Al Virof776c732013-03-12 09:46:27 -04001160 pipe->w_counter++;
1161 if (!pipe->writers++)
Al Virofc7478a2013-03-21 02:07:59 -04001162 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001163
Al Viro599a0ac2013-03-12 09:58:10 -04001164 if (!is_pipe && !pipe->readers) {
Al Virofc7478a2013-03-21 02:07:59 -04001165 if (wait_for_partner(pipe, &pipe->r_counter))
Al Virof776c732013-03-12 09:46:27 -04001166 goto err_wr;
1167 }
1168 break;
David Howells8cefc102019-11-15 13:30:32 +00001169
Al Virof776c732013-03-12 09:46:27 -04001170 case FMODE_READ | FMODE_WRITE:
1171 /*
1172 * O_RDWR
1173 * POSIX.1 leaves this case "undefined" when O_NONBLOCK is set.
1174 * This implementation will NEVER block on a O_RDWR open, since
1175 * the process can at least talk to itself.
1176 */
Al Virof776c732013-03-12 09:46:27 -04001177
1178 pipe->readers++;
1179 pipe->writers++;
1180 pipe->r_counter++;
1181 pipe->w_counter++;
1182 if (pipe->readers == 1 || pipe->writers == 1)
Al Virofc7478a2013-03-21 02:07:59 -04001183 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001184 break;
1185
1186 default:
1187 ret = -EINVAL;
1188 goto err;
1189 }
1190
1191 /* Ok! */
Al Viroebec73f2013-03-21 12:24:01 -04001192 __pipe_unlock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001193 return 0;
1194
1195err_rd:
1196 if (!--pipe->readers)
Linus Torvalds0ddad212019-12-09 09:48:27 -08001197 wake_up_interruptible(&pipe->wr_wait);
Al Virof776c732013-03-12 09:46:27 -04001198 ret = -ERESTARTSYS;
1199 goto err;
1200
1201err_wr:
1202 if (!--pipe->writers)
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001203 wake_up_interruptible_all(&pipe->rd_wait);
Al Virof776c732013-03-12 09:46:27 -04001204 ret = -ERESTARTSYS;
1205 goto err;
1206
1207err:
Al Viroebec73f2013-03-21 12:24:01 -04001208 __pipe_unlock(pipe);
Linus Torvaldsb0d8d222013-12-02 09:44:51 -08001209
1210 put_pipe_info(inode, pipe);
Al Virof776c732013-03-12 09:46:27 -04001211 return ret;
1212}
1213
Al Viro599a0ac2013-03-12 09:58:10 -04001214const struct file_operations pipefifo_fops = {
1215 .open = fifo_open,
1216 .llseek = no_llseek,
Al Virofb9096a2014-04-02 19:56:54 -04001217 .read_iter = pipe_read,
Al Virof0d1bec2014-04-03 15:05:18 -04001218 .write_iter = pipe_write,
Linus Torvaldsa11e1d42018-06-28 09:43:44 -07001219 .poll = pipe_poll,
Al Viro599a0ac2013-03-12 09:58:10 -04001220 .unlocked_ioctl = pipe_ioctl,
1221 .release = pipe_release,
1222 .fasync = pipe_fasync,
Johannes Berge8572712021-01-25 10:16:15 +01001223 .splice_write = iter_file_splice_write,
Al Virof776c732013-03-12 09:46:27 -04001224};
1225
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001226/*
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001227 * Currently we rely on the pipe array holding a power-of-2 number
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001228 * of pages. Returns 0 on error.
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001229 */
Eric Biggers96e99be402018-02-06 15:42:00 -08001230unsigned int round_pipe_size(unsigned long size)
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001231{
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001232 if (size > (1U << 31))
Eric Biggers96e99be402018-02-06 15:42:00 -08001233 return 0;
1234
Eric Biggers4c2e4be2018-02-06 15:41:45 -08001235 /* Minimum pipe size, as required by POSIX */
1236 if (size < PAGE_SIZE)
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001237 return PAGE_SIZE;
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001238
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001239 return roundup_pow_of_two(size);
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001240}
1241
1242/*
David Howellsc73be612020-01-14 17:07:11 +00001243 * Resize the pipe ring to a number of slots.
Jens Axboe35f3d142010-05-20 10:43:18 +02001244 */
David Howellsc73be612020-01-14 17:07:11 +00001245int pipe_resize_ring(struct pipe_inode_info *pipe, unsigned int nr_slots)
Jens Axboe35f3d142010-05-20 10:43:18 +02001246{
1247 struct pipe_buffer *bufs;
David Howellsc73be612020-01-14 17:07:11 +00001248 unsigned int head, tail, mask, n;
Jens Axboe35f3d142010-05-20 10:43:18 +02001249
1250 /*
David Howells8cefc102019-11-15 13:30:32 +00001251 * We can shrink the pipe, if arg is greater than the ring occupancy.
1252 * Since we don't expect a lot of shrink+grow operations, just free and
1253 * allocate again like we would do for growing. If the pipe currently
Jens Axboe35f3d142010-05-20 10:43:18 +02001254 * contains more buffers than arg, then return busy.
1255 */
David Howells8cefc102019-11-15 13:30:32 +00001256 mask = pipe->ring_size - 1;
1257 head = pipe->head;
1258 tail = pipe->tail;
1259 n = pipe_occupancy(pipe->head, pipe->tail);
David Howellsc73be612020-01-14 17:07:11 +00001260 if (nr_slots < n)
1261 return -EBUSY;
Jens Axboe35f3d142010-05-20 10:43:18 +02001262
David Howells8cefc102019-11-15 13:30:32 +00001263 bufs = kcalloc(nr_slots, sizeof(*bufs),
Vladimir Davydovd86133b2016-07-26 15:24:33 -07001264 GFP_KERNEL_ACCOUNT | __GFP_NOWARN);
David Howellsc73be612020-01-14 17:07:11 +00001265 if (unlikely(!bufs))
1266 return -ENOMEM;
Jens Axboe35f3d142010-05-20 10:43:18 +02001267
1268 /*
1269 * The pipe array wraps around, so just start the new one at zero
David Howells8cefc102019-11-15 13:30:32 +00001270 * and adjust the indices.
Jens Axboe35f3d142010-05-20 10:43:18 +02001271 */
David Howells8cefc102019-11-15 13:30:32 +00001272 if (n > 0) {
1273 unsigned int h = head & mask;
1274 unsigned int t = tail & mask;
1275 if (h > t) {
1276 memcpy(bufs, pipe->bufs + t,
1277 n * sizeof(struct pipe_buffer));
1278 } else {
1279 unsigned int tsize = pipe->ring_size - t;
1280 if (h > 0)
1281 memcpy(bufs + tsize, pipe->bufs,
1282 h * sizeof(struct pipe_buffer));
1283 memcpy(bufs, pipe->bufs + t,
1284 tsize * sizeof(struct pipe_buffer));
1285 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001286 }
1287
David Howells8cefc102019-11-15 13:30:32 +00001288 head = n;
1289 tail = 0;
1290
Jens Axboe35f3d142010-05-20 10:43:18 +02001291 kfree(pipe->bufs);
1292 pipe->bufs = bufs;
David Howells8cefc102019-11-15 13:30:32 +00001293 pipe->ring_size = nr_slots;
David Howellsc73be612020-01-14 17:07:11 +00001294 if (pipe->max_usage > nr_slots)
1295 pipe->max_usage = nr_slots;
David Howells8cefc102019-11-15 13:30:32 +00001296 pipe->tail = tail;
1297 pipe->head = head;
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001298
1299 /* This might have made more room for writers */
1300 wake_up_interruptible(&pipe->wr_wait);
David Howellsc73be612020-01-14 17:07:11 +00001301 return 0;
1302}
1303
1304/*
1305 * Allocate a new array of pipe buffers and copy the info over. Returns the
1306 * pipe size if successful, or return -ERROR on error.
1307 */
1308static long pipe_set_size(struct pipe_inode_info *pipe, unsigned long arg)
1309{
1310 unsigned long user_bufs;
1311 unsigned int nr_slots, size;
1312 long ret = 0;
1313
1314#ifdef CONFIG_WATCH_QUEUE
1315 if (pipe->watch_queue)
1316 return -EBUSY;
1317#endif
1318
1319 size = round_pipe_size(arg);
1320 nr_slots = size >> PAGE_SHIFT;
1321
1322 if (!nr_slots)
1323 return -EINVAL;
1324
1325 /*
1326 * If trying to increase the pipe capacity, check that an
1327 * unprivileged user is not trying to exceed various limits
1328 * (soft limit check here, hard limit check just below).
1329 * Decreasing the pipe capacity is always permitted, even
1330 * if the user is currently over a limit.
1331 */
1332 if (nr_slots > pipe->max_usage &&
1333 size > pipe_max_size && !capable(CAP_SYS_RESOURCE))
1334 return -EPERM;
1335
1336 user_bufs = account_pipe_buffers(pipe->user, pipe->nr_accounted, nr_slots);
1337
1338 if (nr_slots > pipe->max_usage &&
1339 (too_many_pipe_buffers_hard(user_bufs) ||
1340 too_many_pipe_buffers_soft(user_bufs)) &&
1341 pipe_is_unprivileged_user()) {
1342 ret = -EPERM;
1343 goto out_revert_acct;
1344 }
1345
1346 ret = pipe_resize_ring(pipe, nr_slots);
1347 if (ret < 0)
1348 goto out_revert_acct;
1349
1350 pipe->max_usage = nr_slots;
1351 pipe->nr_accounted = nr_slots;
David Howells6718b6f2019-10-16 16:47:32 +01001352 return pipe->max_usage * PAGE_SIZE;
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001353
1354out_revert_acct:
David Howellsc73be612020-01-14 17:07:11 +00001355 (void) account_pipe_buffers(pipe->user, nr_slots, pipe->nr_accounted);
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001356 return ret;
Jens Axboe35f3d142010-05-20 10:43:18 +02001357}
1358
Jens Axboeff9da692010-06-03 14:54:39 +02001359/*
Linus Torvalds72083642010-11-28 16:27:19 -08001360 * After the inode slimming patch, i_pipe/i_bdev/i_cdev share the same
1361 * location, so checking ->i_pipe is not enough to verify that this is a
1362 * pipe.
1363 */
David Howellsc73be612020-01-14 17:07:11 +00001364struct pipe_inode_info *get_pipe_info(struct file *file, bool for_splice)
Linus Torvalds72083642010-11-28 16:27:19 -08001365{
David Howellsc73be612020-01-14 17:07:11 +00001366 struct pipe_inode_info *pipe = file->private_data;
1367
1368 if (file->f_op != &pipefifo_fops || !pipe)
1369 return NULL;
1370#ifdef CONFIG_WATCH_QUEUE
1371 if (for_splice && pipe->watch_queue)
1372 return NULL;
1373#endif
1374 return pipe;
Linus Torvalds72083642010-11-28 16:27:19 -08001375}
1376
Jens Axboe35f3d142010-05-20 10:43:18 +02001377long pipe_fcntl(struct file *file, unsigned int cmd, unsigned long arg)
1378{
1379 struct pipe_inode_info *pipe;
1380 long ret;
1381
David Howellsc73be612020-01-14 17:07:11 +00001382 pipe = get_pipe_info(file, false);
Jens Axboe35f3d142010-05-20 10:43:18 +02001383 if (!pipe)
1384 return -EBADF;
1385
Al Viroebec73f2013-03-21 12:24:01 -04001386 __pipe_lock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001387
1388 switch (cmd) {
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001389 case F_SETPIPE_SZ:
1390 ret = pipe_set_size(pipe, arg);
Jens Axboe35f3d142010-05-20 10:43:18 +02001391 break;
1392 case F_GETPIPE_SZ:
David Howells6718b6f2019-10-16 16:47:32 +01001393 ret = pipe->max_usage * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001394 break;
1395 default:
1396 ret = -EINVAL;
1397 break;
1398 }
1399
Al Viroebec73f2013-03-21 12:24:01 -04001400 __pipe_unlock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001401 return ret;
1402}
1403
Nick Pigginff0c7d12011-01-07 17:49:50 +11001404static const struct super_operations pipefs_ops = {
1405 .destroy_inode = free_inode_nonrcu,
Pavel Emelyanovd70ef972011-10-31 17:10:04 -07001406 .statfs = simple_statfs,
Nick Pigginff0c7d12011-01-07 17:49:50 +11001407};
1408
Jens Axboe35f3d142010-05-20 10:43:18 +02001409/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001410 * pipefs should _never_ be mounted by userland - too much of security hassle,
1411 * no real gain from having the whole whorehouse mounted. So we don't need
1412 * any operations on the root directory. However, we need a non-trivial
1413 * d_name - pipe: will go nicely and kill the special-casing in procfs.
1414 */
David Howells4fa7ec52019-03-25 16:38:23 +00001415
1416static int pipefs_init_fs_context(struct fs_context *fc)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001417{
David Howells4fa7ec52019-03-25 16:38:23 +00001418 struct pseudo_fs_context *ctx = init_pseudo(fc, PIPEFS_MAGIC);
1419 if (!ctx)
1420 return -ENOMEM;
1421 ctx->ops = &pipefs_ops;
1422 ctx->dops = &pipefs_dentry_operations;
1423 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001424}
1425
1426static struct file_system_type pipe_fs_type = {
1427 .name = "pipefs",
David Howells4fa7ec52019-03-25 16:38:23 +00001428 .init_fs_context = pipefs_init_fs_context,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001429 .kill_sb = kill_anon_super,
1430};
1431
1432static int __init init_pipe_fs(void)
1433{
1434 int err = register_filesystem(&pipe_fs_type);
Ingo Molnar341b4462006-04-11 13:57:45 +02001435
Linus Torvalds1da177e2005-04-16 15:20:36 -07001436 if (!err) {
1437 pipe_mnt = kern_mount(&pipe_fs_type);
1438 if (IS_ERR(pipe_mnt)) {
1439 err = PTR_ERR(pipe_mnt);
1440 unregister_filesystem(&pipe_fs_type);
1441 }
1442 }
1443 return err;
1444}
1445
Linus Torvalds1da177e2005-04-16 15:20:36 -07001446fs_initcall(init_pipe_fs);