Home | History | Annotate | Line # | Download | only in rumpkern
locks.c revision 1.16
      1  1.16        ad /*	$NetBSD: locks.c,v 1.16 2008/05/31 19:28:36 ad Exp $	*/
      2  1.14        ad 
      3  1.14        ad /*-
      4  1.14        ad  * Copyright (c) 2008 The NetBSD Foundation, Inc.
      5  1.14        ad  * All rights reserved.
      6  1.14        ad  *
      7  1.14        ad  * Redistribution and use in source and binary forms, with or without
      8  1.14        ad  * modification, are permitted provided that the following conditions
      9  1.14        ad  * are met:
     10  1.14        ad  * 1. Redistributions of source code must retain the above copyright
     11  1.14        ad  *    notice, this list of conditions and the following disclaimer.
     12  1.14        ad  * 2. Redistributions in binary form must reproduce the above copyright
     13  1.14        ad  *    notice, this list of conditions and the following disclaimer in the
     14  1.14        ad  *    documentation and/or other materials provided with the distribution.
     15  1.14        ad  *
     16  1.14        ad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     17  1.14        ad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     18  1.14        ad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     19  1.14        ad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     20  1.14        ad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     21  1.14        ad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     22  1.14        ad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     23  1.14        ad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     24  1.14        ad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     25  1.14        ad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     26  1.14        ad  * POSSIBILITY OF SUCH DAMAGE.
     27  1.14        ad  */
     28   1.1     pooka 
     29   1.1     pooka /*
     30   1.1     pooka  * Copyright (c) 2007 Antti Kantee.  All Rights Reserved.
     31   1.1     pooka  *
     32   1.1     pooka  * Development of this software was supported by the
     33   1.1     pooka  * Finnish Cultural Foundation.
     34   1.1     pooka  *
     35   1.1     pooka  * Redistribution and use in source and binary forms, with or without
     36   1.1     pooka  * modification, are permitted provided that the following conditions
     37   1.1     pooka  * are met:
     38   1.1     pooka  * 1. Redistributions of source code must retain the above copyright
     39   1.1     pooka  *    notice, this list of conditions and the following disclaimer.
     40   1.1     pooka  * 2. Redistributions in binary form must reproduce the above copyright
     41   1.1     pooka  *    notice, this list of conditions and the following disclaimer in the
     42   1.1     pooka  *    documentation and/or other materials provided with the distribution.
     43   1.1     pooka  *
     44   1.1     pooka  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
     45   1.1     pooka  * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     46   1.1     pooka  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     47   1.1     pooka  * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
     48   1.1     pooka  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     49   1.1     pooka  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     50   1.1     pooka  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     51   1.1     pooka  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     52   1.1     pooka  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     53   1.1     pooka  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     54   1.1     pooka  * SUCH DAMAGE.
     55   1.1     pooka  */
     56   1.1     pooka 
     57   1.1     pooka #include <sys/param.h>
     58   1.1     pooka #include <sys/mutex.h>
     59   1.1     pooka #include <sys/rwlock.h>
     60  1.14        ad #include <sys/atomic.h>
     61   1.1     pooka 
     62   1.2     pooka #include "rump_private.h"
     63   1.2     pooka 
     64   1.1     pooka #include "rumpuser.h"
     65   1.1     pooka 
     66   1.1     pooka void
     67   1.1     pooka mutex_init(kmutex_t *mtx, kmutex_type_t type, int ipl)
     68   1.1     pooka {
     69   1.1     pooka 
     70   1.1     pooka 	rumpuser_mutex_init(&mtx->kmtx_mtx);
     71   1.1     pooka }
     72   1.1     pooka 
     73   1.1     pooka void
     74   1.1     pooka mutex_destroy(kmutex_t *mtx)
     75   1.1     pooka {
     76   1.1     pooka 
     77   1.1     pooka 	rumpuser_mutex_destroy(mtx->kmtx_mtx);
     78   1.1     pooka }
     79   1.1     pooka 
     80   1.1     pooka void
     81   1.1     pooka mutex_enter(kmutex_t *mtx)
     82   1.1     pooka {
     83   1.1     pooka 
     84   1.1     pooka 	rumpuser_mutex_enter(mtx->kmtx_mtx);
     85   1.1     pooka }
     86   1.1     pooka 
     87   1.6     pooka void
     88   1.6     pooka mutex_spin_enter(kmutex_t *mtx)
     89   1.6     pooka {
     90   1.6     pooka 
     91   1.6     pooka 	mutex_enter(mtx);
     92   1.6     pooka }
     93   1.6     pooka 
     94   1.1     pooka int
     95   1.1     pooka mutex_tryenter(kmutex_t *mtx)
     96   1.1     pooka {
     97   1.1     pooka 
     98  1.12     pooka 	return rumpuser_mutex_tryenter(mtx->kmtx_mtx);
     99   1.1     pooka }
    100   1.1     pooka 
    101   1.1     pooka void
    102   1.1     pooka mutex_exit(kmutex_t *mtx)
    103   1.1     pooka {
    104   1.1     pooka 
    105   1.1     pooka 	rumpuser_mutex_exit(mtx->kmtx_mtx);
    106   1.1     pooka }
    107   1.1     pooka 
    108   1.6     pooka void
    109   1.6     pooka mutex_spin_exit(kmutex_t *mtx)
    110   1.6     pooka {
    111   1.6     pooka 
    112   1.6     pooka 	mutex_exit(mtx);
    113   1.6     pooka }
    114   1.6     pooka 
    115   1.1     pooka int
    116   1.1     pooka mutex_owned(kmutex_t *mtx)
    117   1.1     pooka {
    118   1.1     pooka 
    119  1.10        ad 	return rumpuser_mutex_held(mtx->kmtx_mtx);
    120   1.1     pooka }
    121   1.1     pooka 
    122   1.1     pooka /* reader/writer locks */
    123   1.1     pooka 
    124   1.1     pooka void
    125   1.1     pooka rw_init(krwlock_t *rw)
    126   1.1     pooka {
    127   1.1     pooka 
    128   1.1     pooka 	rumpuser_rw_init(&rw->krw_pthlock);
    129   1.1     pooka }
    130   1.1     pooka 
    131   1.1     pooka void
    132   1.1     pooka rw_destroy(krwlock_t *rw)
    133   1.1     pooka {
    134   1.1     pooka 
    135   1.1     pooka 	rumpuser_rw_destroy(rw->krw_pthlock);
    136   1.1     pooka }
    137   1.1     pooka 
    138   1.1     pooka void
    139   1.1     pooka rw_enter(krwlock_t *rw, const krw_t op)
    140   1.1     pooka {
    141   1.1     pooka 
    142   1.1     pooka 	rumpuser_rw_enter(rw->krw_pthlock, op == RW_WRITER);
    143   1.1     pooka }
    144   1.1     pooka 
    145   1.1     pooka int
    146   1.1     pooka rw_tryenter(krwlock_t *rw, const krw_t op)
    147   1.1     pooka {
    148   1.1     pooka 
    149   1.1     pooka 	return rumpuser_rw_tryenter(rw->krw_pthlock, op == RW_WRITER);
    150   1.1     pooka }
    151   1.1     pooka 
    152   1.1     pooka void
    153   1.1     pooka rw_exit(krwlock_t *rw)
    154   1.1     pooka {
    155   1.1     pooka 
    156   1.1     pooka 	rumpuser_rw_exit(rw->krw_pthlock);
    157   1.1     pooka }
    158   1.1     pooka 
    159   1.1     pooka /* always fails */
    160   1.1     pooka int
    161   1.1     pooka rw_tryupgrade(krwlock_t *rw)
    162   1.1     pooka {
    163   1.1     pooka 
    164   1.1     pooka 	return 0;
    165   1.1     pooka }
    166   1.1     pooka 
    167   1.6     pooka int
    168   1.6     pooka rw_write_held(krwlock_t *rw)
    169   1.6     pooka {
    170   1.6     pooka 
    171  1.10        ad 	return rumpuser_rw_wrheld(rw->krw_pthlock);
    172  1.10        ad }
    173  1.10        ad 
    174  1.10        ad int
    175  1.10        ad rw_read_held(krwlock_t *rw)
    176  1.10        ad {
    177  1.10        ad 
    178  1.10        ad 	return rumpuser_rw_rdheld(rw->krw_pthlock);
    179  1.10        ad }
    180  1.10        ad 
    181  1.10        ad int
    182  1.10        ad rw_lock_held(krwlock_t *rw)
    183  1.10        ad {
    184  1.10        ad 
    185  1.10        ad 	return rumpuser_rw_held(rw->krw_pthlock);
    186   1.6     pooka }
    187   1.6     pooka 
    188   1.1     pooka /* curriculum vitaes */
    189   1.1     pooka 
    190   1.1     pooka /* forgive me for I have sinned */
    191   1.1     pooka #define RUMPCV(a) ((struct rumpuser_cv *)(__UNCONST((a)->cv_wmesg)))
    192   1.1     pooka 
    193   1.1     pooka void
    194   1.1     pooka cv_init(kcondvar_t *cv, const char *msg)
    195   1.1     pooka {
    196   1.1     pooka 
    197   1.1     pooka 	rumpuser_cv_init((struct rumpuser_cv **)__UNCONST(&cv->cv_wmesg));
    198   1.1     pooka }
    199   1.1     pooka 
    200   1.1     pooka void
    201   1.1     pooka cv_destroy(kcondvar_t *cv)
    202   1.1     pooka {
    203   1.1     pooka 
    204   1.1     pooka 	rumpuser_cv_destroy(RUMPCV(cv));
    205   1.1     pooka }
    206   1.1     pooka 
    207   1.1     pooka void
    208   1.1     pooka cv_wait(kcondvar_t *cv, kmutex_t *mtx)
    209   1.1     pooka {
    210   1.1     pooka 
    211   1.1     pooka 	rumpuser_cv_wait(RUMPCV(cv), mtx->kmtx_mtx);
    212   1.1     pooka }
    213   1.1     pooka 
    214   1.3     pooka int
    215   1.5     pooka cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx)
    216   1.5     pooka {
    217   1.5     pooka 
    218   1.5     pooka 	rumpuser_cv_wait(RUMPCV(cv), mtx->kmtx_mtx);
    219   1.5     pooka 	return 0;
    220   1.5     pooka }
    221   1.5     pooka 
    222   1.5     pooka int
    223   1.3     pooka cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks)
    224   1.3     pooka {
    225  1.16        ad #ifdef DIAGNOSTIC
    226   1.3     pooka 	extern int hz;
    227  1.16        ad #endif
    228   1.3     pooka 
    229   1.9     pooka 	if (ticks == 0) {
    230   1.9     pooka 		cv_wait(cv, mtx);
    231   1.9     pooka 		return 0;
    232   1.9     pooka 	} else {
    233   1.9     pooka 		KASSERT(hz == 100);
    234   1.9     pooka 		return rumpuser_cv_timedwait(RUMPCV(cv), mtx->kmtx_mtx, ticks);
    235   1.9     pooka 	}
    236   1.3     pooka }
    237   1.3     pooka 
    238   1.5     pooka int
    239   1.5     pooka cv_timedwait_sig(kcondvar_t *cv, kmutex_t *mtx, int ticks)
    240   1.5     pooka {
    241   1.5     pooka 
    242   1.9     pooka 	return cv_timedwait(cv, mtx, ticks);
    243   1.5     pooka }
    244   1.5     pooka 
    245   1.1     pooka void
    246   1.1     pooka cv_signal(kcondvar_t *cv)
    247   1.1     pooka {
    248   1.1     pooka 
    249   1.1     pooka 	rumpuser_cv_signal(RUMPCV(cv));
    250   1.1     pooka }
    251   1.2     pooka 
    252   1.4     pooka void
    253   1.4     pooka cv_broadcast(kcondvar_t *cv)
    254   1.4     pooka {
    255   1.4     pooka 
    256   1.4     pooka 	rumpuser_cv_broadcast(RUMPCV(cv));
    257   1.4     pooka }
    258   1.4     pooka 
    259   1.2     pooka /* kernel biglock, only for vnode_if */
    260   1.2     pooka 
    261   1.2     pooka void
    262  1.13  drochner _kernel_lock(int nlocks)
    263   1.2     pooka {
    264   1.2     pooka 
    265   1.2     pooka 	KASSERT(nlocks == 1);
    266   1.2     pooka 	mutex_enter(&rump_giantlock);
    267   1.2     pooka }
    268   1.2     pooka 
    269   1.2     pooka void
    270  1.13  drochner _kernel_unlock(int nlocks, int *countp)
    271   1.2     pooka {
    272   1.2     pooka 
    273   1.2     pooka 	KASSERT(nlocks == 1);
    274   1.2     pooka 	mutex_exit(&rump_giantlock);
    275   1.2     pooka 	if (countp)
    276   1.2     pooka 		*countp = 1;
    277   1.2     pooka }
    278  1.14        ad 
    279  1.14        ad struct kmutexobj {
    280  1.14        ad 	kmutex_t	mo_lock;
    281  1.14        ad 	u_int		mo_refcnt;
    282  1.14        ad };
    283  1.14        ad 
    284  1.14        ad kmutex_t *
    285  1.14        ad mutex_obj_alloc(kmutex_type_t type, int ipl)
    286  1.14        ad {
    287  1.14        ad 	struct kmutexobj *mo;
    288  1.14        ad 
    289  1.14        ad 	mo = kmem_alloc(sizeof(*mo), KM_SLEEP);
    290  1.14        ad 	mutex_init(&mo->mo_lock, type, ipl);
    291  1.14        ad 	mo->mo_refcnt = 1;
    292  1.14        ad 
    293  1.14        ad 	return (kmutex_t *)mo;
    294  1.14        ad }
    295  1.14        ad 
    296  1.14        ad void
    297  1.14        ad mutex_obj_hold(kmutex_t *lock)
    298  1.14        ad {
    299  1.14        ad 	struct kmutexobj *mo = (struct kmutexobj *)lock;
    300  1.14        ad 
    301  1.14        ad 	atomic_inc_uint(&mo->mo_refcnt);
    302  1.14        ad }
    303  1.14        ad 
    304  1.14        ad bool
    305  1.14        ad mutex_obj_free(kmutex_t *lock)
    306  1.14        ad {
    307  1.14        ad 	struct kmutexobj *mo = (struct kmutexobj *)lock;
    308  1.14        ad 
    309  1.14        ad 	if (atomic_dec_uint_nv(&mo->mo_refcnt) > 0) {
    310  1.14        ad 		return false;
    311  1.14        ad 	}
    312  1.14        ad 	mutex_destroy(&mo->mo_lock);
    313  1.14        ad 	kmem_free(mo, sizeof(*mo));
    314  1.14        ad 	return true;
    315  1.14        ad }
    316