xref: /freebsd/sys/kern/kern_condvar.c (revision a48740b6c50cfe7030c97caf8254ded1b60bea1e)
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  * $FreeBSD$
27238510fcSJason Evans  */
28238510fcSJason Evans 
29238510fcSJason Evans #include "opt_ktrace.h"
30238510fcSJason Evans 
31238510fcSJason Evans #include <sys/param.h>
32238510fcSJason Evans #include <sys/systm.h>
33fb919e4dSMark Murray #include <sys/lock.h>
34fb919e4dSMark Murray #include <sys/mutex.h>
35238510fcSJason Evans #include <sys/proc.h>
36238510fcSJason Evans #include <sys/kernel.h>
37238510fcSJason Evans #include <sys/ktr.h>
38238510fcSJason Evans #include <sys/condvar.h>
39238510fcSJason Evans #include <sys/signalvar.h>
40238510fcSJason Evans #include <sys/resourcevar.h>
41238510fcSJason Evans #ifdef KTRACE
42238510fcSJason Evans #include <sys/uio.h>
43238510fcSJason Evans #include <sys/ktrace.h>
44238510fcSJason Evans #endif
45238510fcSJason Evans 
46238510fcSJason Evans /*
47238510fcSJason Evans  * Common sanity checks for cv_wait* functions.
48238510fcSJason Evans  */
49b40ce416SJulian Elischer #define	CV_ASSERT(cvp, mp, td) do {					\
50a48740b6SDavid E. O'Brien 	KASSERT((td) != NULL, ("%s: curthread NULL", __func__));	\
51a48740b6SDavid E. O'Brien 	KASSERT((td)->td_proc->p_stat == SRUN, ("%s: not SRUN", __func__));	\
52a48740b6SDavid E. O'Brien 	KASSERT((cvp) != NULL, ("%s: cvp NULL", __func__));		\
53a48740b6SDavid E. O'Brien 	KASSERT((mp) != NULL, ("%s: mp NULL", __func__));		\
54238510fcSJason Evans 	mtx_assert((mp), MA_OWNED | MA_NOTRECURSED);			\
55238510fcSJason Evans } while (0)
56238510fcSJason Evans 
57238510fcSJason Evans #ifdef CV_DEBUG
58238510fcSJason Evans #define	CV_WAIT_VALIDATE(cvp, mp) do {					\
59238510fcSJason Evans 	if (TAILQ_EMPTY(&(cvp)->cv_waitq)) {				\
60238510fcSJason Evans 		/* Only waiter. */					\
61238510fcSJason Evans 		(cvp)->cv_mtx = (mp);					\
62238510fcSJason Evans 	} else {							\
63238510fcSJason Evans 		/*							\
64238510fcSJason Evans 		 * Other waiter; assert that we're using the		\
65238510fcSJason Evans 		 * same mutex.						\
66238510fcSJason Evans 		 */							\
67238510fcSJason Evans 		KASSERT((cvp)->cv_mtx == (mp),				\
68a48740b6SDavid E. O'Brien 		    ("%s: Multiple mutexes", __func__));		\
69238510fcSJason Evans 	}								\
70238510fcSJason Evans } while (0)
71238510fcSJason Evans #define	CV_SIGNAL_VALIDATE(cvp) do {					\
72238510fcSJason Evans 	if (!TAILQ_EMPTY(&(cvp)->cv_waitq)) {				\
73238510fcSJason Evans 		KASSERT(mtx_owned((cvp)->cv_mtx),			\
74a48740b6SDavid E. O'Brien 		    ("%s: Mutex not owned", __func__));		\
75238510fcSJason Evans 	}								\
76238510fcSJason Evans } while (0)
77238510fcSJason Evans #else
78238510fcSJason Evans #define	CV_WAIT_VALIDATE(cvp, mp)
79238510fcSJason Evans #define	CV_SIGNAL_VALIDATE(cvp)
80238510fcSJason Evans #endif
81238510fcSJason Evans 
82238510fcSJason Evans static void cv_timedwait_end(void *arg);
83238510fcSJason Evans 
84238510fcSJason Evans /*
85238510fcSJason Evans  * Initialize a condition variable.  Must be called before use.
86238510fcSJason Evans  */
87238510fcSJason Evans void
88238510fcSJason Evans cv_init(struct cv *cvp, const char *desc)
89238510fcSJason Evans {
90238510fcSJason Evans 
91238510fcSJason Evans 	TAILQ_INIT(&cvp->cv_waitq);
92238510fcSJason Evans 	cvp->cv_mtx = NULL;
93238510fcSJason Evans 	cvp->cv_description = desc;
94238510fcSJason Evans }
95238510fcSJason Evans 
96238510fcSJason Evans /*
97238510fcSJason Evans  * Destroy a condition variable.  The condition variable must be re-initialized
98238510fcSJason Evans  * in order to be re-used.
99238510fcSJason Evans  */
100238510fcSJason Evans void
101238510fcSJason Evans cv_destroy(struct cv *cvp)
102238510fcSJason Evans {
103238510fcSJason Evans 
104a48740b6SDavid E. O'Brien 	KASSERT(cv_waitq_empty(cvp), ("%s: cv_waitq non-empty", __func__));
105238510fcSJason Evans }
106238510fcSJason Evans 
107238510fcSJason Evans /*
108238510fcSJason Evans  * Common code for cv_wait* functions.  All require sched_lock.
109238510fcSJason Evans  */
110238510fcSJason Evans 
111238510fcSJason Evans /*
112238510fcSJason Evans  * Switch context.
113238510fcSJason Evans  */
114238510fcSJason Evans static __inline void
115b40ce416SJulian Elischer cv_switch(struct thread *td)
116238510fcSJason Evans {
117238510fcSJason Evans 
118b40ce416SJulian Elischer 	td->td_proc->p_stat = SSLEEP;
119b40ce416SJulian Elischer 	td->td_proc->p_stats->p_ru.ru_nvcsw++;
120238510fcSJason Evans 	mi_switch();
1219ef3a985SJohn Baldwin 	CTR3(KTR_PROC, "cv_switch: resume thread %p (pid %d, %s)", td,
1229ef3a985SJohn Baldwin 	    td->td_proc->p_pid, td->td_proc->p_comm);
123238510fcSJason Evans }
124238510fcSJason Evans 
125238510fcSJason Evans /*
126238510fcSJason Evans  * Switch context, catching signals.
127238510fcSJason Evans  */
128238510fcSJason Evans static __inline int
129b40ce416SJulian Elischer cv_switch_catch(struct thread *td)
130238510fcSJason Evans {
1319ef3a985SJohn Baldwin 	struct proc *p;
132238510fcSJason Evans 	int sig;
133238510fcSJason Evans 
134238510fcSJason Evans 	/*
135238510fcSJason Evans 	 * We put ourselves on the sleep queue and start our timeout before
136238510fcSJason Evans 	 * calling CURSIG, as we could stop there, and a wakeup or a SIGCONT (or
137238510fcSJason Evans 	 * both) could occur while we were stopped.  A SIGCONT would cause us to
138238510fcSJason Evans 	 * be marked as SSLEEP without resuming us, thus we must be ready for
139238510fcSJason Evans 	 * sleep when CURSIG is called.  If the wakeup happens while we're
140b40ce416SJulian Elischer 	 * stopped, td->td_wchan will be 0 upon return from CURSIG.
141238510fcSJason Evans 	 */
142b40ce416SJulian Elischer 	td->td_flags |= TDF_SINTR;
1439ed346baSBosko Milekic 	mtx_unlock_spin(&sched_lock);
1449ef3a985SJohn Baldwin 	p = td->td_proc;
1459ef3a985SJohn Baldwin 	PROC_LOCK(p);
1469ef3a985SJohn Baldwin 	sig = CURSIG(p);	/* XXXKSE */
1479ed346baSBosko Milekic 	mtx_lock_spin(&sched_lock);
1489ef3a985SJohn Baldwin 	PROC_UNLOCK_NOSWITCH(p);
149238510fcSJason Evans 	if (sig != 0) {
150b40ce416SJulian Elischer 		if (td->td_wchan != NULL)
151b40ce416SJulian Elischer 			cv_waitq_remove(td);
152b40ce416SJulian Elischer 		td->td_proc->p_stat = SRUN;
153b40ce416SJulian Elischer 	} else if (td->td_wchan != NULL) {
154b40ce416SJulian Elischer 		cv_switch(td);
155238510fcSJason Evans 	}
156b40ce416SJulian Elischer 	td->td_flags &= ~TDF_SINTR;
157238510fcSJason Evans 
158238510fcSJason Evans 	return sig;
159238510fcSJason Evans }
160238510fcSJason Evans 
161238510fcSJason Evans /*
162b40ce416SJulian Elischer  * Add a thread to the wait queue of a condition variable.
163238510fcSJason Evans  */
164238510fcSJason Evans static __inline void
165b40ce416SJulian Elischer cv_waitq_add(struct cv *cvp, struct thread *td)
166238510fcSJason Evans {
167238510fcSJason Evans 
168238510fcSJason Evans 	/*
169238510fcSJason Evans 	 * Process may be sitting on a slpque if asleep() was called, remove it
170238510fcSJason Evans 	 * before re-adding.
171238510fcSJason Evans 	 */
172b40ce416SJulian Elischer 	if (td->td_wchan != NULL)
173b40ce416SJulian Elischer 		unsleep(td);
174238510fcSJason Evans 
175b40ce416SJulian Elischer 	td->td_flags |= TDF_CVWAITQ;
176b40ce416SJulian Elischer 	td->td_wchan = cvp;
177b40ce416SJulian Elischer 	td->td_wmesg = cvp->cv_description;
178b40ce416SJulian Elischer 	td->td_kse->ke_slptime = 0; /* XXXKSE */
179b40ce416SJulian Elischer 	td->td_ksegrp->kg_slptime = 0; /* XXXKSE */
180b40ce416SJulian Elischer 	td->td_ksegrp->kg_pri.pri_native = td->td_ksegrp->kg_pri.pri_level;
181b40ce416SJulian Elischer 	CTR3(KTR_PROC, "cv_waitq_add: thread %p (pid %d, %s)", td,
1829ef3a985SJohn Baldwin 	    td->td_proc->p_pid, td->td_proc->p_comm);
183b40ce416SJulian Elischer 	TAILQ_INSERT_TAIL(&cvp->cv_waitq, td, td_slpq);
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
201b40ce416SJulian Elischer 	if (td->td_proc && KTRPOINT(td->td_proc, KTR_CSW))
202b40ce416SJulian Elischer 		ktrcsw(td->td_proc->p_tracep, 1, 0);
203238510fcSJason Evans #endif
204b40ce416SJulian Elischer 	CV_ASSERT(cvp, mp, td);
205c739adbfSJohn Baldwin 	WITNESS_SLEEP(0, &mp->mtx_object);
20619284646SJohn Baldwin 	WITNESS_SAVE(&mp->mtx_object, mp);
207238510fcSJason Evans 
2089ed346baSBosko Milekic 	mtx_lock_spin(&sched_lock);
209238510fcSJason Evans 	if (cold || panicstr) {
210238510fcSJason Evans 		/*
211238510fcSJason Evans 		 * After a panic, or during autoconfiguration, just give
212238510fcSJason Evans 		 * interrupts a chance, then just return; don't run any other
213b40ce416SJulian Elischer 		 * thread or panic below, in case this is the idle process and
214238510fcSJason Evans 		 * already asleep.
215238510fcSJason Evans 		 */
2169ed346baSBosko Milekic 		mtx_unlock_spin(&sched_lock);
217238510fcSJason Evans 		return;
218238510fcSJason Evans 	}
219238510fcSJason Evans 	CV_WAIT_VALIDATE(cvp, mp);
220238510fcSJason Evans 
221238510fcSJason Evans 	DROP_GIANT_NOSWITCH();
2229ed346baSBosko Milekic 	mtx_unlock_flags(mp, MTX_NOSWITCH);
223238510fcSJason Evans 
224b40ce416SJulian Elischer 	cv_waitq_add(cvp, td);
225b40ce416SJulian Elischer 	cv_switch(td);
226238510fcSJason Evans 
2279ed346baSBosko Milekic 	mtx_unlock_spin(&sched_lock);
228238510fcSJason Evans #ifdef KTRACE
229b40ce416SJulian Elischer 	if (KTRPOINT(td->td_proc, KTR_CSW))
230b40ce416SJulian Elischer 		ktrcsw(td->td_proc->p_tracep, 0, 0);
231238510fcSJason Evans #endif
232238510fcSJason Evans 	PICKUP_GIANT();
2339ed346baSBosko Milekic 	mtx_lock(mp);
23419284646SJohn Baldwin 	WITNESS_RESTORE(&mp->mtx_object, mp);
235238510fcSJason Evans }
236238510fcSJason Evans 
237238510fcSJason Evans /*
238238510fcSJason Evans  * Wait on a condition variable, allowing interruption by signals.  Return 0 if
239b40ce416SJulian Elischer  * the thread was resumed with cv_signal or cv_broadcast, EINTR or ERESTART if
240238510fcSJason Evans  * a signal was caught.  If ERESTART is returned the system call should be
241238510fcSJason Evans  * restarted if possible.
242238510fcSJason Evans  */
243238510fcSJason Evans int
244238510fcSJason Evans cv_wait_sig(struct cv *cvp, struct mtx *mp)
245238510fcSJason Evans {
246b40ce416SJulian Elischer 	struct thread *td;
24766f769feSPeter Wemm 	struct proc *p;
248238510fcSJason Evans 	int rval;
249238510fcSJason Evans 	int sig;
250238510fcSJason Evans 	WITNESS_SAVE_DECL(mp);
251238510fcSJason Evans 
252b40ce416SJulian Elischer 	td = curthread;
2539ef3a985SJohn Baldwin 	p = td->td_proc;
254238510fcSJason Evans 	rval = 0;
255238510fcSJason Evans #ifdef KTRACE
256b40ce416SJulian Elischer 	if (td->td_proc && KTRPOINT(td->td_proc, KTR_CSW))
257b40ce416SJulian Elischer 		ktrcsw(td->td_proc->p_tracep, 1, 0);
258238510fcSJason Evans #endif
259b40ce416SJulian Elischer 	CV_ASSERT(cvp, mp, td);
260c739adbfSJohn Baldwin 	WITNESS_SLEEP(0, &mp->mtx_object);
26119284646SJohn Baldwin 	WITNESS_SAVE(&mp->mtx_object, mp);
262238510fcSJason Evans 
2639ed346baSBosko Milekic 	mtx_lock_spin(&sched_lock);
264238510fcSJason Evans 	if (cold || panicstr) {
265238510fcSJason Evans 		/*
266238510fcSJason Evans 		 * After a panic, or during autoconfiguration, just give
267238510fcSJason Evans 		 * interrupts a chance, then just return; don't run any other
268238510fcSJason Evans 		 * procs or panic below, in case this is the idle process and
269238510fcSJason Evans 		 * already asleep.
270238510fcSJason Evans 		 */
2719ed346baSBosko Milekic 		mtx_unlock_spin(&sched_lock);
272238510fcSJason Evans 		return 0;
273238510fcSJason Evans 	}
274238510fcSJason Evans 	CV_WAIT_VALIDATE(cvp, mp);
275238510fcSJason Evans 
276238510fcSJason Evans 	DROP_GIANT_NOSWITCH();
2779ed346baSBosko Milekic 	mtx_unlock_flags(mp, MTX_NOSWITCH);
278238510fcSJason Evans 
279b40ce416SJulian Elischer 	cv_waitq_add(cvp, td);
280b40ce416SJulian Elischer 	sig = cv_switch_catch(td);
281238510fcSJason Evans 
2829ed346baSBosko Milekic 	mtx_unlock_spin(&sched_lock);
283238510fcSJason Evans 	PICKUP_GIANT();
284238510fcSJason Evans 
2859ef3a985SJohn Baldwin 	PROC_LOCK(p);
286238510fcSJason Evans 	if (sig == 0)
2879ef3a985SJohn Baldwin 		sig = CURSIG(p);  /* XXXKSE */
288238510fcSJason Evans 	if (sig != 0) {
2899ef3a985SJohn Baldwin 		if (SIGISMEMBER(p->p_sigacts->ps_sigintr, sig))
290238510fcSJason Evans 			rval = EINTR;
291238510fcSJason Evans 		else
292238510fcSJason Evans 			rval = ERESTART;
293238510fcSJason Evans 	}
2949ef3a985SJohn Baldwin 	PROC_UNLOCK(p);
295238510fcSJason Evans 
296238510fcSJason Evans #ifdef KTRACE
29787f9ffb8SJohn Baldwin 	mtx_lock(&Giant);
298b40ce416SJulian Elischer 	if (KTRPOINT(td->td_proc, KTR_CSW))
299b40ce416SJulian Elischer 		ktrcsw(td->td_proc->p_tracep, 0, 0);
30087f9ffb8SJohn Baldwin 	mtx_unlock(&Giant);
301238510fcSJason Evans #endif
3029ed346baSBosko Milekic 	mtx_lock(mp);
30319284646SJohn Baldwin 	WITNESS_RESTORE(&mp->mtx_object, mp);
304238510fcSJason Evans 
305238510fcSJason Evans 	return (rval);
306238510fcSJason Evans }
307238510fcSJason Evans 
308238510fcSJason Evans /*
309238510fcSJason Evans  * Wait on a condition variable for at most timo/hz seconds.  Returns 0 if the
310238510fcSJason Evans  * process was resumed by cv_signal or cv_broadcast, EWOULDBLOCK if the timeout
311238510fcSJason Evans  * expires.
312238510fcSJason Evans  */
313238510fcSJason Evans int
314238510fcSJason Evans cv_timedwait(struct cv *cvp, struct mtx *mp, int timo)
315238510fcSJason Evans {
316b40ce416SJulian Elischer 	struct thread *td;
317238510fcSJason Evans 	int rval;
318238510fcSJason Evans 	WITNESS_SAVE_DECL(mp);
319238510fcSJason Evans 
320b40ce416SJulian Elischer 	td = curthread;
321238510fcSJason Evans 	rval = 0;
322238510fcSJason Evans #ifdef KTRACE
323b40ce416SJulian Elischer 		ktrcsw(td->td_proc->p_tracep, 1, 0);
324238510fcSJason Evans #endif
325b40ce416SJulian Elischer 	CV_ASSERT(cvp, mp, td);
326c739adbfSJohn Baldwin 	WITNESS_SLEEP(0, &mp->mtx_object);
32719284646SJohn Baldwin 	WITNESS_SAVE(&mp->mtx_object, mp);
328238510fcSJason Evans 
3299ed346baSBosko Milekic 	mtx_lock_spin(&sched_lock);
330238510fcSJason Evans 	if (cold || panicstr) {
331238510fcSJason Evans 		/*
332238510fcSJason Evans 		 * After a panic, or during autoconfiguration, just give
333238510fcSJason Evans 		 * interrupts a chance, then just return; don't run any other
334b40ce416SJulian Elischer 		 * thread or panic below, in case this is the idle process and
335238510fcSJason Evans 		 * already asleep.
336238510fcSJason Evans 		 */
3379ed346baSBosko Milekic 		mtx_unlock_spin(&sched_lock);
338238510fcSJason Evans 		return 0;
339238510fcSJason Evans 	}
340238510fcSJason Evans 	CV_WAIT_VALIDATE(cvp, mp);
341238510fcSJason Evans 
342238510fcSJason Evans 	DROP_GIANT_NOSWITCH();
3439ed346baSBosko Milekic 	mtx_unlock_flags(mp, MTX_NOSWITCH);
344238510fcSJason Evans 
345b40ce416SJulian Elischer 	cv_waitq_add(cvp, td);
346b40ce416SJulian Elischer 	callout_reset(&td->td_slpcallout, timo, cv_timedwait_end, td);
347b40ce416SJulian Elischer 	cv_switch(td);
348238510fcSJason Evans 
349b40ce416SJulian Elischer 	if (td->td_flags & TDF_TIMEOUT) {
350b40ce416SJulian Elischer 		td->td_flags &= ~TDF_TIMEOUT;
351238510fcSJason Evans 		rval = EWOULDBLOCK;
352b40ce416SJulian Elischer 	} else if (td->td_flags & TDF_TIMOFAIL)
353b40ce416SJulian Elischer 		td->td_flags &= ~TDF_TIMOFAIL;
354b40ce416SJulian Elischer 	else if (callout_stop(&td->td_slpcallout) == 0) {
35591a4536fSJohn Baldwin 		/*
35691a4536fSJohn Baldwin 		 * Work around race with cv_timedwait_end similar to that
35791a4536fSJohn Baldwin 		 * between msleep and endtsleep.
35891a4536fSJohn Baldwin 		 */
359b40ce416SJulian Elischer 		td->td_flags |= TDF_TIMEOUT;
360b40ce416SJulian Elischer 		td->td_proc->p_stats->p_ru.ru_nivcsw++;
36191a4536fSJohn Baldwin 		mi_switch();
36291a4536fSJohn Baldwin 	}
363238510fcSJason Evans 
3649ed346baSBosko Milekic 	mtx_unlock_spin(&sched_lock);
365238510fcSJason Evans #ifdef KTRACE
366b40ce416SJulian Elischer 	if (KTRPOINT(td->td_proc, KTR_CSW))
367b40ce416SJulian Elischer 		ktrcsw(td->td_proc->p_tracep, 0, 0);
368238510fcSJason Evans #endif
369238510fcSJason Evans 	PICKUP_GIANT();
3709ed346baSBosko Milekic 	mtx_lock(mp);
37119284646SJohn Baldwin 	WITNESS_RESTORE(&mp->mtx_object, mp);
372238510fcSJason Evans 
373238510fcSJason Evans 	return (rval);
374238510fcSJason Evans }
375238510fcSJason Evans 
376238510fcSJason Evans /*
377238510fcSJason Evans  * Wait on a condition variable for at most timo/hz seconds, allowing
378b40ce416SJulian Elischer  * interruption by signals.  Returns 0 if the thread was resumed by cv_signal
379238510fcSJason Evans  * or cv_broadcast, EWOULDBLOCK if the timeout expires, and EINTR or ERESTART if
380238510fcSJason Evans  * a signal was caught.
381238510fcSJason Evans  */
382238510fcSJason Evans int
383238510fcSJason Evans cv_timedwait_sig(struct cv *cvp, struct mtx *mp, int timo)
384238510fcSJason Evans {
385b40ce416SJulian Elischer 	struct thread *td;
3869ef3a985SJohn Baldwin 	struct proc *p;
387238510fcSJason Evans 	int rval;
388238510fcSJason Evans 	int sig;
389238510fcSJason Evans 	WITNESS_SAVE_DECL(mp);
390238510fcSJason Evans 
391b40ce416SJulian Elischer 	td = curthread;
3929ef3a985SJohn Baldwin 	p = td->td_proc;
393238510fcSJason Evans 	rval = 0;
394238510fcSJason Evans #ifdef KTRACE
395b40ce416SJulian Elischer 	if (td->td_proc && KTRPOINT(td->td_proc, KTR_CSW))
396b40ce416SJulian Elischer 		ktrcsw(td->td_proc->p_tracep, 1, 0);
397238510fcSJason Evans #endif
398b40ce416SJulian Elischer 	CV_ASSERT(cvp, mp, td);
399c739adbfSJohn Baldwin 	WITNESS_SLEEP(0, &mp->mtx_object);
40019284646SJohn Baldwin 	WITNESS_SAVE(&mp->mtx_object, mp);
401238510fcSJason Evans 
4029ed346baSBosko Milekic 	mtx_lock_spin(&sched_lock);
403238510fcSJason Evans 	if (cold || panicstr) {
404238510fcSJason Evans 		/*
405238510fcSJason Evans 		 * After a panic, or during autoconfiguration, just give
406238510fcSJason Evans 		 * interrupts a chance, then just return; don't run any other
407b40ce416SJulian Elischer 		 * thread or panic below, in case this is the idle process and
408238510fcSJason Evans 		 * already asleep.
409238510fcSJason Evans 		 */
4109ed346baSBosko Milekic 		mtx_unlock_spin(&sched_lock);
411238510fcSJason Evans 		return 0;
412238510fcSJason Evans 	}
413238510fcSJason Evans 	CV_WAIT_VALIDATE(cvp, mp);
414238510fcSJason Evans 
415238510fcSJason Evans 	DROP_GIANT_NOSWITCH();
4169ed346baSBosko Milekic 	mtx_unlock_flags(mp, MTX_NOSWITCH);
417238510fcSJason Evans 
418b40ce416SJulian Elischer 	cv_waitq_add(cvp, td);
419b40ce416SJulian Elischer 	callout_reset(&td->td_slpcallout, timo, cv_timedwait_end, td);
420b40ce416SJulian Elischer 	sig = cv_switch_catch(td);
421238510fcSJason Evans 
422b40ce416SJulian Elischer 	if (td->td_flags & TDF_TIMEOUT) {
423b40ce416SJulian Elischer 		td->td_flags &= ~TDF_TIMEOUT;
424238510fcSJason Evans 		rval = EWOULDBLOCK;
425b40ce416SJulian Elischer 	} else if (td->td_flags & TDF_TIMOFAIL)
426b40ce416SJulian Elischer 		td->td_flags &= ~TDF_TIMOFAIL;
427b40ce416SJulian Elischer 	else if (callout_stop(&td->td_slpcallout) == 0) {
42891a4536fSJohn Baldwin 		/*
42991a4536fSJohn Baldwin 		 * Work around race with cv_timedwait_end similar to that
43091a4536fSJohn Baldwin 		 * between msleep and endtsleep.
43191a4536fSJohn Baldwin 		 */
432b40ce416SJulian Elischer 		td->td_flags |= TDF_TIMEOUT;
433b40ce416SJulian Elischer 		td->td_proc->p_stats->p_ru.ru_nivcsw++;
43491a4536fSJohn Baldwin 		mi_switch();
43591a4536fSJohn Baldwin 	}
436238510fcSJason Evans 
4379ed346baSBosko Milekic 	mtx_unlock_spin(&sched_lock);
438238510fcSJason Evans 	PICKUP_GIANT();
439238510fcSJason Evans 
4409ef3a985SJohn Baldwin 	PROC_LOCK(p);
441238510fcSJason Evans 	if (sig == 0)
4429ef3a985SJohn Baldwin 		sig = CURSIG(p);
443238510fcSJason Evans 	if (sig != 0) {
4449ef3a985SJohn Baldwin 		if (SIGISMEMBER(p->p_sigacts->ps_sigintr, sig))
445238510fcSJason Evans 			rval = EINTR;
446238510fcSJason Evans 		else
447238510fcSJason Evans 			rval = ERESTART;
448238510fcSJason Evans 	}
4499ef3a985SJohn Baldwin 	PROC_UNLOCK(p);
450238510fcSJason Evans 
451238510fcSJason Evans #ifdef KTRACE
45287f9ffb8SJohn Baldwin 	mtx_lock(&Giant);
453b40ce416SJulian Elischer 	if (KTRPOINT(td->td_proc, KTR_CSW))
454b40ce416SJulian Elischer 		ktrcsw(td->td_proc->p_tracep, 0, 0);
45587f9ffb8SJohn Baldwin 	mtx_unlock(&Giant);
456238510fcSJason Evans #endif
4579ed346baSBosko Milekic 	mtx_lock(mp);
45819284646SJohn Baldwin 	WITNESS_RESTORE(&mp->mtx_object, mp);
459238510fcSJason Evans 
460238510fcSJason Evans 	return (rval);
461238510fcSJason Evans }
462238510fcSJason Evans 
463238510fcSJason Evans /*
464238510fcSJason Evans  * Common code for signal and broadcast.  Assumes waitq is not empty.  Must be
465238510fcSJason Evans  * called with sched_lock held.
466238510fcSJason Evans  */
467238510fcSJason Evans static __inline void
468238510fcSJason Evans cv_wakeup(struct cv *cvp)
469238510fcSJason Evans {
470b40ce416SJulian Elischer 	struct thread *td;
471238510fcSJason Evans 
472981808d1SJohn Baldwin 	mtx_assert(&sched_lock, MA_OWNED);
473b40ce416SJulian Elischer 	td = TAILQ_FIRST(&cvp->cv_waitq);
474a48740b6SDavid E. O'Brien 	KASSERT(td->td_wchan == cvp, ("%s: bogus wchan", __func__));
475a48740b6SDavid E. O'Brien 	KASSERT(td->td_flags & TDF_CVWAITQ, ("%s: not on waitq", __func__));
476b40ce416SJulian Elischer 	TAILQ_REMOVE(&cvp->cv_waitq, td, td_slpq);
477b40ce416SJulian Elischer 	td->td_flags &= ~TDF_CVWAITQ;
478b40ce416SJulian Elischer 	td->td_wchan = 0;
479b40ce416SJulian Elischer 	if (td->td_proc->p_stat == SSLEEP) {
480b40ce416SJulian Elischer 		/* OPTIMIZED EXPANSION OF setrunnable(td); */
481b40ce416SJulian Elischer 		CTR3(KTR_PROC, "cv_signal: thread %p (pid %d, %s)",
482b40ce416SJulian Elischer 		    td, td->td_proc->p_pid, td->td_proc->p_comm);
483b40ce416SJulian Elischer 		if (td->td_ksegrp->kg_slptime > 1) /* XXXKSE */
484b40ce416SJulian Elischer 			updatepri(td);
485b40ce416SJulian Elischer 		td->td_kse->ke_slptime = 0;
486b40ce416SJulian Elischer 		td->td_ksegrp->kg_slptime = 0;
487b40ce416SJulian Elischer 		td->td_proc->p_stat = SRUN;
488b40ce416SJulian Elischer 		if (td->td_proc->p_sflag & PS_INMEM) {
489b40ce416SJulian Elischer 			setrunqueue(td);
490b40ce416SJulian Elischer 			maybe_resched(td->td_ksegrp);
491238510fcSJason Evans 		} else {
492b40ce416SJulian Elischer 			td->td_proc->p_sflag |= PS_SWAPINREQ;
493b40ce416SJulian Elischer 			wakeup(&proc0); /* XXXKSE */
494238510fcSJason Evans 		}
495238510fcSJason Evans 		/* END INLINE EXPANSION */
496238510fcSJason Evans 	}
497238510fcSJason Evans }
498238510fcSJason Evans 
499238510fcSJason Evans /*
500b40ce416SJulian Elischer  * Signal a condition variable, wakes up one waiting thread.  Will also wakeup
501238510fcSJason Evans  * the swapper if the process is not in memory, so that it can bring the
502b40ce416SJulian Elischer  * sleeping process in.  Note that this may also result in additional threads
503238510fcSJason Evans  * being made runnable.  Should be called with the same mutex as was passed to
504238510fcSJason Evans  * cv_wait held.
505238510fcSJason Evans  */
506238510fcSJason Evans void
507238510fcSJason Evans cv_signal(struct cv *cvp)
508238510fcSJason Evans {
509238510fcSJason Evans 
510a48740b6SDavid E. O'Brien 	KASSERT(cvp != NULL, ("%s: cvp NULL", __func__));
5119ed346baSBosko Milekic 	mtx_lock_spin(&sched_lock);
512238510fcSJason Evans 	if (!TAILQ_EMPTY(&cvp->cv_waitq)) {
513238510fcSJason Evans 		CV_SIGNAL_VALIDATE(cvp);
514238510fcSJason Evans 		cv_wakeup(cvp);
515238510fcSJason Evans 	}
5169ed346baSBosko Milekic 	mtx_unlock_spin(&sched_lock);
517238510fcSJason Evans }
518238510fcSJason Evans 
519238510fcSJason Evans /*
520b40ce416SJulian Elischer  * Broadcast a signal to a condition variable.  Wakes up all waiting threads.
521238510fcSJason Evans  * Should be called with the same mutex as was passed to cv_wait held.
522238510fcSJason Evans  */
523238510fcSJason Evans void
524238510fcSJason Evans cv_broadcast(struct cv *cvp)
525238510fcSJason Evans {
526238510fcSJason Evans 
527a48740b6SDavid E. O'Brien 	KASSERT(cvp != NULL, ("%s: cvp NULL", __func__));
5289ed346baSBosko Milekic 	mtx_lock_spin(&sched_lock);
529238510fcSJason Evans 	CV_SIGNAL_VALIDATE(cvp);
530238510fcSJason Evans 	while (!TAILQ_EMPTY(&cvp->cv_waitq))
531238510fcSJason Evans 		cv_wakeup(cvp);
5329ed346baSBosko Milekic 	mtx_unlock_spin(&sched_lock);
533238510fcSJason Evans }
534238510fcSJason Evans 
535238510fcSJason Evans /*
536b40ce416SJulian Elischer  * Remove a thread from the wait queue of its condition variable.  This may be
537238510fcSJason Evans  * called externally.
538238510fcSJason Evans  */
539238510fcSJason Evans void
540b40ce416SJulian Elischer cv_waitq_remove(struct thread *td)
541238510fcSJason Evans {
542238510fcSJason Evans 	struct cv *cvp;
543238510fcSJason Evans 
5449ed346baSBosko Milekic 	mtx_lock_spin(&sched_lock);
545b40ce416SJulian Elischer 	if ((cvp = td->td_wchan) != NULL && td->td_flags & TDF_CVWAITQ) {
546b40ce416SJulian Elischer 		TAILQ_REMOVE(&cvp->cv_waitq, td, td_slpq);
547b40ce416SJulian Elischer 		td->td_flags &= ~TDF_CVWAITQ;
548b40ce416SJulian Elischer 		td->td_wchan = NULL;
549238510fcSJason Evans 	}
5509ed346baSBosko Milekic 	mtx_unlock_spin(&sched_lock);
551238510fcSJason Evans }
552238510fcSJason Evans 
553238510fcSJason Evans /*
554b40ce416SJulian Elischer  * Timeout function for cv_timedwait.  Put the thread on the runqueue and set
555238510fcSJason Evans  * its timeout flag.
556238510fcSJason Evans  */
557238510fcSJason Evans static void
558238510fcSJason Evans cv_timedwait_end(void *arg)
559238510fcSJason Evans {
560b40ce416SJulian Elischer 	struct thread *td;
561238510fcSJason Evans 
562b40ce416SJulian Elischer 	td = arg;
563b40ce416SJulian Elischer 	CTR3(KTR_PROC, "cv_timedwait_end: thread %p (pid %d, %s)", td, td->td_proc->p_pid,
564b40ce416SJulian Elischer 	    td->td_proc->p_comm);
5659ed346baSBosko Milekic 	mtx_lock_spin(&sched_lock);
566b40ce416SJulian Elischer 	if (td->td_flags & TDF_TIMEOUT) {
567b40ce416SJulian Elischer 		td->td_flags &= ~TDF_TIMEOUT;
568b40ce416SJulian Elischer 		setrunqueue(td);
569b40ce416SJulian Elischer 	} else if (td->td_wchan != NULL) {
570b40ce416SJulian Elischer 		if (td->td_proc->p_stat == SSLEEP) /* XXXKSE */
571b40ce416SJulian Elischer 			setrunnable(td);
572238510fcSJason Evans 		else
573b40ce416SJulian Elischer 			cv_waitq_remove(td);
574b40ce416SJulian Elischer 		td->td_flags |= TDF_TIMEOUT;
57591a4536fSJohn Baldwin 	} else
576b40ce416SJulian Elischer 		td->td_flags |= TDF_TIMOFAIL;
5779ed346baSBosko Milekic 	mtx_unlock_spin(&sched_lock);
578238510fcSJason Evans }
579