splice: lift pipe_lock out of splice_to_pipe()
* splice_to_pipe() stops at pipe overflow and does *not* take pipe_lock * ->splice_read() instances do the same * vmsplice_to_pipe() and do_splice() (ultimate callers of splice_to_pipe()) arrange for waiting, looping, etc. themselves. That should make pipe_lock the outermost one. Unfortunately, existing rules for the amount passed by vmsplice_to_pipe() and do_splice() are quite ugly _and_ userland code can be easily broken by changing those. It's not even "no more than the maximal capacity of this pipe" - it's "once we'd fed pipe->nr_buffers pages into the pipe, leave instead of waiting". Considering how poorly these rules are documented, let's try "wait for some space to appear, unless given SPLICE_F_NONBLOCK, then push into pipe and if we run into overflow, we are done". Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
This commit is contained in:
parent
db85a9eb2e
commit
8924feff66
@ -1364,7 +1364,6 @@ static ssize_t fuse_dev_splice_read(struct file *in, loff_t *ppos,
|
|||||||
goto out;
|
goto out;
|
||||||
|
|
||||||
ret = 0;
|
ret = 0;
|
||||||
pipe_lock(pipe);
|
|
||||||
|
|
||||||
if (!pipe->readers) {
|
if (!pipe->readers) {
|
||||||
send_sig(SIGPIPE, current, 0);
|
send_sig(SIGPIPE, current, 0);
|
||||||
@ -1400,7 +1399,6 @@ static ssize_t fuse_dev_splice_read(struct file *in, loff_t *ppos,
|
|||||||
}
|
}
|
||||||
|
|
||||||
out_unlock:
|
out_unlock:
|
||||||
pipe_unlock(pipe);
|
|
||||||
|
|
||||||
if (do_wakeup) {
|
if (do_wakeup) {
|
||||||
smp_mb();
|
smp_mb();
|
||||||
|
137
fs/splice.c
137
fs/splice.c
@ -183,79 +183,41 @@ ssize_t splice_to_pipe(struct pipe_inode_info *pipe,
|
|||||||
struct splice_pipe_desc *spd)
|
struct splice_pipe_desc *spd)
|
||||||
{
|
{
|
||||||
unsigned int spd_pages = spd->nr_pages;
|
unsigned int spd_pages = spd->nr_pages;
|
||||||
int ret, do_wakeup, page_nr;
|
int ret = 0, page_nr = 0;
|
||||||
|
|
||||||
if (!spd_pages)
|
if (!spd_pages)
|
||||||
return 0;
|
return 0;
|
||||||
|
|
||||||
ret = 0;
|
if (unlikely(!pipe->readers)) {
|
||||||
do_wakeup = 0;
|
send_sig(SIGPIPE, current, 0);
|
||||||
page_nr = 0;
|
ret = -EPIPE;
|
||||||
|
goto out;
|
||||||
pipe_lock(pipe);
|
|
||||||
|
|
||||||
for (;;) {
|
|
||||||
if (!pipe->readers) {
|
|
||||||
send_sig(SIGPIPE, current, 0);
|
|
||||||
if (!ret)
|
|
||||||
ret = -EPIPE;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (pipe->nrbufs < pipe->buffers) {
|
|
||||||
int newbuf = (pipe->curbuf + pipe->nrbufs) & (pipe->buffers - 1);
|
|
||||||
struct pipe_buffer *buf = pipe->bufs + newbuf;
|
|
||||||
|
|
||||||
buf->page = spd->pages[page_nr];
|
|
||||||
buf->offset = spd->partial[page_nr].offset;
|
|
||||||
buf->len = spd->partial[page_nr].len;
|
|
||||||
buf->private = spd->partial[page_nr].private;
|
|
||||||
buf->ops = spd->ops;
|
|
||||||
if (spd->flags & SPLICE_F_GIFT)
|
|
||||||
buf->flags |= PIPE_BUF_FLAG_GIFT;
|
|
||||||
|
|
||||||
pipe->nrbufs++;
|
|
||||||
page_nr++;
|
|
||||||
ret += buf->len;
|
|
||||||
|
|
||||||
if (pipe->files)
|
|
||||||
do_wakeup = 1;
|
|
||||||
|
|
||||||
if (!--spd->nr_pages)
|
|
||||||
break;
|
|
||||||
if (pipe->nrbufs < pipe->buffers)
|
|
||||||
continue;
|
|
||||||
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (spd->flags & SPLICE_F_NONBLOCK) {
|
|
||||||
if (!ret)
|
|
||||||
ret = -EAGAIN;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (signal_pending(current)) {
|
|
||||||
if (!ret)
|
|
||||||
ret = -ERESTARTSYS;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
|
|
||||||
if (do_wakeup) {
|
|
||||||
wakeup_pipe_readers(pipe);
|
|
||||||
do_wakeup = 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
pipe->waiting_writers++;
|
|
||||||
pipe_wait(pipe);
|
|
||||||
pipe->waiting_writers--;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
pipe_unlock(pipe);
|
while (pipe->nrbufs < pipe->buffers) {
|
||||||
|
int newbuf = (pipe->curbuf + pipe->nrbufs) & (pipe->buffers - 1);
|
||||||
|
struct pipe_buffer *buf = pipe->bufs + newbuf;
|
||||||
|
|
||||||
if (do_wakeup)
|
buf->page = spd->pages[page_nr];
|
||||||
wakeup_pipe_readers(pipe);
|
buf->offset = spd->partial[page_nr].offset;
|
||||||
|
buf->len = spd->partial[page_nr].len;
|
||||||
|
buf->private = spd->partial[page_nr].private;
|
||||||
|
buf->ops = spd->ops;
|
||||||
|
if (spd->flags & SPLICE_F_GIFT)
|
||||||
|
buf->flags |= PIPE_BUF_FLAG_GIFT;
|
||||||
|
|
||||||
|
pipe->nrbufs++;
|
||||||
|
page_nr++;
|
||||||
|
ret += buf->len;
|
||||||
|
|
||||||
|
if (!--spd->nr_pages)
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (!ret)
|
||||||
|
ret = -EAGAIN;
|
||||||
|
|
||||||
|
out:
|
||||||
while (page_nr < spd_pages)
|
while (page_nr < spd_pages)
|
||||||
spd->spd_release(spd, page_nr++);
|
spd->spd_release(spd, page_nr++);
|
||||||
|
|
||||||
@ -1339,6 +1301,20 @@ long do_splice_direct(struct file *in, loff_t *ppos, struct file *out,
|
|||||||
}
|
}
|
||||||
EXPORT_SYMBOL(do_splice_direct);
|
EXPORT_SYMBOL(do_splice_direct);
|
||||||
|
|
||||||
|
static int wait_for_space(struct pipe_inode_info *pipe, unsigned flags)
|
||||||
|
{
|
||||||
|
while (pipe->nrbufs == pipe->buffers) {
|
||||||
|
if (flags & SPLICE_F_NONBLOCK)
|
||||||
|
return -EAGAIN;
|
||||||
|
if (signal_pending(current))
|
||||||
|
return -ERESTARTSYS;
|
||||||
|
pipe->waiting_writers++;
|
||||||
|
pipe_wait(pipe);
|
||||||
|
pipe->waiting_writers--;
|
||||||
|
}
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
static int splice_pipe_to_pipe(struct pipe_inode_info *ipipe,
|
static int splice_pipe_to_pipe(struct pipe_inode_info *ipipe,
|
||||||
struct pipe_inode_info *opipe,
|
struct pipe_inode_info *opipe,
|
||||||
size_t len, unsigned int flags);
|
size_t len, unsigned int flags);
|
||||||
@ -1421,8 +1397,13 @@ static long do_splice(struct file *in, loff_t __user *off_in,
|
|||||||
offset = in->f_pos;
|
offset = in->f_pos;
|
||||||
}
|
}
|
||||||
|
|
||||||
ret = do_splice_to(in, &offset, opipe, len, flags);
|
pipe_lock(opipe);
|
||||||
|
ret = wait_for_space(opipe, flags);
|
||||||
|
if (!ret)
|
||||||
|
ret = do_splice_to(in, &offset, opipe, len, flags);
|
||||||
|
pipe_unlock(opipe);
|
||||||
|
if (ret > 0)
|
||||||
|
wakeup_pipe_readers(opipe);
|
||||||
if (!off_in)
|
if (!off_in)
|
||||||
in->f_pos = offset;
|
in->f_pos = offset;
|
||||||
else if (copy_to_user(off_in, &offset, sizeof(loff_t)))
|
else if (copy_to_user(off_in, &offset, sizeof(loff_t)))
|
||||||
@ -1546,14 +1527,20 @@ static long vmsplice_to_pipe(struct file *file, const struct iovec __user *uiov,
|
|||||||
return -ENOMEM;
|
return -ENOMEM;
|
||||||
}
|
}
|
||||||
|
|
||||||
spd.nr_pages = get_iovec_page_array(&from, spd.pages,
|
pipe_lock(pipe);
|
||||||
spd.partial,
|
ret = wait_for_space(pipe, flags);
|
||||||
spd.nr_pages_max);
|
if (!ret) {
|
||||||
if (spd.nr_pages <= 0)
|
spd.nr_pages = get_iovec_page_array(&from, spd.pages,
|
||||||
ret = spd.nr_pages;
|
spd.partial,
|
||||||
else
|
spd.nr_pages_max);
|
||||||
ret = splice_to_pipe(pipe, &spd);
|
if (spd.nr_pages <= 0)
|
||||||
|
ret = spd.nr_pages;
|
||||||
|
else
|
||||||
|
ret = splice_to_pipe(pipe, &spd);
|
||||||
|
}
|
||||||
|
pipe_unlock(pipe);
|
||||||
|
if (ret > 0)
|
||||||
|
wakeup_pipe_readers(pipe);
|
||||||
splice_shrink_spd(&spd);
|
splice_shrink_spd(&spd);
|
||||||
kfree(iov);
|
kfree(iov);
|
||||||
return ret;
|
return ret;
|
||||||
|
Loading…
Reference in New Issue
Block a user