Home | History | Annotate | Line # | Download | only in rumpkern
locks.c revision 1.38.4.4
      1  1.38.4.3  rmind /*	$NetBSD: locks.c,v 1.38.4.4 2011/04/21 01:42:17 rmind Exp $	*/
      2       1.1  pooka 
      3       1.1  pooka /*
      4  1.38.4.4  rmind  * 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.38.4.3  rmind __KERNEL_RCSID(0, "$NetBSD: locks.c,v 1.38.4.4 2011/04/21 01:42:17 rmind 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.18  pooka #include <rump/rumpuser.h>
     37      1.18  pooka 
     38       1.2  pooka #include "rump_private.h"
     39       1.2  pooka 
     40      1.22  pooka /*
     41  1.38.4.3  rmind  * Simple lockdebug.  If it's compiled in, it's always active.
     42  1.38.4.3  rmind  * Currently available only for mtx/rwlock.
     43  1.38.4.3  rmind  */
     44  1.38.4.3  rmind #ifdef LOCKDEBUG
     45  1.38.4.3  rmind #include <sys/lockdebug.h>
     46  1.38.4.3  rmind 
     47  1.38.4.3  rmind static lockops_t mutex_lockops = {
     48  1.38.4.3  rmind 	"mutex",
     49  1.38.4.3  rmind 	LOCKOPS_SLEEP,
     50  1.38.4.3  rmind 	NULL
     51  1.38.4.3  rmind };
     52  1.38.4.3  rmind static lockops_t rw_lockops = {
     53  1.38.4.3  rmind 	"rwlock",
     54  1.38.4.3  rmind 	LOCKOPS_SLEEP,
     55  1.38.4.3  rmind 	NULL
     56  1.38.4.3  rmind };
     57  1.38.4.3  rmind 
     58  1.38.4.3  rmind #define ALLOCK(lock, ops)		\
     59  1.38.4.3  rmind     lockdebug_alloc(lock, ops, (uintptr_t)__builtin_return_address(0))
     60  1.38.4.3  rmind #define FREELOCK(lock)			\
     61  1.38.4.3  rmind     lockdebug_free(lock)
     62  1.38.4.3  rmind #define WANTLOCK(lock, shar, try)	\
     63  1.38.4.3  rmind     lockdebug_wantlock(lock, (uintptr_t)__builtin_return_address(0), shar, try)
     64  1.38.4.3  rmind #define LOCKED(lock, shar)		\
     65  1.38.4.3  rmind     lockdebug_locked(lock, NULL, (uintptr_t)__builtin_return_address(0), shar)
     66  1.38.4.3  rmind #define UNLOCKED(lock, shar)		\
     67  1.38.4.3  rmind     lockdebug_unlocked(lock, (uintptr_t)__builtin_return_address(0), shar)
     68  1.38.4.3  rmind #else
     69  1.38.4.3  rmind #define ALLOCK(a, b)
     70  1.38.4.3  rmind #define FREELOCK(a)
     71  1.38.4.3  rmind #define WANTLOCK(a, b, c)
     72  1.38.4.3  rmind #define LOCKED(a, b)
     73  1.38.4.3  rmind #define UNLOCKED(a, b)
     74  1.38.4.3  rmind #endif
     75  1.38.4.3  rmind 
     76  1.38.4.3  rmind /*
     77      1.22  pooka  * We map locks to pthread routines.  The difference between kernel
     78      1.22  pooka  * and rumpuser routines is that while the kernel uses static
     79      1.22  pooka  * storage, rumpuser allocates the object from the heap.  This
     80      1.22  pooka  * indirection is necessary because we don't know the size of
     81      1.38    snj  * pthread objects here.  It is also beneficial, since we can
     82      1.22  pooka  * be easily compatible with the kernel ABI because all kernel
     83      1.22  pooka  * objects regardless of machine architecture are always at least
     84      1.22  pooka  * the size of a pointer.  The downside, of course, is a performance
     85      1.22  pooka  * penalty.
     86      1.22  pooka  */
     87      1.22  pooka 
     88      1.22  pooka #define RUMPMTX(mtx) (*(struct rumpuser_mtx **)(mtx))
     89      1.22  pooka 
     90       1.1  pooka void
     91       1.1  pooka mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
     92       1.1  pooka {
     93       1.1  pooka 
     94      1.22  pooka 	CTASSERT(sizeof(kmutex_t) >= sizeof(void *));
     95      1.22  pooka 
     96  1.38.4.3  rmind 	rumpuser_mutex_init_kmutex((struct rumpuser_mtx **)mtx);
     97  1.38.4.3  rmind 	ALLOCK(mtx, &mutex_lockops);
     98       1.1  pooka }
     99       1.1  pooka 
    100       1.1  pooka void
    101       1.1  pooka mutex_destroy(kmutex_t *mtx)
    102       1.1  pooka {
    103       1.1  pooka 
    104  1.38.4.3  rmind 	FREELOCK(mtx);
    105      1.22  pooka 	rumpuser_mutex_destroy(RUMPMTX(mtx));
    106       1.1  pooka }
    107       1.1  pooka 
    108       1.1  pooka void
    109       1.1  pooka mutex_enter(kmutex_t *mtx)
    110       1.1  pooka {
    111       1.1  pooka 
    112  1.38.4.3  rmind 	WANTLOCK(mtx, false, false);
    113      1.22  pooka 	rumpuser_mutex_enter(RUMPMTX(mtx));
    114  1.38.4.3  rmind 	LOCKED(mtx, false);
    115       1.1  pooka }
    116  1.38.4.3  rmind __strong_alias(mutex_spin_enter,mutex_enter);
    117       1.6  pooka 
    118       1.1  pooka int
    119       1.1  pooka mutex_tryenter(kmutex_t *mtx)
    120       1.1  pooka {
    121  1.38.4.3  rmind 	int rv;
    122       1.1  pooka 
    123  1.38.4.3  rmind 	rv = rumpuser_mutex_tryenter(RUMPMTX(mtx));
    124  1.38.4.3  rmind 	if (rv) {
    125  1.38.4.3  rmind 		WANTLOCK(mtx, false, true);
    126  1.38.4.3  rmind 		LOCKED(mtx, false);
    127  1.38.4.3  rmind 	}
    128  1.38.4.3  rmind 	return rv;
    129       1.1  pooka }
    130       1.1  pooka 
    131       1.1  pooka void
    132       1.1  pooka mutex_exit(kmutex_t *mtx)
    133       1.1  pooka {
    134       1.1  pooka 
    135  1.38.4.3  rmind 	UNLOCKED(mtx, false);
    136      1.22  pooka 	rumpuser_mutex_exit(RUMPMTX(mtx));
    137       1.1  pooka }
    138  1.38.4.3  rmind __strong_alias(mutex_spin_exit,mutex_exit);
    139       1.1  pooka 
    140  1.38.4.3  rmind int
    141  1.38.4.3  rmind mutex_owned(kmutex_t *mtx)
    142       1.6  pooka {
    143       1.6  pooka 
    144  1.38.4.3  rmind 	return mutex_owner(mtx) == curlwp;
    145       1.6  pooka }
    146       1.6  pooka 
    147  1.38.4.3  rmind struct lwp *
    148  1.38.4.3  rmind mutex_owner(kmutex_t *mtx)
    149       1.1  pooka {
    150       1.1  pooka 
    151  1.38.4.3  rmind 	return rumpuser_mutex_owner(RUMPMTX(mtx));
    152       1.1  pooka }
    153       1.1  pooka 
    154      1.22  pooka #define RUMPRW(rw) (*(struct rumpuser_rw **)(rw))
    155      1.22  pooka 
    156       1.1  pooka /* reader/writer locks */
    157       1.1  pooka 
    158       1.1  pooka void
    159       1.1  pooka rw_init(krwlock_t *rw)
    160       1.1  pooka {
    161       1.1  pooka 
    162      1.22  pooka 	CTASSERT(sizeof(krwlock_t) >= sizeof(void *));
    163      1.22  pooka 
    164      1.22  pooka 	rumpuser_rw_init((struct rumpuser_rw **)rw);
    165  1.38.4.3  rmind 	ALLOCK(rw, &rw_lockops);
    166       1.1  pooka }
    167       1.1  pooka 
    168       1.1  pooka void
    169       1.1  pooka rw_destroy(krwlock_t *rw)
    170       1.1  pooka {
    171       1.1  pooka 
    172  1.38.4.3  rmind 	FREELOCK(rw);
    173      1.22  pooka 	rumpuser_rw_destroy(RUMPRW(rw));
    174       1.1  pooka }
    175       1.1  pooka 
    176       1.1  pooka void
    177       1.1  pooka rw_enter(krwlock_t *rw, const krw_t op)
    178       1.1  pooka {
    179       1.1  pooka 
    180  1.38.4.3  rmind 
    181  1.38.4.3  rmind 	WANTLOCK(rw, op == RW_READER, false);
    182      1.22  pooka 	rumpuser_rw_enter(RUMPRW(rw), op == RW_WRITER);
    183  1.38.4.3  rmind 	LOCKED(rw, op == RW_READER);
    184       1.1  pooka }
    185       1.1  pooka 
    186       1.1  pooka int
    187       1.1  pooka rw_tryenter(krwlock_t *rw, const krw_t op)
    188       1.1  pooka {
    189  1.38.4.3  rmind 	int rv;
    190       1.1  pooka 
    191  1.38.4.3  rmind 	rv = rumpuser_rw_tryenter(RUMPRW(rw), op == RW_WRITER);
    192  1.38.4.3  rmind 	if (rv) {
    193  1.38.4.3  rmind 		WANTLOCK(rw, op == RW_READER, true);
    194  1.38.4.3  rmind 		LOCKED(rw, op == RW_READER);
    195  1.38.4.3  rmind 	}
    196  1.38.4.3  rmind 	return rv;
    197       1.1  pooka }
    198       1.1  pooka 
    199       1.1  pooka void
    200       1.1  pooka rw_exit(krwlock_t *rw)
    201       1.1  pooka {
    202       1.1  pooka 
    203  1.38.4.3  rmind #ifdef LOCKDEBUG
    204  1.38.4.3  rmind 	bool shared = !rw_write_held(rw);
    205  1.38.4.3  rmind 
    206  1.38.4.3  rmind 	if (shared)
    207  1.38.4.3  rmind 		KASSERT(rw_read_held(rw));
    208  1.38.4.3  rmind 	UNLOCKED(rw, shared);
    209  1.38.4.3  rmind #endif
    210      1.22  pooka 	rumpuser_rw_exit(RUMPRW(rw));
    211       1.1  pooka }
    212       1.1  pooka 
    213       1.1  pooka /* always fails */
    214       1.1  pooka int
    215       1.1  pooka rw_tryupgrade(krwlock_t *rw)
    216       1.1  pooka {
    217       1.1  pooka 
    218       1.1  pooka 	return 0;
    219       1.1  pooka }
    220       1.1  pooka 
    221  1.38.4.3  rmind void
    222  1.38.4.3  rmind rw_downgrade(krwlock_t *rw)
    223  1.38.4.3  rmind {
    224  1.38.4.3  rmind 
    225  1.38.4.3  rmind #ifdef LOCKDEBUG
    226  1.38.4.3  rmind 	KASSERT(!rw_write_held(rw));
    227  1.38.4.3  rmind #endif
    228  1.38.4.3  rmind 	/*
    229  1.38.4.3  rmind 	 * XXX HACK: How we can downgrade re lock in rump properly.
    230  1.38.4.3  rmind 	 */
    231  1.38.4.3  rmind 	rw_exit(rw);
    232  1.38.4.3  rmind 	rw_enter(rw, RW_READER);
    233  1.38.4.3  rmind 	return;
    234  1.38.4.3  rmind }
    235  1.38.4.3  rmind 
    236       1.6  pooka int
    237       1.6  pooka rw_write_held(krwlock_t *rw)
    238       1.6  pooka {
    239       1.6  pooka 
    240      1.22  pooka 	return rumpuser_rw_wrheld(RUMPRW(rw));
    241      1.10     ad }
    242      1.10     ad 
    243      1.10     ad int
    244      1.10     ad rw_read_held(krwlock_t *rw)
    245      1.10     ad {
    246      1.10     ad 
    247      1.22  pooka 	return rumpuser_rw_rdheld(RUMPRW(rw));
    248      1.10     ad }
    249      1.10     ad 
    250      1.10     ad int
    251      1.10     ad rw_lock_held(krwlock_t *rw)
    252      1.10     ad {
    253      1.10     ad 
    254      1.22  pooka 	return rumpuser_rw_held(RUMPRW(rw));
    255       1.6  pooka }
    256       1.6  pooka 
    257       1.1  pooka /* curriculum vitaes */
    258       1.1  pooka 
    259      1.24  pooka #define RUMPCV(cv) (*(struct rumpuser_cv **)(cv))
    260       1.1  pooka 
    261       1.1  pooka void
    262       1.1  pooka cv_init(kcondvar_t *cv, const char *msg)
    263       1.1  pooka {
    264       1.1  pooka 
    265      1.25  pooka 	CTASSERT(sizeof(kcondvar_t) >= sizeof(void *));
    266      1.25  pooka 
    267      1.24  pooka 	rumpuser_cv_init((struct rumpuser_cv **)cv);
    268       1.1  pooka }
    269       1.1  pooka 
    270       1.1  pooka void
    271       1.1  pooka cv_destroy(kcondvar_t *cv)
    272       1.1  pooka {
    273       1.1  pooka 
    274       1.1  pooka 	rumpuser_cv_destroy(RUMPCV(cv));
    275       1.1  pooka }
    276       1.1  pooka 
    277  1.38.4.3  rmind static int
    278  1.38.4.3  rmind docvwait(kcondvar_t *cv, kmutex_t *mtx, struct timespec *ts)
    279  1.38.4.3  rmind {
    280  1.38.4.3  rmind 	struct lwp *l = curlwp;
    281  1.38.4.3  rmind 	int rv;
    282  1.38.4.3  rmind 
    283  1.38.4.4  rmind 	if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
    284  1.38.4.3  rmind 		/*
    285  1.38.4.3  rmind 		 * yield() here, someone might want the cpu
    286  1.38.4.3  rmind 		 * to set a condition.  otherwise we'll just
    287  1.38.4.3  rmind 		 * loop forever.
    288  1.38.4.3  rmind 		 */
    289  1.38.4.3  rmind 		yield();
    290  1.38.4.3  rmind 		return EINTR;
    291  1.38.4.3  rmind 	}
    292  1.38.4.3  rmind 
    293  1.38.4.3  rmind 	UNLOCKED(mtx, false);
    294  1.38.4.3  rmind 
    295  1.38.4.3  rmind 	l->l_private = cv;
    296  1.38.4.3  rmind 	rv = 0;
    297  1.38.4.3  rmind 	if (ts) {
    298  1.38.4.3  rmind 		if (rumpuser_cv_timedwait(RUMPCV(cv), RUMPMTX(mtx),
    299  1.38.4.3  rmind 		    ts->tv_sec, ts->tv_nsec))
    300  1.38.4.3  rmind 			rv = EWOULDBLOCK;
    301  1.38.4.3  rmind 	} else {
    302  1.38.4.3  rmind 		rumpuser_cv_wait(RUMPCV(cv), RUMPMTX(mtx));
    303  1.38.4.3  rmind 	}
    304  1.38.4.3  rmind 
    305  1.38.4.4  rmind 	LOCKED(mtx, false);
    306  1.38.4.4  rmind 
    307  1.38.4.3  rmind 	/*
    308  1.38.4.4  rmind 	 * Check for QEXIT.  if so, we need to wait here until we
    309  1.38.4.3  rmind 	 * are allowed to exit.
    310  1.38.4.3  rmind 	 */
    311  1.38.4.4  rmind 	if (__predict_false(l->l_flag & LW_RUMP_QEXIT)) {
    312  1.38.4.3  rmind 		struct proc *p = l->l_proc;
    313  1.38.4.3  rmind 
    314  1.38.4.4  rmind 		UNLOCKED(mtx, false);
    315  1.38.4.3  rmind 		mutex_exit(mtx); /* drop and retake later */
    316  1.38.4.3  rmind 
    317  1.38.4.3  rmind 		mutex_enter(p->p_lock);
    318  1.38.4.4  rmind 		while ((p->p_sflag & PS_RUMP_LWPEXIT) == 0) {
    319  1.38.4.3  rmind 			/* avoid recursion */
    320  1.38.4.3  rmind 			rumpuser_cv_wait(RUMPCV(&p->p_waitcv),
    321  1.38.4.3  rmind 			    RUMPMTX(p->p_lock));
    322  1.38.4.3  rmind 		}
    323  1.38.4.4  rmind 		KASSERT(p->p_sflag & PS_RUMP_LWPEXIT);
    324  1.38.4.3  rmind 		mutex_exit(p->p_lock);
    325  1.38.4.3  rmind 
    326  1.38.4.3  rmind 		/* ok, we can exit and remove "reference" to l->private */
    327  1.38.4.3  rmind 
    328  1.38.4.3  rmind 		mutex_enter(mtx);
    329  1.38.4.4  rmind 		LOCKED(mtx, false);
    330  1.38.4.3  rmind 		rv = EINTR;
    331  1.38.4.3  rmind 	}
    332  1.38.4.3  rmind 	l->l_private = NULL;
    333  1.38.4.3  rmind 
    334  1.38.4.3  rmind 	return rv;
    335  1.38.4.3  rmind }
    336  1.38.4.3  rmind 
    337       1.1  pooka void
    338       1.1  pooka cv_wait(kcondvar_t *cv, kmutex_t *mtx)
    339       1.1  pooka {
    340       1.1  pooka 
    341  1.38.4.2  rmind 	if (__predict_false(rump_threads == 0))
    342      1.28  pooka 		panic("cv_wait without threads");
    343  1.38.4.3  rmind 	(void) docvwait(cv, mtx, NULL);
    344       1.1  pooka }
    345       1.1  pooka 
    346       1.3  pooka int
    347       1.5  pooka cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx)
    348       1.5  pooka {
    349       1.5  pooka 
    350  1.38.4.2  rmind 	if (__predict_false(rump_threads == 0))
    351  1.38.4.2  rmind 		panic("cv_wait without threads");
    352  1.38.4.3  rmind 	return docvwait(cv, mtx, NULL);
    353       1.5  pooka }
    354       1.5  pooka 
    355       1.5  pooka int
    356       1.3  pooka cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks)
    357       1.3  pooka {
    358      1.27  pooka 	struct timespec ts, tick;
    359       1.3  pooka 	extern int hz;
    360  1.38.4.3  rmind 	int rv;
    361      1.27  pooka 
    362       1.9  pooka 	if (ticks == 0) {
    363  1.38.4.3  rmind 		rv = cv_wait_sig(cv, mtx);
    364       1.9  pooka 	} else {
    365  1.38.4.2  rmind 		/*
    366  1.38.4.2  rmind 		 * XXX: this fetches rump kernel time, but
    367  1.38.4.2  rmind 		 * rumpuser_cv_timedwait uses host time.
    368  1.38.4.2  rmind 		 */
    369  1.38.4.2  rmind 		nanotime(&ts);
    370  1.38.4.2  rmind 		tick.tv_sec = ticks / hz;
    371  1.38.4.2  rmind 		tick.tv_nsec = (ticks % hz) * (1000000000/hz);
    372  1.38.4.2  rmind 		timespecadd(&ts, &tick, &ts);
    373  1.38.4.2  rmind 
    374  1.38.4.3  rmind 		rv = docvwait(cv, mtx, &ts);
    375       1.9  pooka 	}
    376       1.5  pooka 
    377  1.38.4.3  rmind 	return rv;
    378       1.5  pooka }
    379  1.38.4.3  rmind __strong_alias(cv_timedwait_sig,cv_timedwait);
    380       1.5  pooka 
    381       1.1  pooka void
    382       1.1  pooka cv_signal(kcondvar_t *cv)
    383       1.1  pooka {
    384       1.1  pooka 
    385       1.1  pooka 	rumpuser_cv_signal(RUMPCV(cv));
    386       1.1  pooka }
    387       1.2  pooka 
    388       1.4  pooka void
    389       1.4  pooka cv_broadcast(kcondvar_t *cv)
    390       1.4  pooka {
    391       1.4  pooka 
    392       1.4  pooka 	rumpuser_cv_broadcast(RUMPCV(cv));
    393       1.4  pooka }
    394       1.4  pooka 
    395      1.17  pooka bool
    396      1.17  pooka cv_has_waiters(kcondvar_t *cv)
    397      1.17  pooka {
    398      1.17  pooka 
    399      1.17  pooka 	return rumpuser_cv_has_waiters(RUMPCV(cv));
    400      1.17  pooka }
    401      1.17  pooka 
    402      1.35  pooka /* this is not much of an attempt, but ... */
    403      1.35  pooka bool
    404      1.35  pooka cv_is_valid(kcondvar_t *cv)
    405      1.35  pooka {
    406      1.35  pooka 
    407      1.35  pooka 	return RUMPCV(cv) != NULL;
    408      1.35  pooka }
    409