Home | History | Annotate | Line # | Download | only in rumpkern
locks.c revision 1.16.2.2
      1  1.16.2.2    simonb /*	$NetBSD: locks.c,v 1.16.2.2 2008/07/31 04:51:05 simonb 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.16.2.2    simonb #include <rump/rumpuser.h>
     63       1.2     pooka 
     64  1.16.2.2    simonb #include "rump_private.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.16.2.1    simonb bool
    260  1.16.2.1    simonb cv_has_waiters(kcondvar_t *cv)
    261  1.16.2.1    simonb {
    262  1.16.2.1    simonb 
    263  1.16.2.1    simonb 	return rumpuser_cv_has_waiters(RUMPCV(cv));
    264  1.16.2.1    simonb }
    265  1.16.2.1    simonb 
    266       1.2     pooka /* kernel biglock, only for vnode_if */
    267       1.2     pooka 
    268       1.2     pooka void
    269      1.13  drochner _kernel_lock(int nlocks)
    270       1.2     pooka {
    271       1.2     pooka 
    272       1.2     pooka 	KASSERT(nlocks == 1);
    273       1.2     pooka 	mutex_enter(&rump_giantlock);
    274       1.2     pooka }
    275       1.2     pooka 
    276       1.2     pooka void
    277      1.13  drochner _kernel_unlock(int nlocks, int *countp)
    278       1.2     pooka {
    279       1.2     pooka 
    280       1.2     pooka 	KASSERT(nlocks == 1);
    281       1.2     pooka 	mutex_exit(&rump_giantlock);
    282       1.2     pooka 	if (countp)
    283       1.2     pooka 		*countp = 1;
    284       1.2     pooka }
    285      1.14        ad 
    286      1.14        ad struct kmutexobj {
    287      1.14        ad 	kmutex_t	mo_lock;
    288      1.14        ad 	u_int		mo_refcnt;
    289      1.14        ad };
    290      1.14        ad 
    291      1.14        ad kmutex_t *
    292      1.14        ad mutex_obj_alloc(kmutex_type_t type, int ipl)
    293      1.14        ad {
    294      1.14        ad 	struct kmutexobj *mo;
    295      1.14        ad 
    296      1.14        ad 	mo = kmem_alloc(sizeof(*mo), KM_SLEEP);
    297      1.14        ad 	mutex_init(&mo->mo_lock, type, ipl);
    298      1.14        ad 	mo->mo_refcnt = 1;
    299      1.14        ad 
    300      1.14        ad 	return (kmutex_t *)mo;
    301      1.14        ad }
    302      1.14        ad 
    303      1.14        ad void
    304      1.14        ad mutex_obj_hold(kmutex_t *lock)
    305      1.14        ad {
    306      1.14        ad 	struct kmutexobj *mo = (struct kmutexobj *)lock;
    307      1.14        ad 
    308      1.14        ad 	atomic_inc_uint(&mo->mo_refcnt);
    309      1.14        ad }
    310      1.14        ad 
    311      1.14        ad bool
    312      1.14        ad mutex_obj_free(kmutex_t *lock)
    313      1.14        ad {
    314      1.14        ad 	struct kmutexobj *mo = (struct kmutexobj *)lock;
    315      1.14        ad 
    316      1.14        ad 	if (atomic_dec_uint_nv(&mo->mo_refcnt) > 0) {
    317      1.14        ad 		return false;
    318      1.14        ad 	}
    319      1.14        ad 	mutex_destroy(&mo->mo_lock);
    320      1.14        ad 	kmem_free(mo, sizeof(*mo));
    321      1.14        ad 	return true;
    322      1.14        ad }
    323