10384fff8SJason Evans /*- 20384fff8SJason Evans * Copyright (c) 1998 Berkeley Software Design, Inc. All rights reserved. 30384fff8SJason Evans * 40384fff8SJason Evans * Redistribution and use in source and binary forms, with or without 50384fff8SJason Evans * modification, are permitted provided that the following conditions 60384fff8SJason Evans * are met: 70384fff8SJason Evans * 1. Redistributions of source code must retain the above copyright 80384fff8SJason Evans * notice, this list of conditions and the following disclaimer. 90384fff8SJason Evans * 2. Redistributions in binary form must reproduce the above copyright 100384fff8SJason Evans * notice, this list of conditions and the following disclaimer in the 110384fff8SJason Evans * documentation and/or other materials provided with the distribution. 120384fff8SJason Evans * 3. Berkeley Software Design Inc's name may not be used to endorse or 130384fff8SJason Evans * promote products derived from this software without specific prior 140384fff8SJason Evans * written permission. 150384fff8SJason Evans * 160384fff8SJason Evans * THIS SOFTWARE IS PROVIDED BY BERKELEY SOFTWARE DESIGN INC ``AS IS'' AND 170384fff8SJason Evans * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 180384fff8SJason Evans * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 190384fff8SJason Evans * ARE DISCLAIMED. IN NO EVENT SHALL BERKELEY SOFTWARE DESIGN INC BE LIABLE 200384fff8SJason Evans * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 210384fff8SJason Evans * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 220384fff8SJason Evans * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 230384fff8SJason Evans * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 240384fff8SJason Evans * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 250384fff8SJason Evans * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 260384fff8SJason Evans * SUCH DAMAGE. 270384fff8SJason Evans * 280384fff8SJason Evans * from BSDI $Id: mutex_witness.c,v 1.1.2.20 2000/04/27 03:10:27 cp Exp $ 2936412d79SJohn Baldwin * and BSDI $Id: synch_machdep.c,v 2.3.2.39 2000/04/27 03:10:25 cp Exp $ 300384fff8SJason Evans */ 310384fff8SJason Evans 320384fff8SJason Evans /* 33961a7b24SJohn Baldwin * Implementation of turnstiles used to hold queue of threads blocked on 34961a7b24SJohn Baldwin * non-sleepable locks. Sleepable locks use condition variables to 35961a7b24SJohn Baldwin * implement their queues. Turnstiles differ from a sleep queue in that 36961a7b24SJohn Baldwin * turnstile queue's are assigned to a lock held by an owning thread. Thus, 37961a7b24SJohn Baldwin * when one thread is enqueued onto a turnstile, it can lend its priority 38961a7b24SJohn Baldwin * to the owning thread. 39961a7b24SJohn Baldwin * 40961a7b24SJohn Baldwin * We wish to avoid bloating locks with an embedded turnstile and we do not 41961a7b24SJohn Baldwin * want to use back-pointers in the locks for the same reason. Thus, we 42961a7b24SJohn Baldwin * use a similar approach to that of Solaris 7 as described in Solaris 43961a7b24SJohn Baldwin * Internals by Jim Mauro and Richard McDougall. Turnstiles are looked up 44961a7b24SJohn Baldwin * in a hash table based on the address of the lock. Each entry in the 45961a7b24SJohn Baldwin * hash table is a linked-lists of turnstiles and is called a turnstile 46961a7b24SJohn Baldwin * chain. Each chain contains a spin mutex that protects all of the 47961a7b24SJohn Baldwin * turnstiles in the chain. 48961a7b24SJohn Baldwin * 492b7e2ee7SJeff Roberson * Each time a thread is created, a turnstile is allocated from a UMA zone 502b7e2ee7SJeff Roberson * and attached to that thread. When a thread blocks on a lock, if it is the 512b7e2ee7SJeff Roberson * first thread to block, it lends its turnstile to the lock. If the lock 522b7e2ee7SJeff Roberson * already has a turnstile, then it gives its turnstile to the lock's 532b7e2ee7SJeff Roberson * turnstile's free list. When a thread is woken up, it takes a turnstile from 542b7e2ee7SJeff Roberson * the free list if there are any other waiters. If it is the only thread 552b7e2ee7SJeff Roberson * blocked on the lock, then it reclaims the turnstile associated with the lock 562b7e2ee7SJeff Roberson * and removes it from the hash table. 570384fff8SJason Evans */ 580384fff8SJason Evans 59677b542eSDavid E. O'Brien #include <sys/cdefs.h> 60677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$"); 61677b542eSDavid E. O'Brien 627aa4f685SJohn Baldwin #include "opt_ddb.h" 637aa4f685SJohn Baldwin #include "opt_turnstile_profiling.h" 647aa4f685SJohn Baldwin 650384fff8SJason Evans #include <sys/param.h> 666c35e809SDag-Erling Smørgrav #include <sys/systm.h> 6736412d79SJohn Baldwin #include <sys/kernel.h> 686c35e809SDag-Erling Smørgrav #include <sys/ktr.h> 6919284646SJohn Baldwin #include <sys/lock.h> 7019284646SJohn Baldwin #include <sys/mutex.h> 710384fff8SJason Evans #include <sys/proc.h> 72961a7b24SJohn Baldwin #include <sys/queue.h> 73b43179fbSJeff Roberson #include <sys/sched.h> 74ef0ebfc3SJohn Baldwin #include <sys/sysctl.h> 75ef0ebfc3SJohn Baldwin #include <sys/turnstile.h> 7636412d79SJohn Baldwin 772b7e2ee7SJeff Roberson #include <vm/uma.h> 782b7e2ee7SJeff Roberson 797aa4f685SJohn Baldwin #ifdef DDB 80ae110b53SJohn Baldwin #include <sys/kdb.h> 817aa4f685SJohn Baldwin #include <ddb/ddb.h> 82462a7addSJohn Baldwin #include <sys/lockmgr.h> 83462a7addSJohn Baldwin #include <sys/sx.h> 847aa4f685SJohn Baldwin #endif 857aa4f685SJohn Baldwin 860cde2e34SJason Evans /* 87961a7b24SJohn Baldwin * Constants for the hash table of turnstile chains. TC_SHIFT is a magic 88961a7b24SJohn Baldwin * number chosen because the sleep queue's use the same value for the 89961a7b24SJohn Baldwin * shift. Basically, we ignore the lower 8 bits of the address. 90961a7b24SJohn Baldwin * TC_TABLESIZE must be a power of two for TC_MASK to work properly. 910cde2e34SJason Evans */ 92961a7b24SJohn Baldwin #define TC_TABLESIZE 128 /* Must be power of 2. */ 93961a7b24SJohn Baldwin #define TC_MASK (TC_TABLESIZE - 1) 94961a7b24SJohn Baldwin #define TC_SHIFT 8 95961a7b24SJohn Baldwin #define TC_HASH(lock) (((uintptr_t)(lock) >> TC_SHIFT) & TC_MASK) 96961a7b24SJohn Baldwin #define TC_LOOKUP(lock) &turnstile_chains[TC_HASH(lock)] 979ed346baSBosko Milekic 980cde2e34SJason Evans /* 99961a7b24SJohn Baldwin * There are three different lists of turnstiles as follows. The list 100961a7b24SJohn Baldwin * connected by ts_link entries is a per-thread list of all the turnstiles 101961a7b24SJohn Baldwin * attached to locks that we own. This is used to fixup our priority when 102961a7b24SJohn Baldwin * a lock is released. The other two lists use the ts_hash entries. The 1035b7de7e1SJohn Baldwin * first of these two is the turnstile chain list that a turnstile is on 1045b7de7e1SJohn Baldwin * when it is attached to a lock. The second list to use ts_hash is the 1055b7de7e1SJohn Baldwin * free list hung off of a turnstile that is attached to a lock. 106961a7b24SJohn Baldwin * 1077aa4f685SJohn Baldwin * Each turnstile contains three lists of threads. The two ts_blocked lists 1087aa4f685SJohn Baldwin * are linked list of threads blocked on the turnstile's lock. One list is 1097aa4f685SJohn Baldwin * for exclusive waiters, and the other is for shared waiters. The 110595bc82aSJohn Baldwin * ts_pending list is a linked list of threads previously awakened by 111961a7b24SJohn Baldwin * turnstile_signal() or turnstile_wait() that are waiting to be put on 112961a7b24SJohn Baldwin * the run queue. 113961a7b24SJohn Baldwin * 114961a7b24SJohn Baldwin * Locking key: 115961a7b24SJohn Baldwin * c - turnstile chain lock 116961a7b24SJohn Baldwin * q - td_contested lock 1170cde2e34SJason Evans */ 118961a7b24SJohn Baldwin struct turnstile { 1192502c107SJeff Roberson struct mtx ts_lock; /* Spin lock for self. */ 1207aa4f685SJohn Baldwin struct threadqueue ts_blocked[2]; /* (c + q) Blocked threads. */ 1217aa4f685SJohn Baldwin struct threadqueue ts_pending; /* (c) Pending threads. */ 122961a7b24SJohn Baldwin LIST_ENTRY(turnstile) ts_hash; /* (c) Chain and free list. */ 123961a7b24SJohn Baldwin LIST_ENTRY(turnstile) ts_link; /* (q) Contested locks. */ 124961a7b24SJohn Baldwin LIST_HEAD(, turnstile) ts_free; /* (c) Free turnstiles. */ 125961a7b24SJohn Baldwin struct lock_object *ts_lockobj; /* (c) Lock we reference. */ 12679a13d01SJohn Baldwin struct thread *ts_owner; /* (c + q) Who owns the lock. */ 1278484de75SJohn Baldwin }; 1288484de75SJohn Baldwin 129961a7b24SJohn Baldwin struct turnstile_chain { 130961a7b24SJohn Baldwin LIST_HEAD(, turnstile) tc_turnstiles; /* List of turnstiles. */ 131961a7b24SJohn Baldwin struct mtx tc_lock; /* Spin lock for this chain. */ 132ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 133ef0ebfc3SJohn Baldwin u_int tc_depth; /* Length of tc_queues. */ 134ef0ebfc3SJohn Baldwin u_int tc_max_depth; /* Max length of tc_queues. */ 135ef0ebfc3SJohn Baldwin #endif 136961a7b24SJohn Baldwin }; 137961a7b24SJohn Baldwin 138ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 139ef0ebfc3SJohn Baldwin u_int turnstile_max_depth; 140ef0ebfc3SJohn Baldwin SYSCTL_NODE(_debug, OID_AUTO, turnstile, CTLFLAG_RD, 0, "turnstile profiling"); 141ef0ebfc3SJohn Baldwin SYSCTL_NODE(_debug_turnstile, OID_AUTO, chains, CTLFLAG_RD, 0, 142ef0ebfc3SJohn Baldwin "turnstile chain stats"); 143ef0ebfc3SJohn Baldwin SYSCTL_UINT(_debug_turnstile, OID_AUTO, max_depth, CTLFLAG_RD, 144ef0ebfc3SJohn Baldwin &turnstile_max_depth, 0, "maxmimum depth achieved of a single chain"); 145ef0ebfc3SJohn Baldwin #endif 146961a7b24SJohn Baldwin static struct mtx td_contested_lock; 147961a7b24SJohn Baldwin static struct turnstile_chain turnstile_chains[TC_TABLESIZE]; 1482b7e2ee7SJeff Roberson static uma_zone_t turnstile_zone; 149c53c013bSJohn Baldwin 150c53c013bSJohn Baldwin /* 1519ed346baSBosko Milekic * Prototypes for non-exported routines. 1529ed346baSBosko Milekic */ 153961a7b24SJohn Baldwin static void init_turnstile0(void *dummy); 15401bd10e1SJohn Baldwin #ifdef TURNSTILE_PROFILING 15501bd10e1SJohn Baldwin static void init_turnstile_profiling(void *arg); 15601bd10e1SJohn Baldwin #endif 157f5c157d9SJohn Baldwin static void propagate_priority(struct thread *td); 158f5c157d9SJohn Baldwin static int turnstile_adjust_thread(struct turnstile *ts, 159f5c157d9SJohn Baldwin struct thread *td); 1607aa4f685SJohn Baldwin static struct thread *turnstile_first_waiter(struct turnstile *ts); 161961a7b24SJohn Baldwin static void turnstile_setowner(struct turnstile *ts, struct thread *owner); 1622b7e2ee7SJeff Roberson #ifdef INVARIANTS 1632b7e2ee7SJeff Roberson static void turnstile_dtor(void *mem, int size, void *arg); 1642b7e2ee7SJeff Roberson #endif 1652b7e2ee7SJeff Roberson static int turnstile_init(void *mem, int size, int flags); 1662502c107SJeff Roberson static void turnstile_fini(void *mem, int size); 16736412d79SJohn Baldwin 168961a7b24SJohn Baldwin /* 169961a7b24SJohn Baldwin * Walks the chain of turnstiles and their owners to propagate the priority 170961a7b24SJohn Baldwin * of the thread being blocked to all the threads holding locks that have to 171961a7b24SJohn Baldwin * release their locks before this thread can run again. 172961a7b24SJohn Baldwin */ 17336412d79SJohn Baldwin static void 174b40ce416SJulian Elischer propagate_priority(struct thread *td) 17536412d79SJohn Baldwin { 176961a7b24SJohn Baldwin struct turnstile *ts; 177961a7b24SJohn Baldwin int pri; 17836412d79SJohn Baldwin 1792502c107SJeff Roberson THREAD_LOCK_ASSERT(td, MA_OWNED); 180961a7b24SJohn Baldwin pri = td->td_priority; 181961a7b24SJohn Baldwin ts = td->td_blocked; 1822502c107SJeff Roberson MPASS(td->td_lock == &ts->ts_lock); 1832502c107SJeff Roberson /* 1842502c107SJeff Roberson * Grab a recursive lock on this turnstile chain so it stays locked 1852502c107SJeff Roberson * for the whole operation. The caller expects us to return with 1862502c107SJeff Roberson * the original lock held. We only ever lock down the chain so 1872502c107SJeff Roberson * the lock order is constant. 1882502c107SJeff Roberson */ 1892502c107SJeff Roberson mtx_lock_spin(&ts->ts_lock); 19036412d79SJohn Baldwin for (;;) { 191961a7b24SJohn Baldwin td = ts->ts_owner; 19236412d79SJohn Baldwin 193b40ce416SJulian Elischer if (td == NULL) { 19436412d79SJohn Baldwin /* 1957aa4f685SJohn Baldwin * This might be a read lock with no owner. There's 1967aa4f685SJohn Baldwin * not much we can do, so just bail. 19736412d79SJohn Baldwin */ 1982502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 19936412d79SJohn Baldwin return; 20036412d79SJohn Baldwin } 2019ed346baSBosko Milekic 2022502c107SJeff Roberson thread_lock_flags(td, MTX_DUPOK); 2032502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 204e602ba25SJulian Elischer MPASS(td->td_proc != NULL); 205b40ce416SJulian Elischer MPASS(td->td_proc->p_magic == P_MAGIC); 2061bd0eefbSJohn Baldwin 207961a7b24SJohn Baldwin /* 2084b3b0413SJohn Baldwin * If the thread is asleep, then we are probably about 2094b3b0413SJohn Baldwin * to deadlock. To make debugging this easier, just 2104b3b0413SJohn Baldwin * panic and tell the user which thread misbehaved so 2114b3b0413SJohn Baldwin * they can hopefully get a stack trace from the truly 2124b3b0413SJohn Baldwin * misbehaving thread. 213961a7b24SJohn Baldwin */ 2144b3b0413SJohn Baldwin if (TD_IS_SLEEPING(td)) { 2154b3b0413SJohn Baldwin printf( 2164b3b0413SJohn Baldwin "Sleeping thread (tid %d, pid %d) owns a non-sleepable lock\n", 2174b3b0413SJohn Baldwin td->td_tid, td->td_proc->p_pid); 2184b3b0413SJohn Baldwin #ifdef DDB 2194b3b0413SJohn Baldwin db_trace_thread(td, -1); 2204b3b0413SJohn Baldwin #endif 2214b3b0413SJohn Baldwin panic("sleeping thread"); 2224b3b0413SJohn Baldwin } 223961a7b24SJohn Baldwin 224961a7b24SJohn Baldwin /* 225961a7b24SJohn Baldwin * If this thread already has higher priority than the 226961a7b24SJohn Baldwin * thread that is being blocked, we are finished. 227961a7b24SJohn Baldwin */ 2282502c107SJeff Roberson if (td->td_priority <= pri) { 2292502c107SJeff Roberson thread_unlock(td); 230961a7b24SJohn Baldwin return; 2312502c107SJeff Roberson } 2321bd0eefbSJohn Baldwin 23336412d79SJohn Baldwin /* 234f5c157d9SJohn Baldwin * Bump this thread's priority. 23536412d79SJohn Baldwin */ 236f5c157d9SJohn Baldwin sched_lend_prio(td, pri); 237f5c157d9SJohn Baldwin 238f5c157d9SJohn Baldwin /* 239f5c157d9SJohn Baldwin * If lock holder is actually running or on the run queue 240f5c157d9SJohn Baldwin * then we are done. 241f5c157d9SJohn Baldwin */ 242f5c157d9SJohn Baldwin if (TD_IS_RUNNING(td) || TD_ON_RUNQ(td)) { 243f5c157d9SJohn Baldwin MPASS(td->td_blocked == NULL); 2442502c107SJeff Roberson thread_unlock(td); 24536412d79SJohn Baldwin return; 24636412d79SJohn Baldwin } 247d5a08a60SJake Burkholder 2481b43703bSJohn Baldwin #ifndef SMP 2491b43703bSJohn Baldwin /* 250b40ce416SJulian Elischer * For UP, we check to see if td is curthread (this shouldn't 2511b43703bSJohn Baldwin * ever happen however as it would mean we are in a deadlock.) 2521b43703bSJohn Baldwin */ 253b40ce416SJulian Elischer KASSERT(td != curthread, ("Deadlock detected")); 2541b43703bSJohn Baldwin #endif 2551b43703bSJohn Baldwin 25636412d79SJohn Baldwin /* 257961a7b24SJohn Baldwin * If we aren't blocked on a lock, we should be. 25836412d79SJohn Baldwin */ 259551cf4e1SJohn Baldwin KASSERT(TD_ON_LOCK(td), ( 260f5c157d9SJohn Baldwin "thread %d(%s):%d holds %s but isn't blocked on a lock\n", 261f5c157d9SJohn Baldwin td->td_tid, td->td_proc->p_comm, td->td_state, 262961a7b24SJohn Baldwin ts->ts_lockobj->lo_name)); 26336412d79SJohn Baldwin 26436412d79SJohn Baldwin /* 265961a7b24SJohn Baldwin * Pick up the lock that td is blocked on. 26636412d79SJohn Baldwin */ 267961a7b24SJohn Baldwin ts = td->td_blocked; 268961a7b24SJohn Baldwin MPASS(ts != NULL); 2692502c107SJeff Roberson MPASS(td->td_lock == &ts->ts_lock); 270f5c157d9SJohn Baldwin /* Resort td on the list if needed. */ 271f5c157d9SJohn Baldwin if (!turnstile_adjust_thread(ts, td)) { 2722502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 273f5c157d9SJohn Baldwin return; 274f5c157d9SJohn Baldwin } 2752502c107SJeff Roberson /* The thread lock is released as ts lock above. */ 276f5c157d9SJohn Baldwin } 277f5c157d9SJohn Baldwin } 278f5c157d9SJohn Baldwin 279f5c157d9SJohn Baldwin /* 280f5c157d9SJohn Baldwin * Adjust the thread's position on a turnstile after its priority has been 281f5c157d9SJohn Baldwin * changed. 282f5c157d9SJohn Baldwin */ 283f5c157d9SJohn Baldwin static int 284f5c157d9SJohn Baldwin turnstile_adjust_thread(struct turnstile *ts, struct thread *td) 285f5c157d9SJohn Baldwin { 286f5c157d9SJohn Baldwin struct thread *td1, *td2; 2877aa4f685SJohn Baldwin int queue; 288f5c157d9SJohn Baldwin 2892502c107SJeff Roberson THREAD_LOCK_ASSERT(td, MA_OWNED); 290f5c157d9SJohn Baldwin MPASS(TD_ON_LOCK(td)); 291f5c157d9SJohn Baldwin 29236412d79SJohn Baldwin /* 2936b6bd95eSJohn Baldwin * This thread may not be blocked on this turnstile anymore 2946b6bd95eSJohn Baldwin * but instead might already be woken up on another CPU 2952502c107SJeff Roberson * that is waiting on the thread lock in turnstile_unpend() to 2966b6bd95eSJohn Baldwin * finish waking this thread up. We can detect this case 2976b6bd95eSJohn Baldwin * by checking to see if this thread has been given a 2986b6bd95eSJohn Baldwin * turnstile by either turnstile_signal() or 299ef2c0ba7SJohn Baldwin * turnstile_broadcast(). In this case, treat the thread as 3006b6bd95eSJohn Baldwin * if it was already running. 30179a13d01SJohn Baldwin */ 302f5c157d9SJohn Baldwin if (td->td_turnstile != NULL) 303f5c157d9SJohn Baldwin return (0); 30479a13d01SJohn Baldwin 30579a13d01SJohn Baldwin /* 306f5c157d9SJohn Baldwin * Check if the thread needs to be moved on the blocked chain. 307f5c157d9SJohn Baldwin * It needs to be moved if either its priority is lower than 308f5c157d9SJohn Baldwin * the previous thread or higher than the next thread. 30936412d79SJohn Baldwin */ 3102502c107SJeff Roberson MPASS(td->td_lock == &ts->ts_lock); 311551cf4e1SJohn Baldwin td1 = TAILQ_PREV(td, threadqueue, td_lockq); 312f5c157d9SJohn Baldwin td2 = TAILQ_NEXT(td, td_lockq); 313f5c157d9SJohn Baldwin if ((td1 != NULL && td->td_priority < td1->td_priority) || 314f5c157d9SJohn Baldwin (td2 != NULL && td->td_priority > td2->td_priority)) { 31536412d79SJohn Baldwin 31636412d79SJohn Baldwin /* 317b40ce416SJulian Elischer * Remove thread from blocked chain and determine where 318f5c157d9SJohn Baldwin * it should be moved to. 31936412d79SJohn Baldwin */ 3207aa4f685SJohn Baldwin queue = td->td_tsqueue; 3217aa4f685SJohn Baldwin MPASS(queue == TS_EXCLUSIVE_QUEUE || queue == TS_SHARED_QUEUE); 322961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 3237aa4f685SJohn Baldwin TAILQ_REMOVE(&ts->ts_blocked[queue], td, td_lockq); 3247aa4f685SJohn Baldwin TAILQ_FOREACH(td1, &ts->ts_blocked[queue], td_lockq) { 325b40ce416SJulian Elischer MPASS(td1->td_proc->p_magic == P_MAGIC); 326f5c157d9SJohn Baldwin if (td1->td_priority > td->td_priority) 32736412d79SJohn Baldwin break; 32836412d79SJohn Baldwin } 3299ed346baSBosko Milekic 330f5c157d9SJohn Baldwin if (td1 == NULL) 3317aa4f685SJohn Baldwin TAILQ_INSERT_TAIL(&ts->ts_blocked[queue], td, td_lockq); 332f5c157d9SJohn Baldwin else 333551cf4e1SJohn Baldwin TAILQ_INSERT_BEFORE(td1, td, td_lockq); 334961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 335f5c157d9SJohn Baldwin if (td1 == NULL) 336f5c157d9SJohn Baldwin CTR3(KTR_LOCK, 337f5c157d9SJohn Baldwin "turnstile_adjust_thread: td %d put at tail on [%p] %s", 338f5c157d9SJohn Baldwin td->td_tid, ts->ts_lockobj, ts->ts_lockobj->lo_name); 339f5c157d9SJohn Baldwin else 34036412d79SJohn Baldwin CTR4(KTR_LOCK, 341f5c157d9SJohn Baldwin "turnstile_adjust_thread: td %d moved before %d on [%p] %s", 342f5c157d9SJohn Baldwin td->td_tid, td1->td_tid, ts->ts_lockobj, 343f5c157d9SJohn Baldwin ts->ts_lockobj->lo_name); 34436412d79SJohn Baldwin } 345f5c157d9SJohn Baldwin return (1); 34636412d79SJohn Baldwin } 34736412d79SJohn Baldwin 3486c35e809SDag-Erling Smørgrav /* 349961a7b24SJohn Baldwin * Early initialization of turnstiles. This is not done via a SYSINIT() 350961a7b24SJohn Baldwin * since this needs to be initialized very early when mutexes are first 351961a7b24SJohn Baldwin * initialized. 3526283b7d0SJohn Baldwin */ 3536283b7d0SJohn Baldwin void 354961a7b24SJohn Baldwin init_turnstiles(void) 3556283b7d0SJohn Baldwin { 356961a7b24SJohn Baldwin int i; 3576283b7d0SJohn Baldwin 358961a7b24SJohn Baldwin for (i = 0; i < TC_TABLESIZE; i++) { 359961a7b24SJohn Baldwin LIST_INIT(&turnstile_chains[i].tc_turnstiles); 360961a7b24SJohn Baldwin mtx_init(&turnstile_chains[i].tc_lock, "turnstile chain", 361961a7b24SJohn Baldwin NULL, MTX_SPIN); 36201bd10e1SJohn Baldwin } 36301bd10e1SJohn Baldwin mtx_init(&td_contested_lock, "td_contested", NULL, MTX_SPIN); 364550d1c93SJohn Baldwin LIST_INIT(&thread0.td_contested); 36501bd10e1SJohn Baldwin thread0.td_turnstile = NULL; 36601bd10e1SJohn Baldwin } 36701bd10e1SJohn Baldwin 368ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 36901bd10e1SJohn Baldwin static void 37001bd10e1SJohn Baldwin init_turnstile_profiling(void *arg) 37101bd10e1SJohn Baldwin { 37201bd10e1SJohn Baldwin struct sysctl_oid *chain_oid; 37301bd10e1SJohn Baldwin char chain_name[10]; 37401bd10e1SJohn Baldwin int i; 37501bd10e1SJohn Baldwin 37601bd10e1SJohn Baldwin for (i = 0; i < TC_TABLESIZE; i++) { 377ef0ebfc3SJohn Baldwin snprintf(chain_name, sizeof(chain_name), "%d", i); 378ef0ebfc3SJohn Baldwin chain_oid = SYSCTL_ADD_NODE(NULL, 379ef0ebfc3SJohn Baldwin SYSCTL_STATIC_CHILDREN(_debug_turnstile_chains), OID_AUTO, 380ef0ebfc3SJohn Baldwin chain_name, CTLFLAG_RD, NULL, "turnstile chain stats"); 381ef0ebfc3SJohn Baldwin SYSCTL_ADD_UINT(NULL, SYSCTL_CHILDREN(chain_oid), OID_AUTO, 382ef0ebfc3SJohn Baldwin "depth", CTLFLAG_RD, &turnstile_chains[i].tc_depth, 0, 383ef0ebfc3SJohn Baldwin NULL); 384ef0ebfc3SJohn Baldwin SYSCTL_ADD_UINT(NULL, SYSCTL_CHILDREN(chain_oid), OID_AUTO, 385ef0ebfc3SJohn Baldwin "max_depth", CTLFLAG_RD, &turnstile_chains[i].tc_max_depth, 386ef0ebfc3SJohn Baldwin 0, NULL); 38701bd10e1SJohn Baldwin } 38801bd10e1SJohn Baldwin } 38901bd10e1SJohn Baldwin SYSINIT(turnstile_profiling, SI_SUB_LOCK, SI_ORDER_ANY, 39001bd10e1SJohn Baldwin init_turnstile_profiling, NULL); 391ef0ebfc3SJohn Baldwin #endif 3926283b7d0SJohn Baldwin 393961a7b24SJohn Baldwin static void 394961a7b24SJohn Baldwin init_turnstile0(void *dummy) 3956283b7d0SJohn Baldwin { 3966283b7d0SJohn Baldwin 3972b7e2ee7SJeff Roberson turnstile_zone = uma_zcreate("TURNSTILE", sizeof(struct turnstile), 3982b7e2ee7SJeff Roberson #ifdef INVARIANTS 3992502c107SJeff Roberson NULL, turnstile_dtor, turnstile_init, turnstile_fini, 4002502c107SJeff Roberson UMA_ALIGN_CACHE, 0); 4012b7e2ee7SJeff Roberson #else 4022502c107SJeff Roberson NULL, NULL, turnstile_init, turnstile_fini, UMA_ALIGN_CACHE, 0); 4032b7e2ee7SJeff Roberson #endif 404961a7b24SJohn Baldwin thread0.td_turnstile = turnstile_alloc(); 405961a7b24SJohn Baldwin } 406961a7b24SJohn Baldwin SYSINIT(turnstile0, SI_SUB_LOCK, SI_ORDER_ANY, init_turnstile0, NULL); 4076c35e809SDag-Erling Smørgrav 408961a7b24SJohn Baldwin /* 409f5c157d9SJohn Baldwin * Update a thread on the turnstile list after it's priority has been changed. 410f5c157d9SJohn Baldwin * The old priority is passed in as an argument. 411f5c157d9SJohn Baldwin */ 412f5c157d9SJohn Baldwin void 413f5c157d9SJohn Baldwin turnstile_adjust(struct thread *td, u_char oldpri) 414f5c157d9SJohn Baldwin { 415f5c157d9SJohn Baldwin struct turnstile *ts; 416f5c157d9SJohn Baldwin 417f5c157d9SJohn Baldwin MPASS(TD_ON_LOCK(td)); 418f5c157d9SJohn Baldwin 419f5c157d9SJohn Baldwin /* 420f5c157d9SJohn Baldwin * Pick up the lock that td is blocked on. 421f5c157d9SJohn Baldwin */ 422f5c157d9SJohn Baldwin ts = td->td_blocked; 423f5c157d9SJohn Baldwin MPASS(ts != NULL); 4242502c107SJeff Roberson MPASS(td->td_lock == &ts->ts_lock); 4252502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 426f5c157d9SJohn Baldwin 427f5c157d9SJohn Baldwin /* Resort the turnstile on the list. */ 4282502c107SJeff Roberson if (!turnstile_adjust_thread(ts, td)) 429f5c157d9SJohn Baldwin return; 430f5c157d9SJohn Baldwin /* 431f5c157d9SJohn Baldwin * If our priority was lowered and we are at the head of the 432f5c157d9SJohn Baldwin * turnstile, then propagate our new priority up the chain. 433f5c157d9SJohn Baldwin * Note that we currently don't try to revoke lent priorities 434f5c157d9SJohn Baldwin * when our priority goes up. 435f5c157d9SJohn Baldwin */ 4367aa4f685SJohn Baldwin MPASS(td->td_tsqueue == TS_EXCLUSIVE_QUEUE || 4377aa4f685SJohn Baldwin td->td_tsqueue == TS_SHARED_QUEUE); 4387aa4f685SJohn Baldwin if (td == TAILQ_FIRST(&ts->ts_blocked[td->td_tsqueue]) && 4397aa4f685SJohn Baldwin td->td_priority < oldpri) { 440f5c157d9SJohn Baldwin propagate_priority(td); 4412502c107SJeff Roberson } 442f5c157d9SJohn Baldwin } 443f5c157d9SJohn Baldwin 444f5c157d9SJohn Baldwin /* 445961a7b24SJohn Baldwin * Set the owner of the lock this turnstile is attached to. 446961a7b24SJohn Baldwin */ 447961a7b24SJohn Baldwin static void 448961a7b24SJohn Baldwin turnstile_setowner(struct turnstile *ts, struct thread *owner) 449961a7b24SJohn Baldwin { 450961a7b24SJohn Baldwin 451961a7b24SJohn Baldwin mtx_assert(&td_contested_lock, MA_OWNED); 452961a7b24SJohn Baldwin MPASS(ts->ts_owner == NULL); 4537aa4f685SJohn Baldwin 4547aa4f685SJohn Baldwin /* A shared lock might not have an owner. */ 4557aa4f685SJohn Baldwin if (owner == NULL) 4567aa4f685SJohn Baldwin return; 4577aa4f685SJohn Baldwin 4587aa4f685SJohn Baldwin MPASS(owner->td_proc->p_magic == P_MAGIC); 459961a7b24SJohn Baldwin ts->ts_owner = owner; 460961a7b24SJohn Baldwin LIST_INSERT_HEAD(&owner->td_contested, ts, ts_link); 461961a7b24SJohn Baldwin } 462961a7b24SJohn Baldwin 4632b7e2ee7SJeff Roberson #ifdef INVARIANTS 464961a7b24SJohn Baldwin /* 4652b7e2ee7SJeff Roberson * UMA zone item deallocator. 466961a7b24SJohn Baldwin */ 4672b7e2ee7SJeff Roberson static void 4682b7e2ee7SJeff Roberson turnstile_dtor(void *mem, int size, void *arg) 469961a7b24SJohn Baldwin { 470961a7b24SJohn Baldwin struct turnstile *ts; 471961a7b24SJohn Baldwin 4722b7e2ee7SJeff Roberson ts = mem; 4732b7e2ee7SJeff Roberson MPASS(TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE])); 4742b7e2ee7SJeff Roberson MPASS(TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE])); 4752b7e2ee7SJeff Roberson MPASS(TAILQ_EMPTY(&ts->ts_pending)); 4762b7e2ee7SJeff Roberson } 4772b7e2ee7SJeff Roberson #endif 4782b7e2ee7SJeff Roberson 4792b7e2ee7SJeff Roberson /* 4802b7e2ee7SJeff Roberson * UMA zone item initializer. 4812b7e2ee7SJeff Roberson */ 4822b7e2ee7SJeff Roberson static int 4832b7e2ee7SJeff Roberson turnstile_init(void *mem, int size, int flags) 4842b7e2ee7SJeff Roberson { 4852b7e2ee7SJeff Roberson struct turnstile *ts; 4862b7e2ee7SJeff Roberson 4872b7e2ee7SJeff Roberson bzero(mem, size); 4882b7e2ee7SJeff Roberson ts = mem; 4897aa4f685SJohn Baldwin TAILQ_INIT(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]); 4907aa4f685SJohn Baldwin TAILQ_INIT(&ts->ts_blocked[TS_SHARED_QUEUE]); 491961a7b24SJohn Baldwin TAILQ_INIT(&ts->ts_pending); 492961a7b24SJohn Baldwin LIST_INIT(&ts->ts_free); 4932502c107SJeff Roberson mtx_init(&ts->ts_lock, "turnstile lock", NULL, MTX_SPIN | MTX_RECURSE); 4942b7e2ee7SJeff Roberson return (0); 4952b7e2ee7SJeff Roberson } 4962b7e2ee7SJeff Roberson 4972502c107SJeff Roberson static void 4982502c107SJeff Roberson turnstile_fini(void *mem, int size) 4992502c107SJeff Roberson { 5002502c107SJeff Roberson struct turnstile *ts; 5012502c107SJeff Roberson 5022502c107SJeff Roberson ts = mem; 5032502c107SJeff Roberson mtx_destroy(&ts->ts_lock); 5042502c107SJeff Roberson } 5052502c107SJeff Roberson 5062b7e2ee7SJeff Roberson /* 5072b7e2ee7SJeff Roberson * Get a turnstile for a new thread. 5082b7e2ee7SJeff Roberson */ 5092b7e2ee7SJeff Roberson struct turnstile * 5102b7e2ee7SJeff Roberson turnstile_alloc(void) 5112b7e2ee7SJeff Roberson { 5122b7e2ee7SJeff Roberson 5132b7e2ee7SJeff Roberson return (uma_zalloc(turnstile_zone, M_WAITOK)); 514961a7b24SJohn Baldwin } 515961a7b24SJohn Baldwin 516961a7b24SJohn Baldwin /* 517961a7b24SJohn Baldwin * Free a turnstile when a thread is destroyed. 518961a7b24SJohn Baldwin */ 519961a7b24SJohn Baldwin void 520961a7b24SJohn Baldwin turnstile_free(struct turnstile *ts) 521961a7b24SJohn Baldwin { 522961a7b24SJohn Baldwin 5232b7e2ee7SJeff Roberson uma_zfree(turnstile_zone, ts); 524961a7b24SJohn Baldwin } 525961a7b24SJohn Baldwin 526961a7b24SJohn Baldwin /* 5272ff0e645SJohn Baldwin * Lock the turnstile chain associated with the specified lock. 5282ff0e645SJohn Baldwin */ 5292ff0e645SJohn Baldwin void 5302502c107SJeff Roberson turnstile_chain_lock(struct lock_object *lock) 5312ff0e645SJohn Baldwin { 5322ff0e645SJohn Baldwin struct turnstile_chain *tc; 5332ff0e645SJohn Baldwin 5342ff0e645SJohn Baldwin tc = TC_LOOKUP(lock); 5352ff0e645SJohn Baldwin mtx_lock_spin(&tc->tc_lock); 5362ff0e645SJohn Baldwin } 5372ff0e645SJohn Baldwin 5382502c107SJeff Roberson struct turnstile * 5392502c107SJeff Roberson turnstile_trywait(struct lock_object *lock) 5402502c107SJeff Roberson { 5412502c107SJeff Roberson struct turnstile_chain *tc; 5422502c107SJeff Roberson struct turnstile *ts; 5432502c107SJeff Roberson 5442502c107SJeff Roberson tc = TC_LOOKUP(lock); 5452502c107SJeff Roberson mtx_lock_spin(&tc->tc_lock); 5462502c107SJeff Roberson LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash) 5472502c107SJeff Roberson if (ts->ts_lockobj == lock) { 5482502c107SJeff Roberson mtx_lock_spin(&ts->ts_lock); 5492502c107SJeff Roberson return (ts); 5502502c107SJeff Roberson } 5512502c107SJeff Roberson 5522502c107SJeff Roberson ts = curthread->td_turnstile; 5532502c107SJeff Roberson MPASS(ts != NULL); 5542502c107SJeff Roberson mtx_lock_spin(&ts->ts_lock); 5552502c107SJeff Roberson KASSERT(ts->ts_lockobj == NULL, ("stale ts_lockobj pointer")); 5562502c107SJeff Roberson ts->ts_lockobj = lock; 5572502c107SJeff Roberson 5582502c107SJeff Roberson return (ts); 5592502c107SJeff Roberson } 5602502c107SJeff Roberson 5612502c107SJeff Roberson void 5622502c107SJeff Roberson turnstile_cancel(struct turnstile *ts) 5632502c107SJeff Roberson { 5642502c107SJeff Roberson struct turnstile_chain *tc; 5652502c107SJeff Roberson struct lock_object *lock; 5662502c107SJeff Roberson 5672502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 5682502c107SJeff Roberson 5692502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 5702502c107SJeff Roberson lock = ts->ts_lockobj; 5712502c107SJeff Roberson if (ts == curthread->td_turnstile) 5722502c107SJeff Roberson ts->ts_lockobj = NULL; 5732502c107SJeff Roberson tc = TC_LOOKUP(lock); 5742502c107SJeff Roberson mtx_unlock_spin(&tc->tc_lock); 5752502c107SJeff Roberson } 5762502c107SJeff Roberson 5772ff0e645SJohn Baldwin /* 578961a7b24SJohn Baldwin * Look up the turnstile for a lock in the hash table locking the associated 5792ff0e645SJohn Baldwin * turnstile chain along the way. If no turnstile is found in the hash 5802ff0e645SJohn Baldwin * table, NULL is returned. 581961a7b24SJohn Baldwin */ 582961a7b24SJohn Baldwin struct turnstile * 583961a7b24SJohn Baldwin turnstile_lookup(struct lock_object *lock) 584961a7b24SJohn Baldwin { 585961a7b24SJohn Baldwin struct turnstile_chain *tc; 586961a7b24SJohn Baldwin struct turnstile *ts; 587961a7b24SJohn Baldwin 588961a7b24SJohn Baldwin tc = TC_LOOKUP(lock); 5892ff0e645SJohn Baldwin mtx_assert(&tc->tc_lock, MA_OWNED); 590961a7b24SJohn Baldwin LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash) 5912502c107SJeff Roberson if (ts->ts_lockobj == lock) { 5922502c107SJeff Roberson mtx_lock_spin(&ts->ts_lock); 593961a7b24SJohn Baldwin return (ts); 5942502c107SJeff Roberson } 595961a7b24SJohn Baldwin return (NULL); 596961a7b24SJohn Baldwin } 597961a7b24SJohn Baldwin 598961a7b24SJohn Baldwin /* 599961a7b24SJohn Baldwin * Unlock the turnstile chain associated with a given lock. 600961a7b24SJohn Baldwin */ 601961a7b24SJohn Baldwin void 6022502c107SJeff Roberson turnstile_chain_unlock(struct lock_object *lock) 603961a7b24SJohn Baldwin { 604961a7b24SJohn Baldwin struct turnstile_chain *tc; 605961a7b24SJohn Baldwin 606961a7b24SJohn Baldwin tc = TC_LOOKUP(lock); 607961a7b24SJohn Baldwin mtx_unlock_spin(&tc->tc_lock); 608961a7b24SJohn Baldwin } 609961a7b24SJohn Baldwin 610961a7b24SJohn Baldwin /* 6117aa4f685SJohn Baldwin * Return a pointer to the thread waiting on this turnstile with the 6127aa4f685SJohn Baldwin * most important priority or NULL if the turnstile has no waiters. 6137aa4f685SJohn Baldwin */ 6147aa4f685SJohn Baldwin static struct thread * 6157aa4f685SJohn Baldwin turnstile_first_waiter(struct turnstile *ts) 6167aa4f685SJohn Baldwin { 6177aa4f685SJohn Baldwin struct thread *std, *xtd; 6187aa4f685SJohn Baldwin 6197aa4f685SJohn Baldwin std = TAILQ_FIRST(&ts->ts_blocked[TS_SHARED_QUEUE]); 6207aa4f685SJohn Baldwin xtd = TAILQ_FIRST(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]); 6217aa4f685SJohn Baldwin if (xtd == NULL || (std != NULL && std->td_priority < xtd->td_priority)) 6227aa4f685SJohn Baldwin return (std); 6237aa4f685SJohn Baldwin return (xtd); 6247aa4f685SJohn Baldwin } 6257aa4f685SJohn Baldwin 6267aa4f685SJohn Baldwin /* 627961a7b24SJohn Baldwin * Take ownership of a turnstile and adjust the priority of the new 628961a7b24SJohn Baldwin * owner appropriately. 629961a7b24SJohn Baldwin */ 630961a7b24SJohn Baldwin void 6312502c107SJeff Roberson turnstile_claim(struct turnstile *ts) 632961a7b24SJohn Baldwin { 633961a7b24SJohn Baldwin struct thread *td, *owner; 6342502c107SJeff Roberson struct turnstile_chain *tc; 635961a7b24SJohn Baldwin 6362502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 6372502c107SJeff Roberson MPASS(ts != curthread->td_turnstile); 638961a7b24SJohn Baldwin 639961a7b24SJohn Baldwin owner = curthread; 640961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 641961a7b24SJohn Baldwin turnstile_setowner(ts, owner); 642961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 643961a7b24SJohn Baldwin 6447aa4f685SJohn Baldwin td = turnstile_first_waiter(ts); 645961a7b24SJohn Baldwin MPASS(td != NULL); 646961a7b24SJohn Baldwin MPASS(td->td_proc->p_magic == P_MAGIC); 6472502c107SJeff Roberson MPASS(td->td_lock == &ts->ts_lock); 648961a7b24SJohn Baldwin 649961a7b24SJohn Baldwin /* 650961a7b24SJohn Baldwin * Update the priority of the new owner if needed. 651961a7b24SJohn Baldwin */ 6522502c107SJeff Roberson thread_lock(owner); 653961a7b24SJohn Baldwin if (td->td_priority < owner->td_priority) 654f5c157d9SJohn Baldwin sched_lend_prio(owner, td->td_priority); 6552502c107SJeff Roberson thread_unlock(owner); 6562502c107SJeff Roberson tc = TC_LOOKUP(ts->ts_lockobj); 6572502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 6582502c107SJeff Roberson mtx_unlock_spin(&tc->tc_lock); 659961a7b24SJohn Baldwin } 660961a7b24SJohn Baldwin 661961a7b24SJohn Baldwin /* 6622ff0e645SJohn Baldwin * Block the current thread on the turnstile assicated with 'lock'. This 6632ff0e645SJohn Baldwin * function will context switch and not return until this thread has been 6642ff0e645SJohn Baldwin * woken back up. This function must be called with the appropriate 6652ff0e645SJohn Baldwin * turnstile chain locked and will return with it unlocked. 666961a7b24SJohn Baldwin */ 667961a7b24SJohn Baldwin void 6682502c107SJeff Roberson turnstile_wait(struct turnstile *ts, struct thread *owner, int queue) 669961a7b24SJohn Baldwin { 670961a7b24SJohn Baldwin struct turnstile_chain *tc; 671961a7b24SJohn Baldwin struct thread *td, *td1; 6722502c107SJeff Roberson struct lock_object *lock; 673961a7b24SJohn Baldwin 674961a7b24SJohn Baldwin td = curthread; 6752502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 6767aa4f685SJohn Baldwin if (queue == TS_SHARED_QUEUE) 677961a7b24SJohn Baldwin MPASS(owner != NULL); 6787aa4f685SJohn Baldwin if (owner) 679961a7b24SJohn Baldwin MPASS(owner->td_proc->p_magic == P_MAGIC); 6807aa4f685SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 681961a7b24SJohn Baldwin 6822ff0e645SJohn Baldwin /* 6832ff0e645SJohn Baldwin * If the lock does not already have a turnstile, use this thread's 6842ff0e645SJohn Baldwin * turnstile. Otherwise insert the current thread into the 6852ff0e645SJohn Baldwin * turnstile already in use by this lock. 6862ff0e645SJohn Baldwin */ 6872502c107SJeff Roberson tc = TC_LOOKUP(ts->ts_lockobj); 6882502c107SJeff Roberson if (ts == td->td_turnstile) { 6892502c107SJeff Roberson mtx_assert(&tc->tc_lock, MA_OWNED); 690ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 691ef0ebfc3SJohn Baldwin tc->tc_depth++; 692ef0ebfc3SJohn Baldwin if (tc->tc_depth > tc->tc_max_depth) { 693ef0ebfc3SJohn Baldwin tc->tc_max_depth = tc->tc_depth; 694ef0ebfc3SJohn Baldwin if (tc->tc_max_depth > turnstile_max_depth) 695ef0ebfc3SJohn Baldwin turnstile_max_depth = tc->tc_max_depth; 696ef0ebfc3SJohn Baldwin } 697ef0ebfc3SJohn Baldwin #endif 6982502c107SJeff Roberson tc = TC_LOOKUP(ts->ts_lockobj); 699961a7b24SJohn Baldwin LIST_INSERT_HEAD(&tc->tc_turnstiles, ts, ts_hash); 700961a7b24SJohn Baldwin KASSERT(TAILQ_EMPTY(&ts->ts_pending), 701961a7b24SJohn Baldwin ("thread's turnstile has pending threads")); 7027aa4f685SJohn Baldwin KASSERT(TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]), 7037aa4f685SJohn Baldwin ("thread's turnstile has exclusive waiters")); 7047aa4f685SJohn Baldwin KASSERT(TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]), 7057aa4f685SJohn Baldwin ("thread's turnstile has shared waiters")); 706961a7b24SJohn Baldwin KASSERT(LIST_EMPTY(&ts->ts_free), 707961a7b24SJohn Baldwin ("thread's turnstile has a non-empty free list")); 7082502c107SJeff Roberson MPASS(ts->ts_lockobj != NULL); 709961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 7107aa4f685SJohn Baldwin TAILQ_INSERT_TAIL(&ts->ts_blocked[queue], td, td_lockq); 711961a7b24SJohn Baldwin turnstile_setowner(ts, owner); 712961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 713961a7b24SJohn Baldwin } else { 7147aa4f685SJohn Baldwin TAILQ_FOREACH(td1, &ts->ts_blocked[queue], td_lockq) 715961a7b24SJohn Baldwin if (td1->td_priority > td->td_priority) 7166c35e809SDag-Erling Smørgrav break; 717961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 718961a7b24SJohn Baldwin if (td1 != NULL) 719961a7b24SJohn Baldwin TAILQ_INSERT_BEFORE(td1, td, td_lockq); 720961a7b24SJohn Baldwin else 7217aa4f685SJohn Baldwin TAILQ_INSERT_TAIL(&ts->ts_blocked[queue], td, td_lockq); 7227aa4f685SJohn Baldwin MPASS(owner == ts->ts_owner); 723961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 724961a7b24SJohn Baldwin MPASS(td->td_turnstile != NULL); 725961a7b24SJohn Baldwin LIST_INSERT_HEAD(&ts->ts_free, td->td_turnstile, ts_hash); 7266c35e809SDag-Erling Smørgrav } 7272502c107SJeff Roberson thread_lock(td); 7282502c107SJeff Roberson thread_lock_set(td, &ts->ts_lock); 729961a7b24SJohn Baldwin td->td_turnstile = NULL; 73036412d79SJohn Baldwin 731961a7b24SJohn Baldwin /* Save who we are blocked on and switch. */ 7322502c107SJeff Roberson lock = ts->ts_lockobj; 7337aa4f685SJohn Baldwin td->td_tsqueue = queue; 734961a7b24SJohn Baldwin td->td_blocked = ts; 735961a7b24SJohn Baldwin td->td_lockname = lock->lo_name; 736551cf4e1SJohn Baldwin TD_SET_LOCK(td); 7372502c107SJeff Roberson mtx_unlock_spin(&tc->tc_lock); 738b40ce416SJulian Elischer propagate_priority(td); 7399ed346baSBosko Milekic 740961a7b24SJohn Baldwin if (LOCK_LOG_TEST(lock, 0)) 741f5c157d9SJohn Baldwin CTR4(KTR_LOCK, "%s: td %d blocked on [%p] %s", __func__, 742f5c157d9SJohn Baldwin td->td_tid, lock, lock->lo_name); 7439ed346baSBosko Milekic 7442502c107SJeff Roberson MPASS(td->td_lock == &ts->ts_lock); 7452502c107SJeff Roberson SCHED_STAT_INC(switch_turnstile); 746bf0acc27SJohn Baldwin mi_switch(SW_VOL, NULL); 7479ed346baSBosko Milekic 748961a7b24SJohn Baldwin if (LOCK_LOG_TEST(lock, 0)) 749f5c157d9SJohn Baldwin CTR4(KTR_LOCK, "%s: td %d free from blocked on [%p] %s", 750f5c157d9SJohn Baldwin __func__, td->td_tid, lock, lock->lo_name); 7512502c107SJeff Roberson thread_unlock(td); 75236412d79SJohn Baldwin } 7539ed346baSBosko Milekic 754961a7b24SJohn Baldwin /* 755961a7b24SJohn Baldwin * Pick the highest priority thread on this turnstile and put it on the 756961a7b24SJohn Baldwin * pending list. This must be called with the turnstile chain locked. 757961a7b24SJohn Baldwin */ 758961a7b24SJohn Baldwin int 7597aa4f685SJohn Baldwin turnstile_signal(struct turnstile *ts, int queue) 760961a7b24SJohn Baldwin { 761961a7b24SJohn Baldwin struct turnstile_chain *tc; 762961a7b24SJohn Baldwin struct thread *td; 763961a7b24SJohn Baldwin int empty; 764961a7b24SJohn Baldwin 765961a7b24SJohn Baldwin MPASS(ts != NULL); 7662502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 767961a7b24SJohn Baldwin MPASS(curthread->td_proc->p_magic == P_MAGIC); 7687aa4f685SJohn Baldwin MPASS(ts->ts_owner == curthread || 7697aa4f685SJohn Baldwin (queue == TS_EXCLUSIVE_QUEUE && ts->ts_owner == NULL)); 7707aa4f685SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 7719ed346baSBosko Milekic 7729ed346baSBosko Milekic /* 773961a7b24SJohn Baldwin * Pick the highest priority thread blocked on this lock and 774961a7b24SJohn Baldwin * move it to the pending list. 7759ed346baSBosko Milekic */ 7767aa4f685SJohn Baldwin td = TAILQ_FIRST(&ts->ts_blocked[queue]); 777b40ce416SJulian Elischer MPASS(td->td_proc->p_magic == P_MAGIC); 778961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 7797aa4f685SJohn Baldwin TAILQ_REMOVE(&ts->ts_blocked[queue], td, td_lockq); 780961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 781961a7b24SJohn Baldwin TAILQ_INSERT_TAIL(&ts->ts_pending, td, td_lockq); 7829ed346baSBosko Milekic 783961a7b24SJohn Baldwin /* 784961a7b24SJohn Baldwin * If the turnstile is now empty, remove it from its chain and 785961a7b24SJohn Baldwin * give it to the about-to-be-woken thread. Otherwise take a 786961a7b24SJohn Baldwin * turnstile from the free list and give it to the thread. 787961a7b24SJohn Baldwin */ 7887aa4f685SJohn Baldwin empty = TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) && 7897aa4f685SJohn Baldwin TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]); 790ef0ebfc3SJohn Baldwin if (empty) { 7912502c107SJeff Roberson tc = TC_LOOKUP(ts->ts_lockobj); 7922502c107SJeff Roberson mtx_assert(&tc->tc_lock, MA_OWNED); 793961a7b24SJohn Baldwin MPASS(LIST_EMPTY(&ts->ts_free)); 794ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 795ef0ebfc3SJohn Baldwin tc->tc_depth--; 796ef0ebfc3SJohn Baldwin #endif 797ef0ebfc3SJohn Baldwin } else 798961a7b24SJohn Baldwin ts = LIST_FIRST(&ts->ts_free); 799da1d503bSJohn Baldwin MPASS(ts != NULL); 800961a7b24SJohn Baldwin LIST_REMOVE(ts, ts_hash); 801961a7b24SJohn Baldwin td->td_turnstile = ts; 8029ed346baSBosko Milekic 803961a7b24SJohn Baldwin return (empty); 804961a7b24SJohn Baldwin } 805961a7b24SJohn Baldwin 806961a7b24SJohn Baldwin /* 807961a7b24SJohn Baldwin * Put all blocked threads on the pending list. This must be called with 808961a7b24SJohn Baldwin * the turnstile chain locked. 809961a7b24SJohn Baldwin */ 810961a7b24SJohn Baldwin void 8117aa4f685SJohn Baldwin turnstile_broadcast(struct turnstile *ts, int queue) 812961a7b24SJohn Baldwin { 813961a7b24SJohn Baldwin struct turnstile_chain *tc; 814961a7b24SJohn Baldwin struct turnstile *ts1; 815961a7b24SJohn Baldwin struct thread *td; 816961a7b24SJohn Baldwin 817961a7b24SJohn Baldwin MPASS(ts != NULL); 8182502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 819961a7b24SJohn Baldwin MPASS(curthread->td_proc->p_magic == P_MAGIC); 8207aa4f685SJohn Baldwin MPASS(ts->ts_owner == curthread || 8217aa4f685SJohn Baldwin (queue == TS_EXCLUSIVE_QUEUE && ts->ts_owner == NULL)); 8222502c107SJeff Roberson /* 8232502c107SJeff Roberson * We must have the chain locked so that we can remove the empty 8242502c107SJeff Roberson * turnstile from the hash queue. 8252502c107SJeff Roberson */ 826961a7b24SJohn Baldwin tc = TC_LOOKUP(ts->ts_lockobj); 827961a7b24SJohn Baldwin mtx_assert(&tc->tc_lock, MA_OWNED); 8287aa4f685SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 829961a7b24SJohn Baldwin 830961a7b24SJohn Baldwin /* 831961a7b24SJohn Baldwin * Transfer the blocked list to the pending list. 832961a7b24SJohn Baldwin */ 833961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 8347aa4f685SJohn Baldwin TAILQ_CONCAT(&ts->ts_pending, &ts->ts_blocked[queue], td_lockq); 835961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 836961a7b24SJohn Baldwin 837961a7b24SJohn Baldwin /* 838961a7b24SJohn Baldwin * Give a turnstile to each thread. The last thread gets 8397aa4f685SJohn Baldwin * this turnstile if the turnstile is empty. 840961a7b24SJohn Baldwin */ 841961a7b24SJohn Baldwin TAILQ_FOREACH(td, &ts->ts_pending, td_lockq) { 842961a7b24SJohn Baldwin if (LIST_EMPTY(&ts->ts_free)) { 843961a7b24SJohn Baldwin MPASS(TAILQ_NEXT(td, td_lockq) == NULL); 844961a7b24SJohn Baldwin ts1 = ts; 845ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 846ef0ebfc3SJohn Baldwin tc->tc_depth--; 847ef0ebfc3SJohn Baldwin #endif 84836412d79SJohn Baldwin } else 849961a7b24SJohn Baldwin ts1 = LIST_FIRST(&ts->ts_free); 850da1d503bSJohn Baldwin MPASS(ts1 != NULL); 851961a7b24SJohn Baldwin LIST_REMOVE(ts1, ts_hash); 852961a7b24SJohn Baldwin td->td_turnstile = ts1; 853961a7b24SJohn Baldwin } 854961a7b24SJohn Baldwin } 8559ed346baSBosko Milekic 856961a7b24SJohn Baldwin /* 857961a7b24SJohn Baldwin * Wakeup all threads on the pending list and adjust the priority of the 858961a7b24SJohn Baldwin * current thread appropriately. This must be called with the turnstile 859961a7b24SJohn Baldwin * chain locked. 860961a7b24SJohn Baldwin */ 861961a7b24SJohn Baldwin void 8627aa4f685SJohn Baldwin turnstile_unpend(struct turnstile *ts, int owner_type) 863961a7b24SJohn Baldwin { 864961a7b24SJohn Baldwin TAILQ_HEAD( ,thread) pending_threads; 8652502c107SJeff Roberson struct turnstile *nts; 866961a7b24SJohn Baldwin struct thread *td; 867f5c157d9SJohn Baldwin u_char cp, pri; 868961a7b24SJohn Baldwin 869961a7b24SJohn Baldwin MPASS(ts != NULL); 8702502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 8717aa4f685SJohn Baldwin MPASS(ts->ts_owner == curthread || 8727aa4f685SJohn Baldwin (owner_type == TS_SHARED_LOCK && ts->ts_owner == NULL)); 873961a7b24SJohn Baldwin MPASS(!TAILQ_EMPTY(&ts->ts_pending)); 874961a7b24SJohn Baldwin 875961a7b24SJohn Baldwin /* 876961a7b24SJohn Baldwin * Move the list of pending threads out of the turnstile and 877961a7b24SJohn Baldwin * into a local variable. 878961a7b24SJohn Baldwin */ 879961a7b24SJohn Baldwin TAILQ_INIT(&pending_threads); 880961a7b24SJohn Baldwin TAILQ_CONCAT(&pending_threads, &ts->ts_pending, td_lockq); 881961a7b24SJohn Baldwin #ifdef INVARIANTS 8827aa4f685SJohn Baldwin if (TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) && 8837aa4f685SJohn Baldwin TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE])) 884961a7b24SJohn Baldwin ts->ts_lockobj = NULL; 885961a7b24SJohn Baldwin #endif 8862502c107SJeff Roberson /* 8872502c107SJeff Roberson * Adjust the priority of curthread based on other contested 8882502c107SJeff Roberson * locks it owns. Don't lower the priority below the base 8892502c107SJeff Roberson * priority however. 8902502c107SJeff Roberson */ 8912502c107SJeff Roberson td = curthread; 8922502c107SJeff Roberson pri = PRI_MAX; 8932502c107SJeff Roberson thread_lock(td); 8942502c107SJeff Roberson mtx_lock_spin(&td_contested_lock); 895961a7b24SJohn Baldwin /* 896961a7b24SJohn Baldwin * Remove the turnstile from this thread's list of contested locks 897961a7b24SJohn Baldwin * since this thread doesn't own it anymore. New threads will 898961a7b24SJohn Baldwin * not be blocking on the turnstile until it is claimed by a new 8997aa4f685SJohn Baldwin * owner. There might not be a current owner if this is a shared 9007aa4f685SJohn Baldwin * lock. 901961a7b24SJohn Baldwin */ 9027aa4f685SJohn Baldwin if (ts->ts_owner != NULL) { 903961a7b24SJohn Baldwin ts->ts_owner = NULL; 904961a7b24SJohn Baldwin LIST_REMOVE(ts, ts_link); 9057aa4f685SJohn Baldwin } 9062502c107SJeff Roberson LIST_FOREACH(nts, &td->td_contested, ts_link) { 9072502c107SJeff Roberson cp = turnstile_first_waiter(nts)->td_priority; 90836412d79SJohn Baldwin if (cp < pri) 90936412d79SJohn Baldwin pri = cp; 91036412d79SJohn Baldwin } 911961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 912f5c157d9SJohn Baldwin sched_unlend_prio(td, pri); 9132502c107SJeff Roberson thread_unlock(td); 914961a7b24SJohn Baldwin /* 915961a7b24SJohn Baldwin * Wake up all the pending threads. If a thread is not blocked 916961a7b24SJohn Baldwin * on a lock, then it is currently executing on another CPU in 91767ba8678SJohn Baldwin * turnstile_wait() or sitting on a run queue waiting to resume 91867ba8678SJohn Baldwin * in turnstile_wait(). Set a flag to force it to try to acquire 919961a7b24SJohn Baldwin * the lock again instead of blocking. 920961a7b24SJohn Baldwin */ 921961a7b24SJohn Baldwin while (!TAILQ_EMPTY(&pending_threads)) { 922961a7b24SJohn Baldwin td = TAILQ_FIRST(&pending_threads); 923961a7b24SJohn Baldwin TAILQ_REMOVE(&pending_threads, td, td_lockq); 9242502c107SJeff Roberson thread_lock(td); 9252502c107SJeff Roberson MPASS(td->td_lock == &ts->ts_lock); 926961a7b24SJohn Baldwin MPASS(td->td_proc->p_magic == P_MAGIC); 9272502c107SJeff Roberson MPASS(TD_ON_LOCK(td)); 9282502c107SJeff Roberson TD_CLR_LOCK(td); 9292502c107SJeff Roberson MPASS(TD_CAN_RUN(td)); 930961a7b24SJohn Baldwin td->td_blocked = NULL; 931961a7b24SJohn Baldwin td->td_lockname = NULL; 9327aa4f685SJohn Baldwin #ifdef INVARIANTS 9337aa4f685SJohn Baldwin td->td_tsqueue = 0xff; 9347aa4f685SJohn Baldwin #endif 935f0393f06SJeff Roberson sched_add(td, SRQ_BORING); 9362502c107SJeff Roberson thread_unlock(td); 937961a7b24SJohn Baldwin } 9382502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 9399ed346baSBosko Milekic } 9409ed346baSBosko Milekic 9419ed346baSBosko Milekic /* 942f1a4b852SJohn Baldwin * Give up ownership of a turnstile. This must be called with the 943f1a4b852SJohn Baldwin * turnstile chain locked. 944f1a4b852SJohn Baldwin */ 945f1a4b852SJohn Baldwin void 946f1a4b852SJohn Baldwin turnstile_disown(struct turnstile *ts) 947f1a4b852SJohn Baldwin { 948f1a4b852SJohn Baldwin struct thread *td; 949f1a4b852SJohn Baldwin u_char cp, pri; 950f1a4b852SJohn Baldwin 951f1a4b852SJohn Baldwin MPASS(ts != NULL); 9522502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 953f1a4b852SJohn Baldwin MPASS(ts->ts_owner == curthread); 954f1a4b852SJohn Baldwin MPASS(TAILQ_EMPTY(&ts->ts_pending)); 955f1a4b852SJohn Baldwin MPASS(!TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) || 956f1a4b852SJohn Baldwin !TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE])); 957f1a4b852SJohn Baldwin 958f1a4b852SJohn Baldwin /* 959f1a4b852SJohn Baldwin * Remove the turnstile from this thread's list of contested locks 960f1a4b852SJohn Baldwin * since this thread doesn't own it anymore. New threads will 961f1a4b852SJohn Baldwin * not be blocking on the turnstile until it is claimed by a new 962f1a4b852SJohn Baldwin * owner. 963f1a4b852SJohn Baldwin */ 964f1a4b852SJohn Baldwin mtx_lock_spin(&td_contested_lock); 965f1a4b852SJohn Baldwin ts->ts_owner = NULL; 966f1a4b852SJohn Baldwin LIST_REMOVE(ts, ts_link); 967f1a4b852SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 968f1a4b852SJohn Baldwin 969f1a4b852SJohn Baldwin /* 970f1a4b852SJohn Baldwin * Adjust the priority of curthread based on other contested 971f1a4b852SJohn Baldwin * locks it owns. Don't lower the priority below the base 972f1a4b852SJohn Baldwin * priority however. 973f1a4b852SJohn Baldwin */ 974f1a4b852SJohn Baldwin td = curthread; 975f1a4b852SJohn Baldwin pri = PRI_MAX; 9762502c107SJeff Roberson thread_lock(td); 9772502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 978f1a4b852SJohn Baldwin mtx_lock_spin(&td_contested_lock); 979f1a4b852SJohn Baldwin LIST_FOREACH(ts, &td->td_contested, ts_link) { 980f1a4b852SJohn Baldwin cp = turnstile_first_waiter(ts)->td_priority; 981f1a4b852SJohn Baldwin if (cp < pri) 982f1a4b852SJohn Baldwin pri = cp; 983f1a4b852SJohn Baldwin } 984f1a4b852SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 985f1a4b852SJohn Baldwin sched_unlend_prio(td, pri); 9862502c107SJeff Roberson thread_unlock(td); 987f1a4b852SJohn Baldwin } 988f1a4b852SJohn Baldwin 989f1a4b852SJohn Baldwin /* 990961a7b24SJohn Baldwin * Return the first thread in a turnstile. 9919ed346baSBosko Milekic */ 992961a7b24SJohn Baldwin struct thread * 9937aa4f685SJohn Baldwin turnstile_head(struct turnstile *ts, int queue) 9940cde2e34SJason Evans { 995961a7b24SJohn Baldwin #ifdef INVARIANTS 9965cb0fbe4SJohn Baldwin 997961a7b24SJohn Baldwin MPASS(ts != NULL); 9987aa4f685SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 9992502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 10000cde2e34SJason Evans #endif 10017aa4f685SJohn Baldwin return (TAILQ_FIRST(&ts->ts_blocked[queue])); 1002961a7b24SJohn Baldwin } 10037aa4f685SJohn Baldwin 1004f1a4b852SJohn Baldwin /* 1005f1a4b852SJohn Baldwin * Returns true if a sub-queue of a turnstile is empty. 1006f1a4b852SJohn Baldwin */ 1007f1a4b852SJohn Baldwin int 1008f1a4b852SJohn Baldwin turnstile_empty(struct turnstile *ts, int queue) 1009f1a4b852SJohn Baldwin { 1010f1a4b852SJohn Baldwin #ifdef INVARIANTS 1011f1a4b852SJohn Baldwin 1012f1a4b852SJohn Baldwin MPASS(ts != NULL); 1013f1a4b852SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 10142502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 1015f1a4b852SJohn Baldwin #endif 1016f1a4b852SJohn Baldwin return (TAILQ_EMPTY(&ts->ts_blocked[queue])); 1017f1a4b852SJohn Baldwin } 1018f1a4b852SJohn Baldwin 10197aa4f685SJohn Baldwin #ifdef DDB 10207aa4f685SJohn Baldwin static void 10217aa4f685SJohn Baldwin print_thread(struct thread *td, const char *prefix) 10227aa4f685SJohn Baldwin { 10237aa4f685SJohn Baldwin 10247aa4f685SJohn Baldwin db_printf("%s%p (tid %d, pid %d, \"%s\")\n", prefix, td, td->td_tid, 1025f9ab2f13SJohn Baldwin td->td_proc->p_pid, td->td_name[0] != '\0' ? td->td_name : 1026f9ab2f13SJohn Baldwin td->td_proc->p_comm); 10277aa4f685SJohn Baldwin } 10287aa4f685SJohn Baldwin 10297aa4f685SJohn Baldwin static void 10307aa4f685SJohn Baldwin print_queue(struct threadqueue *queue, const char *header, const char *prefix) 10317aa4f685SJohn Baldwin { 10327aa4f685SJohn Baldwin struct thread *td; 10337aa4f685SJohn Baldwin 10347aa4f685SJohn Baldwin db_printf("%s:\n", header); 10357aa4f685SJohn Baldwin if (TAILQ_EMPTY(queue)) { 10367aa4f685SJohn Baldwin db_printf("%sempty\n", prefix); 10377aa4f685SJohn Baldwin return; 10387aa4f685SJohn Baldwin } 10397aa4f685SJohn Baldwin TAILQ_FOREACH(td, queue, td_lockq) { 10407aa4f685SJohn Baldwin print_thread(td, prefix); 10417aa4f685SJohn Baldwin } 10427aa4f685SJohn Baldwin } 10437aa4f685SJohn Baldwin 10447aa4f685SJohn Baldwin DB_SHOW_COMMAND(turnstile, db_show_turnstile) 10457aa4f685SJohn Baldwin { 10467aa4f685SJohn Baldwin struct turnstile_chain *tc; 10477aa4f685SJohn Baldwin struct turnstile *ts; 10487aa4f685SJohn Baldwin struct lock_object *lock; 10497aa4f685SJohn Baldwin int i; 10507aa4f685SJohn Baldwin 10517aa4f685SJohn Baldwin if (!have_addr) 10527aa4f685SJohn Baldwin return; 10537aa4f685SJohn Baldwin 10547aa4f685SJohn Baldwin /* 10557aa4f685SJohn Baldwin * First, see if there is an active turnstile for the lock indicated 10567aa4f685SJohn Baldwin * by the address. 10577aa4f685SJohn Baldwin */ 10587aa4f685SJohn Baldwin lock = (struct lock_object *)addr; 10597aa4f685SJohn Baldwin tc = TC_LOOKUP(lock); 10607aa4f685SJohn Baldwin LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash) 10617aa4f685SJohn Baldwin if (ts->ts_lockobj == lock) 10627aa4f685SJohn Baldwin goto found; 10637aa4f685SJohn Baldwin 10647aa4f685SJohn Baldwin /* 10657aa4f685SJohn Baldwin * Second, see if there is an active turnstile at the address 10667aa4f685SJohn Baldwin * indicated. 10677aa4f685SJohn Baldwin */ 10687aa4f685SJohn Baldwin for (i = 0; i < TC_TABLESIZE; i++) 10697aa4f685SJohn Baldwin LIST_FOREACH(ts, &turnstile_chains[i].tc_turnstiles, ts_hash) { 10707aa4f685SJohn Baldwin if (ts == (struct turnstile *)addr) 10717aa4f685SJohn Baldwin goto found; 10727aa4f685SJohn Baldwin } 10737aa4f685SJohn Baldwin 10747aa4f685SJohn Baldwin db_printf("Unable to locate a turnstile via %p\n", (void *)addr); 10757aa4f685SJohn Baldwin return; 10767aa4f685SJohn Baldwin found: 10777aa4f685SJohn Baldwin lock = ts->ts_lockobj; 10787aa4f685SJohn Baldwin db_printf("Lock: %p - (%s) %s\n", lock, LOCK_CLASS(lock)->lc_name, 10797aa4f685SJohn Baldwin lock->lo_name); 10807aa4f685SJohn Baldwin if (ts->ts_owner) 10817aa4f685SJohn Baldwin print_thread(ts->ts_owner, "Lock Owner: "); 10827aa4f685SJohn Baldwin else 10837aa4f685SJohn Baldwin db_printf("Lock Owner: none\n"); 10847aa4f685SJohn Baldwin print_queue(&ts->ts_blocked[TS_SHARED_QUEUE], "Shared Waiters", "\t"); 10857aa4f685SJohn Baldwin print_queue(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE], "Exclusive Waiters", 10867aa4f685SJohn Baldwin "\t"); 10877aa4f685SJohn Baldwin print_queue(&ts->ts_pending, "Pending Threads", "\t"); 10887aa4f685SJohn Baldwin 10897aa4f685SJohn Baldwin } 1090ae110b53SJohn Baldwin 109177e66268SJohn Baldwin /* 109277e66268SJohn Baldwin * Show all the threads a particular thread is waiting on based on 109377e66268SJohn Baldwin * non-sleepable and non-spin locks. 109477e66268SJohn Baldwin */ 1095ae110b53SJohn Baldwin static void 109677e66268SJohn Baldwin print_lockchain(struct thread *td, const char *prefix) 1097ae110b53SJohn Baldwin { 1098ae110b53SJohn Baldwin struct lock_object *lock; 1099ae110b53SJohn Baldwin struct lock_class *class; 1100ae110b53SJohn Baldwin struct turnstile *ts; 1101ae110b53SJohn Baldwin 1102ae110b53SJohn Baldwin /* 1103ae110b53SJohn Baldwin * Follow the chain. We keep walking as long as the thread is 1104ae110b53SJohn Baldwin * blocked on a turnstile that has an owner. 1105ae110b53SJohn Baldwin */ 1106fed79884SJohn Baldwin while (!db_pager_quit) { 1107ae110b53SJohn Baldwin db_printf("%sthread %d (pid %d, %s) ", prefix, td->td_tid, 1108ae110b53SJohn Baldwin td->td_proc->p_pid, td->td_name[0] != '\0' ? td->td_name : 1109ae110b53SJohn Baldwin td->td_proc->p_comm); 1110ae110b53SJohn Baldwin switch (td->td_state) { 1111ae110b53SJohn Baldwin case TDS_INACTIVE: 1112ae110b53SJohn Baldwin db_printf("is inactive\n"); 1113ae110b53SJohn Baldwin return; 1114ae110b53SJohn Baldwin case TDS_CAN_RUN: 1115ae110b53SJohn Baldwin db_printf("can run\n"); 1116ae110b53SJohn Baldwin return; 1117ae110b53SJohn Baldwin case TDS_RUNQ: 1118ae110b53SJohn Baldwin db_printf("is on a run queue\n"); 1119ae110b53SJohn Baldwin return; 1120ae110b53SJohn Baldwin case TDS_RUNNING: 1121ae110b53SJohn Baldwin db_printf("running on CPU %d\n", td->td_oncpu); 1122ae110b53SJohn Baldwin return; 1123ae110b53SJohn Baldwin case TDS_INHIBITED: 1124ae110b53SJohn Baldwin if (TD_ON_LOCK(td)) { 1125ae110b53SJohn Baldwin ts = td->td_blocked; 1126ae110b53SJohn Baldwin lock = ts->ts_lockobj; 1127ae110b53SJohn Baldwin class = LOCK_CLASS(lock); 1128ae110b53SJohn Baldwin db_printf("blocked on lock %p (%s) \"%s\"\n", 1129ae110b53SJohn Baldwin lock, class->lc_name, lock->lo_name); 1130ae110b53SJohn Baldwin if (ts->ts_owner == NULL) 1131ae110b53SJohn Baldwin return; 1132ae110b53SJohn Baldwin td = ts->ts_owner; 1133ae110b53SJohn Baldwin break; 1134ae110b53SJohn Baldwin } 1135ae110b53SJohn Baldwin db_printf("inhibited\n"); 1136ae110b53SJohn Baldwin return; 1137ae110b53SJohn Baldwin default: 1138ae110b53SJohn Baldwin db_printf("??? (%#x)\n", td->td_state); 1139ae110b53SJohn Baldwin return; 1140ae110b53SJohn Baldwin } 1141ae110b53SJohn Baldwin } 1142ae110b53SJohn Baldwin } 1143ae110b53SJohn Baldwin 114477e66268SJohn Baldwin DB_SHOW_COMMAND(lockchain, db_show_lockchain) 1145ae110b53SJohn Baldwin { 1146ae110b53SJohn Baldwin struct thread *td; 1147ae110b53SJohn Baldwin 1148ae110b53SJohn Baldwin /* Figure out which thread to start with. */ 1149ae110b53SJohn Baldwin if (have_addr) 1150ae110b53SJohn Baldwin td = db_lookup_thread(addr, TRUE); 1151ae110b53SJohn Baldwin else 1152ae110b53SJohn Baldwin td = kdb_thread; 1153ae110b53SJohn Baldwin 115477e66268SJohn Baldwin print_lockchain(td, ""); 1155ae110b53SJohn Baldwin } 1156ae110b53SJohn Baldwin 1157ae110b53SJohn Baldwin DB_SHOW_COMMAND(allchains, db_show_allchains) 1158ae110b53SJohn Baldwin { 1159ae110b53SJohn Baldwin struct thread *td; 1160ae110b53SJohn Baldwin struct proc *p; 1161ae110b53SJohn Baldwin int i; 1162ae110b53SJohn Baldwin 1163ae110b53SJohn Baldwin i = 1; 11644f506694SXin LI FOREACH_PROC_IN_SYSTEM(p) { 1165ae110b53SJohn Baldwin FOREACH_THREAD_IN_PROC(p, td) { 1166ae110b53SJohn Baldwin if (TD_ON_LOCK(td) && LIST_EMPTY(&td->td_contested)) { 1167ae110b53SJohn Baldwin db_printf("chain %d:\n", i++); 116877e66268SJohn Baldwin print_lockchain(td, " "); 1169ae110b53SJohn Baldwin } 1170fed79884SJohn Baldwin if (db_pager_quit) 1171fed79884SJohn Baldwin return; 1172ae110b53SJohn Baldwin } 1173ae110b53SJohn Baldwin } 1174ae110b53SJohn Baldwin } 1175ae110b53SJohn Baldwin 1176462a7addSJohn Baldwin /* 1177462a7addSJohn Baldwin * Show all the threads a particular thread is waiting on based on 1178462a7addSJohn Baldwin * sleepable locks. 1179462a7addSJohn Baldwin */ 1180462a7addSJohn Baldwin static void 1181462a7addSJohn Baldwin print_sleepchain(struct thread *td, const char *prefix) 1182462a7addSJohn Baldwin { 1183462a7addSJohn Baldwin struct thread *owner; 1184462a7addSJohn Baldwin 1185462a7addSJohn Baldwin /* 1186462a7addSJohn Baldwin * Follow the chain. We keep walking as long as the thread is 1187462a7addSJohn Baldwin * blocked on a sleep lock that has an owner. 1188462a7addSJohn Baldwin */ 1189462a7addSJohn Baldwin while (!db_pager_quit) { 1190462a7addSJohn Baldwin db_printf("%sthread %d (pid %d, %s) ", prefix, td->td_tid, 1191462a7addSJohn Baldwin td->td_proc->p_pid, td->td_name[0] != '\0' ? td->td_name : 1192462a7addSJohn Baldwin td->td_proc->p_comm); 1193462a7addSJohn Baldwin switch (td->td_state) { 1194462a7addSJohn Baldwin case TDS_INACTIVE: 1195462a7addSJohn Baldwin db_printf("is inactive\n"); 1196462a7addSJohn Baldwin return; 1197462a7addSJohn Baldwin case TDS_CAN_RUN: 1198462a7addSJohn Baldwin db_printf("can run\n"); 1199462a7addSJohn Baldwin return; 1200462a7addSJohn Baldwin case TDS_RUNQ: 1201462a7addSJohn Baldwin db_printf("is on a run queue\n"); 1202462a7addSJohn Baldwin return; 1203462a7addSJohn Baldwin case TDS_RUNNING: 1204462a7addSJohn Baldwin db_printf("running on CPU %d\n", td->td_oncpu); 1205462a7addSJohn Baldwin return; 1206462a7addSJohn Baldwin case TDS_INHIBITED: 1207462a7addSJohn Baldwin if (TD_ON_SLEEPQ(td)) { 1208462a7addSJohn Baldwin if (lockmgr_chain(td, &owner) || 1209462a7addSJohn Baldwin sx_chain(td, &owner)) { 1210462a7addSJohn Baldwin if (owner == NULL) 1211462a7addSJohn Baldwin return; 1212462a7addSJohn Baldwin td = owner; 1213462a7addSJohn Baldwin break; 1214462a7addSJohn Baldwin } 1215462a7addSJohn Baldwin db_printf("sleeping on %p \"%s\"\n", 1216462a7addSJohn Baldwin td->td_wchan, td->td_wmesg); 1217462a7addSJohn Baldwin return; 1218462a7addSJohn Baldwin } 1219462a7addSJohn Baldwin db_printf("inhibited\n"); 1220462a7addSJohn Baldwin return; 1221462a7addSJohn Baldwin default: 1222462a7addSJohn Baldwin db_printf("??? (%#x)\n", td->td_state); 1223462a7addSJohn Baldwin return; 1224462a7addSJohn Baldwin } 1225462a7addSJohn Baldwin } 1226462a7addSJohn Baldwin } 1227462a7addSJohn Baldwin 1228462a7addSJohn Baldwin DB_SHOW_COMMAND(sleepchain, db_show_sleepchain) 1229462a7addSJohn Baldwin { 1230462a7addSJohn Baldwin struct thread *td; 1231462a7addSJohn Baldwin 1232462a7addSJohn Baldwin /* Figure out which thread to start with. */ 1233462a7addSJohn Baldwin if (have_addr) 1234462a7addSJohn Baldwin td = db_lookup_thread(addr, TRUE); 1235462a7addSJohn Baldwin else 1236462a7addSJohn Baldwin td = kdb_thread; 1237462a7addSJohn Baldwin 1238462a7addSJohn Baldwin print_sleepchain(td, ""); 1239462a7addSJohn Baldwin } 1240462a7addSJohn Baldwin 1241ae110b53SJohn Baldwin static void print_waiters(struct turnstile *ts, int indent); 1242ae110b53SJohn Baldwin 1243ae110b53SJohn Baldwin static void 1244ae110b53SJohn Baldwin print_waiter(struct thread *td, int indent) 1245ae110b53SJohn Baldwin { 1246ae110b53SJohn Baldwin struct turnstile *ts; 1247ae110b53SJohn Baldwin int i; 1248ae110b53SJohn Baldwin 1249fed79884SJohn Baldwin if (db_pager_quit) 1250fed79884SJohn Baldwin return; 1251ae110b53SJohn Baldwin for (i = 0; i < indent; i++) 1252ae110b53SJohn Baldwin db_printf(" "); 1253ae110b53SJohn Baldwin print_thread(td, "thread "); 1254ae110b53SJohn Baldwin LIST_FOREACH(ts, &td->td_contested, ts_link) 1255ae110b53SJohn Baldwin print_waiters(ts, indent + 1); 1256ae110b53SJohn Baldwin } 1257ae110b53SJohn Baldwin 1258ae110b53SJohn Baldwin static void 1259ae110b53SJohn Baldwin print_waiters(struct turnstile *ts, int indent) 1260ae110b53SJohn Baldwin { 1261ae110b53SJohn Baldwin struct lock_object *lock; 1262ae110b53SJohn Baldwin struct lock_class *class; 1263ae110b53SJohn Baldwin struct thread *td; 1264ae110b53SJohn Baldwin int i; 1265ae110b53SJohn Baldwin 1266fed79884SJohn Baldwin if (db_pager_quit) 1267fed79884SJohn Baldwin return; 1268ae110b53SJohn Baldwin lock = ts->ts_lockobj; 1269ae110b53SJohn Baldwin class = LOCK_CLASS(lock); 1270ae110b53SJohn Baldwin for (i = 0; i < indent; i++) 1271ae110b53SJohn Baldwin db_printf(" "); 1272ae110b53SJohn Baldwin db_printf("lock %p (%s) \"%s\"\n", lock, class->lc_name, lock->lo_name); 1273ae110b53SJohn Baldwin TAILQ_FOREACH(td, &ts->ts_blocked[TS_EXCLUSIVE_QUEUE], td_lockq) 1274ae110b53SJohn Baldwin print_waiter(td, indent + 1); 1275ae110b53SJohn Baldwin TAILQ_FOREACH(td, &ts->ts_blocked[TS_SHARED_QUEUE], td_lockq) 1276ae110b53SJohn Baldwin print_waiter(td, indent + 1); 1277ae110b53SJohn Baldwin TAILQ_FOREACH(td, &ts->ts_pending, td_lockq) 1278ae110b53SJohn Baldwin print_waiter(td, indent + 1); 1279ae110b53SJohn Baldwin } 1280ae110b53SJohn Baldwin 128177e66268SJohn Baldwin DB_SHOW_COMMAND(locktree, db_show_locktree) 1282ae110b53SJohn Baldwin { 1283ae110b53SJohn Baldwin struct lock_object *lock; 1284ae110b53SJohn Baldwin struct lock_class *class; 1285ae110b53SJohn Baldwin struct turnstile_chain *tc; 1286ae110b53SJohn Baldwin struct turnstile *ts; 1287ae110b53SJohn Baldwin 1288ae110b53SJohn Baldwin if (!have_addr) 1289ae110b53SJohn Baldwin return; 1290ae110b53SJohn Baldwin lock = (struct lock_object *)addr; 1291ae110b53SJohn Baldwin tc = TC_LOOKUP(lock); 1292ae110b53SJohn Baldwin LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash) 1293ae110b53SJohn Baldwin if (ts->ts_lockobj == lock) 1294ae110b53SJohn Baldwin break; 1295ae110b53SJohn Baldwin if (ts == NULL) { 1296ae110b53SJohn Baldwin class = LOCK_CLASS(lock); 1297ae110b53SJohn Baldwin db_printf("lock %p (%s) \"%s\"\n", lock, class->lc_name, 1298ae110b53SJohn Baldwin lock->lo_name); 1299ae110b53SJohn Baldwin } else 1300ae110b53SJohn Baldwin print_waiters(ts, 0); 1301ae110b53SJohn Baldwin } 13027aa4f685SJohn Baldwin #endif 1303