Source-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[src/trunk]: src/sys Fix a thundering herd problem in pipes.



details:   https://anonhg.NetBSD.org/src/rev/9a31ee1b1d05
branches:  trunk
changeset: 980169:9a31ee1b1d05
user:      dholland <dholland%NetBSD.org@localhost>
date:      Mon Jan 25 19:21:11 2021 +0000

description:
Fix a thundering herd problem in pipes.

Wake only one waiter when data becomes available, not all of them.
Waking them all is not a usual case, but turns up with make's job
token pipes. (Probably make's job signalling scheme should also be
revised, assuming rillig hasn't already done that, but that's a
separate issue.)

This change will not do us much good for the moment because we don't
distinguish cv_signal from cv_broadcast for interruptible sleeps, but
that's also a separate problem.

Seen on FreeBSD; from mjg at freebsd a couple months ago. Patch was
mine (iirc) but the real work in this sort of thing is discovering the
problem.

diffstat:

 sys/kern/sys_pipe.c |  19 ++++++++++++-------
 sys/sys/pipe.h      |   6 +++---
 2 files changed, 15 insertions(+), 10 deletions(-)

diffs (79 lines):

diff -r df9384463dd9 -r 9a31ee1b1d05 sys/kern/sys_pipe.c
--- a/sys/kern/sys_pipe.c       Mon Jan 25 19:10:57 2021 +0000
+++ b/sys/kern/sys_pipe.c       Mon Jan 25 19:21:11 2021 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: sys_pipe.c,v 1.151 2020/12/11 03:00:09 thorpej Exp $   */
+/*     $NetBSD: sys_pipe.c,v 1.152 2021/01/25 19:21:11 dholland Exp $  */
 
 /*-
  * Copyright (c) 2003, 2007, 2008, 2009 The NetBSD Foundation, Inc.
@@ -68,7 +68,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: sys_pipe.c,v 1.151 2020/12/11 03:00:09 thorpej Exp $");
+__KERNEL_RCSID(0, "$NetBSD: sys_pipe.c,v 1.152 2021/01/25 19:21:11 dholland Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -344,13 +344,19 @@
        KASSERT(mutex_owned(pipe->pipe_lock));
 
        while (pipe->pipe_state & PIPE_LOCKFL) {
-               pipe->pipe_state |= PIPE_LWANT;
+               pipe->pipe_waiters++;
+               KASSERT(pipe->pipe_waiters != 0); /* just in case */
                if (catch_p) {
                        error = cv_wait_sig(&pipe->pipe_lkcv, pipe->pipe_lock);
-                       if (error != 0)
+                       if (error != 0) {
+                               KASSERT(pipe->pipe_waiters > 0);
+                               pipe->pipe_waiters--;
                                return error;
+                       }
                } else
                        cv_wait(&pipe->pipe_lkcv, pipe->pipe_lock);
+               KASSERT(pipe->pipe_waiters > 0);
+               pipe->pipe_waiters--;
        }
 
        pipe->pipe_state |= PIPE_LOCKFL;
@@ -368,9 +374,8 @@
        KASSERT(pipe->pipe_state & PIPE_LOCKFL);
 
        pipe->pipe_state &= ~PIPE_LOCKFL;
-       if (pipe->pipe_state & PIPE_LWANT) {
-               pipe->pipe_state &= ~PIPE_LWANT;
-               cv_broadcast(&pipe->pipe_lkcv);
+       if (pipe->pipe_waiters > 0) {
+               cv_signal(&pipe->pipe_lkcv);
        }
 }
 
diff -r df9384463dd9 -r 9a31ee1b1d05 sys/sys/pipe.h
--- a/sys/sys/pipe.h    Mon Jan 25 19:10:57 2021 +0000
+++ b/sys/sys/pipe.h    Mon Jan 25 19:21:11 2021 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: pipe.h,v 1.37 2020/06/25 14:22:19 jdolecek Exp $ */
+/* $NetBSD: pipe.h,v 1.38 2021/01/25 19:21:11 dholland Exp $ */
 
 /*
  * Copyright (c) 1996 John S. Dyson
@@ -80,8 +80,7 @@
 #define PIPE_SIGNALR   0x020   /* Do selwakeup() on read(2) */
 #define        PIPE_LOCKFL     0x100   /* Process has exclusive access to
                                   pointers/data. */
-#define        PIPE_LWANT      0x200   /* Process wants exclusive access to
-                                  pointers/data. */
+/*     unused          0x200   */
 #define        PIPE_RESTART    0x400   /* Return ERESTART to blocked syscalls */
 
 /*
@@ -100,6 +99,7 @@
        struct  timespec pipe_mtime;    /* time of last modify */
        struct  timespec pipe_btime;    /* time of creation */
        pid_t   pipe_pgid;              /* process group for sigio */
+       u_int   pipe_waiters;           /* number of waiters pending */
        struct  pipe *pipe_peer;        /* link with other direction */
        u_int   pipe_state;             /* pipe status info */
        int     pipe_busy;              /* busy flag, to handle rundown */



Home | Main Index | Thread Index | Old Index