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; 1447029da5cSPawel Biernacki static SYSCTL_NODE(_debug, OID_AUTO, turnstile, CTLFLAG_RD | CTLFLAG_MPSAFE, 0, 1456472ac3dSEd Schouten "turnstile profiling"); 1467029da5cSPawel Biernacki static SYSCTL_NODE(_debug_turnstile, OID_AUTO, chains, 1477029da5cSPawel 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", 291*fa2528acSAlex Richardson td->td_tid, td->td_name, TD_GET_STATE(td), 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 /* 346b40ce416SJulian Elischer * Remove thread from blocked chain and determine where 347f5c157d9SJohn Baldwin * it should be moved to. 34836412d79SJohn Baldwin */ 3497aa4f685SJohn Baldwin queue = td->td_tsqueue; 3507aa4f685SJohn Baldwin MPASS(queue == TS_EXCLUSIVE_QUEUE || queue == TS_SHARED_QUEUE); 351961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 3527aa4f685SJohn Baldwin TAILQ_REMOVE(&ts->ts_blocked[queue], td, td_lockq); 3537aa4f685SJohn Baldwin TAILQ_FOREACH(td1, &ts->ts_blocked[queue], td_lockq) { 354b40ce416SJulian Elischer MPASS(td1->td_proc->p_magic == P_MAGIC); 355f5c157d9SJohn Baldwin if (td1->td_priority > td->td_priority) 35636412d79SJohn Baldwin break; 35736412d79SJohn Baldwin } 3589ed346baSBosko Milekic 359f5c157d9SJohn Baldwin if (td1 == NULL) 3607aa4f685SJohn Baldwin TAILQ_INSERT_TAIL(&ts->ts_blocked[queue], td, td_lockq); 361f5c157d9SJohn Baldwin else 362551cf4e1SJohn Baldwin TAILQ_INSERT_BEFORE(td1, td, td_lockq); 363961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 364f5c157d9SJohn Baldwin if (td1 == NULL) 365f5c157d9SJohn Baldwin CTR3(KTR_LOCK, 366f5c157d9SJohn Baldwin "turnstile_adjust_thread: td %d put at tail on [%p] %s", 367f5c157d9SJohn Baldwin td->td_tid, ts->ts_lockobj, ts->ts_lockobj->lo_name); 368f5c157d9SJohn Baldwin else 36936412d79SJohn Baldwin CTR4(KTR_LOCK, 370f5c157d9SJohn Baldwin "turnstile_adjust_thread: td %d moved before %d on [%p] %s", 371f5c157d9SJohn Baldwin td->td_tid, td1->td_tid, ts->ts_lockobj, 372f5c157d9SJohn Baldwin ts->ts_lockobj->lo_name); 37336412d79SJohn Baldwin } 374f5c157d9SJohn Baldwin return (1); 37536412d79SJohn Baldwin } 37636412d79SJohn Baldwin 3776c35e809SDag-Erling Smørgrav /* 378961a7b24SJohn Baldwin * Early initialization of turnstiles. This is not done via a SYSINIT() 379961a7b24SJohn Baldwin * since this needs to be initialized very early when mutexes are first 380961a7b24SJohn Baldwin * initialized. 3816283b7d0SJohn Baldwin */ 3826283b7d0SJohn Baldwin void 383961a7b24SJohn Baldwin init_turnstiles(void) 3846283b7d0SJohn Baldwin { 385961a7b24SJohn Baldwin int i; 3866283b7d0SJohn Baldwin 387961a7b24SJohn Baldwin for (i = 0; i < TC_TABLESIZE; i++) { 388961a7b24SJohn Baldwin LIST_INIT(&turnstile_chains[i].tc_turnstiles); 389961a7b24SJohn Baldwin mtx_init(&turnstile_chains[i].tc_lock, "turnstile chain", 390961a7b24SJohn Baldwin NULL, MTX_SPIN); 39101bd10e1SJohn Baldwin } 39201bd10e1SJohn Baldwin mtx_init(&td_contested_lock, "td_contested", NULL, MTX_SPIN); 393550d1c93SJohn Baldwin LIST_INIT(&thread0.td_contested); 39401bd10e1SJohn Baldwin thread0.td_turnstile = NULL; 39501bd10e1SJohn Baldwin } 39601bd10e1SJohn Baldwin 397ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 39801bd10e1SJohn Baldwin static void 39901bd10e1SJohn Baldwin init_turnstile_profiling(void *arg) 40001bd10e1SJohn Baldwin { 40101bd10e1SJohn Baldwin struct sysctl_oid *chain_oid; 40201bd10e1SJohn Baldwin char chain_name[10]; 40301bd10e1SJohn Baldwin int i; 40401bd10e1SJohn Baldwin 40501bd10e1SJohn Baldwin for (i = 0; i < TC_TABLESIZE; i++) { 406ef0ebfc3SJohn Baldwin snprintf(chain_name, sizeof(chain_name), "%d", i); 407ef0ebfc3SJohn Baldwin chain_oid = SYSCTL_ADD_NODE(NULL, 408ef0ebfc3SJohn Baldwin SYSCTL_STATIC_CHILDREN(_debug_turnstile_chains), OID_AUTO, 4097029da5cSPawel Biernacki chain_name, CTLFLAG_RD | CTLFLAG_MPSAFE, NULL, 4107029da5cSPawel Biernacki "turnstile chain stats"); 411ef0ebfc3SJohn Baldwin SYSCTL_ADD_UINT(NULL, SYSCTL_CHILDREN(chain_oid), OID_AUTO, 412ef0ebfc3SJohn Baldwin "depth", CTLFLAG_RD, &turnstile_chains[i].tc_depth, 0, 413ef0ebfc3SJohn Baldwin NULL); 414ef0ebfc3SJohn Baldwin SYSCTL_ADD_UINT(NULL, SYSCTL_CHILDREN(chain_oid), OID_AUTO, 415ef0ebfc3SJohn Baldwin "max_depth", CTLFLAG_RD, &turnstile_chains[i].tc_max_depth, 416ef0ebfc3SJohn Baldwin 0, NULL); 41701bd10e1SJohn Baldwin } 41801bd10e1SJohn Baldwin } 41901bd10e1SJohn Baldwin SYSINIT(turnstile_profiling, SI_SUB_LOCK, SI_ORDER_ANY, 42001bd10e1SJohn Baldwin init_turnstile_profiling, NULL); 421ef0ebfc3SJohn Baldwin #endif 4226283b7d0SJohn Baldwin 423961a7b24SJohn Baldwin static void 424961a7b24SJohn Baldwin init_turnstile0(void *dummy) 4256283b7d0SJohn Baldwin { 4266283b7d0SJohn Baldwin 4272b7e2ee7SJeff Roberson turnstile_zone = uma_zcreate("TURNSTILE", sizeof(struct turnstile), 4288c68f75aSJohn Baldwin NULL, 4292b7e2ee7SJeff Roberson #ifdef INVARIANTS 4308c68f75aSJohn Baldwin turnstile_dtor, 4312b7e2ee7SJeff Roberson #else 4328c68f75aSJohn Baldwin NULL, 4332b7e2ee7SJeff Roberson #endif 4348c68f75aSJohn Baldwin turnstile_init, turnstile_fini, UMA_ALIGN_CACHE, UMA_ZONE_NOFREE); 435961a7b24SJohn Baldwin thread0.td_turnstile = turnstile_alloc(); 436961a7b24SJohn Baldwin } 437961a7b24SJohn Baldwin SYSINIT(turnstile0, SI_SUB_LOCK, SI_ORDER_ANY, init_turnstile0, NULL); 4386c35e809SDag-Erling Smørgrav 439961a7b24SJohn Baldwin /* 440f5c157d9SJohn Baldwin * Update a thread on the turnstile list after it's priority has been changed. 441f5c157d9SJohn Baldwin * The old priority is passed in as an argument. 442f5c157d9SJohn Baldwin */ 443f5c157d9SJohn Baldwin void 444f5c157d9SJohn Baldwin turnstile_adjust(struct thread *td, u_char oldpri) 445f5c157d9SJohn Baldwin { 446f5c157d9SJohn Baldwin struct turnstile *ts; 447f5c157d9SJohn Baldwin 448f5c157d9SJohn Baldwin MPASS(TD_ON_LOCK(td)); 449f5c157d9SJohn Baldwin 450f5c157d9SJohn Baldwin /* 451f5c157d9SJohn Baldwin * Pick up the lock that td is blocked on. 452f5c157d9SJohn Baldwin */ 453f5c157d9SJohn Baldwin ts = td->td_blocked; 454f5c157d9SJohn Baldwin MPASS(ts != NULL); 45561a74c5cSJeff Roberson THREAD_LOCKPTR_BLOCKED_ASSERT(td, &ts->ts_lock); 4562502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 457f5c157d9SJohn Baldwin 458f5c157d9SJohn Baldwin /* Resort the turnstile on the list. */ 4592502c107SJeff Roberson if (!turnstile_adjust_thread(ts, td)) 460f5c157d9SJohn Baldwin return; 461f5c157d9SJohn Baldwin /* 462f5c157d9SJohn Baldwin * If our priority was lowered and we are at the head of the 463f5c157d9SJohn Baldwin * turnstile, then propagate our new priority up the chain. 464f5c157d9SJohn Baldwin * Note that we currently don't try to revoke lent priorities 465f5c157d9SJohn Baldwin * when our priority goes up. 466f5c157d9SJohn Baldwin */ 4677aa4f685SJohn Baldwin MPASS(td->td_tsqueue == TS_EXCLUSIVE_QUEUE || 4687aa4f685SJohn Baldwin td->td_tsqueue == TS_SHARED_QUEUE); 4697aa4f685SJohn Baldwin if (td == TAILQ_FIRST(&ts->ts_blocked[td->td_tsqueue]) && 4707aa4f685SJohn Baldwin td->td_priority < oldpri) { 471f5c157d9SJohn Baldwin propagate_priority(td); 4722502c107SJeff Roberson } 473f5c157d9SJohn Baldwin } 474f5c157d9SJohn Baldwin 475f5c157d9SJohn Baldwin /* 476961a7b24SJohn Baldwin * Set the owner of the lock this turnstile is attached to. 477961a7b24SJohn Baldwin */ 478961a7b24SJohn Baldwin static void 479961a7b24SJohn Baldwin turnstile_setowner(struct turnstile *ts, struct thread *owner) 480961a7b24SJohn Baldwin { 481961a7b24SJohn Baldwin 482961a7b24SJohn Baldwin mtx_assert(&td_contested_lock, MA_OWNED); 483961a7b24SJohn Baldwin MPASS(ts->ts_owner == NULL); 4847aa4f685SJohn Baldwin 4857aa4f685SJohn Baldwin /* A shared lock might not have an owner. */ 4867aa4f685SJohn Baldwin if (owner == NULL) 4877aa4f685SJohn Baldwin return; 4887aa4f685SJohn Baldwin 4897aa4f685SJohn Baldwin MPASS(owner->td_proc->p_magic == P_MAGIC); 490961a7b24SJohn Baldwin ts->ts_owner = owner; 491961a7b24SJohn Baldwin LIST_INSERT_HEAD(&owner->td_contested, ts, ts_link); 492961a7b24SJohn Baldwin } 493961a7b24SJohn Baldwin 4942b7e2ee7SJeff Roberson #ifdef INVARIANTS 495961a7b24SJohn Baldwin /* 4962b7e2ee7SJeff Roberson * UMA zone item deallocator. 497961a7b24SJohn Baldwin */ 4982b7e2ee7SJeff Roberson static void 4992b7e2ee7SJeff Roberson turnstile_dtor(void *mem, int size, void *arg) 500961a7b24SJohn Baldwin { 501961a7b24SJohn Baldwin struct turnstile *ts; 502961a7b24SJohn Baldwin 5032b7e2ee7SJeff Roberson ts = mem; 5042b7e2ee7SJeff Roberson MPASS(TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE])); 5052b7e2ee7SJeff Roberson MPASS(TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE])); 5062b7e2ee7SJeff Roberson MPASS(TAILQ_EMPTY(&ts->ts_pending)); 5072b7e2ee7SJeff Roberson } 5082b7e2ee7SJeff Roberson #endif 5092b7e2ee7SJeff Roberson 5102b7e2ee7SJeff Roberson /* 5112b7e2ee7SJeff Roberson * UMA zone item initializer. 5122b7e2ee7SJeff Roberson */ 5132b7e2ee7SJeff Roberson static int 5142b7e2ee7SJeff Roberson turnstile_init(void *mem, int size, int flags) 5152b7e2ee7SJeff Roberson { 5162b7e2ee7SJeff Roberson struct turnstile *ts; 5172b7e2ee7SJeff Roberson 5182b7e2ee7SJeff Roberson bzero(mem, size); 5192b7e2ee7SJeff Roberson ts = mem; 5207aa4f685SJohn Baldwin TAILQ_INIT(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]); 5217aa4f685SJohn Baldwin TAILQ_INIT(&ts->ts_blocked[TS_SHARED_QUEUE]); 522961a7b24SJohn Baldwin TAILQ_INIT(&ts->ts_pending); 523961a7b24SJohn Baldwin LIST_INIT(&ts->ts_free); 5241c81a87eSJeff Roberson mtx_init(&ts->ts_lock, "turnstile lock", NULL, MTX_SPIN); 5252b7e2ee7SJeff Roberson return (0); 5262b7e2ee7SJeff Roberson } 5272b7e2ee7SJeff Roberson 5282502c107SJeff Roberson static void 5292502c107SJeff Roberson turnstile_fini(void *mem, int size) 5302502c107SJeff Roberson { 5312502c107SJeff Roberson struct turnstile *ts; 5322502c107SJeff Roberson 5332502c107SJeff Roberson ts = mem; 5342502c107SJeff Roberson mtx_destroy(&ts->ts_lock); 5352502c107SJeff Roberson } 5362502c107SJeff Roberson 5372b7e2ee7SJeff Roberson /* 5382b7e2ee7SJeff Roberson * Get a turnstile for a new thread. 5392b7e2ee7SJeff Roberson */ 5402b7e2ee7SJeff Roberson struct turnstile * 5412b7e2ee7SJeff Roberson turnstile_alloc(void) 5422b7e2ee7SJeff Roberson { 5432b7e2ee7SJeff Roberson 5442b7e2ee7SJeff Roberson return (uma_zalloc(turnstile_zone, M_WAITOK)); 545961a7b24SJohn Baldwin } 546961a7b24SJohn Baldwin 547961a7b24SJohn Baldwin /* 548961a7b24SJohn Baldwin * Free a turnstile when a thread is destroyed. 549961a7b24SJohn Baldwin */ 550961a7b24SJohn Baldwin void 551961a7b24SJohn Baldwin turnstile_free(struct turnstile *ts) 552961a7b24SJohn Baldwin { 553961a7b24SJohn Baldwin 5542b7e2ee7SJeff Roberson uma_zfree(turnstile_zone, ts); 555961a7b24SJohn Baldwin } 556961a7b24SJohn Baldwin 557961a7b24SJohn Baldwin /* 5582ff0e645SJohn Baldwin * Lock the turnstile chain associated with the specified lock. 5592ff0e645SJohn Baldwin */ 5602ff0e645SJohn Baldwin void 5612502c107SJeff Roberson turnstile_chain_lock(struct lock_object *lock) 5622ff0e645SJohn Baldwin { 5632ff0e645SJohn Baldwin struct turnstile_chain *tc; 5642ff0e645SJohn Baldwin 5652ff0e645SJohn Baldwin tc = TC_LOOKUP(lock); 5662ff0e645SJohn Baldwin mtx_lock_spin(&tc->tc_lock); 5672ff0e645SJohn Baldwin } 5682ff0e645SJohn Baldwin 5692502c107SJeff Roberson struct turnstile * 5702502c107SJeff Roberson turnstile_trywait(struct lock_object *lock) 5712502c107SJeff Roberson { 5722502c107SJeff Roberson struct turnstile_chain *tc; 5732502c107SJeff Roberson struct turnstile *ts; 5742502c107SJeff Roberson 5752502c107SJeff Roberson tc = TC_LOOKUP(lock); 5762502c107SJeff Roberson mtx_lock_spin(&tc->tc_lock); 5772502c107SJeff Roberson LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash) 5782502c107SJeff Roberson if (ts->ts_lockobj == lock) { 5792502c107SJeff Roberson mtx_lock_spin(&ts->ts_lock); 5802502c107SJeff Roberson return (ts); 5812502c107SJeff Roberson } 5822502c107SJeff Roberson 5832502c107SJeff Roberson ts = curthread->td_turnstile; 5842502c107SJeff Roberson MPASS(ts != NULL); 5852502c107SJeff Roberson mtx_lock_spin(&ts->ts_lock); 5862502c107SJeff Roberson KASSERT(ts->ts_lockobj == NULL, ("stale ts_lockobj pointer")); 5872502c107SJeff Roberson ts->ts_lockobj = lock; 5882502c107SJeff Roberson 5892502c107SJeff Roberson return (ts); 5902502c107SJeff Roberson } 5912502c107SJeff Roberson 5922fb62b1aSMark Johnston bool 5932fb62b1aSMark Johnston turnstile_lock(struct turnstile *ts, struct lock_object **lockp, 5942fb62b1aSMark Johnston struct thread **tdp) 59506bf2a6aSMatt Macy { 59606bf2a6aSMatt Macy struct turnstile_chain *tc; 59706bf2a6aSMatt Macy struct lock_object *lock; 59806bf2a6aSMatt Macy 59906bf2a6aSMatt Macy if ((lock = ts->ts_lockobj) == NULL) 6002fb62b1aSMark Johnston return (false); 60106bf2a6aSMatt Macy tc = TC_LOOKUP(lock); 60206bf2a6aSMatt Macy mtx_lock_spin(&tc->tc_lock); 60306bf2a6aSMatt Macy mtx_lock_spin(&ts->ts_lock); 60406bf2a6aSMatt Macy if (__predict_false(lock != ts->ts_lockobj)) { 60506bf2a6aSMatt Macy mtx_unlock_spin(&tc->tc_lock); 60606bf2a6aSMatt Macy mtx_unlock_spin(&ts->ts_lock); 6072fb62b1aSMark Johnston return (false); 60806bf2a6aSMatt Macy } 60906bf2a6aSMatt Macy *lockp = lock; 6102fb62b1aSMark Johnston *tdp = ts->ts_owner; 6112fb62b1aSMark Johnston return (true); 61206bf2a6aSMatt Macy } 61306bf2a6aSMatt Macy 61406bf2a6aSMatt Macy void 61506bf2a6aSMatt Macy turnstile_unlock(struct turnstile *ts, struct lock_object *lock) 61606bf2a6aSMatt Macy { 61706bf2a6aSMatt Macy struct turnstile_chain *tc; 61806bf2a6aSMatt Macy 61906bf2a6aSMatt Macy mtx_assert(&ts->ts_lock, MA_OWNED); 62006bf2a6aSMatt Macy mtx_unlock_spin(&ts->ts_lock); 62106bf2a6aSMatt Macy if (ts == curthread->td_turnstile) 62206bf2a6aSMatt Macy ts->ts_lockobj = NULL; 62306bf2a6aSMatt Macy tc = TC_LOOKUP(lock); 62406bf2a6aSMatt Macy mtx_unlock_spin(&tc->tc_lock); 62506bf2a6aSMatt Macy } 62606bf2a6aSMatt Macy 62706bf2a6aSMatt Macy void 62806bf2a6aSMatt Macy turnstile_assert(struct turnstile *ts) 62906bf2a6aSMatt Macy { 63006bf2a6aSMatt Macy MPASS(ts->ts_lockobj == NULL); 63106bf2a6aSMatt Macy } 63206bf2a6aSMatt Macy 6332502c107SJeff Roberson void 6342502c107SJeff Roberson turnstile_cancel(struct turnstile *ts) 6352502c107SJeff Roberson { 6362502c107SJeff Roberson struct turnstile_chain *tc; 6372502c107SJeff Roberson struct lock_object *lock; 6382502c107SJeff Roberson 6392502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 6402502c107SJeff Roberson 6412502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 6422502c107SJeff Roberson lock = ts->ts_lockobj; 6432502c107SJeff Roberson if (ts == curthread->td_turnstile) 6442502c107SJeff Roberson ts->ts_lockobj = NULL; 6452502c107SJeff Roberson tc = TC_LOOKUP(lock); 6462502c107SJeff Roberson mtx_unlock_spin(&tc->tc_lock); 6472502c107SJeff Roberson } 6482502c107SJeff Roberson 6492ff0e645SJohn Baldwin /* 650961a7b24SJohn Baldwin * Look up the turnstile for a lock in the hash table locking the associated 6512ff0e645SJohn Baldwin * turnstile chain along the way. If no turnstile is found in the hash 6522ff0e645SJohn Baldwin * table, NULL is returned. 653961a7b24SJohn Baldwin */ 654961a7b24SJohn Baldwin struct turnstile * 655961a7b24SJohn Baldwin turnstile_lookup(struct lock_object *lock) 656961a7b24SJohn Baldwin { 657961a7b24SJohn Baldwin struct turnstile_chain *tc; 658961a7b24SJohn Baldwin struct turnstile *ts; 659961a7b24SJohn Baldwin 660961a7b24SJohn Baldwin tc = TC_LOOKUP(lock); 6612ff0e645SJohn Baldwin mtx_assert(&tc->tc_lock, MA_OWNED); 662961a7b24SJohn Baldwin LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash) 6632502c107SJeff Roberson if (ts->ts_lockobj == lock) { 6642502c107SJeff Roberson mtx_lock_spin(&ts->ts_lock); 665961a7b24SJohn Baldwin return (ts); 6662502c107SJeff Roberson } 667961a7b24SJohn Baldwin return (NULL); 668961a7b24SJohn Baldwin } 669961a7b24SJohn Baldwin 670961a7b24SJohn Baldwin /* 671961a7b24SJohn Baldwin * Unlock the turnstile chain associated with a given lock. 672961a7b24SJohn Baldwin */ 673961a7b24SJohn Baldwin void 6742502c107SJeff Roberson turnstile_chain_unlock(struct lock_object *lock) 675961a7b24SJohn Baldwin { 676961a7b24SJohn Baldwin struct turnstile_chain *tc; 677961a7b24SJohn Baldwin 678961a7b24SJohn Baldwin tc = TC_LOOKUP(lock); 679961a7b24SJohn Baldwin mtx_unlock_spin(&tc->tc_lock); 680961a7b24SJohn Baldwin } 681961a7b24SJohn Baldwin 682961a7b24SJohn Baldwin /* 6837aa4f685SJohn Baldwin * Return a pointer to the thread waiting on this turnstile with the 6847aa4f685SJohn Baldwin * most important priority or NULL if the turnstile has no waiters. 6857aa4f685SJohn Baldwin */ 6867aa4f685SJohn Baldwin static struct thread * 6877aa4f685SJohn Baldwin turnstile_first_waiter(struct turnstile *ts) 6887aa4f685SJohn Baldwin { 6897aa4f685SJohn Baldwin struct thread *std, *xtd; 6907aa4f685SJohn Baldwin 6917aa4f685SJohn Baldwin std = TAILQ_FIRST(&ts->ts_blocked[TS_SHARED_QUEUE]); 6927aa4f685SJohn Baldwin xtd = TAILQ_FIRST(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]); 6937aa4f685SJohn Baldwin if (xtd == NULL || (std != NULL && std->td_priority < xtd->td_priority)) 6947aa4f685SJohn Baldwin return (std); 6957aa4f685SJohn Baldwin return (xtd); 6967aa4f685SJohn Baldwin } 6977aa4f685SJohn Baldwin 6987aa4f685SJohn Baldwin /* 699961a7b24SJohn Baldwin * Take ownership of a turnstile and adjust the priority of the new 700961a7b24SJohn Baldwin * owner appropriately. 701961a7b24SJohn Baldwin */ 702961a7b24SJohn Baldwin void 7032502c107SJeff Roberson turnstile_claim(struct turnstile *ts) 704961a7b24SJohn Baldwin { 705961a7b24SJohn Baldwin struct thread *td, *owner; 7062502c107SJeff Roberson struct turnstile_chain *tc; 707961a7b24SJohn Baldwin 7082502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 7092502c107SJeff Roberson MPASS(ts != curthread->td_turnstile); 710961a7b24SJohn Baldwin 711961a7b24SJohn Baldwin owner = curthread; 712961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 713961a7b24SJohn Baldwin turnstile_setowner(ts, owner); 714961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 715961a7b24SJohn Baldwin 7167aa4f685SJohn Baldwin td = turnstile_first_waiter(ts); 717961a7b24SJohn Baldwin MPASS(td != NULL); 718961a7b24SJohn Baldwin MPASS(td->td_proc->p_magic == P_MAGIC); 71961a74c5cSJeff Roberson THREAD_LOCKPTR_BLOCKED_ASSERT(td, &ts->ts_lock); 720961a7b24SJohn Baldwin 721961a7b24SJohn Baldwin /* 722961a7b24SJohn Baldwin * Update the priority of the new owner if needed. 723961a7b24SJohn Baldwin */ 7242502c107SJeff Roberson thread_lock(owner); 725961a7b24SJohn Baldwin if (td->td_priority < owner->td_priority) 726f5c157d9SJohn Baldwin sched_lend_prio(owner, td->td_priority); 7272502c107SJeff Roberson thread_unlock(owner); 7282502c107SJeff Roberson tc = TC_LOOKUP(ts->ts_lockobj); 7292502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 7302502c107SJeff Roberson mtx_unlock_spin(&tc->tc_lock); 731961a7b24SJohn Baldwin } 732961a7b24SJohn Baldwin 733961a7b24SJohn Baldwin /* 7342ff0e645SJohn Baldwin * Block the current thread on the turnstile assicated with 'lock'. This 7352ff0e645SJohn Baldwin * function will context switch and not return until this thread has been 7362ff0e645SJohn Baldwin * woken back up. This function must be called with the appropriate 7372ff0e645SJohn Baldwin * turnstile chain locked and will return with it unlocked. 738961a7b24SJohn Baldwin */ 739961a7b24SJohn Baldwin void 7402502c107SJeff Roberson turnstile_wait(struct turnstile *ts, struct thread *owner, int queue) 741961a7b24SJohn Baldwin { 742961a7b24SJohn Baldwin struct turnstile_chain *tc; 743961a7b24SJohn Baldwin struct thread *td, *td1; 7442502c107SJeff Roberson struct lock_object *lock; 745961a7b24SJohn Baldwin 746961a7b24SJohn Baldwin td = curthread; 7472502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 7487aa4f685SJohn Baldwin if (owner) 749961a7b24SJohn Baldwin MPASS(owner->td_proc->p_magic == P_MAGIC); 7507aa4f685SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 751961a7b24SJohn Baldwin 7522ff0e645SJohn Baldwin /* 7532ff0e645SJohn Baldwin * If the lock does not already have a turnstile, use this thread's 7542ff0e645SJohn Baldwin * turnstile. Otherwise insert the current thread into the 7552ff0e645SJohn Baldwin * turnstile already in use by this lock. 7562ff0e645SJohn Baldwin */ 7572502c107SJeff Roberson tc = TC_LOOKUP(ts->ts_lockobj); 7582502c107SJeff Roberson mtx_assert(&tc->tc_lock, MA_OWNED); 759f7488600SJohn Baldwin if (ts == td->td_turnstile) { 760ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 761ef0ebfc3SJohn Baldwin tc->tc_depth++; 762ef0ebfc3SJohn Baldwin if (tc->tc_depth > tc->tc_max_depth) { 763ef0ebfc3SJohn Baldwin tc->tc_max_depth = tc->tc_depth; 764ef0ebfc3SJohn Baldwin if (tc->tc_max_depth > turnstile_max_depth) 765ef0ebfc3SJohn Baldwin turnstile_max_depth = tc->tc_max_depth; 766ef0ebfc3SJohn Baldwin } 767ef0ebfc3SJohn Baldwin #endif 768961a7b24SJohn Baldwin LIST_INSERT_HEAD(&tc->tc_turnstiles, ts, ts_hash); 769961a7b24SJohn Baldwin KASSERT(TAILQ_EMPTY(&ts->ts_pending), 770961a7b24SJohn Baldwin ("thread's turnstile has pending threads")); 7717aa4f685SJohn Baldwin KASSERT(TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]), 7727aa4f685SJohn Baldwin ("thread's turnstile has exclusive waiters")); 7737aa4f685SJohn Baldwin KASSERT(TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]), 7747aa4f685SJohn Baldwin ("thread's turnstile has shared waiters")); 775961a7b24SJohn Baldwin KASSERT(LIST_EMPTY(&ts->ts_free), 776961a7b24SJohn Baldwin ("thread's turnstile has a non-empty free list")); 7772502c107SJeff Roberson MPASS(ts->ts_lockobj != NULL); 778961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 7797aa4f685SJohn Baldwin TAILQ_INSERT_TAIL(&ts->ts_blocked[queue], td, td_lockq); 780961a7b24SJohn Baldwin turnstile_setowner(ts, owner); 781961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 782961a7b24SJohn Baldwin } else { 7837aa4f685SJohn Baldwin TAILQ_FOREACH(td1, &ts->ts_blocked[queue], td_lockq) 784961a7b24SJohn Baldwin if (td1->td_priority > td->td_priority) 7856c35e809SDag-Erling Smørgrav break; 786961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 787961a7b24SJohn Baldwin if (td1 != NULL) 788961a7b24SJohn Baldwin TAILQ_INSERT_BEFORE(td1, td, td_lockq); 789961a7b24SJohn Baldwin else 7907aa4f685SJohn Baldwin TAILQ_INSERT_TAIL(&ts->ts_blocked[queue], td, td_lockq); 7917aa4f685SJohn Baldwin MPASS(owner == ts->ts_owner); 792961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 793961a7b24SJohn Baldwin MPASS(td->td_turnstile != NULL); 794961a7b24SJohn Baldwin LIST_INSERT_HEAD(&ts->ts_free, td->td_turnstile, ts_hash); 7956c35e809SDag-Erling Smørgrav } 7962502c107SJeff Roberson thread_lock(td); 7972502c107SJeff Roberson thread_lock_set(td, &ts->ts_lock); 798961a7b24SJohn Baldwin td->td_turnstile = NULL; 79936412d79SJohn Baldwin 800961a7b24SJohn Baldwin /* Save who we are blocked on and switch. */ 8012502c107SJeff Roberson lock = ts->ts_lockobj; 8027aa4f685SJohn Baldwin td->td_tsqueue = queue; 803961a7b24SJohn Baldwin td->td_blocked = ts; 804961a7b24SJohn Baldwin td->td_lockname = lock->lo_name; 805f7829d0dSAttilio Rao td->td_blktick = ticks; 806551cf4e1SJohn Baldwin TD_SET_LOCK(td); 8072502c107SJeff Roberson mtx_unlock_spin(&tc->tc_lock); 808b40ce416SJulian Elischer propagate_priority(td); 8099ed346baSBosko Milekic 810961a7b24SJohn Baldwin if (LOCK_LOG_TEST(lock, 0)) 811f5c157d9SJohn Baldwin CTR4(KTR_LOCK, "%s: td %d blocked on [%p] %s", __func__, 812f5c157d9SJohn Baldwin td->td_tid, lock, lock->lo_name); 8139ed346baSBosko Milekic 814b3e9e682SRyan Stone SDT_PROBE0(sched, , , sleep); 815b3e9e682SRyan Stone 816626ac252SJeff Roberson THREAD_LOCKPTR_ASSERT(td, &ts->ts_lock); 817686bcb5cSJeff Roberson mi_switch(SW_VOL | SWT_TURNSTILE); 8189ed346baSBosko Milekic 819961a7b24SJohn Baldwin if (LOCK_LOG_TEST(lock, 0)) 820f5c157d9SJohn Baldwin CTR4(KTR_LOCK, "%s: td %d free from blocked on [%p] %s", 821f5c157d9SJohn Baldwin __func__, td->td_tid, lock, lock->lo_name); 82236412d79SJohn Baldwin } 8239ed346baSBosko Milekic 824961a7b24SJohn Baldwin /* 825961a7b24SJohn Baldwin * Pick the highest priority thread on this turnstile and put it on the 826961a7b24SJohn Baldwin * pending list. This must be called with the turnstile chain locked. 827961a7b24SJohn Baldwin */ 828961a7b24SJohn Baldwin int 8297aa4f685SJohn Baldwin turnstile_signal(struct turnstile *ts, int queue) 830961a7b24SJohn Baldwin { 8313adccf38SMatt Macy struct turnstile_chain *tc __unused; 832961a7b24SJohn Baldwin struct thread *td; 833961a7b24SJohn Baldwin int empty; 834961a7b24SJohn Baldwin 835961a7b24SJohn Baldwin MPASS(ts != NULL); 8362502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 837961a7b24SJohn Baldwin MPASS(curthread->td_proc->p_magic == P_MAGIC); 8385dff04c3SJeff Roberson MPASS(ts->ts_owner == curthread || ts->ts_owner == NULL); 8397aa4f685SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 8409ed346baSBosko Milekic 8419ed346baSBosko Milekic /* 842961a7b24SJohn Baldwin * Pick the highest priority thread blocked on this lock and 843961a7b24SJohn Baldwin * move it to the pending list. 8449ed346baSBosko Milekic */ 8457aa4f685SJohn Baldwin td = TAILQ_FIRST(&ts->ts_blocked[queue]); 846b40ce416SJulian Elischer MPASS(td->td_proc->p_magic == P_MAGIC); 847961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 8487aa4f685SJohn Baldwin TAILQ_REMOVE(&ts->ts_blocked[queue], td, td_lockq); 849961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 850961a7b24SJohn Baldwin TAILQ_INSERT_TAIL(&ts->ts_pending, td, td_lockq); 8519ed346baSBosko Milekic 852961a7b24SJohn Baldwin /* 853961a7b24SJohn Baldwin * If the turnstile is now empty, remove it from its chain and 854961a7b24SJohn Baldwin * give it to the about-to-be-woken thread. Otherwise take a 855961a7b24SJohn Baldwin * turnstile from the free list and give it to the thread. 856961a7b24SJohn Baldwin */ 8577aa4f685SJohn Baldwin empty = TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) && 8587aa4f685SJohn Baldwin TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE]); 859ef0ebfc3SJohn Baldwin if (empty) { 8602502c107SJeff Roberson tc = TC_LOOKUP(ts->ts_lockobj); 8612502c107SJeff Roberson mtx_assert(&tc->tc_lock, MA_OWNED); 862961a7b24SJohn Baldwin MPASS(LIST_EMPTY(&ts->ts_free)); 863ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 864ef0ebfc3SJohn Baldwin tc->tc_depth--; 865ef0ebfc3SJohn Baldwin #endif 866ef0ebfc3SJohn Baldwin } else 867961a7b24SJohn Baldwin ts = LIST_FIRST(&ts->ts_free); 868da1d503bSJohn Baldwin MPASS(ts != NULL); 869961a7b24SJohn Baldwin LIST_REMOVE(ts, ts_hash); 870961a7b24SJohn Baldwin td->td_turnstile = ts; 8719ed346baSBosko Milekic 872961a7b24SJohn Baldwin return (empty); 873961a7b24SJohn Baldwin } 874961a7b24SJohn Baldwin 875961a7b24SJohn Baldwin /* 876961a7b24SJohn Baldwin * Put all blocked threads on the pending list. This must be called with 877961a7b24SJohn Baldwin * the turnstile chain locked. 878961a7b24SJohn Baldwin */ 879961a7b24SJohn Baldwin void 8807aa4f685SJohn Baldwin turnstile_broadcast(struct turnstile *ts, int queue) 881961a7b24SJohn Baldwin { 8823adccf38SMatt Macy struct turnstile_chain *tc __unused; 883961a7b24SJohn Baldwin struct turnstile *ts1; 884961a7b24SJohn Baldwin struct thread *td; 885961a7b24SJohn Baldwin 886961a7b24SJohn Baldwin MPASS(ts != NULL); 8872502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 888961a7b24SJohn Baldwin MPASS(curthread->td_proc->p_magic == P_MAGIC); 8895dff04c3SJeff Roberson MPASS(ts->ts_owner == curthread || ts->ts_owner == NULL); 8902502c107SJeff Roberson /* 8912502c107SJeff Roberson * We must have the chain locked so that we can remove the empty 8922502c107SJeff Roberson * turnstile from the hash queue. 8932502c107SJeff Roberson */ 894961a7b24SJohn Baldwin tc = TC_LOOKUP(ts->ts_lockobj); 895961a7b24SJohn Baldwin mtx_assert(&tc->tc_lock, MA_OWNED); 8967aa4f685SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 897961a7b24SJohn Baldwin 898961a7b24SJohn Baldwin /* 899961a7b24SJohn Baldwin * Transfer the blocked list to the pending list. 900961a7b24SJohn Baldwin */ 901961a7b24SJohn Baldwin mtx_lock_spin(&td_contested_lock); 9027aa4f685SJohn Baldwin TAILQ_CONCAT(&ts->ts_pending, &ts->ts_blocked[queue], td_lockq); 903961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 904961a7b24SJohn Baldwin 905961a7b24SJohn Baldwin /* 906961a7b24SJohn Baldwin * Give a turnstile to each thread. The last thread gets 9077aa4f685SJohn Baldwin * this turnstile if the turnstile is empty. 908961a7b24SJohn Baldwin */ 909961a7b24SJohn Baldwin TAILQ_FOREACH(td, &ts->ts_pending, td_lockq) { 910961a7b24SJohn Baldwin if (LIST_EMPTY(&ts->ts_free)) { 911961a7b24SJohn Baldwin MPASS(TAILQ_NEXT(td, td_lockq) == NULL); 912961a7b24SJohn Baldwin ts1 = ts; 913ef0ebfc3SJohn Baldwin #ifdef TURNSTILE_PROFILING 914ef0ebfc3SJohn Baldwin tc->tc_depth--; 915ef0ebfc3SJohn Baldwin #endif 91636412d79SJohn Baldwin } else 917961a7b24SJohn Baldwin ts1 = LIST_FIRST(&ts->ts_free); 918da1d503bSJohn Baldwin MPASS(ts1 != NULL); 919961a7b24SJohn Baldwin LIST_REMOVE(ts1, ts_hash); 920961a7b24SJohn Baldwin td->td_turnstile = ts1; 921961a7b24SJohn Baldwin } 922961a7b24SJohn Baldwin } 9239ed346baSBosko Milekic 924a9fd669bSKonstantin Belousov static u_char 925a9fd669bSKonstantin Belousov turnstile_calc_unlend_prio_locked(struct thread *td) 926a9fd669bSKonstantin Belousov { 927a9fd669bSKonstantin Belousov struct turnstile *nts; 928a9fd669bSKonstantin Belousov u_char cp, pri; 929a9fd669bSKonstantin Belousov 930a9fd669bSKonstantin Belousov THREAD_LOCK_ASSERT(td, MA_OWNED); 931a9fd669bSKonstantin Belousov mtx_assert(&td_contested_lock, MA_OWNED); 932a9fd669bSKonstantin Belousov 933a9fd669bSKonstantin Belousov pri = PRI_MAX; 934a9fd669bSKonstantin Belousov LIST_FOREACH(nts, &td->td_contested, ts_link) { 935a9fd669bSKonstantin Belousov cp = turnstile_first_waiter(nts)->td_priority; 936a9fd669bSKonstantin Belousov if (cp < pri) 937a9fd669bSKonstantin Belousov pri = cp; 938a9fd669bSKonstantin Belousov } 939a9fd669bSKonstantin Belousov return (pri); 940a9fd669bSKonstantin Belousov } 941a9fd669bSKonstantin Belousov 942961a7b24SJohn Baldwin /* 943961a7b24SJohn Baldwin * Wakeup all threads on the pending list and adjust the priority of the 944961a7b24SJohn Baldwin * current thread appropriately. This must be called with the turnstile 945961a7b24SJohn Baldwin * chain locked. 946961a7b24SJohn Baldwin */ 947961a7b24SJohn Baldwin void 948d0a22279SMateusz Guzik turnstile_unpend(struct turnstile *ts) 949961a7b24SJohn Baldwin { 950961a7b24SJohn Baldwin TAILQ_HEAD( ,thread) pending_threads; 951961a7b24SJohn Baldwin struct thread *td; 952a9fd669bSKonstantin Belousov u_char pri; 953961a7b24SJohn Baldwin 954961a7b24SJohn Baldwin MPASS(ts != NULL); 9552502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 9565dff04c3SJeff Roberson MPASS(ts->ts_owner == curthread || ts->ts_owner == NULL); 957961a7b24SJohn Baldwin MPASS(!TAILQ_EMPTY(&ts->ts_pending)); 958961a7b24SJohn Baldwin 959961a7b24SJohn Baldwin /* 960961a7b24SJohn Baldwin * Move the list of pending threads out of the turnstile and 961961a7b24SJohn Baldwin * into a local variable. 962961a7b24SJohn Baldwin */ 963961a7b24SJohn Baldwin TAILQ_INIT(&pending_threads); 964961a7b24SJohn Baldwin TAILQ_CONCAT(&pending_threads, &ts->ts_pending, td_lockq); 965961a7b24SJohn Baldwin #ifdef INVARIANTS 9667aa4f685SJohn Baldwin if (TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) && 9677aa4f685SJohn Baldwin TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE])) 968961a7b24SJohn Baldwin ts->ts_lockobj = NULL; 969961a7b24SJohn Baldwin #endif 9702502c107SJeff Roberson /* 9712502c107SJeff Roberson * Adjust the priority of curthread based on other contested 9722502c107SJeff Roberson * locks it owns. Don't lower the priority below the base 9732502c107SJeff Roberson * priority however. 9742502c107SJeff Roberson */ 9752502c107SJeff Roberson td = curthread; 9762502c107SJeff Roberson thread_lock(td); 9772502c107SJeff Roberson mtx_lock_spin(&td_contested_lock); 978961a7b24SJohn Baldwin /* 979961a7b24SJohn Baldwin * Remove the turnstile from this thread's list of contested locks 980961a7b24SJohn Baldwin * since this thread doesn't own it anymore. New threads will 981961a7b24SJohn Baldwin * not be blocking on the turnstile until it is claimed by a new 9827aa4f685SJohn Baldwin * owner. There might not be a current owner if this is a shared 9837aa4f685SJohn Baldwin * lock. 984961a7b24SJohn Baldwin */ 9857aa4f685SJohn Baldwin if (ts->ts_owner != NULL) { 986961a7b24SJohn Baldwin ts->ts_owner = NULL; 987961a7b24SJohn Baldwin LIST_REMOVE(ts, ts_link); 9887aa4f685SJohn Baldwin } 989a9fd669bSKonstantin Belousov pri = turnstile_calc_unlend_prio_locked(td); 990961a7b24SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 991f5c157d9SJohn Baldwin sched_unlend_prio(td, pri); 9922502c107SJeff Roberson thread_unlock(td); 993961a7b24SJohn Baldwin /* 994961a7b24SJohn Baldwin * Wake up all the pending threads. If a thread is not blocked 995961a7b24SJohn Baldwin * on a lock, then it is currently executing on another CPU in 99667ba8678SJohn Baldwin * turnstile_wait() or sitting on a run queue waiting to resume 99767ba8678SJohn Baldwin * in turnstile_wait(). Set a flag to force it to try to acquire 998961a7b24SJohn Baldwin * the lock again instead of blocking. 999961a7b24SJohn Baldwin */ 1000961a7b24SJohn Baldwin while (!TAILQ_EMPTY(&pending_threads)) { 1001961a7b24SJohn Baldwin td = TAILQ_FIRST(&pending_threads); 1002961a7b24SJohn Baldwin TAILQ_REMOVE(&pending_threads, td, td_lockq); 1003b3e9e682SRyan Stone SDT_PROBE2(sched, , , wakeup, td, td->td_proc); 100461a74c5cSJeff Roberson thread_lock_block_wait(td); 1005626ac252SJeff Roberson THREAD_LOCKPTR_ASSERT(td, &ts->ts_lock); 1006961a7b24SJohn Baldwin MPASS(td->td_proc->p_magic == P_MAGIC); 10072502c107SJeff Roberson MPASS(TD_ON_LOCK(td)); 10082502c107SJeff Roberson TD_CLR_LOCK(td); 10092502c107SJeff Roberson MPASS(TD_CAN_RUN(td)); 1010961a7b24SJohn Baldwin td->td_blocked = NULL; 1011961a7b24SJohn Baldwin td->td_lockname = NULL; 1012f7829d0dSAttilio Rao td->td_blktick = 0; 10137aa4f685SJohn Baldwin #ifdef INVARIANTS 10147aa4f685SJohn Baldwin td->td_tsqueue = 0xff; 10157aa4f685SJohn Baldwin #endif 101661a74c5cSJeff Roberson sched_add(td, SRQ_HOLD | SRQ_BORING); 1017961a7b24SJohn Baldwin } 10182502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 10199ed346baSBosko Milekic } 10209ed346baSBosko Milekic 10219ed346baSBosko Milekic /* 1022f1a4b852SJohn Baldwin * Give up ownership of a turnstile. This must be called with the 1023f1a4b852SJohn Baldwin * turnstile chain locked. 1024f1a4b852SJohn Baldwin */ 1025f1a4b852SJohn Baldwin void 1026f1a4b852SJohn Baldwin turnstile_disown(struct turnstile *ts) 1027f1a4b852SJohn Baldwin { 1028f1a4b852SJohn Baldwin struct thread *td; 1029a9fd669bSKonstantin Belousov u_char pri; 1030f1a4b852SJohn Baldwin 1031f1a4b852SJohn Baldwin MPASS(ts != NULL); 10322502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 1033f1a4b852SJohn Baldwin MPASS(ts->ts_owner == curthread); 1034f1a4b852SJohn Baldwin MPASS(TAILQ_EMPTY(&ts->ts_pending)); 1035f1a4b852SJohn Baldwin MPASS(!TAILQ_EMPTY(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE]) || 1036f1a4b852SJohn Baldwin !TAILQ_EMPTY(&ts->ts_blocked[TS_SHARED_QUEUE])); 1037f1a4b852SJohn Baldwin 1038f1a4b852SJohn Baldwin /* 1039f1a4b852SJohn Baldwin * Remove the turnstile from this thread's list of contested locks 1040f1a4b852SJohn Baldwin * since this thread doesn't own it anymore. New threads will 1041f1a4b852SJohn Baldwin * not be blocking on the turnstile until it is claimed by a new 1042f1a4b852SJohn Baldwin * owner. 1043f1a4b852SJohn Baldwin */ 1044f1a4b852SJohn Baldwin mtx_lock_spin(&td_contested_lock); 1045f1a4b852SJohn Baldwin ts->ts_owner = NULL; 1046f1a4b852SJohn Baldwin LIST_REMOVE(ts, ts_link); 1047f1a4b852SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 1048f1a4b852SJohn Baldwin 1049f1a4b852SJohn Baldwin /* 1050f1a4b852SJohn Baldwin * Adjust the priority of curthread based on other contested 1051f1a4b852SJohn Baldwin * locks it owns. Don't lower the priority below the base 1052f1a4b852SJohn Baldwin * priority however. 1053f1a4b852SJohn Baldwin */ 1054f1a4b852SJohn Baldwin td = curthread; 10552502c107SJeff Roberson thread_lock(td); 10562502c107SJeff Roberson mtx_unlock_spin(&ts->ts_lock); 1057f1a4b852SJohn Baldwin mtx_lock_spin(&td_contested_lock); 1058a9fd669bSKonstantin Belousov pri = turnstile_calc_unlend_prio_locked(td); 1059f1a4b852SJohn Baldwin mtx_unlock_spin(&td_contested_lock); 1060f1a4b852SJohn Baldwin sched_unlend_prio(td, pri); 10612502c107SJeff Roberson thread_unlock(td); 1062f1a4b852SJohn Baldwin } 1063f1a4b852SJohn Baldwin 1064f1a4b852SJohn Baldwin /* 1065961a7b24SJohn Baldwin * Return the first thread in a turnstile. 10669ed346baSBosko Milekic */ 1067961a7b24SJohn Baldwin struct thread * 10687aa4f685SJohn Baldwin turnstile_head(struct turnstile *ts, int queue) 10690cde2e34SJason Evans { 1070961a7b24SJohn Baldwin #ifdef INVARIANTS 10715cb0fbe4SJohn Baldwin 1072961a7b24SJohn Baldwin MPASS(ts != NULL); 10737aa4f685SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 10742502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 10750cde2e34SJason Evans #endif 10767aa4f685SJohn Baldwin return (TAILQ_FIRST(&ts->ts_blocked[queue])); 1077961a7b24SJohn Baldwin } 10787aa4f685SJohn Baldwin 1079f1a4b852SJohn Baldwin /* 1080f1a4b852SJohn Baldwin * Returns true if a sub-queue of a turnstile is empty. 1081f1a4b852SJohn Baldwin */ 1082f1a4b852SJohn Baldwin int 1083f1a4b852SJohn Baldwin turnstile_empty(struct turnstile *ts, int queue) 1084f1a4b852SJohn Baldwin { 1085f1a4b852SJohn Baldwin #ifdef INVARIANTS 1086f1a4b852SJohn Baldwin 1087f1a4b852SJohn Baldwin MPASS(ts != NULL); 1088f1a4b852SJohn Baldwin MPASS(queue == TS_SHARED_QUEUE || queue == TS_EXCLUSIVE_QUEUE); 10892502c107SJeff Roberson mtx_assert(&ts->ts_lock, MA_OWNED); 1090f1a4b852SJohn Baldwin #endif 1091f1a4b852SJohn Baldwin return (TAILQ_EMPTY(&ts->ts_blocked[queue])); 1092f1a4b852SJohn Baldwin } 1093f1a4b852SJohn Baldwin 10947aa4f685SJohn Baldwin #ifdef DDB 10957aa4f685SJohn Baldwin static void 10967aa4f685SJohn Baldwin print_thread(struct thread *td, const char *prefix) 10977aa4f685SJohn Baldwin { 10987aa4f685SJohn Baldwin 10997aa4f685SJohn Baldwin db_printf("%s%p (tid %d, pid %d, \"%s\")\n", prefix, td, td->td_tid, 110086a448c3SKonstantin Belousov td->td_proc->p_pid, td->td_name); 11017aa4f685SJohn Baldwin } 11027aa4f685SJohn Baldwin 11037aa4f685SJohn Baldwin static void 11047aa4f685SJohn Baldwin print_queue(struct threadqueue *queue, const char *header, const char *prefix) 11057aa4f685SJohn Baldwin { 11067aa4f685SJohn Baldwin struct thread *td; 11077aa4f685SJohn Baldwin 11087aa4f685SJohn Baldwin db_printf("%s:\n", header); 11097aa4f685SJohn Baldwin if (TAILQ_EMPTY(queue)) { 11107aa4f685SJohn Baldwin db_printf("%sempty\n", prefix); 11117aa4f685SJohn Baldwin return; 11127aa4f685SJohn Baldwin } 11137aa4f685SJohn Baldwin TAILQ_FOREACH(td, queue, td_lockq) { 11147aa4f685SJohn Baldwin print_thread(td, prefix); 11157aa4f685SJohn Baldwin } 11167aa4f685SJohn Baldwin } 11177aa4f685SJohn Baldwin 11187aa4f685SJohn Baldwin DB_SHOW_COMMAND(turnstile, db_show_turnstile) 11197aa4f685SJohn Baldwin { 11207aa4f685SJohn Baldwin struct turnstile_chain *tc; 11217aa4f685SJohn Baldwin struct turnstile *ts; 11227aa4f685SJohn Baldwin struct lock_object *lock; 11237aa4f685SJohn Baldwin int i; 11247aa4f685SJohn Baldwin 11257aa4f685SJohn Baldwin if (!have_addr) 11267aa4f685SJohn Baldwin return; 11277aa4f685SJohn Baldwin 11287aa4f685SJohn Baldwin /* 11297aa4f685SJohn Baldwin * First, see if there is an active turnstile for the lock indicated 11307aa4f685SJohn Baldwin * by the address. 11317aa4f685SJohn Baldwin */ 11327aa4f685SJohn Baldwin lock = (struct lock_object *)addr; 11337aa4f685SJohn Baldwin tc = TC_LOOKUP(lock); 11347aa4f685SJohn Baldwin LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash) 11357aa4f685SJohn Baldwin if (ts->ts_lockobj == lock) 11367aa4f685SJohn Baldwin goto found; 11377aa4f685SJohn Baldwin 11387aa4f685SJohn Baldwin /* 11397aa4f685SJohn Baldwin * Second, see if there is an active turnstile at the address 11407aa4f685SJohn Baldwin * indicated. 11417aa4f685SJohn Baldwin */ 11427aa4f685SJohn Baldwin for (i = 0; i < TC_TABLESIZE; i++) 11437aa4f685SJohn Baldwin LIST_FOREACH(ts, &turnstile_chains[i].tc_turnstiles, ts_hash) { 11447aa4f685SJohn Baldwin if (ts == (struct turnstile *)addr) 11457aa4f685SJohn Baldwin goto found; 11467aa4f685SJohn Baldwin } 11477aa4f685SJohn Baldwin 11487aa4f685SJohn Baldwin db_printf("Unable to locate a turnstile via %p\n", (void *)addr); 11497aa4f685SJohn Baldwin return; 11507aa4f685SJohn Baldwin found: 11517aa4f685SJohn Baldwin lock = ts->ts_lockobj; 11527aa4f685SJohn Baldwin db_printf("Lock: %p - (%s) %s\n", lock, LOCK_CLASS(lock)->lc_name, 11537aa4f685SJohn Baldwin lock->lo_name); 11547aa4f685SJohn Baldwin if (ts->ts_owner) 11557aa4f685SJohn Baldwin print_thread(ts->ts_owner, "Lock Owner: "); 11567aa4f685SJohn Baldwin else 11577aa4f685SJohn Baldwin db_printf("Lock Owner: none\n"); 11587aa4f685SJohn Baldwin print_queue(&ts->ts_blocked[TS_SHARED_QUEUE], "Shared Waiters", "\t"); 11597aa4f685SJohn Baldwin print_queue(&ts->ts_blocked[TS_EXCLUSIVE_QUEUE], "Exclusive Waiters", 11607aa4f685SJohn Baldwin "\t"); 11617aa4f685SJohn Baldwin print_queue(&ts->ts_pending, "Pending Threads", "\t"); 11627aa4f685SJohn Baldwin 11637aa4f685SJohn Baldwin } 1164ae110b53SJohn Baldwin 116577e66268SJohn Baldwin /* 116677e66268SJohn Baldwin * Show all the threads a particular thread is waiting on based on 11670c1d923eSConrad Meyer * non-spin locks. 116877e66268SJohn Baldwin */ 1169ae110b53SJohn Baldwin static void 117077e66268SJohn Baldwin print_lockchain(struct thread *td, const char *prefix) 1171ae110b53SJohn Baldwin { 1172ae110b53SJohn Baldwin struct lock_object *lock; 1173ae110b53SJohn Baldwin struct lock_class *class; 1174ae110b53SJohn Baldwin struct turnstile *ts; 11750c1d923eSConrad Meyer struct thread *owner; 1176ae110b53SJohn Baldwin 1177ae110b53SJohn Baldwin /* 1178ae110b53SJohn Baldwin * Follow the chain. We keep walking as long as the thread is 11790c1d923eSConrad Meyer * blocked on a lock that has an owner. 1180ae110b53SJohn Baldwin */ 1181fed79884SJohn Baldwin while (!db_pager_quit) { 11821e9ee2b5SConrad Meyer if (td == (void *)LK_KERNPROC) { 11831e9ee2b5SConrad Meyer db_printf("%sdisowned (LK_KERNPROC)\n", prefix); 11841e9ee2b5SConrad Meyer return; 11851e9ee2b5SConrad Meyer } 11861e9ee2b5SConrad Meyer db_printf("%sthread %d (pid %d, %s) is ", prefix, td->td_tid, 118786a448c3SKonstantin Belousov td->td_proc->p_pid, td->td_name); 1188*fa2528acSAlex Richardson switch (TD_GET_STATE(td)) { 1189ae110b53SJohn Baldwin case TDS_INACTIVE: 11901e9ee2b5SConrad Meyer db_printf("inactive\n"); 1191ae110b53SJohn Baldwin return; 1192ae110b53SJohn Baldwin case TDS_CAN_RUN: 11931e9ee2b5SConrad Meyer db_printf("runnable\n"); 1194ae110b53SJohn Baldwin return; 1195ae110b53SJohn Baldwin case TDS_RUNQ: 11961e9ee2b5SConrad Meyer db_printf("on a run queue\n"); 1197ae110b53SJohn Baldwin return; 1198ae110b53SJohn Baldwin case TDS_RUNNING: 1199ae110b53SJohn Baldwin db_printf("running on CPU %d\n", td->td_oncpu); 1200ae110b53SJohn Baldwin return; 1201ae110b53SJohn Baldwin case TDS_INHIBITED: 1202ae110b53SJohn Baldwin if (TD_ON_LOCK(td)) { 1203ae110b53SJohn Baldwin ts = td->td_blocked; 1204ae110b53SJohn Baldwin lock = ts->ts_lockobj; 1205ae110b53SJohn Baldwin class = LOCK_CLASS(lock); 1206ae110b53SJohn Baldwin db_printf("blocked on lock %p (%s) \"%s\"\n", 1207ae110b53SJohn Baldwin lock, class->lc_name, lock->lo_name); 1208ae110b53SJohn Baldwin if (ts->ts_owner == NULL) 1209ae110b53SJohn Baldwin return; 1210ae110b53SJohn Baldwin td = ts->ts_owner; 1211ae110b53SJohn Baldwin break; 12120c1d923eSConrad Meyer } else if (TD_ON_SLEEPQ(td)) { 12130c1d923eSConrad Meyer if (!lockmgr_chain(td, &owner) && 12140c1d923eSConrad Meyer !sx_chain(td, &owner)) { 12150c1d923eSConrad Meyer db_printf("sleeping on %p \"%s\"\n", 12160c1d923eSConrad Meyer td->td_wchan, td->td_wmesg); 12170c1d923eSConrad Meyer return; 12180c1d923eSConrad Meyer } 12190c1d923eSConrad Meyer if (owner == NULL) 12200c1d923eSConrad Meyer return; 12210c1d923eSConrad Meyer td = owner; 12220c1d923eSConrad Meyer break; 1223ae110b53SJohn Baldwin } 12241e9ee2b5SConrad Meyer db_printf("inhibited: %s\n", KTDSTATE(td)); 1225ae110b53SJohn Baldwin return; 1226ae110b53SJohn Baldwin default: 1227*fa2528acSAlex Richardson db_printf("??? (%#x)\n", TD_GET_STATE(td)); 1228ae110b53SJohn Baldwin return; 1229ae110b53SJohn Baldwin } 1230ae110b53SJohn Baldwin } 1231ae110b53SJohn Baldwin } 1232ae110b53SJohn Baldwin 123377e66268SJohn Baldwin DB_SHOW_COMMAND(lockchain, db_show_lockchain) 1234ae110b53SJohn Baldwin { 1235ae110b53SJohn Baldwin struct thread *td; 1236ae110b53SJohn Baldwin 1237ae110b53SJohn Baldwin /* Figure out which thread to start with. */ 1238ae110b53SJohn Baldwin if (have_addr) 1239cd508278SPedro F. Giffuni td = db_lookup_thread(addr, true); 1240ae110b53SJohn Baldwin else 1241ae110b53SJohn Baldwin td = kdb_thread; 1242ae110b53SJohn Baldwin 124377e66268SJohn Baldwin print_lockchain(td, ""); 1244ae110b53SJohn Baldwin } 12450c1d923eSConrad Meyer DB_SHOW_ALIAS(sleepchain, db_show_lockchain); 1246ae110b53SJohn Baldwin 124739297ba4SSam Leffler DB_SHOW_ALL_COMMAND(chains, db_show_allchains) 1248ae110b53SJohn Baldwin { 1249ae110b53SJohn Baldwin struct thread *td; 1250ae110b53SJohn Baldwin struct proc *p; 1251ae110b53SJohn Baldwin int i; 1252ae110b53SJohn Baldwin 1253ae110b53SJohn Baldwin i = 1; 12544f506694SXin LI FOREACH_PROC_IN_SYSTEM(p) { 1255ae110b53SJohn Baldwin FOREACH_THREAD_IN_PROC(p, td) { 12560c1d923eSConrad Meyer if ((TD_ON_LOCK(td) && LIST_EMPTY(&td->td_contested)) 12570c1d923eSConrad Meyer || (TD_IS_INHIBITED(td) && TD_ON_SLEEPQ(td))) { 1258ae110b53SJohn Baldwin db_printf("chain %d:\n", i++); 125977e66268SJohn Baldwin print_lockchain(td, " "); 1260ae110b53SJohn Baldwin } 1261fed79884SJohn Baldwin if (db_pager_quit) 1262fed79884SJohn Baldwin return; 1263ae110b53SJohn Baldwin } 1264ae110b53SJohn Baldwin } 1265ae110b53SJohn Baldwin } 126639297ba4SSam Leffler DB_SHOW_ALIAS(allchains, db_show_allchains) 1267ae110b53SJohn Baldwin 1268ae110b53SJohn Baldwin static void print_waiters(struct turnstile *ts, int indent); 1269ae110b53SJohn Baldwin 1270ae110b53SJohn Baldwin static void 1271ae110b53SJohn Baldwin print_waiter(struct thread *td, int indent) 1272ae110b53SJohn Baldwin { 1273ae110b53SJohn Baldwin struct turnstile *ts; 1274ae110b53SJohn Baldwin int i; 1275ae110b53SJohn Baldwin 1276fed79884SJohn Baldwin if (db_pager_quit) 1277fed79884SJohn Baldwin return; 1278ae110b53SJohn Baldwin for (i = 0; i < indent; i++) 1279ae110b53SJohn Baldwin db_printf(" "); 1280ae110b53SJohn Baldwin print_thread(td, "thread "); 1281ae110b53SJohn Baldwin LIST_FOREACH(ts, &td->td_contested, ts_link) 1282ae110b53SJohn Baldwin print_waiters(ts, indent + 1); 1283ae110b53SJohn Baldwin } 1284ae110b53SJohn Baldwin 1285ae110b53SJohn Baldwin static void 1286ae110b53SJohn Baldwin print_waiters(struct turnstile *ts, int indent) 1287ae110b53SJohn Baldwin { 1288ae110b53SJohn Baldwin struct lock_object *lock; 1289ae110b53SJohn Baldwin struct lock_class *class; 1290ae110b53SJohn Baldwin struct thread *td; 1291ae110b53SJohn Baldwin int i; 1292ae110b53SJohn Baldwin 1293fed79884SJohn Baldwin if (db_pager_quit) 1294fed79884SJohn Baldwin return; 1295ae110b53SJohn Baldwin lock = ts->ts_lockobj; 1296ae110b53SJohn Baldwin class = LOCK_CLASS(lock); 1297ae110b53SJohn Baldwin for (i = 0; i < indent; i++) 1298ae110b53SJohn Baldwin db_printf(" "); 1299ae110b53SJohn Baldwin db_printf("lock %p (%s) \"%s\"\n", lock, class->lc_name, lock->lo_name); 1300ae110b53SJohn Baldwin TAILQ_FOREACH(td, &ts->ts_blocked[TS_EXCLUSIVE_QUEUE], td_lockq) 1301ae110b53SJohn Baldwin print_waiter(td, indent + 1); 1302ae110b53SJohn Baldwin TAILQ_FOREACH(td, &ts->ts_blocked[TS_SHARED_QUEUE], td_lockq) 1303ae110b53SJohn Baldwin print_waiter(td, indent + 1); 1304ae110b53SJohn Baldwin TAILQ_FOREACH(td, &ts->ts_pending, td_lockq) 1305ae110b53SJohn Baldwin print_waiter(td, indent + 1); 1306ae110b53SJohn Baldwin } 1307ae110b53SJohn Baldwin 130877e66268SJohn Baldwin DB_SHOW_COMMAND(locktree, db_show_locktree) 1309ae110b53SJohn Baldwin { 1310ae110b53SJohn Baldwin struct lock_object *lock; 1311ae110b53SJohn Baldwin struct lock_class *class; 1312ae110b53SJohn Baldwin struct turnstile_chain *tc; 1313ae110b53SJohn Baldwin struct turnstile *ts; 1314ae110b53SJohn Baldwin 1315ae110b53SJohn Baldwin if (!have_addr) 1316ae110b53SJohn Baldwin return; 1317ae110b53SJohn Baldwin lock = (struct lock_object *)addr; 1318ae110b53SJohn Baldwin tc = TC_LOOKUP(lock); 1319ae110b53SJohn Baldwin LIST_FOREACH(ts, &tc->tc_turnstiles, ts_hash) 1320ae110b53SJohn Baldwin if (ts->ts_lockobj == lock) 1321ae110b53SJohn Baldwin break; 1322ae110b53SJohn Baldwin if (ts == NULL) { 1323ae110b53SJohn Baldwin class = LOCK_CLASS(lock); 1324ae110b53SJohn Baldwin db_printf("lock %p (%s) \"%s\"\n", lock, class->lc_name, 1325ae110b53SJohn Baldwin lock->lo_name); 1326ae110b53SJohn Baldwin } else 1327ae110b53SJohn Baldwin print_waiters(ts, 0); 1328ae110b53SJohn Baldwin } 13297aa4f685SJohn Baldwin #endif 1330