blob: 5dbce4dcc1a7df61559eb19b0ba3c471afc1debe [file] [log] [blame]
Thomas Gleixner457c8992019-05-19 13:08:55 +01001// SPDX-License-Identifier: GPL-2.0-only
Jens Axboe5274f052006-03-30 15:15:30 +02002/*
3 * "splice": joining two ropes together by interweaving their strands.
4 *
5 * This is the "extended pipe" functionality, where a pipe is used as
6 * an arbitrary in-memory buffer. Think of a pipe as a small kernel
7 * buffer that you can use to transfer data from one end to the other.
8 *
9 * The traditional unix read/write is extended with a "splice()" operation
10 * that transfers data buffers to or from a pipe buffer.
11 *
12 * Named by Larry McVoy, original implementation from Linus, extended by
Jens Axboec2058e02006-04-11 13:56:34 +020013 * Jens to support splicing to files, network, direct splicing, etc and
14 * fixing lots of bugs.
Jens Axboe5274f052006-03-30 15:15:30 +020015 *
Jens Axboe0fe23472006-09-04 15:41:16 +020016 * Copyright (C) 2005-2006 Jens Axboe <axboe@kernel.dk>
Jens Axboec2058e02006-04-11 13:56:34 +020017 * Copyright (C) 2005-2006 Linus Torvalds <torvalds@osdl.org>
18 * Copyright (C) 2006 Ingo Molnar <mingo@elte.hu>
Jens Axboe5274f052006-03-30 15:15:30 +020019 *
20 */
Christoph Hellwigbe297962016-11-01 07:40:16 -060021#include <linux/bvec.h>
Jens Axboe5274f052006-03-30 15:15:30 +020022#include <linux/fs.h>
23#include <linux/file.h>
24#include <linux/pagemap.h>
Jens Axboed6b29d72007-06-04 09:59:47 +020025#include <linux/splice.h>
KAMEZAWA Hiroyuki08e552c2009-01-07 18:08:01 -080026#include <linux/memcontrol.h>
Jens Axboe5274f052006-03-30 15:15:30 +020027#include <linux/mm_inline.h>
Jens Axboe5abc97a2006-03-30 15:16:46 +020028#include <linux/swap.h>
Jens Axboe4f6f0bd2006-04-02 23:04:46 +020029#include <linux/writeback.h>
Paul Gortmaker630d9c42011-11-16 23:57:37 -050030#include <linux/export.h>
Jens Axboe4f6f0bd2006-04-02 23:04:46 +020031#include <linux/syscalls.h>
Jens Axboe912d35f2006-04-26 10:59:21 +020032#include <linux/uio.h>
James Morris29ce2052007-07-13 11:44:32 +020033#include <linux/security.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090034#include <linux/gfp.h>
Eric Dumazet35f9c092012-04-05 03:05:35 +000035#include <linux/socket.h>
Ingo Molnar174cd4b2017-02-02 19:15:33 +010036#include <linux/sched/signal.h>
37
Al Viro06ae43f2013-03-20 13:19:30 -040038#include "internal.h"
Jens Axboe5274f052006-03-30 15:15:30 +020039
Jens Axboe83f91352006-04-02 23:05:09 +020040/*
41 * Attempt to steal a page from a pipe buffer. This should perhaps go into
42 * a vm helper function, it's already simplified quite a bit by the
43 * addition of remove_mapping(). If success is returned, the caller may
44 * attempt to reuse this page for another destination.
45 */
Christoph Hellwigc928f642020-05-20 17:58:16 +020046static bool page_cache_pipe_buf_try_steal(struct pipe_inode_info *pipe,
47 struct pipe_buffer *buf)
Jens Axboe5abc97a2006-03-30 15:16:46 +020048{
49 struct page *page = buf->page;
Jens Axboe9e94cd42006-06-20 15:01:12 +020050 struct address_space *mapping;
Jens Axboe5abc97a2006-03-30 15:16:46 +020051
Jens Axboe9e0267c2006-04-19 15:57:31 +020052 lock_page(page);
53
Jens Axboe9e94cd42006-06-20 15:01:12 +020054 mapping = page_mapping(page);
55 if (mapping) {
56 WARN_ON(!PageUptodate(page));
Jens Axboe5abc97a2006-03-30 15:16:46 +020057
Jens Axboe9e94cd42006-06-20 15:01:12 +020058 /*
59 * At least for ext2 with nobh option, we need to wait on
60 * writeback completing on this page, since we'll remove it
61 * from the pagecache. Otherwise truncate wont wait on the
62 * page, allowing the disk blocks to be reused by someone else
63 * before we actually wrote our data to them. fs corruption
64 * ensues.
65 */
66 wait_on_page_writeback(page);
Jens Axboead8d6f02006-04-02 23:10:32 +020067
David Howells266cf652009-04-03 16:42:36 +010068 if (page_has_private(page) &&
69 !try_to_release_page(page, GFP_KERNEL))
Jens Axboeca39d652008-05-20 21:27:41 +020070 goto out_unlock;
Jens Axboe4f6f0bd2006-04-02 23:04:46 +020071
Jens Axboe9e94cd42006-06-20 15:01:12 +020072 /*
73 * If we succeeded in removing the mapping, set LRU flag
74 * and return good.
75 */
76 if (remove_mapping(mapping, page)) {
77 buf->flags |= PIPE_BUF_FLAG_LRU;
Christoph Hellwigc928f642020-05-20 17:58:16 +020078 return true;
Jens Axboe9e94cd42006-06-20 15:01:12 +020079 }
Jens Axboe9e0267c2006-04-19 15:57:31 +020080 }
Jens Axboe5abc97a2006-03-30 15:16:46 +020081
Jens Axboe9e94cd42006-06-20 15:01:12 +020082 /*
83 * Raced with truncate or failed to remove page from current
84 * address space, unlock and return failure.
85 */
Jens Axboeca39d652008-05-20 21:27:41 +020086out_unlock:
Jens Axboe9e94cd42006-06-20 15:01:12 +020087 unlock_page(page);
Christoph Hellwigc928f642020-05-20 17:58:16 +020088 return false;
Jens Axboe5abc97a2006-03-30 15:16:46 +020089}
90
Jens Axboe76ad4d12006-05-03 10:41:33 +020091static void page_cache_pipe_buf_release(struct pipe_inode_info *pipe,
Jens Axboe5274f052006-03-30 15:15:30 +020092 struct pipe_buffer *buf)
93{
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +030094 put_page(buf->page);
Jens Axboe14328732006-05-03 10:35:26 +020095 buf->flags &= ~PIPE_BUF_FLAG_LRU;
Jens Axboe5274f052006-03-30 15:15:30 +020096}
97
Jens Axboe08457182007-06-12 20:51:32 +020098/*
99 * Check whether the contents of buf is OK to access. Since the content
100 * is a page cache page, IO may be in flight.
101 */
Jens Axboecac36bb02007-06-14 13:10:48 +0200102static int page_cache_pipe_buf_confirm(struct pipe_inode_info *pipe,
103 struct pipe_buffer *buf)
Jens Axboe5274f052006-03-30 15:15:30 +0200104{
105 struct page *page = buf->page;
Jens Axboe49d0b212006-04-10 09:04:41 +0200106 int err;
Jens Axboe5274f052006-03-30 15:15:30 +0200107
108 if (!PageUptodate(page)) {
Jens Axboe49d0b212006-04-10 09:04:41 +0200109 lock_page(page);
110
111 /*
112 * Page got truncated/unhashed. This will cause a 0-byte
Ingo Molnar73d62d82006-04-11 13:57:21 +0200113 * splice, if this is the first page.
Jens Axboe49d0b212006-04-10 09:04:41 +0200114 */
115 if (!page->mapping) {
116 err = -ENODATA;
117 goto error;
118 }
119
120 /*
Ingo Molnar73d62d82006-04-11 13:57:21 +0200121 * Uh oh, read-error from disk.
Jens Axboe49d0b212006-04-10 09:04:41 +0200122 */
123 if (!PageUptodate(page)) {
124 err = -EIO;
125 goto error;
126 }
127
128 /*
Jens Axboef84d7512006-05-01 19:59:03 +0200129 * Page is ok afterall, we are done.
Jens Axboe49d0b212006-04-10 09:04:41 +0200130 */
Jens Axboe5274f052006-03-30 15:15:30 +0200131 unlock_page(page);
Jens Axboe5274f052006-03-30 15:15:30 +0200132 }
133
Jens Axboef84d7512006-05-01 19:59:03 +0200134 return 0;
Jens Axboe49d0b212006-04-10 09:04:41 +0200135error:
136 unlock_page(page);
Jens Axboef84d7512006-05-01 19:59:03 +0200137 return err;
Jens Axboe70524492006-04-11 15:51:17 +0200138}
139
Hugh Dickins708e3502011-07-25 17:12:32 -0700140const struct pipe_buf_operations page_cache_pipe_buf_ops = {
Christoph Hellwigc928f642020-05-20 17:58:16 +0200141 .confirm = page_cache_pipe_buf_confirm,
142 .release = page_cache_pipe_buf_release,
143 .try_steal = page_cache_pipe_buf_try_steal,
144 .get = generic_pipe_buf_get,
Jens Axboe5274f052006-03-30 15:15:30 +0200145};
146
Christoph Hellwigc928f642020-05-20 17:58:16 +0200147static bool user_page_pipe_buf_try_steal(struct pipe_inode_info *pipe,
148 struct pipe_buffer *buf)
Jens Axboe912d35f2006-04-26 10:59:21 +0200149{
Jens Axboe7afa6fd2006-05-01 20:02:33 +0200150 if (!(buf->flags & PIPE_BUF_FLAG_GIFT))
Christoph Hellwigc928f642020-05-20 17:58:16 +0200151 return false;
Jens Axboe7afa6fd2006-05-01 20:02:33 +0200152
Jens Axboe14328732006-05-03 10:35:26 +0200153 buf->flags |= PIPE_BUF_FLAG_LRU;
Christoph Hellwigc928f642020-05-20 17:58:16 +0200154 return generic_pipe_buf_try_steal(pipe, buf);
Jens Axboe912d35f2006-04-26 10:59:21 +0200155}
156
Eric Dumazetd4c3cca2006-12-13 00:34:04 -0800157static const struct pipe_buf_operations user_page_pipe_buf_ops = {
Christoph Hellwigc928f642020-05-20 17:58:16 +0200158 .release = page_cache_pipe_buf_release,
159 .try_steal = user_page_pipe_buf_try_steal,
160 .get = generic_pipe_buf_get,
Jens Axboe912d35f2006-04-26 10:59:21 +0200161};
162
Namhyung Kim825cdcb2011-05-23 19:58:53 +0200163static void wakeup_pipe_readers(struct pipe_inode_info *pipe)
164{
165 smp_mb();
Linus Torvalds0ddad212019-12-09 09:48:27 -0800166 if (waitqueue_active(&pipe->rd_wait))
167 wake_up_interruptible(&pipe->rd_wait);
Namhyung Kim825cdcb2011-05-23 19:58:53 +0200168 kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
169}
170
Jens Axboe932cc6d2007-06-21 13:10:21 +0200171/**
172 * splice_to_pipe - fill passed data into a pipe
173 * @pipe: pipe to fill
174 * @spd: data to fill
175 *
176 * Description:
Randy Dunlap79685b82007-07-27 08:08:51 +0200177 * @spd contains a map of pages and len/offset tuples, along with
Jens Axboe932cc6d2007-06-21 13:10:21 +0200178 * the struct pipe_buf_operations associated with these pages. This
179 * function will link that data to the pipe.
180 *
Jens Axboe83f91352006-04-02 23:05:09 +0200181 */
Jens Axboed6b29d72007-06-04 09:59:47 +0200182ssize_t splice_to_pipe(struct pipe_inode_info *pipe,
183 struct splice_pipe_desc *spd)
Jens Axboe5274f052006-03-30 15:15:30 +0200184{
Jens Axboe00de00b2007-06-15 13:14:22 +0200185 unsigned int spd_pages = spd->nr_pages;
David Howells8cefc102019-11-15 13:30:32 +0000186 unsigned int tail = pipe->tail;
187 unsigned int head = pipe->head;
188 unsigned int mask = pipe->ring_size - 1;
Al Viro8924fef2016-09-17 20:44:45 -0400189 int ret = 0, page_nr = 0;
Jens Axboe5274f052006-03-30 15:15:30 +0200190
Rabin Vincentd6785d92016-03-10 21:19:06 +0100191 if (!spd_pages)
192 return 0;
193
Al Viro8924fef2016-09-17 20:44:45 -0400194 if (unlikely(!pipe->readers)) {
195 send_sig(SIGPIPE, current, 0);
196 ret = -EPIPE;
197 goto out;
Jens Axboe5274f052006-03-30 15:15:30 +0200198 }
199
David Howells6718b6f2019-10-16 16:47:32 +0100200 while (!pipe_full(head, tail, pipe->max_usage)) {
David Howells8cefc102019-11-15 13:30:32 +0000201 struct pipe_buffer *buf = &pipe->bufs[head & mask];
Jens Axboe5274f052006-03-30 15:15:30 +0200202
Al Viro8924fef2016-09-17 20:44:45 -0400203 buf->page = spd->pages[page_nr];
204 buf->offset = spd->partial[page_nr].offset;
205 buf->len = spd->partial[page_nr].len;
206 buf->private = spd->partial[page_nr].private;
207 buf->ops = spd->ops;
Miklos Szeredi5a81e6a2017-02-16 17:49:02 +0100208 buf->flags = 0;
Jens Axboe5274f052006-03-30 15:15:30 +0200209
David Howells8cefc102019-11-15 13:30:32 +0000210 head++;
211 pipe->head = head;
Al Viro8924fef2016-09-17 20:44:45 -0400212 page_nr++;
213 ret += buf->len;
214
215 if (!--spd->nr_pages)
216 break;
217 }
218
219 if (!ret)
220 ret = -EAGAIN;
221
222out:
Jens Axboe00de00b2007-06-15 13:14:22 +0200223 while (page_nr < spd_pages)
Jens Axboebbdfc2f2007-11-06 23:29:47 -0800224 spd->spd_release(spd, page_nr++);
Jens Axboe5274f052006-03-30 15:15:30 +0200225
226 return ret;
227}
Hannes Frederic Sowa2b514572015-05-21 17:00:01 +0200228EXPORT_SYMBOL_GPL(splice_to_pipe);
Jens Axboe5274f052006-03-30 15:15:30 +0200229
Al Viro79fddc42016-09-17 22:38:20 -0400230ssize_t add_to_pipe(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
231{
David Howells8cefc102019-11-15 13:30:32 +0000232 unsigned int head = pipe->head;
233 unsigned int tail = pipe->tail;
234 unsigned int mask = pipe->ring_size - 1;
Al Viro79fddc42016-09-17 22:38:20 -0400235 int ret;
236
237 if (unlikely(!pipe->readers)) {
238 send_sig(SIGPIPE, current, 0);
239 ret = -EPIPE;
David Howells6718b6f2019-10-16 16:47:32 +0100240 } else if (pipe_full(head, tail, pipe->max_usage)) {
Al Viro79fddc42016-09-17 22:38:20 -0400241 ret = -EAGAIN;
242 } else {
David Howells8cefc102019-11-15 13:30:32 +0000243 pipe->bufs[head & mask] = *buf;
244 pipe->head = head + 1;
Al Viro79fddc42016-09-17 22:38:20 -0400245 return buf->len;
246 }
Miklos Szeredia7796382016-09-27 10:45:12 +0200247 pipe_buf_release(pipe, buf);
Al Viro79fddc42016-09-17 22:38:20 -0400248 return ret;
249}
250EXPORT_SYMBOL(add_to_pipe);
251
Jens Axboe35f3d142010-05-20 10:43:18 +0200252/*
253 * Check if we need to grow the arrays holding pages and partial page
254 * descriptions.
255 */
Eric Dumazet047fe362012-06-12 15:24:40 +0200256int splice_grow_spd(const struct pipe_inode_info *pipe, struct splice_pipe_desc *spd)
Jens Axboe35f3d142010-05-20 10:43:18 +0200257{
David Howells6718b6f2019-10-16 16:47:32 +0100258 unsigned int max_usage = READ_ONCE(pipe->max_usage);
Eric Dumazet047fe362012-06-12 15:24:40 +0200259
David Howells8cefc102019-11-15 13:30:32 +0000260 spd->nr_pages_max = max_usage;
261 if (max_usage <= PIPE_DEF_BUFFERS)
Jens Axboe35f3d142010-05-20 10:43:18 +0200262 return 0;
263
David Howells8cefc102019-11-15 13:30:32 +0000264 spd->pages = kmalloc_array(max_usage, sizeof(struct page *), GFP_KERNEL);
265 spd->partial = kmalloc_array(max_usage, sizeof(struct partial_page),
Kees Cook6da2ec52018-06-12 13:55:00 -0700266 GFP_KERNEL);
Jens Axboe35f3d142010-05-20 10:43:18 +0200267
268 if (spd->pages && spd->partial)
269 return 0;
270
271 kfree(spd->pages);
272 kfree(spd->partial);
273 return -ENOMEM;
274}
275
Eric Dumazet047fe362012-06-12 15:24:40 +0200276void splice_shrink_spd(struct splice_pipe_desc *spd)
Jens Axboe35f3d142010-05-20 10:43:18 +0200277{
Eric Dumazet047fe362012-06-12 15:24:40 +0200278 if (spd->nr_pages_max <= PIPE_DEF_BUFFERS)
Jens Axboe35f3d142010-05-20 10:43:18 +0200279 return;
280
281 kfree(spd->pages);
282 kfree(spd->partial);
283}
284
Jens Axboe83f91352006-04-02 23:05:09 +0200285/**
286 * generic_file_splice_read - splice data from file to a pipe
287 * @in: file to splice from
Jens Axboe932cc6d2007-06-21 13:10:21 +0200288 * @ppos: position in @in
Jens Axboe83f91352006-04-02 23:05:09 +0200289 * @pipe: pipe to splice to
290 * @len: number of bytes to splice
291 * @flags: splice modifier flags
292 *
Jens Axboe932cc6d2007-06-21 13:10:21 +0200293 * Description:
294 * Will read pages from given file and fill them into a pipe. Can be
Al Viro82c156f2016-09-22 23:35:42 -0400295 * used as long as it has more or less sane ->read_iter().
Jens Axboe932cc6d2007-06-21 13:10:21 +0200296 *
Jens Axboe83f91352006-04-02 23:05:09 +0200297 */
Jens Axboecbb7e572006-04-11 14:57:50 +0200298ssize_t generic_file_splice_read(struct file *in, loff_t *ppos,
299 struct pipe_inode_info *pipe, size_t len,
300 unsigned int flags)
Jens Axboe5274f052006-03-30 15:15:30 +0200301{
Al Viro82c156f2016-09-22 23:35:42 -0400302 struct iov_iter to;
303 struct kiocb kiocb;
David Howells8cefc102019-11-15 13:30:32 +0000304 unsigned int i_head;
305 int ret;
Boaz Harroshbe64f882015-04-15 16:15:17 -0700306
David Howellsaa563d72018-10-20 00:57:56 +0100307 iov_iter_pipe(&to, READ, pipe, len);
David Howells8cefc102019-11-15 13:30:32 +0000308 i_head = to.head;
Al Viro82c156f2016-09-22 23:35:42 -0400309 init_sync_kiocb(&kiocb, in);
310 kiocb.ki_pos = *ppos;
Miklos Szeredibb7462b2017-02-20 16:51:23 +0100311 ret = call_read_iter(in, &kiocb, &to);
Miklos Szeredi723590e2009-08-15 08:43:22 +0200312 if (ret > 0) {
Al Viro82c156f2016-09-22 23:35:42 -0400313 *ppos = kiocb.ki_pos;
Miklos Szeredi723590e2009-08-15 08:43:22 +0200314 file_accessed(in);
Al Viro82c156f2016-09-22 23:35:42 -0400315 } else if (ret < 0) {
David Howells8cefc102019-11-15 13:30:32 +0000316 to.head = i_head;
Al Viroc3a69022016-10-10 13:26:27 -0400317 to.iov_offset = 0;
318 iov_iter_advance(&to, 0); /* to free what was emitted */
Al Viro82c156f2016-09-22 23:35:42 -0400319 /*
320 * callers of ->splice_read() expect -EAGAIN on
321 * "can't put anything in there", rather than -EFAULT.
322 */
323 if (ret == -EFAULT)
324 ret = -EAGAIN;
Miklos Szeredi723590e2009-08-15 08:43:22 +0200325 }
Jens Axboe5274f052006-03-30 15:15:30 +0200326
327 return ret;
328}
Jens Axboe059a8f32006-04-02 23:06:05 +0200329EXPORT_SYMBOL(generic_file_splice_read);
330
Al Viro241699c2016-09-22 16:33:12 -0400331const struct pipe_buf_operations default_pipe_buf_ops = {
Christoph Hellwigc928f642020-05-20 17:58:16 +0200332 .release = generic_pipe_buf_release,
333 .try_steal = generic_pipe_buf_try_steal,
334 .get = generic_pipe_buf_get,
Miklos Szeredi68181732009-05-07 15:37:36 +0200335};
336
Miklos Szeredi28a625c2014-01-22 19:36:57 +0100337/* Pipe buffer operations for a socket and similar. */
338const struct pipe_buf_operations nosteal_pipe_buf_ops = {
Christoph Hellwigc928f642020-05-20 17:58:16 +0200339 .release = generic_pipe_buf_release,
340 .get = generic_pipe_buf_get,
Miklos Szeredi28a625c2014-01-22 19:36:57 +0100341};
342EXPORT_SYMBOL(nosteal_pipe_buf_ops);
343
Jens Axboe5274f052006-03-30 15:15:30 +0200344/*
Jens Axboe4f6f0bd2006-04-02 23:04:46 +0200345 * Send 'sd->len' bytes to socket from 'sd->file' at position 'sd->pos'
Jens Axboe016b6612006-04-25 15:42:00 +0200346 * using sendpage(). Return the number of bytes sent.
Jens Axboe5274f052006-03-30 15:15:30 +0200347 */
Jens Axboe76ad4d12006-05-03 10:41:33 +0200348static int pipe_to_sendpage(struct pipe_inode_info *pipe,
Jens Axboe5274f052006-03-30 15:15:30 +0200349 struct pipe_buffer *buf, struct splice_desc *sd)
350{
Jens Axboe6a14b902007-06-14 13:08:55 +0200351 struct file *file = sd->u.file;
Jens Axboe5274f052006-03-30 15:15:30 +0200352 loff_t pos = sd->pos;
Michał Mirosława8adbe32010-12-17 08:56:44 +0100353 int more;
Jens Axboe5274f052006-03-30 15:15:30 +0200354
Al Viro72c2d532013-09-22 16:27:52 -0400355 if (!likely(file->f_op->sendpage))
Michał Mirosława8adbe32010-12-17 08:56:44 +0100356 return -EINVAL;
Jens Axboe5274f052006-03-30 15:15:30 +0200357
Eric Dumazet35f9c092012-04-05 03:05:35 +0000358 more = (sd->flags & SPLICE_F_MORE) ? MSG_MORE : 0;
Eric Dumazetae62ca72013-01-06 18:21:49 +0000359
David Howells8cefc102019-11-15 13:30:32 +0000360 if (sd->len < sd->total_len &&
361 pipe_occupancy(pipe->head, pipe->tail) > 1)
Eric Dumazet35f9c092012-04-05 03:05:35 +0000362 more |= MSG_SENDPAGE_NOTLAST;
Eric Dumazetae62ca72013-01-06 18:21:49 +0000363
Michał Mirosława8adbe32010-12-17 08:56:44 +0100364 return file->f_op->sendpage(file, buf->page, buf->offset,
365 sd->len, &pos, more);
Jens Axboe5274f052006-03-30 15:15:30 +0200366}
367
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200368static void wakeup_pipe_writers(struct pipe_inode_info *pipe)
369{
370 smp_mb();
Linus Torvalds0ddad212019-12-09 09:48:27 -0800371 if (waitqueue_active(&pipe->wr_wait))
372 wake_up_interruptible(&pipe->wr_wait);
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200373 kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
374}
375
376/**
377 * splice_from_pipe_feed - feed available data from a pipe to a file
378 * @pipe: pipe to splice from
379 * @sd: information to @actor
380 * @actor: handler that splices the data
381 *
382 * Description:
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200383 * This function loops over the pipe and calls @actor to do the
384 * actual moving of a single struct pipe_buffer to the desired
385 * destination. It returns when there's no more buffers left in
386 * the pipe or if the requested number of bytes (@sd->total_len)
387 * have been copied. It returns a positive number (one) if the
388 * pipe needs to be filled with more data, zero if the required
389 * number of bytes have been copied and -errno on error.
390 *
391 * This, together with splice_from_pipe_{begin,end,next}, may be
392 * used to implement the functionality of __splice_from_pipe() when
393 * locking is required around copying the pipe buffers to the
394 * destination.
395 */
Al Viro96f9bc82014-04-05 04:35:49 -0400396static int splice_from_pipe_feed(struct pipe_inode_info *pipe, struct splice_desc *sd,
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200397 splice_actor *actor)
398{
David Howells8cefc102019-11-15 13:30:32 +0000399 unsigned int head = pipe->head;
400 unsigned int tail = pipe->tail;
401 unsigned int mask = pipe->ring_size - 1;
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200402 int ret;
403
Linus Torvaldsec057592019-12-06 12:40:35 -0800404 while (!pipe_empty(head, tail)) {
David Howells8cefc102019-11-15 13:30:32 +0000405 struct pipe_buffer *buf = &pipe->bufs[tail & mask];
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200406
407 sd->len = buf->len;
408 if (sd->len > sd->total_len)
409 sd->len = sd->total_len;
410
Miklos Szeredifba597d2016-09-27 10:45:12 +0200411 ret = pipe_buf_confirm(pipe, buf);
Michał Mirosława8adbe32010-12-17 08:56:44 +0100412 if (unlikely(ret)) {
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200413 if (ret == -ENODATA)
414 ret = 0;
415 return ret;
416 }
Michał Mirosława8adbe32010-12-17 08:56:44 +0100417
418 ret = actor(pipe, buf, sd);
419 if (ret <= 0)
420 return ret;
421
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200422 buf->offset += ret;
423 buf->len -= ret;
424
425 sd->num_spliced += ret;
426 sd->len -= ret;
427 sd->pos += ret;
428 sd->total_len -= ret;
429
430 if (!buf->len) {
Miklos Szeredia7796382016-09-27 10:45:12 +0200431 pipe_buf_release(pipe, buf);
David Howells8cefc102019-11-15 13:30:32 +0000432 tail++;
433 pipe->tail = tail;
Al Viro6447a3c2013-03-21 11:01:38 -0400434 if (pipe->files)
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200435 sd->need_wakeup = true;
436 }
437
438 if (!sd->total_len)
439 return 0;
440 }
441
442 return 1;
443}
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200444
Linus Torvaldsd1a819a2020-10-05 11:26:27 -0700445/* We know we have a pipe buffer, but maybe it's empty? */
446static inline bool eat_empty_buffer(struct pipe_inode_info *pipe)
447{
448 unsigned int tail = pipe->tail;
449 unsigned int mask = pipe->ring_size - 1;
450 struct pipe_buffer *buf = &pipe->bufs[tail & mask];
451
452 if (unlikely(!buf->len)) {
453 pipe_buf_release(pipe, buf);
454 pipe->tail = tail+1;
455 return true;
456 }
457
458 return false;
459}
460
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200461/**
462 * splice_from_pipe_next - wait for some data to splice from
463 * @pipe: pipe to splice from
464 * @sd: information about the splice operation
465 *
466 * Description:
467 * This function will wait for some data and return a positive
468 * value (one) if pipe buffers are available. It will return zero
469 * or -errno if no more data needs to be spliced.
470 */
Al Viro96f9bc82014-04-05 04:35:49 -0400471static int splice_from_pipe_next(struct pipe_inode_info *pipe, struct splice_desc *sd)
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200472{
Jan Karac725bfc2015-11-23 13:09:50 +0100473 /*
474 * Check for signal early to make process killable when there are
475 * always buffers available
476 */
477 if (signal_pending(current))
478 return -ERESTARTSYS;
479
Linus Torvaldsd1a819a2020-10-05 11:26:27 -0700480repeat:
David Howells8cefc102019-11-15 13:30:32 +0000481 while (pipe_empty(pipe->head, pipe->tail)) {
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200482 if (!pipe->writers)
483 return 0;
484
Linus Torvaldsa28c8b92019-12-07 13:21:01 -0800485 if (sd->num_spliced)
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200486 return 0;
487
488 if (sd->flags & SPLICE_F_NONBLOCK)
489 return -EAGAIN;
490
491 if (signal_pending(current))
492 return -ERESTARTSYS;
493
494 if (sd->need_wakeup) {
495 wakeup_pipe_writers(pipe);
496 sd->need_wakeup = false;
497 }
498
Linus Torvalds472e5b02020-10-01 19:14:36 -0700499 pipe_wait_readable(pipe);
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200500 }
501
Linus Torvaldsd1a819a2020-10-05 11:26:27 -0700502 if (eat_empty_buffer(pipe))
503 goto repeat;
504
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200505 return 1;
506}
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200507
508/**
509 * splice_from_pipe_begin - start splicing from pipe
Randy Dunlapb80901b2009-04-16 19:09:55 -0700510 * @sd: information about the splice operation
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200511 *
512 * Description:
513 * This function should be called before a loop containing
514 * splice_from_pipe_next() and splice_from_pipe_feed() to
515 * initialize the necessary fields of @sd.
516 */
Al Viro96f9bc82014-04-05 04:35:49 -0400517static void splice_from_pipe_begin(struct splice_desc *sd)
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200518{
519 sd->num_spliced = 0;
520 sd->need_wakeup = false;
521}
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200522
523/**
524 * splice_from_pipe_end - finish splicing from pipe
525 * @pipe: pipe to splice from
526 * @sd: information about the splice operation
527 *
528 * Description:
529 * This function will wake up pipe writers if necessary. It should
530 * be called after a loop containing splice_from_pipe_next() and
531 * splice_from_pipe_feed().
532 */
Al Viro96f9bc82014-04-05 04:35:49 -0400533static void splice_from_pipe_end(struct pipe_inode_info *pipe, struct splice_desc *sd)
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200534{
535 if (sd->need_wakeup)
536 wakeup_pipe_writers(pipe);
537}
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200538
Jens Axboe932cc6d2007-06-21 13:10:21 +0200539/**
540 * __splice_from_pipe - splice data from a pipe to given actor
541 * @pipe: pipe to splice from
542 * @sd: information to @actor
543 * @actor: handler that splices the data
544 *
545 * Description:
546 * This function does little more than loop over the pipe and call
547 * @actor to do the actual moving of a single struct pipe_buffer to
548 * the desired destination. See pipe_to_file, pipe_to_sendpage, or
549 * pipe_to_user.
550 *
Jens Axboe83f91352006-04-02 23:05:09 +0200551 */
Jens Axboec66ab6f2007-06-12 21:17:17 +0200552ssize_t __splice_from_pipe(struct pipe_inode_info *pipe, struct splice_desc *sd,
553 splice_actor *actor)
Jens Axboe5274f052006-03-30 15:15:30 +0200554{
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200555 int ret;
Jens Axboe5274f052006-03-30 15:15:30 +0200556
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200557 splice_from_pipe_begin(sd);
558 do {
Jan Karac2489e02015-11-23 13:09:51 +0100559 cond_resched();
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200560 ret = splice_from_pipe_next(pipe, sd);
561 if (ret > 0)
562 ret = splice_from_pipe_feed(pipe, sd, actor);
563 } while (ret > 0);
564 splice_from_pipe_end(pipe, sd);
Jens Axboe5274f052006-03-30 15:15:30 +0200565
Miklos Szeredib3c2d2d2009-04-14 19:48:36 +0200566 return sd->num_spliced ? sd->num_spliced : ret;
Jens Axboe5274f052006-03-30 15:15:30 +0200567}
Mark Fasheh40bee44e2007-03-21 13:11:02 +0100568EXPORT_SYMBOL(__splice_from_pipe);
Jens Axboe5274f052006-03-30 15:15:30 +0200569
Jens Axboe932cc6d2007-06-21 13:10:21 +0200570/**
571 * splice_from_pipe - splice data from a pipe to a file
572 * @pipe: pipe to splice from
573 * @out: file to splice to
574 * @ppos: position in @out
575 * @len: how many bytes to splice
576 * @flags: splice modifier flags
577 * @actor: handler that splices the data
578 *
579 * Description:
Miklos Szeredi29339702009-04-14 19:48:37 +0200580 * See __splice_from_pipe. This function locks the pipe inode,
Jens Axboe932cc6d2007-06-21 13:10:21 +0200581 * otherwise it's identical to __splice_from_pipe().
582 *
583 */
Mark Fasheh6da61802006-10-17 18:43:07 +0200584ssize_t splice_from_pipe(struct pipe_inode_info *pipe, struct file *out,
585 loff_t *ppos, size_t len, unsigned int flags,
586 splice_actor *actor)
587{
588 ssize_t ret;
Jens Axboec66ab6f2007-06-12 21:17:17 +0200589 struct splice_desc sd = {
590 .total_len = len,
591 .flags = flags,
592 .pos = *ppos,
Jens Axboe6a14b902007-06-14 13:08:55 +0200593 .u.file = out,
Jens Axboec66ab6f2007-06-12 21:17:17 +0200594 };
Mark Fasheh6da61802006-10-17 18:43:07 +0200595
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200596 pipe_lock(pipe);
Jens Axboec66ab6f2007-06-12 21:17:17 +0200597 ret = __splice_from_pipe(pipe, &sd, actor);
Miklos Szeredi61e0d472009-04-14 19:48:41 +0200598 pipe_unlock(pipe);
Mark Fasheh6da61802006-10-17 18:43:07 +0200599
600 return ret;
601}
602
603/**
Al Viro8d020762014-04-05 04:27:08 -0400604 * iter_file_splice_write - splice data from a pipe to a file
605 * @pipe: pipe info
606 * @out: file to write to
607 * @ppos: position in @out
608 * @len: number of bytes to splice
609 * @flags: splice modifier flags
610 *
611 * Description:
612 * Will either move or copy pages (determined by @flags options) from
613 * the given pipe inode to the given file.
614 * This one is ->write_iter-based.
615 *
616 */
617ssize_t
618iter_file_splice_write(struct pipe_inode_info *pipe, struct file *out,
619 loff_t *ppos, size_t len, unsigned int flags)
620{
621 struct splice_desc sd = {
622 .total_len = len,
623 .flags = flags,
624 .pos = *ppos,
625 .u.file = out,
626 };
David Howells6718b6f2019-10-16 16:47:32 +0100627 int nbufs = pipe->max_usage;
Al Viro8d020762014-04-05 04:27:08 -0400628 struct bio_vec *array = kcalloc(nbufs, sizeof(struct bio_vec),
629 GFP_KERNEL);
630 ssize_t ret;
631
632 if (unlikely(!array))
633 return -ENOMEM;
634
635 pipe_lock(pipe);
636
637 splice_from_pipe_begin(&sd);
638 while (sd.total_len) {
639 struct iov_iter from;
Linus Torvaldsec057592019-12-06 12:40:35 -0800640 unsigned int head, tail, mask;
Al Viro8d020762014-04-05 04:27:08 -0400641 size_t left;
David Howells8cefc102019-11-15 13:30:32 +0000642 int n;
Al Viro8d020762014-04-05 04:27:08 -0400643
644 ret = splice_from_pipe_next(pipe, &sd);
645 if (ret <= 0)
646 break;
647
David Howells6718b6f2019-10-16 16:47:32 +0100648 if (unlikely(nbufs < pipe->max_usage)) {
Al Viro8d020762014-04-05 04:27:08 -0400649 kfree(array);
David Howells6718b6f2019-10-16 16:47:32 +0100650 nbufs = pipe->max_usage;
Al Viro8d020762014-04-05 04:27:08 -0400651 array = kcalloc(nbufs, sizeof(struct bio_vec),
652 GFP_KERNEL);
653 if (!array) {
654 ret = -ENOMEM;
655 break;
656 }
657 }
658
Linus Torvaldsec057592019-12-06 12:40:35 -0800659 head = pipe->head;
660 tail = pipe->tail;
661 mask = pipe->ring_size - 1;
662
Al Viro8d020762014-04-05 04:27:08 -0400663 /* build the vector */
664 left = sd.total_len;
Pavel Begunkov0f1d3442021-01-09 16:02:57 +0000665 for (n = 0; !pipe_empty(head, tail) && left && n < nbufs; tail++) {
David Howells8cefc102019-11-15 13:30:32 +0000666 struct pipe_buffer *buf = &pipe->bufs[tail & mask];
Al Viro8d020762014-04-05 04:27:08 -0400667 size_t this_len = buf->len;
668
Pavel Begunkov0f1d3442021-01-09 16:02:57 +0000669 /* zero-length bvecs are not supported, skip them */
670 if (!this_len)
671 continue;
672 this_len = min(this_len, left);
Al Viro8d020762014-04-05 04:27:08 -0400673
Miklos Szeredifba597d2016-09-27 10:45:12 +0200674 ret = pipe_buf_confirm(pipe, buf);
Al Viro8d020762014-04-05 04:27:08 -0400675 if (unlikely(ret)) {
676 if (ret == -ENODATA)
677 ret = 0;
678 goto done;
679 }
680
681 array[n].bv_page = buf->page;
682 array[n].bv_len = this_len;
683 array[n].bv_offset = buf->offset;
684 left -= this_len;
Pavel Begunkov0f1d3442021-01-09 16:02:57 +0000685 n++;
Al Viro8d020762014-04-05 04:27:08 -0400686 }
687
David Howellsaa563d72018-10-20 00:57:56 +0100688 iov_iter_bvec(&from, WRITE, array, n, sd.total_len - left);
Christoph Hellwigabbb65892017-05-27 11:16:52 +0300689 ret = vfs_iter_write(out, &from, &sd.pos, 0);
Al Viro8d020762014-04-05 04:27:08 -0400690 if (ret <= 0)
691 break;
692
693 sd.num_spliced += ret;
694 sd.total_len -= ret;
Christoph Hellwigdbe4e192015-01-25 21:11:59 +0100695 *ppos = sd.pos;
Al Viro8d020762014-04-05 04:27:08 -0400696
697 /* dismiss the fully eaten buffers, adjust the partial one */
David Howells8cefc102019-11-15 13:30:32 +0000698 tail = pipe->tail;
Al Viro8d020762014-04-05 04:27:08 -0400699 while (ret) {
David Howells8cefc102019-11-15 13:30:32 +0000700 struct pipe_buffer *buf = &pipe->bufs[tail & mask];
Al Viro8d020762014-04-05 04:27:08 -0400701 if (ret >= buf->len) {
Al Viro8d020762014-04-05 04:27:08 -0400702 ret -= buf->len;
703 buf->len = 0;
Miklos Szeredia7796382016-09-27 10:45:12 +0200704 pipe_buf_release(pipe, buf);
David Howells8cefc102019-11-15 13:30:32 +0000705 tail++;
706 pipe->tail = tail;
Al Viro8d020762014-04-05 04:27:08 -0400707 if (pipe->files)
708 sd.need_wakeup = true;
709 } else {
710 buf->offset += ret;
711 buf->len -= ret;
712 ret = 0;
713 }
714 }
715 }
716done:
717 kfree(array);
718 splice_from_pipe_end(pipe, &sd);
719
720 pipe_unlock(pipe);
721
722 if (sd.num_spliced)
723 ret = sd.num_spliced;
724
725 return ret;
726}
727
728EXPORT_SYMBOL(iter_file_splice_write);
729
Jens Axboe83f91352006-04-02 23:05:09 +0200730/**
731 * generic_splice_sendpage - splice data from a pipe to a socket
Jens Axboe932cc6d2007-06-21 13:10:21 +0200732 * @pipe: pipe to splice from
Jens Axboe83f91352006-04-02 23:05:09 +0200733 * @out: socket to write to
Jens Axboe932cc6d2007-06-21 13:10:21 +0200734 * @ppos: position in @out
Jens Axboe83f91352006-04-02 23:05:09 +0200735 * @len: number of bytes to splice
736 * @flags: splice modifier flags
737 *
Jens Axboe932cc6d2007-06-21 13:10:21 +0200738 * Description:
739 * Will send @len bytes from the pipe to a network socket. No data copying
740 * is involved.
Jens Axboe83f91352006-04-02 23:05:09 +0200741 *
742 */
Ingo Molnar3a326a22006-04-10 15:18:35 +0200743ssize_t generic_splice_sendpage(struct pipe_inode_info *pipe, struct file *out,
Jens Axboecbb7e572006-04-11 14:57:50 +0200744 loff_t *ppos, size_t len, unsigned int flags)
Jens Axboe5274f052006-03-30 15:15:30 +0200745{
Jens Axboe00522fb2006-04-26 14:39:29 +0200746 return splice_from_pipe(pipe, out, ppos, len, flags, pipe_to_sendpage);
Jens Axboe5274f052006-03-30 15:15:30 +0200747}
748
Jens Axboe059a8f32006-04-02 23:06:05 +0200749EXPORT_SYMBOL(generic_splice_sendpage);
Jeff Garzika0f06782006-03-30 23:06:13 -0500750
Christoph Hellwig36e2c742020-09-03 16:22:34 +0200751static int warn_unsupported(struct file *file, const char *op)
752{
753 pr_debug_ratelimited(
754 "splice %s not supported for file %pD4 (pid: %d comm: %.20s)\n",
755 op, file, current->pid, current->comm);
756 return -EINVAL;
757}
758
Jens Axboe83f91352006-04-02 23:05:09 +0200759/*
760 * Attempt to initiate a splice from pipe to file.
761 */
Ingo Molnar3a326a22006-04-10 15:18:35 +0200762static long do_splice_from(struct pipe_inode_info *pipe, struct file *out,
Jens Axboecbb7e572006-04-11 14:57:50 +0200763 loff_t *ppos, size_t len, unsigned int flags)
Jens Axboe5274f052006-03-30 15:15:30 +0200764{
Christoph Hellwig36e2c742020-09-03 16:22:34 +0200765 if (unlikely(!out->f_op->splice_write))
766 return warn_unsupported(out, "write");
767 return out->f_op->splice_write(pipe, out, ppos, len, flags);
Jens Axboe5274f052006-03-30 15:15:30 +0200768}
769
Jens Axboe83f91352006-04-02 23:05:09 +0200770/*
771 * Attempt to initiate a splice from a file to a pipe.
772 */
Jens Axboecbb7e572006-04-11 14:57:50 +0200773static long do_splice_to(struct file *in, loff_t *ppos,
774 struct pipe_inode_info *pipe, size_t len,
775 unsigned int flags)
Jens Axboe5274f052006-03-30 15:15:30 +0200776{
Al Viro313d64a2021-01-24 23:49:04 -0500777 unsigned int p_space;
Jens Axboe5274f052006-03-30 15:15:30 +0200778 int ret;
779
Jens Axboe49570e92006-04-11 13:56:09 +0200780 if (unlikely(!(in->f_mode & FMODE_READ)))
Jens Axboe5274f052006-03-30 15:15:30 +0200781 return -EBADF;
782
Al Viro313d64a2021-01-24 23:49:04 -0500783 /* Don't try to read more the pipe has space for. */
784 p_space = pipe->max_usage - pipe_occupancy(pipe->head, pipe->tail);
785 len = min_t(size_t, len, p_space << PAGE_SHIFT);
786
Jens Axboecbb7e572006-04-11 14:57:50 +0200787 ret = rw_verify_area(READ, in, ppos, len);
Jens Axboe5274f052006-03-30 15:15:30 +0200788 if (unlikely(ret < 0))
789 return ret;
790
Al Viro03cc0782016-04-02 14:56:58 -0400791 if (unlikely(len > MAX_RW_COUNT))
792 len = MAX_RW_COUNT;
793
Christoph Hellwig36e2c742020-09-03 16:22:34 +0200794 if (unlikely(!in->f_op->splice_read))
795 return warn_unsupported(in, "read");
796 return in->f_op->splice_read(in, ppos, pipe, len, flags);
Jens Axboe5274f052006-03-30 15:15:30 +0200797}
798
Jens Axboe932cc6d2007-06-21 13:10:21 +0200799/**
800 * splice_direct_to_actor - splices data directly between two non-pipes
801 * @in: file to splice from
802 * @sd: actor information on where to splice to
803 * @actor: handles the data splicing
804 *
805 * Description:
806 * This is a special case helper to splice directly between two
807 * points, without requiring an explicit pipe. Internally an allocated
Randy Dunlap79685b82007-07-27 08:08:51 +0200808 * pipe is cached in the process, and reused during the lifetime of
Jens Axboe932cc6d2007-06-21 13:10:21 +0200809 * that process.
810 *
Jens Axboec66ab6f2007-06-12 21:17:17 +0200811 */
812ssize_t splice_direct_to_actor(struct file *in, struct splice_desc *sd,
813 splice_direct_actor *actor)
Jens Axboeb92ce552006-04-11 13:52:07 +0200814{
815 struct pipe_inode_info *pipe;
816 long ret, bytes;
817 umode_t i_mode;
Jens Axboec66ab6f2007-06-12 21:17:17 +0200818 size_t len;
Christophe Leroy0ff28d92015-05-06 17:26:47 +0200819 int i, flags, more;
Jens Axboeb92ce552006-04-11 13:52:07 +0200820
821 /*
822 * We require the input being a regular file, as we don't want to
823 * randomly drop data for eg socket -> socket splicing. Use the
824 * piped splicing for that!
825 */
Al Viro496ad9a2013-01-23 17:07:38 -0500826 i_mode = file_inode(in)->i_mode;
Jens Axboeb92ce552006-04-11 13:52:07 +0200827 if (unlikely(!S_ISREG(i_mode) && !S_ISBLK(i_mode)))
828 return -EINVAL;
829
830 /*
831 * neither in nor out is a pipe, setup an internal pipe attached to
832 * 'out' and transfer the wanted data from 'in' to 'out' through that
833 */
834 pipe = current->splice_pipe;
Jens Axboe49570e92006-04-11 13:56:09 +0200835 if (unlikely(!pipe)) {
Al Viro7bee1302013-03-21 11:04:15 -0400836 pipe = alloc_pipe_info();
Jens Axboeb92ce552006-04-11 13:52:07 +0200837 if (!pipe)
838 return -ENOMEM;
839
840 /*
841 * We don't have an immediate reader, but we'll read the stuff
Jens Axboe00522fb2006-04-26 14:39:29 +0200842 * out of the pipe right after the splice_to_pipe(). So set
Jens Axboeb92ce552006-04-11 13:52:07 +0200843 * PIPE_READERS appropriately.
844 */
845 pipe->readers = 1;
846
847 current->splice_pipe = pipe;
848 }
849
850 /*
Ingo Molnar73d62d82006-04-11 13:57:21 +0200851 * Do the splice.
Jens Axboeb92ce552006-04-11 13:52:07 +0200852 */
853 ret = 0;
854 bytes = 0;
Jens Axboec66ab6f2007-06-12 21:17:17 +0200855 len = sd->total_len;
856 flags = sd->flags;
857
858 /*
859 * Don't block on output, we have to drain the direct pipe.
860 */
861 sd->flags &= ~SPLICE_F_NONBLOCK;
Christophe Leroy0ff28d92015-05-06 17:26:47 +0200862 more = sd->flags & SPLICE_F_MORE;
Jens Axboeb92ce552006-04-11 13:52:07 +0200863
David Howells8cefc102019-11-15 13:30:32 +0000864 WARN_ON_ONCE(!pipe_empty(pipe->head, pipe->tail));
Darrick J. Wong17614442018-11-30 10:37:49 -0800865
Jens Axboeb92ce552006-04-11 13:52:07 +0200866 while (len) {
Jens Axboe51a92c02007-07-13 14:11:43 +0200867 size_t read_len;
Tom Zanussia82c53a2008-05-09 13:28:36 +0200868 loff_t pos = sd->pos, prev_pos = pos;
Jens Axboeb92ce552006-04-11 13:52:07 +0200869
Al Viro313d64a2021-01-24 23:49:04 -0500870 ret = do_splice_to(in, &pos, pipe, len, flags);
Jens Axboe51a92c02007-07-13 14:11:43 +0200871 if (unlikely(ret <= 0))
Jens Axboeb92ce552006-04-11 13:52:07 +0200872 goto out_release;
873
874 read_len = ret;
Jens Axboec66ab6f2007-06-12 21:17:17 +0200875 sd->total_len = read_len;
Jens Axboeb92ce552006-04-11 13:52:07 +0200876
877 /*
Christophe Leroy0ff28d92015-05-06 17:26:47 +0200878 * If more data is pending, set SPLICE_F_MORE
879 * If this is the last data and SPLICE_F_MORE was not set
880 * initially, clears it.
881 */
882 if (read_len < len)
883 sd->flags |= SPLICE_F_MORE;
884 else if (!more)
885 sd->flags &= ~SPLICE_F_MORE;
886 /*
Jens Axboeb92ce552006-04-11 13:52:07 +0200887 * NOTE: nonblocking mode only applies to the input. We
888 * must not do the output in nonblocking mode as then we
889 * could get stuck data in the internal pipe:
890 */
Jens Axboec66ab6f2007-06-12 21:17:17 +0200891 ret = actor(pipe, sd);
Tom Zanussia82c53a2008-05-09 13:28:36 +0200892 if (unlikely(ret <= 0)) {
893 sd->pos = prev_pos;
Jens Axboeb92ce552006-04-11 13:52:07 +0200894 goto out_release;
Tom Zanussia82c53a2008-05-09 13:28:36 +0200895 }
Jens Axboeb92ce552006-04-11 13:52:07 +0200896
897 bytes += ret;
898 len -= ret;
Jens Axboebcd4f3a2007-07-16 14:41:49 +0200899 sd->pos = pos;
Jens Axboeb92ce552006-04-11 13:52:07 +0200900
Tom Zanussia82c53a2008-05-09 13:28:36 +0200901 if (ret < read_len) {
902 sd->pos = prev_pos + ret;
Jens Axboe51a92c02007-07-13 14:11:43 +0200903 goto out_release;
Tom Zanussia82c53a2008-05-09 13:28:36 +0200904 }
Jens Axboeb92ce552006-04-11 13:52:07 +0200905 }
906
Jens Axboe9e971982008-01-29 21:05:57 +0100907done:
David Howells8cefc102019-11-15 13:30:32 +0000908 pipe->tail = pipe->head = 0;
Jens Axboe80848702008-01-30 12:24:48 +0100909 file_accessed(in);
Jens Axboeb92ce552006-04-11 13:52:07 +0200910 return bytes;
911
912out_release:
913 /*
914 * If we did an incomplete transfer we must release
915 * the pipe buffers in question:
916 */
David Howells8cefc102019-11-15 13:30:32 +0000917 for (i = 0; i < pipe->ring_size; i++) {
918 struct pipe_buffer *buf = &pipe->bufs[i];
Jens Axboeb92ce552006-04-11 13:52:07 +0200919
Miklos Szeredia7796382016-09-27 10:45:12 +0200920 if (buf->ops)
921 pipe_buf_release(pipe, buf);
Jens Axboeb92ce552006-04-11 13:52:07 +0200922 }
Jens Axboeb92ce552006-04-11 13:52:07 +0200923
Jens Axboe9e971982008-01-29 21:05:57 +0100924 if (!bytes)
925 bytes = ret;
Jens Axboeb92ce552006-04-11 13:52:07 +0200926
Jens Axboe9e971982008-01-29 21:05:57 +0100927 goto done;
Jens Axboec66ab6f2007-06-12 21:17:17 +0200928}
929EXPORT_SYMBOL(splice_direct_to_actor);
930
931static int direct_splice_actor(struct pipe_inode_info *pipe,
932 struct splice_desc *sd)
933{
Jens Axboe6a14b902007-06-14 13:08:55 +0200934 struct file *file = sd->u.file;
Jens Axboec66ab6f2007-06-12 21:17:17 +0200935
Al Viro7995bd22013-06-20 18:58:36 +0400936 return do_splice_from(pipe, file, sd->opos, sd->total_len,
Changli Gao2cb4b052010-06-29 13:09:18 +0200937 sd->flags);
Jens Axboec66ab6f2007-06-12 21:17:17 +0200938}
939
Jens Axboe932cc6d2007-06-21 13:10:21 +0200940/**
941 * do_splice_direct - splices data directly between two files
942 * @in: file to splice from
943 * @ppos: input file offset
944 * @out: file to splice to
Randy Dunlapacdb37c2013-06-22 19:44:08 -0700945 * @opos: output file offset
Jens Axboe932cc6d2007-06-21 13:10:21 +0200946 * @len: number of bytes to splice
947 * @flags: splice modifier flags
948 *
949 * Description:
950 * For use by do_sendfile(). splice can easily emulate sendfile, but
951 * doing it in the application would incur an extra system call
952 * (splice in + splice out, as compared to just sendfile()). So this helper
953 * can splice directly through a process-private pipe.
954 *
955 */
Jens Axboec66ab6f2007-06-12 21:17:17 +0200956long do_splice_direct(struct file *in, loff_t *ppos, struct file *out,
Al Viro7995bd22013-06-20 18:58:36 +0400957 loff_t *opos, size_t len, unsigned int flags)
Jens Axboec66ab6f2007-06-12 21:17:17 +0200958{
959 struct splice_desc sd = {
960 .len = len,
961 .total_len = len,
962 .flags = flags,
963 .pos = *ppos,
Jens Axboe6a14b902007-06-14 13:08:55 +0200964 .u.file = out,
Al Viro7995bd22013-06-20 18:58:36 +0400965 .opos = opos,
Jens Axboec66ab6f2007-06-12 21:17:17 +0200966 };
Jens Axboe51a92c02007-07-13 14:11:43 +0200967 long ret;
Jens Axboec66ab6f2007-06-12 21:17:17 +0200968
Al Viro18c67cb2013-06-19 15:41:54 +0400969 if (unlikely(!(out->f_mode & FMODE_WRITE)))
970 return -EBADF;
971
972 if (unlikely(out->f_flags & O_APPEND))
973 return -EINVAL;
974
975 ret = rw_verify_area(WRITE, out, opos, len);
976 if (unlikely(ret < 0))
977 return ret;
978
Jens Axboec66ab6f2007-06-12 21:17:17 +0200979 ret = splice_direct_to_actor(in, &sd, direct_splice_actor);
Jens Axboe51a92c02007-07-13 14:11:43 +0200980 if (ret > 0)
Tom Zanussia82c53a2008-05-09 13:28:36 +0200981 *ppos = sd.pos;
Jens Axboe51a92c02007-07-13 14:11:43 +0200982
Jens Axboec66ab6f2007-06-12 21:17:17 +0200983 return ret;
Jens Axboeb92ce552006-04-11 13:52:07 +0200984}
Miklos Szeredi1c118592014-10-24 00:14:35 +0200985EXPORT_SYMBOL(do_splice_direct);
Jens Axboeb92ce552006-04-11 13:52:07 +0200986
Al Viro8924fef2016-09-17 20:44:45 -0400987static int wait_for_space(struct pipe_inode_info *pipe, unsigned flags)
988{
Linus Torvalds52bce912016-12-21 10:59:34 -0800989 for (;;) {
990 if (unlikely(!pipe->readers)) {
991 send_sig(SIGPIPE, current, 0);
992 return -EPIPE;
993 }
David Howells6718b6f2019-10-16 16:47:32 +0100994 if (!pipe_full(pipe->head, pipe->tail, pipe->max_usage))
Linus Torvalds52bce912016-12-21 10:59:34 -0800995 return 0;
Al Viro8924fef2016-09-17 20:44:45 -0400996 if (flags & SPLICE_F_NONBLOCK)
997 return -EAGAIN;
998 if (signal_pending(current))
999 return -ERESTARTSYS;
Linus Torvalds472e5b02020-10-01 19:14:36 -07001000 pipe_wait_writable(pipe);
Al Viro8924fef2016-09-17 20:44:45 -04001001 }
Al Viro8924fef2016-09-17 20:44:45 -04001002}
1003
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001004static int splice_pipe_to_pipe(struct pipe_inode_info *ipipe,
1005 struct pipe_inode_info *opipe,
1006 size_t len, unsigned int flags);
Jens Axboeddac0d32006-11-04 12:49:32 +01001007
Al Virob964bf52021-01-25 22:24:28 -05001008long splice_file_to_pipe(struct file *in,
Al Virofaa97c42021-01-25 22:23:03 -05001009 struct pipe_inode_info *opipe,
1010 loff_t *offset,
1011 size_t len, unsigned int flags)
1012{
1013 long ret;
1014
1015 pipe_lock(opipe);
1016 ret = wait_for_space(opipe, flags);
1017 if (!ret)
1018 ret = do_splice_to(in, offset, opipe, len, flags);
1019 pipe_unlock(opipe);
1020 if (ret > 0)
1021 wakeup_pipe_readers(opipe);
1022 return ret;
1023}
1024
Jens Axboeddac0d32006-11-04 12:49:32 +01001025/*
Jens Axboe83f91352006-04-02 23:05:09 +02001026 * Determine where to splice to/from.
1027 */
Jens Axboeee6e00c2020-10-22 14:15:51 -06001028long do_splice(struct file *in, loff_t *off_in, struct file *out,
1029 loff_t *off_out, size_t len, unsigned int flags)
Jens Axboe5274f052006-03-30 15:15:30 +02001030{
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001031 struct pipe_inode_info *ipipe;
1032 struct pipe_inode_info *opipe;
Al Viro7995bd22013-06-20 18:58:36 +04001033 loff_t offset;
Jens Axboea4514eb2006-04-19 15:57:05 +02001034 long ret;
Jens Axboe5274f052006-03-30 15:15:30 +02001035
Pavel Begunkov90da2e32020-05-04 22:39:35 +03001036 if (unlikely(!(in->f_mode & FMODE_READ) ||
1037 !(out->f_mode & FMODE_WRITE)))
1038 return -EBADF;
1039
David Howellsc73be612020-01-14 17:07:11 +00001040 ipipe = get_pipe_info(in, true);
1041 opipe = get_pipe_info(out, true);
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001042
1043 if (ipipe && opipe) {
1044 if (off_in || off_out)
1045 return -ESPIPE;
1046
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001047 /* Splicing to self would be fun, but... */
1048 if (ipipe == opipe)
1049 return -EINVAL;
1050
Slavomir Kaslevee5e0012019-02-07 17:45:19 +02001051 if ((in->f_flags | out->f_flags) & O_NONBLOCK)
1052 flags |= SPLICE_F_NONBLOCK;
1053
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001054 return splice_pipe_to_pipe(ipipe, opipe, len, flags);
1055 }
1056
1057 if (ipipe) {
Ingo Molnar529565dc2006-04-10 15:18:58 +02001058 if (off_in)
1059 return -ESPIPE;
Jens Axboeb92ce552006-04-11 13:52:07 +02001060 if (off_out) {
Changli Gao19c9a492010-06-29 13:10:36 +02001061 if (!(out->f_mode & FMODE_PWRITE))
Jens Axboeb92ce552006-04-11 13:52:07 +02001062 return -EINVAL;
Jens Axboeee6e00c2020-10-22 14:15:51 -06001063 offset = *off_out;
Al Viro7995bd22013-06-20 18:58:36 +04001064 } else {
1065 offset = out->f_pos;
1066 }
Ingo Molnar529565dc2006-04-10 15:18:58 +02001067
Al Viro18c67cb2013-06-19 15:41:54 +04001068 if (unlikely(out->f_flags & O_APPEND))
1069 return -EINVAL;
1070
1071 ret = rw_verify_area(WRITE, out, &offset, len);
1072 if (unlikely(ret < 0))
1073 return ret;
1074
Slavomir Kaslevee5e0012019-02-07 17:45:19 +02001075 if (in->f_flags & O_NONBLOCK)
1076 flags |= SPLICE_F_NONBLOCK;
1077
Al Viro500368f2013-05-23 20:07:11 -04001078 file_start_write(out);
Al Viro7995bd22013-06-20 18:58:36 +04001079 ret = do_splice_from(ipipe, out, &offset, len, flags);
Al Viro500368f2013-05-23 20:07:11 -04001080 file_end_write(out);
Jens Axboea4514eb2006-04-19 15:57:05 +02001081
Al Viro7995bd22013-06-20 18:58:36 +04001082 if (!off_out)
1083 out->f_pos = offset;
Jens Axboeee6e00c2020-10-22 14:15:51 -06001084 else
1085 *off_out = offset;
Jens Axboea4514eb2006-04-19 15:57:05 +02001086
1087 return ret;
Ingo Molnar529565dc2006-04-10 15:18:58 +02001088 }
Jens Axboe5274f052006-03-30 15:15:30 +02001089
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001090 if (opipe) {
Ingo Molnar529565dc2006-04-10 15:18:58 +02001091 if (off_out)
1092 return -ESPIPE;
Jens Axboeb92ce552006-04-11 13:52:07 +02001093 if (off_in) {
Changli Gao19c9a492010-06-29 13:10:36 +02001094 if (!(in->f_mode & FMODE_PREAD))
Jens Axboeb92ce552006-04-11 13:52:07 +02001095 return -EINVAL;
Jens Axboeee6e00c2020-10-22 14:15:51 -06001096 offset = *off_in;
Al Viro7995bd22013-06-20 18:58:36 +04001097 } else {
1098 offset = in->f_pos;
1099 }
Ingo Molnar529565dc2006-04-10 15:18:58 +02001100
Slavomir Kaslevee5e0012019-02-07 17:45:19 +02001101 if (out->f_flags & O_NONBLOCK)
1102 flags |= SPLICE_F_NONBLOCK;
1103
Al Virofaa97c42021-01-25 22:23:03 -05001104 ret = splice_file_to_pipe(in, opipe, &offset, len, flags);
Al Viro7995bd22013-06-20 18:58:36 +04001105 if (!off_in)
1106 in->f_pos = offset;
Jens Axboeee6e00c2020-10-22 14:15:51 -06001107 else
1108 *off_in = offset;
Jens Axboea4514eb2006-04-19 15:57:05 +02001109
1110 return ret;
Ingo Molnar529565dc2006-04-10 15:18:58 +02001111 }
Jens Axboe5274f052006-03-30 15:15:30 +02001112
1113 return -EINVAL;
1114}
1115
Jens Axboeee6e00c2020-10-22 14:15:51 -06001116static long __do_splice(struct file *in, loff_t __user *off_in,
1117 struct file *out, loff_t __user *off_out,
1118 size_t len, unsigned int flags)
1119{
1120 struct pipe_inode_info *ipipe;
1121 struct pipe_inode_info *opipe;
1122 loff_t offset, *__off_in = NULL, *__off_out = NULL;
1123 long ret;
1124
1125 ipipe = get_pipe_info(in, true);
1126 opipe = get_pipe_info(out, true);
1127
1128 if (ipipe && off_in)
1129 return -ESPIPE;
1130 if (opipe && off_out)
1131 return -ESPIPE;
1132
1133 if (off_out) {
1134 if (copy_from_user(&offset, off_out, sizeof(loff_t)))
1135 return -EFAULT;
1136 __off_out = &offset;
1137 }
1138 if (off_in) {
1139 if (copy_from_user(&offset, off_in, sizeof(loff_t)))
1140 return -EFAULT;
1141 __off_in = &offset;
1142 }
1143
1144 ret = do_splice(in, __off_in, out, __off_out, len, flags);
1145 if (ret < 0)
1146 return ret;
1147
1148 if (__off_out && copy_to_user(off_out, __off_out, sizeof(loff_t)))
1149 return -EFAULT;
1150 if (__off_in && copy_to_user(off_in, __off_in, sizeof(loff_t)))
1151 return -EFAULT;
1152
1153 return ret;
1154}
1155
Al Viro79fddc42016-09-17 22:38:20 -04001156static int iter_to_pipe(struct iov_iter *from,
1157 struct pipe_inode_info *pipe,
1158 unsigned flags)
Jens Axboe912d35f2006-04-26 10:59:21 +02001159{
Al Viro79fddc42016-09-17 22:38:20 -04001160 struct pipe_buffer buf = {
1161 .ops = &user_page_pipe_buf_ops,
1162 .flags = flags
1163 };
1164 size_t total = 0;
1165 int ret = 0;
1166 bool failed = false;
1167
1168 while (iov_iter_count(from) && !failed) {
1169 struct page *pages[16];
Al Virodb85a9e2016-09-17 20:25:06 -04001170 ssize_t copied;
1171 size_t start;
Al Viro79fddc42016-09-17 22:38:20 -04001172 int n;
Jens Axboe912d35f2006-04-26 10:59:21 +02001173
Al Viro79fddc42016-09-17 22:38:20 -04001174 copied = iov_iter_get_pages(from, pages, ~0UL, 16, &start);
1175 if (copied <= 0) {
1176 ret = copied;
1177 break;
1178 }
Jens Axboe912d35f2006-04-26 10:59:21 +02001179
Al Viro79fddc42016-09-17 22:38:20 -04001180 for (n = 0; copied; n++, start = 0) {
Al Virodb85a9e2016-09-17 20:25:06 -04001181 int size = min_t(int, copied, PAGE_SIZE - start);
Al Viro79fddc42016-09-17 22:38:20 -04001182 if (!failed) {
1183 buf.page = pages[n];
1184 buf.offset = start;
1185 buf.len = size;
1186 ret = add_to_pipe(pipe, &buf);
1187 if (unlikely(ret < 0)) {
1188 failed = true;
1189 } else {
1190 iov_iter_advance(from, ret);
1191 total += ret;
1192 }
1193 } else {
1194 put_page(pages[n]);
1195 }
Al Virodb85a9e2016-09-17 20:25:06 -04001196 copied -= size;
Jens Axboe912d35f2006-04-26 10:59:21 +02001197 }
Jens Axboe912d35f2006-04-26 10:59:21 +02001198 }
Al Viro79fddc42016-09-17 22:38:20 -04001199 return total ? total : ret;
Jens Axboe912d35f2006-04-26 10:59:21 +02001200}
1201
Jens Axboe6a14b902007-06-14 13:08:55 +02001202static int pipe_to_user(struct pipe_inode_info *pipe, struct pipe_buffer *buf,
1203 struct splice_desc *sd)
1204{
Al Viro6130f532014-02-03 18:19:51 -05001205 int n = copy_page_to_iter(buf->page, buf->offset, sd->len, sd->u.data);
1206 return n == sd->len ? n : -EFAULT;
Jens Axboe6a14b902007-06-14 13:08:55 +02001207}
1208
1209/*
1210 * For lack of a better implementation, implement vmsplice() to userspace
1211 * as a simple copy of the pipes pages to the user iov.
1212 */
Al Viro87a30022018-05-26 21:39:52 -04001213static long vmsplice_to_user(struct file *file, struct iov_iter *iter,
1214 unsigned int flags)
Jens Axboe6a14b902007-06-14 13:08:55 +02001215{
David Howellsc73be612020-01-14 17:07:11 +00001216 struct pipe_inode_info *pipe = get_pipe_info(file, true);
Al Viro87a30022018-05-26 21:39:52 -04001217 struct splice_desc sd = {
1218 .total_len = iov_iter_count(iter),
1219 .flags = flags,
1220 .u.data = iter
1221 };
1222 long ret = 0;
Jens Axboe6a14b902007-06-14 13:08:55 +02001223
Jens Axboe6a14b902007-06-14 13:08:55 +02001224 if (!pipe)
1225 return -EBADF;
1226
Al Viro345995f2015-03-21 19:17:55 -04001227 if (sd.total_len) {
1228 pipe_lock(pipe);
1229 ret = __splice_from_pipe(pipe, &sd, pipe_to_user);
1230 pipe_unlock(pipe);
1231 }
Jens Axboe6a14b902007-06-14 13:08:55 +02001232
Jens Axboe6a14b902007-06-14 13:08:55 +02001233 return ret;
1234}
1235
Jens Axboe912d35f2006-04-26 10:59:21 +02001236/*
1237 * vmsplice splices a user address range into a pipe. It can be thought of
1238 * as splice-from-memory, where the regular splice is splice-from-file (or
1239 * to file). In both cases the output is a pipe, naturally.
Jens Axboe912d35f2006-04-26 10:59:21 +02001240 */
Al Viro87a30022018-05-26 21:39:52 -04001241static long vmsplice_to_pipe(struct file *file, struct iov_iter *iter,
1242 unsigned int flags)
Jens Axboe912d35f2006-04-26 10:59:21 +02001243{
Jens Axboeddac0d32006-11-04 12:49:32 +01001244 struct pipe_inode_info *pipe;
Al Viro87a30022018-05-26 21:39:52 -04001245 long ret = 0;
Al Viro79fddc42016-09-17 22:38:20 -04001246 unsigned buf_flag = 0;
1247
1248 if (flags & SPLICE_F_GIFT)
1249 buf_flag = PIPE_BUF_FLAG_GIFT;
Jens Axboe912d35f2006-04-26 10:59:21 +02001250
David Howellsc73be612020-01-14 17:07:11 +00001251 pipe = get_pipe_info(file, true);
Jens Axboeddac0d32006-11-04 12:49:32 +01001252 if (!pipe)
Jens Axboe912d35f2006-04-26 10:59:21 +02001253 return -EBADF;
Jens Axboe912d35f2006-04-26 10:59:21 +02001254
Al Viro8924fef2016-09-17 20:44:45 -04001255 pipe_lock(pipe);
1256 ret = wait_for_space(pipe, flags);
Al Viro79fddc42016-09-17 22:38:20 -04001257 if (!ret)
Al Viro87a30022018-05-26 21:39:52 -04001258 ret = iter_to_pipe(iter, pipe, buf_flag);
Al Viro8924fef2016-09-17 20:44:45 -04001259 pipe_unlock(pipe);
1260 if (ret > 0)
1261 wakeup_pipe_readers(pipe);
Jens Axboe35f3d142010-05-20 10:43:18 +02001262 return ret;
Jens Axboe912d35f2006-04-26 10:59:21 +02001263}
1264
Al Viro87a30022018-05-26 21:39:52 -04001265static int vmsplice_type(struct fd f, int *type)
1266{
1267 if (!f.file)
1268 return -EBADF;
1269 if (f.file->f_mode & FMODE_WRITE) {
1270 *type = WRITE;
1271 } else if (f.file->f_mode & FMODE_READ) {
1272 *type = READ;
1273 } else {
1274 fdput(f);
1275 return -EBADF;
1276 }
1277 return 0;
1278}
1279
Jens Axboe6a14b902007-06-14 13:08:55 +02001280/*
1281 * Note that vmsplice only really supports true splicing _from_ user memory
1282 * to a pipe, not the other way around. Splicing from user memory is a simple
1283 * operation that can be supported without any funky alignment restrictions
1284 * or nasty vm tricks. We simply map in the user memory and fill them into
1285 * a pipe. The reverse isn't quite as easy, though. There are two possible
1286 * solutions for that:
1287 *
1288 * - memcpy() the data internally, at which point we might as well just
1289 * do a regular read() on the buffer anyway.
1290 * - Lots of nasty vm tricks, that are neither fast nor flexible (it
1291 * has restriction limitations on both ends of the pipe).
1292 *
1293 * Currently we punt and implement it as a normal copy, see pipe_to_user().
1294 *
1295 */
Al Viro87a30022018-05-26 21:39:52 -04001296SYSCALL_DEFINE4(vmsplice, int, fd, const struct iovec __user *, uiov,
Dominik Brodowski30cfe4e2018-03-17 15:00:24 +01001297 unsigned long, nr_segs, unsigned int, flags)
1298{
Al Viro87a30022018-05-26 21:39:52 -04001299 struct iovec iovstack[UIO_FASTIOV];
1300 struct iovec *iov = iovstack;
1301 struct iov_iter iter;
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001302 ssize_t error;
Al Viro87a30022018-05-26 21:39:52 -04001303 struct fd f;
1304 int type;
1305
Christoph Hellwig598b3ce2020-09-25 06:51:44 +02001306 if (unlikely(flags & ~SPLICE_F_ALL))
1307 return -EINVAL;
1308
Al Viro87a30022018-05-26 21:39:52 -04001309 f = fdget(fd);
1310 error = vmsplice_type(f, &type);
1311 if (error)
1312 return error;
1313
1314 error = import_iovec(type, uiov, nr_segs,
1315 ARRAY_SIZE(iovstack), &iov, &iter);
Christoph Hellwig598b3ce2020-09-25 06:51:44 +02001316 if (error < 0)
1317 goto out_fdput;
1318
1319 if (!iov_iter_count(&iter))
1320 error = 0;
1321 else if (iov_iter_rw(&iter) == WRITE)
1322 error = vmsplice_to_pipe(f.file, &iter, flags);
1323 else
1324 error = vmsplice_to_user(f.file, &iter, flags);
1325
1326 kfree(iov);
1327out_fdput:
Al Viro87a30022018-05-26 21:39:52 -04001328 fdput(f);
1329 return error;
Dominik Brodowski30cfe4e2018-03-17 15:00:24 +01001330}
1331
Heiko Carstens836f92a2009-01-14 14:14:33 +01001332SYSCALL_DEFINE6(splice, int, fd_in, loff_t __user *, off_in,
1333 int, fd_out, loff_t __user *, off_out,
1334 size_t, len, unsigned int, flags)
Jens Axboe5274f052006-03-30 15:15:30 +02001335{
Al Viro2903ff02012-08-28 12:52:22 -04001336 struct fd in, out;
Jens Axboe5274f052006-03-30 15:15:30 +02001337 long error;
Jens Axboe5274f052006-03-30 15:15:30 +02001338
1339 if (unlikely(!len))
1340 return 0;
1341
Al Viro3d6ea292016-12-10 13:17:32 -05001342 if (unlikely(flags & ~SPLICE_F_ALL))
1343 return -EINVAL;
1344
Jens Axboe5274f052006-03-30 15:15:30 +02001345 error = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001346 in = fdget(fd_in);
1347 if (in.file) {
Pavel Begunkov90da2e32020-05-04 22:39:35 +03001348 out = fdget(fd_out);
1349 if (out.file) {
Jens Axboeee6e00c2020-10-22 14:15:51 -06001350 error = __do_splice(in.file, off_in, out.file, off_out,
1351 len, flags);
Pavel Begunkov90da2e32020-05-04 22:39:35 +03001352 fdput(out);
Jens Axboe5274f052006-03-30 15:15:30 +02001353 }
Al Viro2903ff02012-08-28 12:52:22 -04001354 fdput(in);
Jens Axboe5274f052006-03-30 15:15:30 +02001355 }
Jens Axboe5274f052006-03-30 15:15:30 +02001356 return error;
1357}
Jens Axboe70524492006-04-11 15:51:17 +02001358
1359/*
Jens Axboeaadd06e2006-07-10 11:00:01 +02001360 * Make sure there's data to read. Wait for input if we can, otherwise
1361 * return an appropriate error.
1362 */
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001363static int ipipe_prep(struct pipe_inode_info *pipe, unsigned int flags)
Jens Axboeaadd06e2006-07-10 11:00:01 +02001364{
1365 int ret;
1366
1367 /*
David Howells8cefc102019-11-15 13:30:32 +00001368 * Check the pipe occupancy without the inode lock first. This function
Jens Axboeaadd06e2006-07-10 11:00:01 +02001369 * is speculative anyways, so missing one is ok.
1370 */
David Howells8cefc102019-11-15 13:30:32 +00001371 if (!pipe_empty(pipe->head, pipe->tail))
Jens Axboeaadd06e2006-07-10 11:00:01 +02001372 return 0;
1373
1374 ret = 0;
Miklos Szeredi61e0d472009-04-14 19:48:41 +02001375 pipe_lock(pipe);
Jens Axboeaadd06e2006-07-10 11:00:01 +02001376
David Howells8cefc102019-11-15 13:30:32 +00001377 while (pipe_empty(pipe->head, pipe->tail)) {
Jens Axboeaadd06e2006-07-10 11:00:01 +02001378 if (signal_pending(current)) {
1379 ret = -ERESTARTSYS;
1380 break;
1381 }
1382 if (!pipe->writers)
1383 break;
Linus Torvaldsa28c8b92019-12-07 13:21:01 -08001384 if (flags & SPLICE_F_NONBLOCK) {
1385 ret = -EAGAIN;
1386 break;
Jens Axboeaadd06e2006-07-10 11:00:01 +02001387 }
Linus Torvalds472e5b02020-10-01 19:14:36 -07001388 pipe_wait_readable(pipe);
Jens Axboeaadd06e2006-07-10 11:00:01 +02001389 }
1390
Miklos Szeredi61e0d472009-04-14 19:48:41 +02001391 pipe_unlock(pipe);
Jens Axboeaadd06e2006-07-10 11:00:01 +02001392 return ret;
1393}
1394
1395/*
1396 * Make sure there's writeable room. Wait for room if we can, otherwise
1397 * return an appropriate error.
1398 */
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001399static int opipe_prep(struct pipe_inode_info *pipe, unsigned int flags)
Jens Axboeaadd06e2006-07-10 11:00:01 +02001400{
1401 int ret;
1402
1403 /*
David Howells8cefc102019-11-15 13:30:32 +00001404 * Check pipe occupancy without the inode lock first. This function
Jens Axboeaadd06e2006-07-10 11:00:01 +02001405 * is speculative anyways, so missing one is ok.
1406 */
Tetsuo Handa566d1362020-05-20 08:51:59 +09001407 if (!pipe_full(pipe->head, pipe->tail, pipe->max_usage))
Jens Axboeaadd06e2006-07-10 11:00:01 +02001408 return 0;
1409
1410 ret = 0;
Miklos Szeredi61e0d472009-04-14 19:48:41 +02001411 pipe_lock(pipe);
Jens Axboeaadd06e2006-07-10 11:00:01 +02001412
David Howells6718b6f2019-10-16 16:47:32 +01001413 while (pipe_full(pipe->head, pipe->tail, pipe->max_usage)) {
Jens Axboeaadd06e2006-07-10 11:00:01 +02001414 if (!pipe->readers) {
1415 send_sig(SIGPIPE, current, 0);
1416 ret = -EPIPE;
1417 break;
1418 }
1419 if (flags & SPLICE_F_NONBLOCK) {
1420 ret = -EAGAIN;
1421 break;
1422 }
1423 if (signal_pending(current)) {
1424 ret = -ERESTARTSYS;
1425 break;
1426 }
Linus Torvalds472e5b02020-10-01 19:14:36 -07001427 pipe_wait_writable(pipe);
Jens Axboeaadd06e2006-07-10 11:00:01 +02001428 }
1429
Miklos Szeredi61e0d472009-04-14 19:48:41 +02001430 pipe_unlock(pipe);
Jens Axboeaadd06e2006-07-10 11:00:01 +02001431 return ret;
1432}
1433
1434/*
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001435 * Splice contents of ipipe to opipe.
1436 */
1437static int splice_pipe_to_pipe(struct pipe_inode_info *ipipe,
1438 struct pipe_inode_info *opipe,
1439 size_t len, unsigned int flags)
1440{
1441 struct pipe_buffer *ibuf, *obuf;
David Howells8cefc102019-11-15 13:30:32 +00001442 unsigned int i_head, o_head;
1443 unsigned int i_tail, o_tail;
1444 unsigned int i_mask, o_mask;
1445 int ret = 0;
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001446 bool input_wakeup = false;
1447
1448
1449retry:
1450 ret = ipipe_prep(ipipe, flags);
1451 if (ret)
1452 return ret;
1453
1454 ret = opipe_prep(opipe, flags);
1455 if (ret)
1456 return ret;
1457
1458 /*
1459 * Potential ABBA deadlock, work around it by ordering lock
1460 * grabbing by pipe info address. Otherwise two different processes
1461 * could deadlock (one doing tee from A -> B, the other from B -> A).
1462 */
1463 pipe_double_lock(ipipe, opipe);
1464
David Howells8cefc102019-11-15 13:30:32 +00001465 i_tail = ipipe->tail;
1466 i_mask = ipipe->ring_size - 1;
1467 o_head = opipe->head;
1468 o_mask = opipe->ring_size - 1;
1469
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001470 do {
David Howells8cefc102019-11-15 13:30:32 +00001471 size_t o_len;
1472
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001473 if (!opipe->readers) {
1474 send_sig(SIGPIPE, current, 0);
1475 if (!ret)
1476 ret = -EPIPE;
1477 break;
1478 }
1479
David Howells8cefc102019-11-15 13:30:32 +00001480 i_head = ipipe->head;
1481 o_tail = opipe->tail;
1482
1483 if (pipe_empty(i_head, i_tail) && !ipipe->writers)
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001484 break;
1485
1486 /*
1487 * Cannot make any progress, because either the input
1488 * pipe is empty or the output pipe is full.
1489 */
David Howells8cefc102019-11-15 13:30:32 +00001490 if (pipe_empty(i_head, i_tail) ||
David Howells6718b6f2019-10-16 16:47:32 +01001491 pipe_full(o_head, o_tail, opipe->max_usage)) {
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001492 /* Already processed some buffers, break */
1493 if (ret)
1494 break;
1495
1496 if (flags & SPLICE_F_NONBLOCK) {
1497 ret = -EAGAIN;
1498 break;
1499 }
1500
1501 /*
1502 * We raced with another reader/writer and haven't
1503 * managed to process any buffers. A zero return
1504 * value means EOF, so retry instead.
1505 */
1506 pipe_unlock(ipipe);
1507 pipe_unlock(opipe);
1508 goto retry;
1509 }
1510
David Howells8cefc102019-11-15 13:30:32 +00001511 ibuf = &ipipe->bufs[i_tail & i_mask];
1512 obuf = &opipe->bufs[o_head & o_mask];
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001513
1514 if (len >= ibuf->len) {
1515 /*
1516 * Simply move the whole buffer from ipipe to opipe
1517 */
1518 *obuf = *ibuf;
1519 ibuf->ops = NULL;
David Howells8cefc102019-11-15 13:30:32 +00001520 i_tail++;
1521 ipipe->tail = i_tail;
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001522 input_wakeup = true;
David Howells8cefc102019-11-15 13:30:32 +00001523 o_len = obuf->len;
1524 o_head++;
1525 opipe->head = o_head;
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001526 } else {
1527 /*
1528 * Get a reference to this pipe buffer,
1529 * so we can copy the contents over.
1530 */
Matthew Wilcox15fab632019-04-05 14:02:10 -07001531 if (!pipe_buf_get(ipipe, ibuf)) {
1532 if (ret == 0)
1533 ret = -EFAULT;
1534 break;
1535 }
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001536 *obuf = *ibuf;
1537
1538 /*
Christoph Hellwigf6dd9752020-05-20 17:58:12 +02001539 * Don't inherit the gift and merge flags, we need to
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001540 * prevent multiple steals of this page.
1541 */
1542 obuf->flags &= ~PIPE_BUF_FLAG_GIFT;
Christoph Hellwigf6dd9752020-05-20 17:58:12 +02001543 obuf->flags &= ~PIPE_BUF_FLAG_CAN_MERGE;
Jann Horna0ce2f02019-01-23 15:19:17 +01001544
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001545 obuf->len = len;
David Howells8cefc102019-11-15 13:30:32 +00001546 ibuf->offset += len;
1547 ibuf->len -= len;
1548 o_len = len;
1549 o_head++;
1550 opipe->head = o_head;
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001551 }
David Howells8cefc102019-11-15 13:30:32 +00001552 ret += o_len;
1553 len -= o_len;
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001554 } while (len);
1555
1556 pipe_unlock(ipipe);
1557 pipe_unlock(opipe);
1558
1559 /*
1560 * If we put data in the output pipe, wakeup any potential readers.
1561 */
Namhyung Kim825cdcb2011-05-23 19:58:53 +02001562 if (ret > 0)
1563 wakeup_pipe_readers(opipe);
1564
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001565 if (input_wakeup)
1566 wakeup_pipe_writers(ipipe);
1567
1568 return ret;
1569}
1570
1571/*
Jens Axboe70524492006-04-11 15:51:17 +02001572 * Link contents of ipipe to opipe.
1573 */
1574static int link_pipe(struct pipe_inode_info *ipipe,
1575 struct pipe_inode_info *opipe,
1576 size_t len, unsigned int flags)
1577{
1578 struct pipe_buffer *ibuf, *obuf;
David Howells8cefc102019-11-15 13:30:32 +00001579 unsigned int i_head, o_head;
1580 unsigned int i_tail, o_tail;
1581 unsigned int i_mask, o_mask;
1582 int ret = 0;
Jens Axboe70524492006-04-11 15:51:17 +02001583
1584 /*
1585 * Potential ABBA deadlock, work around it by ordering lock
Miklos Szeredi61e0d472009-04-14 19:48:41 +02001586 * grabbing by pipe info address. Otherwise two different processes
Jens Axboe70524492006-04-11 15:51:17 +02001587 * could deadlock (one doing tee from A -> B, the other from B -> A).
1588 */
Miklos Szeredi61e0d472009-04-14 19:48:41 +02001589 pipe_double_lock(ipipe, opipe);
Jens Axboe70524492006-04-11 15:51:17 +02001590
David Howells8cefc102019-11-15 13:30:32 +00001591 i_tail = ipipe->tail;
1592 i_mask = ipipe->ring_size - 1;
1593 o_head = opipe->head;
1594 o_mask = opipe->ring_size - 1;
1595
Jens Axboeaadd06e2006-07-10 11:00:01 +02001596 do {
Jens Axboe70524492006-04-11 15:51:17 +02001597 if (!opipe->readers) {
1598 send_sig(SIGPIPE, current, 0);
1599 if (!ret)
1600 ret = -EPIPE;
1601 break;
1602 }
Jens Axboe70524492006-04-11 15:51:17 +02001603
David Howells8cefc102019-11-15 13:30:32 +00001604 i_head = ipipe->head;
1605 o_tail = opipe->tail;
1606
Jens Axboe70524492006-04-11 15:51:17 +02001607 /*
David Howells8cefc102019-11-15 13:30:32 +00001608 * If we have iterated all input buffers or run out of
Jens Axboeaadd06e2006-07-10 11:00:01 +02001609 * output room, break.
Jens Axboe70524492006-04-11 15:51:17 +02001610 */
David Howells8cefc102019-11-15 13:30:32 +00001611 if (pipe_empty(i_head, i_tail) ||
David Howells6718b6f2019-10-16 16:47:32 +01001612 pipe_full(o_head, o_tail, opipe->max_usage))
Jens Axboe70524492006-04-11 15:51:17 +02001613 break;
Jens Axboeaadd06e2006-07-10 11:00:01 +02001614
David Howells8cefc102019-11-15 13:30:32 +00001615 ibuf = &ipipe->bufs[i_tail & i_mask];
1616 obuf = &opipe->bufs[o_head & o_mask];
Jens Axboeaadd06e2006-07-10 11:00:01 +02001617
Jens Axboe2a27250e2006-04-19 15:56:40 +02001618 /*
Jens Axboeaadd06e2006-07-10 11:00:01 +02001619 * Get a reference to this pipe buffer,
1620 * so we can copy the contents over.
Jens Axboe2a27250e2006-04-19 15:56:40 +02001621 */
Matthew Wilcox15fab632019-04-05 14:02:10 -07001622 if (!pipe_buf_get(ipipe, ibuf)) {
1623 if (ret == 0)
1624 ret = -EFAULT;
1625 break;
1626 }
Jens Axboe70524492006-04-11 15:51:17 +02001627
Jens Axboeaadd06e2006-07-10 11:00:01 +02001628 *obuf = *ibuf;
Jens Axboe70524492006-04-11 15:51:17 +02001629
Jens Axboeaadd06e2006-07-10 11:00:01 +02001630 /*
Christoph Hellwigf6dd9752020-05-20 17:58:12 +02001631 * Don't inherit the gift and merge flag, we need to prevent
1632 * multiple steals of this page.
Jens Axboeaadd06e2006-07-10 11:00:01 +02001633 */
1634 obuf->flags &= ~PIPE_BUF_FLAG_GIFT;
Christoph Hellwigf6dd9752020-05-20 17:58:12 +02001635 obuf->flags &= ~PIPE_BUF_FLAG_CAN_MERGE;
Jann Horna0ce2f02019-01-23 15:19:17 +01001636
Jens Axboeaadd06e2006-07-10 11:00:01 +02001637 if (obuf->len > len)
1638 obuf->len = len;
Jens Axboeaadd06e2006-07-10 11:00:01 +02001639 ret += obuf->len;
1640 len -= obuf->len;
David Howells8cefc102019-11-15 13:30:32 +00001641
1642 o_head++;
1643 opipe->head = o_head;
1644 i_tail++;
Jens Axboeaadd06e2006-07-10 11:00:01 +02001645 } while (len);
Jens Axboe70524492006-04-11 15:51:17 +02001646
Miklos Szeredi61e0d472009-04-14 19:48:41 +02001647 pipe_unlock(ipipe);
1648 pipe_unlock(opipe);
Jens Axboe70524492006-04-11 15:51:17 +02001649
Jens Axboeaadd06e2006-07-10 11:00:01 +02001650 /*
1651 * If we put data in the output pipe, wakeup any potential readers.
1652 */
Namhyung Kim825cdcb2011-05-23 19:58:53 +02001653 if (ret > 0)
1654 wakeup_pipe_readers(opipe);
Jens Axboe70524492006-04-11 15:51:17 +02001655
1656 return ret;
1657}
1658
1659/*
1660 * This is a tee(1) implementation that works on pipes. It doesn't copy
1661 * any data, it simply references the 'in' pages on the 'out' pipe.
1662 * The 'flags' used are the SPLICE_F_* variants, currently the only
1663 * applicable one is SPLICE_F_NONBLOCK.
1664 */
Pavel Begunkov9dafdfc2020-05-17 14:18:05 +03001665long do_tee(struct file *in, struct file *out, size_t len, unsigned int flags)
Jens Axboe70524492006-04-11 15:51:17 +02001666{
David Howellsc73be612020-01-14 17:07:11 +00001667 struct pipe_inode_info *ipipe = get_pipe_info(in, true);
1668 struct pipe_inode_info *opipe = get_pipe_info(out, true);
Jens Axboeaadd06e2006-07-10 11:00:01 +02001669 int ret = -EINVAL;
Jens Axboe70524492006-04-11 15:51:17 +02001670
Pavel Begunkov90da2e32020-05-04 22:39:35 +03001671 if (unlikely(!(in->f_mode & FMODE_READ) ||
1672 !(out->f_mode & FMODE_WRITE)))
1673 return -EBADF;
1674
Jens Axboe70524492006-04-11 15:51:17 +02001675 /*
Jens Axboeaadd06e2006-07-10 11:00:01 +02001676 * Duplicate the contents of ipipe to opipe without actually
1677 * copying the data.
Jens Axboe70524492006-04-11 15:51:17 +02001678 */
Jens Axboeaadd06e2006-07-10 11:00:01 +02001679 if (ipipe && opipe && ipipe != opipe) {
Slavomir Kaslevee5e0012019-02-07 17:45:19 +02001680 if ((in->f_flags | out->f_flags) & O_NONBLOCK)
1681 flags |= SPLICE_F_NONBLOCK;
1682
Jens Axboeaadd06e2006-07-10 11:00:01 +02001683 /*
1684 * Keep going, unless we encounter an error. The ipipe/opipe
1685 * ordering doesn't really matter.
1686 */
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001687 ret = ipipe_prep(ipipe, flags);
Jens Axboeaadd06e2006-07-10 11:00:01 +02001688 if (!ret) {
Miklos Szeredi7c77f0b2009-05-07 15:37:35 +02001689 ret = opipe_prep(opipe, flags);
Jens Axboe02cf01a2008-02-20 10:34:51 +01001690 if (!ret)
Jens Axboeaadd06e2006-07-10 11:00:01 +02001691 ret = link_pipe(ipipe, opipe, len, flags);
Jens Axboeaadd06e2006-07-10 11:00:01 +02001692 }
1693 }
Jens Axboe70524492006-04-11 15:51:17 +02001694
Jens Axboeaadd06e2006-07-10 11:00:01 +02001695 return ret;
Jens Axboe70524492006-04-11 15:51:17 +02001696}
1697
Heiko Carstens836f92a2009-01-14 14:14:33 +01001698SYSCALL_DEFINE4(tee, int, fdin, int, fdout, size_t, len, unsigned int, flags)
Jens Axboe70524492006-04-11 15:51:17 +02001699{
Pavel Begunkov90da2e32020-05-04 22:39:35 +03001700 struct fd in, out;
Al Viro2903ff02012-08-28 12:52:22 -04001701 int error;
Jens Axboe70524492006-04-11 15:51:17 +02001702
Al Viro3d6ea292016-12-10 13:17:32 -05001703 if (unlikely(flags & ~SPLICE_F_ALL))
1704 return -EINVAL;
1705
Jens Axboe70524492006-04-11 15:51:17 +02001706 if (unlikely(!len))
1707 return 0;
1708
1709 error = -EBADF;
Al Viro2903ff02012-08-28 12:52:22 -04001710 in = fdget(fdin);
1711 if (in.file) {
Pavel Begunkov90da2e32020-05-04 22:39:35 +03001712 out = fdget(fdout);
1713 if (out.file) {
1714 error = do_tee(in.file, out.file, len, flags);
1715 fdput(out);
Jens Axboe70524492006-04-11 15:51:17 +02001716 }
Al Viro2903ff02012-08-28 12:52:22 -04001717 fdput(in);
Jens Axboe70524492006-04-11 15:51:17 +02001718 }
1719
1720 return error;
1721}