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