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