1238510fcSJason Evans /*- 2238510fcSJason Evans * Copyright (c) 2000 Jake Burkholder <jake@freebsd.org>. 3238510fcSJason Evans * All rights reserved. 4238510fcSJason Evans * 5238510fcSJason Evans * Redistribution and use in source and binary forms, with or without 6238510fcSJason Evans * modification, are permitted provided that the following conditions 7238510fcSJason Evans * are met: 8238510fcSJason Evans * 1. Redistributions of source code must retain the above copyright 9238510fcSJason Evans * notice, this list of conditions and the following disclaimer. 10238510fcSJason Evans * 2. Redistributions in binary form must reproduce the above copyright 11238510fcSJason Evans * notice, this list of conditions and the following disclaimer in the 12238510fcSJason Evans * documentation and/or other materials provided with the distribution. 13238510fcSJason Evans * 14238510fcSJason Evans * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 15238510fcSJason Evans * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 16238510fcSJason Evans * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 17238510fcSJason Evans * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 18238510fcSJason Evans * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 19238510fcSJason Evans * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 20238510fcSJason Evans * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 21238510fcSJason Evans * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 22238510fcSJason Evans * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 23238510fcSJason Evans * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 24238510fcSJason Evans * SUCH DAMAGE. 25238510fcSJason Evans */ 26238510fcSJason Evans 27677b542eSDavid E. O'Brien #include <sys/cdefs.h> 28677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$"); 29677b542eSDavid E. O'Brien 30238510fcSJason Evans #include "opt_ktrace.h" 31238510fcSJason Evans 32238510fcSJason Evans #include <sys/param.h> 33238510fcSJason Evans #include <sys/systm.h> 34fb919e4dSMark Murray #include <sys/lock.h> 35fb919e4dSMark Murray #include <sys/mutex.h> 36238510fcSJason Evans #include <sys/proc.h> 37238510fcSJason Evans #include <sys/kernel.h> 38238510fcSJason Evans #include <sys/ktr.h> 39238510fcSJason Evans #include <sys/condvar.h> 404e997f4bSJeff Roberson #include <sys/sched.h> 41238510fcSJason Evans #include <sys/signalvar.h> 42238510fcSJason Evans #include <sys/resourcevar.h> 43238510fcSJason Evans #ifdef KTRACE 44238510fcSJason Evans #include <sys/uio.h> 45238510fcSJason Evans #include <sys/ktrace.h> 46238510fcSJason Evans #endif 47238510fcSJason Evans 48238510fcSJason Evans /* 49238510fcSJason Evans * Common sanity checks for cv_wait* functions. 50238510fcSJason Evans */ 51b40ce416SJulian Elischer #define CV_ASSERT(cvp, mp, td) do { \ 52a48740b6SDavid E. O'Brien KASSERT((td) != NULL, ("%s: curthread NULL", __func__)); \ 5371fad9fdSJulian Elischer KASSERT(TD_IS_RUNNING(td), ("%s: not TDS_RUNNING", __func__)); \ 54a48740b6SDavid E. O'Brien KASSERT((cvp) != NULL, ("%s: cvp NULL", __func__)); \ 55a48740b6SDavid E. O'Brien KASSERT((mp) != NULL, ("%s: mp NULL", __func__)); \ 56238510fcSJason Evans mtx_assert((mp), MA_OWNED | MA_NOTRECURSED); \ 57238510fcSJason Evans } while (0) 58238510fcSJason Evans 59e7876c09SDan Moschuk #ifdef INVARIANTS 60238510fcSJason Evans #define CV_WAIT_VALIDATE(cvp, mp) do { \ 61238510fcSJason Evans if (TAILQ_EMPTY(&(cvp)->cv_waitq)) { \ 62238510fcSJason Evans /* Only waiter. */ \ 63238510fcSJason Evans (cvp)->cv_mtx = (mp); \ 64238510fcSJason Evans } else { \ 65238510fcSJason Evans /* \ 66238510fcSJason Evans * Other waiter; assert that we're using the \ 67238510fcSJason Evans * same mutex. \ 68238510fcSJason Evans */ \ 69238510fcSJason Evans KASSERT((cvp)->cv_mtx == (mp), \ 70a48740b6SDavid E. O'Brien ("%s: Multiple mutexes", __func__)); \ 71238510fcSJason Evans } \ 72238510fcSJason Evans } while (0) 7371fad9fdSJulian Elischer 74238510fcSJason Evans #define CV_SIGNAL_VALIDATE(cvp) do { \ 75238510fcSJason Evans if (!TAILQ_EMPTY(&(cvp)->cv_waitq)) { \ 76238510fcSJason Evans KASSERT(mtx_owned((cvp)->cv_mtx), \ 77a48740b6SDavid E. O'Brien ("%s: Mutex not owned", __func__)); \ 78238510fcSJason Evans } \ 79238510fcSJason Evans } while (0) 8071fad9fdSJulian Elischer 81238510fcSJason Evans #else 82238510fcSJason Evans #define CV_WAIT_VALIDATE(cvp, mp) 83238510fcSJason Evans #define CV_SIGNAL_VALIDATE(cvp) 84238510fcSJason Evans #endif 85238510fcSJason Evans 86238510fcSJason Evans static void cv_timedwait_end(void *arg); 87238510fcSJason Evans 88238510fcSJason Evans /* 89238510fcSJason Evans * Initialize a condition variable. Must be called before use. 90238510fcSJason Evans */ 91238510fcSJason Evans void 92238510fcSJason Evans cv_init(struct cv *cvp, const char *desc) 93238510fcSJason Evans { 94238510fcSJason Evans 95238510fcSJason Evans TAILQ_INIT(&cvp->cv_waitq); 96238510fcSJason Evans cvp->cv_mtx = NULL; 97238510fcSJason Evans cvp->cv_description = desc; 98238510fcSJason Evans } 99238510fcSJason Evans 100238510fcSJason Evans /* 101238510fcSJason Evans * Destroy a condition variable. The condition variable must be re-initialized 102238510fcSJason Evans * in order to be re-used. 103238510fcSJason Evans */ 104238510fcSJason Evans void 105238510fcSJason Evans cv_destroy(struct cv *cvp) 106238510fcSJason Evans { 107238510fcSJason Evans 108a48740b6SDavid E. O'Brien KASSERT(cv_waitq_empty(cvp), ("%s: cv_waitq non-empty", __func__)); 109238510fcSJason Evans } 110238510fcSJason Evans 111238510fcSJason Evans /* 112238510fcSJason Evans * Common code for cv_wait* functions. All require sched_lock. 113238510fcSJason Evans */ 114238510fcSJason Evans 115238510fcSJason Evans /* 1169d102777SJulian Elischer * Switch context. 117e602ba25SJulian Elischer */ 1189d102777SJulian Elischer static __inline void 1199d102777SJulian Elischer cv_switch(struct thread *td) 120e602ba25SJulian Elischer { 12171fad9fdSJulian Elischer TD_SET_SLEEPING(td); 12271fad9fdSJulian Elischer td->td_proc->p_stats->p_ru.ru_nvcsw++; 123238510fcSJason Evans mi_switch(); 1249ef3a985SJohn Baldwin CTR3(KTR_PROC, "cv_switch: resume thread %p (pid %d, %s)", td, 1259ef3a985SJohn Baldwin td->td_proc->p_pid, td->td_proc->p_comm); 126238510fcSJason Evans } 127238510fcSJason Evans 128238510fcSJason Evans /* 129238510fcSJason Evans * Switch context, catching signals. 130238510fcSJason Evans */ 131238510fcSJason Evans static __inline int 132b40ce416SJulian Elischer cv_switch_catch(struct thread *td) 133238510fcSJason Evans { 1349ef3a985SJohn Baldwin struct proc *p; 135238510fcSJason Evans int sig; 136238510fcSJason Evans 137238510fcSJason Evans /* 138238510fcSJason Evans * We put ourselves on the sleep queue and start our timeout before 139628855e7SJulian Elischer * calling cursig, as we could stop there, and a wakeup or a SIGCONT (or 140238510fcSJason Evans * both) could occur while we were stopped. A SIGCONT would cause us to 141e602ba25SJulian Elischer * be marked as TDS_SLP without resuming us, thus we must be ready for 142628855e7SJulian Elischer * sleep when cursig is called. If the wakeup happens while we're 14371fad9fdSJulian Elischer * stopped, td->td_wchan will be 0 upon return from cursig, 14471fad9fdSJulian Elischer * and TD_ON_SLEEPQ() will return false. 145238510fcSJason Evans */ 146b40ce416SJulian Elischer td->td_flags |= TDF_SINTR; 1479ed346baSBosko Milekic mtx_unlock_spin(&sched_lock); 1489ef3a985SJohn Baldwin p = td->td_proc; 1499ef3a985SJohn Baldwin PROC_LOCK(p); 15090af4afaSJohn Baldwin mtx_lock(&p->p_sigacts->ps_mtx); 15171fad9fdSJulian Elischer sig = cursig(td); 15290af4afaSJohn Baldwin mtx_unlock(&p->p_sigacts->ps_mtx); 153e602ba25SJulian Elischer if (thread_suspend_check(1)) 154e602ba25SJulian Elischer sig = SIGSTOP; 1559ed346baSBosko Milekic mtx_lock_spin(&sched_lock); 156c86b6ff5SJohn Baldwin PROC_UNLOCK(p); 157238510fcSJason Evans if (sig != 0) { 15871fad9fdSJulian Elischer if (TD_ON_SLEEPQ(td)) 159b40ce416SJulian Elischer cv_waitq_remove(td); 16071fad9fdSJulian Elischer TD_SET_RUNNING(td); 16171fad9fdSJulian Elischer } else if (TD_ON_SLEEPQ(td)) { 162b40ce416SJulian Elischer cv_switch(td); 163238510fcSJason Evans } 164b40ce416SJulian Elischer td->td_flags &= ~TDF_SINTR; 165238510fcSJason Evans 166238510fcSJason Evans return sig; 167238510fcSJason Evans } 168238510fcSJason Evans 169238510fcSJason Evans /* 170b40ce416SJulian Elischer * Add a thread to the wait queue of a condition variable. 171238510fcSJason Evans */ 172238510fcSJason Evans static __inline void 173b40ce416SJulian Elischer cv_waitq_add(struct cv *cvp, struct thread *td) 174238510fcSJason Evans { 175238510fcSJason Evans 176b40ce416SJulian Elischer td->td_flags |= TDF_CVWAITQ; 17771fad9fdSJulian Elischer TD_SET_ON_SLEEPQ(td); 178b40ce416SJulian Elischer td->td_wchan = cvp; 179b40ce416SJulian Elischer td->td_wmesg = cvp->cv_description; 180b40ce416SJulian Elischer CTR3(KTR_PROC, "cv_waitq_add: thread %p (pid %d, %s)", td, 1819ef3a985SJohn Baldwin td->td_proc->p_pid, td->td_proc->p_comm); 182b40ce416SJulian Elischer TAILQ_INSERT_TAIL(&cvp->cv_waitq, td, td_slpq); 1834e997f4bSJeff Roberson sched_sleep(td, td->td_priority); 184238510fcSJason Evans } 185238510fcSJason Evans 186238510fcSJason Evans /* 187b40ce416SJulian Elischer * Wait on a condition variable. The current thread is placed on the condition 188238510fcSJason Evans * variable's wait queue and suspended. A cv_signal or cv_broadcast on the same 189b40ce416SJulian Elischer * condition variable will resume the thread. The mutex is released before 190238510fcSJason Evans * sleeping and will be held on return. It is recommended that the mutex be 191238510fcSJason Evans * held when cv_signal or cv_broadcast are called. 192238510fcSJason Evans */ 193238510fcSJason Evans void 194238510fcSJason Evans cv_wait(struct cv *cvp, struct mtx *mp) 195238510fcSJason Evans { 196b40ce416SJulian Elischer struct thread *td; 197238510fcSJason Evans WITNESS_SAVE_DECL(mp); 198238510fcSJason Evans 199b40ce416SJulian Elischer td = curthread; 200238510fcSJason Evans #ifdef KTRACE 2019ba7fe1bSJohn Baldwin if (KTRPOINT(td, KTR_CSW)) 2029ba7fe1bSJohn Baldwin ktrcsw(1, 0); 203238510fcSJason Evans #endif 204b40ce416SJulian Elischer CV_ASSERT(cvp, mp, td); 20526306795SJohn Baldwin WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, &mp->mtx_object, 20626306795SJohn Baldwin "Waiting on \"%s\"", cvp->cv_description); 20719284646SJohn Baldwin WITNESS_SAVE(&mp->mtx_object, mp); 208238510fcSJason Evans 209fe799533SAndrew Gallatin if (cold ) { 210238510fcSJason Evans /* 211fe799533SAndrew Gallatin * During autoconfiguration, just give interrupts 212fe799533SAndrew Gallatin * a chance, then just return. Don't run any other 213fe799533SAndrew Gallatin * thread or panic below, in case this is the idle 214fe799533SAndrew Gallatin * process and already asleep. 215238510fcSJason Evans */ 216238510fcSJason Evans return; 217238510fcSJason Evans } 2184bc37205SJeffrey Hsu 2194bc37205SJeffrey Hsu mtx_lock_spin(&sched_lock); 2204bc37205SJeffrey Hsu 221238510fcSJason Evans CV_WAIT_VALIDATE(cvp, mp); 222238510fcSJason Evans 223c86b6ff5SJohn Baldwin DROP_GIANT(); 224c86b6ff5SJohn Baldwin mtx_unlock(mp); 225238510fcSJason Evans 226b40ce416SJulian Elischer cv_waitq_add(cvp, td); 227b40ce416SJulian Elischer cv_switch(td); 228238510fcSJason Evans 2299ed346baSBosko Milekic mtx_unlock_spin(&sched_lock); 230238510fcSJason Evans #ifdef KTRACE 2319ba7fe1bSJohn Baldwin if (KTRPOINT(td, KTR_CSW)) 2329ba7fe1bSJohn Baldwin ktrcsw(0, 0); 233238510fcSJason Evans #endif 234238510fcSJason Evans PICKUP_GIANT(); 2359ed346baSBosko Milekic mtx_lock(mp); 23619284646SJohn Baldwin WITNESS_RESTORE(&mp->mtx_object, mp); 237238510fcSJason Evans } 238238510fcSJason Evans 239238510fcSJason Evans /* 240238510fcSJason Evans * Wait on a condition variable, allowing interruption by signals. Return 0 if 241b40ce416SJulian Elischer * the thread was resumed with cv_signal or cv_broadcast, EINTR or ERESTART if 242238510fcSJason Evans * a signal was caught. If ERESTART is returned the system call should be 243238510fcSJason Evans * restarted if possible. 244238510fcSJason Evans */ 245238510fcSJason Evans int 246238510fcSJason Evans cv_wait_sig(struct cv *cvp, struct mtx *mp) 247238510fcSJason Evans { 248b40ce416SJulian Elischer struct thread *td; 24966f769feSPeter Wemm struct proc *p; 250238510fcSJason Evans int rval; 251238510fcSJason Evans int sig; 252238510fcSJason Evans WITNESS_SAVE_DECL(mp); 253238510fcSJason Evans 254b40ce416SJulian Elischer td = curthread; 2559ef3a985SJohn Baldwin p = td->td_proc; 256238510fcSJason Evans rval = 0; 257238510fcSJason Evans #ifdef KTRACE 2589ba7fe1bSJohn Baldwin if (KTRPOINT(td, KTR_CSW)) 2599ba7fe1bSJohn Baldwin ktrcsw(1, 0); 260238510fcSJason Evans #endif 261b40ce416SJulian Elischer CV_ASSERT(cvp, mp, td); 26226306795SJohn Baldwin WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, &mp->mtx_object, 26326306795SJohn Baldwin "Waiting on \"%s\"", cvp->cv_description); 26419284646SJohn Baldwin WITNESS_SAVE(&mp->mtx_object, mp); 265238510fcSJason Evans 266238510fcSJason Evans if (cold || panicstr) { 267238510fcSJason Evans /* 268238510fcSJason Evans * After a panic, or during autoconfiguration, just give 269238510fcSJason Evans * interrupts a chance, then just return; don't run any other 270238510fcSJason Evans * procs or panic below, in case this is the idle process and 271238510fcSJason Evans * already asleep. 272238510fcSJason Evans */ 273238510fcSJason Evans return 0; 274238510fcSJason Evans } 2754bc37205SJeffrey Hsu 2764bc37205SJeffrey Hsu mtx_lock_spin(&sched_lock); 2774bc37205SJeffrey Hsu 278238510fcSJason Evans CV_WAIT_VALIDATE(cvp, mp); 279238510fcSJason Evans 280c86b6ff5SJohn Baldwin DROP_GIANT(); 281c86b6ff5SJohn Baldwin mtx_unlock(mp); 282238510fcSJason Evans 283b40ce416SJulian Elischer cv_waitq_add(cvp, td); 284b40ce416SJulian Elischer sig = cv_switch_catch(td); 285238510fcSJason Evans 2869ed346baSBosko Milekic mtx_unlock_spin(&sched_lock); 287238510fcSJason Evans 2889ef3a985SJohn Baldwin PROC_LOCK(p); 28990af4afaSJohn Baldwin mtx_lock(&p->p_sigacts->ps_mtx); 290238510fcSJason Evans if (sig == 0) 291e602ba25SJulian Elischer sig = cursig(td); /* XXXKSE */ 292238510fcSJason Evans if (sig != 0) { 2939ef3a985SJohn Baldwin if (SIGISMEMBER(p->p_sigacts->ps_sigintr, sig)) 294238510fcSJason Evans rval = EINTR; 295238510fcSJason Evans else 296238510fcSJason Evans rval = ERESTART; 297238510fcSJason Evans } 29890af4afaSJohn Baldwin mtx_unlock(&p->p_sigacts->ps_mtx); 299e602ba25SJulian Elischer if (p->p_flag & P_WEXIT) 300e602ba25SJulian Elischer rval = EINTR; 30153862173SJohn Baldwin PROC_UNLOCK(p); 302238510fcSJason Evans 303238510fcSJason Evans #ifdef KTRACE 3049ba7fe1bSJohn Baldwin if (KTRPOINT(td, KTR_CSW)) 3059ba7fe1bSJohn Baldwin ktrcsw(0, 0); 306238510fcSJason Evans #endif 3079ba7fe1bSJohn Baldwin PICKUP_GIANT(); 3089ed346baSBosko Milekic mtx_lock(mp); 30919284646SJohn Baldwin WITNESS_RESTORE(&mp->mtx_object, mp); 310238510fcSJason Evans 311238510fcSJason Evans return (rval); 312238510fcSJason Evans } 313238510fcSJason Evans 314238510fcSJason Evans /* 315238510fcSJason Evans * Wait on a condition variable for at most timo/hz seconds. Returns 0 if the 316238510fcSJason Evans * process was resumed by cv_signal or cv_broadcast, EWOULDBLOCK if the timeout 317238510fcSJason Evans * expires. 318238510fcSJason Evans */ 319238510fcSJason Evans int 320238510fcSJason Evans cv_timedwait(struct cv *cvp, struct mtx *mp, int timo) 321238510fcSJason Evans { 322b40ce416SJulian Elischer struct thread *td; 323238510fcSJason Evans int rval; 324238510fcSJason Evans WITNESS_SAVE_DECL(mp); 325238510fcSJason Evans 326b40ce416SJulian Elischer td = curthread; 327238510fcSJason Evans rval = 0; 328238510fcSJason Evans #ifdef KTRACE 3299ba7fe1bSJohn Baldwin if (KTRPOINT(td, KTR_CSW)) 3309ba7fe1bSJohn Baldwin ktrcsw(1, 0); 331238510fcSJason Evans #endif 332b40ce416SJulian Elischer CV_ASSERT(cvp, mp, td); 33326306795SJohn Baldwin WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, &mp->mtx_object, 33426306795SJohn Baldwin "Waiting on \"%s\"", cvp->cv_description); 33519284646SJohn Baldwin WITNESS_SAVE(&mp->mtx_object, mp); 336238510fcSJason Evans 337238510fcSJason Evans if (cold || panicstr) { 338238510fcSJason Evans /* 339238510fcSJason Evans * After a panic, or during autoconfiguration, just give 340238510fcSJason Evans * interrupts a chance, then just return; don't run any other 341b40ce416SJulian Elischer * thread or panic below, in case this is the idle process and 342238510fcSJason Evans * already asleep. 343238510fcSJason Evans */ 344238510fcSJason Evans return 0; 345238510fcSJason Evans } 3464bc37205SJeffrey Hsu 3474bc37205SJeffrey Hsu mtx_lock_spin(&sched_lock); 3484bc37205SJeffrey Hsu 349238510fcSJason Evans CV_WAIT_VALIDATE(cvp, mp); 350238510fcSJason Evans 351c86b6ff5SJohn Baldwin DROP_GIANT(); 352c86b6ff5SJohn Baldwin mtx_unlock(mp); 353238510fcSJason Evans 354b40ce416SJulian Elischer cv_waitq_add(cvp, td); 355b40ce416SJulian Elischer callout_reset(&td->td_slpcallout, timo, cv_timedwait_end, td); 356b40ce416SJulian Elischer cv_switch(td); 357238510fcSJason Evans 358b40ce416SJulian Elischer if (td->td_flags & TDF_TIMEOUT) { 359b40ce416SJulian Elischer td->td_flags &= ~TDF_TIMEOUT; 360238510fcSJason Evans rval = EWOULDBLOCK; 361b40ce416SJulian Elischer } else if (td->td_flags & TDF_TIMOFAIL) 362b40ce416SJulian Elischer td->td_flags &= ~TDF_TIMOFAIL; 363b40ce416SJulian Elischer else if (callout_stop(&td->td_slpcallout) == 0) { 36491a4536fSJohn Baldwin /* 36591a4536fSJohn Baldwin * Work around race with cv_timedwait_end similar to that 36691a4536fSJohn Baldwin * between msleep and endtsleep. 367d5cb7e14SJulian Elischer * Go back to sleep. 36891a4536fSJohn Baldwin */ 36971fad9fdSJulian Elischer TD_SET_SLEEPING(td); 370b40ce416SJulian Elischer td->td_proc->p_stats->p_ru.ru_nivcsw++; 37191a4536fSJohn Baldwin mi_switch(); 37271fad9fdSJulian Elischer td->td_flags &= ~TDF_TIMOFAIL; 37391a4536fSJohn Baldwin } 374238510fcSJason Evans 3759ed346baSBosko Milekic mtx_unlock_spin(&sched_lock); 376238510fcSJason Evans #ifdef KTRACE 3779ba7fe1bSJohn Baldwin if (KTRPOINT(td, KTR_CSW)) 3789ba7fe1bSJohn Baldwin ktrcsw(0, 0); 379238510fcSJason Evans #endif 380238510fcSJason Evans PICKUP_GIANT(); 3819ed346baSBosko Milekic mtx_lock(mp); 38219284646SJohn Baldwin WITNESS_RESTORE(&mp->mtx_object, mp); 383238510fcSJason Evans 384238510fcSJason Evans return (rval); 385238510fcSJason Evans } 386238510fcSJason Evans 387238510fcSJason Evans /* 388238510fcSJason Evans * Wait on a condition variable for at most timo/hz seconds, allowing 389b40ce416SJulian Elischer * interruption by signals. Returns 0 if the thread was resumed by cv_signal 390238510fcSJason Evans * or cv_broadcast, EWOULDBLOCK if the timeout expires, and EINTR or ERESTART if 391238510fcSJason Evans * a signal was caught. 392238510fcSJason Evans */ 393238510fcSJason Evans int 394238510fcSJason Evans cv_timedwait_sig(struct cv *cvp, struct mtx *mp, int timo) 395238510fcSJason Evans { 396b40ce416SJulian Elischer struct thread *td; 3979ef3a985SJohn Baldwin struct proc *p; 398238510fcSJason Evans int rval; 399238510fcSJason Evans int sig; 400238510fcSJason Evans WITNESS_SAVE_DECL(mp); 401238510fcSJason Evans 402b40ce416SJulian Elischer td = curthread; 4039ef3a985SJohn Baldwin p = td->td_proc; 404238510fcSJason Evans rval = 0; 405238510fcSJason Evans #ifdef KTRACE 4069ba7fe1bSJohn Baldwin if (KTRPOINT(td, KTR_CSW)) 4079ba7fe1bSJohn Baldwin ktrcsw(1, 0); 408238510fcSJason Evans #endif 409b40ce416SJulian Elischer CV_ASSERT(cvp, mp, td); 41026306795SJohn Baldwin WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, &mp->mtx_object, 41126306795SJohn Baldwin "Waiting on \"%s\"", cvp->cv_description); 41219284646SJohn Baldwin WITNESS_SAVE(&mp->mtx_object, mp); 413238510fcSJason Evans 414238510fcSJason Evans if (cold || panicstr) { 415238510fcSJason Evans /* 416238510fcSJason Evans * After a panic, or during autoconfiguration, just give 417238510fcSJason Evans * interrupts a chance, then just return; don't run any other 418b40ce416SJulian Elischer * thread or panic below, in case this is the idle process and 419238510fcSJason Evans * already asleep. 420238510fcSJason Evans */ 421238510fcSJason Evans return 0; 422238510fcSJason Evans } 4234bc37205SJeffrey Hsu 4244bc37205SJeffrey Hsu mtx_lock_spin(&sched_lock); 4254bc37205SJeffrey Hsu 426238510fcSJason Evans CV_WAIT_VALIDATE(cvp, mp); 427238510fcSJason Evans 428c86b6ff5SJohn Baldwin DROP_GIANT(); 429c86b6ff5SJohn Baldwin mtx_unlock(mp); 430238510fcSJason Evans 431b40ce416SJulian Elischer cv_waitq_add(cvp, td); 432b40ce416SJulian Elischer callout_reset(&td->td_slpcallout, timo, cv_timedwait_end, td); 433b40ce416SJulian Elischer sig = cv_switch_catch(td); 434238510fcSJason Evans 435b40ce416SJulian Elischer if (td->td_flags & TDF_TIMEOUT) { 436b40ce416SJulian Elischer td->td_flags &= ~TDF_TIMEOUT; 437238510fcSJason Evans rval = EWOULDBLOCK; 438b40ce416SJulian Elischer } else if (td->td_flags & TDF_TIMOFAIL) 439b40ce416SJulian Elischer td->td_flags &= ~TDF_TIMOFAIL; 440b40ce416SJulian Elischer else if (callout_stop(&td->td_slpcallout) == 0) { 44191a4536fSJohn Baldwin /* 44291a4536fSJohn Baldwin * Work around race with cv_timedwait_end similar to that 44391a4536fSJohn Baldwin * between msleep and endtsleep. 444d5cb7e14SJulian Elischer * Go back to sleep. 44591a4536fSJohn Baldwin */ 44671fad9fdSJulian Elischer TD_SET_SLEEPING(td); 447b40ce416SJulian Elischer td->td_proc->p_stats->p_ru.ru_nivcsw++; 44891a4536fSJohn Baldwin mi_switch(); 44971fad9fdSJulian Elischer td->td_flags &= ~TDF_TIMOFAIL; 45091a4536fSJohn Baldwin } 4519ed346baSBosko Milekic mtx_unlock_spin(&sched_lock); 452238510fcSJason Evans 4539ef3a985SJohn Baldwin PROC_LOCK(p); 45490af4afaSJohn Baldwin mtx_lock(&p->p_sigacts->ps_mtx); 455238510fcSJason Evans if (sig == 0) 456e602ba25SJulian Elischer sig = cursig(td); 457238510fcSJason Evans if (sig != 0) { 4589ef3a985SJohn Baldwin if (SIGISMEMBER(p->p_sigacts->ps_sigintr, sig)) 459238510fcSJason Evans rval = EINTR; 460238510fcSJason Evans else 461238510fcSJason Evans rval = ERESTART; 462238510fcSJason Evans } 46390af4afaSJohn Baldwin mtx_unlock(&p->p_sigacts->ps_mtx); 464e602ba25SJulian Elischer if (p->p_flag & P_WEXIT) 465e602ba25SJulian Elischer rval = EINTR; 46653862173SJohn Baldwin PROC_UNLOCK(p); 467e602ba25SJulian Elischer 468238510fcSJason Evans #ifdef KTRACE 4699ba7fe1bSJohn Baldwin if (KTRPOINT(td, KTR_CSW)) 4709ba7fe1bSJohn Baldwin ktrcsw(0, 0); 471238510fcSJason Evans #endif 4729ba7fe1bSJohn Baldwin PICKUP_GIANT(); 4739ed346baSBosko Milekic mtx_lock(mp); 47419284646SJohn Baldwin WITNESS_RESTORE(&mp->mtx_object, mp); 475238510fcSJason Evans 476238510fcSJason Evans return (rval); 477238510fcSJason Evans } 478238510fcSJason Evans 479238510fcSJason Evans /* 480238510fcSJason Evans * Common code for signal and broadcast. Assumes waitq is not empty. Must be 481238510fcSJason Evans * called with sched_lock held. 482238510fcSJason Evans */ 483238510fcSJason Evans static __inline void 484238510fcSJason Evans cv_wakeup(struct cv *cvp) 485238510fcSJason Evans { 486b40ce416SJulian Elischer struct thread *td; 487238510fcSJason Evans 488981808d1SJohn Baldwin mtx_assert(&sched_lock, MA_OWNED); 489b40ce416SJulian Elischer td = TAILQ_FIRST(&cvp->cv_waitq); 490a48740b6SDavid E. O'Brien KASSERT(td->td_wchan == cvp, ("%s: bogus wchan", __func__)); 491a48740b6SDavid E. O'Brien KASSERT(td->td_flags & TDF_CVWAITQ, ("%s: not on waitq", __func__)); 49271fad9fdSJulian Elischer cv_waitq_remove(td); 49371fad9fdSJulian Elischer TD_CLR_SLEEPING(td); 49471fad9fdSJulian Elischer setrunnable(td); 495238510fcSJason Evans } 496238510fcSJason Evans 497238510fcSJason Evans /* 498b40ce416SJulian Elischer * Signal a condition variable, wakes up one waiting thread. Will also wakeup 499238510fcSJason Evans * the swapper if the process is not in memory, so that it can bring the 500b40ce416SJulian Elischer * sleeping process in. Note that this may also result in additional threads 501238510fcSJason Evans * being made runnable. Should be called with the same mutex as was passed to 502238510fcSJason Evans * cv_wait held. 503238510fcSJason Evans */ 504238510fcSJason Evans void 505238510fcSJason Evans cv_signal(struct cv *cvp) 506238510fcSJason Evans { 507238510fcSJason Evans 508a48740b6SDavid E. O'Brien KASSERT(cvp != NULL, ("%s: cvp NULL", __func__)); 5099ed346baSBosko Milekic mtx_lock_spin(&sched_lock); 510238510fcSJason Evans if (!TAILQ_EMPTY(&cvp->cv_waitq)) { 511238510fcSJason Evans CV_SIGNAL_VALIDATE(cvp); 512238510fcSJason Evans cv_wakeup(cvp); 513238510fcSJason Evans } 5149ed346baSBosko Milekic mtx_unlock_spin(&sched_lock); 515238510fcSJason Evans } 516238510fcSJason Evans 517238510fcSJason Evans /* 518b40ce416SJulian Elischer * Broadcast a signal to a condition variable. Wakes up all waiting threads. 519238510fcSJason Evans * Should be called with the same mutex as was passed to cv_wait held. 520238510fcSJason Evans */ 521238510fcSJason Evans void 522238510fcSJason Evans cv_broadcast(struct cv *cvp) 523238510fcSJason Evans { 524238510fcSJason Evans 525a48740b6SDavid E. O'Brien KASSERT(cvp != NULL, ("%s: cvp NULL", __func__)); 5269ed346baSBosko Milekic mtx_lock_spin(&sched_lock); 527238510fcSJason Evans CV_SIGNAL_VALIDATE(cvp); 528238510fcSJason Evans while (!TAILQ_EMPTY(&cvp->cv_waitq)) 529238510fcSJason Evans cv_wakeup(cvp); 5309ed346baSBosko Milekic mtx_unlock_spin(&sched_lock); 531238510fcSJason Evans } 532238510fcSJason Evans 533238510fcSJason Evans /* 534b40ce416SJulian Elischer * Remove a thread from the wait queue of its condition variable. This may be 535238510fcSJason Evans * called externally. 536238510fcSJason Evans */ 537238510fcSJason Evans void 538b40ce416SJulian Elischer cv_waitq_remove(struct thread *td) 539238510fcSJason Evans { 540238510fcSJason Evans struct cv *cvp; 541238510fcSJason Evans 54271fad9fdSJulian Elischer mtx_assert(&sched_lock, MA_OWNED); 543b40ce416SJulian Elischer if ((cvp = td->td_wchan) != NULL && td->td_flags & TDF_CVWAITQ) { 544b40ce416SJulian Elischer TAILQ_REMOVE(&cvp->cv_waitq, td, td_slpq); 545b40ce416SJulian Elischer td->td_flags &= ~TDF_CVWAITQ; 546b89bc9e6SHartmut Brandt td->td_wmesg = NULL; 54771fad9fdSJulian Elischer TD_CLR_ON_SLEEPQ(td); 548238510fcSJason Evans } 549238510fcSJason Evans } 550238510fcSJason Evans 551238510fcSJason Evans /* 552b40ce416SJulian Elischer * Timeout function for cv_timedwait. Put the thread on the runqueue and set 553238510fcSJason Evans * its timeout flag. 554238510fcSJason Evans */ 555238510fcSJason Evans static void 556238510fcSJason Evans cv_timedwait_end(void *arg) 557238510fcSJason Evans { 558b40ce416SJulian Elischer struct thread *td; 559238510fcSJason Evans 560b40ce416SJulian Elischer td = arg; 56171fad9fdSJulian Elischer CTR3(KTR_PROC, "cv_timedwait_end: thread %p (pid %d, %s)", 56271fad9fdSJulian Elischer td, td->td_proc->p_pid, td->td_proc->p_comm); 5639ed346baSBosko Milekic mtx_lock_spin(&sched_lock); 56471fad9fdSJulian Elischer if (TD_ON_SLEEPQ(td)) { 565b40ce416SJulian Elischer cv_waitq_remove(td); 566b40ce416SJulian Elischer td->td_flags |= TDF_TIMEOUT; 56771fad9fdSJulian Elischer } else { 568b40ce416SJulian Elischer td->td_flags |= TDF_TIMOFAIL; 56971fad9fdSJulian Elischer } 57071fad9fdSJulian Elischer TD_CLR_SLEEPING(td); 57171fad9fdSJulian Elischer setrunnable(td); 5729ed346baSBosko Milekic mtx_unlock_spin(&sched_lock); 573238510fcSJason Evans } 574e602ba25SJulian Elischer 575e602ba25SJulian Elischer /* 576e602ba25SJulian Elischer * For now only abort interruptable waits. 577e602ba25SJulian Elischer * The others will have to either complete on their own or have a timeout. 578e602ba25SJulian Elischer */ 579e602ba25SJulian Elischer void 580e602ba25SJulian Elischer cv_abort(struct thread *td) 581e602ba25SJulian Elischer { 582e602ba25SJulian Elischer 583e602ba25SJulian Elischer CTR3(KTR_PROC, "cv_abort: thread %p (pid %d, %s)", td, 58471fad9fdSJulian Elischer td->td_proc->p_pid, td->td_proc->p_comm); 585e602ba25SJulian Elischer mtx_lock_spin(&sched_lock); 586e602ba25SJulian Elischer if ((td->td_flags & (TDF_SINTR|TDF_TIMEOUT)) == TDF_SINTR) { 58771fad9fdSJulian Elischer if (TD_ON_SLEEPQ(td)) { 588e602ba25SJulian Elischer cv_waitq_remove(td); 589e602ba25SJulian Elischer } 59071fad9fdSJulian Elischer TD_CLR_SLEEPING(td); 59171fad9fdSJulian Elischer setrunnable(td); 592e602ba25SJulian Elischer } 593e602ba25SJulian Elischer mtx_unlock_spin(&sched_lock); 594e602ba25SJulian Elischer } 595e602ba25SJulian Elischer 596