blob: 3e8b11e3b764bc3ebe4ee71feb6328357436a3bc [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{
111 DEFINE_WAIT(wait);
112
Ingo Molnard79fc0f2005-09-10 00:26:12 -0700113 /*
114 * Pipes are system-local resources, so sleeping on them
115 * is considered a noninteractive wait:
116 */
Mike Galbraithaf927232007-10-15 17:00:13 +0200117 prepare_to_wait(&pipe->wait, &wait, TASK_INTERRUPTIBLE);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200118 pipe_unlock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700119 schedule();
Ingo Molnar3a326a22006-04-10 15:18:35 +0200120 finish_wait(&pipe->wait, &wait);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200121 pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122}
123
Ingo Molnar341b4462006-04-11 13:57:45 +0200124static void anon_pipe_buf_release(struct pipe_inode_info *pipe,
125 struct pipe_buffer *buf)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126{
127 struct page *page = buf->page;
128
Jens Axboe5274f052006-03-30 15:15:30 +0200129 /*
130 * If nobody else uses this page, and we don't already have a
131 * temporary page, let's keep track of it as a one-deep
Ingo Molnar341b4462006-04-11 13:57:45 +0200132 * allocation cache. (Otherwise just release our reference to it)
Jens Axboe5274f052006-03-30 15:15:30 +0200133 */
Ingo Molnar341b4462006-04-11 13:57:45 +0200134 if (page_count(page) == 1 && !pipe->tmp_page)
Ingo Molnar923f4f22006-04-11 13:53:33 +0200135 pipe->tmp_page = page;
Ingo Molnar341b4462006-04-11 13:57:45 +0200136 else
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300137 put_page(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700138}
139
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700140static int anon_pipe_buf_steal(struct pipe_inode_info *pipe,
141 struct pipe_buffer *buf)
142{
143 struct page *page = buf->page;
144
145 if (page_count(page) == 1) {
Shakeel Butt60cd4bc2019-03-05 15:43:13 -0800146 memcg_kmem_uncharge(page, 0);
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700147 __SetPageLocked(page);
148 return 0;
149 }
150 return 1;
151}
152
Jens Axboe08457182007-06-12 20:51:32 +0200153/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800154 * generic_pipe_buf_steal - attempt to take ownership of a &pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200155 * @pipe: the pipe that the buffer belongs to
156 * @buf: the buffer to attempt to steal
157 *
158 * Description:
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800159 * This function attempts to steal the &struct page attached to
Jens Axboe08457182007-06-12 20:51:32 +0200160 * @buf. If successful, this function returns 0 and returns with
161 * the page locked. The caller may then reuse the page for whatever
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800162 * he wishes; the typical use is insertion into a different file
Jens Axboe08457182007-06-12 20:51:32 +0200163 * page cache.
164 */
Jens Axboe330ab712006-05-02 15:29:57 +0200165int generic_pipe_buf_steal(struct pipe_inode_info *pipe,
166 struct pipe_buffer *buf)
Jens Axboe5abc97a2006-03-30 15:16:46 +0200167{
Jens Axboe46e678c2006-04-30 16:36:32 +0200168 struct page *page = buf->page;
169
Jens Axboe08457182007-06-12 20:51:32 +0200170 /*
171 * A reference of one is golden, that means that the owner of this
172 * page is the only one holding a reference to it. lock the page
173 * and return OK.
174 */
Jens Axboe46e678c2006-04-30 16:36:32 +0200175 if (page_count(page) == 1) {
Jens Axboe46e678c2006-04-30 16:36:32 +0200176 lock_page(page);
177 return 0;
178 }
179
180 return 1;
Jens Axboe5abc97a2006-03-30 15:16:46 +0200181}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200182EXPORT_SYMBOL(generic_pipe_buf_steal);
Jens Axboe5abc97a2006-03-30 15:16:46 +0200183
Jens Axboe08457182007-06-12 20:51:32 +0200184/**
Randy Dunlapb51d63c2008-02-13 15:03:22 -0800185 * generic_pipe_buf_get - get a reference to a &struct pipe_buffer
Jens Axboe08457182007-06-12 20:51:32 +0200186 * @pipe: the pipe that the buffer belongs to
187 * @buf: the buffer to get a reference to
188 *
189 * Description:
190 * This function grabs an extra reference to @buf. It's used in
191 * in the tee() system call, when we duplicate the buffers in one
192 * pipe into another.
193 */
Matthew Wilcox15fab632019-04-05 14:02:10 -0700194bool generic_pipe_buf_get(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
Jens Axboe70524492006-04-11 15:51:17 +0200195{
Matthew Wilcox15fab632019-04-05 14:02:10 -0700196 return try_get_page(buf->page);
Jens Axboe70524492006-04-11 15:51:17 +0200197}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200198EXPORT_SYMBOL(generic_pipe_buf_get);
Jens Axboe70524492006-04-11 15:51:17 +0200199
Jens Axboe08457182007-06-12 20:51:32 +0200200/**
201 * generic_pipe_buf_confirm - verify contents of the pipe buffer
Randy Dunlap79685b82007-07-27 08:08:51 +0200202 * @info: the pipe that the buffer belongs to
Jens Axboe08457182007-06-12 20:51:32 +0200203 * @buf: the buffer to confirm
204 *
205 * Description:
206 * This function does nothing, because the generic pipe code uses
207 * pages that are always good when inserted into the pipe.
208 */
Jens Axboecac36bb02007-06-14 13:10:48 +0200209int generic_pipe_buf_confirm(struct pipe_inode_info *info,
210 struct pipe_buffer *buf)
Jens Axboef84d7512006-05-01 19:59:03 +0200211{
212 return 0;
213}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200214EXPORT_SYMBOL(generic_pipe_buf_confirm);
Jens Axboef84d7512006-05-01 19:59:03 +0200215
Miklos Szeredi68181732009-05-07 15:37:36 +0200216/**
217 * generic_pipe_buf_release - put a reference to a &struct pipe_buffer
218 * @pipe: the pipe that the buffer belongs to
219 * @buf: the buffer to put a reference to
220 *
221 * Description:
222 * This function releases a reference to @buf.
223 */
224void generic_pipe_buf_release(struct pipe_inode_info *pipe,
225 struct pipe_buffer *buf)
226{
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300227 put_page(buf->page);
Miklos Szeredi68181732009-05-07 15:37:36 +0200228}
Miklos Szeredi51921cb2010-05-26 08:44:22 +0200229EXPORT_SYMBOL(generic_pipe_buf_release);
Miklos Szeredi68181732009-05-07 15:37:36 +0200230
Jann Horn01e71872019-01-23 15:19:18 +0100231/* New data written to a pipe may be appended to a buffer with this type. */
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800232static const struct pipe_buf_operations anon_pipe_buf_ops = {
Jens Axboecac36bb02007-06-14 13:10:48 +0200233 .confirm = generic_pipe_buf_confirm,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700234 .release = anon_pipe_buf_release,
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700235 .steal = anon_pipe_buf_steal,
Jens Axboef84d7512006-05-01 19:59:03 +0200236 .get = generic_pipe_buf_get,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700237};
238
Jann Horna0ce2f02019-01-23 15:19:17 +0100239static const struct pipe_buf_operations anon_pipe_buf_nomerge_ops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240 .confirm = generic_pipe_buf_confirm,
241 .release = anon_pipe_buf_release,
242 .steal = anon_pipe_buf_steal,
243 .get = generic_pipe_buf_get,
Ingo Molnar923f4f22006-04-11 13:53:33 +0200244};
Linus Torvalds1da177e2005-04-16 15:20:36 -0700245
Linus Torvalds98830352012-04-29 13:12:42 -0700246static const struct pipe_buf_operations packet_pipe_buf_ops = {
Linus Torvalds98830352012-04-29 13:12:42 -0700247 .confirm = generic_pipe_buf_confirm,
248 .release = anon_pipe_buf_release,
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700249 .steal = anon_pipe_buf_steal,
Linus Torvalds98830352012-04-29 13:12:42 -0700250 .get = generic_pipe_buf_get,
251};
252
Jann Horn01e71872019-01-23 15:19:18 +0100253/**
254 * pipe_buf_mark_unmergeable - mark a &struct pipe_buffer as unmergeable
255 * @buf: the buffer to mark
256 *
257 * Description:
258 * This function ensures that no future writes will be merged into the
259 * given &struct pipe_buffer. This is necessary when multiple pipe buffers
260 * share the same backing page.
261 */
Jann Horna0ce2f02019-01-23 15:19:17 +0100262void pipe_buf_mark_unmergeable(struct pipe_buffer *buf)
263{
264 if (buf->ops == &anon_pipe_buf_ops)
265 buf->ops = &anon_pipe_buf_nomerge_ops;
266}
267
Jann Horn01e71872019-01-23 15:19:18 +0100268static bool pipe_buf_can_merge(struct pipe_buffer *buf)
269{
270 return buf->ops == &anon_pipe_buf_ops;
271}
272
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273static ssize_t
Al Virofb9096a2014-04-02 19:56:54 -0400274pipe_read(struct kiocb *iocb, struct iov_iter *to)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700275{
Al Virofb9096a2014-04-02 19:56:54 -0400276 size_t total_len = iov_iter_count(to);
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700277 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400278 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700279 int do_wakeup;
280 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700281
Linus Torvalds1da177e2005-04-16 15:20:36 -0700282 /* Null read succeeds. */
283 if (unlikely(total_len == 0))
284 return 0;
285
286 do_wakeup = 0;
287 ret = 0;
Al Viroebec73f2013-03-21 12:24:01 -0400288 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700289 for (;;) {
David Howells8cefc102019-11-15 13:30:32 +0000290 unsigned int head = pipe->head;
291 unsigned int tail = pipe->tail;
292 unsigned int mask = pipe->ring_size - 1;
293
294 if (!pipe_empty(head, tail)) {
295 struct pipe_buffer *buf = &pipe->bufs[tail & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296 size_t chars = buf->len;
Al Viro637b58c2014-02-03 19:11:42 -0500297 size_t written;
298 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299
300 if (chars > total_len)
301 chars = total_len;
302
Miklos Szeredifba597d2016-09-27 10:45:12 +0200303 error = pipe_buf_confirm(pipe, buf);
Jens Axboef84d7512006-05-01 19:59:03 +0200304 if (error) {
Jens Axboe5274f052006-03-30 15:15:30 +0200305 if (!ret)
Nicolas Kaisere5953cb2010-10-21 14:56:00 +0200306 ret = error;
Jens Axboe5274f052006-03-30 15:15:30 +0200307 break;
308 }
Jens Axboef84d7512006-05-01 19:59:03 +0200309
Al Virofb9096a2014-04-02 19:56:54 -0400310 written = copy_page_to_iter(buf->page, buf->offset, chars, to);
Al Viro637b58c2014-02-03 19:11:42 -0500311 if (unlikely(written < chars)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200312 if (!ret)
Al Viro637b58c2014-02-03 19:11:42 -0500313 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700314 break;
315 }
316 ret += chars;
317 buf->offset += chars;
318 buf->len -= chars;
Linus Torvalds98830352012-04-29 13:12:42 -0700319
320 /* Was it a packet buffer? Clean up and exit */
321 if (buf->flags & PIPE_BUF_FLAG_PACKET) {
322 total_len = chars;
323 buf->len = 0;
324 }
325
Linus Torvalds1da177e2005-04-16 15:20:36 -0700326 if (!buf->len) {
David Howellscefa80c2019-10-31 15:59:24 +0000327 bool wake;
Miklos Szeredia7796382016-09-27 10:45:12 +0200328 pipe_buf_release(pipe, buf);
David Howellsb667b862019-09-24 16:09:04 +0100329 spin_lock_irq(&pipe->wait.lock);
David Howells8cefc102019-11-15 13:30:32 +0000330 tail++;
331 pipe->tail = tail;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700332 do_wakeup = 1;
David Howellscefa80c2019-10-31 15:59:24 +0000333 wake = head - (tail - 1) == pipe->max_usage / 2;
334 if (wake)
David Howells3c0edea92019-11-01 20:52:24 +0000335 wake_up_locked_poll(
David Howells84464872019-09-24 16:07:04 +0100336 &pipe->wait, EPOLLOUT | EPOLLWRNORM);
David Howellsb667b862019-09-24 16:09:04 +0100337 spin_unlock_irq(&pipe->wait.lock);
David Howellscefa80c2019-10-31 15:59:24 +0000338 if (wake)
David Howells84464872019-09-24 16:07:04 +0100339 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340 }
341 total_len -= chars;
342 if (!total_len)
343 break; /* common path: read succeeded */
David Howells8cefc102019-11-15 13:30:32 +0000344 if (!pipe_empty(head, tail)) /* More to do? */
345 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700346 }
David Howells8cefc102019-11-15 13:30:32 +0000347
Ingo Molnar923f4f22006-04-11 13:53:33 +0200348 if (!pipe->writers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700349 break;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200350 if (!pipe->waiting_writers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700351 /* syscall merging: Usually we must not sleep
352 * if O_NONBLOCK is set, or if we got some data.
353 * But if a writer sleeps in kernel space, then
354 * we can wait for that data without violating POSIX.
355 */
356 if (ret)
357 break;
358 if (filp->f_flags & O_NONBLOCK) {
359 ret = -EAGAIN;
360 break;
361 }
362 }
363 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200364 if (!ret)
365 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700366 break;
367 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200368 pipe_wait(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700369 }
Al Viroebec73f2013-03-21 12:24:01 -0400370 __pipe_unlock(pipe);
Ingo Molnar341b4462006-04-11 13:57:45 +0200371
372 /* Signal writers asynchronously that there is more room. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700373 if (do_wakeup) {
David Howells3c0edea92019-11-01 20:52:24 +0000374 wake_up_interruptible_poll(&pipe->wait, EPOLLOUT | EPOLLWRNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200375 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700376 }
377 if (ret > 0)
378 file_accessed(filp);
379 return ret;
380}
381
Linus Torvalds98830352012-04-29 13:12:42 -0700382static inline int is_packetized(struct file *file)
383{
384 return (file->f_flags & O_DIRECT) != 0;
385}
386
Linus Torvalds1da177e2005-04-16 15:20:36 -0700387static ssize_t
Al Virof0d1bec2014-04-03 15:05:18 -0400388pipe_write(struct kiocb *iocb, struct iov_iter *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700389{
Badari Pulavartyee0b3e62006-09-30 23:28:47 -0700390 struct file *filp = iocb->ki_filp;
Al Virode32ec42013-03-21 11:16:56 -0400391 struct pipe_inode_info *pipe = filp->private_data;
David Howells8f868d62019-12-05 22:30:37 +0000392 unsigned int head;
Al Virof0d1bec2014-04-03 15:05:18 -0400393 ssize_t ret = 0;
394 int do_wakeup = 0;
395 size_t total_len = iov_iter_count(from);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700396 ssize_t chars;
397
Linus Torvalds1da177e2005-04-16 15:20:36 -0700398 /* Null write succeeds. */
399 if (unlikely(total_len == 0))
400 return 0;
401
Al Viroebec73f2013-03-21 12:24:01 -0400402 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700403
Ingo Molnar923f4f22006-04-11 13:53:33 +0200404 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700405 send_sig(SIGPIPE, current, 0);
406 ret = -EPIPE;
407 goto out;
408 }
409
David Howells8cefc102019-11-15 13:30:32 +0000410 head = pipe->head;
David Howells8cefc102019-11-15 13:30:32 +0000411
Linus Torvalds1da177e2005-04-16 15:20:36 -0700412 /* We try to merge small writes */
413 chars = total_len & (PAGE_SIZE-1); /* size of the last buffer */
David Howellsa194dfe2019-09-20 16:32:19 +0100414 if (!pipe_empty(head, pipe->tail) && chars != 0) {
David Howells8f868d62019-12-05 22:30:37 +0000415 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000416 struct pipe_buffer *buf = &pipe->bufs[(head - 1) & mask];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700417 int offset = buf->offset + buf->len;
Ingo Molnar341b4462006-04-11 13:57:45 +0200418
Jann Horn01e71872019-01-23 15:19:18 +0100419 if (pipe_buf_can_merge(buf) && offset + chars <= PAGE_SIZE) {
Miklos Szeredifba597d2016-09-27 10:45:12 +0200420 ret = pipe_buf_confirm(pipe, buf);
Eric Biggers6ae08062015-10-17 16:26:09 -0500421 if (ret)
Jens Axboe5274f052006-03-30 15:15:30 +0200422 goto out;
Jens Axboef84d7512006-05-01 19:59:03 +0200423
Al Virof0d1bec2014-04-03 15:05:18 -0400424 ret = copy_page_from_iter(buf->page, offset, chars, from);
425 if (unlikely(ret < chars)) {
Eric Biggers6ae08062015-10-17 16:26:09 -0500426 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700427 goto out;
Jens Axboef6762b72006-05-01 20:02:05 +0200428 }
Al Virof0d1bec2014-04-03 15:05:18 -0400429 do_wakeup = 1;
Eric Biggers6ae08062015-10-17 16:26:09 -0500430 buf->len += ret;
Al Virof0d1bec2014-04-03 15:05:18 -0400431 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700432 goto out;
433 }
434 }
435
436 for (;;) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200437 if (!pipe->readers) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700438 send_sig(SIGPIPE, current, 0);
Ingo Molnar341b4462006-04-11 13:57:45 +0200439 if (!ret)
440 ret = -EPIPE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700441 break;
442 }
David Howells8cefc102019-11-15 13:30:32 +0000443
David Howellsa194dfe2019-09-20 16:32:19 +0100444 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000445 if (!pipe_full(head, pipe->tail, pipe->max_usage)) {
446 unsigned int mask = pipe->ring_size - 1;
David Howells8cefc102019-11-15 13:30:32 +0000447 struct pipe_buffer *buf = &pipe->bufs[head & mask];
Ingo Molnar923f4f22006-04-11 13:53:33 +0200448 struct page *page = pipe->tmp_page;
Al Virof0d1bec2014-04-03 15:05:18 -0400449 int copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700450
451 if (!page) {
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700452 page = alloc_page(GFP_HIGHUSER | __GFP_ACCOUNT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700453 if (unlikely(!page)) {
454 ret = ret ? : -ENOMEM;
455 break;
456 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200457 pipe->tmp_page = page;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458 }
David Howellsa194dfe2019-09-20 16:32:19 +0100459
460 /* Allocate a slot in the ring in advance and attach an
461 * empty buffer. If we fault or otherwise fail to use
462 * it, either the reader will consume it or it'll still
463 * be there for the next write.
464 */
465 spin_lock_irq(&pipe->wait.lock);
466
467 head = pipe->head;
David Howells8f868d62019-12-05 22:30:37 +0000468 if (pipe_full(head, pipe->tail, pipe->max_usage)) {
David Howells8df44122019-10-07 16:30:51 +0100469 spin_unlock_irq(&pipe->wait.lock);
470 continue;
471 }
472
David Howellsa194dfe2019-09-20 16:32:19 +0100473 pipe->head = head + 1;
474
Ingo Molnar341b4462006-04-11 13:57:45 +0200475 /* Always wake up, even if the copy fails. Otherwise
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476 * we lock up (O_NONBLOCK-)readers that sleep due to
477 * syscall merging.
478 * FIXME! Is this really true?
479 */
David Howells3c0edea92019-11-01 20:52:24 +0000480 wake_up_locked_poll(
David Howellsa194dfe2019-09-20 16:32:19 +0100481 &pipe->wait, EPOLLIN | EPOLLRDNORM);
482
483 spin_unlock_irq(&pipe->wait.lock);
484 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
485
486 /* Insert it into the buffer array */
487 buf = &pipe->bufs[head & mask];
488 buf->page = page;
489 buf->ops = &anon_pipe_buf_ops;
490 buf->offset = 0;
491 buf->len = 0;
492 buf->flags = 0;
493 if (is_packetized(filp)) {
494 buf->ops = &packet_pipe_buf_ops;
495 buf->flags = PIPE_BUF_FLAG_PACKET;
496 }
497 pipe->tmp_page = NULL;
498
Al Virof0d1bec2014-04-03 15:05:18 -0400499 copied = copy_page_from_iter(page, 0, PAGE_SIZE, from);
500 if (unlikely(copied < PAGE_SIZE && iov_iter_count(from))) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200501 if (!ret)
Al Virof0d1bec2014-04-03 15:05:18 -0400502 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700503 break;
504 }
Al Virof0d1bec2014-04-03 15:05:18 -0400505 ret += copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700506 buf->offset = 0;
Al Virof0d1bec2014-04-03 15:05:18 -0400507 buf->len = copied;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700508
Al Virof0d1bec2014-04-03 15:05:18 -0400509 if (!iov_iter_count(from))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700510 break;
511 }
David Howells8cefc102019-11-15 13:30:32 +0000512
David Howells8f868d62019-12-05 22:30:37 +0000513 if (!pipe_full(head, pipe->tail, pipe->max_usage))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700514 continue;
David Howells8cefc102019-11-15 13:30:32 +0000515
516 /* Wait for buffer space to become available. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700517 if (filp->f_flags & O_NONBLOCK) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200518 if (!ret)
519 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700520 break;
521 }
522 if (signal_pending(current)) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200523 if (!ret)
524 ret = -ERESTARTSYS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700525 break;
526 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200527 pipe->waiting_writers++;
528 pipe_wait(pipe);
529 pipe->waiting_writers--;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700530 }
531out:
Al Viroebec73f2013-03-21 12:24:01 -0400532 __pipe_unlock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700533 if (do_wakeup) {
David Howells3c0edea92019-11-01 20:52:24 +0000534 wake_up_interruptible_poll(&pipe->wait, EPOLLIN | EPOLLRDNORM);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200535 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700536 }
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800537 if (ret > 0 && sb_start_write_trylock(file_inode(filp)->i_sb)) {
Josef Bacikc3b2da32012-03-26 09:59:21 -0400538 int err = file_update_time(filp);
539 if (err)
540 ret = err;
Dmitry Monakhov7e775f42014-01-23 15:55:21 -0800541 sb_end_write(file_inode(filp)->i_sb);
Josef Bacikc3b2da32012-03-26 09:59:21 -0400542 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700543 return ret;
544}
545
Andi Kleend59d0b12008-02-08 04:21:23 -0800546static long pipe_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700547{
Al Virode32ec42013-03-21 11:16:56 -0400548 struct pipe_inode_info *pipe = filp->private_data;
David Howells8cefc102019-11-15 13:30:32 +0000549 int count, head, tail, mask;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700550
551 switch (cmd) {
552 case FIONREAD:
Al Viroebec73f2013-03-21 12:24:01 -0400553 __pipe_lock(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700554 count = 0;
David Howells8cefc102019-11-15 13:30:32 +0000555 head = pipe->head;
556 tail = pipe->tail;
557 mask = pipe->ring_size - 1;
558
559 while (tail != head) {
560 count += pipe->bufs[tail & mask].len;
561 tail++;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700562 }
Al Viroebec73f2013-03-21 12:24:01 -0400563 __pipe_unlock(pipe);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200564
Linus Torvalds1da177e2005-04-16 15:20:36 -0700565 return put_user(count, (int __user *)arg);
566 default:
Will Deacon46ce3412012-05-25 11:39:13 +0100567 return -ENOIOCTLCMD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700568 }
569}
570
Christoph Hellwigdd670812017-12-31 16:42:12 +0100571/* No kernel lock held - fine */
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700572static __poll_t
573pipe_poll(struct file *filp, poll_table *wait)
Christoph Hellwigdd670812017-12-31 16:42:12 +0100574{
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700575 __poll_t mask;
Christoph Hellwigdd670812017-12-31 16:42:12 +0100576 struct pipe_inode_info *pipe = filp->private_data;
Linus Torvaldsad910e32019-12-07 10:41:17 -0800577 unsigned int head, tail;
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700578
Linus Torvaldsad910e32019-12-07 10:41:17 -0800579 /*
580 * Reading only -- no need for acquiring the semaphore.
581 *
582 * But because this is racy, the code has to add the
583 * entry to the poll table _first_ ..
584 */
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700585 poll_wait(filp, &pipe->wait, wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700586
Linus Torvaldsad910e32019-12-07 10:41:17 -0800587 /*
588 * .. and only then can you do the racy tests. That way,
589 * if something changes and you got it wrong, the poll
590 * table entry will wake you up and fix it.
591 */
592 head = READ_ONCE(pipe->head);
593 tail = READ_ONCE(pipe->tail);
594
Linus Torvaldsa11e1d42018-06-28 09:43:44 -0700595 mask = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700596 if (filp->f_mode & FMODE_READ) {
David Howells8cefc102019-11-15 13:30:32 +0000597 if (!pipe_empty(head, tail))
598 mask |= EPOLLIN | EPOLLRDNORM;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200599 if (!pipe->writers && filp->f_version != pipe->w_counter)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800600 mask |= EPOLLHUP;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700601 }
602
603 if (filp->f_mode & FMODE_WRITE) {
David Howells6718b6f2019-10-16 16:47:32 +0100604 if (!pipe_full(head, tail, pipe->max_usage))
David Howells8cefc102019-11-15 13:30:32 +0000605 mask |= EPOLLOUT | EPOLLWRNORM;
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700606 /*
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800607 * Most Unices do not set EPOLLERR for FIFOs but on Linux they
Pekka Enberg5e5d7a22005-09-06 15:17:48 -0700608 * behave exactly like pipes for poll().
609 */
Ingo Molnar923f4f22006-04-11 13:53:33 +0200610 if (!pipe->readers)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800611 mask |= EPOLLERR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700612 }
613
614 return mask;
615}
616
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800617static void put_pipe_info(struct inode *inode, struct pipe_inode_info *pipe)
618{
619 int kill = 0;
620
621 spin_lock(&inode->i_lock);
622 if (!--pipe->files) {
623 inode->i_pipe = NULL;
624 kill = 1;
625 }
626 spin_unlock(&inode->i_lock);
627
628 if (kill)
629 free_pipe_info(pipe);
630}
631
Linus Torvalds1da177e2005-04-16 15:20:36 -0700632static int
Al Viro599a0ac2013-03-12 09:58:10 -0400633pipe_release(struct inode *inode, struct file *file)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700634{
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800635 struct pipe_inode_info *pipe = file->private_data;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200636
Al Viroebec73f2013-03-21 12:24:01 -0400637 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400638 if (file->f_mode & FMODE_READ)
639 pipe->readers--;
640 if (file->f_mode & FMODE_WRITE)
641 pipe->writers--;
Ingo Molnar341b4462006-04-11 13:57:45 +0200642
Al Viroba5bb142013-03-21 02:21:19 -0400643 if (pipe->readers || pipe->writers) {
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800644 wake_up_interruptible_sync_poll(&pipe->wait, EPOLLIN | EPOLLOUT | EPOLLRDNORM | EPOLLWRNORM | EPOLLERR | EPOLLHUP);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200645 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
646 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700647 }
Al Viroebec73f2013-03-21 12:24:01 -0400648 __pipe_unlock(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400649
Linus Torvaldsb0d8d222013-12-02 09:44:51 -0800650 put_pipe_info(inode, pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700651 return 0;
652}
653
654static int
Al Viro599a0ac2013-03-12 09:58:10 -0400655pipe_fasync(int fd, struct file *filp, int on)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700656{
Al Virode32ec42013-03-21 11:16:56 -0400657 struct pipe_inode_info *pipe = filp->private_data;
Al Viro599a0ac2013-03-12 09:58:10 -0400658 int retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700659
Al Viroebec73f2013-03-21 12:24:01 -0400660 __pipe_lock(pipe);
Al Viro599a0ac2013-03-12 09:58:10 -0400661 if (filp->f_mode & FMODE_READ)
662 retval = fasync_helper(fd, filp, on, &pipe->fasync_readers);
663 if ((filp->f_mode & FMODE_WRITE) && retval >= 0) {
Ingo Molnar341b4462006-04-11 13:57:45 +0200664 retval = fasync_helper(fd, filp, on, &pipe->fasync_writers);
Al Viro599a0ac2013-03-12 09:58:10 -0400665 if (retval < 0 && (filp->f_mode & FMODE_READ))
666 /* this can happen only if on == T */
Oleg Nesterove5bc49b2009-03-12 14:31:28 -0700667 fasync_helper(-1, filp, 0, &pipe->fasync_readers);
668 }
Al Viroebec73f2013-03-21 12:24:01 -0400669 __pipe_unlock(pipe);
Jonathan Corbet60aa4922009-02-01 14:52:56 -0700670 return retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700671}
672
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700673static unsigned long account_pipe_buffers(struct user_struct *user,
Willy Tarreau759c0112016-01-18 16:36:09 +0100674 unsigned long old, unsigned long new)
675{
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700676 return atomic_long_add_return(new - old, &user->pipe_bufs);
Willy Tarreau759c0112016-01-18 16:36:09 +0100677}
678
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700679static bool too_many_pipe_buffers_soft(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100680{
Eric Biggersf7340762018-02-06 15:42:08 -0800681 unsigned long soft_limit = READ_ONCE(pipe_user_pages_soft);
682
683 return soft_limit && user_bufs > soft_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100684}
685
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700686static bool too_many_pipe_buffers_hard(unsigned long user_bufs)
Willy Tarreau759c0112016-01-18 16:36:09 +0100687{
Eric Biggersf7340762018-02-06 15:42:08 -0800688 unsigned long hard_limit = READ_ONCE(pipe_user_pages_hard);
689
690 return hard_limit && user_bufs > hard_limit;
Willy Tarreau759c0112016-01-18 16:36:09 +0100691}
692
Eric Biggers85c2dd52018-02-06 15:41:53 -0800693static bool is_unprivileged_user(void)
694{
695 return !capable(CAP_SYS_RESOURCE) && !capable(CAP_SYS_ADMIN);
696}
697
Al Viro7bee1302013-03-21 11:04:15 -0400698struct pipe_inode_info *alloc_pipe_info(void)
Ingo Molnar3a326a22006-04-10 15:18:35 +0200699{
Ingo Molnar923f4f22006-04-11 13:53:33 +0200700 struct pipe_inode_info *pipe;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700701 unsigned long pipe_bufs = PIPE_DEF_BUFFERS;
702 struct user_struct *user = get_current_user();
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700703 unsigned long user_bufs;
Eric Biggersf7340762018-02-06 15:42:08 -0800704 unsigned int max_size = READ_ONCE(pipe_max_size);
Ingo Molnar3a326a22006-04-10 15:18:35 +0200705
Vladimir Davydovd86133b2016-07-26 15:24:33 -0700706 pipe = kzalloc(sizeof(struct pipe_inode_info), GFP_KERNEL_ACCOUNT);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700707 if (pipe == NULL)
708 goto out_free_uid;
Willy Tarreau759c0112016-01-18 16:36:09 +0100709
Eric Biggersf7340762018-02-06 15:42:08 -0800710 if (pipe_bufs * PAGE_SIZE > max_size && !capable(CAP_SYS_RESOURCE))
711 pipe_bufs = max_size >> PAGE_SHIFT;
Michael Kerrisk (man-pages)086e7742016-10-11 13:53:43 -0700712
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700713 user_bufs = account_pipe_buffers(user, 0, pipe_bufs);
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700714
Eric Biggers85c2dd52018-02-06 15:41:53 -0800715 if (too_many_pipe_buffers_soft(user_bufs) && is_unprivileged_user()) {
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700716 user_bufs = account_pipe_buffers(user, pipe_bufs, 1);
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700717 pipe_bufs = 1;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200718 }
719
Eric Biggers85c2dd52018-02-06 15:41:53 -0800720 if (too_many_pipe_buffers_hard(user_bufs) && is_unprivileged_user())
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700721 goto out_revert_acct;
722
723 pipe->bufs = kcalloc(pipe_bufs, sizeof(struct pipe_buffer),
724 GFP_KERNEL_ACCOUNT);
725
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700726 if (pipe->bufs) {
727 init_waitqueue_head(&pipe->wait);
728 pipe->r_counter = pipe->w_counter = 1;
David Howells6718b6f2019-10-16 16:47:32 +0100729 pipe->max_usage = pipe_bufs;
David Howells8cefc102019-11-15 13:30:32 +0000730 pipe->ring_size = pipe_bufs;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700731 pipe->user = user;
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700732 mutex_init(&pipe->mutex);
733 return pipe;
734 }
735
Michael Kerrisk (man-pages)a005ca02016-10-11 13:53:37 -0700736out_revert_acct:
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -0700737 (void) account_pipe_buffers(user, pipe_bufs, 0);
Michael Kerrisk (man-pages)09b4d192016-10-11 13:53:34 -0700738 kfree(pipe);
739out_free_uid:
740 free_uid(user);
Jens Axboe35f3d142010-05-20 10:43:18 +0200741 return NULL;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200742}
743
Al Viro4b8a8f12013-03-21 11:06:46 -0400744void free_pipe_info(struct pipe_inode_info *pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700745{
746 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700747
David Howells8cefc102019-11-15 13:30:32 +0000748 (void) account_pipe_buffers(pipe->user, pipe->ring_size, 0);
Willy Tarreau759c0112016-01-18 16:36:09 +0100749 free_uid(pipe->user);
David Howells8cefc102019-11-15 13:30:32 +0000750 for (i = 0; i < pipe->ring_size; i++) {
Ingo Molnar923f4f22006-04-11 13:53:33 +0200751 struct pipe_buffer *buf = pipe->bufs + i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700752 if (buf->ops)
Miklos Szeredia7796382016-09-27 10:45:12 +0200753 pipe_buf_release(pipe, buf);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700754 }
Ingo Molnar923f4f22006-04-11 13:53:33 +0200755 if (pipe->tmp_page)
756 __free_page(pipe->tmp_page);
Jens Axboe35f3d142010-05-20 10:43:18 +0200757 kfree(pipe->bufs);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200758 kfree(pipe);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700759}
760
Eric Dumazetfa3536c2006-03-26 01:37:24 -0800761static struct vfsmount *pipe_mnt __read_mostly;
Ingo Molnar341b4462006-04-11 13:57:45 +0200762
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700763/*
764 * pipefs_dname() is called from d_path().
765 */
766static char *pipefs_dname(struct dentry *dentry, char *buffer, int buflen)
767{
768 return dynamic_dname(dentry, buffer, buflen, "pipe:[%lu]",
David Howells75c3cfa2015-03-17 22:26:12 +0000769 d_inode(dentry)->i_ino);
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700770}
771
Al Viro3ba13d12009-02-20 06:02:22 +0000772static const struct dentry_operations pipefs_dentry_operations = {
Eric Dumazetc23fbb62007-05-08 00:26:18 -0700773 .d_dname = pipefs_dname,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700774};
775
776static struct inode * get_pipe_inode(void)
777{
Eric Dumazeta209dfc2011-07-26 11:36:34 +0200778 struct inode *inode = new_inode_pseudo(pipe_mnt->mnt_sb);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200779 struct pipe_inode_info *pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700780
781 if (!inode)
782 goto fail_inode;
783
Christoph Hellwig85fe4022010-10-23 11:19:54 -0400784 inode->i_ino = get_next_ino();
785
Al Viro7bee1302013-03-21 11:04:15 -0400786 pipe = alloc_pipe_info();
Ingo Molnar923f4f22006-04-11 13:53:33 +0200787 if (!pipe)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700788 goto fail_iput;
Ingo Molnar3a326a22006-04-10 15:18:35 +0200789
Al Viroba5bb142013-03-21 02:21:19 -0400790 inode->i_pipe = pipe;
791 pipe->files = 2;
Ingo Molnar923f4f22006-04-11 13:53:33 +0200792 pipe->readers = pipe->writers = 1;
Al Viro599a0ac2013-03-12 09:58:10 -0400793 inode->i_fop = &pipefifo_fops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700794
795 /*
796 * Mark the inode dirty from the very beginning,
797 * that way it will never be moved to the dirty
798 * list because "mark_inode_dirty()" will think
799 * that it already _is_ on the dirty list.
800 */
801 inode->i_state = I_DIRTY;
802 inode->i_mode = S_IFIFO | S_IRUSR | S_IWUSR;
David Howellsda9592e2008-11-14 10:39:05 +1100803 inode->i_uid = current_fsuid();
804 inode->i_gid = current_fsgid();
Deepa Dinamani078cd822016-09-14 07:48:04 -0700805 inode->i_atime = inode->i_mtime = inode->i_ctime = current_time(inode);
Ingo Molnar923f4f22006-04-11 13:53:33 +0200806
Linus Torvalds1da177e2005-04-16 15:20:36 -0700807 return inode;
808
809fail_iput:
810 iput(inode);
Ingo Molnar341b4462006-04-11 13:57:45 +0200811
Linus Torvalds1da177e2005-04-16 15:20:36 -0700812fail_inode:
813 return NULL;
814}
815
Al Viroe4fad8e2012-07-21 15:33:25 +0400816int create_pipe_files(struct file **res, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700817{
Al Viroe4fad8e2012-07-21 15:33:25 +0400818 struct inode *inode = get_pipe_inode();
Andi Kleend6cbd282006-09-30 23:29:26 -0700819 struct file *f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700820
Linus Torvalds1da177e2005-04-16 15:20:36 -0700821 if (!inode)
Al Viroe4fad8e2012-07-21 15:33:25 +0400822 return -ENFILE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700823
Al Viro152b6372018-06-09 10:05:18 -0400824 f = alloc_file_pseudo(inode, pipe_mnt, "",
825 O_WRONLY | (flags & (O_NONBLOCK | O_DIRECT)),
826 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500827 if (IS_ERR(f)) {
Al Viro152b6372018-06-09 10:05:18 -0400828 free_pipe_info(inode->i_pipe);
829 iput(inode);
830 return PTR_ERR(f);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500831 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700832
Al Virode32ec42013-03-21 11:16:56 -0400833 f->private_data = inode->i_pipe;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700834
Al Viro183266f2018-06-17 14:15:10 -0400835 res[0] = alloc_file_clone(f, O_RDONLY | (flags & O_NONBLOCK),
836 &pipefifo_fops);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500837 if (IS_ERR(res[0])) {
Al Virob10a4a92018-07-09 02:29:58 -0400838 put_pipe_info(inode, inode->i_pipe);
839 fput(f);
840 return PTR_ERR(res[0]);
Eric Biggerse9bb1f92015-10-17 16:26:08 -0500841 }
Al Virode32ec42013-03-21 11:16:56 -0400842 res[0]->private_data = inode->i_pipe;
Al Viroe4fad8e2012-07-21 15:33:25 +0400843 res[1] = f;
Linus Torvaldsd8e464e2019-11-17 11:20:48 -0800844 stream_open(inode, res[0]);
845 stream_open(inode, res[1]);
Al Viroe4fad8e2012-07-21 15:33:25 +0400846 return 0;
Andi Kleend6cbd282006-09-30 23:29:26 -0700847}
848
Al Viro5b249b12012-08-19 12:17:29 -0400849static int __do_pipe_flags(int *fd, struct file **files, int flags)
Andi Kleend6cbd282006-09-30 23:29:26 -0700850{
Andi Kleend6cbd282006-09-30 23:29:26 -0700851 int error;
852 int fdw, fdr;
853
Linus Torvalds98830352012-04-29 13:12:42 -0700854 if (flags & ~(O_CLOEXEC | O_NONBLOCK | O_DIRECT))
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700855 return -EINVAL;
856
Al Viroe4fad8e2012-07-21 15:33:25 +0400857 error = create_pipe_files(files, flags);
858 if (error)
859 return error;
Andi Kleend6cbd282006-09-30 23:29:26 -0700860
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700861 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700862 if (error < 0)
863 goto err_read_pipe;
864 fdr = error;
865
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700866 error = get_unused_fd_flags(flags);
Andi Kleend6cbd282006-09-30 23:29:26 -0700867 if (error < 0)
868 goto err_fdr;
869 fdw = error;
870
Al Viro157cf642008-12-14 04:57:47 -0500871 audit_fd_pair(fdr, fdw);
Andi Kleend6cbd282006-09-30 23:29:26 -0700872 fd[0] = fdr;
873 fd[1] = fdw;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700874 return 0;
875
Andi Kleend6cbd282006-09-30 23:29:26 -0700876 err_fdr:
877 put_unused_fd(fdr);
878 err_read_pipe:
Al Viroe4fad8e2012-07-21 15:33:25 +0400879 fput(files[0]);
880 fput(files[1]);
Andi Kleend6cbd282006-09-30 23:29:26 -0700881 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882}
883
Al Viro5b249b12012-08-19 12:17:29 -0400884int do_pipe_flags(int *fd, int flags)
885{
886 struct file *files[2];
887 int error = __do_pipe_flags(fd, files, flags);
888 if (!error) {
889 fd_install(fd[0], files[0]);
890 fd_install(fd[1], files[1]);
891 }
892 return error;
893}
894
Linus Torvalds1da177e2005-04-16 15:20:36 -0700895/*
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400896 * sys_pipe() is the normal C calling standard for creating
897 * a pipe. It's not the way Unix traditionally does this, though.
898 */
Dominik Brodowski0a216dd2018-03-11 11:34:28 +0100899static int do_pipe2(int __user *fildes, int flags)
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400900{
Al Viro5b249b12012-08-19 12:17:29 -0400901 struct file *files[2];
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400902 int fd[2];
903 int error;
904
Al Viro5b249b12012-08-19 12:17:29 -0400905 error = __do_pipe_flags(fd, files, flags);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400906 if (!error) {
Al Viro5b249b12012-08-19 12:17:29 -0400907 if (unlikely(copy_to_user(fildes, fd, sizeof(fd)))) {
908 fput(files[0]);
909 fput(files[1]);
910 put_unused_fd(fd[0]);
911 put_unused_fd(fd[1]);
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400912 error = -EFAULT;
Al Viro5b249b12012-08-19 12:17:29 -0400913 } else {
914 fd_install(fd[0], files[0]);
915 fd_install(fd[1], files[1]);
Ulrich Drepperba719ba2008-05-06 20:42:38 -0700916 }
Ulrich Drepperd35c7b02008-05-03 15:10:37 -0400917 }
918 return error;
919}
920
Dominik Brodowski0a216dd2018-03-11 11:34:28 +0100921SYSCALL_DEFINE2(pipe2, int __user *, fildes, int, flags)
922{
923 return do_pipe2(fildes, flags);
924}
925
Heiko Carstens2b664212009-01-14 14:14:35 +0100926SYSCALL_DEFINE1(pipe, int __user *, fildes)
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700927{
Dominik Brodowski0a216dd2018-03-11 11:34:28 +0100928 return do_pipe2(fildes, 0);
Ulrich Dreppered8cae82008-07-23 21:29:30 -0700929}
930
Al Virofc7478a2013-03-21 02:07:59 -0400931static int wait_for_partner(struct pipe_inode_info *pipe, unsigned int *cnt)
Al Virof776c732013-03-12 09:46:27 -0400932{
David Howells8cefc102019-11-15 13:30:32 +0000933 int cur = *cnt;
Al Virof776c732013-03-12 09:46:27 -0400934
935 while (cur == *cnt) {
Al Virofc7478a2013-03-21 02:07:59 -0400936 pipe_wait(pipe);
Al Virof776c732013-03-12 09:46:27 -0400937 if (signal_pending(current))
938 break;
939 }
940 return cur == *cnt ? -ERESTARTSYS : 0;
941}
942
Al Virofc7478a2013-03-21 02:07:59 -0400943static void wake_up_partner(struct pipe_inode_info *pipe)
Al Virof776c732013-03-12 09:46:27 -0400944{
Al Virofc7478a2013-03-21 02:07:59 -0400945 wake_up_interruptible(&pipe->wait);
Al Virof776c732013-03-12 09:46:27 -0400946}
947
948static int fifo_open(struct inode *inode, struct file *filp)
949{
950 struct pipe_inode_info *pipe;
Al Viro599a0ac2013-03-12 09:58:10 -0400951 bool is_pipe = inode->i_sb->s_magic == PIPEFS_MAGIC;
Al Virof776c732013-03-12 09:46:27 -0400952 int ret;
953
Al Viroba5bb142013-03-21 02:21:19 -0400954 filp->f_version = 0;
955
956 spin_lock(&inode->i_lock);
957 if (inode->i_pipe) {
958 pipe = inode->i_pipe;
959 pipe->files++;
960 spin_unlock(&inode->i_lock);
961 } else {
962 spin_unlock(&inode->i_lock);
Al Viro7bee1302013-03-21 11:04:15 -0400963 pipe = alloc_pipe_info();
Al Virof776c732013-03-12 09:46:27 -0400964 if (!pipe)
Al Viroba5bb142013-03-21 02:21:19 -0400965 return -ENOMEM;
966 pipe->files = 1;
967 spin_lock(&inode->i_lock);
968 if (unlikely(inode->i_pipe)) {
969 inode->i_pipe->files++;
970 spin_unlock(&inode->i_lock);
Al Viro4b8a8f12013-03-21 11:06:46 -0400971 free_pipe_info(pipe);
Al Viroba5bb142013-03-21 02:21:19 -0400972 pipe = inode->i_pipe;
973 } else {
974 inode->i_pipe = pipe;
975 spin_unlock(&inode->i_lock);
976 }
Al Virof776c732013-03-12 09:46:27 -0400977 }
Al Virode32ec42013-03-21 11:16:56 -0400978 filp->private_data = pipe;
Al Viroba5bb142013-03-21 02:21:19 -0400979 /* OK, we have a pipe and it's pinned down */
980
Al Viroebec73f2013-03-21 12:24:01 -0400981 __pipe_lock(pipe);
Al Virof776c732013-03-12 09:46:27 -0400982
983 /* We can only do regular read/write on fifos */
Linus Torvaldsd8e464e2019-11-17 11:20:48 -0800984 stream_open(inode, filp);
Al Virof776c732013-03-12 09:46:27 -0400985
Linus Torvaldsd8e464e2019-11-17 11:20:48 -0800986 switch (filp->f_mode & (FMODE_READ | FMODE_WRITE)) {
Al Virof776c732013-03-12 09:46:27 -0400987 case FMODE_READ:
988 /*
989 * O_RDONLY
990 * POSIX.1 says that O_NONBLOCK means return with the FIFO
991 * opened, even when there is no process writing the FIFO.
992 */
Al Virof776c732013-03-12 09:46:27 -0400993 pipe->r_counter++;
994 if (pipe->readers++ == 0)
Al Virofc7478a2013-03-21 02:07:59 -0400995 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -0400996
Al Viro599a0ac2013-03-12 09:58:10 -0400997 if (!is_pipe && !pipe->writers) {
Al Virof776c732013-03-12 09:46:27 -0400998 if ((filp->f_flags & O_NONBLOCK)) {
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800999 /* suppress EPOLLHUP until we have
Al Virof776c732013-03-12 09:46:27 -04001000 * seen a writer */
1001 filp->f_version = pipe->w_counter;
1002 } else {
Al Virofc7478a2013-03-21 02:07:59 -04001003 if (wait_for_partner(pipe, &pipe->w_counter))
Al Virof776c732013-03-12 09:46:27 -04001004 goto err_rd;
1005 }
1006 }
1007 break;
David Howells8cefc102019-11-15 13:30:32 +00001008
Al Virof776c732013-03-12 09:46:27 -04001009 case FMODE_WRITE:
1010 /*
1011 * O_WRONLY
1012 * POSIX.1 says that O_NONBLOCK means return -1 with
1013 * errno=ENXIO when there is no process reading the FIFO.
1014 */
1015 ret = -ENXIO;
Al Viro599a0ac2013-03-12 09:58:10 -04001016 if (!is_pipe && (filp->f_flags & O_NONBLOCK) && !pipe->readers)
Al Virof776c732013-03-12 09:46:27 -04001017 goto err;
1018
Al Virof776c732013-03-12 09:46:27 -04001019 pipe->w_counter++;
1020 if (!pipe->writers++)
Al Virofc7478a2013-03-21 02:07:59 -04001021 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001022
Al Viro599a0ac2013-03-12 09:58:10 -04001023 if (!is_pipe && !pipe->readers) {
Al Virofc7478a2013-03-21 02:07:59 -04001024 if (wait_for_partner(pipe, &pipe->r_counter))
Al Virof776c732013-03-12 09:46:27 -04001025 goto err_wr;
1026 }
1027 break;
David Howells8cefc102019-11-15 13:30:32 +00001028
Al Virof776c732013-03-12 09:46:27 -04001029 case FMODE_READ | FMODE_WRITE:
1030 /*
1031 * O_RDWR
1032 * POSIX.1 leaves this case "undefined" when O_NONBLOCK is set.
1033 * This implementation will NEVER block on a O_RDWR open, since
1034 * the process can at least talk to itself.
1035 */
Al Virof776c732013-03-12 09:46:27 -04001036
1037 pipe->readers++;
1038 pipe->writers++;
1039 pipe->r_counter++;
1040 pipe->w_counter++;
1041 if (pipe->readers == 1 || pipe->writers == 1)
Al Virofc7478a2013-03-21 02:07:59 -04001042 wake_up_partner(pipe);
Al Virof776c732013-03-12 09:46:27 -04001043 break;
1044
1045 default:
1046 ret = -EINVAL;
1047 goto err;
1048 }
1049
1050 /* Ok! */
Al Viroebec73f2013-03-21 12:24:01 -04001051 __pipe_unlock(pipe);
Al Virof776c732013-03-12 09:46:27 -04001052 return 0;
1053
1054err_rd:
1055 if (!--pipe->readers)
1056 wake_up_interruptible(&pipe->wait);
1057 ret = -ERESTARTSYS;
1058 goto err;
1059
1060err_wr:
1061 if (!--pipe->writers)
1062 wake_up_interruptible(&pipe->wait);
1063 ret = -ERESTARTSYS;
1064 goto err;
1065
1066err:
Al Viroebec73f2013-03-21 12:24:01 -04001067 __pipe_unlock(pipe);
Linus Torvaldsb0d8d222013-12-02 09:44:51 -08001068
1069 put_pipe_info(inode, pipe);
Al Virof776c732013-03-12 09:46:27 -04001070 return ret;
1071}
1072
Al Viro599a0ac2013-03-12 09:58:10 -04001073const struct file_operations pipefifo_fops = {
1074 .open = fifo_open,
1075 .llseek = no_llseek,
Al Virofb9096a2014-04-02 19:56:54 -04001076 .read_iter = pipe_read,
Al Virof0d1bec2014-04-03 15:05:18 -04001077 .write_iter = pipe_write,
Linus Torvaldsa11e1d42018-06-28 09:43:44 -07001078 .poll = pipe_poll,
Al Viro599a0ac2013-03-12 09:58:10 -04001079 .unlocked_ioctl = pipe_ioctl,
1080 .release = pipe_release,
1081 .fasync = pipe_fasync,
Al Virof776c732013-03-12 09:46:27 -04001082};
1083
Ulrich Drepperd35c7b02008-05-03 15:10:37 -04001084/*
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001085 * Currently we rely on the pipe array holding a power-of-2 number
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001086 * of pages. Returns 0 on error.
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001087 */
Eric Biggers96e99be402018-02-06 15:42:00 -08001088unsigned int round_pipe_size(unsigned long size)
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001089{
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001090 if (size > (1U << 31))
Eric Biggers96e99be402018-02-06 15:42:00 -08001091 return 0;
1092
Eric Biggers4c2e4be2018-02-06 15:41:45 -08001093 /* Minimum pipe size, as required by POSIX */
1094 if (size < PAGE_SIZE)
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001095 return PAGE_SIZE;
Joe Lawrenced3f14c42017-11-17 15:29:21 -08001096
Eric Biggersc4fed5a2018-02-06 15:42:05 -08001097 return roundup_pow_of_two(size);
Michael Kerrisk (man-pages)f491bd72016-10-11 13:53:22 -07001098}
1099
1100/*
Jens Axboe35f3d142010-05-20 10:43:18 +02001101 * Allocate a new array of pipe buffers and copy the info over. Returns the
1102 * pipe size if successful, or return -ERROR on error.
1103 */
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001104static long pipe_set_size(struct pipe_inode_info *pipe, unsigned long arg)
Jens Axboe35f3d142010-05-20 10:43:18 +02001105{
1106 struct pipe_buffer *bufs;
David Howells8cefc102019-11-15 13:30:32 +00001107 unsigned int size, nr_slots, head, tail, mask, n;
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -07001108 unsigned long user_bufs;
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001109 long ret = 0;
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001110
1111 size = round_pipe_size(arg);
David Howells8cefc102019-11-15 13:30:32 +00001112 nr_slots = size >> PAGE_SHIFT;
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001113
David Howells8cefc102019-11-15 13:30:32 +00001114 if (!nr_slots)
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001115 return -EINVAL;
1116
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001117 /*
1118 * If trying to increase the pipe capacity, check that an
1119 * unprivileged user is not trying to exceed various limits
1120 * (soft limit check here, hard limit check just below).
1121 * Decreasing the pipe capacity is always permitted, even
1122 * if the user is currently over a limit.
1123 */
David Howells8cefc102019-11-15 13:30:32 +00001124 if (nr_slots > pipe->ring_size &&
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001125 size > pipe_max_size && !capable(CAP_SYS_RESOURCE))
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001126 return -EPERM;
1127
David Howells8cefc102019-11-15 13:30:32 +00001128 user_bufs = account_pipe_buffers(pipe->user, pipe->ring_size, nr_slots);
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001129
David Howells8cefc102019-11-15 13:30:32 +00001130 if (nr_slots > pipe->ring_size &&
Michael Kerrisk (man-pages)9c87bcf2016-10-11 13:53:40 -07001131 (too_many_pipe_buffers_hard(user_bufs) ||
1132 too_many_pipe_buffers_soft(user_bufs)) &&
Eric Biggers85c2dd52018-02-06 15:41:53 -08001133 is_unprivileged_user()) {
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001134 ret = -EPERM;
1135 goto out_revert_acct;
1136 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001137
1138 /*
David Howells8cefc102019-11-15 13:30:32 +00001139 * We can shrink the pipe, if arg is greater than the ring occupancy.
1140 * Since we don't expect a lot of shrink+grow operations, just free and
1141 * allocate again like we would do for growing. If the pipe currently
Jens Axboe35f3d142010-05-20 10:43:18 +02001142 * contains more buffers than arg, then return busy.
1143 */
David Howells8cefc102019-11-15 13:30:32 +00001144 mask = pipe->ring_size - 1;
1145 head = pipe->head;
1146 tail = pipe->tail;
1147 n = pipe_occupancy(pipe->head, pipe->tail);
1148 if (nr_slots < n) {
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001149 ret = -EBUSY;
1150 goto out_revert_acct;
1151 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001152
David Howells8cefc102019-11-15 13:30:32 +00001153 bufs = kcalloc(nr_slots, sizeof(*bufs),
Vladimir Davydovd86133b2016-07-26 15:24:33 -07001154 GFP_KERNEL_ACCOUNT | __GFP_NOWARN);
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001155 if (unlikely(!bufs)) {
1156 ret = -ENOMEM;
1157 goto out_revert_acct;
1158 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001159
1160 /*
1161 * The pipe array wraps around, so just start the new one at zero
David Howells8cefc102019-11-15 13:30:32 +00001162 * and adjust the indices.
Jens Axboe35f3d142010-05-20 10:43:18 +02001163 */
David Howells8cefc102019-11-15 13:30:32 +00001164 if (n > 0) {
1165 unsigned int h = head & mask;
1166 unsigned int t = tail & mask;
1167 if (h > t) {
1168 memcpy(bufs, pipe->bufs + t,
1169 n * sizeof(struct pipe_buffer));
1170 } else {
1171 unsigned int tsize = pipe->ring_size - t;
1172 if (h > 0)
1173 memcpy(bufs + tsize, pipe->bufs,
1174 h * sizeof(struct pipe_buffer));
1175 memcpy(bufs, pipe->bufs + t,
1176 tsize * sizeof(struct pipe_buffer));
1177 }
Jens Axboe35f3d142010-05-20 10:43:18 +02001178 }
1179
David Howells8cefc102019-11-15 13:30:32 +00001180 head = n;
1181 tail = 0;
1182
Jens Axboe35f3d142010-05-20 10:43:18 +02001183 kfree(pipe->bufs);
1184 pipe->bufs = bufs;
David Howells8cefc102019-11-15 13:30:32 +00001185 pipe->ring_size = nr_slots;
David Howells6718b6f2019-10-16 16:47:32 +01001186 pipe->max_usage = nr_slots;
David Howells8cefc102019-11-15 13:30:32 +00001187 pipe->tail = tail;
1188 pipe->head = head;
David Howells8c7b8c32019-12-05 22:30:30 +00001189 wake_up_interruptible_all(&pipe->wait);
David Howells6718b6f2019-10-16 16:47:32 +01001190 return pipe->max_usage * PAGE_SIZE;
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001191
1192out_revert_acct:
David Howells8cefc102019-11-15 13:30:32 +00001193 (void) account_pipe_buffers(pipe->user, nr_slots, pipe->ring_size);
Michael Kerrisk (man-pages)b0b91d12016-10-11 13:53:31 -07001194 return ret;
Jens Axboe35f3d142010-05-20 10:43:18 +02001195}
1196
Jens Axboeff9da692010-06-03 14:54:39 +02001197/*
Linus Torvalds72083642010-11-28 16:27:19 -08001198 * After the inode slimming patch, i_pipe/i_bdev/i_cdev share the same
1199 * location, so checking ->i_pipe is not enough to verify that this is a
1200 * pipe.
1201 */
1202struct pipe_inode_info *get_pipe_info(struct file *file)
1203{
Al Virode32ec42013-03-21 11:16:56 -04001204 return file->f_op == &pipefifo_fops ? file->private_data : NULL;
Linus Torvalds72083642010-11-28 16:27:19 -08001205}
1206
Jens Axboe35f3d142010-05-20 10:43:18 +02001207long pipe_fcntl(struct file *file, unsigned int cmd, unsigned long arg)
1208{
1209 struct pipe_inode_info *pipe;
1210 long ret;
1211
Linus Torvaldsc66fb342010-11-28 14:09:57 -08001212 pipe = get_pipe_info(file);
Jens Axboe35f3d142010-05-20 10:43:18 +02001213 if (!pipe)
1214 return -EBADF;
1215
Al Viroebec73f2013-03-21 12:24:01 -04001216 __pipe_lock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001217
1218 switch (cmd) {
Michael Kerrisk (man-pages)d37d4162016-10-11 13:53:25 -07001219 case F_SETPIPE_SZ:
1220 ret = pipe_set_size(pipe, arg);
Jens Axboe35f3d142010-05-20 10:43:18 +02001221 break;
1222 case F_GETPIPE_SZ:
David Howells6718b6f2019-10-16 16:47:32 +01001223 ret = pipe->max_usage * PAGE_SIZE;
Jens Axboe35f3d142010-05-20 10:43:18 +02001224 break;
1225 default:
1226 ret = -EINVAL;
1227 break;
1228 }
1229
Al Viroebec73f2013-03-21 12:24:01 -04001230 __pipe_unlock(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001231 return ret;
1232}
1233
Nick Pigginff0c7d12011-01-07 17:49:50 +11001234static const struct super_operations pipefs_ops = {
1235 .destroy_inode = free_inode_nonrcu,
Pavel Emelyanovd70ef972011-10-31 17:10:04 -07001236 .statfs = simple_statfs,
Nick Pigginff0c7d12011-01-07 17:49:50 +11001237};
1238
Jens Axboe35f3d142010-05-20 10:43:18 +02001239/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001240 * pipefs should _never_ be mounted by userland - too much of security hassle,
1241 * no real gain from having the whole whorehouse mounted. So we don't need
1242 * any operations on the root directory. However, we need a non-trivial
1243 * d_name - pipe: will go nicely and kill the special-casing in procfs.
1244 */
David Howells4fa7ec52019-03-25 16:38:23 +00001245
1246static int pipefs_init_fs_context(struct fs_context *fc)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001247{
David Howells4fa7ec52019-03-25 16:38:23 +00001248 struct pseudo_fs_context *ctx = init_pseudo(fc, PIPEFS_MAGIC);
1249 if (!ctx)
1250 return -ENOMEM;
1251 ctx->ops = &pipefs_ops;
1252 ctx->dops = &pipefs_dentry_operations;
1253 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001254}
1255
1256static struct file_system_type pipe_fs_type = {
1257 .name = "pipefs",
David Howells4fa7ec52019-03-25 16:38:23 +00001258 .init_fs_context = pipefs_init_fs_context,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001259 .kill_sb = kill_anon_super,
1260};
1261
1262static int __init init_pipe_fs(void)
1263{
1264 int err = register_filesystem(&pipe_fs_type);
Ingo Molnar341b4462006-04-11 13:57:45 +02001265
Linus Torvalds1da177e2005-04-16 15:20:36 -07001266 if (!err) {
1267 pipe_mnt = kern_mount(&pipe_fs_type);
1268 if (IS_ERR(pipe_mnt)) {
1269 err = PTR_ERR(pipe_mnt);
1270 unregister_filesystem(&pipe_fs_type);
1271 }
1272 }
1273 return err;
1274}
1275
Linus Torvalds1da177e2005-04-16 15:20:36 -07001276fs_initcall(init_pipe_fs);