kern_sleepq.c revision 1.85 1 1.85 riastrad /* $NetBSD: kern_sleepq.c,v 1.85 2023/10/15 10:27:11 riastradh Exp $ */
2 1.2 ad
3 1.2 ad /*-
4 1.75 ad * Copyright (c) 2006, 2007, 2008, 2009, 2019, 2020, 2023
5 1.75 ad * The NetBSD Foundation, Inc.
6 1.2 ad * All rights reserved.
7 1.2 ad *
8 1.2 ad * This code is derived from software contributed to The NetBSD Foundation
9 1.2 ad * by Andrew Doran.
10 1.2 ad *
11 1.2 ad * Redistribution and use in source and binary forms, with or without
12 1.2 ad * modification, are permitted provided that the following conditions
13 1.2 ad * are met:
14 1.2 ad * 1. Redistributions of source code must retain the above copyright
15 1.2 ad * notice, this list of conditions and the following disclaimer.
16 1.2 ad * 2. Redistributions in binary form must reproduce the above copyright
17 1.2 ad * notice, this list of conditions and the following disclaimer in the
18 1.2 ad * documentation and/or other materials provided with the distribution.
19 1.2 ad *
20 1.2 ad * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
21 1.2 ad * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
22 1.2 ad * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
23 1.2 ad * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
24 1.2 ad * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
25 1.2 ad * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
26 1.2 ad * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
27 1.2 ad * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
28 1.2 ad * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
29 1.2 ad * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
30 1.2 ad * POSSIBILITY OF SUCH DAMAGE.
31 1.2 ad */
32 1.2 ad
33 1.2 ad /*
34 1.2 ad * Sleep queue implementation, used by turnstiles and general sleep/wakeup
35 1.2 ad * interfaces.
36 1.2 ad */
37 1.2 ad
38 1.2 ad #include <sys/cdefs.h>
39 1.85 riastrad __KERNEL_RCSID(0, "$NetBSD: kern_sleepq.c,v 1.85 2023/10/15 10:27:11 riastradh Exp $");
40 1.2 ad
41 1.2 ad #include <sys/param.h>
42 1.2 ad #include <sys/kernel.h>
43 1.9 yamt #include <sys/cpu.h>
44 1.47 matt #include <sys/intr.h>
45 1.2 ad #include <sys/pool.h>
46 1.2 ad #include <sys/proc.h>
47 1.2 ad #include <sys/resourcevar.h>
48 1.2 ad #include <sys/sched.h>
49 1.2 ad #include <sys/systm.h>
50 1.2 ad #include <sys/sleepq.h>
51 1.2 ad #include <sys/ktrace.h>
52 1.85 riastrad #include <sys/syncobj.h>
53 1.2 ad
54 1.47 matt /*
55 1.47 matt * for sleepq_abort:
56 1.47 matt * During autoconfiguration or after a panic, a sleep will simply lower the
57 1.47 matt * priority briefly to allow interrupts, then return. The priority to be
58 1.47 matt * used (IPL_SAFEPRI) is machine-dependent, thus this value is initialized and
59 1.47 matt * maintained in the machine-dependent layers. This priority will typically
60 1.47 matt * be 0, or the lowest priority that is safe for use on the interrupt stack;
61 1.47 matt * it can be made higher to block network software interrupts after panics.
62 1.47 matt */
63 1.47 matt #ifndef IPL_SAFEPRI
64 1.47 matt #define IPL_SAFEPRI 0
65 1.47 matt #endif
66 1.47 matt
67 1.39 rmind static int sleepq_sigtoerror(lwp_t *, int);
68 1.2 ad
69 1.45 rmind /* General purpose sleep table, used by mtsleep() and condition variables. */
70 1.52 ad sleeptab_t sleeptab __cacheline_aligned;
71 1.55 ad sleepqlock_t sleepq_locks[SLEEPTAB_HASH_SIZE] __cacheline_aligned;
72 1.2 ad
73 1.2 ad /*
74 1.2 ad * sleeptab_init:
75 1.2 ad *
76 1.2 ad * Initialize a sleep table.
77 1.2 ad */
78 1.2 ad void
79 1.2 ad sleeptab_init(sleeptab_t *st)
80 1.2 ad {
81 1.56 ad static bool again;
82 1.2 ad int i;
83 1.2 ad
84 1.2 ad for (i = 0; i < SLEEPTAB_HASH_SIZE; i++) {
85 1.56 ad if (!again) {
86 1.56 ad mutex_init(&sleepq_locks[i].lock, MUTEX_DEFAULT,
87 1.56 ad IPL_SCHED);
88 1.56 ad }
89 1.52 ad sleepq_init(&st->st_queue[i]);
90 1.2 ad }
91 1.56 ad again = true;
92 1.2 ad }
93 1.2 ad
94 1.2 ad /*
95 1.2 ad * sleepq_init:
96 1.2 ad *
97 1.2 ad * Prepare a sleep queue for use.
98 1.2 ad */
99 1.2 ad void
100 1.30 ad sleepq_init(sleepq_t *sq)
101 1.2 ad {
102 1.2 ad
103 1.63 ad LIST_INIT(sq);
104 1.2 ad }
105 1.2 ad
106 1.2 ad /*
107 1.2 ad * sleepq_remove:
108 1.2 ad *
109 1.82 ad * Remove an LWP from a sleep queue and wake it up. Distinguish
110 1.82 ad * between deliberate wakeups (which are a valuable information) and
111 1.82 ad * "unsleep" (an out-of-band action must be taken).
112 1.82 ad *
113 1.82 ad * For wakeup, convert any interruptable wait into non-interruptable
114 1.82 ad * one before waking the LWP. Otherwise, if only one LWP is awoken it
115 1.82 ad * could fail to do something useful with the wakeup due to an error
116 1.82 ad * return and the caller of e.g. cv_signal() may not expect this.
117 1.2 ad */
118 1.37 rmind void
119 1.82 ad sleepq_remove(sleepq_t *sq, lwp_t *l, bool wakeup)
120 1.2 ad {
121 1.9 yamt struct schedstate_percpu *spc;
122 1.2 ad struct cpu_info *ci;
123 1.2 ad
124 1.30 ad KASSERT(lwp_locked(l, NULL));
125 1.2 ad
126 1.59 ad if ((l->l_syncobj->sobj_flag & SOBJ_SLEEPQ_NULL) == 0) {
127 1.59 ad KASSERT(sq != NULL);
128 1.63 ad LIST_REMOVE(l, l_sleepchain);
129 1.59 ad } else {
130 1.59 ad KASSERT(sq == NULL);
131 1.59 ad }
132 1.59 ad
133 1.2 ad l->l_syncobj = &sched_syncobj;
134 1.2 ad l->l_wchan = NULL;
135 1.2 ad l->l_sleepq = NULL;
136 1.82 ad l->l_flag &= wakeup ? ~(LW_SINTR|LW_CATCHINTR|LW_STIMO) : ~LW_SINTR;
137 1.2 ad
138 1.9 yamt ci = l->l_cpu;
139 1.9 yamt spc = &ci->ci_schedstate;
140 1.9 yamt
141 1.2 ad /*
142 1.2 ad * If not sleeping, the LWP must have been suspended. Let whoever
143 1.2 ad * holds it stopped set it running again.
144 1.2 ad */
145 1.2 ad if (l->l_stat != LSSLEEP) {
146 1.16 rmind KASSERT(l->l_stat == LSSTOP || l->l_stat == LSSUSPENDED);
147 1.21 ad lwp_setlock(l, spc->spc_lwplock);
148 1.37 rmind return;
149 1.2 ad }
150 1.2 ad
151 1.2 ad /*
152 1.2 ad * If the LWP is still on the CPU, mark it as LSONPROC. It may be
153 1.2 ad * about to call mi_switch(), in which case it will yield.
154 1.2 ad */
155 1.61 ad if ((l->l_pflag & LP_RUNNING) != 0) {
156 1.2 ad l->l_stat = LSONPROC;
157 1.2 ad l->l_slptime = 0;
158 1.21 ad lwp_setlock(l, spc->spc_lwplock);
159 1.37 rmind return;
160 1.2 ad }
161 1.2 ad
162 1.29 rmind /* Update sleep time delta, call the wake-up handler of scheduler */
163 1.65 maxv l->l_slpticksum += (getticks() - l->l_slpticks);
164 1.16 rmind sched_wakeup(l);
165 1.29 rmind
166 1.29 rmind /* Look for a CPU to wake up */
167 1.29 rmind l->l_cpu = sched_takecpu(l);
168 1.16 rmind ci = l->l_cpu;
169 1.16 rmind spc = &ci->ci_schedstate;
170 1.16 rmind
171 1.16 rmind /*
172 1.17 yamt * Set it running.
173 1.2 ad */
174 1.9 yamt spc_lock(ci);
175 1.9 yamt lwp_setlock(l, spc->spc_mutex);
176 1.9 yamt sched_setrunnable(l);
177 1.2 ad l->l_stat = LSRUN;
178 1.2 ad l->l_slptime = 0;
179 1.53 ad sched_enqueue(l);
180 1.53 ad sched_resched_lwp(l, true);
181 1.53 ad /* LWP & SPC now unlocked, but we still hold sleep queue lock. */
182 1.2 ad }
183 1.2 ad
184 1.2 ad /*
185 1.2 ad * sleepq_insert:
186 1.2 ad *
187 1.2 ad * Insert an LWP into the sleep queue, optionally sorting by priority.
188 1.2 ad */
189 1.46 rmind static void
190 1.8 ad sleepq_insert(sleepq_t *sq, lwp_t *l, syncobj_t *sobj)
191 1.2 ad {
192 1.2 ad
193 1.59 ad if ((sobj->sobj_flag & SOBJ_SLEEPQ_NULL) != 0) {
194 1.59 ad KASSERT(sq == NULL);
195 1.59 ad return;
196 1.59 ad }
197 1.59 ad KASSERT(sq != NULL);
198 1.59 ad
199 1.2 ad if ((sobj->sobj_flag & SOBJ_SLEEPQ_SORTED) != 0) {
200 1.68 thorpej lwp_t *l2, *l_last = NULL;
201 1.60 christos const pri_t pri = lwp_eprio(l);
202 1.40 yamt
203 1.63 ad LIST_FOREACH(l2, sq, l_sleepchain) {
204 1.68 thorpej l_last = l2;
205 1.18 ad if (lwp_eprio(l2) < pri) {
206 1.63 ad LIST_INSERT_BEFORE(l2, l, l_sleepchain);
207 1.2 ad return;
208 1.2 ad }
209 1.2 ad }
210 1.68 thorpej /*
211 1.68 thorpej * Ensure FIFO ordering if no waiters are of lower priority.
212 1.68 thorpej */
213 1.68 thorpej if (l_last != NULL) {
214 1.68 thorpej LIST_INSERT_AFTER(l_last, l, l_sleepchain);
215 1.68 thorpej return;
216 1.68 thorpej }
217 1.2 ad }
218 1.2 ad
219 1.63 ad LIST_INSERT_HEAD(sq, l, l_sleepchain);
220 1.2 ad }
221 1.2 ad
222 1.9 yamt /*
223 1.75 ad * sleepq_enter:
224 1.75 ad *
225 1.75 ad * Prepare to block on a sleep queue, after which any interlock can be
226 1.75 ad * safely released.
227 1.75 ad */
228 1.77 ad int
229 1.75 ad sleepq_enter(sleepq_t *sq, lwp_t *l, kmutex_t *mp)
230 1.75 ad {
231 1.77 ad int nlocks;
232 1.75 ad
233 1.78 ad KASSERT((sq != NULL) == (mp != NULL));
234 1.78 ad
235 1.75 ad /*
236 1.75 ad * Acquire the per-LWP mutex and lend it our sleep queue lock.
237 1.75 ad * Once interlocked, we can release the kernel lock.
238 1.75 ad */
239 1.75 ad lwp_lock(l);
240 1.78 ad if (mp != NULL) {
241 1.78 ad lwp_unlock_to(l, mp);
242 1.78 ad }
243 1.78 ad if (__predict_false((nlocks = l->l_blcnt) != 0)) {
244 1.78 ad KERNEL_UNLOCK_ALL(NULL, NULL);
245 1.78 ad }
246 1.77 ad return nlocks;
247 1.75 ad }
248 1.75 ad
249 1.75 ad /*
250 1.9 yamt * sleepq_enqueue:
251 1.9 yamt *
252 1.9 yamt * Enter an LWP into the sleep queue and prepare for sleep. The sleep
253 1.9 yamt * queue must already be locked, and any interlock (such as the kernel
254 1.9 yamt * lock) must have be released (see sleeptab_lookup(), sleepq_enter()).
255 1.9 yamt */
256 1.2 ad void
257 1.66 ad sleepq_enqueue(sleepq_t *sq, wchan_t wchan, const char *wmesg, syncobj_t *sobj,
258 1.66 ad bool catch_p)
259 1.2 ad {
260 1.8 ad lwp_t *l = curlwp;
261 1.2 ad
262 1.30 ad KASSERT(lwp_locked(l, NULL));
263 1.2 ad KASSERT(l->l_stat == LSONPROC);
264 1.74 riastrad KASSERT(l->l_wchan == NULL);
265 1.74 riastrad KASSERT(l->l_sleepq == NULL);
266 1.66 ad KASSERT((l->l_flag & LW_SINTR) == 0);
267 1.2 ad
268 1.2 ad l->l_syncobj = sobj;
269 1.2 ad l->l_wchan = wchan;
270 1.2 ad l->l_sleepq = sq;
271 1.2 ad l->l_wmesg = wmesg;
272 1.2 ad l->l_slptime = 0;
273 1.2 ad l->l_stat = LSSLEEP;
274 1.66 ad if (catch_p)
275 1.66 ad l->l_flag |= LW_SINTR;
276 1.2 ad
277 1.6 yamt sleepq_insert(sq, l, sobj);
278 1.29 rmind
279 1.29 rmind /* Save the time when thread has slept */
280 1.65 maxv l->l_slpticks = getticks();
281 1.15 rmind sched_slept(l);
282 1.6 yamt }
283 1.6 yamt
284 1.9 yamt /*
285 1.67 thorpej * sleepq_transfer:
286 1.67 thorpej *
287 1.67 thorpej * Move an LWP from one sleep queue to another. Both sleep queues
288 1.67 thorpej * must already be locked.
289 1.67 thorpej *
290 1.67 thorpej * The LWP will be updated with the new sleepq, wchan, wmesg,
291 1.67 thorpej * sobj, and mutex. The interruptible flag will also be updated.
292 1.67 thorpej */
293 1.67 thorpej void
294 1.67 thorpej sleepq_transfer(lwp_t *l, sleepq_t *from_sq, sleepq_t *sq, wchan_t wchan,
295 1.67 thorpej const char *wmesg, syncobj_t *sobj, kmutex_t *mp, bool catch_p)
296 1.67 thorpej {
297 1.67 thorpej
298 1.67 thorpej KASSERT(l->l_sleepq == from_sq);
299 1.67 thorpej
300 1.67 thorpej LIST_REMOVE(l, l_sleepchain);
301 1.67 thorpej l->l_syncobj = sobj;
302 1.67 thorpej l->l_wchan = wchan;
303 1.67 thorpej l->l_sleepq = sq;
304 1.67 thorpej l->l_wmesg = wmesg;
305 1.67 thorpej
306 1.67 thorpej if (catch_p)
307 1.69 thorpej l->l_flag = LW_SINTR | LW_CATCHINTR;
308 1.67 thorpej else
309 1.69 thorpej l->l_flag = ~(LW_SINTR | LW_CATCHINTR);
310 1.67 thorpej
311 1.69 thorpej /*
312 1.69 thorpej * This allows the transfer from one sleepq to another where
313 1.69 thorpej * it is known that they're both protected by the same lock.
314 1.69 thorpej */
315 1.69 thorpej if (mp != NULL)
316 1.69 thorpej lwp_setlock(l, mp);
317 1.67 thorpej
318 1.67 thorpej sleepq_insert(sq, l, sobj);
319 1.67 thorpej }
320 1.67 thorpej
321 1.67 thorpej /*
322 1.69 thorpej * sleepq_uncatch:
323 1.69 thorpej *
324 1.69 thorpej * Mark the LWP as no longer sleeping interruptibly.
325 1.69 thorpej */
326 1.69 thorpej void
327 1.69 thorpej sleepq_uncatch(lwp_t *l)
328 1.69 thorpej {
329 1.79 ad
330 1.80 ad l->l_flag &= ~(LW_SINTR | LW_CATCHINTR | LW_STIMO);
331 1.69 thorpej }
332 1.69 thorpej
333 1.69 thorpej /*
334 1.9 yamt * sleepq_block:
335 1.9 yamt *
336 1.9 yamt * After any intermediate step such as releasing an interlock, switch.
337 1.9 yamt * sleepq_block() may return early under exceptional conditions, for
338 1.9 yamt * example if the LWP's containing process is exiting.
339 1.48 apb *
340 1.48 apb * timo is a timeout in ticks. timo = 0 specifies an infinite timeout.
341 1.9 yamt */
342 1.9 yamt int
343 1.77 ad sleepq_block(int timo, bool catch_p, syncobj_t *syncobj, int nlocks)
344 1.6 yamt {
345 1.84 ad const int mask = LW_CANCELLED|LW_WEXIT|LW_WCORE|LW_PENDSIG|LW_RESTART;
346 1.81 ad int error = 0, sig, flag;
347 1.9 yamt struct proc *p;
348 1.8 ad lwp_t *l = curlwp;
349 1.11 ad bool early = false;
350 1.2 ad
351 1.72 riastrad ktrcsw(1, 0, syncobj);
352 1.4 ad
353 1.2 ad /*
354 1.2 ad * If sleeping interruptably, check for pending signals, exits or
355 1.66 ad * core dump events.
356 1.69 thorpej *
357 1.69 thorpej * Note the usage of LW_CATCHINTR. This expresses our intent
358 1.69 thorpej * to catch or not catch sleep interruptions, which might change
359 1.69 thorpej * while we are sleeping. It is independent from LW_SINTR because
360 1.69 thorpej * we don't want to leave LW_SINTR set when the LWP is not asleep.
361 1.2 ad */
362 1.84 ad flag = l->l_flag;
363 1.50 matt if (catch_p) {
364 1.84 ad if ((flag & mask) != 0) {
365 1.84 ad if ((flag & (LW_CANCELLED|LW_WEXIT|LW_WCORE)) != 0) {
366 1.84 ad l->l_flag = flag & ~LW_CANCELLED;
367 1.84 ad error = EINTR;
368 1.84 ad early = true;
369 1.84 ad } else if ((flag & LW_PENDSIG) != 0 &&
370 1.84 ad sigispending(l, 0))
371 1.84 ad early = true;
372 1.84 ad }
373 1.84 ad l->l_flag = (flag | LW_CATCHINTR) & ~LW_RESTART;
374 1.69 thorpej } else
375 1.84 ad l->l_flag = flag & ~(LW_CATCHINTR | LW_RESTART);
376 1.2 ad
377 1.13 yamt if (early) {
378 1.13 yamt /* lwp_unsleep() will release the lock */
379 1.22 ad lwp_unsleep(l, true);
380 1.13 yamt } else {
381 1.66 ad /*
382 1.66 ad * The LWP may have already been awoken if the caller
383 1.66 ad * dropped the sleep queue lock between sleepq_enqueue() and
384 1.70 msaitoh * sleepq_block(). If that happens l_stat will be LSONPROC
385 1.66 ad * and mi_switch() will treat this as a preemption. No need
386 1.66 ad * to do anything special here.
387 1.66 ad */
388 1.46 rmind if (timo) {
389 1.64 ad l->l_flag &= ~LW_STIMO;
390 1.14 ad callout_schedule(&l->l_timeout_ch, timo);
391 1.46 rmind }
392 1.76 ad l->l_boostpri = l->l_syncobj->sobj_boostpri;
393 1.54 ad spc_lock(l->l_cpu);
394 1.46 rmind mi_switch(l);
395 1.11 ad
396 1.11 ad /* The LWP and sleep queue are now unlocked. */
397 1.11 ad if (timo) {
398 1.11 ad /*
399 1.52 ad * Even if the callout appears to have fired, we
400 1.52 ad * need to stop it in order to synchronise with
401 1.52 ad * other CPUs. It's important that we do this in
402 1.52 ad * this LWP's context, and not during wakeup, in
403 1.52 ad * order to keep the callout & its cache lines
404 1.52 ad * co-located on the CPU with the LWP.
405 1.11 ad */
406 1.64 ad (void)callout_halt(&l->l_timeout_ch, NULL);
407 1.64 ad error = (l->l_flag & LW_STIMO) ? EWOULDBLOCK : 0;
408 1.11 ad }
409 1.2 ad }
410 1.2 ad
411 1.69 thorpej /*
412 1.69 thorpej * LW_CATCHINTR is only modified in this function OR when we
413 1.69 thorpej * are asleep (with the sleepq locked). We can therefore safely
414 1.69 thorpej * test it unlocked here as it is guaranteed to be stable by
415 1.69 thorpej * virtue of us running.
416 1.69 thorpej *
417 1.69 thorpej * We do not bother clearing it if set; that would require us
418 1.69 thorpej * to take the LWP lock, and it doesn't seem worth the hassle
419 1.69 thorpej * considering it is only meaningful here inside this function,
420 1.69 thorpej * and is set to reflect intent upon entry.
421 1.69 thorpej */
422 1.81 ad flag = atomic_load_relaxed(&l->l_flag);
423 1.81 ad if (__predict_false((flag & mask) != 0)) {
424 1.83 ad if ((flag & LW_CATCHINTR) == 0 || error != 0)
425 1.81 ad /* nothing */;
426 1.81 ad else if ((flag & (LW_CANCELLED | LW_WEXIT | LW_WCORE)) != 0)
427 1.2 ad error = EINTR;
428 1.81 ad else if ((flag & LW_PENDSIG) != 0) {
429 1.33 ad /*
430 1.33 ad * Acquiring p_lock may cause us to recurse
431 1.33 ad * through the sleep path and back into this
432 1.33 ad * routine, but is safe because LWPs sleeping
433 1.62 ad * on locks are non-interruptable and we will
434 1.33 ad * not recurse again.
435 1.33 ad */
436 1.82 ad p = l->l_proc;
437 1.27 ad mutex_enter(p->p_lock);
438 1.43 christos if (((sig = sigispending(l, 0)) != 0 &&
439 1.43 christos (sigprop[sig] & SA_STOP) == 0) ||
440 1.43 christos (sig = issignal(l)) != 0)
441 1.2 ad error = sleepq_sigtoerror(l, sig);
442 1.27 ad mutex_exit(p->p_lock);
443 1.84 ad } else if ((flag & LW_RESTART) != 0)
444 1.84 ad error = ERESTART;
445 1.2 ad }
446 1.2 ad
447 1.72 riastrad ktrcsw(0, 0, syncobj);
448 1.77 ad if (__predict_false(nlocks != 0)) {
449 1.77 ad KERNEL_LOCK(nlocks, NULL);
450 1.30 ad }
451 1.2 ad return error;
452 1.2 ad }
453 1.2 ad
454 1.2 ad /*
455 1.2 ad * sleepq_wake:
456 1.2 ad *
457 1.2 ad * Wake zero or more LWPs blocked on a single wait channel.
458 1.2 ad */
459 1.49 pooka void
460 1.30 ad sleepq_wake(sleepq_t *sq, wchan_t wchan, u_int expected, kmutex_t *mp)
461 1.2 ad {
462 1.8 ad lwp_t *l, *next;
463 1.2 ad
464 1.30 ad KASSERT(mutex_owned(mp));
465 1.2 ad
466 1.63 ad for (l = LIST_FIRST(sq); l != NULL; l = next) {
467 1.2 ad KASSERT(l->l_sleepq == sq);
468 1.30 ad KASSERT(l->l_mutex == mp);
469 1.63 ad next = LIST_NEXT(l, l_sleepchain);
470 1.2 ad if (l->l_wchan != wchan)
471 1.2 ad continue;
472 1.82 ad sleepq_remove(sq, l, true);
473 1.2 ad if (--expected == 0)
474 1.2 ad break;
475 1.2 ad }
476 1.2 ad
477 1.30 ad mutex_spin_exit(mp);
478 1.2 ad }
479 1.2 ad
480 1.2 ad /*
481 1.2 ad * sleepq_unsleep:
482 1.2 ad *
483 1.2 ad * Remove an LWP from its sleep queue and set it runnable again.
484 1.2 ad * sleepq_unsleep() is called with the LWP's mutex held, and will
485 1.52 ad * release it if "unlock" is true.
486 1.2 ad */
487 1.37 rmind void
488 1.52 ad sleepq_unsleep(lwp_t *l, bool unlock)
489 1.2 ad {
490 1.2 ad sleepq_t *sq = l->l_sleepq;
491 1.30 ad kmutex_t *mp = l->l_mutex;
492 1.2 ad
493 1.30 ad KASSERT(lwp_locked(l, mp));
494 1.2 ad KASSERT(l->l_wchan != NULL);
495 1.2 ad
496 1.82 ad sleepq_remove(sq, l, false);
497 1.52 ad if (unlock) {
498 1.30 ad mutex_spin_exit(mp);
499 1.22 ad }
500 1.2 ad }
501 1.2 ad
502 1.2 ad /*
503 1.2 ad * sleepq_timeout:
504 1.2 ad *
505 1.2 ad * Entered via the callout(9) subsystem to time out an LWP that is on a
506 1.2 ad * sleep queue.
507 1.2 ad */
508 1.2 ad void
509 1.2 ad sleepq_timeout(void *arg)
510 1.2 ad {
511 1.8 ad lwp_t *l = arg;
512 1.2 ad
513 1.2 ad /*
514 1.2 ad * Lock the LWP. Assuming it's still on the sleep queue, its
515 1.2 ad * current mutex will also be the sleep queue mutex.
516 1.2 ad */
517 1.2 ad lwp_lock(l);
518 1.2 ad
519 1.82 ad if (l->l_wchan == NULL || l->l_syncobj == &callout_syncobj) {
520 1.82 ad /*
521 1.82 ad * Somebody beat us to it, or the LWP is blocked in
522 1.82 ad * callout_halt() waiting for us to finish here. In
523 1.82 ad * neither case should the LWP produce EWOULDBLOCK.
524 1.82 ad */
525 1.2 ad lwp_unlock(l);
526 1.2 ad return;
527 1.2 ad }
528 1.2 ad
529 1.64 ad l->l_flag |= LW_STIMO;
530 1.22 ad lwp_unsleep(l, true);
531 1.2 ad }
532 1.2 ad
533 1.2 ad /*
534 1.2 ad * sleepq_sigtoerror:
535 1.2 ad *
536 1.2 ad * Given a signal number, interpret and return an error code.
537 1.2 ad */
538 1.39 rmind static int
539 1.8 ad sleepq_sigtoerror(lwp_t *l, int sig)
540 1.2 ad {
541 1.2 ad struct proc *p = l->l_proc;
542 1.2 ad int error;
543 1.2 ad
544 1.27 ad KASSERT(mutex_owned(p->p_lock));
545 1.2 ad
546 1.2 ad /*
547 1.2 ad * If this sleep was canceled, don't let the syscall restart.
548 1.2 ad */
549 1.2 ad if ((SIGACTION(p, sig).sa_flags & SA_RESTART) == 0)
550 1.2 ad error = EINTR;
551 1.2 ad else
552 1.2 ad error = ERESTART;
553 1.2 ad
554 1.2 ad return error;
555 1.2 ad }
556 1.2 ad
557 1.2 ad /*
558 1.2 ad * sleepq_abort:
559 1.2 ad *
560 1.2 ad * After a panic or during autoconfiguration, lower the interrupt
561 1.2 ad * priority level to give pending interrupts a chance to run, and
562 1.2 ad * then return. Called if sleepq_dontsleep() returns non-zero, and
563 1.2 ad * always returns zero.
564 1.2 ad */
565 1.2 ad int
566 1.2 ad sleepq_abort(kmutex_t *mtx, int unlock)
567 1.2 ad {
568 1.2 ad int s;
569 1.2 ad
570 1.2 ad s = splhigh();
571 1.47 matt splx(IPL_SAFEPRI);
572 1.2 ad splx(s);
573 1.2 ad if (mtx != NULL && unlock != 0)
574 1.2 ad mutex_exit(mtx);
575 1.2 ad
576 1.2 ad return 0;
577 1.2 ad }
578 1.2 ad
579 1.2 ad /*
580 1.44 yamt * sleepq_reinsert:
581 1.2 ad *
582 1.71 andvar * Move the position of the lwp in the sleep queue after a possible
583 1.44 yamt * change of the lwp's effective priority.
584 1.2 ad */
585 1.44 yamt static void
586 1.44 yamt sleepq_reinsert(sleepq_t *sq, lwp_t *l)
587 1.2 ad {
588 1.2 ad
589 1.44 yamt KASSERT(l->l_sleepq == sq);
590 1.59 ad if ((l->l_syncobj->sobj_flag & SOBJ_SLEEPQ_SORTED) == 0) {
591 1.32 ad return;
592 1.32 ad }
593 1.32 ad
594 1.32 ad /*
595 1.32 ad * Don't let the sleep queue become empty, even briefly.
596 1.32 ad * cv_signal() and cv_broadcast() inspect it without the
597 1.32 ad * sleep queue lock held and need to see a non-empty queue
598 1.32 ad * head if there are waiters.
599 1.32 ad */
600 1.63 ad if (LIST_FIRST(sq) == l && LIST_NEXT(l, l_sleepchain) == NULL) {
601 1.32 ad return;
602 1.18 ad }
603 1.63 ad LIST_REMOVE(l, l_sleepchain);
604 1.32 ad sleepq_insert(sq, l, l->l_syncobj);
605 1.2 ad }
606 1.6 yamt
607 1.44 yamt /*
608 1.44 yamt * sleepq_changepri:
609 1.44 yamt *
610 1.44 yamt * Adjust the priority of an LWP residing on a sleepq.
611 1.44 yamt */
612 1.44 yamt void
613 1.44 yamt sleepq_changepri(lwp_t *l, pri_t pri)
614 1.44 yamt {
615 1.44 yamt sleepq_t *sq = l->l_sleepq;
616 1.44 yamt
617 1.44 yamt KASSERT(lwp_locked(l, NULL));
618 1.44 yamt
619 1.44 yamt l->l_priority = pri;
620 1.44 yamt sleepq_reinsert(sq, l);
621 1.44 yamt }
622 1.44 yamt
623 1.44 yamt /*
624 1.44 yamt * sleepq_changepri:
625 1.44 yamt *
626 1.44 yamt * Adjust the lended priority of an LWP residing on a sleepq.
627 1.44 yamt */
628 1.6 yamt void
629 1.8 ad sleepq_lendpri(lwp_t *l, pri_t pri)
630 1.6 yamt {
631 1.6 yamt sleepq_t *sq = l->l_sleepq;
632 1.6 yamt
633 1.30 ad KASSERT(lwp_locked(l, NULL));
634 1.6 yamt
635 1.6 yamt l->l_inheritedprio = pri;
636 1.51 christos l->l_auxprio = MAX(l->l_inheritedprio, l->l_protectprio);
637 1.44 yamt sleepq_reinsert(sq, l);
638 1.6 yamt }
639