Home | History | Annotate | Line # | Download | only in rumpkern
sleepq.c revision 1.6.4.1
      1  1.6.4.1  rmind /*	$NetBSD: sleepq.c,v 1.6.4.1 2011/03/05 20:56:15 rmind Exp $	*/
      2      1.1  pooka 
      3      1.1  pooka /*
      4      1.1  pooka  * Copyright (c) 2008 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.2  pooka #include <sys/cdefs.h>
     29  1.6.4.1  rmind __KERNEL_RCSID(0, "$NetBSD: sleepq.c,v 1.6.4.1 2011/03/05 20:56:15 rmind Exp $");
     30      1.2  pooka 
     31      1.1  pooka #include <sys/param.h>
     32      1.1  pooka #include <sys/condvar.h>
     33      1.1  pooka #include <sys/mutex.h>
     34      1.6  pooka #include <sys/once.h>
     35      1.1  pooka #include <sys/queue.h>
     36      1.1  pooka #include <sys/sleepq.h>
     37      1.1  pooka #include <sys/syncobj.h>
     38  1.6.4.1  rmind #include <sys/atomic.h>
     39      1.1  pooka 
     40      1.3  pooka #include "rump_private.h"
     41      1.3  pooka 
     42      1.1  pooka /*
     43      1.1  pooka  * Flimsy and minimalistic sleepq implementation.  This is implemented
     44      1.1  pooka  * only for the use of callouts in kern_timeout.c.  locking etc is
     45      1.1  pooka  * completely incorrect, horrible, etc etc etc.
     46      1.1  pooka  */
     47      1.1  pooka 
     48      1.1  pooka syncobj_t sleep_syncobj;
     49      1.1  pooka static kcondvar_t sq_cv;
     50      1.1  pooka 
     51      1.6  pooka static int
     52      1.6  pooka sqinit1(void)
     53      1.6  pooka {
     54      1.6  pooka 
     55      1.6  pooka 	cv_init(&sq_cv, "sleepq");
     56      1.6  pooka 
     57      1.6  pooka 	return 0;
     58      1.6  pooka }
     59      1.6  pooka 
     60      1.1  pooka void
     61      1.1  pooka sleepq_init(sleepq_t *sq)
     62      1.1  pooka {
     63      1.6  pooka 	ONCE_DECL(sqctl);
     64      1.6  pooka 
     65      1.6  pooka 	RUN_ONCE(&sqctl, sqinit1);
     66      1.1  pooka 
     67      1.1  pooka 	TAILQ_INIT(sq);
     68      1.1  pooka }
     69      1.1  pooka 
     70      1.1  pooka void
     71      1.1  pooka sleepq_enqueue(sleepq_t *sq, wchan_t wc, const char *wmsg, syncobj_t *sob)
     72      1.1  pooka {
     73      1.1  pooka 	struct lwp *l = curlwp;
     74      1.1  pooka 
     75      1.1  pooka 	l->l_wchan = wc;
     76  1.6.4.1  rmind 	l->l_wmesg = wmsg;
     77      1.3  pooka 	l->l_sleepq = sq;
     78      1.1  pooka 	TAILQ_INSERT_TAIL(sq, l, l_sleepchain);
     79      1.1  pooka }
     80      1.1  pooka 
     81      1.1  pooka int
     82      1.3  pooka sleepq_block(int timo, bool catch)
     83      1.1  pooka {
     84      1.1  pooka 	struct lwp *l = curlwp;
     85      1.3  pooka 	int error = 0;
     86      1.3  pooka 	kmutex_t *mp = l->l_mutex;
     87      1.3  pooka 	int biglocks = l->l_biglocks;
     88      1.1  pooka 
     89      1.3  pooka 	while (l->l_wchan) {
     90  1.6.4.1  rmind 		l->l_mutex = mp; /* keep sleepq lock until woken up */
     91  1.6.4.1  rmind 		error = cv_timedwait(&sq_cv, mp, timo);
     92  1.6.4.1  rmind 		if (error == EWOULDBLOCK || error == EINTR) {
     93  1.6.4.1  rmind 			if (l->l_wchan) {
     94  1.6.4.1  rmind 				TAILQ_REMOVE(l->l_sleepq, l, l_sleepchain);
     95  1.6.4.1  rmind 				l->l_wchan = NULL;
     96  1.6.4.1  rmind 				l->l_wmesg = NULL;
     97  1.6.4.1  rmind 			}
     98      1.4  pooka 		}
     99      1.3  pooka 	}
    100      1.3  pooka 	mutex_spin_exit(mp);
    101      1.1  pooka 
    102      1.3  pooka 	if (biglocks)
    103      1.3  pooka 		KERNEL_LOCK(biglocks, curlwp);
    104      1.1  pooka 
    105      1.3  pooka 	return error;
    106      1.1  pooka }
    107      1.1  pooka 
    108      1.1  pooka lwp_t *
    109      1.1  pooka sleepq_wake(sleepq_t *sq, wchan_t wchan, u_int expected, kmutex_t *mp)
    110      1.1  pooka {
    111      1.3  pooka 	struct lwp *l, *l_next;
    112      1.1  pooka 	bool found = false;
    113      1.1  pooka 
    114      1.3  pooka 	if (__predict_false(expected != -1))
    115      1.3  pooka 		panic("sleepq_wake: \"expected\" not supported");
    116      1.3  pooka 
    117      1.3  pooka 	for (l = TAILQ_FIRST(sq); l; l = l_next) {
    118      1.3  pooka 		l_next = TAILQ_NEXT(l, l_sleepchain);
    119      1.1  pooka 		if (l->l_wchan == wchan) {
    120      1.1  pooka 			found = true;
    121      1.1  pooka 			l->l_wchan = NULL;
    122  1.6.4.1  rmind 			l->l_wmesg = NULL;
    123      1.3  pooka 			TAILQ_REMOVE(sq, l, l_sleepchain);
    124      1.1  pooka 		}
    125      1.1  pooka 	}
    126      1.1  pooka 	if (found)
    127      1.1  pooka 		cv_broadcast(&sq_cv);
    128      1.1  pooka 
    129      1.1  pooka 	mutex_spin_exit(mp);
    130      1.1  pooka 	return NULL;
    131      1.1  pooka }
    132      1.1  pooka 
    133      1.5  rmind void
    134      1.3  pooka sleepq_unsleep(struct lwp *l, bool cleanup)
    135      1.3  pooka {
    136      1.3  pooka 
    137      1.3  pooka 	l->l_wchan = NULL;
    138  1.6.4.1  rmind 	l->l_wmesg = NULL;
    139      1.3  pooka 	TAILQ_REMOVE(l->l_sleepq, l, l_sleepchain);
    140      1.3  pooka 	cv_broadcast(&sq_cv);
    141      1.3  pooka 
    142      1.3  pooka 	if (cleanup) {
    143      1.3  pooka 		mutex_spin_exit(l->l_mutex);
    144      1.3  pooka 	}
    145      1.3  pooka }
    146      1.3  pooka 
    147      1.1  pooka /*
    148      1.3  pooka  * Thread scheduler handles priorities.  Therefore no action here.
    149      1.3  pooka  * (maybe do something if we're deperate?)
    150      1.3  pooka  */
    151      1.3  pooka void
    152      1.3  pooka sleepq_changepri(struct lwp *l, pri_t pri)
    153      1.3  pooka {
    154      1.3  pooka 
    155      1.3  pooka }
    156      1.3  pooka 
    157      1.3  pooka void
    158      1.3  pooka sleepq_lendpri(struct lwp *l, pri_t pri)
    159      1.3  pooka {
    160      1.3  pooka 
    161      1.3  pooka }
    162      1.3  pooka 
    163      1.3  pooka struct lwp *
    164      1.3  pooka syncobj_noowner(wchan_t wc)
    165      1.3  pooka {
    166      1.3  pooka 
    167      1.3  pooka 	return NULL;
    168      1.3  pooka }
    169      1.3  pooka 
    170  1.6.4.1  rmind void
    171  1.6.4.1  rmind lwp_unlock_to(struct lwp *l, kmutex_t *new)
    172      1.1  pooka {
    173  1.6.4.1  rmind 	kmutex_t *old;
    174      1.1  pooka 
    175  1.6.4.1  rmind 	KASSERT(mutex_owned(l->l_mutex));
    176  1.6.4.1  rmind 
    177  1.6.4.1  rmind 	old = l->l_mutex;
    178  1.6.4.1  rmind 	membar_exit();
    179  1.6.4.1  rmind 	l->l_mutex = new;
    180  1.6.4.1  rmind 	mutex_spin_exit(old);
    181      1.1  pooka }
    182