Home | History | Annotate | Line # | Download | only in kern
kern_turnstile.c revision 1.9
      1  1.9  yamt /*	$NetBSD: kern_turnstile.c,v 1.9 2007/05/17 14:51:41 yamt Exp $	*/
      2  1.2    ad 
      3  1.2    ad /*-
      4  1.2    ad  * Copyright (c) 2002, 2006, 2007 The NetBSD Foundation, Inc.
      5  1.2    ad  * All rights reserved.
      6  1.2    ad  *
      7  1.2    ad  * This code is derived from software contributed to The NetBSD Foundation
      8  1.2    ad  * by Jason R. Thorpe and Andrew Doran.
      9  1.2    ad  *
     10  1.2    ad  * Redistribution and use in source and binary forms, with or without
     11  1.2    ad  * modification, are permitted provided that the following conditions
     12  1.2    ad  * are met:
     13  1.2    ad  * 1. Redistributions of source code must retain the above copyright
     14  1.2    ad  *    notice, this list of conditions and the following disclaimer.
     15  1.2    ad  * 2. Redistributions in binary form must reproduce the above copyright
     16  1.2    ad  *    notice, this list of conditions and the following disclaimer in the
     17  1.2    ad  *    documentation and/or other materials provided with the distribution.
     18  1.2    ad  * 3. All advertising materials mentioning features or use of this software
     19  1.2    ad  *    must display the following acknowledgement:
     20  1.2    ad  *	This product includes software developed by the NetBSD
     21  1.2    ad  *	Foundation, Inc. and its contributors.
     22  1.2    ad  * 4. Neither the name of The NetBSD Foundation nor the names of its
     23  1.2    ad  *    contributors may be used to endorse or promote products derived
     24  1.2    ad  *    from this software without specific prior written permission.
     25  1.2    ad  *
     26  1.2    ad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     27  1.2    ad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     28  1.2    ad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     29  1.2    ad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     30  1.2    ad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     31  1.2    ad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     32  1.2    ad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     33  1.2    ad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     34  1.2    ad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     35  1.2    ad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     36  1.2    ad  * POSSIBILITY OF SUCH DAMAGE.
     37  1.2    ad  */
     38  1.2    ad 
     39  1.2    ad /*
     40  1.2    ad  * Turnstiles are described in detail in:
     41  1.2    ad  *
     42  1.2    ad  *	Solaris Internals: Core Kernel Architecture, Jim Mauro and
     43  1.2    ad  *	    Richard McDougall.
     44  1.2    ad  *
     45  1.2    ad  * Turnstiles are kept in a hash table.  There are likely to be many more
     46  1.2    ad  * synchronisation objects than there are threads.  Since a thread can block
     47  1.2    ad  * on only one lock at a time, we only need one turnstile per thread, and
     48  1.2    ad  * so they are allocated at thread creation time.
     49  1.2    ad  *
     50  1.2    ad  * When a thread decides it needs to block on a lock, it looks up the
     51  1.2    ad  * active turnstile for that lock.  If no active turnstile exists, then
     52  1.2    ad  * the process lends its turnstile to the lock.  If there is already an
     53  1.2    ad  * active turnstile for the lock, the thread places its turnstile on a
     54  1.2    ad  * list of free turnstiles, and references the active one instead.
     55  1.2    ad  *
     56  1.2    ad  * The act of looking up the turnstile acquires an interlock on the sleep
     57  1.2    ad  * queue.  If a thread decides it doesn't need to block after all, then this
     58  1.2    ad  * interlock must be released by explicitly aborting the turnstile
     59  1.2    ad  * operation.
     60  1.2    ad  *
     61  1.2    ad  * When a thread is awakened, it needs to get its turnstile back.  If there
     62  1.2    ad  * are still other threads waiting in the active turnstile, the the thread
     63  1.2    ad  * grabs a free turnstile off the free list.  Otherwise, it can take back
     64  1.2    ad  * the active turnstile from the lock (thus deactivating the turnstile).
     65  1.2    ad  *
     66  1.4  yamt  * Turnstiles are the place to do priority inheritence.
     67  1.2    ad  */
     68  1.2    ad 
     69  1.2    ad #include <sys/cdefs.h>
     70  1.9  yamt __KERNEL_RCSID(0, "$NetBSD: kern_turnstile.c,v 1.9 2007/05/17 14:51:41 yamt Exp $");
     71  1.2    ad 
     72  1.2    ad #include <sys/param.h>
     73  1.2    ad #include <sys/lock.h>
     74  1.4  yamt #include <sys/lockdebug.h>
     75  1.2    ad #include <sys/pool.h>
     76  1.2    ad #include <sys/proc.h>
     77  1.2    ad #include <sys/sleepq.h>
     78  1.2    ad #include <sys/systm.h>
     79  1.2    ad 
     80  1.3    ad #include <uvm/uvm_extern.h>
     81  1.3    ad 
     82  1.2    ad #define	TS_HASH_SIZE	64
     83  1.2    ad #define	TS_HASH_MASK	(TS_HASH_SIZE - 1)
     84  1.2    ad #define	TS_HASH(obj)	(((uintptr_t)(obj) >> 3) & TS_HASH_MASK)
     85  1.2    ad 
     86  1.2    ad tschain_t	turnstile_tab[TS_HASH_SIZE];
     87  1.2    ad 
     88  1.2    ad struct pool turnstile_pool;
     89  1.2    ad struct pool_cache turnstile_cache;
     90  1.2    ad 
     91  1.2    ad int	turnstile_ctor(void *, void *, int);
     92  1.2    ad 
     93  1.2    ad extern turnstile_t turnstile0;
     94  1.2    ad 
     95  1.2    ad /*
     96  1.2    ad  * turnstile_init:
     97  1.2    ad  *
     98  1.2    ad  *	Initialize the turnstile mechanism.
     99  1.2    ad  */
    100  1.2    ad void
    101  1.2    ad turnstile_init(void)
    102  1.2    ad {
    103  1.2    ad 	tschain_t *tc;
    104  1.2    ad 	int i;
    105  1.2    ad 
    106  1.2    ad 	for (i = 0; i < TS_HASH_SIZE; i++) {
    107  1.2    ad 		tc = &turnstile_tab[i];
    108  1.2    ad 		LIST_INIT(&tc->tc_chain);
    109  1.9  yamt 		mutex_init(&tc->tc_mutex, MUTEX_SPIN, IPL_SCHED);
    110  1.2    ad 	}
    111  1.2    ad 
    112  1.2    ad 	pool_init(&turnstile_pool, sizeof(turnstile_t), 0, 0, 0,
    113  1.7    ad 	    "tstilepl", &pool_allocator_nointr, IPL_NONE);
    114  1.2    ad 	pool_cache_init(&turnstile_cache, &turnstile_pool,
    115  1.2    ad 	    turnstile_ctor, NULL, NULL);
    116  1.2    ad 
    117  1.2    ad 	(void)turnstile_ctor(NULL, &turnstile0, 0);
    118  1.2    ad }
    119  1.2    ad 
    120  1.2    ad /*
    121  1.2    ad  * turnstile_ctor:
    122  1.2    ad  *
    123  1.2    ad  *	Constructor for turnstiles.
    124  1.2    ad  */
    125  1.2    ad int
    126  1.2    ad turnstile_ctor(void *arg, void *obj, int flags)
    127  1.2    ad {
    128  1.2    ad 	turnstile_t *ts = obj;
    129  1.2    ad 
    130  1.2    ad 	memset(ts, 0, sizeof(*ts));
    131  1.2    ad 	sleepq_init(&ts->ts_sleepq[TS_READER_Q], NULL);
    132  1.2    ad 	sleepq_init(&ts->ts_sleepq[TS_WRITER_Q], NULL);
    133  1.2    ad 	return (0);
    134  1.2    ad }
    135  1.2    ad 
    136  1.2    ad /*
    137  1.2    ad  * turnstile_remove:
    138  1.2    ad  *
    139  1.2    ad  *	Remove an LWP from a turnstile sleep queue and wake it.
    140  1.2    ad  */
    141  1.9  yamt static inline void
    142  1.2    ad turnstile_remove(turnstile_t *ts, struct lwp *l, sleepq_t *sq)
    143  1.2    ad {
    144  1.2    ad 	turnstile_t *nts;
    145  1.2    ad 
    146  1.2    ad 	KASSERT(l->l_ts == ts);
    147  1.2    ad 
    148  1.2    ad 	/*
    149  1.2    ad 	 * This process is no longer using the active turnstile.
    150  1.2    ad 	 * Find an inactive one on the free list to give to it.
    151  1.2    ad 	 */
    152  1.2    ad 	if ((nts = ts->ts_free) != NULL) {
    153  1.2    ad 		KASSERT(TS_ALL_WAITERS(ts) > 1);
    154  1.2    ad 		l->l_ts = nts;
    155  1.2    ad 		ts->ts_free = nts->ts_free;
    156  1.2    ad 		nts->ts_free = NULL;
    157  1.2    ad 	} else {
    158  1.2    ad 		/*
    159  1.2    ad 		 * If the free list is empty, this is the last
    160  1.2    ad 		 * waiter.
    161  1.2    ad 		 */
    162  1.2    ad 		KASSERT(TS_ALL_WAITERS(ts) == 1);
    163  1.2    ad 		LIST_REMOVE(ts, ts_chain);
    164  1.2    ad 	}
    165  1.2    ad 
    166  1.9  yamt 	(void)sleepq_remove(sq, l);
    167  1.2    ad }
    168  1.2    ad 
    169  1.2    ad /*
    170  1.2    ad  * turnstile_lookup:
    171  1.2    ad  *
    172  1.2    ad  *	Look up the turnstile for the specified lock.  This acquires and
    173  1.2    ad  *	holds the turnstile chain lock (sleep queue interlock).
    174  1.2    ad  */
    175  1.2    ad turnstile_t *
    176  1.2    ad turnstile_lookup(wchan_t obj)
    177  1.2    ad {
    178  1.2    ad 	turnstile_t *ts;
    179  1.2    ad 	tschain_t *tc;
    180  1.2    ad 
    181  1.2    ad 	tc = &turnstile_tab[TS_HASH(obj)];
    182  1.9  yamt 	mutex_spin_enter(&tc->tc_mutex);
    183  1.2    ad 
    184  1.2    ad 	LIST_FOREACH(ts, &tc->tc_chain, ts_chain)
    185  1.2    ad 		if (ts->ts_obj == obj)
    186  1.2    ad 			return (ts);
    187  1.2    ad 
    188  1.2    ad 	/*
    189  1.2    ad 	 * No turnstile yet for this lock.  No problem, turnstile_block()
    190  1.2    ad 	 * handles this by fetching the turnstile from the blocking thread.
    191  1.2    ad 	 */
    192  1.2    ad 	return (NULL);
    193  1.2    ad }
    194  1.2    ad 
    195  1.2    ad /*
    196  1.2    ad  * turnstile_exit:
    197  1.2    ad  *
    198  1.2    ad  *	Abort a turnstile operation.
    199  1.2    ad  */
    200  1.2    ad void
    201  1.2    ad turnstile_exit(wchan_t obj)
    202  1.2    ad {
    203  1.2    ad 	tschain_t *tc;
    204  1.2    ad 
    205  1.2    ad 	tc = &turnstile_tab[TS_HASH(obj)];
    206  1.9  yamt 	mutex_spin_exit(&tc->tc_mutex);
    207  1.2    ad }
    208  1.2    ad 
    209  1.2    ad /*
    210  1.2    ad  * turnstile_block:
    211  1.2    ad  *
    212  1.2    ad  *	 Enter an object into the turnstile chain and prepare the current
    213  1.2    ad  *	 LWP for sleep.
    214  1.2    ad  */
    215  1.2    ad void
    216  1.4  yamt turnstile_block(turnstile_t *ts, int q, wchan_t obj, syncobj_t *sobj)
    217  1.2    ad {
    218  1.2    ad 	struct lwp *l;
    219  1.4  yamt 	struct lwp *cur; /* cached curlwp */
    220  1.4  yamt 	struct lwp *owner;
    221  1.2    ad 	turnstile_t *ots;
    222  1.2    ad 	tschain_t *tc;
    223  1.2    ad 	sleepq_t *sq;
    224  1.6  yamt 	pri_t prio;
    225  1.2    ad 
    226  1.2    ad 	tc = &turnstile_tab[TS_HASH(obj)];
    227  1.4  yamt 	l = cur = curlwp;
    228  1.2    ad 
    229  1.2    ad 	KASSERT(q == TS_READER_Q || q == TS_WRITER_Q);
    230  1.9  yamt 	KASSERT(mutex_owned(&tc->tc_mutex));
    231  1.2    ad 	KASSERT(l != NULL && l->l_ts != NULL);
    232  1.2    ad 
    233  1.2    ad 	if (ts == NULL) {
    234  1.2    ad 		/*
    235  1.2    ad 		 * We are the first thread to wait for this object;
    236  1.2    ad 		 * lend our turnstile to it.
    237  1.2    ad 		 */
    238  1.2    ad 		ts = l->l_ts;
    239  1.2    ad 		KASSERT(TS_ALL_WAITERS(ts) == 0);
    240  1.2    ad 		KASSERT(TAILQ_EMPTY(&ts->ts_sleepq[TS_READER_Q].sq_queue) &&
    241  1.2    ad 			TAILQ_EMPTY(&ts->ts_sleepq[TS_WRITER_Q].sq_queue));
    242  1.2    ad 		ts->ts_obj = obj;
    243  1.4  yamt 		ts->ts_inheritor = NULL;
    244  1.9  yamt 		ts->ts_sleepq[TS_READER_Q].sq_mutex = &tc->tc_mutex;
    245  1.9  yamt 		ts->ts_sleepq[TS_WRITER_Q].sq_mutex = &tc->tc_mutex;
    246  1.2    ad 		LIST_INSERT_HEAD(&tc->tc_chain, ts, ts_chain);
    247  1.2    ad 	} else {
    248  1.2    ad 		/*
    249  1.2    ad 		 * Object already has a turnstile.  Put our turnstile
    250  1.2    ad 		 * onto the free list, and reference the existing
    251  1.2    ad 		 * turnstile instead.
    252  1.2    ad 		 */
    253  1.2    ad 		ots = l->l_ts;
    254  1.2    ad 		ots->ts_free = ts->ts_free;
    255  1.2    ad 		ts->ts_free = ots;
    256  1.2    ad 		l->l_ts = ts;
    257  1.2    ad 
    258  1.4  yamt 		KASSERT(ts->ts_obj == obj);
    259  1.2    ad 		KASSERT(TS_ALL_WAITERS(ts) != 0);
    260  1.2    ad 		KASSERT(!TAILQ_EMPTY(&ts->ts_sleepq[TS_READER_Q].sq_queue) ||
    261  1.2    ad 			!TAILQ_EMPTY(&ts->ts_sleepq[TS_WRITER_Q].sq_queue));
    262  1.2    ad 	}
    263  1.2    ad 
    264  1.2    ad 	sq = &ts->ts_sleepq[q];
    265  1.2    ad 	sleepq_enter(sq, l);
    266  1.9  yamt 	LOCKDEBUG_BARRIER(&tc->tc_mutex, 1);
    267  1.9  yamt 	l->l_priority = sched_kpri(l);
    268  1.4  yamt 	prio = lwp_eprio(l);
    269  1.4  yamt 	sleepq_enqueue(sq, prio, obj, "tstile", sobj);
    270  1.4  yamt 
    271  1.4  yamt 	/*
    272  1.4  yamt 	 * lend our priority to lwps on the blocking chain.
    273  1.4  yamt 	 */
    274  1.4  yamt 
    275  1.4  yamt 	for (;;) {
    276  1.4  yamt 		bool dolock;
    277  1.4  yamt 
    278  1.4  yamt 		if (l->l_wchan == NULL)
    279  1.4  yamt 			break;
    280  1.4  yamt 
    281  1.4  yamt 		owner = (*l->l_syncobj->sobj_owner)(l->l_wchan);
    282  1.4  yamt 		if (owner == NULL)
    283  1.4  yamt 			break;
    284  1.4  yamt 
    285  1.4  yamt 		KASSERT(l != owner);
    286  1.4  yamt 		KASSERT(cur != owner);
    287  1.4  yamt 
    288  1.4  yamt 		if (l->l_mutex != owner->l_mutex)
    289  1.4  yamt 			dolock = true;
    290  1.4  yamt 		else
    291  1.4  yamt 			dolock = false;
    292  1.4  yamt 		if (dolock && !lwp_trylock(owner)) {
    293  1.4  yamt 			/*
    294  1.4  yamt 			 * restart from curlwp.
    295  1.4  yamt 			 */
    296  1.4  yamt 			lwp_unlock(l);
    297  1.4  yamt 			l = cur;
    298  1.4  yamt 			lwp_lock(l);
    299  1.4  yamt 			prio = lwp_eprio(l);
    300  1.4  yamt 			continue;
    301  1.4  yamt 		}
    302  1.4  yamt 		if (prio >= lwp_eprio(owner)) {
    303  1.4  yamt 			if (dolock)
    304  1.4  yamt 				lwp_unlock(owner);
    305  1.4  yamt 			break;
    306  1.4  yamt 		}
    307  1.4  yamt 		ts = l->l_ts;
    308  1.4  yamt 		KASSERT(ts->ts_inheritor == owner || ts->ts_inheritor == NULL);
    309  1.4  yamt 		if (ts->ts_inheritor == NULL) {
    310  1.4  yamt 			ts->ts_inheritor = owner;
    311  1.4  yamt 			ts->ts_eprio = prio;
    312  1.4  yamt 			SLIST_INSERT_HEAD(&owner->l_pi_lenders, ts, ts_pichain);
    313  1.4  yamt 			lwp_lendpri(owner, prio);
    314  1.4  yamt 		} else if (prio < ts->ts_eprio) {
    315  1.4  yamt 			ts->ts_eprio = prio;
    316  1.4  yamt 			lwp_lendpri(owner, prio);
    317  1.4  yamt 		}
    318  1.4  yamt 		if (dolock)
    319  1.4  yamt 			lwp_unlock(l);
    320  1.4  yamt 		l = owner;
    321  1.4  yamt 	}
    322  1.4  yamt 	LOCKDEBUG_BARRIER(l->l_mutex, 1);
    323  1.4  yamt 	if (cur->l_mutex != l->l_mutex) {
    324  1.4  yamt 		lwp_unlock(l);
    325  1.4  yamt 		lwp_lock(cur);
    326  1.4  yamt 	}
    327  1.4  yamt 	LOCKDEBUG_BARRIER(cur->l_mutex, 1);
    328  1.4  yamt 
    329  1.9  yamt 	sleepq_block(0, false);
    330  1.2    ad }
    331  1.2    ad 
    332  1.2    ad /*
    333  1.2    ad  * turnstile_wakeup:
    334  1.2    ad  *
    335  1.2    ad  *	Wake up the specified number of threads that are blocked
    336  1.2    ad  *	in a turnstile.
    337  1.2    ad  */
    338  1.2    ad void
    339  1.2    ad turnstile_wakeup(turnstile_t *ts, int q, int count, struct lwp *nl)
    340  1.2    ad {
    341  1.2    ad 	sleepq_t *sq;
    342  1.2    ad 	tschain_t *tc;
    343  1.2    ad 	struct lwp *l;
    344  1.2    ad 
    345  1.2    ad 	tc = &turnstile_tab[TS_HASH(ts->ts_obj)];
    346  1.2    ad 	sq = &ts->ts_sleepq[q];
    347  1.2    ad 
    348  1.2    ad 	KASSERT(q == TS_READER_Q || q == TS_WRITER_Q);
    349  1.2    ad 	KASSERT(count > 0 && count <= TS_WAITERS(ts, q));
    350  1.9  yamt 	KASSERT(mutex_owned(&tc->tc_mutex) && sq->sq_mutex == &tc->tc_mutex);
    351  1.4  yamt 	KASSERT(ts->ts_inheritor == curlwp || ts->ts_inheritor == NULL);
    352  1.4  yamt 
    353  1.4  yamt 	/*
    354  1.4  yamt 	 * restore inherited priority if necessary.
    355  1.4  yamt 	 */
    356  1.4  yamt 
    357  1.4  yamt 	if (ts->ts_inheritor != NULL) {
    358  1.4  yamt 		turnstile_t *iter;
    359  1.4  yamt 		turnstile_t *next;
    360  1.4  yamt 		turnstile_t *prev = NULL;
    361  1.6  yamt 		pri_t prio;
    362  1.9  yamt 		bool dolock;
    363  1.4  yamt 
    364  1.4  yamt 		ts->ts_inheritor = NULL;
    365  1.4  yamt 		l = curlwp;
    366  1.8    ad 
    367  1.9  yamt 		dolock = l->l_mutex == &l->l_cpu->ci_schedstate.spc_lwplock;
    368  1.9  yamt 		if (dolock) {
    369  1.9  yamt 			lwp_lock(l);
    370  1.8    ad 		}
    371  1.4  yamt 
    372  1.4  yamt 		/*
    373  1.4  yamt 		 * the following loop does two things.
    374  1.4  yamt 		 *
    375  1.4  yamt 		 * - remove ts from the list.
    376  1.4  yamt 		 *
    377  1.4  yamt 		 * - from the rest of the list, find the highest priority.
    378  1.4  yamt 		 */
    379  1.4  yamt 
    380  1.4  yamt 		prio = MAXPRI;
    381  1.4  yamt 		KASSERT(!SLIST_EMPTY(&l->l_pi_lenders));
    382  1.4  yamt 		for (iter = SLIST_FIRST(&l->l_pi_lenders);
    383  1.4  yamt 		    iter != NULL; iter = next) {
    384  1.4  yamt 			KASSERT(lwp_eprio(l) <= ts->ts_eprio);
    385  1.4  yamt 			next = SLIST_NEXT(iter, ts_pichain);
    386  1.4  yamt 			if (iter == ts) {
    387  1.4  yamt 				if (prev == NULL) {
    388  1.4  yamt 					SLIST_REMOVE_HEAD(&l->l_pi_lenders,
    389  1.4  yamt 					    ts_pichain);
    390  1.4  yamt 				} else {
    391  1.4  yamt 					SLIST_REMOVE_AFTER(prev, ts_pichain);
    392  1.4  yamt 				}
    393  1.4  yamt 			} else if (prio > iter->ts_eprio) {
    394  1.4  yamt 				prio = iter->ts_eprio;
    395  1.4  yamt 			}
    396  1.4  yamt 			prev = iter;
    397  1.4  yamt 		}
    398  1.4  yamt 
    399  1.4  yamt 		lwp_lendpri(l, prio);
    400  1.8    ad 
    401  1.9  yamt 		if (dolock) {
    402  1.9  yamt 			lwp_unlock(l);
    403  1.8    ad 		}
    404  1.4  yamt 	}
    405  1.2    ad 
    406  1.2    ad 	if (nl != NULL) {
    407  1.2    ad #if defined(DEBUG) || defined(LOCKDEBUG)
    408  1.2    ad 		TAILQ_FOREACH(l, &sq->sq_queue, l_sleepchain) {
    409  1.2    ad 			if (l == nl)
    410  1.2    ad 				break;
    411  1.2    ad 		}
    412  1.2    ad 		if (l == NULL)
    413  1.2    ad 			panic("turnstile_wakeup: nl not on sleepq");
    414  1.2    ad #endif
    415  1.9  yamt 		turnstile_remove(ts, nl, sq);
    416  1.2    ad 	} else {
    417  1.2    ad 		while (count-- > 0) {
    418  1.2    ad 			l = TAILQ_FIRST(&sq->sq_queue);
    419  1.2    ad 			KASSERT(l != NULL);
    420  1.9  yamt 			turnstile_remove(ts, l, sq);
    421  1.2    ad 		}
    422  1.2    ad 	}
    423  1.9  yamt 	mutex_spin_exit(&tc->tc_mutex);
    424  1.2    ad }
    425  1.2    ad 
    426  1.2    ad /*
    427  1.2    ad  * turnstile_unsleep:
    428  1.2    ad  *
    429  1.2    ad  *	Remove an LWP from the turnstile.  This is called when the LWP has
    430  1.2    ad  *	not been awoken normally but instead interrupted: for example, if it
    431  1.2    ad  *	has received a signal.  It's not a valid action for turnstiles,
    432  1.2    ad  *	since LWPs blocking on a turnstile are not interruptable.
    433  1.2    ad  */
    434  1.2    ad void
    435  1.2    ad turnstile_unsleep(struct lwp *l)
    436  1.2    ad {
    437  1.2    ad 
    438  1.2    ad 	lwp_unlock(l);
    439  1.2    ad 	panic("turnstile_unsleep");
    440  1.2    ad }
    441  1.2    ad 
    442  1.2    ad /*
    443  1.2    ad  * turnstile_changepri:
    444  1.2    ad  *
    445  1.4  yamt  *	Adjust the priority of an LWP residing on a turnstile.
    446  1.2    ad  */
    447  1.2    ad void
    448  1.6  yamt turnstile_changepri(struct lwp *l, pri_t pri)
    449  1.2    ad {
    450  1.2    ad 
    451  1.4  yamt 	/* XXX priority inheritance */
    452  1.4  yamt 	sleepq_changepri(l, pri);
    453  1.2    ad }
    454  1.2    ad 
    455  1.2    ad #if defined(LOCKDEBUG)
    456  1.2    ad /*
    457  1.2    ad  * turnstile_print:
    458  1.2    ad  *
    459  1.2    ad  *	Given the address of a lock object, print the contents of a
    460  1.2    ad  *	turnstile.
    461  1.2    ad  */
    462  1.2    ad void
    463  1.2    ad turnstile_print(volatile void *obj, void (*pr)(const char *, ...))
    464  1.2    ad {
    465  1.2    ad 	turnstile_t *ts;
    466  1.2    ad 	tschain_t *tc;
    467  1.2    ad 	sleepq_t *rsq, *wsq;
    468  1.2    ad 	struct lwp *l;
    469  1.2    ad 
    470  1.2    ad 	tc = &turnstile_tab[TS_HASH(obj)];
    471  1.2    ad 
    472  1.2    ad 	LIST_FOREACH(ts, &tc->tc_chain, ts_chain)
    473  1.2    ad 		if (ts->ts_obj == obj)
    474  1.2    ad 			break;
    475  1.2    ad 
    476  1.9  yamt 	(*pr)("Turnstile chain at %p.\n", tc);
    477  1.2    ad 	if (ts == NULL) {
    478  1.2    ad 		(*pr)("=> No active turnstile for this lock.\n");
    479  1.2    ad 		return;
    480  1.2    ad 	}
    481  1.2    ad 
    482  1.2    ad 	rsq = &ts->ts_sleepq[TS_READER_Q];
    483  1.2    ad 	wsq = &ts->ts_sleepq[TS_WRITER_Q];
    484  1.2    ad 
    485  1.2    ad 	(*pr)("=> Turnstile at %p (wrq=%p, rdq=%p).\n", ts, rsq, wsq);
    486  1.2    ad 
    487  1.2    ad 	(*pr)("=> %d waiting readers:", rsq->sq_waiters);
    488  1.2    ad 	TAILQ_FOREACH(l, &rsq->sq_queue, l_sleepchain) {
    489  1.2    ad 		(*pr)(" %p", l);
    490  1.2    ad 	}
    491  1.2    ad 	(*pr)("\n");
    492  1.2    ad 
    493  1.2    ad 	(*pr)("=> %d waiting writers:", wsq->sq_waiters);
    494  1.2    ad 	TAILQ_FOREACH(l, &wsq->sq_queue, l_sleepchain) {
    495  1.2    ad 		(*pr)(" %p", l);
    496  1.2    ad 	}
    497  1.2    ad 	(*pr)("\n");
    498  1.2    ad }
    499  1.2    ad #endif	/* LOCKDEBUG */
    500