blob: c7c4fb5f345f3ec0e49071f0657c66cf452303d6 [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>
Linus Torvalds1da177e2005-04-16 15:20:36 -070027
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080028#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070029#include <asm/ioctls.h>
30
Al Viro599a0ac2013-03-12 09:58:10 -040031#include "internal.h"
32
Linus Torvalds1da177e2005-04-16 15:20:36 -070033/*
Jens Axboeb492e952010-05-19 21:03:16 +020034 * The max size that a non-root user is allowed to grow the pipe. Can
Jens Axboeff9da692010-06-03 14:54:39 +020035 * be set by root in /proc/sys/fs/pipe-max-size
Jens Axboeb492e952010-05-19 21:03:16 +020036 */
Jens Axboeff9da692010-06-03 14:54:39 +020037unsigned int pipe_max_size = 1048576;
38
Willy Tarreau759c0112016-01-18 16:36:09 +010039/* Maximum allocatable pages per user. Hard limit is unset by default, soft
40 * matches default values.
41 */
42unsigned long pipe_user_pages_hard;
43unsigned long pipe_user_pages_soft = PIPE_DEF_BUFFERS * INR_OPEN_CUR;
44
Jens Axboeb492e952010-05-19 21:03:16 +020045/*
David Howells8cefc102019-11-15 13:30:32 +000046 * We use head and tail indices that aren't masked off, except at the point of
47 * dereference, but rather they're allowed to wrap naturally. This means there
48 * isn't a dead spot in the buffer, but the ring has to be a power of two and
49 * <= 2^31.
50 * -- David Howells 2019-09-23.
51 *
Linus Torvalds1da177e2005-04-16 15:20:36 -070052 * Reads with count = 0 should always return 0.
53 * -- Julian Bradfield 1999-06-07.
54 *
55 * FIFOs and Pipes now generate SIGIO for both readers and writers.
56 * -- Jeremy Elson <jelson@circlemud.org> 2001-08-16
57 *
58 * pipe_read & write cleanup
59 * -- Manfred Spraul <manfred@colorfullife.com> 2002-05-09
60 */
61
Miklos Szeredi61e0d472009-04-14 19:48:41 +020062static void pipe_lock_nested(struct pipe_inode_info *pipe, int subclass)
63{
Al Viro6447a3c2013-03-21 11:01:38 -040064 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040065 mutex_lock_nested(&pipe->mutex, subclass);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020066}
67
68void pipe_lock(struct pipe_inode_info *pipe)
69{
70 /*
71 * pipe_lock() nests non-pipe inode locks (for writing to a file)
72 */
73 pipe_lock_nested(pipe, I_MUTEX_PARENT);
74}
75EXPORT_SYMBOL(pipe_lock);
76
77void pipe_unlock(struct pipe_inode_info *pipe)
78{
Al Viro6447a3c2013-03-21 11:01:38 -040079 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040080 mutex_unlock(&pipe->mutex);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020081}
82EXPORT_SYMBOL(pipe_unlock);
83
Al Viroebec73f2013-03-21 12:24:01 -040084static inline void __pipe_lock(struct pipe_inode_info *pipe)
85{
86 mutex_lock_nested(&pipe->mutex, I_MUTEX_PARENT);
87}
88
89static inline void __pipe_unlock(struct pipe_inode_info *pipe)
90{
91 mutex_unlock(&pipe->mutex);
92}
93
Miklos Szeredi61e0d472009-04-14 19:48:41 +020094void pipe_double_lock(struct pipe_inode_info *pipe1,
95 struct pipe_inode_info *pipe2)
96{
97 BUG_ON(pipe1 == pipe2);
98
99 if (pipe1 < pipe2) {
100 pipe_lock_nested(pipe1, I_MUTEX_PARENT);
101 pipe_lock_nested(pipe2, I_MUTEX_CHILD);
102 } else {
Peter Zijlstra023d43c2009-07-21 10:09:23 +0200103 pipe_lock_nested(pipe2, I_MUTEX_PARENT);
104 pipe_lock_nested(pipe1, I_MUTEX_CHILD);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200105 }
106}
107
Linus Torvalds1da177e2005-04-16 15:20:36 -0700108/* Drop the inode semaphore and wait for a pipe event, atomically */
Ingo Molnar3a326a22006-04-10 15:18:35 +0200109void pipe_wait(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700110{
Linus Torvalds0ddad212019-12-09 09:48:27 -0800111 DEFINE_WAIT(rdwait);
112 DEFINE_WAIT(wrwait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700113
Ingo Molnard79fc0f2005-09-10 00:26:12 -0700114 /*
115 * Pipes are system-local resources, so sleeping on them
116 * is considered a noninteractive wait:
117 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800118 prepare_to_wait(&pipe->rd_wait, &rdwait, TASK_INTERRUPTIBLE);
119 prepare_to_wait(&pipe->wr_wait, &wrwait, TASK_INTERRUPTIBLE);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200120 pipe_unlock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700121 schedule();
Linus Torvalds0ddad212019-12-09 09:48:27 -0800122 finish_wait(&pipe->rd_wait, &rdwait);
123 finish_wait(&pipe->wr_wait, &wrwait);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200124 pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700125}
126
Ingo Molnar341b4462006-04-11 13:57:45 +0200127static void anon_pipe_buf_release(struct pipe_inode_info *pipe,
128 struct pipe_buffer *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700129{
130 struct page *page = buf->page;
131
Jens Axboe5274f052006-03-30 15:15:30 +0200132 /*
133 * If nobody else uses this page, and we don't already have a
134 * temporary page, let's keep track of it as a one-deep
Ingo Molnar341b4462006-04-11 13:57:45 +0200135 * allocation cache. (Otherwise just release our reference to it)
Jens Axboe5274f052006-03-30 15:15:30 +0200136 */
Ingo Molnar341b4462006-04-11 13:57:45 +0200137 if (page_count(page) == 1 && !pipe->tmp_page)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200138 pipe->tmp_page = page;
Ingo Molnar341b4462006-04-11 13:57:45 +0200139 else
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300140 put_page(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700141}
142
Christoph Hellwigc928f642020-05-20 17:58:16 +0200143static bool anon_pipe_buf_try_steal(struct pipe_inode_info *pipe,
144 struct pipe_buffer *buf)
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700145{
146 struct page *page = buf->page;
147
Christoph Hellwigc928f642020-05-20 17:58:16 +0200148 if (page_count(page) != 1)
149 return false;
150 memcg_kmem_uncharge_page(page, 0);
151 __SetPageLocked(page);
152 return true;
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700153}
154
Jens Axboe08457182007-06-12 20:51:32 +0200155/**
Christoph Hellwigc928f642020-05-20 17:58:16 +0200156 * generic_pipe_buf_try_steal - attempt to take ownership of a &pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200157 * @pipe: the pipe that the buffer belongs to
158 * @buf: the buffer to attempt to steal
159 *
160 * Description:
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800161 * This function attempts to steal the &struct page attached to
Jens Axboe08457182007-06-12 20:51:32 +0200162 * @buf. If successful, this function returns 0 and returns with
163 * the page locked. The caller may then reuse the page for whatever
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800164 * he wishes; the typical use is insertion into a different file
Jens Axboe08457182007-06-12 20:51:32 +0200165 * page cache.
166 */
Christoph Hellwigc928f642020-05-20 17:58:16 +0200167bool generic_pipe_buf_try_steal(struct pipe_inode_info *pipe,
168 struct pipe_buffer *buf)
Jens Axboe5abc97a2006-03-30 15:16:46 +0200169{
Jens Axboe46e678c2006-04-30 16:36:32 +0200170 struct page *page = buf->page;
171
Jens Axboe08457182007-06-12 20:51:32 +0200172 /*
173 * A reference of one is golden, that means that the owner of this
174 * page is the only one holding a reference to it. lock the page
175 * and return OK.
176 */
Jens Axboe46e678c2006-04-30 16:36:32 +0200177 if (page_count(page) == 1) {
Jens Axboe46e678c2006-04-30 16:36:32 +0200178 lock_page(page);
Christoph Hellwigc928f642020-05-20 17:58:16 +0200179 return true;
Jens Axboe46e678c2006-04-30 16:36:32 +0200180 }
Christoph Hellwigc928f642020-05-20 17:58:16 +0200181 return false;
Jens Axboe5abc97a2006-03-30 15:16:46 +0200182}
Christoph Hellwigc928f642020-05-20 17:58:16 +0200183EXPORT_SYMBOL(generic_pipe_buf_try_steal);
Jens Axboe5abc97a2006-03-30 15:16:46 +0200184
Jens Axboe08457182007-06-12 20:51:32 +0200185/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800186 * generic_pipe_buf_get - get a reference to a &struct pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200187 * @pipe: the pipe that the buffer belongs to
188 * @buf: the buffer to get a reference to
189 *
190 * Description:
191 * This function grabs an extra reference to @buf. It's used in
192 * in the tee() system call, when we duplicate the buffers in one
193 * pipe into another.
194 */
Matthew Wilcox15fab632019-04-05 14:02:10 -0700195bool generic_pipe_buf_get(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
Jens Axboe70524492006-04-11 15:51:17 +0200196{
Matthew Wilcox15fab632019-04-05 14:02:10 -0700197 return try_get_page(buf->page);
Jens Axboe70524492006-04-11 15:51:17 +0200198}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200199EXPORT_SYMBOL(generic_pipe_buf_get);
Jens Axboe70524492006-04-11 15:51:17 +0200200
Jens Axboe08457182007-06-12 20:51:32 +0200201/**
Miklos Szeredi68181732009-05-07 15:37:36 +0200202 * generic_pipe_buf_release - put a reference to a &struct pipe_buffer
203 * @pipe: the pipe that the buffer belongs to
204 * @buf: the buffer to put a reference to
205 *
206 * Description:
207 * This function releases a reference to @buf.
208 */
209void generic_pipe_buf_release(struct pipe_inode_info *pipe,
210 struct pipe_buffer *buf)
211{
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300212 put_page(buf->page);
Miklos Szeredi68181732009-05-07 15:37:36 +0200213}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200214EXPORT_SYMBOL(generic_pipe_buf_release);
Miklos Szeredi68181732009-05-07 15:37:36 +0200215
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800216static const struct pipe_buf_operations anon_pipe_buf_ops = {
Christoph Hellwigc928f642020-05-20 17:58:16 +0200217 .release = anon_pipe_buf_release,
218 .try_steal = anon_pipe_buf_try_steal,
219 .get = generic_pipe_buf_get,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700220};
221
Linus Torvalds85190d12019-12-07 13:53:09 -0800222/* Done while waiting without holding the pipe lock - thus the READ_ONCE() */
223static inline bool pipe_readable(const struct pipe_inode_info *pipe)
224{
225 unsigned int head = READ_ONCE(pipe->head);
226 unsigned int tail = READ_ONCE(pipe->tail);
227 unsigned int writers = READ_ONCE(pipe->writers);
228
229 return !pipe_empty(head, tail) || !writers;
230}
231
Linus Torvalds1da177e2005-04-16 15:20:36 -0700232static ssize_t
Al Virofb9096a2014-04-02 19:56:54 -0400233pipe_read(struct kiocb *iocb, struct iov_iter *to)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700234{
Al Virofb9096a2014-04-02 19:56:54 -0400235 size_t total_len = iov_iter_count(to);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700236 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400237 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800238 bool was_full, wake_next_reader = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700239 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240
Linus Torvalds1da177e2005-04-16 15:20:36 -0700241 /* Null read succeeds. */
242 if (unlikely(total_len == 0))
243 return 0;
244
Linus Torvalds1da177e2005-04-16 15:20:36 -0700245 ret = 0;
Al Viroebec73f2013-03-21 12:24:01 -0400246 __pipe_lock(pipe);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800247
248 /*
249 * We only wake up writers if the pipe was full when we started
250 * reading in order to avoid unnecessary wakeups.
251 *
252 * But when we do wake up writers, we do so using a sync wakeup
253 * (WF_SYNC), because we want them to get going and generate more
254 * data for us.
255 */
256 was_full = pipe_full(pipe->head, pipe->tail, pipe->max_usage);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700257 for (;;) {
David Howells8cefc102019-11-15 13:30:32 +0000258 unsigned int head = pipe->head;
259 unsigned int tail = pipe->tail;
260 unsigned int mask = pipe->ring_size - 1;
261
262 if (!pipe_empty(head, tail)) {
263 struct pipe_buffer *buf = &pipe->bufs[tail & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700264 size_t chars = buf->len;
Al Viro637b58c2014-02-03 19:11:42 -0500265 size_t written;
266 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700267
268 if (chars > total_len)
269 chars = total_len;
270
Miklos Szeredifba597d2016-09-27 10:45:12 +0200271 error = pipe_buf_confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200272 if (error) {
Jens Axboe5274f052006-03-30 15:15:30 +0200273 if (!ret)
Nicolas Kaisere5953cb2010-10-21 14:56:00 +0200274 ret = error;
Jens Axboe5274f052006-03-30 15:15:30 +0200275 break;
276 }
Jens Axboef84d7512006-05-01 19:59:03 +0200277
Al Virofb9096a2014-04-02 19:56:54 -0400278 written = copy_page_to_iter(buf->page, buf->offset, chars, to);
Al Viro637b58c2014-02-03 19:11:42 -0500279 if (unlikely(written < chars)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200280 if (!ret)
Al Viro637b58c2014-02-03 19:11:42 -0500281 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700282 break;
283 }
284 ret += chars;
285 buf->offset += chars;
286 buf->len -= chars;
Linus Torvalds98830352012-04-29 13:12:42 -0700287
288 /* Was it a packet buffer? Clean up and exit */
289 if (buf->flags & PIPE_BUF_FLAG_PACKET) {
290 total_len = chars;
291 buf->len = 0;
292 }
293
Linus Torvalds1da177e2005-04-16 15:20:36 -0700294 if (!buf->len) {
Miklos Szeredia7796382016-09-27 10:45:12 +0200295 pipe_buf_release(pipe, buf);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800296 spin_lock_irq(&pipe->rd_wait.lock);
David Howells8cefc102019-11-15 13:30:32 +0000297 tail++;
298 pipe->tail = tail;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800299 spin_unlock_irq(&pipe->rd_wait.lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700300 }
301 total_len -= chars;
302 if (!total_len)
303 break; /* common path: read succeeded */
David Howells8cefc102019-11-15 13:30:32 +0000304 if (!pipe_empty(head, tail)) /* More to do? */
305 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306 }
David Howells8cefc102019-11-15 13:30:32 +0000307
Ingo Molnar923f4f22006-04-11 13:53:33 +0200308 if (!pipe->writers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700309 break;
Linus Torvaldsa28c8b92019-12-07 13:21:01 -0800310 if (ret)
311 break;
312 if (filp->f_flags & O_NONBLOCK) {
313 ret = -EAGAIN;
314 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700315 }
Linus Torvalds85190d12019-12-07 13:53:09 -0800316 __pipe_unlock(pipe);
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800317
318 /*
319 * We only get here if we didn't actually read anything.
320 *
321 * However, we could have seen (and removed) a zero-sized
322 * pipe buffer, and might have made space in the buffers
323 * that way.
324 *
325 * You can't make zero-sized pipe buffers by doing an empty
326 * write (not even in packet mode), but they can happen if
327 * the writer gets an EFAULT when trying to fill a buffer
328 * that already got allocated and inserted in the buffer
329 * array.
330 *
331 * So we still need to wake up any pending writers in the
332 * _very_ unlikely case that the pipe was full, but we got
333 * no data.
334 */
335 if (unlikely(was_full)) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800336 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800337 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
338 }
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800339
340 /*
341 * But because we didn't read anything, at this point we can
342 * just return directly with -ERESTARTSYS if we're interrupted,
343 * since we've done any required wakeups and there's no need
344 * to mark anything accessed. And we've dropped the lock.
345 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800346 if (wait_event_interruptible_exclusive(pipe->rd_wait, pipe_readable(pipe)) < 0)
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800347 return -ERESTARTSYS;
348
Linus Torvalds85190d12019-12-07 13:53:09 -0800349 __pipe_lock(pipe);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800350 was_full = pipe_full(pipe->head, pipe->tail, pipe->max_usage);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800351 wake_next_reader = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700352 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800353 if (pipe_empty(pipe->head, pipe->tail))
354 wake_next_reader = false;
Al Viroebec73f2013-03-21 12:24:01 -0400355 __pipe_unlock(pipe);
Ingo Molnar341b4462006-04-11 13:57:45 +0200356
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800357 if (was_full) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800358 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200359 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700360 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800361 if (wake_next_reader)
362 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700363 if (ret > 0)
364 file_accessed(filp);
365 return ret;
366}
367
Linus Torvalds98830352012-04-29 13:12:42 -0700368static inline int is_packetized(struct file *file)
369{
370 return (file->f_flags & O_DIRECT) != 0;
371}
372
Linus Torvalds85190d12019-12-07 13:53:09 -0800373/* Done while waiting without holding the pipe lock - thus the READ_ONCE() */
374static inline bool pipe_writable(const struct pipe_inode_info *pipe)
375{
376 unsigned int head = READ_ONCE(pipe->head);
377 unsigned int tail = READ_ONCE(pipe->tail);
378 unsigned int max_usage = READ_ONCE(pipe->max_usage);
379
380 return !pipe_full(head, tail, max_usage) ||
381 !READ_ONCE(pipe->readers);
382}
383
Linus Torvalds1da177e2005-04-16 15:20:36 -0700384static ssize_t
Al Virof0d1bec2014-04-03 15:05:18 -0400385pipe_write(struct kiocb *iocb, struct iov_iter *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700386{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700387 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400388 struct pipe_inode_info *pipe = filp->private_data;
David Howells8f868d62019-12-05 22:30:37 +0000389 unsigned int head;
Al Virof0d1bec2014-04-03 15:05:18 -0400390 ssize_t ret = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400391 size_t total_len = iov_iter_count(from);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700392 ssize_t chars;
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800393 bool was_empty = false;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800394 bool wake_next_writer = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700395
Linus Torvalds1da177e2005-04-16 15:20:36 -0700396 /* Null write succeeds. */
397 if (unlikely(total_len == 0))
398 return 0;
399
Al Viroebec73f2013-03-21 12:24:01 -0400400 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700401
Ingo Molnar923f4f22006-04-11 13:53:33 +0200402 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700403 send_sig(SIGPIPE, current, 0);
404 ret = -EPIPE;
405 goto out;
406 }
407
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800408 /*
409 * Only wake up if the pipe started out empty, since
410 * otherwise there should be no readers waiting.
411 *
412 * If it wasn't empty we try to merge new data into
413 * the last buffer.
414 *
415 * That naturally merges small writes, but it also
416 * page-aligs the rest of the writes for large writes
417 * spanning multiple pages.
418 */
David Howells8cefc102019-11-15 13:30:32 +0000419 head = pipe->head;
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800420 was_empty = pipe_empty(head, pipe->tail);
421 chars = total_len & (PAGE_SIZE-1);
422 if (chars && !was_empty) {
David Howells8f868d62019-12-05 22:30:37 +0000423 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000424 struct pipe_buffer *buf = &pipe->bufs[(head - 1) & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700425 int offset = buf->offset + buf->len;
Ingo Molnar341b4462006-04-11 13:57:45 +0200426
Christoph Hellwigf6dd9752020-05-20 17:58:12 +0200427 if ((buf->flags & PIPE_BUF_FLAG_CAN_MERGE) &&
428 offset + chars <= PAGE_SIZE) {
Miklos Szeredifba597d2016-09-27 10:45:12 +0200429 ret = pipe_buf_confirm(pipe, buf);
Eric Biggers6ae08062015-10-17 16:26:09 -0500430 if (ret)
Jens Axboe5274f052006-03-30 15:15:30 +0200431 goto out;
Jens Axboef84d7512006-05-01 19:59:03 +0200432
Al Virof0d1bec2014-04-03 15:05:18 -0400433 ret = copy_page_from_iter(buf->page, offset, chars, from);
434 if (unlikely(ret < chars)) {
Eric Biggers6ae08062015-10-17 16:26:09 -0500435 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700436 goto out;
Jens Axboef6762b72006-05-01 20:02:05 +0200437 }
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800438
Eric Biggers6ae08062015-10-17 16:26:09 -0500439 buf->len += ret;
Al Virof0d1bec2014-04-03 15:05:18 -0400440 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700441 goto out;
442 }
443 }
444
445 for (;;) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200446 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700447 send_sig(SIGPIPE, current, 0);
Ingo Molnar341b4462006-04-11 13:57:45 +0200448 if (!ret)
449 ret = -EPIPE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700450 break;
451 }
David Howells8cefc102019-11-15 13:30:32 +0000452
David Howellsa194dfe2019-09-20 16:32:19 +0100453 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000454 if (!pipe_full(head, pipe->tail, pipe->max_usage)) {
455 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000456 struct pipe_buffer *buf = &pipe->bufs[head & mask];
Ingo Molnar923f4f22006-04-11 13:53:33 +0200457 struct page *page = pipe->tmp_page;
Al Virof0d1bec2014-04-03 15:05:18 -0400458 int copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700459
460 if (!page) {
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700461 page = alloc_page(GFP_HIGHUSER | __GFP_ACCOUNT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700462 if (unlikely(!page)) {
463 ret = ret ? : -ENOMEM;
464 break;
465 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200466 pipe->tmp_page = page;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700467 }
David Howellsa194dfe2019-09-20 16:32:19 +0100468
469 /* Allocate a slot in the ring in advance and attach an
470 * empty buffer. If we fault or otherwise fail to use
471 * it, either the reader will consume it or it'll still
472 * be there for the next write.
473 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800474 spin_lock_irq(&pipe->rd_wait.lock);
David Howellsa194dfe2019-09-20 16:32:19 +0100475
476 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000477 if (pipe_full(head, pipe->tail, pipe->max_usage)) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800478 spin_unlock_irq(&pipe->rd_wait.lock);
David Howells8df44122019-10-07 16:30:51 +0100479 continue;
480 }
481
David Howellsa194dfe2019-09-20 16:32:19 +0100482 pipe->head = head + 1;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800483 spin_unlock_irq(&pipe->rd_wait.lock);
David Howellsa194dfe2019-09-20 16:32:19 +0100484
485 /* Insert it into the buffer array */
486 buf = &pipe->bufs[head & mask];
487 buf->page = page;
488 buf->ops = &anon_pipe_buf_ops;
489 buf->offset = 0;
490 buf->len = 0;
Christoph Hellwigf6dd9752020-05-20 17:58:12 +0200491 if (is_packetized(filp))
David Howellsa194dfe2019-09-20 16:32:19 +0100492 buf->flags = PIPE_BUF_FLAG_PACKET;
Christoph Hellwigf6dd9752020-05-20 17:58:12 +0200493 else
494 buf->flags = PIPE_BUF_FLAG_CAN_MERGE;
David Howellsa194dfe2019-09-20 16:32:19 +0100495 pipe->tmp_page = NULL;
496
Al Virof0d1bec2014-04-03 15:05:18 -0400497 copied = copy_page_from_iter(page, 0, PAGE_SIZE, from);
498 if (unlikely(copied < PAGE_SIZE && iov_iter_count(from))) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200499 if (!ret)
Al Virof0d1bec2014-04-03 15:05:18 -0400500 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700501 break;
502 }
Al Virof0d1bec2014-04-03 15:05:18 -0400503 ret += copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700504 buf->offset = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400505 buf->len = copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700506
Al Virof0d1bec2014-04-03 15:05:18 -0400507 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700508 break;
509 }
David Howells8cefc102019-11-15 13:30:32 +0000510
David Howells8f868d62019-12-05 22:30:37 +0000511 if (!pipe_full(head, pipe->tail, pipe->max_usage))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700512 continue;
David Howells8cefc102019-11-15 13:30:32 +0000513
514 /* Wait for buffer space to become available. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700515 if (filp->f_flags & O_NONBLOCK) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200516 if (!ret)
517 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700518 break;
519 }
520 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200521 if (!ret)
522 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700523 break;
524 }
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800525
526 /*
527 * We're going to release the pipe lock and wait for more
528 * space. We wake up any readers if necessary, and then
529 * after waiting we need to re-check whether the pipe
530 * become empty while we dropped the lock.
531 */
Linus Torvalds85190d12019-12-07 13:53:09 -0800532 __pipe_unlock(pipe);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800533 if (was_empty) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800534 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800535 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
536 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800537 wait_event_interruptible_exclusive(pipe->wr_wait, pipe_writable(pipe));
Linus Torvalds85190d12019-12-07 13:53:09 -0800538 __pipe_lock(pipe);
Jan Stancek0dd1e372019-12-22 13:33:24 +0100539 was_empty = pipe_empty(pipe->head, pipe->tail);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800540 wake_next_writer = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700541 }
542out:
Linus Torvalds0ddad212019-12-09 09:48:27 -0800543 if (pipe_full(pipe->head, pipe->tail, pipe->max_usage))
544 wake_next_writer = false;
Al Viroebec73f2013-03-21 12:24:01 -0400545 __pipe_unlock(pipe);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800546
547 /*
548 * If we do do a wakeup event, we do a 'sync' wakeup, because we
549 * want the reader to start processing things asap, rather than
550 * leave the data pending.
551 *
552 * This is particularly important for small writes, because of
553 * how (for example) the GNU make jobserver uses small writes to
554 * wake up pending jobs
555 */
556 if (was_empty) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800557 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200558 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700559 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800560 if (wake_next_writer)
561 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800562 if (ret > 0 && sb_start_write_trylock(file_inode(filp)->i_sb)) {
Josef Bacikc3b2da32012-03-26 09:59:21 -0400563 int err = file_update_time(filp);
564 if (err)
565 ret = err;
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800566 sb_end_write(file_inode(filp)->i_sb);
Josef Bacikc3b2da32012-03-26 09:59:21 -0400567 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700568 return ret;
569}
570
Andi Kleend59d0b12008-02-08 04:21:23 -0800571static long pipe_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700572{
Al Virode32ec42013-03-21 11:16:56 -0400573 struct pipe_inode_info *pipe = filp->private_data;
David Howells8cefc102019-11-15 13:30:32 +0000574 int count, head, tail, mask;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700575
576 switch (cmd) {
577 case FIONREAD:
Al Viroebec73f2013-03-21 12:24:01 -0400578 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579 count = 0;
David Howells8cefc102019-11-15 13:30:32 +0000580 head = pipe->head;
581 tail = pipe->tail;
582 mask = pipe->ring_size - 1;
583
584 while (tail != head) {
585 count += pipe->bufs[tail & mask].len;
586 tail++;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700587 }
Al Viroebec73f2013-03-21 12:24:01 -0400588 __pipe_unlock(pipe);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200589
Linus Torvalds1da177e2005-04-16 15:20:36 -0700590 return put_user(count, (int __user *)arg);
591 default:
Will Deacon46ce3412012-05-25 11:39:13 +0100592 return -ENOIOCTLCMD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700593 }
594}
595
Christoph Hellwigdd670812017-12-31 16:42:12 +0100596/* No kernel lock held - fine */
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700597static __poll_t
598pipe_poll(struct file *filp, poll_table *wait)
Christoph Hellwigdd670812017-12-31 16:42:12 +0100599{
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700600 __poll_t mask;
Christoph Hellwigdd670812017-12-31 16:42:12 +0100601 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvaldsad910e32019-12-07 10:41:17 -0800602 unsigned int head, tail;
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700603
Linus Torvaldsad910e32019-12-07 10:41:17 -0800604 /*
Linus Torvalds0ddad212019-12-09 09:48:27 -0800605 * Reading pipe state only -- no need for acquiring the semaphore.
Linus Torvaldsad910e32019-12-07 10:41:17 -0800606 *
607 * But because this is racy, the code has to add the
608 * entry to the poll table _first_ ..
609 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800610 if (filp->f_mode & FMODE_READ)
611 poll_wait(filp, &pipe->rd_wait, wait);
612 if (filp->f_mode & FMODE_WRITE)
613 poll_wait(filp, &pipe->wr_wait, wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700614
Linus Torvaldsad910e32019-12-07 10:41:17 -0800615 /*
616 * .. and only then can you do the racy tests. That way,
617 * if something changes and you got it wrong, the poll
618 * table entry will wake you up and fix it.
619 */
620 head = READ_ONCE(pipe->head);
621 tail = READ_ONCE(pipe->tail);
622
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700623 mask = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700624 if (filp->f_mode & FMODE_READ) {
David Howells8cefc102019-11-15 13:30:32 +0000625 if (!pipe_empty(head, tail))
626 mask |= EPOLLIN | EPOLLRDNORM;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200627 if (!pipe->writers && filp->f_version != pipe->w_counter)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800628 mask |= EPOLLHUP;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700629 }
630
631 if (filp->f_mode & FMODE_WRITE) {
David Howells6718b6f2019-10-16 16:47:32 +0100632 if (!pipe_full(head, tail, pipe->max_usage))
David Howells8cefc102019-11-15 13:30:32 +0000633 mask |= EPOLLOUT | EPOLLWRNORM;
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700634 /*
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800635 * Most Unices do not set EPOLLERR for FIFOs but on Linux they
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700636 * behave exactly like pipes for poll().
637 */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200638 if (!pipe->readers)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800639 mask |= EPOLLERR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640 }
641
642 return mask;
643}
644
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800645static void put_pipe_info(struct inode *inode, struct pipe_inode_info *pipe)
646{
647 int kill = 0;
648
649 spin_lock(&inode->i_lock);
650 if (!--pipe->files) {
651 inode->i_pipe = NULL;
652 kill = 1;
653 }
654 spin_unlock(&inode->i_lock);
655
656 if (kill)
657 free_pipe_info(pipe);
658}
659
Linus Torvalds1da177e2005-04-16 15:20:36 -0700660static int
Al Viro599a0ac2013-03-12 09:58:10 -0400661pipe_release(struct inode *inode, struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700662{
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800663 struct pipe_inode_info *pipe = file->private_data;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200664
Al Viroebec73f2013-03-21 12:24:01 -0400665 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400666 if (file->f_mode & FMODE_READ)
667 pipe->readers--;
668 if (file->f_mode & FMODE_WRITE)
669 pipe->writers--;
Ingo Molnar341b4462006-04-11 13:57:45 +0200670
Linus Torvalds6551d5c2020-02-18 10:12:58 -0800671 /* Was that the last reader or writer, but not the other side? */
672 if (!pipe->readers != !pipe->writers) {
673 wake_up_interruptible_all(&pipe->rd_wait);
674 wake_up_interruptible_all(&pipe->wr_wait);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200675 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
676 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700677 }
Al Viroebec73f2013-03-21 12:24:01 -0400678 __pipe_unlock(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400679
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800680 put_pipe_info(inode, pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700681 return 0;
682}
683
684static int
Al Viro599a0ac2013-03-12 09:58:10 -0400685pipe_fasync(int fd, struct file *filp, int on)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700686{
Al Virode32ec42013-03-21 11:16:56 -0400687 struct pipe_inode_info *pipe = filp->private_data;
Al Viro599a0ac2013-03-12 09:58:10 -0400688 int retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700689
Al Viroebec73f2013-03-21 12:24:01 -0400690 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400691 if (filp->f_mode & FMODE_READ)
692 retval = fasync_helper(fd, filp, on, &pipe->fasync_readers);
693 if ((filp->f_mode & FMODE_WRITE) && retval >= 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200694 retval = fasync_helper(fd, filp, on, &pipe->fasync_writers);
Al Viro599a0ac2013-03-12 09:58:10 -0400695 if (retval < 0 && (filp->f_mode & FMODE_READ))
696 /* this can happen only if on == T */
Oleg Nesterove5bc49b2009-03-12 14:31:28 -0700697 fasync_helper(-1, filp, 0, &pipe->fasync_readers);
698 }
Al Viroebec73f2013-03-21 12:24:01 -0400699 __pipe_unlock(pipe);
Jonathan Corbet60aa4922009-02-01 14:52:56 -0700700 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700701}
702
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700703static unsigned long account_pipe_buffers(struct user_struct *user,
Willy Tarreau759c0112016-01-18 16:36:09 +0100704 unsigned long old, unsigned long new)
705{
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700706 return atomic_long_add_return(new - old, &user->pipe_bufs);
Willy Tarreau759c0112016-01-18 16:36:09 +0100707}
708
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700709static bool too_many_pipe_buffers_soft(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100710{
Eric Biggersf7340762018-02-06 15:42:08 -0800711 unsigned long soft_limit = READ_ONCE(pipe_user_pages_soft);
712
713 return soft_limit && user_bufs > soft_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100714}
715
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700716static bool too_many_pipe_buffers_hard(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100717{
Eric Biggersf7340762018-02-06 15:42:08 -0800718 unsigned long hard_limit = READ_ONCE(pipe_user_pages_hard);
719
720 return hard_limit && user_bufs > hard_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100721}
722
Eric Biggers85c2dd52018-02-06 15:41:53 -0800723static bool is_unprivileged_user(void)
724{
725 return !capable(CAP_SYS_RESOURCE) && !capable(CAP_SYS_ADMIN);
726}
727
Al Viro7bee1302013-03-21 11:04:15 -0400728struct pipe_inode_info *alloc_pipe_info(void)
Ingo Molnar3a326a22006-04-10 15:18:35 +0200729{
Ingo Molnar923f4f22006-04-11 13:53:33 +0200730 struct pipe_inode_info *pipe;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700731 unsigned long pipe_bufs = PIPE_DEF_BUFFERS;
732 struct user_struct *user = get_current_user();
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700733 unsigned long user_bufs;
Eric Biggersf7340762018-02-06 15:42:08 -0800734 unsigned int max_size = READ_ONCE(pipe_max_size);
Ingo Molnar3a326a22006-04-10 15:18:35 +0200735
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700736 pipe = kzalloc(sizeof(struct pipe_inode_info), GFP_KERNEL_ACCOUNT);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700737 if (pipe == NULL)
738 goto out_free_uid;
Willy Tarreau759c0112016-01-18 16:36:09 +0100739
Eric Biggersf7340762018-02-06 15:42:08 -0800740 if (pipe_bufs * PAGE_SIZE > max_size && !capable(CAP_SYS_RESOURCE))
741 pipe_bufs = max_size >> PAGE_SHIFT;
Michael Kerrisk (man-pages)086e7742016-10-11 13:53:43 -0700742
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700743 user_bufs = account_pipe_buffers(user, 0, pipe_bufs);
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700744
Eric Biggers85c2dd52018-02-06 15:41:53 -0800745 if (too_many_pipe_buffers_soft(user_bufs) && is_unprivileged_user()) {
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700746 user_bufs = account_pipe_buffers(user, pipe_bufs, 1);
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700747 pipe_bufs = 1;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200748 }
749
Eric Biggers85c2dd52018-02-06 15:41:53 -0800750 if (too_many_pipe_buffers_hard(user_bufs) && is_unprivileged_user())
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700751 goto out_revert_acct;
752
753 pipe->bufs = kcalloc(pipe_bufs, sizeof(struct pipe_buffer),
754 GFP_KERNEL_ACCOUNT);
755
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700756 if (pipe->bufs) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800757 init_waitqueue_head(&pipe->rd_wait);
758 init_waitqueue_head(&pipe->wr_wait);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700759 pipe->r_counter = pipe->w_counter = 1;
David Howells6718b6f2019-10-16 16:47:32 +0100760 pipe->max_usage = pipe_bufs;
David Howells8cefc102019-11-15 13:30:32 +0000761 pipe->ring_size = pipe_bufs;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700762 pipe->user = user;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700763 mutex_init(&pipe->mutex);
764 return pipe;
765 }
766
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700767out_revert_acct:
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700768 (void) account_pipe_buffers(user, pipe_bufs, 0);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700769 kfree(pipe);
770out_free_uid:
771 free_uid(user);
Jens Axboe35f3d142010-05-20 10:43:18 +0200772 return NULL;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200773}
774
Al Viro4b8a8f12013-03-21 11:06:46 -0400775void free_pipe_info(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700776{
777 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700778
David Howells8cefc102019-11-15 13:30:32 +0000779 (void) account_pipe_buffers(pipe->user, pipe->ring_size, 0);
Willy Tarreau759c0112016-01-18 16:36:09 +0100780 free_uid(pipe->user);
David Howells8cefc102019-11-15 13:30:32 +0000781 for (i = 0; i < pipe->ring_size; i++) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200782 struct pipe_buffer *buf = pipe->bufs + i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700783 if (buf->ops)
Miklos Szeredia7796382016-09-27 10:45:12 +0200784 pipe_buf_release(pipe, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700785 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200786 if (pipe->tmp_page)
787 __free_page(pipe->tmp_page);
Jens Axboe35f3d142010-05-20 10:43:18 +0200788 kfree(pipe->bufs);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200789 kfree(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700790}
791
Eric Dumazetfa3536c2006-03-26 01:37:24 -0800792static struct vfsmount *pipe_mnt __read_mostly;
Ingo Molnar341b4462006-04-11 13:57:45 +0200793
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700794/*
795 * pipefs_dname() is called from d_path().
796 */
797static char *pipefs_dname(struct dentry *dentry, char *buffer, int buflen)
798{
799 return dynamic_dname(dentry, buffer, buflen, "pipe:[%lu]",
David Howells75c3cfa2015-03-17 22:26:12 +0000800 d_inode(dentry)->i_ino);
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700801}
802
Al Viro3ba13d12009-02-20 06:02:22 +0000803static const struct dentry_operations pipefs_dentry_operations = {
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700804 .d_dname = pipefs_dname,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700805};
806
807static struct inode * get_pipe_inode(void)
808{
Eric Dumazeta209dfc2011-07-26 11:36:34 +0200809 struct inode *inode = new_inode_pseudo(pipe_mnt->mnt_sb);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200810 struct pipe_inode_info *pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700811
812 if (!inode)
813 goto fail_inode;
814
Christoph Hellwig85fe4022010-10-23 11:19:54 -0400815 inode->i_ino = get_next_ino();
816
Al Viro7bee1302013-03-21 11:04:15 -0400817 pipe = alloc_pipe_info();
Ingo Molnar923f4f22006-04-11 13:53:33 +0200818 if (!pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700819 goto fail_iput;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200820
Al Viroba5bb142013-03-21 02:21:19 -0400821 inode->i_pipe = pipe;
822 pipe->files = 2;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200823 pipe->readers = pipe->writers = 1;
Al Viro599a0ac2013-03-12 09:58:10 -0400824 inode->i_fop = &pipefifo_fops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700825
826 /*
827 * Mark the inode dirty from the very beginning,
828 * that way it will never be moved to the dirty
829 * list because "mark_inode_dirty()" will think
830 * that it already _is_ on the dirty list.
831 */
832 inode->i_state = I_DIRTY;
833 inode->i_mode = S_IFIFO | S_IRUSR | S_IWUSR;
David Howellsda9592e2008-11-14 10:39:05 +1100834 inode->i_uid = current_fsuid();
835 inode->i_gid = current_fsgid();
Deepa Dinamani078cd822016-09-14 07:48:04 -0700836 inode->i_atime = inode->i_mtime = inode->i_ctime = current_time(inode);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200837
Linus Torvalds1da177e2005-04-16 15:20:36 -0700838 return inode;
839
840fail_iput:
841 iput(inode);
Ingo Molnar341b4462006-04-11 13:57:45 +0200842
Linus Torvalds1da177e2005-04-16 15:20:36 -0700843fail_inode:
844 return NULL;
845}
846
Al Viroe4fad8e2012-07-21 15:33:25 +0400847int create_pipe_files(struct file **res, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700848{
Al Viroe4fad8e2012-07-21 15:33:25 +0400849 struct inode *inode = get_pipe_inode();
Andi Kleend6cbd282006-09-30 23:29:26 -0700850 struct file *f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700851
Linus Torvalds1da177e2005-04-16 15:20:36 -0700852 if (!inode)
Al Viroe4fad8e2012-07-21 15:33:25 +0400853 return -ENFILE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700854
Al Viro152b6372018-06-09 10:05:18 -0400855 f = alloc_file_pseudo(inode, pipe_mnt, "",
856 O_WRONLY | (flags & (O_NONBLOCK | O_DIRECT)),
857 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500858 if (IS_ERR(f)) {
Al Viro152b6372018-06-09 10:05:18 -0400859 free_pipe_info(inode->i_pipe);
860 iput(inode);
861 return PTR_ERR(f);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500862 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700863
Al Virode32ec42013-03-21 11:16:56 -0400864 f->private_data = inode->i_pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700865
Al Viro183266f2018-06-17 14:15:10 -0400866 res[0] = alloc_file_clone(f, O_RDONLY | (flags & O_NONBLOCK),
867 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500868 if (IS_ERR(res[0])) {
Al Virob10a4a92018-07-09 02:29:58 -0400869 put_pipe_info(inode, inode->i_pipe);
870 fput(f);
871 return PTR_ERR(res[0]);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500872 }
Al Virode32ec42013-03-21 11:16:56 -0400873 res[0]->private_data = inode->i_pipe;
Al Viroe4fad8e2012-07-21 15:33:25 +0400874 res[1] = f;
Linus Torvaldsd8e464e2019-11-17 11:20:48 -0800875 stream_open(inode, res[0]);
876 stream_open(inode, res[1]);
Al Viroe4fad8e2012-07-21 15:33:25 +0400877 return 0;
Andi Kleend6cbd282006-09-30 23:29:26 -0700878}
879
Al Viro5b249b12012-08-19 12:17:29 -0400880static int __do_pipe_flags(int *fd, struct file **files, int flags)
Andi Kleend6cbd282006-09-30 23:29:26 -0700881{
Andi Kleend6cbd282006-09-30 23:29:26 -0700882 int error;
883 int fdw, fdr;
884
Linus Torvalds98830352012-04-29 13:12:42 -0700885 if (flags & ~(O_CLOEXEC | O_NONBLOCK | O_DIRECT))
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700886 return -EINVAL;
887
Al Viroe4fad8e2012-07-21 15:33:25 +0400888 error = create_pipe_files(files, flags);
889 if (error)
890 return error;
Andi Kleend6cbd282006-09-30 23:29:26 -0700891
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700892 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700893 if (error < 0)
894 goto err_read_pipe;
895 fdr = error;
896
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700897 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700898 if (error < 0)
899 goto err_fdr;
900 fdw = error;
901
Al Viro157cf642008-12-14 04:57:47 -0500902 audit_fd_pair(fdr, fdw);
Andi Kleend6cbd282006-09-30 23:29:26 -0700903 fd[0] = fdr;
904 fd[1] = fdw;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700905 return 0;
906
Andi Kleend6cbd282006-09-30 23:29:26 -0700907 err_fdr:
908 put_unused_fd(fdr);
909 err_read_pipe:
Al Viroe4fad8e2012-07-21 15:33:25 +0400910 fput(files[0]);
911 fput(files[1]);
Andi Kleend6cbd282006-09-30 23:29:26 -0700912 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700913}
914
Al Viro5b249b12012-08-19 12:17:29 -0400915int do_pipe_flags(int *fd, int flags)
916{
917 struct file *files[2];
918 int error = __do_pipe_flags(fd, files, flags);
919 if (!error) {
920 fd_install(fd[0], files[0]);
921 fd_install(fd[1], files[1]);
922 }
923 return error;
924}
925
Linus Torvalds1da177e2005-04-16 15:20:36 -0700926/*
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400927 * sys_pipe() is the normal C calling standard for creating
928 * a pipe. It's not the way Unix traditionally does this, though.
929 */
Dominik Brodowski0a216dd2018-03-11 11:34:28 +0100930static int do_pipe2(int __user *fildes, int flags)
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400931{
Al Viro5b249b12012-08-19 12:17:29 -0400932 struct file *files[2];
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400933 int fd[2];
934 int error;
935
Al Viro5b249b12012-08-19 12:17:29 -0400936 error = __do_pipe_flags(fd, files, flags);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400937 if (!error) {
Al Viro5b249b12012-08-19 12:17:29 -0400938 if (unlikely(copy_to_user(fildes, fd, sizeof(fd)))) {
939 fput(files[0]);
940 fput(files[1]);
941 put_unused_fd(fd[0]);
942 put_unused_fd(fd[1]);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400943 error = -EFAULT;
Al Viro5b249b12012-08-19 12:17:29 -0400944 } else {
945 fd_install(fd[0], files[0]);
946 fd_install(fd[1], files[1]);
Ulrich Drepperba719ba2008-05-06 20:42:38 -0700947 }
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400948 }
949 return error;
950}
951
Dominik Brodowski0a216dd2018-03-11 11:34:28 +0100952SYSCALL_DEFINE2(pipe2, int __user *, fildes, int, flags)
953{
954 return do_pipe2(fildes, flags);
955}
956
Heiko Carstens2b664212009-01-14 14:14:35 +0100957SYSCALL_DEFINE1(pipe, int __user *, fildes)
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700958{
Dominik Brodowski0a216dd2018-03-11 11:34:28 +0100959 return do_pipe2(fildes, 0);
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700960}
961
Al Virofc7478a2013-03-21 02:07:59 -0400962static int wait_for_partner(struct pipe_inode_info *pipe, unsigned int *cnt)
Al Virof776c732013-03-12 09:46:27 -0400963{
David Howells8cefc102019-11-15 13:30:32 +0000964 int cur = *cnt;
Al Virof776c732013-03-12 09:46:27 -0400965
966 while (cur == *cnt) {
Al Virofc7478a2013-03-21 02:07:59 -0400967 pipe_wait(pipe);
Al Virof776c732013-03-12 09:46:27 -0400968 if (signal_pending(current))
969 break;
970 }
971 return cur == *cnt ? -ERESTARTSYS : 0;
972}
973
Al Virofc7478a2013-03-21 02:07:59 -0400974static void wake_up_partner(struct pipe_inode_info *pipe)
Al Virof776c732013-03-12 09:46:27 -0400975{
Linus Torvalds6551d5c2020-02-18 10:12:58 -0800976 wake_up_interruptible_all(&pipe->rd_wait);
977 wake_up_interruptible_all(&pipe->wr_wait);
Al Virof776c732013-03-12 09:46:27 -0400978}
979
980static int fifo_open(struct inode *inode, struct file *filp)
981{
982 struct pipe_inode_info *pipe;
Al Viro599a0ac2013-03-12 09:58:10 -0400983 bool is_pipe = inode->i_sb->s_magic == PIPEFS_MAGIC;
Al Virof776c732013-03-12 09:46:27 -0400984 int ret;
985
Al Viroba5bb142013-03-21 02:21:19 -0400986 filp->f_version = 0;
987
988 spin_lock(&inode->i_lock);
989 if (inode->i_pipe) {
990 pipe = inode->i_pipe;
991 pipe->files++;
992 spin_unlock(&inode->i_lock);
993 } else {
994 spin_unlock(&inode->i_lock);
Al Viro7bee1302013-03-21 11:04:15 -0400995 pipe = alloc_pipe_info();
Al Virof776c732013-03-12 09:46:27 -0400996 if (!pipe)
Al Viroba5bb142013-03-21 02:21:19 -0400997 return -ENOMEM;
998 pipe->files = 1;
999 spin_lock(&inode->i_lock);
1000 if (unlikely(inode->i_pipe)) {
1001 inode->i_pipe->files++;
1002 spin_unlock(&inode->i_lock);
Al Viro4b8a8f12013-03-21 11:06:46 -04001003 free_pipe_info(pipe);
Al Viroba5bb142013-03-21 02:21:19 -04001004 pipe = inode->i_pipe;
1005 } else {
1006 inode->i_pipe = pipe;
1007 spin_unlock(&inode->i_lock);
1008 }
Al Virof776c732013-03-12 09:46:27 -04001009 }
Al Virode32ec42013-03-21 11:16:56 -04001010 filp->private_data = pipe;
Al Viroba5bb142013-03-21 02:21:19 -04001011 /* OK, we have a pipe and it's pinned down */
1012
Al Viroebec73f2013-03-21 12:24:01 -04001013 __pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001014
1015 /* We can only do regular read/write on fifos */
Linus Torvaldsd8e464e2019-11-17 11:20:48 -08001016 stream_open(inode, filp);
Al Virof776c732013-03-12 09:46:27 -04001017
Linus Torvaldsd8e464e2019-11-17 11:20:48 -08001018 switch (filp->f_mode & (FMODE_READ | FMODE_WRITE)) {
Al Virof776c732013-03-12 09:46:27 -04001019 case FMODE_READ:
1020 /*
1021 * O_RDONLY
1022 * POSIX.1 says that O_NONBLOCK means return with the FIFO
1023 * opened, even when there is no process writing the FIFO.
1024 */
Al Virof776c732013-03-12 09:46:27 -04001025 pipe->r_counter++;
1026 if (pipe->readers++ == 0)
Al Virofc7478a2013-03-21 02:07:59 -04001027 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001028
Al Viro599a0ac2013-03-12 09:58:10 -04001029 if (!is_pipe && !pipe->writers) {
Al Virof776c732013-03-12 09:46:27 -04001030 if ((filp->f_flags & O_NONBLOCK)) {
Linus Torvaldsa9a08842018-02-11 14:34:03 -08001031 /* suppress EPOLLHUP until we have
Al Virof776c732013-03-12 09:46:27 -04001032 * seen a writer */
1033 filp->f_version = pipe->w_counter;
1034 } else {
Al Virofc7478a2013-03-21 02:07:59 -04001035 if (wait_for_partner(pipe, &pipe->w_counter))
Al Virof776c732013-03-12 09:46:27 -04001036 goto err_rd;
1037 }
1038 }
1039 break;
David Howells8cefc102019-11-15 13:30:32 +00001040
Al Virof776c732013-03-12 09:46:27 -04001041 case FMODE_WRITE:
1042 /*
1043 * O_WRONLY
1044 * POSIX.1 says that O_NONBLOCK means return -1 with
1045 * errno=ENXIO when there is no process reading the FIFO.
1046 */
1047 ret = -ENXIO;
Al Viro599a0ac2013-03-12 09:58:10 -04001048 if (!is_pipe && (filp->f_flags & O_NONBLOCK) && !pipe->readers)
Al Virof776c732013-03-12 09:46:27 -04001049 goto err;
1050
Al Virof776c732013-03-12 09:46:27 -04001051 pipe->w_counter++;
1052 if (!pipe->writers++)
Al Virofc7478a2013-03-21 02:07:59 -04001053 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001054
Al Viro599a0ac2013-03-12 09:58:10 -04001055 if (!is_pipe && !pipe->readers) {
Al Virofc7478a2013-03-21 02:07:59 -04001056 if (wait_for_partner(pipe, &pipe->r_counter))
Al Virof776c732013-03-12 09:46:27 -04001057 goto err_wr;
1058 }
1059 break;
David Howells8cefc102019-11-15 13:30:32 +00001060
Al Virof776c732013-03-12 09:46:27 -04001061 case FMODE_READ | FMODE_WRITE:
1062 /*
1063 * O_RDWR
1064 * POSIX.1 leaves this case "undefined" when O_NONBLOCK is set.
1065 * This implementation will NEVER block on a O_RDWR open, since
1066 * the process can at least talk to itself.
1067 */
Al Virof776c732013-03-12 09:46:27 -04001068
1069 pipe->readers++;
1070 pipe->writers++;
1071 pipe->r_counter++;
1072 pipe->w_counter++;
1073 if (pipe->readers == 1 || pipe->writers == 1)
Al Virofc7478a2013-03-21 02:07:59 -04001074 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001075 break;
1076
1077 default:
1078 ret = -EINVAL;
1079 goto err;
1080 }
1081
1082 /* Ok! */
Al Viroebec73f2013-03-21 12:24:01 -04001083 __pipe_unlock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001084 return 0;
1085
1086err_rd:
1087 if (!--pipe->readers)
Linus Torvalds0ddad212019-12-09 09:48:27 -08001088 wake_up_interruptible(&pipe->wr_wait);
Al Virof776c732013-03-12 09:46:27 -04001089 ret = -ERESTARTSYS;
1090 goto err;
1091
1092err_wr:
1093 if (!--pipe->writers)
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001094 wake_up_interruptible_all(&pipe->rd_wait);
Al Virof776c732013-03-12 09:46:27 -04001095 ret = -ERESTARTSYS;
1096 goto err;
1097
1098err:
Al Viroebec73f2013-03-21 12:24:01 -04001099 __pipe_unlock(pipe);
Linus Torvaldsb0d8d222013-12-02 09:44:51 -08001100
1101 put_pipe_info(inode, pipe);
Al Virof776c732013-03-12 09:46:27 -04001102 return ret;
1103}
1104
Al Viro599a0ac2013-03-12 09:58:10 -04001105const struct file_operations pipefifo_fops = {
1106 .open = fifo_open,
1107 .llseek = no_llseek,
Al Virofb9096a2014-04-02 19:56:54 -04001108 .read_iter = pipe_read,
Al Virof0d1bec2014-04-03 15:05:18 -04001109 .write_iter = pipe_write,
Linus Torvaldsa11e1d42018-06-28 09:43:44 -07001110 .poll = pipe_poll,
Al Viro599a0ac2013-03-12 09:58:10 -04001111 .unlocked_ioctl = pipe_ioctl,
1112 .release = pipe_release,
1113 .fasync = pipe_fasync,
Al Virof776c732013-03-12 09:46:27 -04001114};
1115
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001116/*
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001117 * Currently we rely on the pipe array holding a power-of-2 number
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001118 * of pages. Returns 0 on error.
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001119 */
Eric Biggers96e99be402018-02-06 15:42:00 -08001120unsigned int round_pipe_size(unsigned long size)
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001121{
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001122 if (size > (1U << 31))
Eric Biggers96e99be402018-02-06 15:42:00 -08001123 return 0;
1124
Eric Biggers4c2e4be2018-02-06 15:41:45 -08001125 /* Minimum pipe size, as required by POSIX */
1126 if (size < PAGE_SIZE)
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001127 return PAGE_SIZE;
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001128
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001129 return roundup_pow_of_two(size);
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001130}
1131
1132/*
Jens Axboe35f3d142010-05-20 10:43:18 +02001133 * Allocate a new array of pipe buffers and copy the info over. Returns the
1134 * pipe size if successful, or return -ERROR on error.
1135 */
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001136static long pipe_set_size(struct pipe_inode_info *pipe, unsigned long arg)
Jens Axboe35f3d142010-05-20 10:43:18 +02001137{
1138 struct pipe_buffer *bufs;
David Howells8cefc102019-11-15 13:30:32 +00001139 unsigned int size, nr_slots, head, tail, mask, n;
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -07001140 unsigned long user_bufs;
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001141 long ret = 0;
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001142
1143 size = round_pipe_size(arg);
David Howells8cefc102019-11-15 13:30:32 +00001144 nr_slots = size >> PAGE_SHIFT;
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001145
David Howells8cefc102019-11-15 13:30:32 +00001146 if (!nr_slots)
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001147 return -EINVAL;
1148
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001149 /*
1150 * If trying to increase the pipe capacity, check that an
1151 * unprivileged user is not trying to exceed various limits
1152 * (soft limit check here, hard limit check just below).
1153 * Decreasing the pipe capacity is always permitted, even
1154 * if the user is currently over a limit.
1155 */
David Howells8cefc102019-11-15 13:30:32 +00001156 if (nr_slots > pipe->ring_size &&
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001157 size > pipe_max_size && !capable(CAP_SYS_RESOURCE))
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001158 return -EPERM;
1159
David Howells8cefc102019-11-15 13:30:32 +00001160 user_bufs = account_pipe_buffers(pipe->user, pipe->ring_size, nr_slots);
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001161
David Howells8cefc102019-11-15 13:30:32 +00001162 if (nr_slots > pipe->ring_size &&
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -07001163 (too_many_pipe_buffers_hard(user_bufs) ||
1164 too_many_pipe_buffers_soft(user_bufs)) &&
Eric Biggers85c2dd52018-02-06 15:41:53 -08001165 is_unprivileged_user()) {
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001166 ret = -EPERM;
1167 goto out_revert_acct;
1168 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001169
1170 /*
David Howells8cefc102019-11-15 13:30:32 +00001171 * We can shrink the pipe, if arg is greater than the ring occupancy.
1172 * Since we don't expect a lot of shrink+grow operations, just free and
1173 * allocate again like we would do for growing. If the pipe currently
Jens Axboe35f3d142010-05-20 10:43:18 +02001174 * contains more buffers than arg, then return busy.
1175 */
David Howells8cefc102019-11-15 13:30:32 +00001176 mask = pipe->ring_size - 1;
1177 head = pipe->head;
1178 tail = pipe->tail;
1179 n = pipe_occupancy(pipe->head, pipe->tail);
1180 if (nr_slots < n) {
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001181 ret = -EBUSY;
1182 goto out_revert_acct;
1183 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001184
David Howells8cefc102019-11-15 13:30:32 +00001185 bufs = kcalloc(nr_slots, sizeof(*bufs),
Vladimir Davydovd86133b2016-07-26 15:24:33 -07001186 GFP_KERNEL_ACCOUNT | __GFP_NOWARN);
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001187 if (unlikely(!bufs)) {
1188 ret = -ENOMEM;
1189 goto out_revert_acct;
1190 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001191
1192 /*
1193 * The pipe array wraps around, so just start the new one at zero
David Howells8cefc102019-11-15 13:30:32 +00001194 * and adjust the indices.
Jens Axboe35f3d142010-05-20 10:43:18 +02001195 */
David Howells8cefc102019-11-15 13:30:32 +00001196 if (n > 0) {
1197 unsigned int h = head & mask;
1198 unsigned int t = tail & mask;
1199 if (h > t) {
1200 memcpy(bufs, pipe->bufs + t,
1201 n * sizeof(struct pipe_buffer));
1202 } else {
1203 unsigned int tsize = pipe->ring_size - t;
1204 if (h > 0)
1205 memcpy(bufs + tsize, pipe->bufs,
1206 h * sizeof(struct pipe_buffer));
1207 memcpy(bufs, pipe->bufs + t,
1208 tsize * sizeof(struct pipe_buffer));
1209 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001210 }
1211
David Howells8cefc102019-11-15 13:30:32 +00001212 head = n;
1213 tail = 0;
1214
Jens Axboe35f3d142010-05-20 10:43:18 +02001215 kfree(pipe->bufs);
1216 pipe->bufs = bufs;
David Howells8cefc102019-11-15 13:30:32 +00001217 pipe->ring_size = nr_slots;
David Howells6718b6f2019-10-16 16:47:32 +01001218 pipe->max_usage = nr_slots;
David Howells8cefc102019-11-15 13:30:32 +00001219 pipe->tail = tail;
1220 pipe->head = head;
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001221
1222 /* This might have made more room for writers */
1223 wake_up_interruptible(&pipe->wr_wait);
David Howells6718b6f2019-10-16 16:47:32 +01001224 return pipe->max_usage * PAGE_SIZE;
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001225
1226out_revert_acct:
David Howells8cefc102019-11-15 13:30:32 +00001227 (void) account_pipe_buffers(pipe->user, nr_slots, pipe->ring_size);
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001228 return ret;
Jens Axboe35f3d142010-05-20 10:43:18 +02001229}
1230
Jens Axboeff9da692010-06-03 14:54:39 +02001231/*
Linus Torvalds72083642010-11-28 16:27:19 -08001232 * After the inode slimming patch, i_pipe/i_bdev/i_cdev share the same
1233 * location, so checking ->i_pipe is not enough to verify that this is a
1234 * pipe.
1235 */
1236struct pipe_inode_info *get_pipe_info(struct file *file)
1237{
Al Virode32ec42013-03-21 11:16:56 -04001238 return file->f_op == &pipefifo_fops ? file->private_data : NULL;
Linus Torvalds72083642010-11-28 16:27:19 -08001239}
1240
Jens Axboe35f3d142010-05-20 10:43:18 +02001241long pipe_fcntl(struct file *file, unsigned int cmd, unsigned long arg)
1242{
1243 struct pipe_inode_info *pipe;
1244 long ret;
1245
Linus Torvaldsc66fb342010-11-28 14:09:57 -08001246 pipe = get_pipe_info(file);
Jens Axboe35f3d142010-05-20 10:43:18 +02001247 if (!pipe)
1248 return -EBADF;
1249
Al Viroebec73f2013-03-21 12:24:01 -04001250 __pipe_lock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001251
1252 switch (cmd) {
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001253 case F_SETPIPE_SZ:
1254 ret = pipe_set_size(pipe, arg);
Jens Axboe35f3d142010-05-20 10:43:18 +02001255 break;
1256 case F_GETPIPE_SZ:
David Howells6718b6f2019-10-16 16:47:32 +01001257 ret = pipe->max_usage * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001258 break;
1259 default:
1260 ret = -EINVAL;
1261 break;
1262 }
1263
Al Viroebec73f2013-03-21 12:24:01 -04001264 __pipe_unlock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001265 return ret;
1266}
1267
Nick Pigginff0c7d12011-01-07 17:49:50 +11001268static const struct super_operations pipefs_ops = {
1269 .destroy_inode = free_inode_nonrcu,
Pavel Emelyanovd70ef972011-10-31 17:10:04 -07001270 .statfs = simple_statfs,
Nick Pigginff0c7d12011-01-07 17:49:50 +11001271};
1272
Jens Axboe35f3d142010-05-20 10:43:18 +02001273/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001274 * pipefs should _never_ be mounted by userland - too much of security hassle,
1275 * no real gain from having the whole whorehouse mounted. So we don't need
1276 * any operations on the root directory. However, we need a non-trivial
1277 * d_name - pipe: will go nicely and kill the special-casing in procfs.
1278 */
David Howells4fa7ec52019-03-25 16:38:23 +00001279
1280static int pipefs_init_fs_context(struct fs_context *fc)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001281{
David Howells4fa7ec52019-03-25 16:38:23 +00001282 struct pseudo_fs_context *ctx = init_pseudo(fc, PIPEFS_MAGIC);
1283 if (!ctx)
1284 return -ENOMEM;
1285 ctx->ops = &pipefs_ops;
1286 ctx->dops = &pipefs_dentry_operations;
1287 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001288}
1289
1290static struct file_system_type pipe_fs_type = {
1291 .name = "pipefs",
David Howells4fa7ec52019-03-25 16:38:23 +00001292 .init_fs_context = pipefs_init_fs_context,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001293 .kill_sb = kill_anon_super,
1294};
1295
1296static int __init init_pipe_fs(void)
1297{
1298 int err = register_filesystem(&pipe_fs_type);
Ingo Molnar341b4462006-04-11 13:57:45 +02001299
Linus Torvalds1da177e2005-04-16 15:20:36 -07001300 if (!err) {
1301 pipe_mnt = kern_mount(&pipe_fs_type);
1302 if (IS_ERR(pipe_mnt)) {
1303 err = PTR_ERR(pipe_mnt);
1304 unregister_filesystem(&pipe_fs_type);
1305 }
1306 }
1307 return err;
1308}
1309
Linus Torvalds1da177e2005-04-16 15:20:36 -07001310fs_initcall(init_pipe_fs);