Home | History | Annotate | Line # | Download | only in rumpkern
locks.c revision 1.74.2.1
      1  1.74.2.1       snj /*	$NetBSD: locks.c,v 1.74.2.1 2018/01/13 21:57:11 snj Exp $	*/
      2       1.1     pooka 
      3       1.1     pooka /*
      4      1.54     pooka  * Copyright (c) 2007-2011 Antti Kantee.  All Rights Reserved.
      5       1.1     pooka  *
      6       1.1     pooka  * Redistribution and use in source and binary forms, with or without
      7       1.1     pooka  * modification, are permitted provided that the following conditions
      8       1.1     pooka  * are met:
      9       1.1     pooka  * 1. Redistributions of source code must retain the above copyright
     10       1.1     pooka  *    notice, this list of conditions and the following disclaimer.
     11       1.1     pooka  * 2. Redistributions in binary form must reproduce the above copyright
     12       1.1     pooka  *    notice, this list of conditions and the following disclaimer in the
     13       1.1     pooka  *    documentation and/or other materials provided with the distribution.
     14       1.1     pooka  *
     15       1.1     pooka  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
     16       1.1     pooka  * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     17       1.1     pooka  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     18       1.1     pooka  * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
     19       1.1     pooka  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     20       1.1     pooka  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     21       1.1     pooka  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     22       1.1     pooka  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     23       1.1     pooka  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     24       1.1     pooka  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     25       1.1     pooka  * SUCH DAMAGE.
     26       1.1     pooka  */
     27       1.1     pooka 
     28      1.23     pooka #include <sys/cdefs.h>
     29  1.74.2.1       snj __KERNEL_RCSID(0, "$NetBSD: locks.c,v 1.74.2.1 2018/01/13 21:57:11 snj Exp $");
     30      1.23     pooka 
     31       1.1     pooka #include <sys/param.h>
     32      1.26     pooka #include <sys/kmem.h>
     33       1.1     pooka #include <sys/mutex.h>
     34       1.1     pooka #include <sys/rwlock.h>
     35       1.1     pooka 
     36      1.72     pooka #include <rump-sys/kern.h>
     37      1.72     pooka 
     38      1.18     pooka #include <rump/rumpuser.h>
     39      1.18     pooka 
     40      1.69     pooka #ifdef LOCKDEBUG
     41      1.69     pooka const int rump_lockdebug = 1;
     42      1.69     pooka #else
     43      1.69     pooka const int rump_lockdebug = 0;
     44      1.69     pooka #endif
     45      1.69     pooka 
     46      1.22     pooka /*
     47      1.45     pooka  * Simple lockdebug.  If it's compiled in, it's always active.
     48      1.45     pooka  * Currently available only for mtx/rwlock.
     49      1.45     pooka  */
     50      1.45     pooka #ifdef LOCKDEBUG
     51      1.45     pooka #include <sys/lockdebug.h>
     52      1.45     pooka 
     53  1.74.2.1       snj static lockops_t mutex_spin_lockops = {
     54  1.74.2.1       snj 	.lo_name = "mutex",
     55  1.74.2.1       snj 	.lo_type = LOCKOPS_SPIN,
     56  1.74.2.1       snj 	.lo_dump = NULL,
     57  1.74.2.1       snj };
     58  1.74.2.1       snj static lockops_t mutex_adaptive_lockops = {
     59  1.74.2.1       snj 	.lo_name = "mutex",
     60  1.74.2.1       snj 	.lo_type = LOCKOPS_SLEEP,
     61  1.74.2.1       snj 	.lo_dump = NULL,
     62      1.45     pooka };
     63      1.45     pooka static lockops_t rw_lockops = {
     64  1.74.2.1       snj 	.lo_name = "rwlock",
     65  1.74.2.1       snj 	.lo_type = LOCKOPS_SLEEP,
     66  1.74.2.1       snj 	.lo_dump = NULL,
     67      1.45     pooka };
     68      1.45     pooka 
     69      1.73     ozaki #define ALLOCK(lock, ops)				\
     70  1.74.2.1       snj 	lockdebug_alloc(__func__, __LINE__, lock, ops,	\
     71  1.74.2.1       snj 	    (uintptr_t)__builtin_return_address(0))
     72  1.74.2.1       snj #define FREELOCK(lock)					\
     73  1.74.2.1       snj 	lockdebug_free(__func__, __LINE__, lock)
     74      1.73     ozaki #define WANTLOCK(lock, shar)				\
     75  1.74.2.1       snj 	lockdebug_wantlock(__func__, __LINE__, lock,	\
     76  1.74.2.1       snj 	    (uintptr_t)__builtin_return_address(0), shar)
     77      1.73     ozaki #define LOCKED(lock, shar)				\
     78  1.74.2.1       snj 	lockdebug_locked(__func__, __LINE__, lock, NULL,\
     79  1.74.2.1       snj 	    (uintptr_t)__builtin_return_address(0), shar)
     80  1.74.2.1       snj #define UNLOCKED(lock, shar)				\
     81  1.74.2.1       snj 	lockdebug_unlocked(__func__, __LINE__, lock,	\
     82  1.74.2.1       snj 	    (uintptr_t)__builtin_return_address(0), shar)
     83  1.74.2.1       snj #define BARRIER(lock, slp)				\
     84  1.74.2.1       snj 	lockdebug_barrier(__func__, __LINE__, lock, slp)
     85      1.45     pooka #else
     86  1.74.2.1       snj #define ALLOCK(a, b)	do {} while (0)
     87  1.74.2.1       snj #define FREELOCK(a)	do {} while (0)
     88  1.74.2.1       snj #define WANTLOCK(a, b)	do {} while (0)
     89  1.74.2.1       snj #define LOCKED(a, b)	do {} while (0)
     90  1.74.2.1       snj #define UNLOCKED(a, b)	do {} while (0)
     91  1.74.2.1       snj #define BARRIER(a, b)	do {} while (0)
     92      1.45     pooka #endif
     93      1.45     pooka 
     94      1.45     pooka /*
     95      1.22     pooka  * We map locks to pthread routines.  The difference between kernel
     96      1.22     pooka  * and rumpuser routines is that while the kernel uses static
     97      1.22     pooka  * storage, rumpuser allocates the object from the heap.  This
     98      1.22     pooka  * indirection is necessary because we don't know the size of
     99      1.38       snj  * pthread objects here.  It is also beneficial, since we can
    100      1.22     pooka  * be easily compatible with the kernel ABI because all kernel
    101      1.22     pooka  * objects regardless of machine architecture are always at least
    102      1.22     pooka  * the size of a pointer.  The downside, of course, is a performance
    103      1.22     pooka  * penalty.
    104      1.22     pooka  */
    105      1.22     pooka 
    106      1.22     pooka #define RUMPMTX(mtx) (*(struct rumpuser_mtx **)(mtx))
    107      1.22     pooka 
    108       1.1     pooka void
    109       1.1     pooka mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
    110       1.1     pooka {
    111      1.57     pooka 	int ruflags = RUMPUSER_MTX_KMUTEX;
    112      1.56     pooka 	int isspin;
    113      1.56     pooka 
    114      1.57     pooka 	CTASSERT(sizeof(kmutex_t) >= sizeof(void *));
    115      1.57     pooka 
    116      1.56     pooka 	/*
    117      1.56     pooka 	 * Try to figure out if the caller wanted a spin mutex or
    118      1.56     pooka 	 * not with this easy set of conditionals.  The difference
    119      1.56     pooka 	 * between a spin mutex and an adaptive mutex for a rump
    120      1.56     pooka 	 * kernel is that the hypervisor does not relinquish the
    121      1.56     pooka 	 * rump kernel CPU context for a spin mutex.  The
    122      1.56     pooka 	 * hypervisor itself may block even when "spinning".
    123      1.56     pooka 	 */
    124      1.56     pooka 	if (type == MUTEX_SPIN) {
    125      1.56     pooka 		isspin = 1;
    126      1.56     pooka 	} else if (ipl == IPL_NONE || ipl == IPL_SOFTCLOCK ||
    127      1.56     pooka 	    ipl == IPL_SOFTBIO || ipl == IPL_SOFTNET ||
    128      1.56     pooka 	    ipl == IPL_SOFTSERIAL) {
    129      1.56     pooka 		isspin = 0;
    130      1.56     pooka 	} else {
    131      1.56     pooka 		isspin = 1;
    132      1.56     pooka 	}
    133       1.1     pooka 
    134      1.57     pooka 	if (isspin)
    135      1.57     pooka 		ruflags |= RUMPUSER_MTX_SPIN;
    136      1.57     pooka 	rumpuser_mutex_init((struct rumpuser_mtx **)mtx, ruflags);
    137  1.74.2.1       snj 	if (isspin)
    138  1.74.2.1       snj 		ALLOCK(mtx, &mutex_spin_lockops);
    139  1.74.2.1       snj 	else
    140  1.74.2.1       snj 		ALLOCK(mtx, &mutex_adaptive_lockops);
    141       1.1     pooka }
    142       1.1     pooka 
    143       1.1     pooka void
    144       1.1     pooka mutex_destroy(kmutex_t *mtx)
    145       1.1     pooka {
    146       1.1     pooka 
    147      1.45     pooka 	FREELOCK(mtx);
    148      1.22     pooka 	rumpuser_mutex_destroy(RUMPMTX(mtx));
    149       1.1     pooka }
    150       1.1     pooka 
    151       1.1     pooka void
    152       1.1     pooka mutex_enter(kmutex_t *mtx)
    153       1.1     pooka {
    154       1.1     pooka 
    155      1.65     njoly 	WANTLOCK(mtx, 0);
    156  1.74.2.1       snj 	if (!rumpuser_mutex_spin_p(RUMPMTX(mtx)))
    157  1.74.2.1       snj 		BARRIER(mtx, 1);
    158      1.22     pooka 	rumpuser_mutex_enter(RUMPMTX(mtx));
    159      1.45     pooka 	LOCKED(mtx, false);
    160       1.1     pooka }
    161      1.56     pooka 
    162      1.56     pooka void
    163      1.56     pooka mutex_spin_enter(kmutex_t *mtx)
    164      1.56     pooka {
    165      1.56     pooka 
    166  1.74.2.1       snj 	KASSERT(rumpuser_mutex_spin_p(RUMPMTX(mtx)));
    167      1.65     njoly 	WANTLOCK(mtx, 0);
    168      1.61     pooka 	rumpuser_mutex_enter_nowrap(RUMPMTX(mtx));
    169      1.56     pooka 	LOCKED(mtx, false);
    170      1.56     pooka }
    171       1.6     pooka 
    172       1.1     pooka int
    173       1.1     pooka mutex_tryenter(kmutex_t *mtx)
    174       1.1     pooka {
    175      1.60     pooka 	int error;
    176       1.1     pooka 
    177      1.60     pooka 	error = rumpuser_mutex_tryenter(RUMPMTX(mtx));
    178      1.60     pooka 	if (error == 0) {
    179      1.65     njoly 		WANTLOCK(mtx, 0);
    180      1.45     pooka 		LOCKED(mtx, false);
    181      1.45     pooka 	}
    182      1.60     pooka 	return error == 0;
    183       1.1     pooka }
    184       1.1     pooka 
    185       1.1     pooka void
    186       1.1     pooka mutex_exit(kmutex_t *mtx)
    187       1.1     pooka {
    188       1.1     pooka 
    189  1.74.2.1       snj #ifndef LOCKDEBUG
    190  1.74.2.1       snj 	KASSERT(mutex_owned(mtx));
    191  1.74.2.1       snj #endif
    192      1.45     pooka 	UNLOCKED(mtx, false);
    193      1.22     pooka 	rumpuser_mutex_exit(RUMPMTX(mtx));
    194       1.1     pooka }
    195      1.45     pooka __strong_alias(mutex_spin_exit,mutex_exit);
    196       1.6     pooka 
    197       1.1     pooka int
    198      1.74  pgoyette mutex_ownable(kmutex_t *mtx)
    199      1.74  pgoyette {
    200      1.74  pgoyette 
    201      1.74  pgoyette #ifdef LOCKDEBUG
    202      1.74  pgoyette 	WANTLOCK(mtx, -1);
    203      1.74  pgoyette #endif
    204      1.74  pgoyette 	return 1;
    205      1.74  pgoyette }
    206      1.74  pgoyette 
    207      1.74  pgoyette int
    208       1.1     pooka mutex_owned(kmutex_t *mtx)
    209       1.1     pooka {
    210       1.1     pooka 
    211      1.44     pooka 	return mutex_owner(mtx) == curlwp;
    212      1.44     pooka }
    213      1.44     pooka 
    214      1.44     pooka struct lwp *
    215      1.44     pooka mutex_owner(kmutex_t *mtx)
    216      1.44     pooka {
    217      1.60     pooka 	struct lwp *l;
    218      1.44     pooka 
    219      1.60     pooka 	rumpuser_mutex_owner(RUMPMTX(mtx), &l);
    220      1.60     pooka 	return l;
    221       1.1     pooka }
    222       1.1     pooka 
    223      1.22     pooka #define RUMPRW(rw) (*(struct rumpuser_rw **)(rw))
    224      1.22     pooka 
    225       1.1     pooka /* reader/writer locks */
    226       1.1     pooka 
    227      1.63     pooka static enum rumprwlock
    228      1.63     pooka krw2rumprw(const krw_t op)
    229      1.63     pooka {
    230      1.63     pooka 
    231      1.63     pooka 	switch (op) {
    232      1.63     pooka 	case RW_READER:
    233      1.63     pooka 		return RUMPUSER_RW_READER;
    234      1.63     pooka 	case RW_WRITER:
    235      1.63     pooka 		return RUMPUSER_RW_WRITER;
    236      1.63     pooka 	default:
    237      1.63     pooka 		panic("unknown rwlock type");
    238      1.63     pooka 	}
    239      1.63     pooka }
    240      1.63     pooka 
    241       1.1     pooka void
    242       1.1     pooka rw_init(krwlock_t *rw)
    243       1.1     pooka {
    244       1.1     pooka 
    245      1.22     pooka 	CTASSERT(sizeof(krwlock_t) >= sizeof(void *));
    246      1.22     pooka 
    247      1.22     pooka 	rumpuser_rw_init((struct rumpuser_rw **)rw);
    248      1.45     pooka 	ALLOCK(rw, &rw_lockops);
    249       1.1     pooka }
    250       1.1     pooka 
    251       1.1     pooka void
    252       1.1     pooka rw_destroy(krwlock_t *rw)
    253       1.1     pooka {
    254       1.1     pooka 
    255      1.45     pooka 	FREELOCK(rw);
    256      1.22     pooka 	rumpuser_rw_destroy(RUMPRW(rw));
    257       1.1     pooka }
    258       1.1     pooka 
    259       1.1     pooka void
    260       1.1     pooka rw_enter(krwlock_t *rw, const krw_t op)
    261       1.1     pooka {
    262       1.1     pooka 
    263      1.65     njoly 	WANTLOCK(rw, op == RW_READER);
    264      1.71     ozaki 	BARRIER(rw, 1);
    265      1.64     pooka 	rumpuser_rw_enter(krw2rumprw(op), RUMPRW(rw));
    266      1.45     pooka 	LOCKED(rw, op == RW_READER);
    267       1.1     pooka }
    268       1.1     pooka 
    269       1.1     pooka int
    270       1.1     pooka rw_tryenter(krwlock_t *rw, const krw_t op)
    271       1.1     pooka {
    272      1.60     pooka 	int error;
    273       1.1     pooka 
    274      1.64     pooka 	error = rumpuser_rw_tryenter(krw2rumprw(op), RUMPRW(rw));
    275      1.60     pooka 	if (error == 0) {
    276      1.65     njoly 		WANTLOCK(rw, op == RW_READER);
    277      1.45     pooka 		LOCKED(rw, op == RW_READER);
    278      1.45     pooka 	}
    279      1.60     pooka 	return error == 0;
    280       1.1     pooka }
    281       1.1     pooka 
    282       1.1     pooka void
    283       1.1     pooka rw_exit(krwlock_t *rw)
    284       1.1     pooka {
    285       1.1     pooka 
    286      1.45     pooka #ifdef LOCKDEBUG
    287      1.45     pooka 	bool shared = !rw_write_held(rw);
    288      1.45     pooka 
    289      1.45     pooka 	if (shared)
    290      1.45     pooka 		KASSERT(rw_read_held(rw));
    291      1.45     pooka 	UNLOCKED(rw, shared);
    292      1.45     pooka #endif
    293      1.22     pooka 	rumpuser_rw_exit(RUMPRW(rw));
    294       1.1     pooka }
    295       1.1     pooka 
    296       1.1     pooka int
    297       1.1     pooka rw_tryupgrade(krwlock_t *rw)
    298       1.1     pooka {
    299      1.63     pooka 	int rv;
    300       1.1     pooka 
    301      1.63     pooka 	rv = rumpuser_rw_tryupgrade(RUMPRW(rw));
    302      1.63     pooka 	if (rv == 0) {
    303      1.63     pooka 		UNLOCKED(rw, 1);
    304      1.65     njoly 		WANTLOCK(rw, 0);
    305      1.63     pooka 		LOCKED(rw, 0);
    306      1.63     pooka 	}
    307      1.63     pooka 	return rv == 0;
    308       1.1     pooka }
    309       1.1     pooka 
    310      1.48      haad void
    311      1.48      haad rw_downgrade(krwlock_t *rw)
    312      1.48      haad {
    313      1.48      haad 
    314      1.63     pooka 	rumpuser_rw_downgrade(RUMPRW(rw));
    315      1.63     pooka 	UNLOCKED(rw, 0);
    316      1.65     njoly 	WANTLOCK(rw, 1);
    317      1.63     pooka 	LOCKED(rw, 1);
    318      1.48      haad }
    319      1.48      haad 
    320       1.6     pooka int
    321      1.63     pooka rw_read_held(krwlock_t *rw)
    322       1.6     pooka {
    323      1.60     pooka 	int rv;
    324       1.6     pooka 
    325      1.64     pooka 	rumpuser_rw_held(RUMPUSER_RW_READER, RUMPRW(rw), &rv);
    326      1.60     pooka 	return rv;
    327      1.10        ad }
    328      1.10        ad 
    329      1.10        ad int
    330      1.63     pooka rw_write_held(krwlock_t *rw)
    331      1.10        ad {
    332      1.60     pooka 	int rv;
    333      1.10        ad 
    334      1.64     pooka 	rumpuser_rw_held(RUMPUSER_RW_WRITER, RUMPRW(rw), &rv);
    335      1.60     pooka 	return rv;
    336      1.10        ad }
    337      1.10        ad 
    338      1.10        ad int
    339      1.10        ad rw_lock_held(krwlock_t *rw)
    340      1.10        ad {
    341      1.10        ad 
    342      1.63     pooka 	return rw_read_held(rw) || rw_write_held(rw);
    343       1.6     pooka }
    344       1.6     pooka 
    345       1.1     pooka /* curriculum vitaes */
    346       1.1     pooka 
    347      1.24     pooka #define RUMPCV(cv) (*(struct rumpuser_cv **)(cv))
    348       1.1     pooka 
    349       1.1     pooka void
    350       1.1     pooka cv_init(kcondvar_t *cv, const char *msg)
    351       1.1     pooka {
    352       1.1     pooka 
    353      1.25     pooka 	CTASSERT(sizeof(kcondvar_t) >= sizeof(void *));
    354      1.25     pooka 
    355      1.24     pooka 	rumpuser_cv_init((struct rumpuser_cv **)cv);
    356       1.1     pooka }
    357       1.1     pooka 
    358       1.1     pooka void
    359       1.1     pooka cv_destroy(kcondvar_t *cv)
    360       1.1     pooka {
    361       1.1     pooka 
    362       1.1     pooka 	rumpuser_cv_destroy(RUMPCV(cv));
    363       1.1     pooka }
    364       1.1     pooka 
    365      1.47     pooka static int
    366      1.47     pooka docvwait(kcondvar_t *cv, kmutex_t *mtx, struct timespec *ts)
    367      1.47     pooka {
    368      1.47     pooka 	struct lwp *l = curlwp;
    369      1.47     pooka 	int rv;
    370      1.47     pooka 
    371      1.51     pooka 	if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
    372      1.47     pooka 		/*
    373      1.50     pooka 		 * yield() here, someone might want the cpu
    374      1.50     pooka 		 * to set a condition.  otherwise we'll just
    375      1.50     pooka 		 * loop forever.
    376      1.47     pooka 		 */
    377      1.50     pooka 		yield();
    378      1.47     pooka 		return EINTR;
    379      1.47     pooka 	}
    380      1.47     pooka 
    381      1.47     pooka 	UNLOCKED(mtx, false);
    382      1.47     pooka 
    383      1.47     pooka 	l->l_private = cv;
    384      1.47     pooka 	rv = 0;
    385      1.47     pooka 	if (ts) {
    386      1.47     pooka 		if (rumpuser_cv_timedwait(RUMPCV(cv), RUMPMTX(mtx),
    387      1.47     pooka 		    ts->tv_sec, ts->tv_nsec))
    388      1.47     pooka 			rv = EWOULDBLOCK;
    389      1.47     pooka 	} else {
    390      1.47     pooka 		rumpuser_cv_wait(RUMPCV(cv), RUMPMTX(mtx));
    391      1.47     pooka 	}
    392      1.47     pooka 
    393      1.52     pooka 	LOCKED(mtx, false);
    394      1.52     pooka 
    395      1.47     pooka 	/*
    396      1.51     pooka 	 * Check for QEXIT.  if so, we need to wait here until we
    397      1.47     pooka 	 * are allowed to exit.
    398      1.47     pooka 	 */
    399      1.51     pooka 	if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
    400      1.47     pooka 		struct proc *p = l->l_proc;
    401      1.47     pooka 
    402      1.47     pooka 		mutex_exit(mtx); /* drop and retake later */
    403      1.47     pooka 
    404      1.47     pooka 		mutex_enter(p->p_lock);
    405      1.51     pooka 		while ((p->p_sflag & PS_RUMP_LWPEXIT) == 0) {
    406      1.47     pooka 			/* avoid recursion */
    407      1.47     pooka 			rumpuser_cv_wait(RUMPCV(&p->p_waitcv),
    408      1.47     pooka 			    RUMPMTX(p->p_lock));
    409      1.47     pooka 		}
    410      1.51     pooka 		KASSERT(p->p_sflag & PS_RUMP_LWPEXIT);
    411      1.47     pooka 		mutex_exit(p->p_lock);
    412      1.47     pooka 
    413      1.47     pooka 		/* ok, we can exit and remove "reference" to l->private */
    414      1.47     pooka 
    415      1.47     pooka 		mutex_enter(mtx);
    416      1.47     pooka 		rv = EINTR;
    417      1.47     pooka 	}
    418      1.47     pooka 	l->l_private = NULL;
    419      1.47     pooka 
    420      1.47     pooka 	return rv;
    421      1.47     pooka }
    422      1.47     pooka 
    423       1.1     pooka void
    424       1.1     pooka cv_wait(kcondvar_t *cv, kmutex_t *mtx)
    425       1.1     pooka {
    426       1.1     pooka 
    427      1.42     pooka 	if (__predict_false(rump_threads == 0))
    428      1.28     pooka 		panic("cv_wait without threads");
    429      1.47     pooka 	(void) docvwait(cv, mtx, NULL);
    430       1.1     pooka }
    431       1.1     pooka 
    432       1.3     pooka int
    433       1.5     pooka cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx)
    434       1.5     pooka {
    435       1.5     pooka 
    436      1.42     pooka 	if (__predict_false(rump_threads == 0))
    437      1.42     pooka 		panic("cv_wait without threads");
    438      1.47     pooka 	return docvwait(cv, mtx, NULL);
    439       1.5     pooka }
    440       1.5     pooka 
    441       1.5     pooka int
    442       1.3     pooka cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks)
    443       1.3     pooka {
    444      1.58     pooka 	struct timespec ts;
    445       1.3     pooka 	extern int hz;
    446      1.45     pooka 	int rv;
    447      1.27     pooka 
    448       1.9     pooka 	if (ticks == 0) {
    449      1.47     pooka 		rv = cv_wait_sig(cv, mtx);
    450       1.9     pooka 	} else {
    451      1.58     pooka 		ts.tv_sec = ticks / hz;
    452      1.58     pooka 		ts.tv_nsec = (ticks % hz) * (1000000000/hz);
    453      1.47     pooka 		rv = docvwait(cv, mtx, &ts);
    454       1.9     pooka 	}
    455       1.5     pooka 
    456      1.45     pooka 	return rv;
    457       1.5     pooka }
    458      1.45     pooka __strong_alias(cv_timedwait_sig,cv_timedwait);
    459       1.5     pooka 
    460       1.1     pooka void
    461       1.1     pooka cv_signal(kcondvar_t *cv)
    462       1.1     pooka {
    463       1.1     pooka 
    464       1.1     pooka 	rumpuser_cv_signal(RUMPCV(cv));
    465       1.1     pooka }
    466       1.2     pooka 
    467       1.4     pooka void
    468       1.4     pooka cv_broadcast(kcondvar_t *cv)
    469       1.4     pooka {
    470       1.4     pooka 
    471       1.4     pooka 	rumpuser_cv_broadcast(RUMPCV(cv));
    472       1.4     pooka }
    473       1.4     pooka 
    474      1.17     pooka bool
    475      1.17     pooka cv_has_waiters(kcondvar_t *cv)
    476      1.17     pooka {
    477      1.60     pooka 	int rv;
    478      1.17     pooka 
    479      1.60     pooka 	rumpuser_cv_has_waiters(RUMPCV(cv), &rv);
    480      1.60     pooka 	return rv != 0;
    481      1.17     pooka }
    482      1.17     pooka 
    483      1.35     pooka /* this is not much of an attempt, but ... */
    484      1.35     pooka bool
    485      1.35     pooka cv_is_valid(kcondvar_t *cv)
    486      1.35     pooka {
    487      1.35     pooka 
    488      1.35     pooka 	return RUMPCV(cv) != NULL;
    489      1.35     pooka }
    490