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