Home | History | Annotate | Line # | Download | only in kern
kern_turnstile.c revision 1.32.40.2
      1  1.32.40.1  martin /*	$NetBSD: kern_turnstile.c,v 1.32.40.2 2020/04/21 18:42:42 martin Exp $	*/
      2        1.2      ad 
      3        1.2      ad /*-
      4  1.32.40.1  martin  * Copyright (c) 2002, 2006, 2007, 2009, 2019, 2020
      5  1.32.40.1  martin  *     The NetBSD Foundation, Inc.
      6        1.2      ad  * All rights reserved.
      7        1.2      ad  *
      8        1.2      ad  * This code is derived from software contributed to The NetBSD Foundation
      9        1.2      ad  * by Jason R. Thorpe and Andrew Doran.
     10        1.2      ad  *
     11        1.2      ad  * Redistribution and use in source and binary forms, with or without
     12        1.2      ad  * modification, are permitted provided that the following conditions
     13        1.2      ad  * are met:
     14        1.2      ad  * 1. Redistributions of source code must retain the above copyright
     15        1.2      ad  *    notice, this list of conditions and the following disclaimer.
     16        1.2      ad  * 2. Redistributions in binary form must reproduce the above copyright
     17        1.2      ad  *    notice, this list of conditions and the following disclaimer in the
     18        1.2      ad  *    documentation and/or other materials provided with the distribution.
     19        1.2      ad  *
     20        1.2      ad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     21        1.2      ad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     22        1.2      ad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     23        1.2      ad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     24        1.2      ad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     25        1.2      ad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     26        1.2      ad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     27        1.2      ad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     28        1.2      ad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     29        1.2      ad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     30        1.2      ad  * POSSIBILITY OF SUCH DAMAGE.
     31        1.2      ad  */
     32        1.2      ad 
     33        1.2      ad /*
     34        1.2      ad  * Turnstiles are described in detail in:
     35        1.2      ad  *
     36        1.2      ad  *	Solaris Internals: Core Kernel Architecture, Jim Mauro and
     37        1.2      ad  *	    Richard McDougall.
     38        1.2      ad  *
     39        1.2      ad  * Turnstiles are kept in a hash table.  There are likely to be many more
     40        1.2      ad  * synchronisation objects than there are threads.  Since a thread can block
     41        1.2      ad  * on only one lock at a time, we only need one turnstile per thread, and
     42        1.2      ad  * so they are allocated at thread creation time.
     43        1.2      ad  *
     44        1.2      ad  * When a thread decides it needs to block on a lock, it looks up the
     45        1.2      ad  * active turnstile for that lock.  If no active turnstile exists, then
     46        1.2      ad  * the process lends its turnstile to the lock.  If there is already an
     47        1.2      ad  * active turnstile for the lock, the thread places its turnstile on a
     48        1.2      ad  * list of free turnstiles, and references the active one instead.
     49        1.2      ad  *
     50        1.2      ad  * The act of looking up the turnstile acquires an interlock on the sleep
     51        1.2      ad  * queue.  If a thread decides it doesn't need to block after all, then this
     52        1.2      ad  * interlock must be released by explicitly aborting the turnstile
     53        1.2      ad  * operation.
     54        1.2      ad  *
     55        1.2      ad  * When a thread is awakened, it needs to get its turnstile back.  If there
     56       1.18     alc  * are still other threads waiting in the active turnstile, the thread
     57        1.2      ad  * grabs a free turnstile off the free list.  Otherwise, it can take back
     58        1.2      ad  * the active turnstile from the lock (thus deactivating the turnstile).
     59        1.2      ad  *
     60  1.32.40.1  martin  * Turnstiles are where we do priority inheritence.
     61        1.2      ad  */
     62        1.2      ad 
     63        1.2      ad #include <sys/cdefs.h>
     64  1.32.40.1  martin __KERNEL_RCSID(0, "$NetBSD: kern_turnstile.c,v 1.32.40.2 2020/04/21 18:42:42 martin Exp $");
     65        1.2      ad 
     66        1.2      ad #include <sys/param.h>
     67        1.4    yamt #include <sys/lockdebug.h>
     68        1.2      ad #include <sys/pool.h>
     69        1.2      ad #include <sys/proc.h>
     70        1.2      ad #include <sys/sleepq.h>
     71        1.2      ad #include <sys/systm.h>
     72        1.2      ad 
     73  1.32.40.1  martin /*
     74  1.32.40.1  martin  * Shift of 6 aligns to typical cache line size of 64 bytes;  there's no
     75  1.32.40.1  martin  * point having two turnstile locks to back two lock objects that share one
     76  1.32.40.1  martin  * cache line.
     77  1.32.40.1  martin  */
     78  1.32.40.1  martin #define	TS_HASH_SIZE	128
     79        1.2      ad #define	TS_HASH_MASK	(TS_HASH_SIZE - 1)
     80  1.32.40.1  martin #define	TS_HASH(obj)	(((uintptr_t)(obj) >> 6) & TS_HASH_MASK)
     81        1.2      ad 
     82  1.32.40.1  martin static tschain_t	turnstile_chains[TS_HASH_SIZE] __cacheline_aligned;
     83  1.32.40.1  martin pool_cache_t		turnstile_cache __read_mostly;
     84  1.32.40.1  martin extern turnstile_t	turnstile0;
     85        1.2      ad 
     86  1.32.40.1  martin static union {
     87  1.32.40.1  martin 	kmutex_t	lock;
     88  1.32.40.1  martin 	uint8_t		pad[COHERENCY_UNIT];
     89  1.32.40.1  martin } turnstile_locks[TS_HASH_SIZE] __cacheline_aligned;
     90        1.2      ad 
     91  1.32.40.1  martin static int		turnstile_ctor(void *, void *, int);
     92        1.2      ad 
     93        1.2      ad /*
     94        1.2      ad  * turnstile_init:
     95        1.2      ad  *
     96        1.2      ad  *	Initialize the turnstile mechanism.
     97        1.2      ad  */
     98        1.2      ad void
     99        1.2      ad turnstile_init(void)
    100        1.2      ad {
    101        1.2      ad 	int i;
    102        1.2      ad 
    103        1.2      ad 	for (i = 0; i < TS_HASH_SIZE; i++) {
    104  1.32.40.1  martin 		LIST_INIT(&turnstile_chains[i]);
    105  1.32.40.1  martin 		mutex_init(&turnstile_locks[i].lock, MUTEX_DEFAULT, IPL_SCHED);
    106        1.2      ad 	}
    107        1.2      ad 
    108  1.32.40.1  martin 	turnstile_cache = pool_cache_init(sizeof(turnstile_t), coherency_unit,
    109  1.32.40.1  martin 	    0, 0, "tstile", NULL, IPL_NONE, turnstile_ctor, NULL, NULL);
    110       1.12      ad 	KASSERT(turnstile_cache != NULL);
    111        1.2      ad 
    112        1.2      ad 	(void)turnstile_ctor(NULL, &turnstile0, 0);
    113        1.2      ad }
    114        1.2      ad 
    115        1.2      ad /*
    116        1.2      ad  * turnstile_ctor:
    117        1.2      ad  *
    118        1.2      ad  *	Constructor for turnstiles.
    119        1.2      ad  */
    120       1.29   rmind static int
    121        1.2      ad turnstile_ctor(void *arg, void *obj, int flags)
    122        1.2      ad {
    123        1.2      ad 	turnstile_t *ts = obj;
    124        1.2      ad 
    125        1.2      ad 	memset(ts, 0, sizeof(*ts));
    126       1.21      ad 	sleepq_init(&ts->ts_sleepq[TS_READER_Q]);
    127       1.21      ad 	sleepq_init(&ts->ts_sleepq[TS_WRITER_Q]);
    128        1.2      ad 	return (0);
    129        1.2      ad }
    130        1.2      ad 
    131        1.2      ad /*
    132        1.2      ad  * turnstile_remove:
    133        1.2      ad  *
    134        1.2      ad  *	Remove an LWP from a turnstile sleep queue and wake it.
    135        1.2      ad  */
    136        1.9    yamt static inline void
    137       1.21      ad turnstile_remove(turnstile_t *ts, lwp_t *l, int q)
    138        1.2      ad {
    139        1.2      ad 	turnstile_t *nts;
    140        1.2      ad 
    141        1.2      ad 	KASSERT(l->l_ts == ts);
    142        1.2      ad 
    143        1.2      ad 	/*
    144        1.2      ad 	 * This process is no longer using the active turnstile.
    145        1.2      ad 	 * Find an inactive one on the free list to give to it.
    146        1.2      ad 	 */
    147        1.2      ad 	if ((nts = ts->ts_free) != NULL) {
    148        1.2      ad 		KASSERT(TS_ALL_WAITERS(ts) > 1);
    149        1.2      ad 		l->l_ts = nts;
    150        1.2      ad 		ts->ts_free = nts->ts_free;
    151        1.2      ad 		nts->ts_free = NULL;
    152        1.2      ad 	} else {
    153        1.2      ad 		/*
    154        1.2      ad 		 * If the free list is empty, this is the last
    155        1.2      ad 		 * waiter.
    156        1.2      ad 		 */
    157        1.2      ad 		KASSERT(TS_ALL_WAITERS(ts) == 1);
    158        1.2      ad 		LIST_REMOVE(ts, ts_chain);
    159        1.2      ad 	}
    160        1.2      ad 
    161       1.21      ad 	ts->ts_waiters[q]--;
    162       1.26   rmind 	sleepq_remove(&ts->ts_sleepq[q], l);
    163        1.2      ad }
    164        1.2      ad 
    165        1.2      ad /*
    166        1.2      ad  * turnstile_lookup:
    167        1.2      ad  *
    168        1.2      ad  *	Look up the turnstile for the specified lock.  This acquires and
    169        1.2      ad  *	holds the turnstile chain lock (sleep queue interlock).
    170        1.2      ad  */
    171        1.2      ad turnstile_t *
    172        1.2      ad turnstile_lookup(wchan_t obj)
    173        1.2      ad {
    174        1.2      ad 	turnstile_t *ts;
    175        1.2      ad 	tschain_t *tc;
    176  1.32.40.1  martin 	u_int hash;
    177        1.2      ad 
    178  1.32.40.1  martin 	hash = TS_HASH(obj);
    179  1.32.40.1  martin 	tc = &turnstile_chains[hash];
    180  1.32.40.1  martin 	mutex_spin_enter(&turnstile_locks[hash].lock);
    181        1.2      ad 
    182  1.32.40.1  martin 	LIST_FOREACH(ts, tc, ts_chain)
    183        1.2      ad 		if (ts->ts_obj == obj)
    184        1.2      ad 			return (ts);
    185        1.2      ad 
    186        1.2      ad 	/*
    187        1.2      ad 	 * No turnstile yet for this lock.  No problem, turnstile_block()
    188        1.2      ad 	 * handles this by fetching the turnstile from the blocking thread.
    189        1.2      ad 	 */
    190        1.2      ad 	return (NULL);
    191        1.2      ad }
    192        1.2      ad 
    193        1.2      ad /*
    194        1.2      ad  * turnstile_exit:
    195        1.2      ad  *
    196        1.2      ad  *	Abort a turnstile operation.
    197        1.2      ad  */
    198        1.2      ad void
    199        1.2      ad turnstile_exit(wchan_t obj)
    200        1.2      ad {
    201        1.2      ad 
    202  1.32.40.1  martin 	mutex_spin_exit(&turnstile_locks[TS_HASH(obj)].lock);
    203        1.2      ad }
    204        1.2      ad 
    205        1.2      ad /*
    206       1.31    yamt  * turnstile_lendpri:
    207       1.31    yamt  *
    208       1.31    yamt  *	Lend our priority to lwps on the blocking chain.
    209       1.31    yamt  *
    210       1.32    yamt  *	If the current owner of the lock (l->l_wchan, set by sleepq_enqueue)
    211       1.32    yamt  *	has a priority lower than ours (lwp_eprio(l)), lend our priority to
    212       1.32    yamt  *	him to avoid priority inversions.
    213        1.2      ad  */
    214       1.31    yamt 
    215       1.31    yamt static void
    216       1.31    yamt turnstile_lendpri(lwp_t *cur)
    217        1.2      ad {
    218       1.31    yamt 	lwp_t * l = cur;
    219       1.31    yamt 	pri_t prio;
    220       1.19      ad 
    221       1.19      ad 	/*
    222       1.22      ad 	 * NOTE: if you get a panic in this code block, it is likely that
    223       1.22      ad 	 * a lock has been destroyed or corrupted while still in use.  Try
    224       1.22      ad 	 * compiling a kernel with LOCKDEBUG to pinpoint the problem.
    225        1.4    yamt 	 */
    226       1.31    yamt 
    227       1.31    yamt 	LOCKDEBUG_BARRIER(l->l_mutex, 1);
    228       1.31    yamt 	KASSERT(l == curlwp);
    229       1.11      ad 	prio = lwp_eprio(l);
    230        1.4    yamt 	for (;;) {
    231       1.31    yamt 		lwp_t *owner;
    232       1.31    yamt 		turnstile_t *ts;
    233        1.4    yamt 		bool dolock;
    234        1.4    yamt 
    235        1.4    yamt 		if (l->l_wchan == NULL)
    236        1.4    yamt 			break;
    237        1.4    yamt 
    238       1.32    yamt 		/*
    239       1.32    yamt 		 * Ask syncobj the owner of the lock.
    240       1.32    yamt 		 */
    241        1.4    yamt 		owner = (*l->l_syncobj->sobj_owner)(l->l_wchan);
    242        1.4    yamt 		if (owner == NULL)
    243        1.4    yamt 			break;
    244        1.4    yamt 
    245       1.32    yamt 		/*
    246       1.32    yamt 		 * The owner may have changed as we have dropped the tc lock.
    247       1.32    yamt 		 */
    248       1.25  bouyer 		if (cur == owner) {
    249       1.25  bouyer 			/*
    250       1.32    yamt 			 * We own the lock: stop here, sleepq_block()
    251       1.32    yamt 			 * should wake up immediatly.
    252       1.25  bouyer 			 */
    253       1.25  bouyer 			break;
    254       1.25  bouyer 		}
    255       1.32    yamt 		/*
    256       1.32    yamt 		 * Acquire owner->l_mutex if we don't have it yet.
    257       1.32    yamt 		 * Because we already have another LWP lock (l->l_mutex) held,
    258       1.32    yamt 		 * we need to play a try lock dance to avoid deadlock.
    259       1.32    yamt 		 */
    260       1.32    yamt 		dolock = l->l_mutex != owner->l_mutex;
    261       1.28    yamt 		if (l == owner || (dolock && !lwp_trylock(owner))) {
    262        1.4    yamt 			/*
    263       1.32    yamt 			 * The owner was changed behind us or trylock failed.
    264       1.32    yamt 			 * Restart from curlwp.
    265       1.32    yamt 			 *
    266       1.25  bouyer 			 * Note that there may be a livelock here:
    267       1.32    yamt 			 * the owner may try grabing cur's lock (which is the
    268       1.32    yamt 			 * tc lock) while we're trying to grab the owner's lock.
    269        1.4    yamt 			 */
    270        1.4    yamt 			lwp_unlock(l);
    271        1.4    yamt 			l = cur;
    272        1.4    yamt 			lwp_lock(l);
    273        1.4    yamt 			prio = lwp_eprio(l);
    274        1.4    yamt 			continue;
    275        1.4    yamt 		}
    276       1.32    yamt 		/*
    277       1.32    yamt 		 * If the owner's priority is already higher than ours,
    278       1.32    yamt 		 * there's nothing to do anymore.
    279       1.32    yamt 		 */
    280       1.11      ad 		if (prio <= lwp_eprio(owner)) {
    281        1.4    yamt 			if (dolock)
    282        1.4    yamt 				lwp_unlock(owner);
    283        1.4    yamt 			break;
    284        1.4    yamt 		}
    285       1.32    yamt 		/*
    286       1.32    yamt 		 * Lend our priority to the 'owner' LWP.
    287       1.32    yamt 		 *
    288       1.32    yamt 		 * Update lenders info for turnstile_unlendpri.
    289       1.32    yamt 		 */
    290        1.4    yamt 		ts = l->l_ts;
    291        1.4    yamt 		KASSERT(ts->ts_inheritor == owner || ts->ts_inheritor == NULL);
    292        1.4    yamt 		if (ts->ts_inheritor == NULL) {
    293        1.4    yamt 			ts->ts_inheritor = owner;
    294        1.4    yamt 			ts->ts_eprio = prio;
    295        1.4    yamt 			SLIST_INSERT_HEAD(&owner->l_pi_lenders, ts, ts_pichain);
    296        1.4    yamt 			lwp_lendpri(owner, prio);
    297       1.11      ad 		} else if (prio > ts->ts_eprio) {
    298        1.4    yamt 			ts->ts_eprio = prio;
    299        1.4    yamt 			lwp_lendpri(owner, prio);
    300        1.4    yamt 		}
    301        1.4    yamt 		if (dolock)
    302        1.4    yamt 			lwp_unlock(l);
    303       1.32    yamt 		LOCKDEBUG_BARRIER(owner->l_mutex, 1);
    304        1.4    yamt 		l = owner;
    305        1.4    yamt 	}
    306        1.4    yamt 	LOCKDEBUG_BARRIER(l->l_mutex, 1);
    307        1.4    yamt 	if (cur->l_mutex != l->l_mutex) {
    308        1.4    yamt 		lwp_unlock(l);
    309        1.4    yamt 		lwp_lock(cur);
    310        1.4    yamt 	}
    311        1.4    yamt 	LOCKDEBUG_BARRIER(cur->l_mutex, 1);
    312       1.31    yamt }
    313       1.31    yamt 
    314       1.31    yamt /*
    315       1.31    yamt  * turnstile_unlendpri: undo turnstile_lendpri
    316       1.31    yamt  */
    317       1.31    yamt 
    318       1.31    yamt static void
    319       1.31    yamt turnstile_unlendpri(turnstile_t *ts)
    320       1.31    yamt {
    321       1.31    yamt 	lwp_t * const l = curlwp;
    322       1.31    yamt 	turnstile_t *iter;
    323       1.31    yamt 	turnstile_t *next;
    324       1.31    yamt 	turnstile_t *prev = NULL;
    325       1.31    yamt 	pri_t prio;
    326       1.31    yamt 	bool dolock;
    327       1.31    yamt 
    328       1.31    yamt 	KASSERT(ts->ts_inheritor != NULL);
    329       1.31    yamt 	ts->ts_inheritor = NULL;
    330       1.31    yamt 	dolock = l->l_mutex == l->l_cpu->ci_schedstate.spc_lwplock;
    331       1.31    yamt 	if (dolock) {
    332       1.31    yamt 		lwp_lock(l);
    333       1.31    yamt 	}
    334       1.31    yamt 
    335       1.31    yamt 	/*
    336       1.31    yamt 	 * the following loop does two things.
    337       1.31    yamt 	 *
    338       1.31    yamt 	 * - remove ts from the list.
    339       1.31    yamt 	 *
    340       1.31    yamt 	 * - from the rest of the list, find the highest priority.
    341       1.31    yamt 	 */
    342       1.31    yamt 
    343       1.31    yamt 	prio = -1;
    344       1.31    yamt 	KASSERT(!SLIST_EMPTY(&l->l_pi_lenders));
    345       1.31    yamt 	for (iter = SLIST_FIRST(&l->l_pi_lenders);
    346       1.31    yamt 	    iter != NULL; iter = next) {
    347       1.31    yamt 		KASSERT(lwp_eprio(l) >= ts->ts_eprio);
    348       1.31    yamt 		next = SLIST_NEXT(iter, ts_pichain);
    349       1.31    yamt 		if (iter == ts) {
    350       1.31    yamt 			if (prev == NULL) {
    351       1.31    yamt 				SLIST_REMOVE_HEAD(&l->l_pi_lenders,
    352       1.31    yamt 				    ts_pichain);
    353       1.31    yamt 			} else {
    354       1.31    yamt 				SLIST_REMOVE_AFTER(prev, ts_pichain);
    355       1.31    yamt 			}
    356       1.31    yamt 		} else if (prio < iter->ts_eprio) {
    357       1.31    yamt 			prio = iter->ts_eprio;
    358       1.31    yamt 		}
    359       1.31    yamt 		prev = iter;
    360       1.31    yamt 	}
    361       1.31    yamt 
    362       1.31    yamt 	lwp_lendpri(l, prio);
    363        1.4    yamt 
    364       1.31    yamt 	if (dolock) {
    365       1.31    yamt 		lwp_unlock(l);
    366       1.31    yamt 	}
    367       1.31    yamt }
    368       1.31    yamt 
    369       1.31    yamt /*
    370       1.31    yamt  * turnstile_block:
    371       1.31    yamt  *
    372       1.31    yamt  *	 Enter an object into the turnstile chain and prepare the current
    373       1.31    yamt  *	 LWP for sleep.
    374       1.31    yamt  */
    375       1.31    yamt void
    376       1.31    yamt turnstile_block(turnstile_t *ts, int q, wchan_t obj, syncobj_t *sobj)
    377       1.31    yamt {
    378       1.31    yamt 	lwp_t * const l = curlwp; /* cached curlwp */
    379       1.31    yamt 	turnstile_t *ots;
    380       1.31    yamt 	tschain_t *tc;
    381  1.32.40.1  martin 	kmutex_t *lock;
    382       1.31    yamt 	sleepq_t *sq;
    383       1.31    yamt 	pri_t obase;
    384  1.32.40.1  martin 	u_int hash;
    385       1.31    yamt 
    386  1.32.40.1  martin 	hash = TS_HASH(obj);
    387  1.32.40.1  martin 	tc = &turnstile_chains[hash];
    388  1.32.40.1  martin 	lock = &turnstile_locks[hash].lock;
    389       1.31    yamt 
    390       1.31    yamt 	KASSERT(q == TS_READER_Q || q == TS_WRITER_Q);
    391  1.32.40.1  martin 	KASSERT(mutex_owned(lock));
    392       1.31    yamt 	KASSERT(l != NULL && l->l_ts != NULL);
    393       1.31    yamt 
    394       1.31    yamt 	if (ts == NULL) {
    395       1.31    yamt 		/*
    396       1.31    yamt 		 * We are the first thread to wait for this object;
    397       1.31    yamt 		 * lend our turnstile to it.
    398       1.31    yamt 		 */
    399       1.31    yamt 		ts = l->l_ts;
    400       1.31    yamt 		KASSERT(TS_ALL_WAITERS(ts) == 0);
    401  1.32.40.1  martin 		KASSERT(LIST_EMPTY(&ts->ts_sleepq[TS_READER_Q]) &&
    402  1.32.40.1  martin 			LIST_EMPTY(&ts->ts_sleepq[TS_WRITER_Q]));
    403       1.31    yamt 		ts->ts_obj = obj;
    404       1.31    yamt 		ts->ts_inheritor = NULL;
    405  1.32.40.1  martin 		LIST_INSERT_HEAD(tc, ts, ts_chain);
    406       1.31    yamt 	} else {
    407       1.31    yamt 		/*
    408       1.31    yamt 		 * Object already has a turnstile.  Put our turnstile
    409       1.31    yamt 		 * onto the free list, and reference the existing
    410       1.31    yamt 		 * turnstile instead.
    411       1.31    yamt 		 */
    412       1.31    yamt 		ots = l->l_ts;
    413       1.31    yamt 		KASSERT(ots->ts_free == NULL);
    414       1.31    yamt 		ots->ts_free = ts->ts_free;
    415       1.31    yamt 		ts->ts_free = ots;
    416       1.31    yamt 		l->l_ts = ts;
    417       1.31    yamt 
    418       1.31    yamt 		KASSERT(ts->ts_obj == obj);
    419       1.31    yamt 		KASSERT(TS_ALL_WAITERS(ts) != 0);
    420  1.32.40.1  martin 		KASSERT(!LIST_EMPTY(&ts->ts_sleepq[TS_READER_Q]) ||
    421  1.32.40.1  martin 			!LIST_EMPTY(&ts->ts_sleepq[TS_WRITER_Q]));
    422       1.31    yamt 	}
    423       1.31    yamt 
    424       1.31    yamt 	sq = &ts->ts_sleepq[q];
    425       1.31    yamt 	ts->ts_waiters[q]++;
    426  1.32.40.1  martin 	sleepq_enter(sq, l, lock);
    427  1.32.40.1  martin 	LOCKDEBUG_BARRIER(lock, 1);
    428       1.31    yamt 	l->l_kpriority = true;
    429       1.31    yamt 	obase = l->l_kpribase;
    430       1.31    yamt 	if (obase < PRI_KTHREAD)
    431       1.31    yamt 		l->l_kpribase = PRI_KTHREAD;
    432  1.32.40.2  martin 	sleepq_enqueue(sq, obj, "tstile", sobj, false);
    433       1.31    yamt 
    434       1.31    yamt 	/*
    435       1.31    yamt 	 * Disable preemption across this entire block, as we may drop
    436       1.31    yamt 	 * scheduler locks (allowing preemption), and would prefer not
    437       1.31    yamt 	 * to be interrupted while in a state of flux.
    438       1.31    yamt 	 */
    439       1.31    yamt 	KPREEMPT_DISABLE(l);
    440  1.32.40.1  martin 	KASSERT(lock == l->l_mutex);
    441       1.31    yamt 	turnstile_lendpri(l);
    442        1.9    yamt 	sleepq_block(0, false);
    443       1.31    yamt 	l->l_kpribase = obase;
    444       1.31    yamt 	KPREEMPT_ENABLE(l);
    445        1.2      ad }
    446        1.2      ad 
    447        1.2      ad /*
    448        1.2      ad  * turnstile_wakeup:
    449        1.2      ad  *
    450        1.2      ad  *	Wake up the specified number of threads that are blocked
    451        1.2      ad  *	in a turnstile.
    452        1.2      ad  */
    453        1.2      ad void
    454       1.10      ad turnstile_wakeup(turnstile_t *ts, int q, int count, lwp_t *nl)
    455        1.2      ad {
    456        1.2      ad 	sleepq_t *sq;
    457  1.32.40.1  martin 	kmutex_t *lock;
    458  1.32.40.1  martin 	u_int hash;
    459       1.10      ad 	lwp_t *l;
    460        1.2      ad 
    461  1.32.40.1  martin 	hash = TS_HASH(ts->ts_obj);
    462  1.32.40.1  martin 	lock = &turnstile_locks[hash].lock;
    463        1.2      ad 	sq = &ts->ts_sleepq[q];
    464        1.2      ad 
    465        1.2      ad 	KASSERT(q == TS_READER_Q || q == TS_WRITER_Q);
    466        1.2      ad 	KASSERT(count > 0 && count <= TS_WAITERS(ts, q));
    467  1.32.40.1  martin 	KASSERT(mutex_owned(lock));
    468        1.4    yamt 	KASSERT(ts->ts_inheritor == curlwp || ts->ts_inheritor == NULL);
    469        1.4    yamt 
    470        1.4    yamt 	/*
    471        1.4    yamt 	 * restore inherited priority if necessary.
    472        1.4    yamt 	 */
    473        1.4    yamt 
    474        1.4    yamt 	if (ts->ts_inheritor != NULL) {
    475       1.31    yamt 		turnstile_unlendpri(ts);
    476        1.4    yamt 	}
    477        1.2      ad 
    478        1.2      ad 	if (nl != NULL) {
    479        1.2      ad #if defined(DEBUG) || defined(LOCKDEBUG)
    480  1.32.40.1  martin 		LIST_FOREACH(l, sq, l_sleepchain) {
    481        1.2      ad 			if (l == nl)
    482        1.2      ad 				break;
    483        1.2      ad 		}
    484        1.2      ad 		if (l == NULL)
    485        1.2      ad 			panic("turnstile_wakeup: nl not on sleepq");
    486        1.2      ad #endif
    487       1.21      ad 		turnstile_remove(ts, nl, q);
    488        1.2      ad 	} else {
    489        1.2      ad 		while (count-- > 0) {
    490  1.32.40.1  martin 			l = LIST_FIRST(sq);
    491        1.2      ad 			KASSERT(l != NULL);
    492       1.21      ad 			turnstile_remove(ts, l, q);
    493        1.2      ad 		}
    494        1.2      ad 	}
    495  1.32.40.1  martin 	mutex_spin_exit(lock);
    496        1.2      ad }
    497        1.2      ad 
    498        1.2      ad /*
    499        1.2      ad  * turnstile_unsleep:
    500        1.2      ad  *
    501        1.2      ad  *	Remove an LWP from the turnstile.  This is called when the LWP has
    502        1.2      ad  *	not been awoken normally but instead interrupted: for example, if it
    503        1.2      ad  *	has received a signal.  It's not a valid action for turnstiles,
    504        1.2      ad  *	since LWPs blocking on a turnstile are not interruptable.
    505        1.2      ad  */
    506       1.26   rmind void
    507       1.16      ad turnstile_unsleep(lwp_t *l, bool cleanup)
    508        1.2      ad {
    509        1.2      ad 
    510        1.2      ad 	lwp_unlock(l);
    511        1.2      ad 	panic("turnstile_unsleep");
    512        1.2      ad }
    513        1.2      ad 
    514        1.2      ad /*
    515        1.2      ad  * turnstile_changepri:
    516        1.2      ad  *
    517        1.4    yamt  *	Adjust the priority of an LWP residing on a turnstile.
    518        1.2      ad  */
    519        1.2      ad void
    520       1.10      ad turnstile_changepri(lwp_t *l, pri_t pri)
    521        1.2      ad {
    522        1.2      ad 
    523        1.4    yamt 	/* XXX priority inheritance */
    524        1.4    yamt 	sleepq_changepri(l, pri);
    525        1.2      ad }
    526        1.2      ad 
    527        1.2      ad #if defined(LOCKDEBUG)
    528        1.2      ad /*
    529        1.2      ad  * turnstile_print:
    530        1.2      ad  *
    531        1.2      ad  *	Given the address of a lock object, print the contents of a
    532        1.2      ad  *	turnstile.
    533        1.2      ad  */
    534        1.2      ad void
    535        1.2      ad turnstile_print(volatile void *obj, void (*pr)(const char *, ...))
    536        1.2      ad {
    537        1.2      ad 	turnstile_t *ts;
    538        1.2      ad 	tschain_t *tc;
    539        1.2      ad 	sleepq_t *rsq, *wsq;
    540  1.32.40.1  martin 	u_int hash;
    541       1.10      ad 	lwp_t *l;
    542        1.2      ad 
    543  1.32.40.1  martin 	hash = TS_HASH(obj);
    544  1.32.40.1  martin 	tc = &turnstile_chains[hash];
    545        1.2      ad 
    546  1.32.40.1  martin 	LIST_FOREACH(ts, tc, ts_chain)
    547        1.2      ad 		if (ts->ts_obj == obj)
    548        1.2      ad 			break;
    549        1.2      ad 
    550        1.2      ad 	if (ts == NULL) {
    551  1.32.40.1  martin 		(*pr)("Turnstile: no active turnstile for this lock.\n");
    552        1.2      ad 		return;
    553        1.2      ad 	}
    554        1.2      ad 
    555        1.2      ad 	rsq = &ts->ts_sleepq[TS_READER_Q];
    556        1.2      ad 	wsq = &ts->ts_sleepq[TS_WRITER_Q];
    557        1.2      ad 
    558  1.32.40.1  martin 	(*pr)("Turnstile:\n");
    559       1.21      ad 	(*pr)("=> %d waiting readers:", TS_WAITERS(ts, TS_READER_Q));
    560  1.32.40.1  martin 	LIST_FOREACH(l, rsq, l_sleepchain) {
    561        1.2      ad 		(*pr)(" %p", l);
    562        1.2      ad 	}
    563        1.2      ad 	(*pr)("\n");
    564        1.2      ad 
    565       1.21      ad 	(*pr)("=> %d waiting writers:", TS_WAITERS(ts, TS_WRITER_Q));
    566  1.32.40.1  martin 	LIST_FOREACH(l, wsq, l_sleepchain) {
    567        1.2      ad 		(*pr)(" %p", l);
    568        1.2      ad 	}
    569        1.2      ad 	(*pr)("\n");
    570        1.2      ad }
    571        1.2      ad #endif	/* LOCKDEBUG */
    572