Home | History | Annotate | Line # | Download | only in rumpkern
ltsleep.c revision 1.25.4.3
      1  1.25.4.3  rmind /*	$NetBSD: ltsleep.c,v 1.25.4.3 2011/03/05 20:56:15 rmind Exp $	*/
      2       1.1  pooka 
      3       1.1  pooka /*
      4  1.25.4.2  rmind  * Copyright (c) 2009, 2010 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.22  pooka /*
     29  1.25.4.2  rmind  * Implementation of the ltsleep/mtsleep kernel sleep interface.  There
     30  1.25.4.2  rmind  * are two sides to our implementation.  For historic spinlocks we
     31  1.25.4.2  rmind  * assume the kernel is giantlocked and use kernel giantlock as the
     32  1.25.4.2  rmind  * wait interlock.  For mtsleep, we use the interlock supplied by
     33  1.25.4.2  rmind  * the caller.  This duality leads to some if/else messiness in the code ...
     34      1.22  pooka  */
     35      1.22  pooka 
     36       1.9  pooka #include <sys/cdefs.h>
     37  1.25.4.3  rmind __KERNEL_RCSID(0, "$NetBSD: ltsleep.c,v 1.25.4.3 2011/03/05 20:56:15 rmind Exp $");
     38       1.9  pooka 
     39       1.1  pooka #include <sys/param.h>
     40      1.20  pooka #include <sys/kernel.h>
     41       1.1  pooka #include <sys/proc.h>
     42       1.1  pooka #include <sys/queue.h>
     43       1.5    riz #include <sys/simplelock.h>
     44       1.1  pooka 
     45       1.7  pooka #include <rump/rumpuser.h>
     46       1.7  pooka 
     47       1.1  pooka #include "rump_private.h"
     48       1.1  pooka 
     49       1.1  pooka struct ltsleeper {
     50       1.1  pooka 	wchan_t id;
     51  1.25.4.2  rmind 	union {
     52  1.25.4.2  rmind 		struct rumpuser_cv *user;
     53  1.25.4.2  rmind 		kcondvar_t kern;
     54  1.25.4.2  rmind 	} u;
     55  1.25.4.2  rmind 	bool iskwait;
     56       1.1  pooka 	LIST_ENTRY(ltsleeper) entries;
     57       1.1  pooka };
     58  1.25.4.2  rmind #define ucv u.user
     59  1.25.4.2  rmind #define kcv u.kern
     60       1.1  pooka 
     61       1.1  pooka static LIST_HEAD(, ltsleeper) sleepers = LIST_HEAD_INITIALIZER(sleepers);
     62  1.25.4.2  rmind static struct rumpuser_mtx *qlock;
     63       1.1  pooka 
     64      1.20  pooka static int
     65  1.25.4.2  rmind sleeper(wchan_t ident, int timo, kmutex_t *kinterlock)
     66      1.20  pooka {
     67  1.25.4.2  rmind 	struct ltsleeper lts;
     68      1.24  pooka 	struct timespec ts, ticks;
     69  1.25.4.2  rmind 	int rv;
     70      1.20  pooka 
     71  1.25.4.2  rmind 	lts.id = ident;
     72  1.25.4.2  rmind 	if (kinterlock) {
     73  1.25.4.2  rmind 		lts.iskwait = true;
     74  1.25.4.2  rmind 		cv_init(&lts.kcv, "mtsleep");
     75  1.25.4.2  rmind 	} else {
     76  1.25.4.2  rmind 		lts.iskwait = false;
     77  1.25.4.2  rmind 		rumpuser_cv_init(&lts.ucv);
     78  1.25.4.2  rmind 	}
     79  1.25.4.2  rmind 
     80  1.25.4.2  rmind 	rumpuser_mutex_enter_nowrap(qlock);
     81  1.25.4.2  rmind 	LIST_INSERT_HEAD(&sleepers, &lts, entries);
     82  1.25.4.2  rmind 	rumpuser_mutex_exit(qlock);
     83      1.20  pooka 
     84      1.20  pooka 	if (timo) {
     85  1.25.4.2  rmind 		if (kinterlock) {
     86  1.25.4.2  rmind 			rv = cv_timedwait(&lts.kcv, kinterlock, timo);
     87  1.25.4.2  rmind 		} else {
     88  1.25.4.2  rmind 			/*
     89  1.25.4.2  rmind 			 * Calculate wakeup-time.
     90  1.25.4.2  rmind 			 * XXX: should assert nanotime() does not block,
     91  1.25.4.2  rmind 			 * i.e. yield the cpu and/or biglock.
     92  1.25.4.2  rmind 			 */
     93  1.25.4.2  rmind 			ticks.tv_sec = timo / hz;
     94  1.25.4.2  rmind 			ticks.tv_nsec = (timo % hz) * (1000000000/hz);
     95  1.25.4.2  rmind 			nanotime(&ts);
     96  1.25.4.2  rmind 			timespecadd(&ts, &ticks, &ts);
     97  1.25.4.2  rmind 
     98  1.25.4.2  rmind 			rv = rumpuser_cv_timedwait(lts.ucv, rump_giantlock,
     99  1.25.4.2  rmind 			    ts.tv_sec, ts.tv_nsec);
    100  1.25.4.2  rmind 		}
    101  1.25.4.2  rmind 
    102  1.25.4.2  rmind 		if (rv != 0)
    103      1.21  pooka 			rv = EWOULDBLOCK;
    104      1.20  pooka 	} else {
    105  1.25.4.2  rmind 		if (kinterlock) {
    106  1.25.4.2  rmind 			cv_wait(&lts.kcv, kinterlock);
    107  1.25.4.2  rmind 		} else {
    108  1.25.4.2  rmind 			rumpuser_cv_wait(lts.ucv, rump_giantlock);
    109  1.25.4.2  rmind 		}
    110      1.20  pooka 		rv = 0;
    111      1.20  pooka 	}
    112      1.20  pooka 
    113  1.25.4.2  rmind 	rumpuser_mutex_enter_nowrap(qlock);
    114  1.25.4.2  rmind 	LIST_REMOVE(&lts, entries);
    115  1.25.4.2  rmind 	rumpuser_mutex_exit(qlock);
    116  1.25.4.2  rmind 
    117  1.25.4.2  rmind 	if (kinterlock)
    118  1.25.4.2  rmind 		cv_destroy(&lts.kcv);
    119  1.25.4.2  rmind 	else
    120  1.25.4.2  rmind 		rumpuser_cv_destroy(lts.ucv);
    121      1.20  pooka 
    122      1.20  pooka 	return rv;
    123      1.20  pooka }
    124      1.20  pooka 
    125       1.1  pooka int
    126       1.1  pooka ltsleep(wchan_t ident, pri_t prio, const char *wmesg, int timo,
    127       1.1  pooka 	volatile struct simplelock *slock)
    128       1.1  pooka {
    129  1.25.4.2  rmind 	int rv, nlocks;
    130       1.1  pooka 
    131  1.25.4.3  rmind 	if (slock)
    132  1.25.4.3  rmind 		simple_unlock(slock);
    133  1.25.4.3  rmind 
    134  1.25.4.2  rmind 	/*
    135  1.25.4.2  rmind 	 * Since we cannot use slock as the rumpuser interlock,
    136  1.25.4.2  rmind 	 * require that everyone using this prehistoric interface
    137  1.25.4.3  rmind 	 * is biglocked.  Wrap around the biglock and drop lockcnt,
    138  1.25.4.3  rmind 	 * but retain the rumpuser mutex so that we can use it as an
    139  1.25.4.3  rmind 	 * interlock to rumpuser_cv_wait().
    140  1.25.4.2  rmind 	 */
    141  1.25.4.3  rmind 	rump_kernel_bigwrap(&nlocks);
    142  1.25.4.2  rmind 	rv = sleeper(ident, timo, NULL);
    143  1.25.4.3  rmind 	rump_kernel_bigunwrap(nlocks);
    144      1.16  pooka 
    145      1.13  pooka 	if (slock && (prio & PNORELOCK) == 0)
    146      1.13  pooka 		simple_lock(slock);
    147      1.13  pooka 
    148      1.20  pooka 	return rv;
    149       1.1  pooka }
    150       1.1  pooka 
    151       1.4     ad int
    152       1.4     ad mtsleep(wchan_t ident, pri_t prio, const char *wmesg, int timo,
    153       1.4     ad 	kmutex_t *lock)
    154       1.4     ad {
    155      1.20  pooka 	int rv;
    156      1.15  pooka 
    157  1.25.4.2  rmind 	rv = sleeper(ident, timo, lock);
    158  1.25.4.2  rmind 	if (prio & PNORELOCK)
    159  1.25.4.2  rmind 		mutex_exit(lock);
    160       1.4     ad 
    161      1.20  pooka 	return rv;
    162       1.4     ad }
    163       1.4     ad 
    164      1.18  pooka static void
    165  1.25.4.2  rmind do_wakeup(wchan_t ident, bool wakeup_all)
    166       1.1  pooka {
    167       1.1  pooka 	struct ltsleeper *ltsp;
    168       1.1  pooka 
    169  1.25.4.2  rmind 	rumpuser_mutex_enter_nowrap(qlock);
    170      1.17  pooka 	LIST_FOREACH(ltsp, &sleepers, entries) {
    171      1.17  pooka 		if (ltsp->id == ident) {
    172  1.25.4.2  rmind 			if (wakeup_all) {
    173  1.25.4.2  rmind 				if (ltsp->iskwait) {
    174  1.25.4.2  rmind 					cv_broadcast(&ltsp->kcv);
    175  1.25.4.2  rmind 				} else {
    176  1.25.4.2  rmind 					rumpuser_cv_broadcast(ltsp->ucv);
    177  1.25.4.2  rmind 				}
    178  1.25.4.2  rmind 			} else {
    179  1.25.4.2  rmind 				if (ltsp->iskwait) {
    180  1.25.4.2  rmind 					cv_signal(&ltsp->kcv);
    181  1.25.4.2  rmind 				} else {
    182  1.25.4.2  rmind 					rumpuser_cv_signal(ltsp->ucv);
    183  1.25.4.2  rmind 				}
    184  1.25.4.2  rmind 			}
    185      1.17  pooka 		}
    186      1.17  pooka 	}
    187  1.25.4.2  rmind 	rumpuser_mutex_exit(qlock);
    188       1.1  pooka }
    189       1.1  pooka 
    190       1.1  pooka void
    191      1.18  pooka wakeup(wchan_t ident)
    192      1.18  pooka {
    193      1.18  pooka 
    194  1.25.4.2  rmind 	do_wakeup(ident, true);
    195      1.18  pooka }
    196      1.18  pooka 
    197      1.18  pooka void
    198      1.12  pooka wakeup_one(wchan_t ident)
    199      1.12  pooka {
    200      1.12  pooka 
    201  1.25.4.2  rmind 	do_wakeup(ident, false);
    202  1.25.4.2  rmind }
    203  1.25.4.2  rmind 
    204  1.25.4.2  rmind void
    205  1.25.4.2  rmind rump_tsleep_init()
    206  1.25.4.2  rmind {
    207  1.25.4.2  rmind 
    208  1.25.4.2  rmind 	rumpuser_mutex_init(&qlock);
    209      1.12  pooka }
    210