blob: 0f9fd897ceb562b8670711f2acc81ba0b1199672 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * linux/fs/pipe.c
4 *
5 * Copyright (C) 1991, 1992, 1999 Linus Torvalds
6 */
7
8#include <linux/mm.h>
9#include <linux/file.h>
10#include <linux/poll.h>
11#include <linux/slab.h>
12#include <linux/module.h>
13#include <linux/init.h>
14#include <linux/fs.h>
Jens Axboe35f3d142010-05-20 10:43:18 +020015#include <linux/log2.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/mount.h>
David Howells4fa7ec52019-03-25 16:38:23 +000017#include <linux/pseudo_fs.h>
Muthu Kumarb502bd12012-03-23 15:01:50 -070018#include <linux/magic.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070019#include <linux/pipe_fs_i.h>
20#include <linux/uio.h>
21#include <linux/highmem.h>
Jens Axboe5274f052006-03-30 15:15:30 +020022#include <linux/pagemap.h>
Al Virodb349502007-02-07 01:48:00 -050023#include <linux/audit.h>
Ulrich Drepperba719ba2008-05-06 20:42:38 -070024#include <linux/syscalls.h>
Jens Axboeb492e952010-05-19 21:03:16 +020025#include <linux/fcntl.h>
Vladimir Davydovd86133b2016-07-26 15:24:33 -070026#include <linux/memcontrol.h>
David Howellsc73be612020-01-14 17:07:11 +000027#include <linux/watch_queue.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070028
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080029#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070030#include <asm/ioctls.h>
31
Al Viro599a0ac2013-03-12 09:58:10 -040032#include "internal.h"
33
Linus Torvalds1da177e2005-04-16 15:20:36 -070034/*
Jens Axboeb492e952010-05-19 21:03:16 +020035 * The max size that a non-root user is allowed to grow the pipe. Can
Jens Axboeff9da692010-06-03 14:54:39 +020036 * be set by root in /proc/sys/fs/pipe-max-size
Jens Axboeb492e952010-05-19 21:03:16 +020037 */
Jens Axboeff9da692010-06-03 14:54:39 +020038unsigned int pipe_max_size = 1048576;
39
Willy Tarreau759c0112016-01-18 16:36:09 +010040/* Maximum allocatable pages per user. Hard limit is unset by default, soft
41 * matches default values.
42 */
43unsigned long pipe_user_pages_hard;
44unsigned long pipe_user_pages_soft = PIPE_DEF_BUFFERS * INR_OPEN_CUR;
45
Jens Axboeb492e952010-05-19 21:03:16 +020046/*
David Howells8cefc102019-11-15 13:30:32 +000047 * We use head and tail indices that aren't masked off, except at the point of
48 * dereference, but rather they're allowed to wrap naturally. This means there
49 * isn't a dead spot in the buffer, but the ring has to be a power of two and
50 * <= 2^31.
51 * -- David Howells 2019-09-23.
52 *
Linus Torvalds1da177e2005-04-16 15:20:36 -070053 * Reads with count = 0 should always return 0.
54 * -- Julian Bradfield 1999-06-07.
55 *
56 * FIFOs and Pipes now generate SIGIO for both readers and writers.
57 * -- Jeremy Elson <jelson@circlemud.org> 2001-08-16
58 *
59 * pipe_read & write cleanup
60 * -- Manfred Spraul <manfred@colorfullife.com> 2002-05-09
61 */
62
Miklos Szeredi61e0d472009-04-14 19:48:41 +020063static void pipe_lock_nested(struct pipe_inode_info *pipe, int subclass)
64{
Al Viro6447a3c2013-03-21 11:01:38 -040065 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040066 mutex_lock_nested(&pipe->mutex, subclass);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020067}
68
69void pipe_lock(struct pipe_inode_info *pipe)
70{
71 /*
72 * pipe_lock() nests non-pipe inode locks (for writing to a file)
73 */
74 pipe_lock_nested(pipe, I_MUTEX_PARENT);
75}
76EXPORT_SYMBOL(pipe_lock);
77
78void pipe_unlock(struct pipe_inode_info *pipe)
79{
Al Viro6447a3c2013-03-21 11:01:38 -040080 if (pipe->files)
Al Viro72b0d9a2013-03-21 02:32:24 -040081 mutex_unlock(&pipe->mutex);
Miklos Szeredi61e0d472009-04-14 19:48:41 +020082}
83EXPORT_SYMBOL(pipe_unlock);
84
Al Viroebec73f2013-03-21 12:24:01 -040085static inline void __pipe_lock(struct pipe_inode_info *pipe)
86{
87 mutex_lock_nested(&pipe->mutex, I_MUTEX_PARENT);
88}
89
90static inline void __pipe_unlock(struct pipe_inode_info *pipe)
91{
92 mutex_unlock(&pipe->mutex);
93}
94
Miklos Szeredi61e0d472009-04-14 19:48:41 +020095void pipe_double_lock(struct pipe_inode_info *pipe1,
96 struct pipe_inode_info *pipe2)
97{
98 BUG_ON(pipe1 == pipe2);
99
100 if (pipe1 < pipe2) {
101 pipe_lock_nested(pipe1, I_MUTEX_PARENT);
102 pipe_lock_nested(pipe2, I_MUTEX_CHILD);
103 } else {
Peter Zijlstra023d43c2009-07-21 10:09:23 +0200104 pipe_lock_nested(pipe2, I_MUTEX_PARENT);
105 pipe_lock_nested(pipe1, I_MUTEX_CHILD);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200106 }
107}
108
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109/* Drop the inode semaphore and wait for a pipe event, atomically */
Ingo Molnar3a326a22006-04-10 15:18:35 +0200110void pipe_wait(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700111{
Linus Torvalds0ddad212019-12-09 09:48:27 -0800112 DEFINE_WAIT(rdwait);
113 DEFINE_WAIT(wrwait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114
Ingo Molnard79fc0f2005-09-10 00:26:12 -0700115 /*
116 * Pipes are system-local resources, so sleeping on them
117 * is considered a noninteractive wait:
118 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800119 prepare_to_wait(&pipe->rd_wait, &rdwait, TASK_INTERRUPTIBLE);
120 prepare_to_wait(&pipe->wr_wait, &wrwait, TASK_INTERRUPTIBLE);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200121 pipe_unlock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122 schedule();
Linus Torvalds0ddad212019-12-09 09:48:27 -0800123 finish_wait(&pipe->rd_wait, &rdwait);
124 finish_wait(&pipe->wr_wait, &wrwait);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200125 pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126}
127
Ingo Molnar341b4462006-04-11 13:57:45 +0200128static void anon_pipe_buf_release(struct pipe_inode_info *pipe,
129 struct pipe_buffer *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130{
131 struct page *page = buf->page;
132
Jens Axboe5274f052006-03-30 15:15:30 +0200133 /*
134 * If nobody else uses this page, and we don't already have a
135 * temporary page, let's keep track of it as a one-deep
Ingo Molnar341b4462006-04-11 13:57:45 +0200136 * allocation cache. (Otherwise just release our reference to it)
Jens Axboe5274f052006-03-30 15:15:30 +0200137 */
Ingo Molnar341b4462006-04-11 13:57:45 +0200138 if (page_count(page) == 1 && !pipe->tmp_page)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200139 pipe->tmp_page = page;
Ingo Molnar341b4462006-04-11 13:57:45 +0200140 else
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300141 put_page(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700142}
143
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700144static int anon_pipe_buf_steal(struct pipe_inode_info *pipe,
145 struct pipe_buffer *buf)
146{
147 struct page *page = buf->page;
148
149 if (page_count(page) == 1) {
Roman Gushchinf4b00ea2020-04-01 21:06:46 -0700150 memcg_kmem_uncharge_page(page, 0);
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700151 __SetPageLocked(page);
152 return 0;
153 }
154 return 1;
155}
156
Jens Axboe08457182007-06-12 20:51:32 +0200157/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800158 * generic_pipe_buf_steal - attempt to take ownership of a &pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200159 * @pipe: the pipe that the buffer belongs to
160 * @buf: the buffer to attempt to steal
161 *
162 * Description:
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800163 * This function attempts to steal the &struct page attached to
Jens Axboe08457182007-06-12 20:51:32 +0200164 * @buf. If successful, this function returns 0 and returns with
165 * the page locked. The caller may then reuse the page for whatever
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800166 * he wishes; the typical use is insertion into a different file
Jens Axboe08457182007-06-12 20:51:32 +0200167 * page cache.
168 */
Jens Axboe330ab712006-05-02 15:29:57 +0200169int generic_pipe_buf_steal(struct pipe_inode_info *pipe,
170 struct pipe_buffer *buf)
Jens Axboe5abc97a2006-03-30 15:16:46 +0200171{
Jens Axboe46e678c2006-04-30 16:36:32 +0200172 struct page *page = buf->page;
173
Jens Axboe08457182007-06-12 20:51:32 +0200174 /*
175 * A reference of one is golden, that means that the owner of this
176 * page is the only one holding a reference to it. lock the page
177 * and return OK.
178 */
Jens Axboe46e678c2006-04-30 16:36:32 +0200179 if (page_count(page) == 1) {
Jens Axboe46e678c2006-04-30 16:36:32 +0200180 lock_page(page);
181 return 0;
182 }
183
184 return 1;
Jens Axboe5abc97a2006-03-30 15:16:46 +0200185}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200186EXPORT_SYMBOL(generic_pipe_buf_steal);
Jens Axboe5abc97a2006-03-30 15:16:46 +0200187
Jens Axboe08457182007-06-12 20:51:32 +0200188/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800189 * generic_pipe_buf_get - get a reference to a &struct pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200190 * @pipe: the pipe that the buffer belongs to
191 * @buf: the buffer to get a reference to
192 *
193 * Description:
194 * This function grabs an extra reference to @buf. It's used in
195 * in the tee() system call, when we duplicate the buffers in one
196 * pipe into another.
197 */
Matthew Wilcox15fab632019-04-05 14:02:10 -0700198bool generic_pipe_buf_get(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
Jens Axboe70524492006-04-11 15:51:17 +0200199{
Matthew Wilcox15fab632019-04-05 14:02:10 -0700200 return try_get_page(buf->page);
Jens Axboe70524492006-04-11 15:51:17 +0200201}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200202EXPORT_SYMBOL(generic_pipe_buf_get);
Jens Axboe70524492006-04-11 15:51:17 +0200203
Jens Axboe08457182007-06-12 20:51:32 +0200204/**
205 * generic_pipe_buf_confirm - verify contents of the pipe buffer
Randy Dunlap79685b82007-07-27 08:08:51 +0200206 * @info: the pipe that the buffer belongs to
Jens Axboe08457182007-06-12 20:51:32 +0200207 * @buf: the buffer to confirm
208 *
209 * Description:
210 * This function does nothing, because the generic pipe code uses
211 * pages that are always good when inserted into the pipe.
212 */
Jens Axboecac36bb02007-06-14 13:10:48 +0200213int generic_pipe_buf_confirm(struct pipe_inode_info *info,
214 struct pipe_buffer *buf)
Jens Axboef84d7512006-05-01 19:59:03 +0200215{
216 return 0;
217}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200218EXPORT_SYMBOL(generic_pipe_buf_confirm);
Jens Axboef84d7512006-05-01 19:59:03 +0200219
Miklos Szeredi68181732009-05-07 15:37:36 +0200220/**
221 * generic_pipe_buf_release - put a reference to a &struct pipe_buffer
222 * @pipe: the pipe that the buffer belongs to
223 * @buf: the buffer to put a reference to
224 *
225 * Description:
226 * This function releases a reference to @buf.
227 */
228void generic_pipe_buf_release(struct pipe_inode_info *pipe,
229 struct pipe_buffer *buf)
230{
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300231 put_page(buf->page);
Miklos Szeredi68181732009-05-07 15:37:36 +0200232}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200233EXPORT_SYMBOL(generic_pipe_buf_release);
Miklos Szeredi68181732009-05-07 15:37:36 +0200234
Jann Horn01e71872019-01-23 15:19:18 +0100235/* New data written to a pipe may be appended to a buffer with this type. */
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800236static const struct pipe_buf_operations anon_pipe_buf_ops = {
Jens Axboecac36bb02007-06-14 13:10:48 +0200237 .confirm = generic_pipe_buf_confirm,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700238 .release = anon_pipe_buf_release,
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700239 .steal = anon_pipe_buf_steal,
Jens Axboef84d7512006-05-01 19:59:03 +0200240 .get = generic_pipe_buf_get,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700241};
242
Jann Horna0ce2f02019-01-23 15:19:17 +0100243static const struct pipe_buf_operations anon_pipe_buf_nomerge_ops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700244 .confirm = generic_pipe_buf_confirm,
245 .release = anon_pipe_buf_release,
246 .steal = anon_pipe_buf_steal,
247 .get = generic_pipe_buf_get,
Ingo Molnar923f4f22006-04-11 13:53:33 +0200248};
Linus Torvalds1da177e2005-04-16 15:20:36 -0700249
Linus Torvalds98830352012-04-29 13:12:42 -0700250static const struct pipe_buf_operations packet_pipe_buf_ops = {
Linus Torvalds98830352012-04-29 13:12:42 -0700251 .confirm = generic_pipe_buf_confirm,
252 .release = anon_pipe_buf_release,
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700253 .steal = anon_pipe_buf_steal,
Linus Torvalds98830352012-04-29 13:12:42 -0700254 .get = generic_pipe_buf_get,
255};
256
Jann Horn01e71872019-01-23 15:19:18 +0100257/**
258 * pipe_buf_mark_unmergeable - mark a &struct pipe_buffer as unmergeable
259 * @buf: the buffer to mark
260 *
261 * Description:
262 * This function ensures that no future writes will be merged into the
263 * given &struct pipe_buffer. This is necessary when multiple pipe buffers
264 * share the same backing page.
265 */
Jann Horna0ce2f02019-01-23 15:19:17 +0100266void pipe_buf_mark_unmergeable(struct pipe_buffer *buf)
267{
268 if (buf->ops == &anon_pipe_buf_ops)
269 buf->ops = &anon_pipe_buf_nomerge_ops;
270}
271
Jann Horn01e71872019-01-23 15:19:18 +0100272static bool pipe_buf_can_merge(struct pipe_buffer *buf)
273{
274 return buf->ops == &anon_pipe_buf_ops;
275}
276
Linus Torvalds85190d12019-12-07 13:53:09 -0800277/* Done while waiting without holding the pipe lock - thus the READ_ONCE() */
278static inline bool pipe_readable(const struct pipe_inode_info *pipe)
279{
280 unsigned int head = READ_ONCE(pipe->head);
281 unsigned int tail = READ_ONCE(pipe->tail);
282 unsigned int writers = READ_ONCE(pipe->writers);
283
284 return !pipe_empty(head, tail) || !writers;
285}
286
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287static ssize_t
Al Virofb9096a2014-04-02 19:56:54 -0400288pipe_read(struct kiocb *iocb, struct iov_iter *to)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700289{
Al Virofb9096a2014-04-02 19:56:54 -0400290 size_t total_len = iov_iter_count(to);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700291 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400292 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800293 bool was_full, wake_next_reader = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700294 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700295
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296 /* Null read succeeds. */
297 if (unlikely(total_len == 0))
298 return 0;
299
Linus Torvalds1da177e2005-04-16 15:20:36 -0700300 ret = 0;
Al Viroebec73f2013-03-21 12:24:01 -0400301 __pipe_lock(pipe);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800302
303 /*
304 * We only wake up writers if the pipe was full when we started
305 * reading in order to avoid unnecessary wakeups.
306 *
307 * But when we do wake up writers, we do so using a sync wakeup
308 * (WF_SYNC), because we want them to get going and generate more
309 * data for us.
310 */
311 was_full = pipe_full(pipe->head, pipe->tail, pipe->max_usage);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700312 for (;;) {
David Howells8cefc102019-11-15 13:30:32 +0000313 unsigned int head = pipe->head;
314 unsigned int tail = pipe->tail;
315 unsigned int mask = pipe->ring_size - 1;
316
317 if (!pipe_empty(head, tail)) {
318 struct pipe_buffer *buf = &pipe->bufs[tail & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700319 size_t chars = buf->len;
Al Viro637b58c2014-02-03 19:11:42 -0500320 size_t written;
321 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700322
David Howells8cfba762020-01-14 17:07:11 +0000323 if (chars > total_len) {
324 if (buf->flags & PIPE_BUF_FLAG_WHOLE) {
325 if (ret == 0)
326 ret = -ENOBUFS;
327 break;
328 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700329 chars = total_len;
David Howells8cfba762020-01-14 17:07:11 +0000330 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331
Miklos Szeredifba597d2016-09-27 10:45:12 +0200332 error = pipe_buf_confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200333 if (error) {
Jens Axboe5274f052006-03-30 15:15:30 +0200334 if (!ret)
Nicolas Kaisere5953cb2010-10-21 14:56:00 +0200335 ret = error;
Jens Axboe5274f052006-03-30 15:15:30 +0200336 break;
337 }
Jens Axboef84d7512006-05-01 19:59:03 +0200338
Al Virofb9096a2014-04-02 19:56:54 -0400339 written = copy_page_to_iter(buf->page, buf->offset, chars, to);
Al Viro637b58c2014-02-03 19:11:42 -0500340 if (unlikely(written < chars)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200341 if (!ret)
Al Viro637b58c2014-02-03 19:11:42 -0500342 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700343 break;
344 }
345 ret += chars;
346 buf->offset += chars;
347 buf->len -= chars;
Linus Torvalds98830352012-04-29 13:12:42 -0700348
349 /* Was it a packet buffer? Clean up and exit */
350 if (buf->flags & PIPE_BUF_FLAG_PACKET) {
351 total_len = chars;
352 buf->len = 0;
353 }
354
Linus Torvalds1da177e2005-04-16 15:20:36 -0700355 if (!buf->len) {
Miklos Szeredia7796382016-09-27 10:45:12 +0200356 pipe_buf_release(pipe, buf);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800357 spin_lock_irq(&pipe->rd_wait.lock);
David Howells8cefc102019-11-15 13:30:32 +0000358 tail++;
359 pipe->tail = tail;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800360 spin_unlock_irq(&pipe->rd_wait.lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700361 }
362 total_len -= chars;
363 if (!total_len)
364 break; /* common path: read succeeded */
David Howells8cefc102019-11-15 13:30:32 +0000365 if (!pipe_empty(head, tail)) /* More to do? */
366 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700367 }
David Howells8cefc102019-11-15 13:30:32 +0000368
Ingo Molnar923f4f22006-04-11 13:53:33 +0200369 if (!pipe->writers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700370 break;
Linus Torvaldsa28c8b92019-12-07 13:21:01 -0800371 if (ret)
372 break;
373 if (filp->f_flags & O_NONBLOCK) {
374 ret = -EAGAIN;
375 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700376 }
Linus Torvalds85190d12019-12-07 13:53:09 -0800377 __pipe_unlock(pipe);
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800378
379 /*
380 * We only get here if we didn't actually read anything.
381 *
382 * However, we could have seen (and removed) a zero-sized
383 * pipe buffer, and might have made space in the buffers
384 * that way.
385 *
386 * You can't make zero-sized pipe buffers by doing an empty
387 * write (not even in packet mode), but they can happen if
388 * the writer gets an EFAULT when trying to fill a buffer
389 * that already got allocated and inserted in the buffer
390 * array.
391 *
392 * So we still need to wake up any pending writers in the
393 * _very_ unlikely case that the pipe was full, but we got
394 * no data.
395 */
396 if (unlikely(was_full)) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800397 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800398 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
399 }
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800400
401 /*
402 * But because we didn't read anything, at this point we can
403 * just return directly with -ERESTARTSYS if we're interrupted,
404 * since we've done any required wakeups and there's no need
405 * to mark anything accessed. And we've dropped the lock.
406 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800407 if (wait_event_interruptible_exclusive(pipe->rd_wait, pipe_readable(pipe)) < 0)
Linus Torvaldsd1c6a2a2019-12-11 11:46:19 -0800408 return -ERESTARTSYS;
409
Linus Torvalds85190d12019-12-07 13:53:09 -0800410 __pipe_lock(pipe);
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800411 was_full = pipe_full(pipe->head, pipe->tail, pipe->max_usage);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800412 wake_next_reader = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700413 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800414 if (pipe_empty(pipe->head, pipe->tail))
415 wake_next_reader = false;
Al Viroebec73f2013-03-21 12:24:01 -0400416 __pipe_unlock(pipe);
Ingo Molnar341b4462006-04-11 13:57:45 +0200417
Linus Torvaldsf467a6a2019-12-07 12:54:26 -0800418 if (was_full) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800419 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200420 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700421 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800422 if (wake_next_reader)
423 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700424 if (ret > 0)
425 file_accessed(filp);
426 return ret;
427}
428
Linus Torvalds98830352012-04-29 13:12:42 -0700429static inline int is_packetized(struct file *file)
430{
431 return (file->f_flags & O_DIRECT) != 0;
432}
433
Linus Torvalds85190d12019-12-07 13:53:09 -0800434/* Done while waiting without holding the pipe lock - thus the READ_ONCE() */
435static inline bool pipe_writable(const struct pipe_inode_info *pipe)
436{
437 unsigned int head = READ_ONCE(pipe->head);
438 unsigned int tail = READ_ONCE(pipe->tail);
439 unsigned int max_usage = READ_ONCE(pipe->max_usage);
440
441 return !pipe_full(head, tail, max_usage) ||
442 !READ_ONCE(pipe->readers);
443}
444
Linus Torvalds1da177e2005-04-16 15:20:36 -0700445static ssize_t
Al Virof0d1bec2014-04-03 15:05:18 -0400446pipe_write(struct kiocb *iocb, struct iov_iter *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700447{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700448 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400449 struct pipe_inode_info *pipe = filp->private_data;
David Howells8f868d62019-12-05 22:30:37 +0000450 unsigned int head;
Al Virof0d1bec2014-04-03 15:05:18 -0400451 ssize_t ret = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400452 size_t total_len = iov_iter_count(from);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700453 ssize_t chars;
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800454 bool was_empty = false;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800455 bool wake_next_writer = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700456
Linus Torvalds1da177e2005-04-16 15:20:36 -0700457 /* Null write succeeds. */
458 if (unlikely(total_len == 0))
459 return 0;
460
Al Viroebec73f2013-03-21 12:24:01 -0400461 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700462
Ingo Molnar923f4f22006-04-11 13:53:33 +0200463 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700464 send_sig(SIGPIPE, current, 0);
465 ret = -EPIPE;
466 goto out;
467 }
468
David Howellsc73be612020-01-14 17:07:11 +0000469#ifdef CONFIG_WATCH_QUEUE
470 if (pipe->watch_queue) {
471 ret = -EXDEV;
472 goto out;
473 }
474#endif
475
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800476 /*
477 * Only wake up if the pipe started out empty, since
478 * otherwise there should be no readers waiting.
479 *
480 * If it wasn't empty we try to merge new data into
481 * the last buffer.
482 *
483 * That naturally merges small writes, but it also
484 * page-aligs the rest of the writes for large writes
485 * spanning multiple pages.
486 */
David Howells8cefc102019-11-15 13:30:32 +0000487 head = pipe->head;
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800488 was_empty = pipe_empty(head, pipe->tail);
489 chars = total_len & (PAGE_SIZE-1);
490 if (chars && !was_empty) {
David Howells8f868d62019-12-05 22:30:37 +0000491 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000492 struct pipe_buffer *buf = &pipe->bufs[(head - 1) & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700493 int offset = buf->offset + buf->len;
Ingo Molnar341b4462006-04-11 13:57:45 +0200494
Jann Horn01e71872019-01-23 15:19:18 +0100495 if (pipe_buf_can_merge(buf) && offset + chars <= PAGE_SIZE) {
Miklos Szeredifba597d2016-09-27 10:45:12 +0200496 ret = pipe_buf_confirm(pipe, buf);
Eric Biggers6ae08062015-10-17 16:26:09 -0500497 if (ret)
Jens Axboe5274f052006-03-30 15:15:30 +0200498 goto out;
Jens Axboef84d7512006-05-01 19:59:03 +0200499
Al Virof0d1bec2014-04-03 15:05:18 -0400500 ret = copy_page_from_iter(buf->page, offset, chars, from);
501 if (unlikely(ret < chars)) {
Eric Biggers6ae08062015-10-17 16:26:09 -0500502 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700503 goto out;
Jens Axboef6762b72006-05-01 20:02:05 +0200504 }
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800505
Eric Biggers6ae08062015-10-17 16:26:09 -0500506 buf->len += ret;
Al Virof0d1bec2014-04-03 15:05:18 -0400507 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700508 goto out;
509 }
510 }
511
512 for (;;) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200513 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700514 send_sig(SIGPIPE, current, 0);
Ingo Molnar341b4462006-04-11 13:57:45 +0200515 if (!ret)
516 ret = -EPIPE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700517 break;
518 }
David Howells8cefc102019-11-15 13:30:32 +0000519
David Howellsa194dfe2019-09-20 16:32:19 +0100520 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000521 if (!pipe_full(head, pipe->tail, pipe->max_usage)) {
522 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000523 struct pipe_buffer *buf = &pipe->bufs[head & mask];
Ingo Molnar923f4f22006-04-11 13:53:33 +0200524 struct page *page = pipe->tmp_page;
Al Virof0d1bec2014-04-03 15:05:18 -0400525 int copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700526
527 if (!page) {
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700528 page = alloc_page(GFP_HIGHUSER | __GFP_ACCOUNT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700529 if (unlikely(!page)) {
530 ret = ret ? : -ENOMEM;
531 break;
532 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200533 pipe->tmp_page = page;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700534 }
David Howellsa194dfe2019-09-20 16:32:19 +0100535
536 /* Allocate a slot in the ring in advance and attach an
537 * empty buffer. If we fault or otherwise fail to use
538 * it, either the reader will consume it or it'll still
539 * be there for the next write.
540 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800541 spin_lock_irq(&pipe->rd_wait.lock);
David Howellsa194dfe2019-09-20 16:32:19 +0100542
543 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000544 if (pipe_full(head, pipe->tail, pipe->max_usage)) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800545 spin_unlock_irq(&pipe->rd_wait.lock);
David Howells8df44122019-10-07 16:30:51 +0100546 continue;
547 }
548
David Howellsa194dfe2019-09-20 16:32:19 +0100549 pipe->head = head + 1;
Linus Torvalds0ddad212019-12-09 09:48:27 -0800550 spin_unlock_irq(&pipe->rd_wait.lock);
David Howellsa194dfe2019-09-20 16:32:19 +0100551
552 /* Insert it into the buffer array */
553 buf = &pipe->bufs[head & mask];
554 buf->page = page;
555 buf->ops = &anon_pipe_buf_ops;
556 buf->offset = 0;
557 buf->len = 0;
558 buf->flags = 0;
559 if (is_packetized(filp)) {
560 buf->ops = &packet_pipe_buf_ops;
561 buf->flags = PIPE_BUF_FLAG_PACKET;
562 }
563 pipe->tmp_page = NULL;
564
Al Virof0d1bec2014-04-03 15:05:18 -0400565 copied = copy_page_from_iter(page, 0, PAGE_SIZE, from);
566 if (unlikely(copied < PAGE_SIZE && iov_iter_count(from))) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200567 if (!ret)
Al Virof0d1bec2014-04-03 15:05:18 -0400568 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569 break;
570 }
Al Virof0d1bec2014-04-03 15:05:18 -0400571 ret += copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700572 buf->offset = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400573 buf->len = copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700574
Al Virof0d1bec2014-04-03 15:05:18 -0400575 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700576 break;
577 }
David Howells8cefc102019-11-15 13:30:32 +0000578
David Howells8f868d62019-12-05 22:30:37 +0000579 if (!pipe_full(head, pipe->tail, pipe->max_usage))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700580 continue;
David Howells8cefc102019-11-15 13:30:32 +0000581
582 /* Wait for buffer space to become available. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700583 if (filp->f_flags & O_NONBLOCK) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200584 if (!ret)
585 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700586 break;
587 }
588 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200589 if (!ret)
590 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700591 break;
592 }
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800593
594 /*
595 * We're going to release the pipe lock and wait for more
596 * space. We wake up any readers if necessary, and then
597 * after waiting we need to re-check whether the pipe
598 * become empty while we dropped the lock.
599 */
Linus Torvalds85190d12019-12-07 13:53:09 -0800600 __pipe_unlock(pipe);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800601 if (was_empty) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800602 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800603 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
604 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800605 wait_event_interruptible_exclusive(pipe->wr_wait, pipe_writable(pipe));
Linus Torvalds85190d12019-12-07 13:53:09 -0800606 __pipe_lock(pipe);
Jan Stancek0dd1e372019-12-22 13:33:24 +0100607 was_empty = pipe_empty(pipe->head, pipe->tail);
Linus Torvalds0ddad212019-12-09 09:48:27 -0800608 wake_next_writer = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609 }
610out:
Linus Torvalds0ddad212019-12-09 09:48:27 -0800611 if (pipe_full(pipe->head, pipe->tail, pipe->max_usage))
612 wake_next_writer = false;
Al Viroebec73f2013-03-21 12:24:01 -0400613 __pipe_unlock(pipe);
Linus Torvalds1b6b26a2019-12-07 12:14:28 -0800614
615 /*
616 * If we do do a wakeup event, we do a 'sync' wakeup, because we
617 * want the reader to start processing things asap, rather than
618 * leave the data pending.
619 *
620 * This is particularly important for small writes, because of
621 * how (for example) the GNU make jobserver uses small writes to
622 * wake up pending jobs
623 */
624 if (was_empty) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800625 wake_up_interruptible_sync_poll(&pipe->rd_wait, EPOLLIN | EPOLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200626 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700627 }
Linus Torvalds0ddad212019-12-09 09:48:27 -0800628 if (wake_next_writer)
629 wake_up_interruptible_sync_poll(&pipe->wr_wait, EPOLLOUT | EPOLLWRNORM);
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800630 if (ret > 0 && sb_start_write_trylock(file_inode(filp)->i_sb)) {
Josef Bacikc3b2da32012-03-26 09:59:21 -0400631 int err = file_update_time(filp);
632 if (err)
633 ret = err;
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800634 sb_end_write(file_inode(filp)->i_sb);
Josef Bacikc3b2da32012-03-26 09:59:21 -0400635 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700636 return ret;
637}
638
Andi Kleend59d0b12008-02-08 04:21:23 -0800639static long pipe_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640{
Al Virode32ec42013-03-21 11:16:56 -0400641 struct pipe_inode_info *pipe = filp->private_data;
David Howells8cefc102019-11-15 13:30:32 +0000642 int count, head, tail, mask;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700643
644 switch (cmd) {
David Howellsc73be612020-01-14 17:07:11 +0000645 case FIONREAD:
646 __pipe_lock(pipe);
647 count = 0;
648 head = pipe->head;
649 tail = pipe->tail;
650 mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000651
David Howellsc73be612020-01-14 17:07:11 +0000652 while (tail != head) {
653 count += pipe->bufs[tail & mask].len;
654 tail++;
655 }
656 __pipe_unlock(pipe);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200657
David Howellsc73be612020-01-14 17:07:11 +0000658 return put_user(count, (int __user *)arg);
659
660#ifdef CONFIG_WATCH_QUEUE
661 case IOC_WATCH_QUEUE_SET_SIZE: {
662 int ret;
663 __pipe_lock(pipe);
664 ret = watch_queue_set_size(pipe, arg);
665 __pipe_unlock(pipe);
666 return ret;
667 }
668
669 case IOC_WATCH_QUEUE_SET_FILTER:
670 return watch_queue_set_filter(
671 pipe, (struct watch_notification_filter __user *)arg);
672#endif
673
674 default:
675 return -ENOIOCTLCMD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700676 }
677}
678
Christoph Hellwigdd670812017-12-31 16:42:12 +0100679/* No kernel lock held - fine */
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700680static __poll_t
681pipe_poll(struct file *filp, poll_table *wait)
Christoph Hellwigdd670812017-12-31 16:42:12 +0100682{
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700683 __poll_t mask;
Christoph Hellwigdd670812017-12-31 16:42:12 +0100684 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvaldsad910e32019-12-07 10:41:17 -0800685 unsigned int head, tail;
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700686
Linus Torvaldsad910e32019-12-07 10:41:17 -0800687 /*
Linus Torvalds0ddad212019-12-09 09:48:27 -0800688 * Reading pipe state only -- no need for acquiring the semaphore.
Linus Torvaldsad910e32019-12-07 10:41:17 -0800689 *
690 * But because this is racy, the code has to add the
691 * entry to the poll table _first_ ..
692 */
Linus Torvalds0ddad212019-12-09 09:48:27 -0800693 if (filp->f_mode & FMODE_READ)
694 poll_wait(filp, &pipe->rd_wait, wait);
695 if (filp->f_mode & FMODE_WRITE)
696 poll_wait(filp, &pipe->wr_wait, wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700697
Linus Torvaldsad910e32019-12-07 10:41:17 -0800698 /*
699 * .. and only then can you do the racy tests. That way,
700 * if something changes and you got it wrong, the poll
701 * table entry will wake you up and fix it.
702 */
703 head = READ_ONCE(pipe->head);
704 tail = READ_ONCE(pipe->tail);
705
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700706 mask = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700707 if (filp->f_mode & FMODE_READ) {
David Howells8cefc102019-11-15 13:30:32 +0000708 if (!pipe_empty(head, tail))
709 mask |= EPOLLIN | EPOLLRDNORM;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200710 if (!pipe->writers && filp->f_version != pipe->w_counter)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800711 mask |= EPOLLHUP;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700712 }
713
714 if (filp->f_mode & FMODE_WRITE) {
David Howells6718b6f2019-10-16 16:47:32 +0100715 if (!pipe_full(head, tail, pipe->max_usage))
David Howells8cefc102019-11-15 13:30:32 +0000716 mask |= EPOLLOUT | EPOLLWRNORM;
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700717 /*
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800718 * Most Unices do not set EPOLLERR for FIFOs but on Linux they
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700719 * behave exactly like pipes for poll().
720 */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200721 if (!pipe->readers)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800722 mask |= EPOLLERR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700723 }
724
725 return mask;
726}
727
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800728static void put_pipe_info(struct inode *inode, struct pipe_inode_info *pipe)
729{
730 int kill = 0;
731
732 spin_lock(&inode->i_lock);
733 if (!--pipe->files) {
734 inode->i_pipe = NULL;
735 kill = 1;
736 }
737 spin_unlock(&inode->i_lock);
738
739 if (kill)
740 free_pipe_info(pipe);
741}
742
Linus Torvalds1da177e2005-04-16 15:20:36 -0700743static int
Al Viro599a0ac2013-03-12 09:58:10 -0400744pipe_release(struct inode *inode, struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700745{
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800746 struct pipe_inode_info *pipe = file->private_data;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200747
Al Viroebec73f2013-03-21 12:24:01 -0400748 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400749 if (file->f_mode & FMODE_READ)
750 pipe->readers--;
751 if (file->f_mode & FMODE_WRITE)
752 pipe->writers--;
Ingo Molnar341b4462006-04-11 13:57:45 +0200753
Linus Torvalds6551d5c2020-02-18 10:12:58 -0800754 /* Was that the last reader or writer, but not the other side? */
755 if (!pipe->readers != !pipe->writers) {
756 wake_up_interruptible_all(&pipe->rd_wait);
757 wake_up_interruptible_all(&pipe->wr_wait);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200758 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
759 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700760 }
Al Viroebec73f2013-03-21 12:24:01 -0400761 __pipe_unlock(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400762
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800763 put_pipe_info(inode, pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700764 return 0;
765}
766
767static int
Al Viro599a0ac2013-03-12 09:58:10 -0400768pipe_fasync(int fd, struct file *filp, int on)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700769{
Al Virode32ec42013-03-21 11:16:56 -0400770 struct pipe_inode_info *pipe = filp->private_data;
Al Viro599a0ac2013-03-12 09:58:10 -0400771 int retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700772
Al Viroebec73f2013-03-21 12:24:01 -0400773 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400774 if (filp->f_mode & FMODE_READ)
775 retval = fasync_helper(fd, filp, on, &pipe->fasync_readers);
776 if ((filp->f_mode & FMODE_WRITE) && retval >= 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200777 retval = fasync_helper(fd, filp, on, &pipe->fasync_writers);
Al Viro599a0ac2013-03-12 09:58:10 -0400778 if (retval < 0 && (filp->f_mode & FMODE_READ))
779 /* this can happen only if on == T */
Oleg Nesterove5bc49b2009-03-12 14:31:28 -0700780 fasync_helper(-1, filp, 0, &pipe->fasync_readers);
781 }
Al Viroebec73f2013-03-21 12:24:01 -0400782 __pipe_unlock(pipe);
Jonathan Corbet60aa4922009-02-01 14:52:56 -0700783 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700784}
785
David Howellsc73be612020-01-14 17:07:11 +0000786unsigned long account_pipe_buffers(struct user_struct *user,
787 unsigned long old, unsigned long new)
Willy Tarreau759c0112016-01-18 16:36:09 +0100788{
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700789 return atomic_long_add_return(new - old, &user->pipe_bufs);
Willy Tarreau759c0112016-01-18 16:36:09 +0100790}
791
David Howellsc73be612020-01-14 17:07:11 +0000792bool too_many_pipe_buffers_soft(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100793{
Eric Biggersf7340762018-02-06 15:42:08 -0800794 unsigned long soft_limit = READ_ONCE(pipe_user_pages_soft);
795
796 return soft_limit && user_bufs > soft_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100797}
798
David Howellsc73be612020-01-14 17:07:11 +0000799bool too_many_pipe_buffers_hard(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100800{
Eric Biggersf7340762018-02-06 15:42:08 -0800801 unsigned long hard_limit = READ_ONCE(pipe_user_pages_hard);
802
803 return hard_limit && user_bufs > hard_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100804}
805
David Howellsc73be612020-01-14 17:07:11 +0000806bool pipe_is_unprivileged_user(void)
Eric Biggers85c2dd52018-02-06 15:41:53 -0800807{
808 return !capable(CAP_SYS_RESOURCE) && !capable(CAP_SYS_ADMIN);
809}
810
Al Viro7bee1302013-03-21 11:04:15 -0400811struct pipe_inode_info *alloc_pipe_info(void)
Ingo Molnar3a326a22006-04-10 15:18:35 +0200812{
Ingo Molnar923f4f22006-04-11 13:53:33 +0200813 struct pipe_inode_info *pipe;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700814 unsigned long pipe_bufs = PIPE_DEF_BUFFERS;
815 struct user_struct *user = get_current_user();
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700816 unsigned long user_bufs;
Eric Biggersf7340762018-02-06 15:42:08 -0800817 unsigned int max_size = READ_ONCE(pipe_max_size);
Ingo Molnar3a326a22006-04-10 15:18:35 +0200818
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700819 pipe = kzalloc(sizeof(struct pipe_inode_info), GFP_KERNEL_ACCOUNT);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700820 if (pipe == NULL)
821 goto out_free_uid;
Willy Tarreau759c0112016-01-18 16:36:09 +0100822
Eric Biggersf7340762018-02-06 15:42:08 -0800823 if (pipe_bufs * PAGE_SIZE > max_size && !capable(CAP_SYS_RESOURCE))
824 pipe_bufs = max_size >> PAGE_SHIFT;
Michael Kerrisk (man-pages)086e7742016-10-11 13:53:43 -0700825
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700826 user_bufs = account_pipe_buffers(user, 0, pipe_bufs);
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700827
David Howellsc73be612020-01-14 17:07:11 +0000828 if (too_many_pipe_buffers_soft(user_bufs) && pipe_is_unprivileged_user()) {
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700829 user_bufs = account_pipe_buffers(user, pipe_bufs, 1);
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700830 pipe_bufs = 1;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200831 }
832
David Howellsc73be612020-01-14 17:07:11 +0000833 if (too_many_pipe_buffers_hard(user_bufs) && pipe_is_unprivileged_user())
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700834 goto out_revert_acct;
835
836 pipe->bufs = kcalloc(pipe_bufs, sizeof(struct pipe_buffer),
837 GFP_KERNEL_ACCOUNT);
838
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700839 if (pipe->bufs) {
Linus Torvalds0ddad212019-12-09 09:48:27 -0800840 init_waitqueue_head(&pipe->rd_wait);
841 init_waitqueue_head(&pipe->wr_wait);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700842 pipe->r_counter = pipe->w_counter = 1;
David Howells6718b6f2019-10-16 16:47:32 +0100843 pipe->max_usage = pipe_bufs;
David Howells8cefc102019-11-15 13:30:32 +0000844 pipe->ring_size = pipe_bufs;
David Howellsc73be612020-01-14 17:07:11 +0000845 pipe->nr_accounted = pipe_bufs;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700846 pipe->user = user;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700847 mutex_init(&pipe->mutex);
848 return pipe;
849 }
850
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700851out_revert_acct:
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700852 (void) account_pipe_buffers(user, pipe_bufs, 0);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700853 kfree(pipe);
854out_free_uid:
855 free_uid(user);
Jens Axboe35f3d142010-05-20 10:43:18 +0200856 return NULL;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200857}
858
Al Viro4b8a8f12013-03-21 11:06:46 -0400859void free_pipe_info(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700860{
861 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700862
David Howellsc73be612020-01-14 17:07:11 +0000863#ifdef CONFIG_WATCH_QUEUE
864 if (pipe->watch_queue) {
865 watch_queue_clear(pipe->watch_queue);
866 put_watch_queue(pipe->watch_queue);
867 }
868#endif
869
870 (void) account_pipe_buffers(pipe->user, pipe->nr_accounted, 0);
Willy Tarreau759c0112016-01-18 16:36:09 +0100871 free_uid(pipe->user);
David Howells8cefc102019-11-15 13:30:32 +0000872 for (i = 0; i < pipe->ring_size; i++) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200873 struct pipe_buffer *buf = pipe->bufs + i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700874 if (buf->ops)
Miklos Szeredia7796382016-09-27 10:45:12 +0200875 pipe_buf_release(pipe, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700876 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200877 if (pipe->tmp_page)
878 __free_page(pipe->tmp_page);
Jens Axboe35f3d142010-05-20 10:43:18 +0200879 kfree(pipe->bufs);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200880 kfree(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700881}
882
Eric Dumazetfa3536c2006-03-26 01:37:24 -0800883static struct vfsmount *pipe_mnt __read_mostly;
Ingo Molnar341b4462006-04-11 13:57:45 +0200884
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700885/*
886 * pipefs_dname() is called from d_path().
887 */
888static char *pipefs_dname(struct dentry *dentry, char *buffer, int buflen)
889{
890 return dynamic_dname(dentry, buffer, buflen, "pipe:[%lu]",
David Howells75c3cfa2015-03-17 22:26:12 +0000891 d_inode(dentry)->i_ino);
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700892}
893
Al Viro3ba13d12009-02-20 06:02:22 +0000894static const struct dentry_operations pipefs_dentry_operations = {
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700895 .d_dname = pipefs_dname,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700896};
897
898static struct inode * get_pipe_inode(void)
899{
Eric Dumazeta209dfc2011-07-26 11:36:34 +0200900 struct inode *inode = new_inode_pseudo(pipe_mnt->mnt_sb);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200901 struct pipe_inode_info *pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700902
903 if (!inode)
904 goto fail_inode;
905
Christoph Hellwig85fe4022010-10-23 11:19:54 -0400906 inode->i_ino = get_next_ino();
907
Al Viro7bee1302013-03-21 11:04:15 -0400908 pipe = alloc_pipe_info();
Ingo Molnar923f4f22006-04-11 13:53:33 +0200909 if (!pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910 goto fail_iput;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200911
Al Viroba5bb142013-03-21 02:21:19 -0400912 inode->i_pipe = pipe;
913 pipe->files = 2;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200914 pipe->readers = pipe->writers = 1;
Al Viro599a0ac2013-03-12 09:58:10 -0400915 inode->i_fop = &pipefifo_fops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700916
917 /*
918 * Mark the inode dirty from the very beginning,
919 * that way it will never be moved to the dirty
920 * list because "mark_inode_dirty()" will think
921 * that it already _is_ on the dirty list.
922 */
923 inode->i_state = I_DIRTY;
924 inode->i_mode = S_IFIFO | S_IRUSR | S_IWUSR;
David Howellsda9592e2008-11-14 10:39:05 +1100925 inode->i_uid = current_fsuid();
926 inode->i_gid = current_fsgid();
Deepa Dinamani078cd822016-09-14 07:48:04 -0700927 inode->i_atime = inode->i_mtime = inode->i_ctime = current_time(inode);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200928
Linus Torvalds1da177e2005-04-16 15:20:36 -0700929 return inode;
930
931fail_iput:
932 iput(inode);
Ingo Molnar341b4462006-04-11 13:57:45 +0200933
Linus Torvalds1da177e2005-04-16 15:20:36 -0700934fail_inode:
935 return NULL;
936}
937
Al Viroe4fad8e2012-07-21 15:33:25 +0400938int create_pipe_files(struct file **res, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700939{
Al Viroe4fad8e2012-07-21 15:33:25 +0400940 struct inode *inode = get_pipe_inode();
Andi Kleend6cbd282006-09-30 23:29:26 -0700941 struct file *f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700942
Linus Torvalds1da177e2005-04-16 15:20:36 -0700943 if (!inode)
Al Viroe4fad8e2012-07-21 15:33:25 +0400944 return -ENFILE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700945
David Howellsc73be612020-01-14 17:07:11 +0000946 if (flags & O_NOTIFICATION_PIPE) {
947#ifdef CONFIG_WATCH_QUEUE
948 if (watch_queue_init(inode->i_pipe) < 0) {
949 iput(inode);
950 return -ENOMEM;
951 }
952#else
953 return -ENOPKG;
954#endif
955 }
956
Al Viro152b6372018-06-09 10:05:18 -0400957 f = alloc_file_pseudo(inode, pipe_mnt, "",
958 O_WRONLY | (flags & (O_NONBLOCK | O_DIRECT)),
959 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500960 if (IS_ERR(f)) {
Al Viro152b6372018-06-09 10:05:18 -0400961 free_pipe_info(inode->i_pipe);
962 iput(inode);
963 return PTR_ERR(f);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500964 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700965
Al Virode32ec42013-03-21 11:16:56 -0400966 f->private_data = inode->i_pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700967
Al Viro183266f2018-06-17 14:15:10 -0400968 res[0] = alloc_file_clone(f, O_RDONLY | (flags & O_NONBLOCK),
969 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500970 if (IS_ERR(res[0])) {
Al Virob10a4a92018-07-09 02:29:58 -0400971 put_pipe_info(inode, inode->i_pipe);
972 fput(f);
973 return PTR_ERR(res[0]);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500974 }
Al Virode32ec42013-03-21 11:16:56 -0400975 res[0]->private_data = inode->i_pipe;
Al Viroe4fad8e2012-07-21 15:33:25 +0400976 res[1] = f;
Linus Torvaldsd8e464e2019-11-17 11:20:48 -0800977 stream_open(inode, res[0]);
978 stream_open(inode, res[1]);
Al Viroe4fad8e2012-07-21 15:33:25 +0400979 return 0;
Andi Kleend6cbd282006-09-30 23:29:26 -0700980}
981
Al Viro5b249b12012-08-19 12:17:29 -0400982static int __do_pipe_flags(int *fd, struct file **files, int flags)
Andi Kleend6cbd282006-09-30 23:29:26 -0700983{
Andi Kleend6cbd282006-09-30 23:29:26 -0700984 int error;
985 int fdw, fdr;
986
David Howellsc73be612020-01-14 17:07:11 +0000987 if (flags & ~(O_CLOEXEC | O_NONBLOCK | O_DIRECT | O_NOTIFICATION_PIPE))
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700988 return -EINVAL;
989
Al Viroe4fad8e2012-07-21 15:33:25 +0400990 error = create_pipe_files(files, flags);
991 if (error)
992 return error;
Andi Kleend6cbd282006-09-30 23:29:26 -0700993
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700994 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700995 if (error < 0)
996 goto err_read_pipe;
997 fdr = error;
998
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700999 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -07001000 if (error < 0)
1001 goto err_fdr;
1002 fdw = error;
1003
Al Viro157cf642008-12-14 04:57:47 -05001004 audit_fd_pair(fdr, fdw);
Andi Kleend6cbd282006-09-30 23:29:26 -07001005 fd[0] = fdr;
1006 fd[1] = fdw;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001007 return 0;
1008
Andi Kleend6cbd282006-09-30 23:29:26 -07001009 err_fdr:
1010 put_unused_fd(fdr);
1011 err_read_pipe:
Al Viroe4fad8e2012-07-21 15:33:25 +04001012 fput(files[0]);
1013 fput(files[1]);
Andi Kleend6cbd282006-09-30 23:29:26 -07001014 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001015}
1016
Al Viro5b249b12012-08-19 12:17:29 -04001017int do_pipe_flags(int *fd, int flags)
1018{
1019 struct file *files[2];
1020 int error = __do_pipe_flags(fd, files, flags);
1021 if (!error) {
1022 fd_install(fd[0], files[0]);
1023 fd_install(fd[1], files[1]);
1024 }
1025 return error;
1026}
1027
Linus Torvalds1da177e2005-04-16 15:20:36 -07001028/*
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001029 * sys_pipe() is the normal C calling standard for creating
1030 * a pipe. It's not the way Unix traditionally does this, though.
1031 */
Dominik Brodowski0a216dd2018-03-11 11:34:28 +01001032static int do_pipe2(int __user *fildes, int flags)
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001033{
Al Viro5b249b12012-08-19 12:17:29 -04001034 struct file *files[2];
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001035 int fd[2];
1036 int error;
1037
Al Viro5b249b12012-08-19 12:17:29 -04001038 error = __do_pipe_flags(fd, files, flags);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001039 if (!error) {
Al Viro5b249b12012-08-19 12:17:29 -04001040 if (unlikely(copy_to_user(fildes, fd, sizeof(fd)))) {
1041 fput(files[0]);
1042 fput(files[1]);
1043 put_unused_fd(fd[0]);
1044 put_unused_fd(fd[1]);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001045 error = -EFAULT;
Al Viro5b249b12012-08-19 12:17:29 -04001046 } else {
1047 fd_install(fd[0], files[0]);
1048 fd_install(fd[1], files[1]);
Ulrich Drepperba719ba2008-05-06 20:42:38 -07001049 }
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001050 }
1051 return error;
1052}
1053
Dominik Brodowski0a216dd2018-03-11 11:34:28 +01001054SYSCALL_DEFINE2(pipe2, int __user *, fildes, int, flags)
1055{
1056 return do_pipe2(fildes, flags);
1057}
1058
Heiko Carstens2b664212009-01-14 14:14:35 +01001059SYSCALL_DEFINE1(pipe, int __user *, fildes)
Ulrich Dreppered8cae82008-07-23 21:29:30 -07001060{
Dominik Brodowski0a216dd2018-03-11 11:34:28 +01001061 return do_pipe2(fildes, 0);
Ulrich Dreppered8cae82008-07-23 21:29:30 -07001062}
1063
Al Virofc7478a2013-03-21 02:07:59 -04001064static int wait_for_partner(struct pipe_inode_info *pipe, unsigned int *cnt)
Al Virof776c732013-03-12 09:46:27 -04001065{
David Howells8cefc102019-11-15 13:30:32 +00001066 int cur = *cnt;
Al Virof776c732013-03-12 09:46:27 -04001067
1068 while (cur == *cnt) {
Al Virofc7478a2013-03-21 02:07:59 -04001069 pipe_wait(pipe);
Al Virof776c732013-03-12 09:46:27 -04001070 if (signal_pending(current))
1071 break;
1072 }
1073 return cur == *cnt ? -ERESTARTSYS : 0;
1074}
1075
Al Virofc7478a2013-03-21 02:07:59 -04001076static void wake_up_partner(struct pipe_inode_info *pipe)
Al Virof776c732013-03-12 09:46:27 -04001077{
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001078 wake_up_interruptible_all(&pipe->rd_wait);
1079 wake_up_interruptible_all(&pipe->wr_wait);
Al Virof776c732013-03-12 09:46:27 -04001080}
1081
1082static int fifo_open(struct inode *inode, struct file *filp)
1083{
1084 struct pipe_inode_info *pipe;
Al Viro599a0ac2013-03-12 09:58:10 -04001085 bool is_pipe = inode->i_sb->s_magic == PIPEFS_MAGIC;
Al Virof776c732013-03-12 09:46:27 -04001086 int ret;
1087
Al Viroba5bb142013-03-21 02:21:19 -04001088 filp->f_version = 0;
1089
1090 spin_lock(&inode->i_lock);
1091 if (inode->i_pipe) {
1092 pipe = inode->i_pipe;
1093 pipe->files++;
1094 spin_unlock(&inode->i_lock);
1095 } else {
1096 spin_unlock(&inode->i_lock);
Al Viro7bee1302013-03-21 11:04:15 -04001097 pipe = alloc_pipe_info();
Al Virof776c732013-03-12 09:46:27 -04001098 if (!pipe)
Al Viroba5bb142013-03-21 02:21:19 -04001099 return -ENOMEM;
1100 pipe->files = 1;
1101 spin_lock(&inode->i_lock);
1102 if (unlikely(inode->i_pipe)) {
1103 inode->i_pipe->files++;
1104 spin_unlock(&inode->i_lock);
Al Viro4b8a8f12013-03-21 11:06:46 -04001105 free_pipe_info(pipe);
Al Viroba5bb142013-03-21 02:21:19 -04001106 pipe = inode->i_pipe;
1107 } else {
1108 inode->i_pipe = pipe;
1109 spin_unlock(&inode->i_lock);
1110 }
Al Virof776c732013-03-12 09:46:27 -04001111 }
Al Virode32ec42013-03-21 11:16:56 -04001112 filp->private_data = pipe;
Al Viroba5bb142013-03-21 02:21:19 -04001113 /* OK, we have a pipe and it's pinned down */
1114
Al Viroebec73f2013-03-21 12:24:01 -04001115 __pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001116
1117 /* We can only do regular read/write on fifos */
Linus Torvaldsd8e464e2019-11-17 11:20:48 -08001118 stream_open(inode, filp);
Al Virof776c732013-03-12 09:46:27 -04001119
Linus Torvaldsd8e464e2019-11-17 11:20:48 -08001120 switch (filp->f_mode & (FMODE_READ | FMODE_WRITE)) {
Al Virof776c732013-03-12 09:46:27 -04001121 case FMODE_READ:
1122 /*
1123 * O_RDONLY
1124 * POSIX.1 says that O_NONBLOCK means return with the FIFO
1125 * opened, even when there is no process writing the FIFO.
1126 */
Al Virof776c732013-03-12 09:46:27 -04001127 pipe->r_counter++;
1128 if (pipe->readers++ == 0)
Al Virofc7478a2013-03-21 02:07:59 -04001129 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001130
Al Viro599a0ac2013-03-12 09:58:10 -04001131 if (!is_pipe && !pipe->writers) {
Al Virof776c732013-03-12 09:46:27 -04001132 if ((filp->f_flags & O_NONBLOCK)) {
Linus Torvaldsa9a08842018-02-11 14:34:03 -08001133 /* suppress EPOLLHUP until we have
Al Virof776c732013-03-12 09:46:27 -04001134 * seen a writer */
1135 filp->f_version = pipe->w_counter;
1136 } else {
Al Virofc7478a2013-03-21 02:07:59 -04001137 if (wait_for_partner(pipe, &pipe->w_counter))
Al Virof776c732013-03-12 09:46:27 -04001138 goto err_rd;
1139 }
1140 }
1141 break;
David Howells8cefc102019-11-15 13:30:32 +00001142
Al Virof776c732013-03-12 09:46:27 -04001143 case FMODE_WRITE:
1144 /*
1145 * O_WRONLY
1146 * POSIX.1 says that O_NONBLOCK means return -1 with
1147 * errno=ENXIO when there is no process reading the FIFO.
1148 */
1149 ret = -ENXIO;
Al Viro599a0ac2013-03-12 09:58:10 -04001150 if (!is_pipe && (filp->f_flags & O_NONBLOCK) && !pipe->readers)
Al Virof776c732013-03-12 09:46:27 -04001151 goto err;
1152
Al Virof776c732013-03-12 09:46:27 -04001153 pipe->w_counter++;
1154 if (!pipe->writers++)
Al Virofc7478a2013-03-21 02:07:59 -04001155 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001156
Al Viro599a0ac2013-03-12 09:58:10 -04001157 if (!is_pipe && !pipe->readers) {
Al Virofc7478a2013-03-21 02:07:59 -04001158 if (wait_for_partner(pipe, &pipe->r_counter))
Al Virof776c732013-03-12 09:46:27 -04001159 goto err_wr;
1160 }
1161 break;
David Howells8cefc102019-11-15 13:30:32 +00001162
Al Virof776c732013-03-12 09:46:27 -04001163 case FMODE_READ | FMODE_WRITE:
1164 /*
1165 * O_RDWR
1166 * POSIX.1 leaves this case "undefined" when O_NONBLOCK is set.
1167 * This implementation will NEVER block on a O_RDWR open, since
1168 * the process can at least talk to itself.
1169 */
Al Virof776c732013-03-12 09:46:27 -04001170
1171 pipe->readers++;
1172 pipe->writers++;
1173 pipe->r_counter++;
1174 pipe->w_counter++;
1175 if (pipe->readers == 1 || pipe->writers == 1)
Al Virofc7478a2013-03-21 02:07:59 -04001176 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001177 break;
1178
1179 default:
1180 ret = -EINVAL;
1181 goto err;
1182 }
1183
1184 /* Ok! */
Al Viroebec73f2013-03-21 12:24:01 -04001185 __pipe_unlock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001186 return 0;
1187
1188err_rd:
1189 if (!--pipe->readers)
Linus Torvalds0ddad212019-12-09 09:48:27 -08001190 wake_up_interruptible(&pipe->wr_wait);
Al Virof776c732013-03-12 09:46:27 -04001191 ret = -ERESTARTSYS;
1192 goto err;
1193
1194err_wr:
1195 if (!--pipe->writers)
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001196 wake_up_interruptible_all(&pipe->rd_wait);
Al Virof776c732013-03-12 09:46:27 -04001197 ret = -ERESTARTSYS;
1198 goto err;
1199
1200err:
Al Viroebec73f2013-03-21 12:24:01 -04001201 __pipe_unlock(pipe);
Linus Torvaldsb0d8d222013-12-02 09:44:51 -08001202
1203 put_pipe_info(inode, pipe);
Al Virof776c732013-03-12 09:46:27 -04001204 return ret;
1205}
1206
Al Viro599a0ac2013-03-12 09:58:10 -04001207const struct file_operations pipefifo_fops = {
1208 .open = fifo_open,
1209 .llseek = no_llseek,
Al Virofb9096a2014-04-02 19:56:54 -04001210 .read_iter = pipe_read,
Al Virof0d1bec2014-04-03 15:05:18 -04001211 .write_iter = pipe_write,
Linus Torvaldsa11e1d42018-06-28 09:43:44 -07001212 .poll = pipe_poll,
Al Viro599a0ac2013-03-12 09:58:10 -04001213 .unlocked_ioctl = pipe_ioctl,
1214 .release = pipe_release,
1215 .fasync = pipe_fasync,
Al Virof776c732013-03-12 09:46:27 -04001216};
1217
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001218/*
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001219 * Currently we rely on the pipe array holding a power-of-2 number
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001220 * of pages. Returns 0 on error.
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001221 */
Eric Biggers96e99be402018-02-06 15:42:00 -08001222unsigned int round_pipe_size(unsigned long size)
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001223{
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001224 if (size > (1U << 31))
Eric Biggers96e99be402018-02-06 15:42:00 -08001225 return 0;
1226
Eric Biggers4c2e4be2018-02-06 15:41:45 -08001227 /* Minimum pipe size, as required by POSIX */
1228 if (size < PAGE_SIZE)
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001229 return PAGE_SIZE;
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001230
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001231 return roundup_pow_of_two(size);
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001232}
1233
1234/*
David Howellsc73be612020-01-14 17:07:11 +00001235 * Resize the pipe ring to a number of slots.
Jens Axboe35f3d142010-05-20 10:43:18 +02001236 */
David Howellsc73be612020-01-14 17:07:11 +00001237int pipe_resize_ring(struct pipe_inode_info *pipe, unsigned int nr_slots)
Jens Axboe35f3d142010-05-20 10:43:18 +02001238{
1239 struct pipe_buffer *bufs;
David Howellsc73be612020-01-14 17:07:11 +00001240 unsigned int head, tail, mask, n;
Jens Axboe35f3d142010-05-20 10:43:18 +02001241
1242 /*
David Howells8cefc102019-11-15 13:30:32 +00001243 * We can shrink the pipe, if arg is greater than the ring occupancy.
1244 * Since we don't expect a lot of shrink+grow operations, just free and
1245 * allocate again like we would do for growing. If the pipe currently
Jens Axboe35f3d142010-05-20 10:43:18 +02001246 * contains more buffers than arg, then return busy.
1247 */
David Howells8cefc102019-11-15 13:30:32 +00001248 mask = pipe->ring_size - 1;
1249 head = pipe->head;
1250 tail = pipe->tail;
1251 n = pipe_occupancy(pipe->head, pipe->tail);
David Howellsc73be612020-01-14 17:07:11 +00001252 if (nr_slots < n)
1253 return -EBUSY;
Jens Axboe35f3d142010-05-20 10:43:18 +02001254
David Howells8cefc102019-11-15 13:30:32 +00001255 bufs = kcalloc(nr_slots, sizeof(*bufs),
Vladimir Davydovd86133b2016-07-26 15:24:33 -07001256 GFP_KERNEL_ACCOUNT | __GFP_NOWARN);
David Howellsc73be612020-01-14 17:07:11 +00001257 if (unlikely(!bufs))
1258 return -ENOMEM;
Jens Axboe35f3d142010-05-20 10:43:18 +02001259
1260 /*
1261 * The pipe array wraps around, so just start the new one at zero
David Howells8cefc102019-11-15 13:30:32 +00001262 * and adjust the indices.
Jens Axboe35f3d142010-05-20 10:43:18 +02001263 */
David Howells8cefc102019-11-15 13:30:32 +00001264 if (n > 0) {
1265 unsigned int h = head & mask;
1266 unsigned int t = tail & mask;
1267 if (h > t) {
1268 memcpy(bufs, pipe->bufs + t,
1269 n * sizeof(struct pipe_buffer));
1270 } else {
1271 unsigned int tsize = pipe->ring_size - t;
1272 if (h > 0)
1273 memcpy(bufs + tsize, pipe->bufs,
1274 h * sizeof(struct pipe_buffer));
1275 memcpy(bufs, pipe->bufs + t,
1276 tsize * sizeof(struct pipe_buffer));
1277 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001278 }
1279
David Howells8cefc102019-11-15 13:30:32 +00001280 head = n;
1281 tail = 0;
1282
Jens Axboe35f3d142010-05-20 10:43:18 +02001283 kfree(pipe->bufs);
1284 pipe->bufs = bufs;
David Howells8cefc102019-11-15 13:30:32 +00001285 pipe->ring_size = nr_slots;
David Howellsc73be612020-01-14 17:07:11 +00001286 if (pipe->max_usage > nr_slots)
1287 pipe->max_usage = nr_slots;
David Howells8cefc102019-11-15 13:30:32 +00001288 pipe->tail = tail;
1289 pipe->head = head;
Linus Torvalds6551d5c2020-02-18 10:12:58 -08001290
1291 /* This might have made more room for writers */
1292 wake_up_interruptible(&pipe->wr_wait);
David Howellsc73be612020-01-14 17:07:11 +00001293 return 0;
1294}
1295
1296/*
1297 * Allocate a new array of pipe buffers and copy the info over. Returns the
1298 * pipe size if successful, or return -ERROR on error.
1299 */
1300static long pipe_set_size(struct pipe_inode_info *pipe, unsigned long arg)
1301{
1302 unsigned long user_bufs;
1303 unsigned int nr_slots, size;
1304 long ret = 0;
1305
1306#ifdef CONFIG_WATCH_QUEUE
1307 if (pipe->watch_queue)
1308 return -EBUSY;
1309#endif
1310
1311 size = round_pipe_size(arg);
1312 nr_slots = size >> PAGE_SHIFT;
1313
1314 if (!nr_slots)
1315 return -EINVAL;
1316
1317 /*
1318 * If trying to increase the pipe capacity, check that an
1319 * unprivileged user is not trying to exceed various limits
1320 * (soft limit check here, hard limit check just below).
1321 * Decreasing the pipe capacity is always permitted, even
1322 * if the user is currently over a limit.
1323 */
1324 if (nr_slots > pipe->max_usage &&
1325 size > pipe_max_size && !capable(CAP_SYS_RESOURCE))
1326 return -EPERM;
1327
1328 user_bufs = account_pipe_buffers(pipe->user, pipe->nr_accounted, nr_slots);
1329
1330 if (nr_slots > pipe->max_usage &&
1331 (too_many_pipe_buffers_hard(user_bufs) ||
1332 too_many_pipe_buffers_soft(user_bufs)) &&
1333 pipe_is_unprivileged_user()) {
1334 ret = -EPERM;
1335 goto out_revert_acct;
1336 }
1337
1338 ret = pipe_resize_ring(pipe, nr_slots);
1339 if (ret < 0)
1340 goto out_revert_acct;
1341
1342 pipe->max_usage = nr_slots;
1343 pipe->nr_accounted = nr_slots;
David Howells6718b6f2019-10-16 16:47:32 +01001344 return pipe->max_usage * PAGE_SIZE;
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001345
1346out_revert_acct:
David Howellsc73be612020-01-14 17:07:11 +00001347 (void) account_pipe_buffers(pipe->user, nr_slots, pipe->nr_accounted);
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001348 return ret;
Jens Axboe35f3d142010-05-20 10:43:18 +02001349}
1350
Jens Axboeff9da692010-06-03 14:54:39 +02001351/*
Linus Torvalds72083642010-11-28 16:27:19 -08001352 * After the inode slimming patch, i_pipe/i_bdev/i_cdev share the same
1353 * location, so checking ->i_pipe is not enough to verify that this is a
1354 * pipe.
1355 */
David Howellsc73be612020-01-14 17:07:11 +00001356struct pipe_inode_info *get_pipe_info(struct file *file, bool for_splice)
Linus Torvalds72083642010-11-28 16:27:19 -08001357{
David Howellsc73be612020-01-14 17:07:11 +00001358 struct pipe_inode_info *pipe = file->private_data;
1359
1360 if (file->f_op != &pipefifo_fops || !pipe)
1361 return NULL;
1362#ifdef CONFIG_WATCH_QUEUE
1363 if (for_splice && pipe->watch_queue)
1364 return NULL;
1365#endif
1366 return pipe;
Linus Torvalds72083642010-11-28 16:27:19 -08001367}
1368
Jens Axboe35f3d142010-05-20 10:43:18 +02001369long pipe_fcntl(struct file *file, unsigned int cmd, unsigned long arg)
1370{
1371 struct pipe_inode_info *pipe;
1372 long ret;
1373
David Howellsc73be612020-01-14 17:07:11 +00001374 pipe = get_pipe_info(file, false);
Jens Axboe35f3d142010-05-20 10:43:18 +02001375 if (!pipe)
1376 return -EBADF;
1377
Al Viroebec73f2013-03-21 12:24:01 -04001378 __pipe_lock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001379
1380 switch (cmd) {
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001381 case F_SETPIPE_SZ:
1382 ret = pipe_set_size(pipe, arg);
Jens Axboe35f3d142010-05-20 10:43:18 +02001383 break;
1384 case F_GETPIPE_SZ:
David Howells6718b6f2019-10-16 16:47:32 +01001385 ret = pipe->max_usage * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001386 break;
1387 default:
1388 ret = -EINVAL;
1389 break;
1390 }
1391
Al Viroebec73f2013-03-21 12:24:01 -04001392 __pipe_unlock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001393 return ret;
1394}
1395
Nick Pigginff0c7d12011-01-07 17:49:50 +11001396static const struct super_operations pipefs_ops = {
1397 .destroy_inode = free_inode_nonrcu,
Pavel Emelyanovd70ef972011-10-31 17:10:04 -07001398 .statfs = simple_statfs,
Nick Pigginff0c7d12011-01-07 17:49:50 +11001399};
1400
Jens Axboe35f3d142010-05-20 10:43:18 +02001401/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001402 * pipefs should _never_ be mounted by userland - too much of security hassle,
1403 * no real gain from having the whole whorehouse mounted. So we don't need
1404 * any operations on the root directory. However, we need a non-trivial
1405 * d_name - pipe: will go nicely and kill the special-casing in procfs.
1406 */
David Howells4fa7ec52019-03-25 16:38:23 +00001407
1408static int pipefs_init_fs_context(struct fs_context *fc)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001409{
David Howells4fa7ec52019-03-25 16:38:23 +00001410 struct pseudo_fs_context *ctx = init_pseudo(fc, PIPEFS_MAGIC);
1411 if (!ctx)
1412 return -ENOMEM;
1413 ctx->ops = &pipefs_ops;
1414 ctx->dops = &pipefs_dentry_operations;
1415 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001416}
1417
1418static struct file_system_type pipe_fs_type = {
1419 .name = "pipefs",
David Howells4fa7ec52019-03-25 16:38:23 +00001420 .init_fs_context = pipefs_init_fs_context,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001421 .kill_sb = kill_anon_super,
1422};
1423
1424static int __init init_pipe_fs(void)
1425{
1426 int err = register_filesystem(&pipe_fs_type);
Ingo Molnar341b4462006-04-11 13:57:45 +02001427
Linus Torvalds1da177e2005-04-16 15:20:36 -07001428 if (!err) {
1429 pipe_mnt = kern_mount(&pipe_fs_type);
1430 if (IS_ERR(pipe_mnt)) {
1431 err = PTR_ERR(pipe_mnt);
1432 unregister_filesystem(&pipe_fs_type);
1433 }
1434 }
1435 return err;
1436}
1437
Linus Torvalds1da177e2005-04-16 15:20:36 -07001438fs_initcall(init_pipe_fs);