pipe.c 25.1 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
/*
 *  linux/fs/pipe.c
 *
 *  Copyright (C) 1991, 1992, 1999  Linus Torvalds
 */

#include <linux/mm.h>
#include <linux/file.h>
#include <linux/poll.h>
#include <linux/slab.h>
#include <linux/module.h>
#include <linux/init.h>
#include <linux/fs.h>
#include <linux/mount.h>
#include <linux/pipe_fs_i.h>
#include <linux/uio.h>
#include <linux/highmem.h>
18
#include <linux/pagemap.h>
A
Al Viro 已提交
19
#include <linux/audit.h>
20
#include <linux/syscalls.h>
L
Linus Torvalds 已提交
21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39

#include <asm/uaccess.h>
#include <asm/ioctls.h>

/*
 * We use a start+len construction, which provides full use of the 
 * allocated memory.
 * -- Florian Coosmann (FGC)
 * 
 * Reads with count = 0 should always return 0.
 * -- Julian Bradfield 1999-06-07.
 *
 * FIFOs and Pipes now generate SIGIO for both readers and writers.
 * -- Jeremy Elson <jelson@circlemud.org> 2001-08-16
 *
 * pipe_read & write cleanup
 * -- Manfred Spraul <manfred@colorfullife.com> 2002-05-09
 */

40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70
static void pipe_lock_nested(struct pipe_inode_info *pipe, int subclass)
{
	if (pipe->inode)
		mutex_lock_nested(&pipe->inode->i_mutex, subclass);
}

void pipe_lock(struct pipe_inode_info *pipe)
{
	/*
	 * pipe_lock() nests non-pipe inode locks (for writing to a file)
	 */
	pipe_lock_nested(pipe, I_MUTEX_PARENT);
}
EXPORT_SYMBOL(pipe_lock);

void pipe_unlock(struct pipe_inode_info *pipe)
{
	if (pipe->inode)
		mutex_unlock(&pipe->inode->i_mutex);
}
EXPORT_SYMBOL(pipe_unlock);

void pipe_double_lock(struct pipe_inode_info *pipe1,
		      struct pipe_inode_info *pipe2)
{
	BUG_ON(pipe1 == pipe2);

	if (pipe1 < pipe2) {
		pipe_lock_nested(pipe1, I_MUTEX_PARENT);
		pipe_lock_nested(pipe2, I_MUTEX_CHILD);
	} else {
71 72
		pipe_lock_nested(pipe2, I_MUTEX_PARENT);
		pipe_lock_nested(pipe1, I_MUTEX_CHILD);
73 74 75
	}
}

L
Linus Torvalds 已提交
76
/* Drop the inode semaphore and wait for a pipe event, atomically */
77
void pipe_wait(struct pipe_inode_info *pipe)
L
Linus Torvalds 已提交
78 79 80
{
	DEFINE_WAIT(wait);

I
Ingo Molnar 已提交
81 82 83 84
	/*
	 * Pipes are system-local resources, so sleeping on them
	 * is considered a noninteractive wait:
	 */
85
	prepare_to_wait(&pipe->wait, &wait, TASK_INTERRUPTIBLE);
86
	pipe_unlock(pipe);
L
Linus Torvalds 已提交
87
	schedule();
88
	finish_wait(&pipe->wait, &wait);
89
	pipe_lock(pipe);
L
Linus Torvalds 已提交
90 91
}

92
static int
93 94
pipe_iov_copy_from_user(void *to, struct iovec *iov, unsigned long len,
			int atomic)
L
Linus Torvalds 已提交
95 96 97 98 99 100 101 102
{
	unsigned long copy;

	while (len > 0) {
		while (!iov->iov_len)
			iov++;
		copy = min_t(unsigned long, len, iov->iov_len);

103 104 105 106 107 108 109
		if (atomic) {
			if (__copy_from_user_inatomic(to, iov->iov_base, copy))
				return -EFAULT;
		} else {
			if (copy_from_user(to, iov->iov_base, copy))
				return -EFAULT;
		}
L
Linus Torvalds 已提交
110 111 112 113 114 115 116 117
		to += copy;
		len -= copy;
		iov->iov_base += copy;
		iov->iov_len -= copy;
	}
	return 0;
}

118
static int
119 120
pipe_iov_copy_to_user(struct iovec *iov, const void *from, unsigned long len,
		      int atomic)
L
Linus Torvalds 已提交
121 122 123 124 125 126 127 128
{
	unsigned long copy;

	while (len > 0) {
		while (!iov->iov_len)
			iov++;
		copy = min_t(unsigned long, len, iov->iov_len);

129 130 131 132 133 134 135
		if (atomic) {
			if (__copy_to_user_inatomic(iov->iov_base, from, copy))
				return -EFAULT;
		} else {
			if (copy_to_user(iov->iov_base, from, copy))
				return -EFAULT;
		}
L
Linus Torvalds 已提交
136 137 138 139 140 141 142 143
		from += copy;
		len -= copy;
		iov->iov_base += copy;
		iov->iov_len -= copy;
	}
	return 0;
}

144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184
/*
 * Attempt to pre-fault in the user memory, so we can use atomic copies.
 * Returns the number of bytes not faulted in.
 */
static int iov_fault_in_pages_write(struct iovec *iov, unsigned long len)
{
	while (!iov->iov_len)
		iov++;

	while (len > 0) {
		unsigned long this_len;

		this_len = min_t(unsigned long, len, iov->iov_len);
		if (fault_in_pages_writeable(iov->iov_base, this_len))
			break;

		len -= this_len;
		iov++;
	}

	return len;
}

/*
 * Pre-fault in the user memory, so we can use atomic copies.
 */
static void iov_fault_in_pages_read(struct iovec *iov, unsigned long len)
{
	while (!iov->iov_len)
		iov++;

	while (len > 0) {
		unsigned long this_len;

		this_len = min_t(unsigned long, len, iov->iov_len);
		fault_in_pages_readable(iov->iov_base, this_len);
		len -= this_len;
		iov++;
	}
}

185 186
static void anon_pipe_buf_release(struct pipe_inode_info *pipe,
				  struct pipe_buffer *buf)
L
Linus Torvalds 已提交
187 188 189
{
	struct page *page = buf->page;

190 191 192
	/*
	 * If nobody else uses this page, and we don't already have a
	 * temporary page, let's keep track of it as a one-deep
193
	 * allocation cache. (Otherwise just release our reference to it)
194
	 */
195
	if (page_count(page) == 1 && !pipe->tmp_page)
196
		pipe->tmp_page = page;
197 198
	else
		page_cache_release(page);
L
Linus Torvalds 已提交
199 200
}

201 202 203 204 205 206 207 208
/**
 * generic_pipe_buf_map - virtually map a pipe buffer
 * @pipe:	the pipe that the buffer belongs to
 * @buf:	the buffer that should be mapped
 * @atomic:	whether to use an atomic map
 *
 * Description:
 *	This function returns a kernel virtual address mapping for the
209
 *	pipe_buffer passed in @buf. If @atomic is set, an atomic map is provided
210 211 212 213 214
 *	and the caller has to be careful not to fault before calling
 *	the unmap function.
 *
 *	Note that this function occupies KM_USER0 if @atomic != 0.
 */
215
void *generic_pipe_buf_map(struct pipe_inode_info *pipe,
216
			   struct pipe_buffer *buf, int atomic)
L
Linus Torvalds 已提交
217
{
218 219 220 221 222
	if (atomic) {
		buf->flags |= PIPE_BUF_FLAG_ATOMIC;
		return kmap_atomic(buf->page, KM_USER0);
	}

L
Linus Torvalds 已提交
223 224 225
	return kmap(buf->page);
}

226 227 228 229 230 231 232 233 234
/**
 * generic_pipe_buf_unmap - unmap a previously mapped pipe buffer
 * @pipe:	the pipe that the buffer belongs to
 * @buf:	the buffer that should be unmapped
 * @map_data:	the data that the mapping function returned
 *
 * Description:
 *	This function undoes the mapping that ->map() provided.
 */
235
void generic_pipe_buf_unmap(struct pipe_inode_info *pipe,
236
			    struct pipe_buffer *buf, void *map_data)
L
Linus Torvalds 已提交
237
{
238 239 240 241 242
	if (buf->flags & PIPE_BUF_FLAG_ATOMIC) {
		buf->flags &= ~PIPE_BUF_FLAG_ATOMIC;
		kunmap_atomic(map_data, KM_USER0);
	} else
		kunmap(buf->page);
L
Linus Torvalds 已提交
243 244
}

245
/**
246
 * generic_pipe_buf_steal - attempt to take ownership of a &pipe_buffer
247 248 249 250
 * @pipe:	the pipe that the buffer belongs to
 * @buf:	the buffer to attempt to steal
 *
 * Description:
251
 *	This function attempts to steal the &struct page attached to
252 253
 *	@buf. If successful, this function returns 0 and returns with
 *	the page locked. The caller may then reuse the page for whatever
254
 *	he wishes; the typical use is insertion into a different file
255 256
 *	page cache.
 */
257 258
int generic_pipe_buf_steal(struct pipe_inode_info *pipe,
			   struct pipe_buffer *buf)
259
{
260 261
	struct page *page = buf->page;

262 263 264 265 266
	/*
	 * A reference of one is golden, that means that the owner of this
	 * page is the only one holding a reference to it. lock the page
	 * and return OK.
	 */
267 268 269 270 271 272
	if (page_count(page) == 1) {
		lock_page(page);
		return 0;
	}

	return 1;
273 274
}

275
/**
276
 * generic_pipe_buf_get - get a reference to a &struct pipe_buffer
277 278 279 280 281 282 283 284 285
 * @pipe:	the pipe that the buffer belongs to
 * @buf:	the buffer to get a reference to
 *
 * Description:
 *	This function grabs an extra reference to @buf. It's used in
 *	in the tee() system call, when we duplicate the buffers in one
 *	pipe into another.
 */
void generic_pipe_buf_get(struct pipe_inode_info *pipe, struct pipe_buffer *buf)
286 287 288 289
{
	page_cache_get(buf->page);
}

290 291
/**
 * generic_pipe_buf_confirm - verify contents of the pipe buffer
R
Randy Dunlap 已提交
292
 * @info:	the pipe that the buffer belongs to
293 294 295 296 297 298
 * @buf:	the buffer to confirm
 *
 * Description:
 *	This function does nothing, because the generic pipe code uses
 *	pages that are always good when inserted into the pipe.
 */
299 300
int generic_pipe_buf_confirm(struct pipe_inode_info *info,
			     struct pipe_buffer *buf)
301 302 303 304
{
	return 0;
}

305 306 307 308 309 310 311 312 313 314 315 316 317 318
/**
 * generic_pipe_buf_release - put a reference to a &struct pipe_buffer
 * @pipe:	the pipe that the buffer belongs to
 * @buf:	the buffer to put a reference to
 *
 * Description:
 *	This function releases a reference to @buf.
 */
void generic_pipe_buf_release(struct pipe_inode_info *pipe,
			      struct pipe_buffer *buf)
{
	page_cache_release(buf->page);
}

319
static const struct pipe_buf_operations anon_pipe_buf_ops = {
L
Linus Torvalds 已提交
320
	.can_merge = 1,
321 322
	.map = generic_pipe_buf_map,
	.unmap = generic_pipe_buf_unmap,
323
	.confirm = generic_pipe_buf_confirm,
L
Linus Torvalds 已提交
324
	.release = anon_pipe_buf_release,
325
	.steal = generic_pipe_buf_steal,
326
	.get = generic_pipe_buf_get,
L
Linus Torvalds 已提交
327 328 329
};

static ssize_t
330 331
pipe_read(struct kiocb *iocb, const struct iovec *_iov,
	   unsigned long nr_segs, loff_t pos)
L
Linus Torvalds 已提交
332
{
333
	struct file *filp = iocb->ki_filp;
334
	struct inode *inode = filp->f_path.dentry->d_inode;
335
	struct pipe_inode_info *pipe;
L
Linus Torvalds 已提交
336 337 338 339 340 341 342 343 344 345 346 347
	int do_wakeup;
	ssize_t ret;
	struct iovec *iov = (struct iovec *)_iov;
	size_t total_len;

	total_len = iov_length(iov, nr_segs);
	/* Null read succeeds. */
	if (unlikely(total_len == 0))
		return 0;

	do_wakeup = 0;
	ret = 0;
348
	mutex_lock(&inode->i_mutex);
349
	pipe = inode->i_pipe;
L
Linus Torvalds 已提交
350
	for (;;) {
351
		int bufs = pipe->nrbufs;
L
Linus Torvalds 已提交
352
		if (bufs) {
353 354
			int curbuf = pipe->curbuf;
			struct pipe_buffer *buf = pipe->bufs + curbuf;
355
			const struct pipe_buf_operations *ops = buf->ops;
L
Linus Torvalds 已提交
356 357
			void *addr;
			size_t chars = buf->len;
358
			int error, atomic;
L
Linus Torvalds 已提交
359 360 361 362

			if (chars > total_len)
				chars = total_len;

363
			error = ops->confirm(pipe, buf);
364
			if (error) {
365
				if (!ret)
366
					error = ret;
367 368
				break;
			}
369

370 371 372 373 374
			atomic = !iov_fault_in_pages_write(iov, chars);
redo:
			addr = ops->map(pipe, buf, atomic);
			error = pipe_iov_copy_to_user(iov, addr + buf->offset, chars, atomic);
			ops->unmap(pipe, buf, addr);
L
Linus Torvalds 已提交
375
			if (unlikely(error)) {
376 377 378 379 380 381 382
				/*
				 * Just retry with the slow path if we failed.
				 */
				if (atomic) {
					atomic = 0;
					goto redo;
				}
383
				if (!ret)
384
					ret = error;
L
Linus Torvalds 已提交
385 386 387 388 389 390 391
				break;
			}
			ret += chars;
			buf->offset += chars;
			buf->len -= chars;
			if (!buf->len) {
				buf->ops = NULL;
392
				ops->release(pipe, buf);
L
Linus Torvalds 已提交
393
				curbuf = (curbuf + 1) & (PIPE_BUFFERS-1);
394 395
				pipe->curbuf = curbuf;
				pipe->nrbufs = --bufs;
L
Linus Torvalds 已提交
396 397 398 399 400 401 402 403
				do_wakeup = 1;
			}
			total_len -= chars;
			if (!total_len)
				break;	/* common path: read succeeded */
		}
		if (bufs)	/* More to do? */
			continue;
404
		if (!pipe->writers)
L
Linus Torvalds 已提交
405
			break;
406
		if (!pipe->waiting_writers) {
L
Linus Torvalds 已提交
407 408 409 410 411 412 413 414 415 416 417 418 419
			/* syscall merging: Usually we must not sleep
			 * if O_NONBLOCK is set, or if we got some data.
			 * But if a writer sleeps in kernel space, then
			 * we can wait for that data without violating POSIX.
			 */
			if (ret)
				break;
			if (filp->f_flags & O_NONBLOCK) {
				ret = -EAGAIN;
				break;
			}
		}
		if (signal_pending(current)) {
420 421
			if (!ret)
				ret = -ERESTARTSYS;
L
Linus Torvalds 已提交
422 423 424
			break;
		}
		if (do_wakeup) {
425 426
			wake_up_interruptible_sync(&pipe->wait);
 			kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
L
Linus Torvalds 已提交
427
		}
428
		pipe_wait(pipe);
L
Linus Torvalds 已提交
429
	}
430
	mutex_unlock(&inode->i_mutex);
431 432

	/* Signal writers asynchronously that there is more room. */
L
Linus Torvalds 已提交
433
	if (do_wakeup) {
I
Ingo Molnar 已提交
434
		wake_up_interruptible_sync(&pipe->wait);
435
		kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
L
Linus Torvalds 已提交
436 437 438 439 440 441 442
	}
	if (ret > 0)
		file_accessed(filp);
	return ret;
}

static ssize_t
443 444
pipe_write(struct kiocb *iocb, const struct iovec *_iov,
	    unsigned long nr_segs, loff_t ppos)
L
Linus Torvalds 已提交
445
{
446
	struct file *filp = iocb->ki_filp;
447
	struct inode *inode = filp->f_path.dentry->d_inode;
448
	struct pipe_inode_info *pipe;
L
Linus Torvalds 已提交
449 450 451 452 453 454 455 456 457 458 459 460 461
	ssize_t ret;
	int do_wakeup;
	struct iovec *iov = (struct iovec *)_iov;
	size_t total_len;
	ssize_t chars;

	total_len = iov_length(iov, nr_segs);
	/* Null write succeeds. */
	if (unlikely(total_len == 0))
		return 0;

	do_wakeup = 0;
	ret = 0;
462
	mutex_lock(&inode->i_mutex);
463
	pipe = inode->i_pipe;
L
Linus Torvalds 已提交
464

465
	if (!pipe->readers) {
L
Linus Torvalds 已提交
466 467 468 469 470 471 472
		send_sig(SIGPIPE, current, 0);
		ret = -EPIPE;
		goto out;
	}

	/* We try to merge small writes */
	chars = total_len & (PAGE_SIZE-1); /* size of the last buffer */
473
	if (pipe->nrbufs && chars != 0) {
474 475
		int lastbuf = (pipe->curbuf + pipe->nrbufs - 1) &
							(PIPE_BUFFERS-1);
476
		struct pipe_buffer *buf = pipe->bufs + lastbuf;
477
		const struct pipe_buf_operations *ops = buf->ops;
L
Linus Torvalds 已提交
478
		int offset = buf->offset + buf->len;
479

L
Linus Torvalds 已提交
480
		if (ops->can_merge && offset + chars <= PAGE_SIZE) {
481
			int error, atomic = 1;
482 483
			void *addr;

484
			error = ops->confirm(pipe, buf);
485
			if (error)
486
				goto out;
487

488 489 490
			iov_fault_in_pages_read(iov, chars);
redo1:
			addr = ops->map(pipe, buf, atomic);
491
			error = pipe_iov_copy_from_user(offset + addr, iov,
492 493
							chars, atomic);
			ops->unmap(pipe, buf, addr);
L
Linus Torvalds 已提交
494 495
			ret = error;
			do_wakeup = 1;
496 497 498 499 500
			if (error) {
				if (atomic) {
					atomic = 0;
					goto redo1;
				}
L
Linus Torvalds 已提交
501
				goto out;
502
			}
L
Linus Torvalds 已提交
503 504 505 506 507 508 509 510 511 512
			buf->len += chars;
			total_len -= chars;
			ret = chars;
			if (!total_len)
				goto out;
		}
	}

	for (;;) {
		int bufs;
513

514
		if (!pipe->readers) {
L
Linus Torvalds 已提交
515
			send_sig(SIGPIPE, current, 0);
516 517
			if (!ret)
				ret = -EPIPE;
L
Linus Torvalds 已提交
518 519
			break;
		}
520
		bufs = pipe->nrbufs;
L
Linus Torvalds 已提交
521
		if (bufs < PIPE_BUFFERS) {
522 523 524
			int newbuf = (pipe->curbuf + bufs) & (PIPE_BUFFERS-1);
			struct pipe_buffer *buf = pipe->bufs + newbuf;
			struct page *page = pipe->tmp_page;
525 526
			char *src;
			int error, atomic = 1;
L
Linus Torvalds 已提交
527 528 529 530 531 532 533

			if (!page) {
				page = alloc_page(GFP_HIGHUSER);
				if (unlikely(!page)) {
					ret = ret ? : -ENOMEM;
					break;
				}
534
				pipe->tmp_page = page;
L
Linus Torvalds 已提交
535
			}
536
			/* Always wake up, even if the copy fails. Otherwise
L
Linus Torvalds 已提交
537 538 539 540 541 542 543 544 545
			 * we lock up (O_NONBLOCK-)readers that sleep due to
			 * syscall merging.
			 * FIXME! Is this really true?
			 */
			do_wakeup = 1;
			chars = PAGE_SIZE;
			if (chars > total_len)
				chars = total_len;

546 547 548 549 550 551 552 553 554 555 556 557 558 559
			iov_fault_in_pages_read(iov, chars);
redo2:
			if (atomic)
				src = kmap_atomic(page, KM_USER0);
			else
				src = kmap(page);

			error = pipe_iov_copy_from_user(src, iov, chars,
							atomic);
			if (atomic)
				kunmap_atomic(src, KM_USER0);
			else
				kunmap(page);

L
Linus Torvalds 已提交
560
			if (unlikely(error)) {
561 562 563 564
				if (atomic) {
					atomic = 0;
					goto redo2;
				}
565
				if (!ret)
566
					ret = error;
L
Linus Torvalds 已提交
567 568 569 570 571 572 573 574 575
				break;
			}
			ret += chars;

			/* Insert it into the buffer array */
			buf->page = page;
			buf->ops = &anon_pipe_buf_ops;
			buf->offset = 0;
			buf->len = chars;
576 577
			pipe->nrbufs = ++bufs;
			pipe->tmp_page = NULL;
L
Linus Torvalds 已提交
578 579 580 581 582 583 584 585

			total_len -= chars;
			if (!total_len)
				break;
		}
		if (bufs < PIPE_BUFFERS)
			continue;
		if (filp->f_flags & O_NONBLOCK) {
586 587
			if (!ret)
				ret = -EAGAIN;
L
Linus Torvalds 已提交
588 589 590
			break;
		}
		if (signal_pending(current)) {
591 592
			if (!ret)
				ret = -ERESTARTSYS;
L
Linus Torvalds 已提交
593 594 595
			break;
		}
		if (do_wakeup) {
596 597
			wake_up_interruptible_sync(&pipe->wait);
			kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
L
Linus Torvalds 已提交
598 599
			do_wakeup = 0;
		}
600 601 602
		pipe->waiting_writers++;
		pipe_wait(pipe);
		pipe->waiting_writers--;
L
Linus Torvalds 已提交
603 604
	}
out:
605
	mutex_unlock(&inode->i_mutex);
L
Linus Torvalds 已提交
606
	if (do_wakeup) {
I
Ingo Molnar 已提交
607
		wake_up_interruptible_sync(&pipe->wait);
608
		kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
L
Linus Torvalds 已提交
609 610
	}
	if (ret > 0)
611
		file_update_time(filp);
L
Linus Torvalds 已提交
612 613 614 615 616 617 618 619 620 621
	return ret;
}

static ssize_t
bad_pipe_r(struct file *filp, char __user *buf, size_t count, loff_t *ppos)
{
	return -EBADF;
}

static ssize_t
622 623
bad_pipe_w(struct file *filp, const char __user *buf, size_t count,
	   loff_t *ppos)
L
Linus Torvalds 已提交
624 625 626 627
{
	return -EBADF;
}

628
static long pipe_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
L
Linus Torvalds 已提交
629
{
630
	struct inode *inode = filp->f_path.dentry->d_inode;
631
	struct pipe_inode_info *pipe;
L
Linus Torvalds 已提交
632 633 634 635
	int count, buf, nrbufs;

	switch (cmd) {
		case FIONREAD:
636
			mutex_lock(&inode->i_mutex);
637
			pipe = inode->i_pipe;
L
Linus Torvalds 已提交
638
			count = 0;
639 640
			buf = pipe->curbuf;
			nrbufs = pipe->nrbufs;
L
Linus Torvalds 已提交
641
			while (--nrbufs >= 0) {
642
				count += pipe->bufs[buf].len;
L
Linus Torvalds 已提交
643 644
				buf = (buf+1) & (PIPE_BUFFERS-1);
			}
645
			mutex_unlock(&inode->i_mutex);
646

L
Linus Torvalds 已提交
647 648 649 650 651 652 653 654 655 656 657
			return put_user(count, (int __user *)arg);
		default:
			return -EINVAL;
	}
}

/* No kernel lock held - fine */
static unsigned int
pipe_poll(struct file *filp, poll_table *wait)
{
	unsigned int mask;
658
	struct inode *inode = filp->f_path.dentry->d_inode;
659
	struct pipe_inode_info *pipe = inode->i_pipe;
L
Linus Torvalds 已提交
660 661
	int nrbufs;

662
	poll_wait(filp, &pipe->wait, wait);
L
Linus Torvalds 已提交
663 664

	/* Reading only -- no need for acquiring the semaphore.  */
665
	nrbufs = pipe->nrbufs;
L
Linus Torvalds 已提交
666 667 668
	mask = 0;
	if (filp->f_mode & FMODE_READ) {
		mask = (nrbufs > 0) ? POLLIN | POLLRDNORM : 0;
669
		if (!pipe->writers && filp->f_version != pipe->w_counter)
L
Linus Torvalds 已提交
670 671 672 673 674
			mask |= POLLHUP;
	}

	if (filp->f_mode & FMODE_WRITE) {
		mask |= (nrbufs < PIPE_BUFFERS) ? POLLOUT | POLLWRNORM : 0;
675 676 677 678
		/*
		 * Most Unices do not set POLLERR for FIFOs but on Linux they
		 * behave exactly like pipes for poll().
		 */
679
		if (!pipe->readers)
L
Linus Torvalds 已提交
680 681 682 683 684 685 686 687 688
			mask |= POLLERR;
	}

	return mask;
}

static int
pipe_release(struct inode *inode, int decr, int decw)
{
689 690
	struct pipe_inode_info *pipe;

691
	mutex_lock(&inode->i_mutex);
692 693 694
	pipe = inode->i_pipe;
	pipe->readers -= decr;
	pipe->writers -= decw;
695

696
	if (!pipe->readers && !pipe->writers) {
L
Linus Torvalds 已提交
697 698
		free_pipe_info(inode);
	} else {
I
Ingo Molnar 已提交
699
		wake_up_interruptible_sync(&pipe->wait);
700 701
		kill_fasync(&pipe->fasync_readers, SIGIO, POLL_IN);
		kill_fasync(&pipe->fasync_writers, SIGIO, POLL_OUT);
L
Linus Torvalds 已提交
702
	}
703
	mutex_unlock(&inode->i_mutex);
L
Linus Torvalds 已提交
704 705 706 707 708 709 710

	return 0;
}

static int
pipe_read_fasync(int fd, struct file *filp, int on)
{
711
	struct inode *inode = filp->f_path.dentry->d_inode;
L
Linus Torvalds 已提交
712 713
	int retval;

714 715 716
	mutex_lock(&inode->i_mutex);
	retval = fasync_helper(fd, filp, on, &inode->i_pipe->fasync_readers);
	mutex_unlock(&inode->i_mutex);
L
Linus Torvalds 已提交
717

718
	return retval;
L
Linus Torvalds 已提交
719 720 721 722 723 724
}


static int
pipe_write_fasync(int fd, struct file *filp, int on)
{
725
	struct inode *inode = filp->f_path.dentry->d_inode;
L
Linus Torvalds 已提交
726 727
	int retval;

728 729 730
	mutex_lock(&inode->i_mutex);
	retval = fasync_helper(fd, filp, on, &inode->i_pipe->fasync_writers);
	mutex_unlock(&inode->i_mutex);
L
Linus Torvalds 已提交
731

732
	return retval;
L
Linus Torvalds 已提交
733 734 735 736 737 738
}


static int
pipe_rdwr_fasync(int fd, struct file *filp, int on)
{
739
	struct inode *inode = filp->f_path.dentry->d_inode;
740
	struct pipe_inode_info *pipe = inode->i_pipe;
L
Linus Torvalds 已提交
741 742
	int retval;

743
	mutex_lock(&inode->i_mutex);
744
	retval = fasync_helper(fd, filp, on, &pipe->fasync_readers);
745
	if (retval >= 0) {
746
		retval = fasync_helper(fd, filp, on, &pipe->fasync_writers);
747 748 749
		if (retval < 0) /* this can happen only if on == T */
			fasync_helper(-1, filp, 0, &pipe->fasync_readers);
	}
750
	mutex_unlock(&inode->i_mutex);
751
	return retval;
L
Linus Torvalds 已提交
752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779
}


static int
pipe_read_release(struct inode *inode, struct file *filp)
{
	return pipe_release(inode, 1, 0);
}

static int
pipe_write_release(struct inode *inode, struct file *filp)
{
	return pipe_release(inode, 0, 1);
}

static int
pipe_rdwr_release(struct inode *inode, struct file *filp)
{
	int decr, decw;

	decr = (filp->f_mode & FMODE_READ) != 0;
	decw = (filp->f_mode & FMODE_WRITE) != 0;
	return pipe_release(inode, decr, decw);
}

static int
pipe_read_open(struct inode *inode, struct file *filp)
{
E
Earl Chew 已提交
780 781
	int ret = -ENOENT;

782
	mutex_lock(&inode->i_mutex);
E
Earl Chew 已提交
783 784 785 786 787 788

	if (inode->i_pipe) {
		ret = 0;
		inode->i_pipe->readers++;
	}

789
	mutex_unlock(&inode->i_mutex);
L
Linus Torvalds 已提交
790

E
Earl Chew 已提交
791
	return ret;
L
Linus Torvalds 已提交
792 793 794 795 796
}

static int
pipe_write_open(struct inode *inode, struct file *filp)
{
E
Earl Chew 已提交
797 798
	int ret = -ENOENT;

799
	mutex_lock(&inode->i_mutex);
E
Earl Chew 已提交
800 801 802 803 804 805

	if (inode->i_pipe) {
		ret = 0;
		inode->i_pipe->writers++;
	}

806
	mutex_unlock(&inode->i_mutex);
L
Linus Torvalds 已提交
807

E
Earl Chew 已提交
808
	return ret;
L
Linus Torvalds 已提交
809 810 811 812 813
}

static int
pipe_rdwr_open(struct inode *inode, struct file *filp)
{
E
Earl Chew 已提交
814 815
	int ret = -ENOENT;

816
	mutex_lock(&inode->i_mutex);
E
Earl Chew 已提交
817 818 819 820 821 822 823 824 825

	if (inode->i_pipe) {
		ret = 0;
		if (filp->f_mode & FMODE_READ)
			inode->i_pipe->readers++;
		if (filp->f_mode & FMODE_WRITE)
			inode->i_pipe->writers++;
	}

826
	mutex_unlock(&inode->i_mutex);
L
Linus Torvalds 已提交
827

E
Earl Chew 已提交
828
	return ret;
L
Linus Torvalds 已提交
829 830 831 832 833
}

/*
 * The file_operations structs are not static because they
 * are also used in linux/fs/fifo.c to do operations on FIFOs.
834 835
 *
 * Pipes reuse fifos' file_operations structs.
L
Linus Torvalds 已提交
836
 */
837
const struct file_operations read_pipefifo_fops = {
L
Linus Torvalds 已提交
838
	.llseek		= no_llseek,
839 840
	.read		= do_sync_read,
	.aio_read	= pipe_read,
L
Linus Torvalds 已提交
841 842
	.write		= bad_pipe_w,
	.poll		= pipe_poll,
843
	.unlocked_ioctl	= pipe_ioctl,
L
Linus Torvalds 已提交
844 845 846 847 848
	.open		= pipe_read_open,
	.release	= pipe_read_release,
	.fasync		= pipe_read_fasync,
};

849
const struct file_operations write_pipefifo_fops = {
L
Linus Torvalds 已提交
850 851
	.llseek		= no_llseek,
	.read		= bad_pipe_r,
852 853
	.write		= do_sync_write,
	.aio_write	= pipe_write,
L
Linus Torvalds 已提交
854
	.poll		= pipe_poll,
855
	.unlocked_ioctl	= pipe_ioctl,
L
Linus Torvalds 已提交
856 857 858 859 860
	.open		= pipe_write_open,
	.release	= pipe_write_release,
	.fasync		= pipe_write_fasync,
};

861
const struct file_operations rdwr_pipefifo_fops = {
L
Linus Torvalds 已提交
862
	.llseek		= no_llseek,
863 864 865 866
	.read		= do_sync_read,
	.aio_read	= pipe_read,
	.write		= do_sync_write,
	.aio_write	= pipe_write,
L
Linus Torvalds 已提交
867
	.poll		= pipe_poll,
868
	.unlocked_ioctl	= pipe_ioctl,
L
Linus Torvalds 已提交
869 870 871 872 873
	.open		= pipe_rdwr_open,
	.release	= pipe_rdwr_release,
	.fasync		= pipe_rdwr_fasync,
};

874 875
struct pipe_inode_info * alloc_pipe_info(struct inode *inode)
{
876
	struct pipe_inode_info *pipe;
877

878 879 880 881 882
	pipe = kzalloc(sizeof(struct pipe_inode_info), GFP_KERNEL);
	if (pipe) {
		init_waitqueue_head(&pipe->wait);
		pipe->r_counter = pipe->w_counter = 1;
		pipe->inode = inode;
883 884
	}

885
	return pipe;
886 887
}

888
void __free_pipe_info(struct pipe_inode_info *pipe)
L
Linus Torvalds 已提交
889 890 891 892
{
	int i;

	for (i = 0; i < PIPE_BUFFERS; i++) {
893
		struct pipe_buffer *buf = pipe->bufs + i;
L
Linus Torvalds 已提交
894
		if (buf->ops)
895
			buf->ops->release(pipe, buf);
L
Linus Torvalds 已提交
896
	}
897 898 899
	if (pipe->tmp_page)
		__free_page(pipe->tmp_page);
	kfree(pipe);
L
Linus Torvalds 已提交
900 901
}

902 903 904 905 906 907
void free_pipe_info(struct inode *inode)
{
	__free_pipe_info(inode->i_pipe);
	inode->i_pipe = NULL;
}

908
static struct vfsmount *pipe_mnt __read_mostly;
L
Linus Torvalds 已提交
909 910
static int pipefs_delete_dentry(struct dentry *dentry)
{
911 912 913 914 915 916 917 918
	/*
	 * At creation time, we pretended this dentry was hashed
	 * (by clearing DCACHE_UNHASHED bit in d_flags)
	 * At delete time, we restore the truth : not hashed.
	 * (so that dput() can proceed correctly)
	 */
	dentry->d_flags |= DCACHE_UNHASHED;
	return 0;
L
Linus Torvalds 已提交
919
}
920

921 922 923 924 925 926 927 928 929
/*
 * pipefs_dname() is called from d_path().
 */
static char *pipefs_dname(struct dentry *dentry, char *buffer, int buflen)
{
	return dynamic_dname(dentry, buffer, buflen, "pipe:[%lu]",
				dentry->d_inode->i_ino);
}

A
Al Viro 已提交
930
static const struct dentry_operations pipefs_dentry_operations = {
L
Linus Torvalds 已提交
931
	.d_delete	= pipefs_delete_dentry,
932
	.d_dname	= pipefs_dname,
L
Linus Torvalds 已提交
933 934 935 936 937
};

static struct inode * get_pipe_inode(void)
{
	struct inode *inode = new_inode(pipe_mnt->mnt_sb);
938
	struct pipe_inode_info *pipe;
L
Linus Torvalds 已提交
939 940 941 942

	if (!inode)
		goto fail_inode;

943 944
	pipe = alloc_pipe_info(inode);
	if (!pipe)
L
Linus Torvalds 已提交
945
		goto fail_iput;
946
	inode->i_pipe = pipe;
947

948
	pipe->readers = pipe->writers = 1;
949
	inode->i_fop = &rdwr_pipefifo_fops;
L
Linus Torvalds 已提交
950 951 952 953 954 955 956 957 958

	/*
	 * Mark the inode dirty from the very beginning,
	 * that way it will never be moved to the dirty
	 * list because "mark_inode_dirty()" will think
	 * that it already _is_ on the dirty list.
	 */
	inode->i_state = I_DIRTY;
	inode->i_mode = S_IFIFO | S_IRUSR | S_IWUSR;
959 960
	inode->i_uid = current_fsuid();
	inode->i_gid = current_fsgid();
L
Linus Torvalds 已提交
961
	inode->i_atime = inode->i_mtime = inode->i_ctime = CURRENT_TIME;
962

L
Linus Torvalds 已提交
963 964 965 966
	return inode;

fail_iput:
	iput(inode);
967

L
Linus Torvalds 已提交
968 969 970 971
fail_inode:
	return NULL;
}

972
struct file *create_write_pipe(int flags)
L
Linus Torvalds 已提交
973
{
A
Andi Kleen 已提交
974 975 976
	int err;
	struct inode *inode;
	struct file *f;
977
	struct path path;
978
	struct qstr name = { .name = "" };
L
Linus Torvalds 已提交
979

A
Andi Kleen 已提交
980
	err = -ENFILE;
L
Linus Torvalds 已提交
981 982
	inode = get_pipe_inode();
	if (!inode)
D
Dave Hansen 已提交
983
		goto err;
L
Linus Torvalds 已提交
984

A
Andi Kleen 已提交
985
	err = -ENOMEM;
986 987
	path.dentry = d_alloc(pipe_mnt->mnt_sb->s_root, &name);
	if (!path.dentry)
A
Andi Kleen 已提交
988
		goto err_inode;
989
	path.mnt = mntget(pipe_mnt);
990

991
	path.dentry->d_op = &pipefs_dentry_operations;
992 993 994 995 996
	/*
	 * We dont want to publish this dentry into global dentry hash table.
	 * We pretend dentry is already hashed, by unsetting DCACHE_UNHASHED
	 * This permits a working /proc/$pid/fd/XXX on pipes
	 */
997 998
	path.dentry->d_flags &= ~DCACHE_UNHASHED;
	d_instantiate(path.dentry, inode);
D
Dave Hansen 已提交
999 1000

	err = -ENFILE;
1001
	f = alloc_file(&path, FMODE_WRITE, &write_pipefifo_fops);
D
Dave Hansen 已提交
1002 1003
	if (!f)
		goto err_dentry;
A
Andi Kleen 已提交
1004
	f->f_mapping = inode->i_mapping;
1005

1006
	f->f_flags = O_WRONLY | (flags & O_NONBLOCK);
A
Andi Kleen 已提交
1007 1008 1009
	f->f_version = 0;

	return f;
L
Linus Torvalds 已提交
1010

D
Dave Hansen 已提交
1011
 err_dentry:
1012
	free_pipe_info(inode);
1013
	path_put(&path);
1014 1015
	return ERR_PTR(err);

A
Andi Kleen 已提交
1016
 err_inode:
L
Linus Torvalds 已提交
1017 1018
	free_pipe_info(inode);
	iput(inode);
D
Dave Hansen 已提交
1019
 err:
A
Andi Kleen 已提交
1020 1021 1022 1023 1024
	return ERR_PTR(err);
}

void free_write_pipe(struct file *f)
{
1025
	free_pipe_info(f->f_dentry->d_inode);
1026
	path_put(&f->f_path);
A
Andi Kleen 已提交
1027 1028 1029
	put_filp(f);
}

1030
struct file *create_read_pipe(struct file *wrf, int flags)
A
Andi Kleen 已提交
1031
{
1032 1033 1034
	/* Grab pipe from the writer */
	struct file *f = alloc_file(&wrf->f_path, FMODE_READ,
				    &read_pipefifo_fops);
A
Andi Kleen 已提交
1035 1036 1037
	if (!f)
		return ERR_PTR(-ENFILE);

1038
	path_get(&wrf->f_path);
1039
	f->f_flags = O_RDONLY | (flags & O_NONBLOCK);
A
Andi Kleen 已提交
1040 1041 1042 1043

	return f;
}

U
Ulrich Drepper 已提交
1044
int do_pipe_flags(int *fd, int flags)
A
Andi Kleen 已提交
1045 1046 1047 1048 1049
{
	struct file *fw, *fr;
	int error;
	int fdw, fdr;

1050
	if (flags & ~(O_CLOEXEC | O_NONBLOCK))
U
Ulrich Drepper 已提交
1051 1052
		return -EINVAL;

1053
	fw = create_write_pipe(flags);
A
Andi Kleen 已提交
1054 1055
	if (IS_ERR(fw))
		return PTR_ERR(fw);
1056
	fr = create_read_pipe(fw, flags);
A
Andi Kleen 已提交
1057 1058 1059 1060
	error = PTR_ERR(fr);
	if (IS_ERR(fr))
		goto err_write_pipe;

U
Ulrich Drepper 已提交
1061
	error = get_unused_fd_flags(flags);
A
Andi Kleen 已提交
1062 1063 1064 1065
	if (error < 0)
		goto err_read_pipe;
	fdr = error;

U
Ulrich Drepper 已提交
1066
	error = get_unused_fd_flags(flags);
A
Andi Kleen 已提交
1067 1068 1069 1070
	if (error < 0)
		goto err_fdr;
	fdw = error;

A
Al Viro 已提交
1071
	audit_fd_pair(fdr, fdw);
A
Andi Kleen 已提交
1072 1073 1074 1075 1076 1077 1078 1079 1080 1081
	fd_install(fdr, fr);
	fd_install(fdw, fw);
	fd[0] = fdr;
	fd[1] = fdw;

	return 0;

 err_fdr:
	put_unused_fd(fdr);
 err_read_pipe:
1082
	path_put(&fr->f_path);
A
Andi Kleen 已提交
1083 1084 1085 1086
	put_filp(fr);
 err_write_pipe:
	free_write_pipe(fw);
	return error;
L
Linus Torvalds 已提交
1087 1088
}

1089 1090 1091 1092
/*
 * sys_pipe() is the normal C calling standard for creating
 * a pipe. It's not the way Unix traditionally does this, though.
 */
1093
SYSCALL_DEFINE2(pipe2, int __user *, fildes, int, flags)
1094 1095 1096 1097
{
	int fd[2];
	int error;

U
Ulrich Drepper 已提交
1098
	error = do_pipe_flags(fd, flags);
1099
	if (!error) {
1100 1101 1102
		if (copy_to_user(fildes, fd, sizeof(fd))) {
			sys_close(fd[0]);
			sys_close(fd[1]);
1103
			error = -EFAULT;
1104
		}
1105 1106 1107 1108
	}
	return error;
}

1109
SYSCALL_DEFINE1(pipe, int __user *, fildes)
U
Ulrich Drepper 已提交
1110 1111 1112 1113
{
	return sys_pipe2(fildes, 0);
}

L
Linus Torvalds 已提交
1114 1115 1116 1117 1118 1119
/*
 * pipefs should _never_ be mounted by userland - too much of security hassle,
 * no real gain from having the whole whorehouse mounted. So we don't need
 * any operations on the root directory. However, we need a non-trivial
 * d_name - pipe: will go nicely and kill the special-casing in procfs.
 */
1120 1121 1122
static int pipefs_get_sb(struct file_system_type *fs_type,
			 int flags, const char *dev_name, void *data,
			 struct vfsmount *mnt)
L
Linus Torvalds 已提交
1123
{
1124
	return get_sb_pseudo(fs_type, "pipe:", NULL, PIPEFS_MAGIC, mnt);
L
Linus Torvalds 已提交
1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135
}

static struct file_system_type pipe_fs_type = {
	.name		= "pipefs",
	.get_sb		= pipefs_get_sb,
	.kill_sb	= kill_anon_super,
};

static int __init init_pipe_fs(void)
{
	int err = register_filesystem(&pipe_fs_type);
1136

L
Linus Torvalds 已提交
1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154
	if (!err) {
		pipe_mnt = kern_mount(&pipe_fs_type);
		if (IS_ERR(pipe_mnt)) {
			err = PTR_ERR(pipe_mnt);
			unregister_filesystem(&pipe_fs_type);
		}
	}
	return err;
}

static void __exit exit_pipe_fs(void)
{
	unregister_filesystem(&pipe_fs_type);
	mntput(pipe_mnt);
}

fs_initcall(init_pipe_fs);
module_exit(exit_pipe_fs);