sys_pipe.c revision 1.172 1 1.172 riastrad /* $NetBSD: sys_pipe.c,v 1.172 2026/10/03 16:23:46 riastradh Exp $ */
2 1.35 pk
3 1.35 pk /*-
4 1.163 ad * Copyright (c) 2003, 2007, 2008, 2009, 2023 The NetBSD Foundation, Inc.
5 1.35 pk * All rights reserved.
6 1.35 pk *
7 1.35 pk * This code is derived from software contributed to The NetBSD Foundation
8 1.80 ad * by Paul Kranenburg, and by Andrew Doran.
9 1.35 pk *
10 1.35 pk * Redistribution and use in source and binary forms, with or without
11 1.35 pk * modification, are permitted provided that the following conditions
12 1.35 pk * are met:
13 1.35 pk * 1. Redistributions of source code must retain the above copyright
14 1.35 pk * notice, this list of conditions and the following disclaimer.
15 1.35 pk * 2. Redistributions in binary form must reproduce the above copyright
16 1.35 pk * notice, this list of conditions and the following disclaimer in the
17 1.35 pk * documentation and/or other materials provided with the distribution.
18 1.35 pk *
19 1.35 pk * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.35 pk * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.35 pk * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.35 pk * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.35 pk * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.35 pk * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.35 pk * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.35 pk * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.35 pk * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.35 pk * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.35 pk * POSSIBILITY OF SUCH DAMAGE.
30 1.35 pk */
31 1.2 jdolecek
32 1.1 jdolecek /*
33 1.1 jdolecek * Copyright (c) 1996 John S. Dyson
34 1.1 jdolecek * All rights reserved.
35 1.1 jdolecek *
36 1.1 jdolecek * Redistribution and use in source and binary forms, with or without
37 1.1 jdolecek * modification, are permitted provided that the following conditions
38 1.1 jdolecek * are met:
39 1.1 jdolecek * 1. Redistributions of source code must retain the above copyright
40 1.1 jdolecek * notice immediately at the beginning of the file, without modification,
41 1.1 jdolecek * this list of conditions, and the following disclaimer.
42 1.1 jdolecek * 2. Redistributions in binary form must reproduce the above copyright
43 1.1 jdolecek * notice, this list of conditions and the following disclaimer in the
44 1.1 jdolecek * documentation and/or other materials provided with the distribution.
45 1.1 jdolecek * 3. Absolutely no warranty of function or purpose is made by the author
46 1.1 jdolecek * John S. Dyson.
47 1.1 jdolecek * 4. Modifications may be freely made to this file if the above conditions
48 1.1 jdolecek * are met.
49 1.1 jdolecek */
50 1.1 jdolecek
51 1.1 jdolecek /*
52 1.1 jdolecek * This file contains a high-performance replacement for the socket-based
53 1.106 ad * pipes scheme originally used. It does not support all features of
54 1.106 ad * sockets, but does do everything that pipes normally do.
55 1.1 jdolecek */
56 1.19 lukem
57 1.19 lukem #include <sys/cdefs.h>
58 1.172 riastrad __KERNEL_RCSID(0, "$NetBSD: sys_pipe.c,v 1.172 2026/10/03 16:23:46 riastradh Exp $");
59 1.2 jdolecek
60 1.1 jdolecek #include <sys/param.h>
61 1.1 jdolecek #include <sys/systm.h>
62 1.2 jdolecek #include <sys/proc.h>
63 1.1 jdolecek #include <sys/fcntl.h>
64 1.1 jdolecek #include <sys/file.h>
65 1.1 jdolecek #include <sys/filedesc.h>
66 1.1 jdolecek #include <sys/filio.h>
67 1.24 jdolecek #include <sys/kernel.h>
68 1.1 jdolecek #include <sys/ttycom.h>
69 1.1 jdolecek #include <sys/stat.h>
70 1.1 jdolecek #include <sys/poll.h>
71 1.2 jdolecek #include <sys/signalvar.h>
72 1.2 jdolecek #include <sys/vnode.h>
73 1.2 jdolecek #include <sys/uio.h>
74 1.2 jdolecek #include <sys/select.h>
75 1.2 jdolecek #include <sys/mount.h>
76 1.2 jdolecek #include <sys/syscallargs.h>
77 1.2 jdolecek #include <sys/sysctl.h>
78 1.72 elad #include <sys/kauth.h>
79 1.90 ad #include <sys/atomic.h>
80 1.90 ad #include <sys/pipe.h>
81 1.2 jdolecek
82 1.113 rmind static int pipe_read(file_t *, off_t *, struct uio *, kauth_cred_t, int);
83 1.113 rmind static int pipe_write(file_t *, off_t *, struct uio *, kauth_cred_t, int);
84 1.113 rmind static int pipe_close(file_t *);
85 1.113 rmind static int pipe_poll(file_t *, int);
86 1.114 rmind static int pipe_kqfilter(file_t *, struct knote *);
87 1.113 rmind static int pipe_stat(file_t *, struct stat *);
88 1.113 rmind static int pipe_ioctl(file_t *, u_long, void *);
89 1.127 dsl static void pipe_restart(file_t *);
90 1.159 riastrad static int pipe_fpathconf(file_t *, int, register_t *);
91 1.160 riastrad static int pipe_posix_fadvise(file_t *, off_t, off_t, int);
92 1.1 jdolecek
93 1.62 christos static const struct fileops pipeops = {
94 1.142 christos .fo_name = "pipe",
95 1.109 ad .fo_read = pipe_read,
96 1.109 ad .fo_write = pipe_write,
97 1.109 ad .fo_ioctl = pipe_ioctl,
98 1.109 ad .fo_fcntl = fnullop_fcntl,
99 1.109 ad .fo_poll = pipe_poll,
100 1.109 ad .fo_stat = pipe_stat,
101 1.109 ad .fo_close = pipe_close,
102 1.109 ad .fo_kqfilter = pipe_kqfilter,
103 1.127 dsl .fo_restart = pipe_restart,
104 1.159 riastrad .fo_fpathconf = pipe_fpathconf,
105 1.160 riastrad .fo_posix_fadvise = pipe_posix_fadvise,
106 1.35 pk };
107 1.1 jdolecek
108 1.1 jdolecek /*
109 1.1 jdolecek * Default pipe buffer size(s), this can be kind-of large now because pipe
110 1.1 jdolecek * space is pageable. The pipe code will try to maintain locality of
111 1.1 jdolecek * reference for performance reasons, so small amounts of outstanding I/O
112 1.1 jdolecek * will not wipe the cache.
113 1.1 jdolecek */
114 1.113 rmind #define MINPIPESIZE (PIPE_SIZE / 3)
115 1.113 rmind #define MAXPIPESIZE (2 * PIPE_SIZE / 3)
116 1.1 jdolecek
117 1.1 jdolecek /*
118 1.1 jdolecek * Limit the number of "big" pipes
119 1.1 jdolecek */
120 1.113 rmind #define LIMITBIGPIPES 32
121 1.163 ad static u_int maxbigpipes __read_mostly = LIMITBIGPIPES;
122 1.113 rmind static u_int nbigpipe = 0;
123 1.1 jdolecek
124 1.2 jdolecek /*
125 1.2 jdolecek * Amount of KVA consumed by pipe buffers.
126 1.2 jdolecek */
127 1.113 rmind static u_int amountpipekva = 0;
128 1.34 thorpej
129 1.166 martin static void pipeclose(struct pipe *);
130 1.170 riastrad static void pipefree(struct pipe *);
131 1.166 martin static void pipe_free_kmem(struct pipe *);
132 1.166 martin static int pipe_create(struct pipe **, pool_cache_t, struct timespec *);
133 1.166 martin static int pipelock(struct pipe *, bool);
134 1.166 martin static inline void pipeunlock(struct pipe *);
135 1.166 martin static void pipeselwakeup(struct pipe *, struct pipe *, int);
136 1.166 martin static int pipespace(struct pipe *, int);
137 1.113 rmind static int pipe_ctor(void *, void *, int);
138 1.113 rmind static void pipe_dtor(void *, void *);
139 1.2 jdolecek
140 1.166 martin static pool_cache_t pipe_wr_cache;
141 1.166 martin static pool_cache_t pipe_rd_cache;
142 1.82 ad
143 1.82 ad void
144 1.82 ad pipe_init(void)
145 1.82 ad {
146 1.82 ad
147 1.166 martin /* Writer side is not automatically allocated KVA. */
148 1.166 martin pipe_wr_cache = pool_cache_init(sizeof(struct pipe), 0, 0, 0, "pipewr",
149 1.166 martin NULL, IPL_NONE, pipe_ctor, pipe_dtor, NULL);
150 1.166 martin KASSERT(pipe_wr_cache != NULL);
151 1.166 martin
152 1.166 martin /* Reader side gets preallocated KVA. */
153 1.166 martin pipe_rd_cache = pool_cache_init(sizeof(struct pipe), 0, 0, 0, "piperd",
154 1.166 martin NULL, IPL_NONE, pipe_ctor, pipe_dtor, (void *)1);
155 1.166 martin KASSERT(pipe_rd_cache != NULL);
156 1.90 ad }
157 1.90 ad
158 1.90 ad static int
159 1.106 ad pipe_ctor(void *arg, void *obj, int flags)
160 1.90 ad {
161 1.166 martin struct pipe *pipe;
162 1.166 martin vaddr_t va;
163 1.166 martin
164 1.166 martin pipe = obj;
165 1.90 ad
166 1.106 ad memset(pipe, 0, sizeof(struct pipe));
167 1.166 martin if (arg != NULL) {
168 1.166 martin /* Preallocate space. */
169 1.166 martin va = uvm_km_alloc(kernel_map, PIPE_SIZE, 0,
170 1.166 martin UVM_KMF_PAGEABLE | UVM_KMF_WAITVA);
171 1.166 martin KASSERT(va != 0);
172 1.166 martin pipe->pipe_kmem = va;
173 1.166 martin atomic_add_int(&amountpipekva, PIPE_SIZE);
174 1.166 martin }
175 1.166 martin cv_init(&pipe->pipe_rcv, "pipe_rd");
176 1.166 martin cv_init(&pipe->pipe_wcv, "pipe_wr");
177 1.166 martin cv_init(&pipe->pipe_draincv, "pipe_drn");
178 1.166 martin cv_init(&pipe->pipe_lkcv, "pipe_lk");
179 1.166 martin selinit(&pipe->pipe_sel);
180 1.166 martin pipe->pipe_state = PIPE_SIGNALR;
181 1.90 ad
182 1.90 ad return 0;
183 1.90 ad }
184 1.90 ad
185 1.90 ad static void
186 1.106 ad pipe_dtor(void *arg, void *obj)
187 1.90 ad {
188 1.166 martin struct pipe *pipe;
189 1.90 ad
190 1.166 martin pipe = obj;
191 1.166 martin
192 1.166 martin cv_destroy(&pipe->pipe_rcv);
193 1.166 martin cv_destroy(&pipe->pipe_wcv);
194 1.166 martin cv_destroy(&pipe->pipe_draincv);
195 1.166 martin cv_destroy(&pipe->pipe_lkcv);
196 1.166 martin seldestroy(&pipe->pipe_sel);
197 1.166 martin if (pipe->pipe_kmem != 0) {
198 1.166 martin uvm_km_free(kernel_map, pipe->pipe_kmem, PIPE_SIZE,
199 1.166 martin UVM_KMF_PAGEABLE);
200 1.166 martin atomic_add_int(&amountpipekva, -PIPE_SIZE);
201 1.166 martin }
202 1.82 ad }
203 1.82 ad
204 1.1 jdolecek /*
205 1.1 jdolecek * The pipe system call for the DTYPE_PIPE type of pipes
206 1.1 jdolecek */
207 1.2 jdolecek int
208 1.143 kamil pipe1(struct lwp *l, int *fildes, int flags)
209 1.1 jdolecek {
210 1.166 martin struct pipe *rpipe, *wpipe;
211 1.166 martin struct timespec nt;
212 1.113 rmind file_t *rf, *wf;
213 1.1 jdolecek int fd, error;
214 1.99 ad proc_t *p;
215 1.2 jdolecek
216 1.168 kre if (flags & ~(O_CLOEXEC|O_CLOFORK|O_NONBLOCK|O_NOSIGPIPE))
217 1.132 christos return EINVAL;
218 1.99 ad p = curproc;
219 1.166 martin rpipe = wpipe = NULL;
220 1.166 martin getnanotime(&nt);
221 1.166 martin if ((error = pipe_create(&rpipe, pipe_rd_cache, &nt)) ||
222 1.166 martin (error = pipe_create(&wpipe, pipe_wr_cache, &nt))) {
223 1.166 martin goto free2;
224 1.166 martin }
225 1.166 martin rpipe->pipe_lock = mutex_obj_alloc(MUTEX_DEFAULT, IPL_NONE);
226 1.166 martin wpipe->pipe_lock = rpipe->pipe_lock;
227 1.166 martin mutex_obj_hold(wpipe->pipe_lock);
228 1.6 jdolecek
229 1.99 ad error = fd_allocfile(&rf, &fd);
230 1.166 martin if (error)
231 1.166 martin goto free2;
232 1.143 kamil fildes[0] = fd;
233 1.136 martin
234 1.136 martin error = fd_allocfile(&wf, &fd);
235 1.166 martin if (error)
236 1.166 martin goto free3;
237 1.143 kamil fildes[1] = fd;
238 1.136 martin
239 1.130 christos rf->f_flag = FREAD | flags;
240 1.2 jdolecek rf->f_type = DTYPE_PIPE;
241 1.166 martin rf->f_pipe = rpipe;
242 1.2 jdolecek rf->f_ops = &pipeops;
243 1.143 kamil fd_set_exclose(l, fildes[0], (flags & O_CLOEXEC) != 0);
244 1.168 kre fd_set_foclose(l, fildes[0], (flags & O_CLOFORK) != 0);
245 1.2 jdolecek
246 1.130 christos wf->f_flag = FWRITE | flags;
247 1.2 jdolecek wf->f_type = DTYPE_PIPE;
248 1.166 martin wf->f_pipe = wpipe;
249 1.2 jdolecek wf->f_ops = &pipeops;
250 1.143 kamil fd_set_exclose(l, fildes[1], (flags & O_CLOEXEC) != 0);
251 1.168 kre fd_set_foclose(l, fildes[1], (flags & O_CLOFORK) != 0);
252 1.2 jdolecek
253 1.166 martin rpipe->pipe_peer = wpipe;
254 1.166 martin wpipe->pipe_peer = rpipe;
255 1.166 martin
256 1.143 kamil fd_affix(p, rf, fildes[0]);
257 1.143 kamil fd_affix(p, wf, fildes[1]);
258 1.166 martin return (0);
259 1.166 martin free3:
260 1.166 martin fd_abort(p, rf, fildes[0]);
261 1.166 martin free2:
262 1.170 riastrad if (wpipe)
263 1.170 riastrad pipefree(wpipe);
264 1.170 riastrad if (rpipe)
265 1.170 riastrad pipefree(rpipe);
266 1.166 martin
267 1.166 martin return (error);
268 1.166 martin }
269 1.166 martin
270 1.166 martin /*
271 1.166 martin * Allocate kva for pipe circular buffer, the space is pageable
272 1.166 martin * This routine will 'realloc' the size of a pipe safely, if it fails
273 1.166 martin * it will retain the old buffer.
274 1.166 martin * If it fails it will return ENOMEM.
275 1.166 martin */
276 1.166 martin static int
277 1.166 martin pipespace(struct pipe *pipe, int size)
278 1.166 martin {
279 1.166 martin void *buffer;
280 1.166 martin
281 1.166 martin /*
282 1.166 martin * Allocate pageable virtual address space. Physical memory is
283 1.166 martin * allocated on demand.
284 1.166 martin */
285 1.166 martin if (size == PIPE_SIZE && pipe->pipe_kmem != 0) {
286 1.166 martin buffer = (void *)pipe->pipe_kmem;
287 1.166 martin } else {
288 1.166 martin buffer = (void *)uvm_km_alloc(kernel_map, round_page(size),
289 1.166 martin 0, UVM_KMF_PAGEABLE);
290 1.166 martin if (buffer == NULL)
291 1.166 martin return (ENOMEM);
292 1.166 martin atomic_add_int(&amountpipekva, size);
293 1.166 martin }
294 1.166 martin
295 1.166 martin /* free old resources if we're resizing */
296 1.166 martin pipe_free_kmem(pipe);
297 1.166 martin pipe->pipe_buffer.buffer = buffer;
298 1.166 martin pipe->pipe_buffer.size = size;
299 1.166 martin pipe->pipe_buffer.in = 0;
300 1.166 martin pipe->pipe_buffer.out = 0;
301 1.166 martin pipe->pipe_buffer.cnt = 0;
302 1.166 martin return (0);
303 1.166 martin }
304 1.166 martin
305 1.166 martin /*
306 1.166 martin * Initialize and allocate VM and memory for pipe.
307 1.166 martin */
308 1.166 martin static int
309 1.166 martin pipe_create(struct pipe **pipep, pool_cache_t cache, struct timespec *nt)
310 1.166 martin {
311 1.166 martin struct pipe *pipe;
312 1.166 martin int error;
313 1.166 martin
314 1.166 martin pipe = pool_cache_get(cache, PR_WAITOK);
315 1.166 martin KASSERT(pipe != NULL);
316 1.166 martin *pipep = pipe;
317 1.166 martin error = 0;
318 1.166 martin pipe->pipe_atime = pipe->pipe_mtime = pipe->pipe_btime = *nt;
319 1.166 martin pipe->pipe_lock = NULL;
320 1.166 martin if (cache == pipe_rd_cache) {
321 1.166 martin error = pipespace(pipe, PIPE_SIZE);
322 1.166 martin } else {
323 1.166 martin pipe->pipe_buffer.buffer = NULL;
324 1.166 martin pipe->pipe_buffer.size = 0;
325 1.166 martin pipe->pipe_buffer.in = 0;
326 1.166 martin pipe->pipe_buffer.out = 0;
327 1.166 martin pipe->pipe_buffer.cnt = 0;
328 1.166 martin }
329 1.166 martin return error;
330 1.1 jdolecek }
331 1.1 jdolecek
332 1.1 jdolecek /*
333 1.166 martin * Lock a pipe for I/O, blocking other access
334 1.166 martin * Called with pipe spin lock held.
335 1.1 jdolecek */
336 1.166 martin static int
337 1.166 martin pipelock(struct pipe *pipe, bool catch_p)
338 1.1 jdolecek {
339 1.166 martin int error;
340 1.106 ad
341 1.165 ad KASSERT(mutex_owned(pipe->pipe_lock));
342 1.165 ad
343 1.166 martin while (pipe->pipe_state & PIPE_LOCKFL) {
344 1.166 martin if (catch_p) {
345 1.166 martin error = cv_wait_sig(&pipe->pipe_lkcv, pipe->pipe_lock);
346 1.166 martin if (error != 0) {
347 1.166 martin return error;
348 1.166 martin }
349 1.166 martin } else
350 1.166 martin cv_wait(&pipe->pipe_lkcv, pipe->pipe_lock);
351 1.106 ad }
352 1.1 jdolecek
353 1.166 martin pipe->pipe_state |= PIPE_LOCKFL;
354 1.166 martin
355 1.166 martin return 0;
356 1.1 jdolecek }
357 1.1 jdolecek
358 1.1 jdolecek /*
359 1.166 martin * unlock a pipe I/O lock
360 1.1 jdolecek */
361 1.166 martin static inline void
362 1.166 martin pipeunlock(struct pipe *pipe)
363 1.1 jdolecek {
364 1.1 jdolecek
365 1.166 martin KASSERT(pipe->pipe_state & PIPE_LOCKFL);
366 1.165 ad
367 1.166 martin pipe->pipe_state &= ~PIPE_LOCKFL;
368 1.166 martin cv_signal(&pipe->pipe_lkcv);
369 1.1 jdolecek }
370 1.1 jdolecek
371 1.1 jdolecek /*
372 1.167 andvar * Select/poll wakeup. This also sends SIGIO to peer connected to
373 1.166 martin * 'sigpipe' side of pipe.
374 1.1 jdolecek */
375 1.165 ad static void
376 1.166 martin pipeselwakeup(struct pipe *selp, struct pipe *sigp, int code)
377 1.1 jdolecek {
378 1.166 martin int band;
379 1.67 yamt
380 1.43 jdolecek switch (code) {
381 1.42 christos case POLL_IN:
382 1.43 jdolecek band = POLLIN|POLLRDNORM;
383 1.42 christos break;
384 1.42 christos case POLL_OUT:
385 1.43 jdolecek band = POLLOUT|POLLWRNORM;
386 1.42 christos break;
387 1.42 christos case POLL_HUP:
388 1.43 jdolecek band = POLLHUP;
389 1.42 christos break;
390 1.42 christos case POLL_ERR:
391 1.43 jdolecek band = POLLERR;
392 1.42 christos break;
393 1.42 christos default:
394 1.45 christos band = 0;
395 1.42 christos #ifdef DIAGNOSTIC
396 1.42 christos printf("bad siginfo code %d in pipe notification.\n", code);
397 1.42 christos #endif
398 1.42 christos break;
399 1.42 christos }
400 1.43 jdolecek
401 1.166 martin selnotify(&selp->pipe_sel, band, NOTE_SUBMIT);
402 1.166 martin
403 1.166 martin if (sigp == NULL || (sigp->pipe_state & PIPE_ASYNC) == 0)
404 1.166 martin return;
405 1.98 rmind
406 1.166 martin fownsignal(sigp->pipe_pgid, SIGIO, code, band, selp);
407 1.1 jdolecek }
408 1.1 jdolecek
409 1.2 jdolecek static int
410 1.113 rmind pipe_read(file_t *fp, off_t *offset, struct uio *uio, kauth_cred_t cred,
411 1.77 yamt int flags)
412 1.1 jdolecek {
413 1.166 martin struct pipe *rpipe = fp->f_pipe;
414 1.172 riastrad struct pipe *wpipe;
415 1.166 martin struct pipebuf *bp = &rpipe->pipe_buffer;
416 1.166 martin kmutex_t *lock = rpipe->pipe_lock;
417 1.166 martin int error;
418 1.166 martin size_t nread = 0;
419 1.166 martin size_t size;
420 1.166 martin size_t ocnt;
421 1.166 martin unsigned int wakeup_state = 0;
422 1.1 jdolecek
423 1.161 ad /*
424 1.161 ad * Try to avoid locking the pipe if we have nothing to do.
425 1.161 ad *
426 1.161 ad * There are programs which share one pipe amongst multiple processes
427 1.161 ad * and perform non-blocking reads in parallel, even if the pipe is
428 1.161 ad * empty. This in particular is the case with BSD make, which when
429 1.161 ad * spawned with a high -j number can find itself with over half of the
430 1.161 ad * calls failing to find anything.
431 1.161 ad */
432 1.161 ad if ((fp->f_flag & FNONBLOCK) != 0) {
433 1.161 ad if (__predict_false(uio->uio_resid == 0))
434 1.166 martin return (0);
435 1.161 ad if (atomic_load_relaxed(&bp->cnt) == 0 &&
436 1.166 martin (atomic_load_relaxed(&rpipe->pipe_state) & PIPE_EOF) == 0)
437 1.166 martin return (EAGAIN);
438 1.161 ad }
439 1.161 ad
440 1.95 ad mutex_enter(lock);
441 1.166 martin ++rpipe->pipe_busy;
442 1.35 pk ocnt = bp->cnt;
443 1.28 jdolecek
444 1.166 martin again:
445 1.166 martin error = pipelock(rpipe, true);
446 1.166 martin if (error)
447 1.166 martin goto unlocked_error;
448 1.166 martin
449 1.1 jdolecek while (uio->uio_resid) {
450 1.1 jdolecek /*
451 1.113 rmind * Normal pipe buffer receive.
452 1.1 jdolecek */
453 1.35 pk if (bp->cnt > 0) {
454 1.35 pk size = bp->size - bp->out;
455 1.35 pk if (size > bp->cnt)
456 1.35 pk size = bp->cnt;
457 1.2 jdolecek if (size > uio->uio_resid)
458 1.2 jdolecek size = uio->uio_resid;
459 1.1 jdolecek
460 1.95 ad mutex_exit(lock);
461 1.79 christos error = uiomove((char *)bp->buffer + bp->out, size, uio);
462 1.95 ad mutex_enter(lock);
463 1.1 jdolecek if (error)
464 1.1 jdolecek break;
465 1.1 jdolecek
466 1.35 pk bp->out += size;
467 1.35 pk if (bp->out >= bp->size)
468 1.35 pk bp->out = 0;
469 1.166 martin
470 1.35 pk bp->cnt -= size;
471 1.1 jdolecek
472 1.1 jdolecek /*
473 1.1 jdolecek * If there is no more to read in the pipe, reset
474 1.1 jdolecek * its pointers to the beginning. This improves
475 1.1 jdolecek * cache hit stats.
476 1.1 jdolecek */
477 1.35 pk if (bp->cnt == 0) {
478 1.35 pk bp->in = 0;
479 1.35 pk bp->out = 0;
480 1.1 jdolecek }
481 1.1 jdolecek nread += size;
482 1.85 ad continue;
483 1.85 ad }
484 1.85 ad
485 1.85 ad /*
486 1.85 ad * Break if some data was read.
487 1.85 ad */
488 1.90 ad if (nread > 0)
489 1.85 ad break;
490 1.1 jdolecek
491 1.85 ad /*
492 1.113 rmind * Detect EOF condition.
493 1.113 rmind * Read returns 0 on EOF, no need to set error.
494 1.172 riastrad *
495 1.172 riastrad * XXX Why rpipe->pipe_state and not wpipe->pipe_state?
496 1.172 riastrad * XXX Distinguish reader-closed from writer-closed?
497 1.85 ad */
498 1.166 martin if (rpipe->pipe_state & PIPE_EOF)
499 1.85 ad break;
500 1.36 pk
501 1.85 ad /*
502 1.113 rmind * Don't block on non-blocking I/O.
503 1.85 ad */
504 1.166 martin if (fp->f_flag & FNONBLOCK) {
505 1.85 ad error = EAGAIN;
506 1.85 ad break;
507 1.85 ad }
508 1.1 jdolecek
509 1.85 ad /*
510 1.166 martin * Unlock the pipe buffer for our remaining processing.
511 1.166 martin * We will either break out with an error or we will
512 1.166 martin * sleep and relock to loop.
513 1.166 martin */
514 1.166 martin pipeunlock(rpipe);
515 1.166 martin
516 1.166 martin /*
517 1.166 martin * We want to read more, wake up select/poll.
518 1.166 martin */
519 1.166 martin pipeselwakeup(rpipe, rpipe->pipe_peer, POLL_OUT);
520 1.166 martin
521 1.166 martin /*
522 1.166 martin * If the "write-side" is blocked, wake it up now.
523 1.85 ad */
524 1.172 riastrad wpipe = rpipe->pipe_peer;
525 1.172 riastrad cv_broadcast(&wpipe->pipe_wcv);
526 1.166 martin
527 1.166 martin if (wakeup_state & PIPE_RESTART) {
528 1.166 martin error = ERESTART;
529 1.166 martin goto unlocked_error;
530 1.166 martin }
531 1.166 martin
532 1.166 martin /* Now wait until the pipe is filled */
533 1.166 martin error = cv_wait_sig(&rpipe->pipe_rcv, lock);
534 1.166 martin if (error != 0)
535 1.166 martin goto unlocked_error;
536 1.166 martin wakeup_state = rpipe->pipe_state;
537 1.166 martin goto again;
538 1.1 jdolecek }
539 1.35 pk
540 1.35 pk if (error == 0)
541 1.166 martin getnanotime(&rpipe->pipe_atime);
542 1.166 martin pipeunlock(rpipe);
543 1.166 martin
544 1.166 martin unlocked_error:
545 1.166 martin --rpipe->pipe_busy;
546 1.166 martin if (rpipe->pipe_busy == 0) {
547 1.166 martin rpipe->pipe_state &= ~PIPE_RESTART;
548 1.166 martin cv_broadcast(&rpipe->pipe_draincv);
549 1.166 martin }
550 1.166 martin if (bp->cnt < MINPIPESIZE) {
551 1.172 riastrad if ((wpipe = rpipe->pipe_peer) != NULL)
552 1.172 riastrad cv_broadcast(&wpipe->pipe_wcv);
553 1.166 martin }
554 1.1 jdolecek
555 1.2 jdolecek /*
556 1.2 jdolecek * If anything was read off the buffer, signal to the writer it's
557 1.2 jdolecek * possible to write more data. Also send signal if we are here for the
558 1.2 jdolecek * first time after last write.
559 1.2 jdolecek */
560 1.166 martin if ((bp->size - bp->cnt) >= PIPE_BUF
561 1.166 martin && (ocnt != bp->cnt || (rpipe->pipe_state & PIPE_SIGNALR))) {
562 1.166 martin pipeselwakeup(rpipe, rpipe->pipe_peer, POLL_OUT);
563 1.166 martin rpipe->pipe_state &= ~PIPE_SIGNALR;
564 1.2 jdolecek }
565 1.1 jdolecek
566 1.95 ad mutex_exit(lock);
567 1.166 martin return (error);
568 1.1 jdolecek }
569 1.1 jdolecek
570 1.2 jdolecek static int
571 1.113 rmind pipe_write(file_t *fp, off_t *offset, struct uio *uio, kauth_cred_t cred,
572 1.77 yamt int flags)
573 1.1 jdolecek {
574 1.166 martin struct pipe *wpipe, *rpipe;
575 1.166 martin struct pipebuf *bp;
576 1.166 martin kmutex_t *lock;
577 1.35 pk int error;
578 1.166 martin unsigned int wakeup_state = 0;
579 1.166 martin
580 1.166 martin /* We want to write to our peer */
581 1.169 riastrad wpipe = fp->f_pipe;
582 1.169 riastrad lock = wpipe->pipe_lock;
583 1.166 martin error = 0;
584 1.166 martin
585 1.166 martin mutex_enter(lock);
586 1.169 riastrad rpipe = wpipe->pipe_peer;
587 1.166 martin
588 1.166 martin /*
589 1.166 martin * Detect loss of pipe read side, issue SIGPIPE if lost.
590 1.166 martin */
591 1.169 riastrad if (rpipe == NULL || (rpipe->pipe_state & PIPE_EOF) != 0) {
592 1.166 martin mutex_exit(lock);
593 1.166 martin return EPIPE;
594 1.166 martin }
595 1.172 riastrad ++wpipe->pipe_busy;
596 1.166 martin
597 1.166 martin /* Acquire the long-term pipe lock */
598 1.169 riastrad if ((error = pipelock(rpipe, true)) != 0) {
599 1.172 riastrad --wpipe->pipe_busy;
600 1.172 riastrad if (wpipe->pipe_busy == 0) {
601 1.172 riastrad wpipe->pipe_state &= ~PIPE_RESTART;
602 1.172 riastrad cv_broadcast(&wpipe->pipe_draincv);
603 1.166 martin }
604 1.166 martin mutex_exit(lock);
605 1.166 martin return (error);
606 1.166 martin }
607 1.166 martin
608 1.169 riastrad bp = &rpipe->pipe_buffer;
609 1.35 pk
610 1.1 jdolecek /*
611 1.35 pk * If it is advantageous to resize the pipe buffer, do so.
612 1.1 jdolecek */
613 1.166 martin if ((uio->uio_resid > PIPE_SIZE) &&
614 1.166 martin (nbigpipe < maxbigpipes) &&
615 1.166 martin (bp->size <= PIPE_SIZE) && (bp->cnt == 0)) {
616 1.166 martin
617 1.169 riastrad if (pipespace(rpipe, BIG_PIPE_SIZE) == 0)
618 1.90 ad atomic_inc_uint(&nbigpipe);
619 1.24 jdolecek }
620 1.1 jdolecek
621 1.166 martin while (uio->uio_resid) {
622 1.166 martin size_t space;
623 1.166 martin
624 1.166 martin space = bp->size - bp->cnt;
625 1.1 jdolecek
626 1.165 ad /* Writes of size <= PIPE_BUF must be atomic. */
627 1.166 martin if ((space < uio->uio_resid) && (uio->uio_resid <= PIPE_BUF))
628 1.1 jdolecek space = 0;
629 1.1 jdolecek
630 1.16 mycroft if (space > 0) {
631 1.2 jdolecek int size; /* Transfer size */
632 1.2 jdolecek int segsize; /* first segment to transfer */
633 1.2 jdolecek
634 1.2 jdolecek /*
635 1.2 jdolecek * Transfer size is minimum of uio transfer
636 1.2 jdolecek * and free space in pipe buffer.
637 1.2 jdolecek */
638 1.2 jdolecek if (space > uio->uio_resid)
639 1.2 jdolecek size = uio->uio_resid;
640 1.2 jdolecek else
641 1.2 jdolecek size = space;
642 1.2 jdolecek /*
643 1.63 perry * First segment to transfer is minimum of
644 1.2 jdolecek * transfer size and contiguous space in
645 1.2 jdolecek * pipe buffer. If first segment to transfer
646 1.2 jdolecek * is less than the transfer size, we've got
647 1.2 jdolecek * a wraparound in the buffer.
648 1.2 jdolecek */
649 1.35 pk segsize = bp->size - bp->in;
650 1.2 jdolecek if (segsize > size)
651 1.2 jdolecek segsize = size;
652 1.18 chs
653 1.2 jdolecek /* Transfer first segment */
654 1.95 ad mutex_exit(lock);
655 1.79 christos error = uiomove((char *)bp->buffer + bp->in, segsize,
656 1.79 christos uio);
657 1.18 chs
658 1.2 jdolecek if (error == 0 && segsize < size) {
659 1.63 perry /*
660 1.2 jdolecek * Transfer remaining part now, to
661 1.2 jdolecek * support atomic writes. Wraparound
662 1.2 jdolecek * happened.
663 1.2 jdolecek */
664 1.113 rmind KASSERT(bp->in + segsize == bp->size);
665 1.79 christos error = uiomove(bp->buffer,
666 1.79 christos size - segsize, uio);
667 1.2 jdolecek }
668 1.95 ad mutex_enter(lock);
669 1.35 pk if (error)
670 1.35 pk break;
671 1.35 pk
672 1.35 pk bp->in += size;
673 1.35 pk if (bp->in >= bp->size) {
674 1.113 rmind KASSERT(bp->in == size - segsize + bp->size);
675 1.35 pk bp->in = size - segsize;
676 1.35 pk }
677 1.18 chs
678 1.35 pk bp->cnt += size;
679 1.113 rmind KASSERT(bp->cnt <= bp->size);
680 1.166 martin wakeup_state = 0;
681 1.166 martin } else {
682 1.166 martin /*
683 1.166 martin * If the "read-side" has been blocked, wake it up now.
684 1.166 martin */
685 1.169 riastrad cv_broadcast(&rpipe->pipe_rcv);
686 1.166 martin
687 1.166 martin /*
688 1.166 martin * Don't block on non-blocking I/O.
689 1.166 martin */
690 1.166 martin if (fp->f_flag & FNONBLOCK) {
691 1.166 martin error = EAGAIN;
692 1.166 martin break;
693 1.166 martin }
694 1.166 martin
695 1.166 martin /*
696 1.166 martin * We have no more space and have something to offer,
697 1.166 martin * wake up select/poll.
698 1.166 martin */
699 1.166 martin if (bp->cnt)
700 1.169 riastrad pipeselwakeup(rpipe, rpipe, POLL_IN);
701 1.166 martin
702 1.166 martin if (wakeup_state & PIPE_RESTART) {
703 1.166 martin error = ERESTART;
704 1.166 martin break;
705 1.166 martin }
706 1.166 martin
707 1.166 martin /*
708 1.166 martin * If read side wants to go away, we just issue a signal
709 1.166 martin * to ourselves.
710 1.172 riastrad *
711 1.172 riastrad * XXX Shouldn't this happen before we uiomove anything?
712 1.172 riastrad *
713 1.172 riastrad * XXX Why rpipe->pipe_state and not wpipe->pipe_state?
714 1.172 riastrad * XXX Distinguish reader-closed from writer-closed?
715 1.166 martin */
716 1.169 riastrad if (rpipe->pipe_state & PIPE_EOF) {
717 1.166 martin error = EPIPE;
718 1.166 martin break;
719 1.166 martin }
720 1.1 jdolecek
721 1.169 riastrad pipeunlock(rpipe);
722 1.172 riastrad error = cv_wait_sig(&wpipe->pipe_wcv, lock);
723 1.169 riastrad (void)pipelock(rpipe, false);
724 1.166 martin if (error != 0)
725 1.166 martin break;
726 1.172 riastrad wakeup_state = wpipe->pipe_state;
727 1.1 jdolecek }
728 1.166 martin }
729 1.1 jdolecek
730 1.172 riastrad --wpipe->pipe_busy;
731 1.172 riastrad if (wpipe->pipe_busy == 0) {
732 1.172 riastrad wpipe->pipe_state &= ~PIPE_RESTART;
733 1.172 riastrad cv_broadcast(&wpipe->pipe_draincv);
734 1.166 martin }
735 1.166 martin if (bp->cnt > 0) {
736 1.169 riastrad cv_broadcast(&rpipe->pipe_rcv);
737 1.1 jdolecek }
738 1.1 jdolecek
739 1.1 jdolecek /*
740 1.1 jdolecek * Don't return EPIPE if I/O was successful
741 1.172 riastrad *
742 1.172 riastrad * XXX Shouldn't we avoid returning _any_ error if we
743 1.172 riastrad * transmitted _any_ positive number of bytes? Or does that
744 1.172 riastrad * happen downstream of here, and if so, why do we need to do
745 1.172 riastrad * that here?
746 1.1 jdolecek */
747 1.166 martin if (error == EPIPE && bp->cnt == 0 && uio->uio_resid == 0)
748 1.1 jdolecek error = 0;
749 1.1 jdolecek
750 1.1 jdolecek if (error == 0)
751 1.169 riastrad getnanotime(&rpipe->pipe_mtime);
752 1.165 ad
753 1.165 ad /*
754 1.166 martin * We have something to offer, wake up select/poll.
755 1.165 ad */
756 1.166 martin if (bp->cnt)
757 1.169 riastrad pipeselwakeup(rpipe, rpipe, POLL_IN);
758 1.1 jdolecek
759 1.1 jdolecek /*
760 1.166 martin * Arrange for next read(2) to do a signal.
761 1.1 jdolecek */
762 1.169 riastrad rpipe->pipe_state |= PIPE_SIGNALR;
763 1.1 jdolecek
764 1.169 riastrad pipeunlock(rpipe);
765 1.165 ad mutex_exit(lock);
766 1.166 martin return (error);
767 1.1 jdolecek }
768 1.1 jdolecek
769 1.1 jdolecek /*
770 1.113 rmind * We implement a very minimal set of ioctls for compatibility with sockets.
771 1.1 jdolecek */
772 1.1 jdolecek int
773 1.113 rmind pipe_ioctl(file_t *fp, u_long cmd, void *data)
774 1.1 jdolecek {
775 1.140 matt struct pipe *pipe = fp->f_pipe;
776 1.95 ad kmutex_t *lock = pipe->pipe_lock;
777 1.1 jdolecek
778 1.1 jdolecek switch (cmd) {
779 1.166 martin
780 1.1 jdolecek case FIONBIO:
781 1.166 martin return (0);
782 1.1 jdolecek
783 1.1 jdolecek case FIOASYNC:
784 1.95 ad mutex_enter(lock);
785 1.166 martin if (*(int *)data) {
786 1.166 martin pipe->pipe_state |= PIPE_ASYNC;
787 1.166 martin } else {
788 1.166 martin pipe->pipe_state &= ~PIPE_ASYNC;
789 1.166 martin }
790 1.95 ad mutex_exit(lock);
791 1.166 martin return (0);
792 1.1 jdolecek
793 1.1 jdolecek case FIONREAD:
794 1.166 martin mutex_enter(lock);
795 1.166 martin *(int *)data = pipe->pipe_buffer.cnt;
796 1.166 martin mutex_exit(lock);
797 1.166 martin return (0);
798 1.1 jdolecek
799 1.59 wrstuden case FIONWRITE:
800 1.166 martin /* Look at other side */
801 1.166 martin mutex_enter(lock);
802 1.166 martin pipe = pipe->pipe_peer;
803 1.166 martin if (pipe == NULL)
804 1.166 martin *(int *)data = 0;
805 1.165 ad else
806 1.166 martin *(int *)data = pipe->pipe_buffer.cnt;
807 1.166 martin mutex_exit(lock);
808 1.59 wrstuden return (0);
809 1.59 wrstuden
810 1.59 wrstuden case FIONSPACE:
811 1.166 martin /* Look at other side */
812 1.166 martin mutex_enter(lock);
813 1.166 martin pipe = pipe->pipe_peer;
814 1.166 martin if (pipe == NULL)
815 1.166 martin *(int *)data = 0;
816 1.166 martin else
817 1.59 wrstuden *(int *)data = pipe->pipe_buffer.size -
818 1.82 ad pipe->pipe_buffer.cnt;
819 1.166 martin mutex_exit(lock);
820 1.59 wrstuden return (0);
821 1.59 wrstuden
822 1.2 jdolecek case TIOCSPGRP:
823 1.43 jdolecek case FIOSETOWN:
824 1.166 martin return fsetown(&pipe->pipe_pgid, cmd, data);
825 1.2 jdolecek
826 1.2 jdolecek case TIOCGPGRP:
827 1.43 jdolecek case FIOGETOWN:
828 1.166 martin return fgetown(pipe->pipe_pgid, cmd, data);
829 1.1 jdolecek
830 1.1 jdolecek }
831 1.166 martin return (EPASSTHROUGH);
832 1.1 jdolecek }
833 1.1 jdolecek
834 1.1 jdolecek int
835 1.113 rmind pipe_poll(file_t *fp, int events)
836 1.1 jdolecek {
837 1.169 riastrad struct pipe *pipe = fp->f_pipe;
838 1.169 riastrad struct pipe *ppipe;
839 1.166 martin int eof = 0;
840 1.1 jdolecek int revents = 0;
841 1.1 jdolecek
842 1.169 riastrad mutex_enter(pipe->pipe_lock);
843 1.169 riastrad ppipe = pipe->pipe_peer;
844 1.166 martin
845 1.166 martin if (events & (POLLIN | POLLRDNORM))
846 1.169 riastrad if ((pipe->pipe_buffer.cnt > 0) ||
847 1.169 riastrad (pipe->pipe_state & PIPE_EOF))
848 1.166 martin revents |= events & (POLLIN | POLLRDNORM);
849 1.166 martin
850 1.169 riastrad eof |= (pipe->pipe_state & PIPE_EOF);
851 1.35 pk
852 1.169 riastrad if (ppipe == NULL)
853 1.166 martin revents |= events & (POLLOUT | POLLWRNORM);
854 1.166 martin else {
855 1.166 martin if (events & (POLLOUT | POLLWRNORM))
856 1.169 riastrad if ((ppipe->pipe_state & PIPE_EOF) || (
857 1.169 riastrad (ppipe->pipe_buffer.size - ppipe->pipe_buffer.cnt) >= PIPE_BUF))
858 1.166 martin revents |= events & (POLLOUT | POLLWRNORM);
859 1.1 jdolecek
860 1.169 riastrad eof |= (ppipe->pipe_state & PIPE_EOF);
861 1.35 pk }
862 1.35 pk
863 1.169 riastrad if (ppipe == NULL || eof)
864 1.1 jdolecek revents |= POLLHUP;
865 1.1 jdolecek
866 1.166 martin if (revents == 0) {
867 1.166 martin if (events & (POLLIN | POLLRDNORM))
868 1.169 riastrad selrecord(curlwp, &pipe->pipe_sel);
869 1.166 martin
870 1.166 martin if (events & (POLLOUT | POLLWRNORM))
871 1.169 riastrad selrecord(curlwp, &ppipe->pipe_sel);
872 1.166 martin }
873 1.169 riastrad mutex_exit(pipe->pipe_lock);
874 1.1 jdolecek
875 1.166 martin return (revents);
876 1.1 jdolecek }
877 1.1 jdolecek
878 1.1 jdolecek static int
879 1.113 rmind pipe_stat(file_t *fp, struct stat *ub)
880 1.1 jdolecek {
881 1.140 matt struct pipe *pipe = fp->f_pipe;
882 1.1 jdolecek
883 1.166 martin mutex_enter(pipe->pipe_lock);
884 1.110 christos memset(ub, 0, sizeof(*ub));
885 1.32 jdolecek ub->st_mode = S_IFIFO | S_IRUSR | S_IWUSR;
886 1.1 jdolecek ub->st_blksize = pipe->pipe_buffer.size;
887 1.166 martin if (ub->st_blksize == 0 && pipe->pipe_peer)
888 1.166 martin ub->st_blksize = pipe->pipe_peer->pipe_buffer.size;
889 1.1 jdolecek ub->st_size = pipe->pipe_buffer.cnt;
890 1.2 jdolecek ub->st_blocks = (ub->st_size) ? 1 : 0;
891 1.110 christos ub->st_atimespec = pipe->pipe_atime;
892 1.110 christos ub->st_mtimespec = pipe->pipe_mtime;
893 1.166 martin ub->st_ctimespec = ub->st_birthtimespec = pipe->pipe_btime;
894 1.72 elad ub->st_uid = kauth_cred_geteuid(fp->f_cred);
895 1.72 elad ub->st_gid = kauth_cred_getegid(fp->f_cred);
896 1.82 ad
897 1.1 jdolecek /*
898 1.1 jdolecek * Left as 0: st_dev, st_ino, st_nlink, st_rdev, st_flags, st_gen.
899 1.1 jdolecek * XXX (st_dev, st_ino) should be unique.
900 1.1 jdolecek */
901 1.166 martin mutex_exit(pipe->pipe_lock);
902 1.112 christos return 0;
903 1.1 jdolecek }
904 1.1 jdolecek
905 1.1 jdolecek static int
906 1.113 rmind pipe_close(file_t *fp)
907 1.1 jdolecek {
908 1.140 matt struct pipe *pipe = fp->f_pipe;
909 1.1 jdolecek
910 1.140 matt fp->f_pipe = NULL;
911 1.166 martin pipeclose(pipe);
912 1.166 martin return (0);
913 1.1 jdolecek }
914 1.1 jdolecek
915 1.1 jdolecek static void
916 1.127 dsl pipe_restart(file_t *fp)
917 1.123 dsl {
918 1.140 matt struct pipe *pipe = fp->f_pipe;
919 1.123 dsl
920 1.124 dsl /*
921 1.124 dsl * Unblock blocked reads/writes in order to allow close() to complete.
922 1.127 dsl * System calls return ERESTART so that the fd is revalidated.
923 1.127 dsl * (Partial writes return the transfer length.)
924 1.124 dsl */
925 1.166 martin mutex_enter(pipe->pipe_lock);
926 1.172 riastrad pipe->pipe_state |= PIPE_RESTART;
927 1.172 riastrad /*
928 1.172 riastrad * At most one of these is in use at any time, depending on
929 1.172 riastrad * whether fp->f_flag has FREAD or FWRITE set, but there's no
930 1.172 riastrad * harm in waking both here.
931 1.172 riastrad */
932 1.172 riastrad cv_broadcast(&pipe->pipe_rcv);
933 1.172 riastrad cv_broadcast(&pipe->pipe_wcv);
934 1.166 martin mutex_exit(pipe->pipe_lock);
935 1.123 dsl }
936 1.123 dsl
937 1.159 riastrad static int
938 1.159 riastrad pipe_fpathconf(struct file *fp, int name, register_t *retval)
939 1.159 riastrad {
940 1.159 riastrad
941 1.159 riastrad switch (name) {
942 1.159 riastrad case _PC_PIPE_BUF:
943 1.159 riastrad *retval = PIPE_BUF;
944 1.159 riastrad return 0;
945 1.159 riastrad default:
946 1.159 riastrad return EINVAL;
947 1.159 riastrad }
948 1.159 riastrad }
949 1.159 riastrad
950 1.160 riastrad static int
951 1.160 riastrad pipe_posix_fadvise(struct file *fp, off_t offset, off_t len, int advice)
952 1.160 riastrad {
953 1.160 riastrad
954 1.160 riastrad return ESPIPE;
955 1.160 riastrad }
956 1.160 riastrad
957 1.123 dsl static void
958 1.166 martin pipe_free_kmem(struct pipe *pipe)
959 1.166 martin {
960 1.166 martin
961 1.166 martin if (pipe->pipe_buffer.buffer != NULL) {
962 1.166 martin if (pipe->pipe_buffer.size > PIPE_SIZE) {
963 1.166 martin atomic_dec_uint(&nbigpipe);
964 1.166 martin }
965 1.166 martin if (pipe->pipe_buffer.buffer != (void *)pipe->pipe_kmem) {
966 1.166 martin uvm_km_free(kernel_map,
967 1.166 martin (vaddr_t)pipe->pipe_buffer.buffer,
968 1.166 martin pipe->pipe_buffer.size, UVM_KMF_PAGEABLE);
969 1.166 martin atomic_add_int(&amountpipekva,
970 1.166 martin -pipe->pipe_buffer.size);
971 1.166 martin }
972 1.166 martin pipe->pipe_buffer.buffer = NULL;
973 1.166 martin }
974 1.166 martin }
975 1.166 martin
976 1.166 martin /*
977 1.166 martin * Shutdown the pipe.
978 1.166 martin */
979 1.166 martin static void
980 1.166 martin pipeclose(struct pipe *pipe)
981 1.166 martin {
982 1.166 martin kmutex_t *lock;
983 1.166 martin struct pipe *ppipe;
984 1.166 martin
985 1.166 martin KASSERT(cv_is_valid(&pipe->pipe_rcv));
986 1.166 martin KASSERT(cv_is_valid(&pipe->pipe_wcv));
987 1.166 martin KASSERT(cv_is_valid(&pipe->pipe_draincv));
988 1.166 martin KASSERT(cv_is_valid(&pipe->pipe_lkcv));
989 1.166 martin
990 1.166 martin lock = pipe->pipe_lock;
991 1.170 riastrad KASSERT(lock != NULL);
992 1.166 martin
993 1.166 martin mutex_enter(lock);
994 1.166 martin pipeselwakeup(pipe, pipe, POLL_HUP);
995 1.166 martin
996 1.166 martin /*
997 1.172 riastrad * fd_close has issued .fo_restart to wake all waiters on this
998 1.172 riastrad * side of the pipe, blocked new references, and waited for all
999 1.172 riastrad * references to drain, so it should not be possible for there
1000 1.172 riastrad * to be any waiters remaining. (Only one of the condvars was
1001 1.172 riastrad * ever in use anyway depending on whether this is the reader
1002 1.172 riastrad * side or the writer side of the pipe.)
1003 1.166 martin */
1004 1.172 riastrad KASSERT(!cv_has_waiters(&pipe->pipe_rcv));
1005 1.172 riastrad KASSERT(!cv_has_waiters(&pipe->pipe_wcv));
1006 1.166 martin
1007 1.166 martin /*
1008 1.172 riastrad * If the other side is busy, wake it up saying that
1009 1.172 riastrad * we want to close it down, which will prevent peers
1010 1.172 riastrad * from starting new I/O. Once it is no longer busy,
1011 1.172 riastrad * disconnect it.
1012 1.166 martin */
1013 1.172 riastrad pipe->pipe_state |= PIPE_EOF;
1014 1.166 martin if ((ppipe = pipe->pipe_peer) != NULL) {
1015 1.166 martin pipeselwakeup(ppipe, ppipe, POLL_HUP);
1016 1.166 martin ppipe->pipe_state |= PIPE_EOF;
1017 1.172 riastrad if (ppipe->pipe_busy) {
1018 1.172 riastrad cv_broadcast(&ppipe->pipe_rcv);
1019 1.172 riastrad cv_broadcast(&ppipe->pipe_wcv);
1020 1.172 riastrad while (ppipe->pipe_busy)
1021 1.172 riastrad cv_wait_sig(&ppipe->pipe_draincv, lock);
1022 1.172 riastrad }
1023 1.166 martin ppipe->pipe_peer = NULL;
1024 1.166 martin }
1025 1.166 martin
1026 1.166 martin /*
1027 1.166 martin * Any knote objects still left in the list are
1028 1.166 martin * the one attached by peer. Since no one will
1029 1.166 martin * traverse this list, we just clear it.
1030 1.166 martin *
1031 1.166 martin * XXX Exposes select/kqueue internals.
1032 1.166 martin */
1033 1.166 martin SLIST_INIT(&pipe->pipe_sel.sel_klist);
1034 1.166 martin
1035 1.166 martin KASSERT((pipe->pipe_state & PIPE_LOCKFL) == 0);
1036 1.166 martin mutex_exit(lock);
1037 1.166 martin mutex_obj_free(lock);
1038 1.166 martin
1039 1.166 martin /*
1040 1.166 martin * Free resources.
1041 1.166 martin */
1042 1.170 riastrad pipefree(pipe);
1043 1.170 riastrad }
1044 1.170 riastrad
1045 1.170 riastrad static void
1046 1.170 riastrad pipefree(struct pipe *pipe)
1047 1.170 riastrad {
1048 1.170 riastrad
1049 1.166 martin pipe->pipe_pgid = 0;
1050 1.166 martin pipe->pipe_state = PIPE_SIGNALR;
1051 1.166 martin pipe->pipe_peer = NULL;
1052 1.166 martin pipe->pipe_lock = NULL;
1053 1.166 martin pipe_free_kmem(pipe);
1054 1.166 martin if (pipe->pipe_kmem != 0) {
1055 1.166 martin pool_cache_put(pipe_rd_cache, pipe);
1056 1.166 martin } else {
1057 1.166 martin pool_cache_put(pipe_wr_cache, pipe);
1058 1.166 martin }
1059 1.166 martin }
1060 1.166 martin
1061 1.166 martin static void
1062 1.27 jdolecek filt_pipedetach(struct knote *kn)
1063 1.1 jdolecek {
1064 1.166 martin struct pipe *pipe;
1065 1.166 martin kmutex_t *lock;
1066 1.166 martin
1067 1.166 martin pipe = ((file_t *)kn->kn_obj)->f_pipe;
1068 1.166 martin lock = pipe->pipe_lock;
1069 1.1 jdolecek
1070 1.92 ad mutex_enter(lock);
1071 1.82 ad
1072 1.166 martin switch(kn->kn_filter) {
1073 1.166 martin case EVFILT_WRITE:
1074 1.166 martin /* Need the peer structure, not our own. */
1075 1.166 martin pipe = pipe->pipe_peer;
1076 1.166 martin
1077 1.166 martin /* If reader end already closed, just return. */
1078 1.166 martin if (pipe == NULL) {
1079 1.166 martin mutex_exit(lock);
1080 1.166 martin return;
1081 1.166 martin }
1082 1.166 martin
1083 1.166 martin break;
1084 1.166 martin default:
1085 1.166 martin /* Nothing to do. */
1086 1.166 martin break;
1087 1.166 martin }
1088 1.166 martin
1089 1.113 rmind KASSERT(kn->kn_hook == pipe);
1090 1.166 martin selremove_knote(&pipe->pipe_sel, kn);
1091 1.92 ad mutex_exit(lock);
1092 1.1 jdolecek }
1093 1.1 jdolecek
1094 1.1 jdolecek static int
1095 1.1 jdolecek filt_piperead(struct knote *kn, long hint)
1096 1.1 jdolecek {
1097 1.169 riastrad struct pipe *pipe = ((file_t *)kn->kn_obj)->f_pipe;
1098 1.169 riastrad struct pipe *ppipe;
1099 1.156 thorpej int rv;
1100 1.82 ad
1101 1.83 ad if ((hint & NOTE_SUBMIT) == 0) {
1102 1.169 riastrad mutex_enter(pipe->pipe_lock);
1103 1.83 ad }
1104 1.169 riastrad ppipe = pipe->pipe_peer;
1105 1.169 riastrad kn->kn_data = pipe->pipe_buffer.cnt;
1106 1.1 jdolecek
1107 1.169 riastrad if ((pipe->pipe_state & PIPE_EOF) ||
1108 1.169 riastrad (ppipe == NULL) || (ppipe->pipe_state & PIPE_EOF)) {
1109 1.158 thorpej knote_set_eof(kn, 0);
1110 1.156 thorpej rv = 1;
1111 1.156 thorpej } else {
1112 1.156 thorpej rv = kn->kn_data > 0;
1113 1.1 jdolecek }
1114 1.83 ad
1115 1.83 ad if ((hint & NOTE_SUBMIT) == 0) {
1116 1.169 riastrad mutex_exit(pipe->pipe_lock);
1117 1.83 ad }
1118 1.156 thorpej return rv;
1119 1.1 jdolecek }
1120 1.1 jdolecek
1121 1.1 jdolecek static int
1122 1.1 jdolecek filt_pipewrite(struct knote *kn, long hint)
1123 1.1 jdolecek {
1124 1.169 riastrad struct pipe *pipe = ((file_t *)kn->kn_obj)->f_pipe;
1125 1.169 riastrad struct pipe *ppipe;
1126 1.156 thorpej int rv;
1127 1.82 ad
1128 1.83 ad if ((hint & NOTE_SUBMIT) == 0) {
1129 1.169 riastrad mutex_enter(pipe->pipe_lock);
1130 1.83 ad }
1131 1.169 riastrad ppipe = pipe->pipe_peer;
1132 1.1 jdolecek
1133 1.169 riastrad if ((ppipe == NULL) || (ppipe->pipe_state & PIPE_EOF)) {
1134 1.1 jdolecek kn->kn_data = 0;
1135 1.158 thorpej knote_set_eof(kn, 0);
1136 1.156 thorpej rv = 1;
1137 1.166 martin } else {
1138 1.169 riastrad kn->kn_data = ppipe->pipe_buffer.size - ppipe->pipe_buffer.cnt;
1139 1.165 ad rv = kn->kn_data >= PIPE_BUF;
1140 1.1 jdolecek }
1141 1.1 jdolecek
1142 1.83 ad if ((hint & NOTE_SUBMIT) == 0) {
1143 1.169 riastrad mutex_exit(pipe->pipe_lock);
1144 1.83 ad }
1145 1.156 thorpej return rv;
1146 1.1 jdolecek }
1147 1.27 jdolecek
1148 1.141 maya static const struct filterops pipe_rfiltops = {
1149 1.155 thorpej .f_flags = FILTEROP_ISFD | FILTEROP_MPSAFE,
1150 1.141 maya .f_attach = NULL,
1151 1.141 maya .f_detach = filt_pipedetach,
1152 1.141 maya .f_event = filt_piperead,
1153 1.141 maya };
1154 1.141 maya
1155 1.141 maya static const struct filterops pipe_wfiltops = {
1156 1.155 thorpej .f_flags = FILTEROP_ISFD | FILTEROP_MPSAFE,
1157 1.141 maya .f_attach = NULL,
1158 1.141 maya .f_detach = filt_pipedetach,
1159 1.141 maya .f_event = filt_pipewrite,
1160 1.141 maya };
1161 1.27 jdolecek
1162 1.27 jdolecek static int
1163 1.113 rmind pipe_kqfilter(file_t *fp, struct knote *kn)
1164 1.27 jdolecek {
1165 1.166 martin struct pipe *pipe;
1166 1.166 martin kmutex_t *lock;
1167 1.166 martin
1168 1.166 martin pipe = ((file_t *)kn->kn_obj)->f_pipe;
1169 1.166 martin lock = pipe->pipe_lock;
1170 1.166 martin
1171 1.166 martin mutex_enter(lock);
1172 1.82 ad
1173 1.27 jdolecek switch (kn->kn_filter) {
1174 1.27 jdolecek case EVFILT_READ:
1175 1.27 jdolecek kn->kn_fop = &pipe_rfiltops;
1176 1.27 jdolecek break;
1177 1.27 jdolecek case EVFILT_WRITE:
1178 1.27 jdolecek kn->kn_fop = &pipe_wfiltops;
1179 1.166 martin pipe = pipe->pipe_peer;
1180 1.166 martin if (pipe == NULL) {
1181 1.113 rmind /* Other end of pipe has been closed. */
1182 1.92 ad mutex_exit(lock);
1183 1.166 martin return (EBADF);
1184 1.27 jdolecek }
1185 1.27 jdolecek break;
1186 1.27 jdolecek default:
1187 1.166 martin mutex_exit(lock);
1188 1.166 martin return (EINVAL);
1189 1.27 jdolecek }
1190 1.82 ad
1191 1.166 martin kn->kn_hook = pipe;
1192 1.166 martin selrecord_knote(&pipe->pipe_sel, kn);
1193 1.166 martin mutex_exit(lock);
1194 1.166 martin
1195 1.27 jdolecek return (0);
1196 1.27 jdolecek }
1197 1.2 jdolecek
1198 1.2 jdolecek /*
1199 1.2 jdolecek * Handle pipe sysctls.
1200 1.2 jdolecek */
1201 1.47 atatat SYSCTL_SETUP(sysctl_kern_pipe_setup, "sysctl kern.pipe subtree setup")
1202 1.47 atatat {
1203 1.47 atatat
1204 1.54 atatat sysctl_createv(clog, 0, NULL, NULL,
1205 1.54 atatat CTLFLAG_PERMANENT,
1206 1.56 atatat CTLTYPE_NODE, "pipe",
1207 1.56 atatat SYSCTL_DESCR("Pipe settings"),
1208 1.47 atatat NULL, 0, NULL, 0,
1209 1.47 atatat CTL_KERN, KERN_PIPE, CTL_EOL);
1210 1.47 atatat
1211 1.54 atatat sysctl_createv(clog, 0, NULL, NULL,
1212 1.54 atatat CTLFLAG_PERMANENT|CTLFLAG_READWRITE,
1213 1.56 atatat CTLTYPE_INT, "maxbigpipes",
1214 1.56 atatat SYSCTL_DESCR("Maximum number of \"big\" pipes"),
1215 1.47 atatat NULL, 0, &maxbigpipes, 0,
1216 1.47 atatat CTL_KERN, KERN_PIPE, KERN_PIPE_MAXBIGPIPES, CTL_EOL);
1217 1.54 atatat sysctl_createv(clog, 0, NULL, NULL,
1218 1.54 atatat CTLFLAG_PERMANENT,
1219 1.56 atatat CTLTYPE_INT, "nbigpipes",
1220 1.56 atatat SYSCTL_DESCR("Number of \"big\" pipes"),
1221 1.47 atatat NULL, 0, &nbigpipe, 0,
1222 1.47 atatat CTL_KERN, KERN_PIPE, KERN_PIPE_NBIGPIPES, CTL_EOL);
1223 1.54 atatat sysctl_createv(clog, 0, NULL, NULL,
1224 1.54 atatat CTLFLAG_PERMANENT,
1225 1.56 atatat CTLTYPE_INT, "kvasize",
1226 1.56 atatat SYSCTL_DESCR("Amount of kernel memory consumed by pipe "
1227 1.56 atatat "buffers"),
1228 1.47 atatat NULL, 0, &amountpipekva, 0,
1229 1.47 atatat CTL_KERN, KERN_PIPE, KERN_PIPE_KVASIZE, CTL_EOL);
1230 1.2 jdolecek }
1231