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