xref: /freebsd/sys/kern/subr_turnstile.c (revision 7029da5c36f2d3cf6bb6c81bf551229f416399e8)
10384fff8SJason Evans /*-
28a36da99SPedro F. Giffuni  * SPDX-License-Identifier: BSD-3-Clause
38a36da99SPedro F. Giffuni  *
40384fff8SJason Evans  * Copyright (c) 1998 Berkeley Software Design, Inc. All rights reserved.
50384fff8SJason Evans  *
60384fff8SJason Evans  * Redistribution and use in source and binary forms, with or without
70384fff8SJason Evans  * modification, are permitted provided that the following conditions
80384fff8SJason Evans  * are met:
90384fff8SJason Evans  * 1. Redistributions of source code must retain the above copyright
100384fff8SJason Evans  *    notice, this list of conditions and the following disclaimer.
110384fff8SJason Evans  * 2. Redistributions in binary form must reproduce the above copyright
120384fff8SJason Evans  *    notice, this list of conditions and the following disclaimer in the
130384fff8SJason Evans  *    documentation and/or other materials provided with the distribution.
140384fff8SJason Evans  * 3. Berkeley Software Design Inc's name may not be used to endorse or
150384fff8SJason Evans  *    promote products derived from this software without specific prior
160384fff8SJason Evans  *    written permission.
170384fff8SJason Evans  *
180384fff8SJason Evans  * THIS SOFTWARE IS PROVIDED BY BERKELEY SOFTWARE DESIGN INC ``AS IS'' AND
190384fff8SJason Evans  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
200384fff8SJason Evans  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
210384fff8SJason Evans  * ARE DISCLAIMED.  IN NO EVENT SHALL BERKELEY SOFTWARE DESIGN INC BE LIABLE
220384fff8SJason Evans  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
230384fff8SJason Evans  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
240384fff8SJason Evans  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
250384fff8SJason Evans  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
260384fff8SJason Evans  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
270384fff8SJason Evans  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
280384fff8SJason Evans  * SUCH DAMAGE.
290384fff8SJason Evans  *
300384fff8SJason Evans  *	from BSDI $Id: mutex_witness.c,v 1.1.2.20 2000/04/27 03:10:27 cp Exp $
3136412d79SJohn Baldwin  *	and BSDI $Id: synch_machdep.c,v 2.3.2.39 2000/04/27 03:10:25 cp Exp $
320384fff8SJason Evans  */
330384fff8SJason Evans 
340384fff8SJason Evans /*
35961a7b24SJohn Baldwin  * Implementation of turnstiles used to hold queue of threads blocked on
36961a7b24SJohn Baldwin  * non-sleepable locks.  Sleepable locks use condition variables to
37961a7b24SJohn Baldwin  * implement their queues.  Turnstiles differ from a sleep queue in that
38961a7b24SJohn Baldwin  * turnstile queue's are assigned to a lock held by an owning thread.  Thus,
39961a7b24SJohn Baldwin  * when one thread is enqueued onto a turnstile, it can lend its priority
40961a7b24SJohn Baldwin  * to the owning thread.
41961a7b24SJohn Baldwin  *
42961a7b24SJohn Baldwin  * We wish to avoid bloating locks with an embedded turnstile and we do not
43961a7b24SJohn Baldwin  * want to use back-pointers in the locks for the same reason.  Thus, we
44961a7b24SJohn Baldwin  * use a similar approach to that of Solaris 7 as described in Solaris
45961a7b24SJohn Baldwin  * Internals by Jim Mauro and Richard McDougall.  Turnstiles are looked up
46961a7b24SJohn Baldwin  * in a hash table based on the address of the lock.  Each entry in the
47961a7b24SJohn Baldwin  * hash table is a linked-lists of turnstiles and is called a turnstile
48961a7b24SJohn Baldwin  * chain.  Each chain contains a spin mutex that protects all of the
49961a7b24SJohn Baldwin  * turnstiles in the chain.
50961a7b24SJohn Baldwin  *
512b7e2ee7SJeff Roberson  * Each time a thread is created, a turnstile is allocated from a UMA zone
522b7e2ee7SJeff Roberson  * and attached to that thread.  When a thread blocks on a lock, if it is the
532b7e2ee7SJeff Roberson  * first thread to block, it lends its turnstile to the lock.  If the lock
542b7e2ee7SJeff Roberson  * already has a turnstile, then it gives its turnstile to the lock's
552b7e2ee7SJeff Roberson  * turnstile's free list.  When a thread is woken up, it takes a turnstile from
562b7e2ee7SJeff Roberson  * the free list if there are any other waiters.  If it is the only thread
572b7e2ee7SJeff Roberson  * blocked on the lock, then it reclaims the turnstile associated with the lock
582b7e2ee7SJeff Roberson  * and removes it from the hash table.
590384fff8SJason Evans  */
600384fff8SJason Evans 
61677b542eSDavid E. O'Brien #include <sys/cdefs.h>
62677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$");
63677b542eSDavid E. O'Brien 
647aa4f685SJohn Baldwin #include "opt_ddb.h"
657aa4f685SJohn Baldwin #include "opt_turnstile_profiling.h"
663036ab79SJeff Roberson #include "opt_sched.h"
677aa4f685SJohn Baldwin 
680384fff8SJason Evans #include <sys/param.h>
696c35e809SDag-Erling Smørgrav #include <sys/systm.h>
7091849f34SMarius Strobl #include <sys/kdb.h>
7136412d79SJohn Baldwin #include <sys/kernel.h>
726c35e809SDag-Erling Smørgrav #include <sys/ktr.h>
7319284646SJohn Baldwin #include <sys/lock.h>
7419284646SJohn Baldwin #include <sys/mutex.h>
750384fff8SJason Evans #include <sys/proc.h>
76961a7b24SJohn Baldwin #include <sys/queue.h>
77b43179fbSJeff Roberson #include <sys/sched.h>
78b3e9e682SRyan Stone #include <sys/sdt.h>
79ef0ebfc3SJohn Baldwin #include <sys/sysctl.h>
80ef0ebfc3SJohn Baldwin #include <sys/turnstile.h>
8136412d79SJohn Baldwin 
822b7e2ee7SJeff Roberson #include <vm/uma.h>
832b7e2ee7SJeff Roberson 
847aa4f685SJohn Baldwin #ifdef DDB
857aa4f685SJohn Baldwin #include <ddb/ddb.h>
86462a7addSJohn Baldwin #include <sys/lockmgr.h>
87462a7addSJohn Baldwin #include <sys/sx.h>
887aa4f685SJohn Baldwin #endif
897aa4f685SJohn Baldwin 
900cde2e34SJason Evans /*
91961a7b24SJohn Baldwin  * Constants for the hash table of turnstile chains.  TC_SHIFT is a magic
92961a7b24SJohn Baldwin  * number chosen because the sleep queue's use the same value for the
93961a7b24SJohn Baldwin  * shift.  Basically, we ignore the lower 8 bits of the address.
94961a7b24SJohn Baldwin  * TC_TABLESIZE must be a power of two for TC_MASK to work properly.
950cde2e34SJason Evans  */
96961a7b24SJohn Baldwin #define	TC_TABLESIZE	128			/* Must be power of 2. */
97961a7b24SJohn Baldwin #define	TC_MASK		(TC_TABLESIZE - 1)
98961a7b24SJohn Baldwin #define	TC_SHIFT	8
99961a7b24SJohn Baldwin #define	TC_HASH(lock)	(((uintptr_t)(lock) >> TC_SHIFT) & TC_MASK)
100961a7b24SJohn Baldwin #define	TC_LOOKUP(lock)	&turnstile_chains[TC_HASH(lock)]
1019ed346baSBosko Milekic 
1020cde2e34SJason Evans /*
103961a7b24SJohn Baldwin  * There are three different lists of turnstiles as follows.  The list
104961a7b24SJohn Baldwin  * connected by ts_link entries is a per-thread list of all the turnstiles
105961a7b24SJohn Baldwin  * attached to locks that we own.  This is used to fixup our priority when
106961a7b24SJohn Baldwin  * a lock is released.  The other two lists use the ts_hash entries.  The
1075b7de7e1SJohn Baldwin  * first of these two is the turnstile chain list that a turnstile is on
1085b7de7e1SJohn Baldwin  * when it is attached to a lock.  The second list to use ts_hash is the
1095b7de7e1SJohn Baldwin  * free list hung off of a turnstile that is attached to a lock.
110961a7b24SJohn Baldwin  *
1117aa4f685SJohn Baldwin  * Each turnstile contains three lists of threads.  The two ts_blocked lists
1127aa4f685SJohn Baldwin  * are linked list of threads blocked on the turnstile's lock.  One list is
1137aa4f685SJohn Baldwin  * for exclusive waiters, and the other is for shared waiters.  The
114595bc82aSJohn Baldwin  * ts_pending list is a linked list of threads previously awakened by
115961a7b24SJohn Baldwin  * turnstile_signal() or turnstile_wait() that are waiting to be put on
116961a7b24SJohn Baldwin  * the run queue.
117961a7b24SJohn Baldwin  *
118961a7b24SJohn Baldwin  * Locking key:
119961a7b24SJohn Baldwin  *  c - turnstile chain lock
120961a7b24SJohn Baldwin  *  q - td_contested lock
1210cde2e34SJason Evans  */
122961a7b24SJohn Baldwin struct turnstile {
1232502c107SJeff Roberson 	struct mtx ts_lock;			/* Spin lock for self. */
1247aa4f685SJohn Baldwin 	struct threadqueue ts_blocked[2];	/* (c + q) Blocked threads. */
1257aa4f685SJohn Baldwin 	struct threadqueue ts_pending;		/* (c) Pending threads. */
126961a7b24SJohn Baldwin 	LIST_ENTRY(turnstile) ts_hash;		/* (c) Chain and free list. */
127961a7b24SJohn Baldwin 	LIST_ENTRY(turnstile) ts_link;		/* (q) Contested locks. */
128961a7b24SJohn Baldwin 	LIST_HEAD(, turnstile) ts_free;		/* (c) Free turnstiles. */
129961a7b24SJohn Baldwin 	struct lock_object *ts_lockobj;		/* (c) Lock we reference. */
13079a13d01SJohn Baldwin 	struct thread *ts_owner;		/* (c + q) Who owns the lock. */
1318484de75SJohn Baldwin };
1328484de75SJohn Baldwin 
133961a7b24SJohn Baldwin struct turnstile_chain {
134961a7b24SJohn Baldwin 	LIST_HEAD(, turnstile) tc_turnstiles;	/* List of turnstiles. */
135961a7b24SJohn Baldwin 	struct mtx tc_lock;			/* Spin lock for this chain. */
136ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING
137ef0ebfc3SJohn Baldwin 	u_int	tc_depth;			/* Length of tc_queues. */
138ef0ebfc3SJohn Baldwin 	u_int	tc_max_depth;			/* Max length of tc_queues. */
139ef0ebfc3SJohn Baldwin #endif
140961a7b24SJohn Baldwin };
141961a7b24SJohn Baldwin 
142ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING
143ef0ebfc3SJohn Baldwin u_int turnstile_max_depth;
144*7029da5cSPawel Biernacki static SYSCTL_NODE(_debug, OID_AUTO, turnstile, CTLFLAG_RD | CTLFLAG_MPSAFE, 0,
1456472ac3dSEd Schouten     "turnstile profiling");
146*7029da5cSPawel Biernacki static SYSCTL_NODE(_debug_turnstile, OID_AUTO, chains,
147*7029da5cSPawel Biernacki     CTLFLAG_RD | CTLFLAG_MPSAFE, 0,
148ef0ebfc3SJohn Baldwin     "turnstile chain stats");
149ef0ebfc3SJohn Baldwin SYSCTL_UINT(_debug_turnstile, OID_AUTO, max_depth, CTLFLAG_RD,
15099006d44SDavide Italiano     &turnstile_max_depth, 0, "maximum depth achieved of a single chain");
151ef0ebfc3SJohn Baldwin #endif
152961a7b24SJohn Baldwin static struct mtx td_contested_lock;
153961a7b24SJohn Baldwin static struct turnstile_chain turnstile_chains[TC_TABLESIZE];
1542b7e2ee7SJeff Roberson static uma_zone_t turnstile_zone;
155c53c013bSJohn Baldwin 
156c53c013bSJohn Baldwin /*
1579ed346baSBosko Milekic  * Prototypes for non-exported routines.
1589ed346baSBosko Milekic  */
159961a7b24SJohn Baldwin static void	init_turnstile0(void *dummy);
16001bd10e1SJohn Baldwin #ifdef TURNSTILE_PROFILING
16101bd10e1SJohn Baldwin static void	init_turnstile_profiling(void *arg);
16201bd10e1SJohn Baldwin #endif
163f5c157d9SJohn Baldwin static void	propagate_priority(struct thread *td);
164f5c157d9SJohn Baldwin static int	turnstile_adjust_thread(struct turnstile *ts,
165f5c157d9SJohn Baldwin 		    struct thread *td);
1667aa4f685SJohn Baldwin static struct thread *turnstile_first_waiter(struct turnstile *ts);
167961a7b24SJohn Baldwin static void	turnstile_setowner(struct turnstile *ts, struct thread *owner);
1682b7e2ee7SJeff Roberson #ifdef INVARIANTS
1692b7e2ee7SJeff Roberson static void	turnstile_dtor(void *mem, int size, void *arg);
1702b7e2ee7SJeff Roberson #endif
1712b7e2ee7SJeff Roberson static int	turnstile_init(void *mem, int size, int flags);
1722502c107SJeff Roberson static void	turnstile_fini(void *mem, int size);
17336412d79SJohn Baldwin 
174b3e9e682SRyan Stone SDT_PROVIDER_DECLARE(sched);
175d9fae5abSAndriy Gapon SDT_PROBE_DEFINE(sched, , , sleep);
176d9fae5abSAndriy Gapon SDT_PROBE_DEFINE2(sched, , , wakeup, "struct thread *",
177b3e9e682SRyan Stone     "struct proc *");
178b3e9e682SRyan Stone 
1791c81a87eSJeff Roberson static inline void
1801c81a87eSJeff Roberson propagate_unlock_ts(struct turnstile *top, struct turnstile *ts)
1811c81a87eSJeff Roberson {
1821c81a87eSJeff Roberson 
1831c81a87eSJeff Roberson 	if (ts != top)
1841c81a87eSJeff Roberson 		mtx_unlock_spin(&ts->ts_lock);
1851c81a87eSJeff Roberson }
1861c81a87eSJeff Roberson 
1871c81a87eSJeff Roberson static inline void
1881c81a87eSJeff Roberson propagate_unlock_td(struct turnstile *top, struct thread *td)
1891c81a87eSJeff Roberson {
1901c81a87eSJeff Roberson 
1911c81a87eSJeff Roberson 	if (td->td_lock != &top->ts_lock)
1921c81a87eSJeff Roberson 		thread_unlock(td);
1931c81a87eSJeff Roberson }
1941c81a87eSJeff Roberson 
195961a7b24SJohn Baldwin /*
196961a7b24SJohn Baldwin  * Walks the chain of turnstiles and their owners to propagate the priority
197961a7b24SJohn Baldwin  * of the thread being blocked to all the threads holding locks that have to
198961a7b24SJohn Baldwin  * release their locks before this thread can run again.
199961a7b24SJohn Baldwin  */
20036412d79SJohn Baldwin static void
201b40ce416SJulian Elischer propagate_priority(struct thread *td)
20236412d79SJohn Baldwin {
2031c81a87eSJeff Roberson 	struct turnstile *ts, *top;
204961a7b24SJohn Baldwin 	int pri;
20536412d79SJohn Baldwin 
2062502c107SJeff Roberson 	THREAD_LOCK_ASSERT(td, MA_OWNED);
207961a7b24SJohn Baldwin 	pri = td->td_priority;
2081c81a87eSJeff Roberson 	top = ts = td->td_blocked;
209626ac252SJeff Roberson 	THREAD_LOCKPTR_ASSERT(td, &ts->ts_lock);
2101c81a87eSJeff Roberson 
2112502c107SJeff Roberson 	/*
2121c81a87eSJeff Roberson 	 * The original turnstile lock is held across the entire
2131c81a87eSJeff Roberson 	 * operation.  We only ever lock down the chain so the lock
2141c81a87eSJeff Roberson 	 * order is constant.
2152502c107SJeff Roberson 	 */
21636412d79SJohn Baldwin 	for (;;) {
217961a7b24SJohn Baldwin 		td = ts->ts_owner;
21836412d79SJohn Baldwin 
219b40ce416SJulian Elischer 		if (td == NULL) {
22036412d79SJohn Baldwin 			/*
2217aa4f685SJohn Baldwin 			 * This might be a read lock with no owner.  There's
2227aa4f685SJohn Baldwin 			 * not much we can do, so just bail.
22336412d79SJohn Baldwin 			 */
2241c81a87eSJeff Roberson 			propagate_unlock_ts(top, ts);
22536412d79SJohn Baldwin 			return;
22636412d79SJohn Baldwin 		}
2279ed346baSBosko Milekic 
2281c81a87eSJeff Roberson 		/*
2291c81a87eSJeff Roberson 		 * Wait for the thread lock to be stable and then only
2301c81a87eSJeff Roberson 		 * acquire if it is not the turnstile lock.
2311c81a87eSJeff Roberson 		 */
2321c81a87eSJeff Roberson 		thread_lock_block_wait(td);
2331c81a87eSJeff Roberson 		if (td->td_lock != &ts->ts_lock) {
2342502c107SJeff Roberson 			thread_lock_flags(td, MTX_DUPOK);
2351c81a87eSJeff Roberson 			propagate_unlock_ts(top, ts);
2361c81a87eSJeff Roberson 		}
237e602ba25SJulian Elischer 		MPASS(td->td_proc != NULL);
238b40ce416SJulian Elischer 		MPASS(td->td_proc->p_magic == P_MAGIC);
2391bd0eefbSJohn Baldwin 
240961a7b24SJohn Baldwin 		/*
2414b3b0413SJohn Baldwin 		 * If the thread is asleep, then we are probably about
242b2e054b0SPawel Jakub Dawidek 		 * to deadlock.  To make debugging this easier, show
243b2e054b0SPawel Jakub Dawidek 		 * backtrace of misbehaving thread and panic to not
244b2e054b0SPawel Jakub Dawidek 		 * leave the kernel deadlocked.
245961a7b24SJohn Baldwin 		 */
2464b3b0413SJohn Baldwin 		if (TD_IS_SLEEPING(td)) {
2474b3b0413SJohn Baldwin 			printf(
2484b3b0413SJohn Baldwin 		"Sleeping thread (tid %d, pid %d) owns a non-sleepable lock\n",
2494b3b0413SJohn Baldwin 			    td->td_tid, td->td_proc->p_pid);
2500cc457b0SJohn Baldwin 			kdb_backtrace_thread(td);
2514b3b0413SJohn Baldwin 			panic("sleeping thread");
2524b3b0413SJohn Baldwin 		}
253961a7b24SJohn Baldwin 
254961a7b24SJohn Baldwin 		/*
255961a7b24SJohn Baldwin 		 * If this thread already has higher priority than the
256961a7b24SJohn Baldwin 		 * thread that is being blocked, we are finished.
257961a7b24SJohn Baldwin 		 */
2582502c107SJeff Roberson 		if (td->td_priority <= pri) {
2591c81a87eSJeff Roberson 			propagate_unlock_td(top, td);
260961a7b24SJohn Baldwin 			return;
2612502c107SJeff Roberson 		}
2621bd0eefbSJohn Baldwin 
26336412d79SJohn Baldwin 		/*
264f5c157d9SJohn Baldwin 		 * Bump this thread's priority.
26536412d79SJohn Baldwin 		 */
266f5c157d9SJohn Baldwin 		sched_lend_prio(td, pri);
267f5c157d9SJohn Baldwin 
268f5c157d9SJohn Baldwin 		/*
269f5c157d9SJohn Baldwin 		 * If lock holder is actually running or on the run queue
270f5c157d9SJohn Baldwin 		 * then we are done.
271f5c157d9SJohn Baldwin 		 */
272f5c157d9SJohn Baldwin 		if (TD_IS_RUNNING(td) || TD_ON_RUNQ(td)) {
273f5c157d9SJohn Baldwin 			MPASS(td->td_blocked == NULL);
2741c81a87eSJeff Roberson 			propagate_unlock_td(top, td);
27536412d79SJohn Baldwin 			return;
27636412d79SJohn Baldwin 		}
277d5a08a60SJake Burkholder 
2781b43703bSJohn Baldwin #ifndef SMP
2791b43703bSJohn Baldwin 		/*
280b40ce416SJulian Elischer 		 * For UP, we check to see if td is curthread (this shouldn't
2811b43703bSJohn Baldwin 		 * ever happen however as it would mean we are in a deadlock.)
2821b43703bSJohn Baldwin 		 */
283b40ce416SJulian Elischer 		KASSERT(td != curthread, ("Deadlock detected"));
2841b43703bSJohn Baldwin #endif
2851b43703bSJohn Baldwin 
28636412d79SJohn Baldwin 		/*
287961a7b24SJohn Baldwin 		 * If we aren't blocked on a lock, we should be.
28836412d79SJohn Baldwin 		 */
289551cf4e1SJohn Baldwin 		KASSERT(TD_ON_LOCK(td), (
290f5c157d9SJohn Baldwin 		    "thread %d(%s):%d holds %s but isn't blocked on a lock\n",
291431f8906SJulian Elischer 		    td->td_tid, td->td_name, td->td_state,
292961a7b24SJohn Baldwin 		    ts->ts_lockobj->lo_name));
29336412d79SJohn Baldwin 
29436412d79SJohn Baldwin 		/*
295961a7b24SJohn Baldwin 		 * Pick up the lock that td is blocked on.
29636412d79SJohn Baldwin 		 */
297961a7b24SJohn Baldwin 		ts = td->td_blocked;
298961a7b24SJohn Baldwin 		MPASS(ts != NULL);
299626ac252SJeff Roberson 		THREAD_LOCKPTR_ASSERT(td, &ts->ts_lock);
300f5c157d9SJohn Baldwin 		/* Resort td on the list if needed. */
301f5c157d9SJohn Baldwin 		if (!turnstile_adjust_thread(ts, td)) {
3021c81a87eSJeff Roberson 			propagate_unlock_ts(top, ts);
303f5c157d9SJohn Baldwin 			return;
304f5c157d9SJohn Baldwin 		}
3052502c107SJeff Roberson 		/* The thread lock is released as ts lock above. */
306f5c157d9SJohn Baldwin 	}
307f5c157d9SJohn Baldwin }
308f5c157d9SJohn Baldwin 
309f5c157d9SJohn Baldwin /*
310f5c157d9SJohn Baldwin  * Adjust the thread's position on a turnstile after its priority has been
311f5c157d9SJohn Baldwin  * changed.
312f5c157d9SJohn Baldwin  */
313f5c157d9SJohn Baldwin static int
314f5c157d9SJohn Baldwin turnstile_adjust_thread(struct turnstile *ts, struct thread *td)
315f5c157d9SJohn Baldwin {
316f5c157d9SJohn Baldwin 	struct thread *td1, *td2;
3177aa4f685SJohn Baldwin 	int queue;
318f5c157d9SJohn Baldwin 
3192502c107SJeff Roberson 	THREAD_LOCK_ASSERT(td, MA_OWNED);
320f5c157d9SJohn Baldwin 	MPASS(TD_ON_LOCK(td));
321f5c157d9SJohn Baldwin 
32236412d79SJohn Baldwin 	/*
3236b6bd95eSJohn Baldwin 	 * This thread may not be blocked on this turnstile anymore
3246b6bd95eSJohn Baldwin 	 * but instead might already be woken up on another CPU
3252502c107SJeff Roberson 	 * that is waiting on the thread lock in turnstile_unpend() to
3266b6bd95eSJohn Baldwin 	 * finish waking this thread up.  We can detect this case
3276b6bd95eSJohn Baldwin 	 * by checking to see if this thread has been given a
3286b6bd95eSJohn Baldwin 	 * turnstile by either turnstile_signal() or
329ef2c0ba7SJohn Baldwin 	 * turnstile_broadcast().  In this case, treat the thread as
3306b6bd95eSJohn Baldwin 	 * if it was already running.
33179a13d01SJohn Baldwin 	 */
332f5c157d9SJohn Baldwin 	if (td->td_turnstile != NULL)
333f5c157d9SJohn Baldwin 		return (0);
33479a13d01SJohn Baldwin 
33579a13d01SJohn Baldwin 	/*
336f5c157d9SJohn Baldwin 	 * Check if the thread needs to be moved on the blocked chain.
337f5c157d9SJohn Baldwin 	 * It needs to be moved if either its priority is lower than
338f5c157d9SJohn Baldwin 	 * the previous thread or higher than the next thread.
33936412d79SJohn Baldwin 	 */
34061a74c5cSJeff Roberson 	THREAD_LOCKPTR_BLOCKED_ASSERT(td, &ts->ts_lock);
341551cf4e1SJohn Baldwin 	td1 = TAILQ_PREV(td, threadqueue, td_lockq);
342f5c157d9SJohn Baldwin 	td2 = TAILQ_NEXT(td, td_lockq);
343f5c157d9SJohn Baldwin 	if ((td1 != NULL && td->td_priority < td1->td_priority) ||
344f5c157d9SJohn Baldwin 	    (td2 != NULL && td->td_priority > td2->td_priority)) {
34536412d79SJohn Baldwin 
34636412d79SJohn Baldwin 		/*
347b40ce416SJulian Elischer 		 * Remove thread from blocked chain and determine where
348f5c157d9SJohn Baldwin 		 * it should be moved to.
34936412d79SJohn Baldwin 		 */
3507aa4f685SJohn Baldwin 		queue = td->td_tsqueue;
3517aa4f685SJohn Baldwin 		MPASS(queue == TS_EXCLUSIVE_QUEUE || queue == TS_SHARED_QUEUE);
352961a7b24SJohn Baldwin 		mtx_lock_spin(&td_contested_lock);
3537aa4f685SJohn Baldwin 		TAILQ_REMOVE(&ts->ts_blocked[queue], td, td_lockq);
3547aa4f685SJohn Baldwin 		TAILQ_FOREACH(td1, &ts->ts_blocked[queue], td_lockq) {
355b40ce416SJulian Elischer 			MPASS(td1->td_proc->p_magic == P_MAGIC);
356f5c157d9SJohn Baldwin 			if (td1->td_priority > td->td_priority)
35736412d79SJohn Baldwin 				break;
35836412d79SJohn Baldwin 		}
3599ed346baSBosko Milekic 
360f5c157d9SJohn Baldwin 		if (td1 == NULL)
3617aa4f685SJohn Baldwin 			TAILQ_INSERT_TAIL(&ts->ts_blocked[queue], td, td_lockq);
362f5c157d9SJohn Baldwin 		else
363551cf4e1SJohn Baldwin 			TAILQ_INSERT_BEFORE(td1, td, td_lockq);
364961a7b24SJohn Baldwin 		mtx_unlock_spin(&td_contested_lock);
365f5c157d9SJohn Baldwin 		if (td1 == NULL)
366f5c157d9SJohn Baldwin 			CTR3(KTR_LOCK,
367f5c157d9SJohn Baldwin 		    "turnstile_adjust_thread: td %d put at tail on [%p] %s",
368f5c157d9SJohn Baldwin 			    td->td_tid, ts->ts_lockobj, ts->ts_lockobj->lo_name);
369f5c157d9SJohn Baldwin 		else
37036412d79SJohn Baldwin 			CTR4(KTR_LOCK,
371f5c157d9SJohn Baldwin 		    "turnstile_adjust_thread: td %d moved before %d on [%p] %s",
372f5c157d9SJohn Baldwin 			    td->td_tid, td1->td_tid, ts->ts_lockobj,
373f5c157d9SJohn Baldwin 			    ts->ts_lockobj->lo_name);
37436412d79SJohn Baldwin 	}
375f5c157d9SJohn Baldwin 	return (1);
37636412d79SJohn Baldwin }
37736412d79SJohn Baldwin 
3786c35e809SDag-Erling Smørgrav /*
379961a7b24SJohn Baldwin  * Early initialization of turnstiles.  This is not done via a SYSINIT()
380961a7b24SJohn Baldwin  * since this needs to be initialized very early when mutexes are first
381961a7b24SJohn Baldwin  * initialized.
3826283b7d0SJohn Baldwin  */
3836283b7d0SJohn Baldwin void
384961a7b24SJohn Baldwin init_turnstiles(void)
3856283b7d0SJohn Baldwin {
386961a7b24SJohn Baldwin 	int i;
3876283b7d0SJohn Baldwin 
388961a7b24SJohn Baldwin 	for (i = 0; i < TC_TABLESIZE; i++) {
389961a7b24SJohn Baldwin 		LIST_INIT(&turnstile_chains[i].tc_turnstiles);
390961a7b24SJohn Baldwin 		mtx_init(&turnstile_chains[i].tc_lock, "turnstile chain",
391961a7b24SJohn Baldwin 		    NULL, MTX_SPIN);
39201bd10e1SJohn Baldwin 	}
39301bd10e1SJohn Baldwin 	mtx_init(&td_contested_lock, "td_contested", NULL, MTX_SPIN);
394550d1c93SJohn Baldwin 	LIST_INIT(&thread0.td_contested);
39501bd10e1SJohn Baldwin 	thread0.td_turnstile = NULL;
39601bd10e1SJohn Baldwin }
39701bd10e1SJohn Baldwin 
398ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING
39901bd10e1SJohn Baldwin static void
40001bd10e1SJohn Baldwin init_turnstile_profiling(void *arg)
40101bd10e1SJohn Baldwin {
40201bd10e1SJohn Baldwin 	struct sysctl_oid *chain_oid;
40301bd10e1SJohn Baldwin 	char chain_name[10];
40401bd10e1SJohn Baldwin 	int i;
40501bd10e1SJohn Baldwin 
40601bd10e1SJohn Baldwin 	for (i = 0; i < TC_TABLESIZE; i++) {
407ef0ebfc3SJohn Baldwin 		snprintf(chain_name, sizeof(chain_name), "%d", i);
408ef0ebfc3SJohn Baldwin 		chain_oid = SYSCTL_ADD_NODE(NULL,
409ef0ebfc3SJohn Baldwin 		    SYSCTL_STATIC_CHILDREN(_debug_turnstile_chains), OID_AUTO,
410*7029da5cSPawel Biernacki 		    chain_name, CTLFLAG_RD | CTLFLAG_MPSAFE, NULL,
411*7029da5cSPawel Biernacki 		    "turnstile chain stats");
412ef0ebfc3SJohn Baldwin 		SYSCTL_ADD_UINT(NULL, SYSCTL_CHILDREN(chain_oid), OID_AUTO,
413ef0ebfc3SJohn Baldwin 		    "depth", CTLFLAG_RD, &turnstile_chains[i].tc_depth, 0,
414ef0ebfc3SJohn Baldwin 		    NULL);
415ef0ebfc3SJohn Baldwin 		SYSCTL_ADD_UINT(NULL, SYSCTL_CHILDREN(chain_oid), OID_AUTO,
416ef0ebfc3SJohn Baldwin 		    "max_depth", CTLFLAG_RD, &turnstile_chains[i].tc_max_depth,
417ef0ebfc3SJohn Baldwin 		    0, NULL);
41801bd10e1SJohn Baldwin 	}
41901bd10e1SJohn Baldwin }
42001bd10e1SJohn Baldwin SYSINIT(turnstile_profiling, SI_SUB_LOCK, SI_ORDER_ANY,
42101bd10e1SJohn Baldwin     init_turnstile_profiling, NULL);
422ef0ebfc3SJohn Baldwin #endif
4236283b7d0SJohn Baldwin 
424961a7b24SJohn Baldwin static void
425961a7b24SJohn Baldwin init_turnstile0(void *dummy)
4266283b7d0SJohn Baldwin {
4276283b7d0SJohn Baldwin 
4282b7e2ee7SJeff Roberson 	turnstile_zone = uma_zcreate("TURNSTILE", sizeof(struct turnstile),
4298c68f75aSJohn Baldwin 	    NULL,
4302b7e2ee7SJeff Roberson #ifdef INVARIANTS
4318c68f75aSJohn Baldwin 	    turnstile_dtor,
4322b7e2ee7SJeff Roberson #else
4338c68f75aSJohn Baldwin 	    NULL,
4342b7e2ee7SJeff Roberson #endif
4358c68f75aSJohn Baldwin 	    turnstile_init, turnstile_fini, UMA_ALIGN_CACHE, UMA_ZONE_NOFREE);
436961a7b24SJohn Baldwin 	thread0.td_turnstile = turnstile_alloc();
437961a7b24SJohn Baldwin }
438961a7b24SJohn Baldwin SYSINIT(turnstile0, SI_SUB_LOCK, SI_ORDER_ANY, init_turnstile0, NULL);
4396c35e809SDag-Erling Smørgrav 
440961a7b24SJohn Baldwin /*
441f5c157d9SJohn Baldwin  * Update a thread on the turnstile list after it's priority has been changed.
442f5c157d9SJohn Baldwin  * The old priority is passed in as an argument.
443f5c157d9SJohn Baldwin  */
444f5c157d9SJohn Baldwin void
445f5c157d9SJohn Baldwin turnstile_adjust(struct thread *td, u_char oldpri)
446f5c157d9SJohn Baldwin {
447f5c157d9SJohn Baldwin 	struct turnstile *ts;
448f5c157d9SJohn Baldwin 
449f5c157d9SJohn Baldwin 	MPASS(TD_ON_LOCK(td));
450f5c157d9SJohn Baldwin 
451f5c157d9SJohn Baldwin 	/*
452f5c157d9SJohn Baldwin 	 * Pick up the lock that td is blocked on.
453f5c157d9SJohn Baldwin 	 */
454f5c157d9SJohn Baldwin 	ts = td->td_blocked;
455f5c157d9SJohn Baldwin 	MPASS(ts != NULL);
45661a74c5cSJeff Roberson 	THREAD_LOCKPTR_BLOCKED_ASSERT(td, &ts->ts_lock);
4572502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
458f5c157d9SJohn Baldwin 
459f5c157d9SJohn Baldwin 	/* Resort the turnstile on the list. */
4602502c107SJeff Roberson 	if (!turnstile_adjust_thread(ts, td))
461f5c157d9SJohn Baldwin 		return;
462f5c157d9SJohn Baldwin 	/*
463f5c157d9SJohn Baldwin 	 * If our priority was lowered and we are at the head of the
464f5c157d9SJohn Baldwin 	 * turnstile, then propagate our new priority up the chain.
465f5c157d9SJohn Baldwin 	 * Note that we currently don't try to revoke lent priorities
466f5c157d9SJohn Baldwin 	 * when our priority goes up.
467f5c157d9SJohn Baldwin 	 */
4687aa4f685SJohn Baldwin 	MPASS(td->td_tsqueue == TS_EXCLUSIVE_QUEUE ||
4697aa4f685SJohn Baldwin 	    td->td_tsqueue == TS_SHARED_QUEUE);
4707aa4f685SJohn Baldwin 	if (td == TAILQ_FIRST(&ts->ts_blocked[td->td_tsqueue]) &&
4717aa4f685SJohn Baldwin 	    td->td_priority < oldpri) {
472f5c157d9SJohn Baldwin 		propagate_priority(td);
4732502c107SJeff Roberson 	}
474f5c157d9SJohn Baldwin }
475f5c157d9SJohn Baldwin 
476f5c157d9SJohn Baldwin /*
477961a7b24SJohn Baldwin  * Set the owner of the lock this turnstile is attached to.
478961a7b24SJohn Baldwin  */
479961a7b24SJohn Baldwin static void
480961a7b24SJohn Baldwin turnstile_setowner(struct turnstile *ts, struct thread *owner)
481961a7b24SJohn Baldwin {
482961a7b24SJohn Baldwin 
483961a7b24SJohn Baldwin 	mtx_assert(&td_contested_lock, MA_OWNED);
484961a7b24SJohn Baldwin 	MPASS(ts->ts_owner == NULL);
4857aa4f685SJohn Baldwin 
4867aa4f685SJohn Baldwin 	/* A shared lock might not have an owner. */
4877aa4f685SJohn Baldwin 	if (owner == NULL)
4887aa4f685SJohn Baldwin 		return;
4897aa4f685SJohn Baldwin 
4907aa4f685SJohn Baldwin 	MPASS(owner->td_proc->p_magic == P_MAGIC);
491961a7b24SJohn Baldwin 	ts->ts_owner = owner;
492961a7b24SJohn Baldwin 	LIST_INSERT_HEAD(&owner->td_contested, ts, ts_link);
493961a7b24SJohn Baldwin }
494961a7b24SJohn Baldwin 
4952b7e2ee7SJeff Roberson #ifdef INVARIANTS
496961a7b24SJohn Baldwin /*
4972b7e2ee7SJeff Roberson  * UMA zone item deallocator.
498961a7b24SJohn Baldwin  */
4992b7e2ee7SJeff Roberson static void
5002b7e2ee7SJeff Roberson turnstile_dtor(void *mem, int size, void *arg)
501961a7b24SJohn Baldwin {
502961a7b24SJohn Baldwin 	struct turnstile *ts;
503961a7b24SJohn Baldwin 
5042b7e2ee7SJeff Roberson 	ts = mem;
5052b7e2ee7SJeff Roberson 	MPASS(TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]));
5062b7e2ee7SJeff Roberson 	MPASS(TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]));
5072b7e2ee7SJeff Roberson 	MPASS(TAILQ_EMPTY(&ts->ts_pending));
5082b7e2ee7SJeff Roberson }
5092b7e2ee7SJeff Roberson #endif
5102b7e2ee7SJeff Roberson 
5112b7e2ee7SJeff Roberson /*
5122b7e2ee7SJeff Roberson  * UMA zone item initializer.
5132b7e2ee7SJeff Roberson  */
5142b7e2ee7SJeff Roberson static int
5152b7e2ee7SJeff Roberson turnstile_init(void *mem, int size, int flags)
5162b7e2ee7SJeff Roberson {
5172b7e2ee7SJeff Roberson 	struct turnstile *ts;
5182b7e2ee7SJeff Roberson 
5192b7e2ee7SJeff Roberson 	bzero(mem, size);
5202b7e2ee7SJeff Roberson 	ts = mem;
5217aa4f685SJohn Baldwin 	TAILQ_INIT(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]);
5227aa4f685SJohn Baldwin 	TAILQ_INIT(&ts->ts_blocked[TS_SHARED_QUEUE]);
523961a7b24SJohn Baldwin 	TAILQ_INIT(&ts->ts_pending);
524961a7b24SJohn Baldwin 	LIST_INIT(&ts->ts_free);
5251c81a87eSJeff Roberson 	mtx_init(&ts->ts_lock, "turnstile lock", NULL, MTX_SPIN);
5262b7e2ee7SJeff Roberson 	return (0);
5272b7e2ee7SJeff Roberson }
5282b7e2ee7SJeff Roberson 
5292502c107SJeff Roberson static void
5302502c107SJeff Roberson turnstile_fini(void *mem, int size)
5312502c107SJeff Roberson {
5322502c107SJeff Roberson 	struct turnstile *ts;
5332502c107SJeff Roberson 
5342502c107SJeff Roberson 	ts = mem;
5352502c107SJeff Roberson 	mtx_destroy(&ts->ts_lock);
5362502c107SJeff Roberson }
5372502c107SJeff Roberson 
5382b7e2ee7SJeff Roberson /*
5392b7e2ee7SJeff Roberson  * Get a turnstile for a new thread.
5402b7e2ee7SJeff Roberson  */
5412b7e2ee7SJeff Roberson struct turnstile *
5422b7e2ee7SJeff Roberson turnstile_alloc(void)
5432b7e2ee7SJeff Roberson {
5442b7e2ee7SJeff Roberson 
5452b7e2ee7SJeff Roberson 	return (uma_zalloc(turnstile_zone, M_WAITOK));
546961a7b24SJohn Baldwin }
547961a7b24SJohn Baldwin 
548961a7b24SJohn Baldwin /*
549961a7b24SJohn Baldwin  * Free a turnstile when a thread is destroyed.
550961a7b24SJohn Baldwin  */
551961a7b24SJohn Baldwin void
552961a7b24SJohn Baldwin turnstile_free(struct turnstile *ts)
553961a7b24SJohn Baldwin {
554961a7b24SJohn Baldwin 
5552b7e2ee7SJeff Roberson 	uma_zfree(turnstile_zone, ts);
556961a7b24SJohn Baldwin }
557961a7b24SJohn Baldwin 
558961a7b24SJohn Baldwin /*
5592ff0e645SJohn Baldwin  * Lock the turnstile chain associated with the specified lock.
5602ff0e645SJohn Baldwin  */
5612ff0e645SJohn Baldwin void
5622502c107SJeff Roberson turnstile_chain_lock(struct lock_object *lock)
5632ff0e645SJohn Baldwin {
5642ff0e645SJohn Baldwin 	struct turnstile_chain *tc;
5652ff0e645SJohn Baldwin 
5662ff0e645SJohn Baldwin 	tc = TC_LOOKUP(lock);
5672ff0e645SJohn Baldwin 	mtx_lock_spin(&tc->tc_lock);
5682ff0e645SJohn Baldwin }
5692ff0e645SJohn Baldwin 
5702502c107SJeff Roberson struct turnstile *
5712502c107SJeff Roberson turnstile_trywait(struct lock_object *lock)
5722502c107SJeff Roberson {
5732502c107SJeff Roberson 	struct turnstile_chain *tc;
5742502c107SJeff Roberson 	struct turnstile *ts;
5752502c107SJeff Roberson 
5762502c107SJeff Roberson 	tc = TC_LOOKUP(lock);
5772502c107SJeff Roberson 	mtx_lock_spin(&tc->tc_lock);
5782502c107SJeff Roberson 	LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash)
5792502c107SJeff Roberson 		if (ts->ts_lockobj == lock) {
5802502c107SJeff Roberson 			mtx_lock_spin(&ts->ts_lock);
5812502c107SJeff Roberson 			return (ts);
5822502c107SJeff Roberson 		}
5832502c107SJeff Roberson 
5842502c107SJeff Roberson 	ts = curthread->td_turnstile;
5852502c107SJeff Roberson 	MPASS(ts != NULL);
5862502c107SJeff Roberson 	mtx_lock_spin(&ts->ts_lock);
5872502c107SJeff Roberson 	KASSERT(ts->ts_lockobj == NULL, ("stale ts_lockobj pointer"));
5882502c107SJeff Roberson 	ts->ts_lockobj = lock;
5892502c107SJeff Roberson 
5902502c107SJeff Roberson 	return (ts);
5912502c107SJeff Roberson }
5922502c107SJeff Roberson 
5932fb62b1aSMark Johnston bool
5942fb62b1aSMark Johnston turnstile_lock(struct turnstile *ts, struct lock_object **lockp,
5952fb62b1aSMark Johnston     struct thread **tdp)
59606bf2a6aSMatt Macy {
59706bf2a6aSMatt Macy 	struct turnstile_chain *tc;
59806bf2a6aSMatt Macy 	struct lock_object *lock;
59906bf2a6aSMatt Macy 
60006bf2a6aSMatt Macy 	if ((lock = ts->ts_lockobj) == NULL)
6012fb62b1aSMark Johnston 		return (false);
60206bf2a6aSMatt Macy 	tc = TC_LOOKUP(lock);
60306bf2a6aSMatt Macy 	mtx_lock_spin(&tc->tc_lock);
60406bf2a6aSMatt Macy 	mtx_lock_spin(&ts->ts_lock);
60506bf2a6aSMatt Macy 	if (__predict_false(lock != ts->ts_lockobj)) {
60606bf2a6aSMatt Macy 		mtx_unlock_spin(&tc->tc_lock);
60706bf2a6aSMatt Macy 		mtx_unlock_spin(&ts->ts_lock);
6082fb62b1aSMark Johnston 		return (false);
60906bf2a6aSMatt Macy 	}
61006bf2a6aSMatt Macy 	*lockp = lock;
6112fb62b1aSMark Johnston 	*tdp = ts->ts_owner;
6122fb62b1aSMark Johnston 	return (true);
61306bf2a6aSMatt Macy }
61406bf2a6aSMatt Macy 
61506bf2a6aSMatt Macy void
61606bf2a6aSMatt Macy turnstile_unlock(struct turnstile *ts, struct lock_object *lock)
61706bf2a6aSMatt Macy {
61806bf2a6aSMatt Macy 	struct turnstile_chain *tc;
61906bf2a6aSMatt Macy 
62006bf2a6aSMatt Macy 	mtx_assert(&ts->ts_lock, MA_OWNED);
62106bf2a6aSMatt Macy 	mtx_unlock_spin(&ts->ts_lock);
62206bf2a6aSMatt Macy 	if (ts == curthread->td_turnstile)
62306bf2a6aSMatt Macy 		ts->ts_lockobj = NULL;
62406bf2a6aSMatt Macy 	tc = TC_LOOKUP(lock);
62506bf2a6aSMatt Macy 	mtx_unlock_spin(&tc->tc_lock);
62606bf2a6aSMatt Macy }
62706bf2a6aSMatt Macy 
62806bf2a6aSMatt Macy void
62906bf2a6aSMatt Macy turnstile_assert(struct turnstile *ts)
63006bf2a6aSMatt Macy {
63106bf2a6aSMatt Macy 	MPASS(ts->ts_lockobj == NULL);
63206bf2a6aSMatt Macy }
63306bf2a6aSMatt Macy 
6342502c107SJeff Roberson void
6352502c107SJeff Roberson turnstile_cancel(struct turnstile *ts)
6362502c107SJeff Roberson {
6372502c107SJeff Roberson 	struct turnstile_chain *tc;
6382502c107SJeff Roberson 	struct lock_object *lock;
6392502c107SJeff Roberson 
6402502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
6412502c107SJeff Roberson 
6422502c107SJeff Roberson 	mtx_unlock_spin(&ts->ts_lock);
6432502c107SJeff Roberson 	lock = ts->ts_lockobj;
6442502c107SJeff Roberson 	if (ts == curthread->td_turnstile)
6452502c107SJeff Roberson 		ts->ts_lockobj = NULL;
6462502c107SJeff Roberson 	tc = TC_LOOKUP(lock);
6472502c107SJeff Roberson 	mtx_unlock_spin(&tc->tc_lock);
6482502c107SJeff Roberson }
6492502c107SJeff Roberson 
6502ff0e645SJohn Baldwin /*
651961a7b24SJohn Baldwin  * Look up the turnstile for a lock in the hash table locking the associated
6522ff0e645SJohn Baldwin  * turnstile chain along the way.  If no turnstile is found in the hash
6532ff0e645SJohn Baldwin  * table, NULL is returned.
654961a7b24SJohn Baldwin  */
655961a7b24SJohn Baldwin struct turnstile *
656961a7b24SJohn Baldwin turnstile_lookup(struct lock_object *lock)
657961a7b24SJohn Baldwin {
658961a7b24SJohn Baldwin 	struct turnstile_chain *tc;
659961a7b24SJohn Baldwin 	struct turnstile *ts;
660961a7b24SJohn Baldwin 
661961a7b24SJohn Baldwin 	tc = TC_LOOKUP(lock);
6622ff0e645SJohn Baldwin 	mtx_assert(&tc->tc_lock, MA_OWNED);
663961a7b24SJohn Baldwin 	LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash)
6642502c107SJeff Roberson 		if (ts->ts_lockobj == lock) {
6652502c107SJeff Roberson 			mtx_lock_spin(&ts->ts_lock);
666961a7b24SJohn Baldwin 			return (ts);
6672502c107SJeff Roberson 		}
668961a7b24SJohn Baldwin 	return (NULL);
669961a7b24SJohn Baldwin }
670961a7b24SJohn Baldwin 
671961a7b24SJohn Baldwin /*
672961a7b24SJohn Baldwin  * Unlock the turnstile chain associated with a given lock.
673961a7b24SJohn Baldwin  */
674961a7b24SJohn Baldwin void
6752502c107SJeff Roberson turnstile_chain_unlock(struct lock_object *lock)
676961a7b24SJohn Baldwin {
677961a7b24SJohn Baldwin 	struct turnstile_chain *tc;
678961a7b24SJohn Baldwin 
679961a7b24SJohn Baldwin 	tc = TC_LOOKUP(lock);
680961a7b24SJohn Baldwin 	mtx_unlock_spin(&tc->tc_lock);
681961a7b24SJohn Baldwin }
682961a7b24SJohn Baldwin 
683961a7b24SJohn Baldwin /*
6847aa4f685SJohn Baldwin  * Return a pointer to the thread waiting on this turnstile with the
6857aa4f685SJohn Baldwin  * most important priority or NULL if the turnstile has no waiters.
6867aa4f685SJohn Baldwin  */
6877aa4f685SJohn Baldwin static struct thread *
6887aa4f685SJohn Baldwin turnstile_first_waiter(struct turnstile *ts)
6897aa4f685SJohn Baldwin {
6907aa4f685SJohn Baldwin 	struct thread *std, *xtd;
6917aa4f685SJohn Baldwin 
6927aa4f685SJohn Baldwin 	std = TAILQ_FIRST(&ts->ts_blocked[TS_SHARED_QUEUE]);
6937aa4f685SJohn Baldwin 	xtd = TAILQ_FIRST(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]);
6947aa4f685SJohn Baldwin 	if (xtd == NULL || (std != NULL && std->td_priority < xtd->td_priority))
6957aa4f685SJohn Baldwin 		return (std);
6967aa4f685SJohn Baldwin 	return (xtd);
6977aa4f685SJohn Baldwin }
6987aa4f685SJohn Baldwin 
6997aa4f685SJohn Baldwin /*
700961a7b24SJohn Baldwin  * Take ownership of a turnstile and adjust the priority of the new
701961a7b24SJohn Baldwin  * owner appropriately.
702961a7b24SJohn Baldwin  */
703961a7b24SJohn Baldwin void
7042502c107SJeff Roberson turnstile_claim(struct turnstile *ts)
705961a7b24SJohn Baldwin {
706961a7b24SJohn Baldwin 	struct thread *td, *owner;
7072502c107SJeff Roberson 	struct turnstile_chain *tc;
708961a7b24SJohn Baldwin 
7092502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
7102502c107SJeff Roberson 	MPASS(ts != curthread->td_turnstile);
711961a7b24SJohn Baldwin 
712961a7b24SJohn Baldwin 	owner = curthread;
713961a7b24SJohn Baldwin 	mtx_lock_spin(&td_contested_lock);
714961a7b24SJohn Baldwin 	turnstile_setowner(ts, owner);
715961a7b24SJohn Baldwin 	mtx_unlock_spin(&td_contested_lock);
716961a7b24SJohn Baldwin 
7177aa4f685SJohn Baldwin 	td = turnstile_first_waiter(ts);
718961a7b24SJohn Baldwin 	MPASS(td != NULL);
719961a7b24SJohn Baldwin 	MPASS(td->td_proc->p_magic == P_MAGIC);
72061a74c5cSJeff Roberson 	THREAD_LOCKPTR_BLOCKED_ASSERT(td, &ts->ts_lock);
721961a7b24SJohn Baldwin 
722961a7b24SJohn Baldwin 	/*
723961a7b24SJohn Baldwin 	 * Update the priority of the new owner if needed.
724961a7b24SJohn Baldwin 	 */
7252502c107SJeff Roberson 	thread_lock(owner);
726961a7b24SJohn Baldwin 	if (td->td_priority < owner->td_priority)
727f5c157d9SJohn Baldwin 		sched_lend_prio(owner, td->td_priority);
7282502c107SJeff Roberson 	thread_unlock(owner);
7292502c107SJeff Roberson 	tc = TC_LOOKUP(ts->ts_lockobj);
7302502c107SJeff Roberson 	mtx_unlock_spin(&ts->ts_lock);
7312502c107SJeff Roberson 	mtx_unlock_spin(&tc->tc_lock);
732961a7b24SJohn Baldwin }
733961a7b24SJohn Baldwin 
734961a7b24SJohn Baldwin /*
7352ff0e645SJohn Baldwin  * Block the current thread on the turnstile assicated with 'lock'.  This
7362ff0e645SJohn Baldwin  * function will context switch and not return until this thread has been
7372ff0e645SJohn Baldwin  * woken back up.  This function must be called with the appropriate
7382ff0e645SJohn Baldwin  * turnstile chain locked and will return with it unlocked.
739961a7b24SJohn Baldwin  */
740961a7b24SJohn Baldwin void
7412502c107SJeff Roberson turnstile_wait(struct turnstile *ts, struct thread *owner, int queue)
742961a7b24SJohn Baldwin {
743961a7b24SJohn Baldwin 	struct turnstile_chain *tc;
744961a7b24SJohn Baldwin 	struct thread *td, *td1;
7452502c107SJeff Roberson 	struct lock_object *lock;
746961a7b24SJohn Baldwin 
747961a7b24SJohn Baldwin 	td = curthread;
7482502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
7497aa4f685SJohn Baldwin 	if (owner)
750961a7b24SJohn Baldwin 		MPASS(owner->td_proc->p_magic == P_MAGIC);
7517aa4f685SJohn Baldwin 	MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE);
752961a7b24SJohn Baldwin 
7532ff0e645SJohn Baldwin 	/*
7542ff0e645SJohn Baldwin 	 * If the lock does not already have a turnstile, use this thread's
7552ff0e645SJohn Baldwin 	 * turnstile.  Otherwise insert the current thread into the
7562ff0e645SJohn Baldwin 	 * turnstile already in use by this lock.
7572ff0e645SJohn Baldwin 	 */
7582502c107SJeff Roberson 	tc = TC_LOOKUP(ts->ts_lockobj);
7592502c107SJeff Roberson 	mtx_assert(&tc->tc_lock, MA_OWNED);
760f7488600SJohn Baldwin 	if (ts == td->td_turnstile) {
761ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING
762ef0ebfc3SJohn Baldwin 		tc->tc_depth++;
763ef0ebfc3SJohn Baldwin 		if (tc->tc_depth > tc->tc_max_depth) {
764ef0ebfc3SJohn Baldwin 			tc->tc_max_depth = tc->tc_depth;
765ef0ebfc3SJohn Baldwin 			if (tc->tc_max_depth > turnstile_max_depth)
766ef0ebfc3SJohn Baldwin 				turnstile_max_depth = tc->tc_max_depth;
767ef0ebfc3SJohn Baldwin 		}
768ef0ebfc3SJohn Baldwin #endif
769961a7b24SJohn Baldwin 		LIST_INSERT_HEAD(&tc->tc_turnstiles, ts, ts_hash);
770961a7b24SJohn Baldwin 		KASSERT(TAILQ_EMPTY(&ts->ts_pending),
771961a7b24SJohn Baldwin 		    ("thread's turnstile has pending threads"));
7727aa4f685SJohn Baldwin 		KASSERT(TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]),
7737aa4f685SJohn Baldwin 		    ("thread's turnstile has exclusive waiters"));
7747aa4f685SJohn Baldwin 		KASSERT(TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]),
7757aa4f685SJohn Baldwin 		    ("thread's turnstile has shared waiters"));
776961a7b24SJohn Baldwin 		KASSERT(LIST_EMPTY(&ts->ts_free),
777961a7b24SJohn Baldwin 		    ("thread's turnstile has a non-empty free list"));
7782502c107SJeff Roberson 		MPASS(ts->ts_lockobj != NULL);
779961a7b24SJohn Baldwin 		mtx_lock_spin(&td_contested_lock);
7807aa4f685SJohn Baldwin 		TAILQ_INSERT_TAIL(&ts->ts_blocked[queue], td, td_lockq);
781961a7b24SJohn Baldwin 		turnstile_setowner(ts, owner);
782961a7b24SJohn Baldwin 		mtx_unlock_spin(&td_contested_lock);
783961a7b24SJohn Baldwin 	} else {
7847aa4f685SJohn Baldwin 		TAILQ_FOREACH(td1, &ts->ts_blocked[queue], td_lockq)
785961a7b24SJohn Baldwin 			if (td1->td_priority > td->td_priority)
7866c35e809SDag-Erling Smørgrav 				break;
787961a7b24SJohn Baldwin 		mtx_lock_spin(&td_contested_lock);
788961a7b24SJohn Baldwin 		if (td1 != NULL)
789961a7b24SJohn Baldwin 			TAILQ_INSERT_BEFORE(td1, td, td_lockq);
790961a7b24SJohn Baldwin 		else
7917aa4f685SJohn Baldwin 			TAILQ_INSERT_TAIL(&ts->ts_blocked[queue], td, td_lockq);
7927aa4f685SJohn Baldwin 		MPASS(owner == ts->ts_owner);
793961a7b24SJohn Baldwin 		mtx_unlock_spin(&td_contested_lock);
794961a7b24SJohn Baldwin 		MPASS(td->td_turnstile != NULL);
795961a7b24SJohn Baldwin 		LIST_INSERT_HEAD(&ts->ts_free, td->td_turnstile, ts_hash);
7966c35e809SDag-Erling Smørgrav 	}
7972502c107SJeff Roberson 	thread_lock(td);
7982502c107SJeff Roberson 	thread_lock_set(td, &ts->ts_lock);
799961a7b24SJohn Baldwin 	td->td_turnstile = NULL;
80036412d79SJohn Baldwin 
801961a7b24SJohn Baldwin 	/* Save who we are blocked on and switch. */
8022502c107SJeff Roberson 	lock = ts->ts_lockobj;
8037aa4f685SJohn Baldwin 	td->td_tsqueue = queue;
804961a7b24SJohn Baldwin 	td->td_blocked = ts;
805961a7b24SJohn Baldwin 	td->td_lockname = lock->lo_name;
806f7829d0dSAttilio Rao 	td->td_blktick = ticks;
807551cf4e1SJohn Baldwin 	TD_SET_LOCK(td);
8082502c107SJeff Roberson 	mtx_unlock_spin(&tc->tc_lock);
809b40ce416SJulian Elischer 	propagate_priority(td);
8109ed346baSBosko Milekic 
811961a7b24SJohn Baldwin 	if (LOCK_LOG_TEST(lock, 0))
812f5c157d9SJohn Baldwin 		CTR4(KTR_LOCK, "%s: td %d blocked on [%p] %s", __func__,
813f5c157d9SJohn Baldwin 		    td->td_tid, lock, lock->lo_name);
8149ed346baSBosko Milekic 
815b3e9e682SRyan Stone 	SDT_PROBE0(sched, , , sleep);
816b3e9e682SRyan Stone 
817626ac252SJeff Roberson 	THREAD_LOCKPTR_ASSERT(td, &ts->ts_lock);
818686bcb5cSJeff Roberson 	mi_switch(SW_VOL | SWT_TURNSTILE);
8199ed346baSBosko Milekic 
820961a7b24SJohn Baldwin 	if (LOCK_LOG_TEST(lock, 0))
821f5c157d9SJohn Baldwin 		CTR4(KTR_LOCK, "%s: td %d free from blocked on [%p] %s",
822f5c157d9SJohn Baldwin 		    __func__, td->td_tid, lock, lock->lo_name);
82336412d79SJohn Baldwin }
8249ed346baSBosko Milekic 
825961a7b24SJohn Baldwin /*
826961a7b24SJohn Baldwin  * Pick the highest priority thread on this turnstile and put it on the
827961a7b24SJohn Baldwin  * pending list.  This must be called with the turnstile chain locked.
828961a7b24SJohn Baldwin  */
829961a7b24SJohn Baldwin int
8307aa4f685SJohn Baldwin turnstile_signal(struct turnstile *ts, int queue)
831961a7b24SJohn Baldwin {
8323adccf38SMatt Macy 	struct turnstile_chain *tc __unused;
833961a7b24SJohn Baldwin 	struct thread *td;
834961a7b24SJohn Baldwin 	int empty;
835961a7b24SJohn Baldwin 
836961a7b24SJohn Baldwin 	MPASS(ts != NULL);
8372502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
838961a7b24SJohn Baldwin 	MPASS(curthread->td_proc->p_magic == P_MAGIC);
8395dff04c3SJeff Roberson 	MPASS(ts->ts_owner == curthread || ts->ts_owner == NULL);
8407aa4f685SJohn Baldwin 	MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE);
8419ed346baSBosko Milekic 
8429ed346baSBosko Milekic 	/*
843961a7b24SJohn Baldwin 	 * Pick the highest priority thread blocked on this lock and
844961a7b24SJohn Baldwin 	 * move it to the pending list.
8459ed346baSBosko Milekic 	 */
8467aa4f685SJohn Baldwin 	td = TAILQ_FIRST(&ts->ts_blocked[queue]);
847b40ce416SJulian Elischer 	MPASS(td->td_proc->p_magic == P_MAGIC);
848961a7b24SJohn Baldwin 	mtx_lock_spin(&td_contested_lock);
8497aa4f685SJohn Baldwin 	TAILQ_REMOVE(&ts->ts_blocked[queue], td, td_lockq);
850961a7b24SJohn Baldwin 	mtx_unlock_spin(&td_contested_lock);
851961a7b24SJohn Baldwin 	TAILQ_INSERT_TAIL(&ts->ts_pending, td, td_lockq);
8529ed346baSBosko Milekic 
853961a7b24SJohn Baldwin 	/*
854961a7b24SJohn Baldwin 	 * If the turnstile is now empty, remove it from its chain and
855961a7b24SJohn Baldwin 	 * give it to the about-to-be-woken thread.  Otherwise take a
856961a7b24SJohn Baldwin 	 * turnstile from the free list and give it to the thread.
857961a7b24SJohn Baldwin 	 */
8587aa4f685SJohn Baldwin 	empty = TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) &&
8597aa4f685SJohn Baldwin 	    TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]);
860ef0ebfc3SJohn Baldwin 	if (empty) {
8612502c107SJeff Roberson 		tc = TC_LOOKUP(ts->ts_lockobj);
8622502c107SJeff Roberson 		mtx_assert(&tc->tc_lock, MA_OWNED);
863961a7b24SJohn Baldwin 		MPASS(LIST_EMPTY(&ts->ts_free));
864ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING
865ef0ebfc3SJohn Baldwin 		tc->tc_depth--;
866ef0ebfc3SJohn Baldwin #endif
867ef0ebfc3SJohn Baldwin 	} else
868961a7b24SJohn Baldwin 		ts = LIST_FIRST(&ts->ts_free);
869da1d503bSJohn Baldwin 	MPASS(ts != NULL);
870961a7b24SJohn Baldwin 	LIST_REMOVE(ts, ts_hash);
871961a7b24SJohn Baldwin 	td->td_turnstile = ts;
8729ed346baSBosko Milekic 
873961a7b24SJohn Baldwin 	return (empty);
874961a7b24SJohn Baldwin }
875961a7b24SJohn Baldwin 
876961a7b24SJohn Baldwin /*
877961a7b24SJohn Baldwin  * Put all blocked threads on the pending list.  This must be called with
878961a7b24SJohn Baldwin  * the turnstile chain locked.
879961a7b24SJohn Baldwin  */
880961a7b24SJohn Baldwin void
8817aa4f685SJohn Baldwin turnstile_broadcast(struct turnstile *ts, int queue)
882961a7b24SJohn Baldwin {
8833adccf38SMatt Macy 	struct turnstile_chain *tc __unused;
884961a7b24SJohn Baldwin 	struct turnstile *ts1;
885961a7b24SJohn Baldwin 	struct thread *td;
886961a7b24SJohn Baldwin 
887961a7b24SJohn Baldwin 	MPASS(ts != NULL);
8882502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
889961a7b24SJohn Baldwin 	MPASS(curthread->td_proc->p_magic == P_MAGIC);
8905dff04c3SJeff Roberson 	MPASS(ts->ts_owner == curthread || ts->ts_owner == NULL);
8912502c107SJeff Roberson 	/*
8922502c107SJeff Roberson 	 * We must have the chain locked so that we can remove the empty
8932502c107SJeff Roberson 	 * turnstile from the hash queue.
8942502c107SJeff Roberson 	 */
895961a7b24SJohn Baldwin 	tc = TC_LOOKUP(ts->ts_lockobj);
896961a7b24SJohn Baldwin 	mtx_assert(&tc->tc_lock, MA_OWNED);
8977aa4f685SJohn Baldwin 	MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE);
898961a7b24SJohn Baldwin 
899961a7b24SJohn Baldwin 	/*
900961a7b24SJohn Baldwin 	 * Transfer the blocked list to the pending list.
901961a7b24SJohn Baldwin 	 */
902961a7b24SJohn Baldwin 	mtx_lock_spin(&td_contested_lock);
9037aa4f685SJohn Baldwin 	TAILQ_CONCAT(&ts->ts_pending, &ts->ts_blocked[queue], td_lockq);
904961a7b24SJohn Baldwin 	mtx_unlock_spin(&td_contested_lock);
905961a7b24SJohn Baldwin 
906961a7b24SJohn Baldwin 	/*
907961a7b24SJohn Baldwin 	 * Give a turnstile to each thread.  The last thread gets
9087aa4f685SJohn Baldwin 	 * this turnstile if the turnstile is empty.
909961a7b24SJohn Baldwin 	 */
910961a7b24SJohn Baldwin 	TAILQ_FOREACH(td, &ts->ts_pending, td_lockq) {
911961a7b24SJohn Baldwin 		if (LIST_EMPTY(&ts->ts_free)) {
912961a7b24SJohn Baldwin 			MPASS(TAILQ_NEXT(td, td_lockq) == NULL);
913961a7b24SJohn Baldwin 			ts1 = ts;
914ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING
915ef0ebfc3SJohn Baldwin 			tc->tc_depth--;
916ef0ebfc3SJohn Baldwin #endif
91736412d79SJohn Baldwin 		} else
918961a7b24SJohn Baldwin 			ts1 = LIST_FIRST(&ts->ts_free);
919da1d503bSJohn Baldwin 		MPASS(ts1 != NULL);
920961a7b24SJohn Baldwin 		LIST_REMOVE(ts1, ts_hash);
921961a7b24SJohn Baldwin 		td->td_turnstile = ts1;
922961a7b24SJohn Baldwin 	}
923961a7b24SJohn Baldwin }
9249ed346baSBosko Milekic 
925a9fd669bSKonstantin Belousov static u_char
926a9fd669bSKonstantin Belousov turnstile_calc_unlend_prio_locked(struct thread *td)
927a9fd669bSKonstantin Belousov {
928a9fd669bSKonstantin Belousov 	struct turnstile *nts;
929a9fd669bSKonstantin Belousov 	u_char cp, pri;
930a9fd669bSKonstantin Belousov 
931a9fd669bSKonstantin Belousov 	THREAD_LOCK_ASSERT(td, MA_OWNED);
932a9fd669bSKonstantin Belousov 	mtx_assert(&td_contested_lock, MA_OWNED);
933a9fd669bSKonstantin Belousov 
934a9fd669bSKonstantin Belousov 	pri = PRI_MAX;
935a9fd669bSKonstantin Belousov 	LIST_FOREACH(nts, &td->td_contested, ts_link) {
936a9fd669bSKonstantin Belousov 		cp = turnstile_first_waiter(nts)->td_priority;
937a9fd669bSKonstantin Belousov 		if (cp < pri)
938a9fd669bSKonstantin Belousov 			pri = cp;
939a9fd669bSKonstantin Belousov 	}
940a9fd669bSKonstantin Belousov 	return (pri);
941a9fd669bSKonstantin Belousov }
942a9fd669bSKonstantin Belousov 
943961a7b24SJohn Baldwin /*
944961a7b24SJohn Baldwin  * Wakeup all threads on the pending list and adjust the priority of the
945961a7b24SJohn Baldwin  * current thread appropriately.  This must be called with the turnstile
946961a7b24SJohn Baldwin  * chain locked.
947961a7b24SJohn Baldwin  */
948961a7b24SJohn Baldwin void
949d0a22279SMateusz Guzik turnstile_unpend(struct turnstile *ts)
950961a7b24SJohn Baldwin {
951961a7b24SJohn Baldwin 	TAILQ_HEAD( ,thread) pending_threads;
952961a7b24SJohn Baldwin 	struct thread *td;
953a9fd669bSKonstantin Belousov 	u_char pri;
954961a7b24SJohn Baldwin 
955961a7b24SJohn Baldwin 	MPASS(ts != NULL);
9562502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
9575dff04c3SJeff Roberson 	MPASS(ts->ts_owner == curthread || ts->ts_owner == NULL);
958961a7b24SJohn Baldwin 	MPASS(!TAILQ_EMPTY(&ts->ts_pending));
959961a7b24SJohn Baldwin 
960961a7b24SJohn Baldwin 	/*
961961a7b24SJohn Baldwin 	 * Move the list of pending threads out of the turnstile and
962961a7b24SJohn Baldwin 	 * into a local variable.
963961a7b24SJohn Baldwin 	 */
964961a7b24SJohn Baldwin 	TAILQ_INIT(&pending_threads);
965961a7b24SJohn Baldwin 	TAILQ_CONCAT(&pending_threads, &ts->ts_pending, td_lockq);
966961a7b24SJohn Baldwin #ifdef INVARIANTS
9677aa4f685SJohn Baldwin 	if (TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) &&
9687aa4f685SJohn Baldwin 	    TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]))
969961a7b24SJohn Baldwin 		ts->ts_lockobj = NULL;
970961a7b24SJohn Baldwin #endif
9712502c107SJeff Roberson 	/*
9722502c107SJeff Roberson 	 * Adjust the priority of curthread based on other contested
9732502c107SJeff Roberson 	 * locks it owns.  Don't lower the priority below the base
9742502c107SJeff Roberson 	 * priority however.
9752502c107SJeff Roberson 	 */
9762502c107SJeff Roberson 	td = curthread;
9772502c107SJeff Roberson 	thread_lock(td);
9782502c107SJeff Roberson 	mtx_lock_spin(&td_contested_lock);
979961a7b24SJohn Baldwin 	/*
980961a7b24SJohn Baldwin 	 * Remove the turnstile from this thread's list of contested locks
981961a7b24SJohn Baldwin 	 * since this thread doesn't own it anymore.  New threads will
982961a7b24SJohn Baldwin 	 * not be blocking on the turnstile until it is claimed by a new
9837aa4f685SJohn Baldwin 	 * owner.  There might not be a current owner if this is a shared
9847aa4f685SJohn Baldwin 	 * lock.
985961a7b24SJohn Baldwin 	 */
9867aa4f685SJohn Baldwin 	if (ts->ts_owner != NULL) {
987961a7b24SJohn Baldwin 		ts->ts_owner = NULL;
988961a7b24SJohn Baldwin 		LIST_REMOVE(ts, ts_link);
9897aa4f685SJohn Baldwin 	}
990a9fd669bSKonstantin Belousov 	pri = turnstile_calc_unlend_prio_locked(td);
991961a7b24SJohn Baldwin 	mtx_unlock_spin(&td_contested_lock);
992f5c157d9SJohn Baldwin 	sched_unlend_prio(td, pri);
9932502c107SJeff Roberson 	thread_unlock(td);
994961a7b24SJohn Baldwin 	/*
995961a7b24SJohn Baldwin 	 * Wake up all the pending threads.  If a thread is not blocked
996961a7b24SJohn Baldwin 	 * on a lock, then it is currently executing on another CPU in
99767ba8678SJohn Baldwin 	 * turnstile_wait() or sitting on a run queue waiting to resume
99867ba8678SJohn Baldwin 	 * in turnstile_wait().  Set a flag to force it to try to acquire
999961a7b24SJohn Baldwin 	 * the lock again instead of blocking.
1000961a7b24SJohn Baldwin 	 */
1001961a7b24SJohn Baldwin 	while (!TAILQ_EMPTY(&pending_threads)) {
1002961a7b24SJohn Baldwin 		td = TAILQ_FIRST(&pending_threads);
1003961a7b24SJohn Baldwin 		TAILQ_REMOVE(&pending_threads, td, td_lockq);
1004b3e9e682SRyan Stone 		SDT_PROBE2(sched, , , wakeup, td, td->td_proc);
100561a74c5cSJeff Roberson 		thread_lock_block_wait(td);
1006626ac252SJeff Roberson 		THREAD_LOCKPTR_ASSERT(td, &ts->ts_lock);
1007961a7b24SJohn Baldwin 		MPASS(td->td_proc->p_magic == P_MAGIC);
10082502c107SJeff Roberson 		MPASS(TD_ON_LOCK(td));
10092502c107SJeff Roberson 		TD_CLR_LOCK(td);
10102502c107SJeff Roberson 		MPASS(TD_CAN_RUN(td));
1011961a7b24SJohn Baldwin 		td->td_blocked = NULL;
1012961a7b24SJohn Baldwin 		td->td_lockname = NULL;
1013f7829d0dSAttilio Rao 		td->td_blktick = 0;
10147aa4f685SJohn Baldwin #ifdef INVARIANTS
10157aa4f685SJohn Baldwin 		td->td_tsqueue = 0xff;
10167aa4f685SJohn Baldwin #endif
101761a74c5cSJeff Roberson 		sched_add(td, SRQ_HOLD | SRQ_BORING);
1018961a7b24SJohn Baldwin 	}
10192502c107SJeff Roberson 	mtx_unlock_spin(&ts->ts_lock);
10209ed346baSBosko Milekic }
10219ed346baSBosko Milekic 
10229ed346baSBosko Milekic /*
1023f1a4b852SJohn Baldwin  * Give up ownership of a turnstile.  This must be called with the
1024f1a4b852SJohn Baldwin  * turnstile chain locked.
1025f1a4b852SJohn Baldwin  */
1026f1a4b852SJohn Baldwin void
1027f1a4b852SJohn Baldwin turnstile_disown(struct turnstile *ts)
1028f1a4b852SJohn Baldwin {
1029f1a4b852SJohn Baldwin 	struct thread *td;
1030a9fd669bSKonstantin Belousov 	u_char pri;
1031f1a4b852SJohn Baldwin 
1032f1a4b852SJohn Baldwin 	MPASS(ts != NULL);
10332502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
1034f1a4b852SJohn Baldwin 	MPASS(ts->ts_owner == curthread);
1035f1a4b852SJohn Baldwin 	MPASS(TAILQ_EMPTY(&ts->ts_pending));
1036f1a4b852SJohn Baldwin 	MPASS(!TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) ||
1037f1a4b852SJohn Baldwin 	    !TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]));
1038f1a4b852SJohn Baldwin 
1039f1a4b852SJohn Baldwin 	/*
1040f1a4b852SJohn Baldwin 	 * Remove the turnstile from this thread's list of contested locks
1041f1a4b852SJohn Baldwin 	 * since this thread doesn't own it anymore.  New threads will
1042f1a4b852SJohn Baldwin 	 * not be blocking on the turnstile until it is claimed by a new
1043f1a4b852SJohn Baldwin 	 * owner.
1044f1a4b852SJohn Baldwin 	 */
1045f1a4b852SJohn Baldwin 	mtx_lock_spin(&td_contested_lock);
1046f1a4b852SJohn Baldwin 	ts->ts_owner = NULL;
1047f1a4b852SJohn Baldwin 	LIST_REMOVE(ts, ts_link);
1048f1a4b852SJohn Baldwin 	mtx_unlock_spin(&td_contested_lock);
1049f1a4b852SJohn Baldwin 
1050f1a4b852SJohn Baldwin 	/*
1051f1a4b852SJohn Baldwin 	 * Adjust the priority of curthread based on other contested
1052f1a4b852SJohn Baldwin 	 * locks it owns.  Don't lower the priority below the base
1053f1a4b852SJohn Baldwin 	 * priority however.
1054f1a4b852SJohn Baldwin 	 */
1055f1a4b852SJohn Baldwin 	td = curthread;
10562502c107SJeff Roberson 	thread_lock(td);
10572502c107SJeff Roberson 	mtx_unlock_spin(&ts->ts_lock);
1058f1a4b852SJohn Baldwin 	mtx_lock_spin(&td_contested_lock);
1059a9fd669bSKonstantin Belousov 	pri = turnstile_calc_unlend_prio_locked(td);
1060f1a4b852SJohn Baldwin 	mtx_unlock_spin(&td_contested_lock);
1061f1a4b852SJohn Baldwin 	sched_unlend_prio(td, pri);
10622502c107SJeff Roberson 	thread_unlock(td);
1063f1a4b852SJohn Baldwin }
1064f1a4b852SJohn Baldwin 
1065f1a4b852SJohn Baldwin /*
1066961a7b24SJohn Baldwin  * Return the first thread in a turnstile.
10679ed346baSBosko Milekic  */
1068961a7b24SJohn Baldwin struct thread *
10697aa4f685SJohn Baldwin turnstile_head(struct turnstile *ts, int queue)
10700cde2e34SJason Evans {
1071961a7b24SJohn Baldwin #ifdef INVARIANTS
10725cb0fbe4SJohn Baldwin 
1073961a7b24SJohn Baldwin 	MPASS(ts != NULL);
10747aa4f685SJohn Baldwin 	MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE);
10752502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
10760cde2e34SJason Evans #endif
10777aa4f685SJohn Baldwin 	return (TAILQ_FIRST(&ts->ts_blocked[queue]));
1078961a7b24SJohn Baldwin }
10797aa4f685SJohn Baldwin 
1080f1a4b852SJohn Baldwin /*
1081f1a4b852SJohn Baldwin  * Returns true if a sub-queue of a turnstile is empty.
1082f1a4b852SJohn Baldwin  */
1083f1a4b852SJohn Baldwin int
1084f1a4b852SJohn Baldwin turnstile_empty(struct turnstile *ts, int queue)
1085f1a4b852SJohn Baldwin {
1086f1a4b852SJohn Baldwin #ifdef INVARIANTS
1087f1a4b852SJohn Baldwin 
1088f1a4b852SJohn Baldwin 	MPASS(ts != NULL);
1089f1a4b852SJohn Baldwin 	MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE);
10902502c107SJeff Roberson 	mtx_assert(&ts->ts_lock, MA_OWNED);
1091f1a4b852SJohn Baldwin #endif
1092f1a4b852SJohn Baldwin 	return (TAILQ_EMPTY(&ts->ts_blocked[queue]));
1093f1a4b852SJohn Baldwin }
1094f1a4b852SJohn Baldwin 
10957aa4f685SJohn Baldwin #ifdef DDB
10967aa4f685SJohn Baldwin static void
10977aa4f685SJohn Baldwin print_thread(struct thread *td, const char *prefix)
10987aa4f685SJohn Baldwin {
10997aa4f685SJohn Baldwin 
11007aa4f685SJohn Baldwin 	db_printf("%s%p (tid %d, pid %d, \"%s\")\n", prefix, td, td->td_tid,
110186a448c3SKonstantin Belousov 	    td->td_proc->p_pid, td->td_name);
11027aa4f685SJohn Baldwin }
11037aa4f685SJohn Baldwin 
11047aa4f685SJohn Baldwin static void
11057aa4f685SJohn Baldwin print_queue(struct threadqueue *queue, const char *header, const char *prefix)
11067aa4f685SJohn Baldwin {
11077aa4f685SJohn Baldwin 	struct thread *td;
11087aa4f685SJohn Baldwin 
11097aa4f685SJohn Baldwin 	db_printf("%s:\n", header);
11107aa4f685SJohn Baldwin 	if (TAILQ_EMPTY(queue)) {
11117aa4f685SJohn Baldwin 		db_printf("%sempty\n", prefix);
11127aa4f685SJohn Baldwin 		return;
11137aa4f685SJohn Baldwin 	}
11147aa4f685SJohn Baldwin 	TAILQ_FOREACH(td, queue, td_lockq) {
11157aa4f685SJohn Baldwin 		print_thread(td, prefix);
11167aa4f685SJohn Baldwin 	}
11177aa4f685SJohn Baldwin }
11187aa4f685SJohn Baldwin 
11197aa4f685SJohn Baldwin DB_SHOW_COMMAND(turnstile, db_show_turnstile)
11207aa4f685SJohn Baldwin {
11217aa4f685SJohn Baldwin 	struct turnstile_chain *tc;
11227aa4f685SJohn Baldwin 	struct turnstile *ts;
11237aa4f685SJohn Baldwin 	struct lock_object *lock;
11247aa4f685SJohn Baldwin 	int i;
11257aa4f685SJohn Baldwin 
11267aa4f685SJohn Baldwin 	if (!have_addr)
11277aa4f685SJohn Baldwin 		return;
11287aa4f685SJohn Baldwin 
11297aa4f685SJohn Baldwin 	/*
11307aa4f685SJohn Baldwin 	 * First, see if there is an active turnstile for the lock indicated
11317aa4f685SJohn Baldwin 	 * by the address.
11327aa4f685SJohn Baldwin 	 */
11337aa4f685SJohn Baldwin 	lock = (struct lock_object *)addr;
11347aa4f685SJohn Baldwin 	tc = TC_LOOKUP(lock);
11357aa4f685SJohn Baldwin 	LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash)
11367aa4f685SJohn Baldwin 		if (ts->ts_lockobj == lock)
11377aa4f685SJohn Baldwin 			goto found;
11387aa4f685SJohn Baldwin 
11397aa4f685SJohn Baldwin 	/*
11407aa4f685SJohn Baldwin 	 * Second, see if there is an active turnstile at the address
11417aa4f685SJohn Baldwin 	 * indicated.
11427aa4f685SJohn Baldwin 	 */
11437aa4f685SJohn Baldwin 	for (i = 0; i < TC_TABLESIZE; i++)
11447aa4f685SJohn Baldwin 		LIST_FOREACH(ts, &turnstile_chains[i].tc_turnstiles, ts_hash) {
11457aa4f685SJohn Baldwin 			if (ts == (struct turnstile *)addr)
11467aa4f685SJohn Baldwin 				goto found;
11477aa4f685SJohn Baldwin 		}
11487aa4f685SJohn Baldwin 
11497aa4f685SJohn Baldwin 	db_printf("Unable to locate a turnstile via %p\n", (void *)addr);
11507aa4f685SJohn Baldwin 	return;
11517aa4f685SJohn Baldwin found:
11527aa4f685SJohn Baldwin 	lock = ts->ts_lockobj;
11537aa4f685SJohn Baldwin 	db_printf("Lock: %p - (%s) %s\n", lock, LOCK_CLASS(lock)->lc_name,
11547aa4f685SJohn Baldwin 	    lock->lo_name);
11557aa4f685SJohn Baldwin 	if (ts->ts_owner)
11567aa4f685SJohn Baldwin 		print_thread(ts->ts_owner, "Lock Owner: ");
11577aa4f685SJohn Baldwin 	else
11587aa4f685SJohn Baldwin 		db_printf("Lock Owner: none\n");
11597aa4f685SJohn Baldwin 	print_queue(&ts->ts_blocked[TS_SHARED_QUEUE], "Shared Waiters", "\t");
11607aa4f685SJohn Baldwin 	print_queue(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE], "Exclusive Waiters",
11617aa4f685SJohn Baldwin 	    "\t");
11627aa4f685SJohn Baldwin 	print_queue(&ts->ts_pending, "Pending Threads", "\t");
11637aa4f685SJohn Baldwin 
11647aa4f685SJohn Baldwin }
1165ae110b53SJohn Baldwin 
116677e66268SJohn Baldwin /*
116777e66268SJohn Baldwin  * Show all the threads a particular thread is waiting on based on
11680c1d923eSConrad Meyer  * non-spin locks.
116977e66268SJohn Baldwin  */
1170ae110b53SJohn Baldwin static void
117177e66268SJohn Baldwin print_lockchain(struct thread *td, const char *prefix)
1172ae110b53SJohn Baldwin {
1173ae110b53SJohn Baldwin 	struct lock_object *lock;
1174ae110b53SJohn Baldwin 	struct lock_class *class;
1175ae110b53SJohn Baldwin 	struct turnstile *ts;
11760c1d923eSConrad Meyer 	struct thread *owner;
1177ae110b53SJohn Baldwin 
1178ae110b53SJohn Baldwin 	/*
1179ae110b53SJohn Baldwin 	 * Follow the chain.  We keep walking as long as the thread is
11800c1d923eSConrad Meyer 	 * blocked on a lock that has an owner.
1181ae110b53SJohn Baldwin 	 */
1182fed79884SJohn Baldwin 	while (!db_pager_quit) {
1183ae110b53SJohn Baldwin 		db_printf("%sthread %d (pid %d, %s) ", prefix, td->td_tid,
118486a448c3SKonstantin Belousov 		    td->td_proc->p_pid, td->td_name);
1185ae110b53SJohn Baldwin 		switch (td->td_state) {
1186ae110b53SJohn Baldwin 		case TDS_INACTIVE:
1187ae110b53SJohn Baldwin 			db_printf("is inactive\n");
1188ae110b53SJohn Baldwin 			return;
1189ae110b53SJohn Baldwin 		case TDS_CAN_RUN:
1190ae110b53SJohn Baldwin 			db_printf("can run\n");
1191ae110b53SJohn Baldwin 			return;
1192ae110b53SJohn Baldwin 		case TDS_RUNQ:
1193ae110b53SJohn Baldwin 			db_printf("is on a run queue\n");
1194ae110b53SJohn Baldwin 			return;
1195ae110b53SJohn Baldwin 		case TDS_RUNNING:
1196ae110b53SJohn Baldwin 			db_printf("running on CPU %d\n", td->td_oncpu);
1197ae110b53SJohn Baldwin 			return;
1198ae110b53SJohn Baldwin 		case TDS_INHIBITED:
1199ae110b53SJohn Baldwin 			if (TD_ON_LOCK(td)) {
1200ae110b53SJohn Baldwin 				ts = td->td_blocked;
1201ae110b53SJohn Baldwin 				lock = ts->ts_lockobj;
1202ae110b53SJohn Baldwin 				class = LOCK_CLASS(lock);
1203ae110b53SJohn Baldwin 				db_printf("blocked on lock %p (%s) \"%s\"\n",
1204ae110b53SJohn Baldwin 				    lock, class->lc_name, lock->lo_name);
1205ae110b53SJohn Baldwin 				if (ts->ts_owner == NULL)
1206ae110b53SJohn Baldwin 					return;
1207ae110b53SJohn Baldwin 				td = ts->ts_owner;
1208ae110b53SJohn Baldwin 				break;
12090c1d923eSConrad Meyer 			} else if (TD_ON_SLEEPQ(td)) {
12100c1d923eSConrad Meyer 				if (!lockmgr_chain(td, &owner) &&
12110c1d923eSConrad Meyer 				    !sx_chain(td, &owner)) {
12120c1d923eSConrad Meyer 					db_printf("sleeping on %p \"%s\"\n",
12130c1d923eSConrad Meyer 					    td->td_wchan, td->td_wmesg);
12140c1d923eSConrad Meyer 					return;
12150c1d923eSConrad Meyer 				}
12160c1d923eSConrad Meyer 				if (owner == NULL)
12170c1d923eSConrad Meyer 					return;
12180c1d923eSConrad Meyer 				td = owner;
12190c1d923eSConrad Meyer 				break;
1220ae110b53SJohn Baldwin 			}
1221ae110b53SJohn Baldwin 			db_printf("inhibited\n");
1222ae110b53SJohn Baldwin 			return;
1223ae110b53SJohn Baldwin 		default:
1224ae110b53SJohn Baldwin 			db_printf("??? (%#x)\n", td->td_state);
1225ae110b53SJohn Baldwin 			return;
1226ae110b53SJohn Baldwin 		}
1227ae110b53SJohn Baldwin 	}
1228ae110b53SJohn Baldwin }
1229ae110b53SJohn Baldwin 
123077e66268SJohn Baldwin DB_SHOW_COMMAND(lockchain, db_show_lockchain)
1231ae110b53SJohn Baldwin {
1232ae110b53SJohn Baldwin 	struct thread *td;
1233ae110b53SJohn Baldwin 
1234ae110b53SJohn Baldwin 	/* Figure out which thread to start with. */
1235ae110b53SJohn Baldwin 	if (have_addr)
1236cd508278SPedro F. Giffuni 		td = db_lookup_thread(addr, true);
1237ae110b53SJohn Baldwin 	else
1238ae110b53SJohn Baldwin 		td = kdb_thread;
1239ae110b53SJohn Baldwin 
124077e66268SJohn Baldwin 	print_lockchain(td, "");
1241ae110b53SJohn Baldwin }
12420c1d923eSConrad Meyer DB_SHOW_ALIAS(sleepchain, db_show_lockchain);
1243ae110b53SJohn Baldwin 
124439297ba4SSam Leffler DB_SHOW_ALL_COMMAND(chains, db_show_allchains)
1245ae110b53SJohn Baldwin {
1246ae110b53SJohn Baldwin 	struct thread *td;
1247ae110b53SJohn Baldwin 	struct proc *p;
1248ae110b53SJohn Baldwin 	int i;
1249ae110b53SJohn Baldwin 
1250ae110b53SJohn Baldwin 	i = 1;
12514f506694SXin LI 	FOREACH_PROC_IN_SYSTEM(p) {
1252ae110b53SJohn Baldwin 		FOREACH_THREAD_IN_PROC(p, td) {
12530c1d923eSConrad Meyer 			if ((TD_ON_LOCK(td) && LIST_EMPTY(&td->td_contested))
12540c1d923eSConrad Meyer 			    || (TD_IS_INHIBITED(td) && TD_ON_SLEEPQ(td))) {
1255ae110b53SJohn Baldwin 				db_printf("chain %d:\n", i++);
125677e66268SJohn Baldwin 				print_lockchain(td, " ");
1257ae110b53SJohn Baldwin 			}
1258fed79884SJohn Baldwin 			if (db_pager_quit)
1259fed79884SJohn Baldwin 				return;
1260ae110b53SJohn Baldwin 		}
1261ae110b53SJohn Baldwin 	}
1262ae110b53SJohn Baldwin }
126339297ba4SSam Leffler DB_SHOW_ALIAS(allchains, db_show_allchains)
1264ae110b53SJohn Baldwin 
1265ae110b53SJohn Baldwin static void	print_waiters(struct turnstile *ts, int indent);
1266ae110b53SJohn Baldwin 
1267ae110b53SJohn Baldwin static void
1268ae110b53SJohn Baldwin print_waiter(struct thread *td, int indent)
1269ae110b53SJohn Baldwin {
1270ae110b53SJohn Baldwin 	struct turnstile *ts;
1271ae110b53SJohn Baldwin 	int i;
1272ae110b53SJohn Baldwin 
1273fed79884SJohn Baldwin 	if (db_pager_quit)
1274fed79884SJohn Baldwin 		return;
1275ae110b53SJohn Baldwin 	for (i = 0; i < indent; i++)
1276ae110b53SJohn Baldwin 		db_printf(" ");
1277ae110b53SJohn Baldwin 	print_thread(td, "thread ");
1278ae110b53SJohn Baldwin 	LIST_FOREACH(ts, &td->td_contested, ts_link)
1279ae110b53SJohn Baldwin 		print_waiters(ts, indent + 1);
1280ae110b53SJohn Baldwin }
1281ae110b53SJohn Baldwin 
1282ae110b53SJohn Baldwin static void
1283ae110b53SJohn Baldwin print_waiters(struct turnstile *ts, int indent)
1284ae110b53SJohn Baldwin {
1285ae110b53SJohn Baldwin 	struct lock_object *lock;
1286ae110b53SJohn Baldwin 	struct lock_class *class;
1287ae110b53SJohn Baldwin 	struct thread *td;
1288ae110b53SJohn Baldwin 	int i;
1289ae110b53SJohn Baldwin 
1290fed79884SJohn Baldwin 	if (db_pager_quit)
1291fed79884SJohn Baldwin 		return;
1292ae110b53SJohn Baldwin 	lock = ts->ts_lockobj;
1293ae110b53SJohn Baldwin 	class = LOCK_CLASS(lock);
1294ae110b53SJohn Baldwin 	for (i = 0; i < indent; i++)
1295ae110b53SJohn Baldwin 		db_printf(" ");
1296ae110b53SJohn Baldwin 	db_printf("lock %p (%s) \"%s\"\n", lock, class->lc_name, lock->lo_name);
1297ae110b53SJohn Baldwin 	TAILQ_FOREACH(td, &ts->ts_blocked[TS_EXCLUSIVE_QUEUE], td_lockq)
1298ae110b53SJohn Baldwin 		print_waiter(td, indent + 1);
1299ae110b53SJohn Baldwin 	TAILQ_FOREACH(td, &ts->ts_blocked[TS_SHARED_QUEUE], td_lockq)
1300ae110b53SJohn Baldwin 		print_waiter(td, indent + 1);
1301ae110b53SJohn Baldwin 	TAILQ_FOREACH(td, &ts->ts_pending, td_lockq)
1302ae110b53SJohn Baldwin 		print_waiter(td, indent + 1);
1303ae110b53SJohn Baldwin }
1304ae110b53SJohn Baldwin 
130577e66268SJohn Baldwin DB_SHOW_COMMAND(locktree, db_show_locktree)
1306ae110b53SJohn Baldwin {
1307ae110b53SJohn Baldwin 	struct lock_object *lock;
1308ae110b53SJohn Baldwin 	struct lock_class *class;
1309ae110b53SJohn Baldwin 	struct turnstile_chain *tc;
1310ae110b53SJohn Baldwin 	struct turnstile *ts;
1311ae110b53SJohn Baldwin 
1312ae110b53SJohn Baldwin 	if (!have_addr)
1313ae110b53SJohn Baldwin 		return;
1314ae110b53SJohn Baldwin 	lock = (struct lock_object *)addr;
1315ae110b53SJohn Baldwin 	tc = TC_LOOKUP(lock);
1316ae110b53SJohn Baldwin 	LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash)
1317ae110b53SJohn Baldwin 		if (ts->ts_lockobj == lock)
1318ae110b53SJohn Baldwin 			break;
1319ae110b53SJohn Baldwin 	if (ts == NULL) {
1320ae110b53SJohn Baldwin 		class = LOCK_CLASS(lock);
1321ae110b53SJohn Baldwin 		db_printf("lock %p (%s) \"%s\"\n", lock, class->lc_name,
1322ae110b53SJohn Baldwin 		    lock->lo_name);
1323ae110b53SJohn Baldwin 	} else
1324ae110b53SJohn Baldwin 		print_waiters(ts, 0);
1325ae110b53SJohn Baldwin }
13267aa4f685SJohn Baldwin #endif
1327