Home | History | Annotate | Line # | Download | only in kern
kern_turnstile.c revision 1.10.8.1
      1  1.10.8.1  matt /*	$NetBSD: kern_turnstile.c,v 1.10.8.1 2007/11/06 23:32:06 matt 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.10.8.1  matt __KERNEL_RCSID(0, "$NetBSD: kern_turnstile.c,v 1.10.8.1 2007/11/06 23:32:06 matt 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.10    ad turnstile_remove(turnstile_t *ts, lwp_t *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.10    ad 	lwp_t *l;
    219      1.10    ad 	lwp_t *cur; /* cached curlwp */
    220      1.10    ad 	lwp_t *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.10.8.1  matt 	l->l_kpriority = true;
    268  1.10.8.1  matt 	sleepq_enqueue(sq, obj, "tstile", sobj);
    269       1.4  yamt 
    270       1.4  yamt 	/*
    271       1.4  yamt 	 * lend our priority to lwps on the blocking chain.
    272       1.4  yamt 	 */
    273  1.10.8.1  matt 	prio = lwp_eprio(l);
    274       1.4  yamt 	for (;;) {
    275       1.4  yamt 		bool dolock;
    276       1.4  yamt 
    277       1.4  yamt 		if (l->l_wchan == NULL)
    278       1.4  yamt 			break;
    279       1.4  yamt 
    280       1.4  yamt 		owner = (*l->l_syncobj->sobj_owner)(l->l_wchan);
    281       1.4  yamt 		if (owner == NULL)
    282       1.4  yamt 			break;
    283       1.4  yamt 
    284       1.4  yamt 		KASSERT(l != owner);
    285       1.4  yamt 		KASSERT(cur != owner);
    286       1.4  yamt 
    287       1.4  yamt 		if (l->l_mutex != owner->l_mutex)
    288       1.4  yamt 			dolock = true;
    289       1.4  yamt 		else
    290       1.4  yamt 			dolock = false;
    291       1.4  yamt 		if (dolock && !lwp_trylock(owner)) {
    292       1.4  yamt 			/*
    293       1.4  yamt 			 * restart from curlwp.
    294       1.4  yamt 			 */
    295       1.4  yamt 			lwp_unlock(l);
    296       1.4  yamt 			l = cur;
    297       1.4  yamt 			lwp_lock(l);
    298       1.4  yamt 			prio = lwp_eprio(l);
    299       1.4  yamt 			continue;
    300       1.4  yamt 		}
    301  1.10.8.1  matt 		if (prio <= lwp_eprio(owner)) {
    302       1.4  yamt 			if (dolock)
    303       1.4  yamt 				lwp_unlock(owner);
    304       1.4  yamt 			break;
    305       1.4  yamt 		}
    306       1.4  yamt 		ts = l->l_ts;
    307       1.4  yamt 		KASSERT(ts->ts_inheritor == owner || ts->ts_inheritor == NULL);
    308       1.4  yamt 		if (ts->ts_inheritor == NULL) {
    309       1.4  yamt 			ts->ts_inheritor = owner;
    310       1.4  yamt 			ts->ts_eprio = prio;
    311       1.4  yamt 			SLIST_INSERT_HEAD(&owner->l_pi_lenders, ts, ts_pichain);
    312       1.4  yamt 			lwp_lendpri(owner, prio);
    313  1.10.8.1  matt 		} else if (prio > ts->ts_eprio) {
    314       1.4  yamt 			ts->ts_eprio = prio;
    315       1.4  yamt 			lwp_lendpri(owner, prio);
    316       1.4  yamt 		}
    317       1.4  yamt 		if (dolock)
    318       1.4  yamt 			lwp_unlock(l);
    319       1.4  yamt 		l = owner;
    320       1.4  yamt 	}
    321       1.4  yamt 	LOCKDEBUG_BARRIER(l->l_mutex, 1);
    322       1.4  yamt 	if (cur->l_mutex != l->l_mutex) {
    323       1.4  yamt 		lwp_unlock(l);
    324       1.4  yamt 		lwp_lock(cur);
    325       1.4  yamt 	}
    326       1.4  yamt 	LOCKDEBUG_BARRIER(cur->l_mutex, 1);
    327       1.4  yamt 
    328       1.9  yamt 	sleepq_block(0, false);
    329       1.2    ad }
    330       1.2    ad 
    331       1.2    ad /*
    332       1.2    ad  * turnstile_wakeup:
    333       1.2    ad  *
    334       1.2    ad  *	Wake up the specified number of threads that are blocked
    335       1.2    ad  *	in a turnstile.
    336       1.2    ad  */
    337       1.2    ad void
    338      1.10    ad turnstile_wakeup(turnstile_t *ts, int q, int count, lwp_t *nl)
    339       1.2    ad {
    340       1.2    ad 	sleepq_t *sq;
    341       1.2    ad 	tschain_t *tc;
    342      1.10    ad 	lwp_t *l;
    343       1.2    ad 
    344       1.2    ad 	tc = &turnstile_tab[TS_HASH(ts->ts_obj)];
    345       1.2    ad 	sq = &ts->ts_sleepq[q];
    346       1.2    ad 
    347       1.2    ad 	KASSERT(q == TS_READER_Q || q == TS_WRITER_Q);
    348       1.2    ad 	KASSERT(count > 0 && count <= TS_WAITERS(ts, q));
    349       1.9  yamt 	KASSERT(mutex_owned(&tc->tc_mutex) && sq->sq_mutex == &tc->tc_mutex);
    350       1.4  yamt 	KASSERT(ts->ts_inheritor == curlwp || ts->ts_inheritor == NULL);
    351       1.4  yamt 
    352       1.4  yamt 	/*
    353       1.4  yamt 	 * restore inherited priority if necessary.
    354       1.4  yamt 	 */
    355       1.4  yamt 
    356       1.4  yamt 	if (ts->ts_inheritor != NULL) {
    357       1.4  yamt 		turnstile_t *iter;
    358       1.4  yamt 		turnstile_t *next;
    359       1.4  yamt 		turnstile_t *prev = NULL;
    360       1.6  yamt 		pri_t prio;
    361       1.9  yamt 		bool dolock;
    362       1.4  yamt 
    363       1.4  yamt 		ts->ts_inheritor = NULL;
    364       1.4  yamt 		l = curlwp;
    365       1.8    ad 
    366       1.9  yamt 		dolock = l->l_mutex == &l->l_cpu->ci_schedstate.spc_lwplock;
    367       1.9  yamt 		if (dolock) {
    368       1.9  yamt 			lwp_lock(l);
    369       1.8    ad 		}
    370       1.4  yamt 
    371       1.4  yamt 		/*
    372       1.4  yamt 		 * the following loop does two things.
    373       1.4  yamt 		 *
    374       1.4  yamt 		 * - remove ts from the list.
    375       1.4  yamt 		 *
    376       1.4  yamt 		 * - from the rest of the list, find the highest priority.
    377       1.4  yamt 		 */
    378       1.4  yamt 
    379  1.10.8.1  matt 		prio = -1;
    380       1.4  yamt 		KASSERT(!SLIST_EMPTY(&l->l_pi_lenders));
    381       1.4  yamt 		for (iter = SLIST_FIRST(&l->l_pi_lenders);
    382       1.4  yamt 		    iter != NULL; iter = next) {
    383  1.10.8.1  matt 			KASSERT(lwp_eprio(l) >= ts->ts_eprio);
    384       1.4  yamt 			next = SLIST_NEXT(iter, ts_pichain);
    385       1.4  yamt 			if (iter == ts) {
    386       1.4  yamt 				if (prev == NULL) {
    387       1.4  yamt 					SLIST_REMOVE_HEAD(&l->l_pi_lenders,
    388       1.4  yamt 					    ts_pichain);
    389       1.4  yamt 				} else {
    390       1.4  yamt 					SLIST_REMOVE_AFTER(prev, ts_pichain);
    391       1.4  yamt 				}
    392  1.10.8.1  matt 			} else if (prio < iter->ts_eprio) {
    393       1.4  yamt 				prio = iter->ts_eprio;
    394       1.4  yamt 			}
    395       1.4  yamt 			prev = iter;
    396       1.4  yamt 		}
    397       1.4  yamt 
    398       1.4  yamt 		lwp_lendpri(l, prio);
    399       1.8    ad 
    400       1.9  yamt 		if (dolock) {
    401       1.9  yamt 			lwp_unlock(l);
    402       1.8    ad 		}
    403       1.4  yamt 	}
    404       1.2    ad 
    405       1.2    ad 	if (nl != NULL) {
    406       1.2    ad #if defined(DEBUG) || defined(LOCKDEBUG)
    407       1.2    ad 		TAILQ_FOREACH(l, &sq->sq_queue, l_sleepchain) {
    408       1.2    ad 			if (l == nl)
    409       1.2    ad 				break;
    410       1.2    ad 		}
    411       1.2    ad 		if (l == NULL)
    412       1.2    ad 			panic("turnstile_wakeup: nl not on sleepq");
    413       1.2    ad #endif
    414       1.9  yamt 		turnstile_remove(ts, nl, sq);
    415       1.2    ad 	} else {
    416       1.2    ad 		while (count-- > 0) {
    417       1.2    ad 			l = TAILQ_FIRST(&sq->sq_queue);
    418       1.2    ad 			KASSERT(l != NULL);
    419       1.9  yamt 			turnstile_remove(ts, l, sq);
    420       1.2    ad 		}
    421       1.2    ad 	}
    422       1.9  yamt 	mutex_spin_exit(&tc->tc_mutex);
    423       1.2    ad }
    424       1.2    ad 
    425       1.2    ad /*
    426       1.2    ad  * turnstile_unsleep:
    427       1.2    ad  *
    428       1.2    ad  *	Remove an LWP from the turnstile.  This is called when the LWP has
    429       1.2    ad  *	not been awoken normally but instead interrupted: for example, if it
    430       1.2    ad  *	has received a signal.  It's not a valid action for turnstiles,
    431       1.2    ad  *	since LWPs blocking on a turnstile are not interruptable.
    432       1.2    ad  */
    433       1.2    ad void
    434      1.10    ad turnstile_unsleep(lwp_t *l)
    435       1.2    ad {
    436       1.2    ad 
    437       1.2    ad 	lwp_unlock(l);
    438       1.2    ad 	panic("turnstile_unsleep");
    439       1.2    ad }
    440       1.2    ad 
    441       1.2    ad /*
    442       1.2    ad  * turnstile_changepri:
    443       1.2    ad  *
    444       1.4  yamt  *	Adjust the priority of an LWP residing on a turnstile.
    445       1.2    ad  */
    446       1.2    ad void
    447      1.10    ad turnstile_changepri(lwp_t *l, pri_t pri)
    448       1.2    ad {
    449       1.2    ad 
    450       1.4  yamt 	/* XXX priority inheritance */
    451       1.4  yamt 	sleepq_changepri(l, pri);
    452       1.2    ad }
    453       1.2    ad 
    454       1.2    ad #if defined(LOCKDEBUG)
    455       1.2    ad /*
    456       1.2    ad  * turnstile_print:
    457       1.2    ad  *
    458       1.2    ad  *	Given the address of a lock object, print the contents of a
    459       1.2    ad  *	turnstile.
    460       1.2    ad  */
    461       1.2    ad void
    462       1.2    ad turnstile_print(volatile void *obj, void (*pr)(const char *, ...))
    463       1.2    ad {
    464       1.2    ad 	turnstile_t *ts;
    465       1.2    ad 	tschain_t *tc;
    466       1.2    ad 	sleepq_t *rsq, *wsq;
    467      1.10    ad 	lwp_t *l;
    468       1.2    ad 
    469       1.2    ad 	tc = &turnstile_tab[TS_HASH(obj)];
    470       1.2    ad 
    471       1.2    ad 	LIST_FOREACH(ts, &tc->tc_chain, ts_chain)
    472       1.2    ad 		if (ts->ts_obj == obj)
    473       1.2    ad 			break;
    474       1.2    ad 
    475       1.9  yamt 	(*pr)("Turnstile chain at %p.\n", tc);
    476       1.2    ad 	if (ts == NULL) {
    477       1.2    ad 		(*pr)("=> No active turnstile for this lock.\n");
    478       1.2    ad 		return;
    479       1.2    ad 	}
    480       1.2    ad 
    481       1.2    ad 	rsq = &ts->ts_sleepq[TS_READER_Q];
    482       1.2    ad 	wsq = &ts->ts_sleepq[TS_WRITER_Q];
    483       1.2    ad 
    484       1.2    ad 	(*pr)("=> Turnstile at %p (wrq=%p, rdq=%p).\n", ts, rsq, wsq);
    485       1.2    ad 
    486       1.2    ad 	(*pr)("=> %d waiting readers:", rsq->sq_waiters);
    487       1.2    ad 	TAILQ_FOREACH(l, &rsq->sq_queue, l_sleepchain) {
    488       1.2    ad 		(*pr)(" %p", l);
    489       1.2    ad 	}
    490       1.2    ad 	(*pr)("\n");
    491       1.2    ad 
    492       1.2    ad 	(*pr)("=> %d waiting writers:", wsq->sq_waiters);
    493       1.2    ad 	TAILQ_FOREACH(l, &wsq->sq_queue, l_sleepchain) {
    494       1.2    ad 		(*pr)(" %p", l);
    495       1.2    ad 	}
    496       1.2    ad 	(*pr)("\n");
    497       1.2    ad }
    498       1.2    ad #endif	/* LOCKDEBUG */
    499