kern_sleepq.c revision 1.26 1 1.26 ad /* $NetBSD: kern_sleepq.c,v 1.26 2008/04/22 12:04:22 ad Exp $ */
2 1.2 ad
3 1.2 ad /*-
4 1.22 ad * Copyright (c) 2006, 2007, 2008 The NetBSD Foundation, Inc.
5 1.2 ad * All rights reserved.
6 1.2 ad *
7 1.2 ad * This code is derived from software contributed to The NetBSD Foundation
8 1.2 ad * by Andrew Doran.
9 1.2 ad *
10 1.2 ad * Redistribution and use in source and binary forms, with or without
11 1.2 ad * modification, are permitted provided that the following conditions
12 1.2 ad * are met:
13 1.2 ad * 1. Redistributions of source code must retain the above copyright
14 1.2 ad * notice, this list of conditions and the following disclaimer.
15 1.2 ad * 2. Redistributions in binary form must reproduce the above copyright
16 1.2 ad * notice, this list of conditions and the following disclaimer in the
17 1.2 ad * documentation and/or other materials provided with the distribution.
18 1.2 ad * 3. All advertising materials mentioning features or use of this software
19 1.2 ad * must display the following acknowledgement:
20 1.2 ad * This product includes software developed by the NetBSD
21 1.2 ad * Foundation, Inc. and its contributors.
22 1.2 ad * 4. Neither the name of The NetBSD Foundation nor the names of its
23 1.2 ad * contributors may be used to endorse or promote products derived
24 1.2 ad * from this software without specific prior written permission.
25 1.2 ad *
26 1.2 ad * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
27 1.2 ad * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
28 1.2 ad * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
29 1.2 ad * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
30 1.2 ad * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
31 1.2 ad * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
32 1.2 ad * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
33 1.2 ad * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
34 1.2 ad * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
35 1.2 ad * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
36 1.2 ad * POSSIBILITY OF SUCH DAMAGE.
37 1.2 ad */
38 1.2 ad
39 1.2 ad /*
40 1.2 ad * Sleep queue implementation, used by turnstiles and general sleep/wakeup
41 1.2 ad * interfaces.
42 1.2 ad */
43 1.2 ad
44 1.2 ad #include <sys/cdefs.h>
45 1.26 ad __KERNEL_RCSID(0, "$NetBSD: kern_sleepq.c,v 1.26 2008/04/22 12:04:22 ad Exp $");
46 1.2 ad
47 1.2 ad #include <sys/param.h>
48 1.2 ad #include <sys/kernel.h>
49 1.9 yamt #include <sys/cpu.h>
50 1.2 ad #include <sys/pool.h>
51 1.2 ad #include <sys/proc.h>
52 1.2 ad #include <sys/resourcevar.h>
53 1.2 ad #include <sys/sched.h>
54 1.2 ad #include <sys/systm.h>
55 1.2 ad #include <sys/sleepq.h>
56 1.2 ad #include <sys/ktrace.h>
57 1.2 ad
58 1.4 ad #include <uvm/uvm_extern.h>
59 1.4 ad
60 1.8 ad int sleepq_sigtoerror(lwp_t *, int);
61 1.2 ad
62 1.2 ad /* General purpose sleep table, used by ltsleep() and condition variables. */
63 1.2 ad sleeptab_t sleeptab;
64 1.2 ad
65 1.2 ad /*
66 1.2 ad * sleeptab_init:
67 1.2 ad *
68 1.2 ad * Initialize a sleep table.
69 1.2 ad */
70 1.2 ad void
71 1.2 ad sleeptab_init(sleeptab_t *st)
72 1.2 ad {
73 1.2 ad sleepq_t *sq;
74 1.2 ad int i;
75 1.2 ad
76 1.2 ad for (i = 0; i < SLEEPTAB_HASH_SIZE; i++) {
77 1.2 ad sq = &st->st_queues[i].st_queue;
78 1.19 ad mutex_init(&st->st_queues[i].st_mutex, MUTEX_DEFAULT,
79 1.19 ad IPL_SCHED);
80 1.2 ad sleepq_init(sq, &st->st_queues[i].st_mutex);
81 1.2 ad }
82 1.2 ad }
83 1.2 ad
84 1.2 ad /*
85 1.2 ad * sleepq_init:
86 1.2 ad *
87 1.2 ad * Prepare a sleep queue for use.
88 1.2 ad */
89 1.2 ad void
90 1.2 ad sleepq_init(sleepq_t *sq, kmutex_t *mtx)
91 1.2 ad {
92 1.2 ad
93 1.2 ad sq->sq_waiters = 0;
94 1.2 ad sq->sq_mutex = mtx;
95 1.2 ad TAILQ_INIT(&sq->sq_queue);
96 1.2 ad }
97 1.2 ad
98 1.2 ad /*
99 1.2 ad * sleepq_remove:
100 1.2 ad *
101 1.2 ad * Remove an LWP from a sleep queue and wake it up. Return non-zero if
102 1.2 ad * the LWP is swapped out; if so the caller needs to awaken the swapper
103 1.2 ad * to bring the LWP into memory.
104 1.2 ad */
105 1.2 ad int
106 1.8 ad sleepq_remove(sleepq_t *sq, lwp_t *l)
107 1.2 ad {
108 1.9 yamt struct schedstate_percpu *spc;
109 1.2 ad struct cpu_info *ci;
110 1.2 ad
111 1.4 ad KASSERT(lwp_locked(l, sq->sq_mutex));
112 1.2 ad KASSERT(sq->sq_waiters > 0);
113 1.2 ad
114 1.2 ad sq->sq_waiters--;
115 1.2 ad TAILQ_REMOVE(&sq->sq_queue, l, l_sleepchain);
116 1.2 ad
117 1.2 ad #ifdef DIAGNOSTIC
118 1.2 ad if (sq->sq_waiters == 0)
119 1.2 ad KASSERT(TAILQ_FIRST(&sq->sq_queue) == NULL);
120 1.2 ad else
121 1.2 ad KASSERT(TAILQ_FIRST(&sq->sq_queue) != NULL);
122 1.2 ad #endif
123 1.2 ad
124 1.2 ad l->l_syncobj = &sched_syncobj;
125 1.2 ad l->l_wchan = NULL;
126 1.2 ad l->l_sleepq = NULL;
127 1.5 pavel l->l_flag &= ~LW_SINTR;
128 1.2 ad
129 1.9 yamt ci = l->l_cpu;
130 1.9 yamt spc = &ci->ci_schedstate;
131 1.9 yamt
132 1.2 ad /*
133 1.2 ad * If not sleeping, the LWP must have been suspended. Let whoever
134 1.2 ad * holds it stopped set it running again.
135 1.2 ad */
136 1.2 ad if (l->l_stat != LSSLEEP) {
137 1.16 rmind KASSERT(l->l_stat == LSSTOP || l->l_stat == LSSUSPENDED);
138 1.21 ad lwp_setlock(l, spc->spc_lwplock);
139 1.2 ad return 0;
140 1.2 ad }
141 1.2 ad
142 1.2 ad /*
143 1.2 ad * If the LWP is still on the CPU, mark it as LSONPROC. It may be
144 1.2 ad * about to call mi_switch(), in which case it will yield.
145 1.2 ad */
146 1.9 yamt if ((l->l_flag & LW_RUNNING) != 0) {
147 1.2 ad l->l_stat = LSONPROC;
148 1.2 ad l->l_slptime = 0;
149 1.21 ad lwp_setlock(l, spc->spc_lwplock);
150 1.2 ad return 0;
151 1.2 ad }
152 1.2 ad
153 1.2 ad /*
154 1.16 rmind * Call the wake-up handler of scheduler.
155 1.16 rmind * It might change the CPU for this thread.
156 1.16 rmind */
157 1.16 rmind sched_wakeup(l);
158 1.16 rmind ci = l->l_cpu;
159 1.16 rmind spc = &ci->ci_schedstate;
160 1.16 rmind
161 1.16 rmind /*
162 1.17 yamt * Set it running.
163 1.2 ad */
164 1.9 yamt spc_lock(ci);
165 1.9 yamt lwp_setlock(l, spc->spc_mutex);
166 1.9 yamt sched_setrunnable(l);
167 1.2 ad l->l_stat = LSRUN;
168 1.2 ad l->l_slptime = 0;
169 1.5 pavel if ((l->l_flag & LW_INMEM) != 0) {
170 1.9 yamt sched_enqueue(l, false);
171 1.9 yamt spc_unlock(ci);
172 1.2 ad return 0;
173 1.2 ad }
174 1.9 yamt spc_unlock(ci);
175 1.2 ad return 1;
176 1.2 ad }
177 1.2 ad
178 1.2 ad /*
179 1.2 ad * sleepq_insert:
180 1.2 ad *
181 1.2 ad * Insert an LWP into the sleep queue, optionally sorting by priority.
182 1.2 ad */
183 1.2 ad inline void
184 1.8 ad sleepq_insert(sleepq_t *sq, lwp_t *l, syncobj_t *sobj)
185 1.2 ad {
186 1.8 ad lwp_t *l2;
187 1.6 yamt const int pri = lwp_eprio(l);
188 1.2 ad
189 1.2 ad if ((sobj->sobj_flag & SOBJ_SLEEPQ_SORTED) != 0) {
190 1.2 ad TAILQ_FOREACH(l2, &sq->sq_queue, l_sleepchain) {
191 1.18 ad if (lwp_eprio(l2) < pri) {
192 1.2 ad TAILQ_INSERT_BEFORE(l2, l, l_sleepchain);
193 1.2 ad return;
194 1.2 ad }
195 1.2 ad }
196 1.2 ad }
197 1.2 ad
198 1.14 ad if ((sobj->sobj_flag & SOBJ_SLEEPQ_LIFO) != 0)
199 1.14 ad TAILQ_INSERT_HEAD(&sq->sq_queue, l, l_sleepchain);
200 1.14 ad else
201 1.14 ad TAILQ_INSERT_TAIL(&sq->sq_queue, l, l_sleepchain);
202 1.2 ad }
203 1.2 ad
204 1.9 yamt /*
205 1.9 yamt * sleepq_enqueue:
206 1.9 yamt *
207 1.9 yamt * Enter an LWP into the sleep queue and prepare for sleep. The sleep
208 1.9 yamt * queue must already be locked, and any interlock (such as the kernel
209 1.9 yamt * lock) must have be released (see sleeptab_lookup(), sleepq_enter()).
210 1.9 yamt */
211 1.2 ad void
212 1.18 ad sleepq_enqueue(sleepq_t *sq, wchan_t wchan, const char *wmesg, syncobj_t *sobj)
213 1.2 ad {
214 1.8 ad lwp_t *l = curlwp;
215 1.2 ad
216 1.24 yamt KASSERT(lwp_locked(l, sq->sq_mutex));
217 1.2 ad KASSERT(l->l_stat == LSONPROC);
218 1.2 ad KASSERT(l->l_wchan == NULL && l->l_sleepq == NULL);
219 1.2 ad
220 1.2 ad l->l_syncobj = sobj;
221 1.2 ad l->l_wchan = wchan;
222 1.2 ad l->l_sleepq = sq;
223 1.2 ad l->l_wmesg = wmesg;
224 1.2 ad l->l_slptime = 0;
225 1.2 ad l->l_stat = LSSLEEP;
226 1.2 ad l->l_sleeperr = 0;
227 1.2 ad
228 1.2 ad sq->sq_waiters++;
229 1.6 yamt sleepq_insert(sq, l, sobj);
230 1.15 rmind sched_slept(l);
231 1.6 yamt }
232 1.6 yamt
233 1.9 yamt /*
234 1.9 yamt * sleepq_block:
235 1.9 yamt *
236 1.9 yamt * After any intermediate step such as releasing an interlock, switch.
237 1.9 yamt * sleepq_block() may return early under exceptional conditions, for
238 1.9 yamt * example if the LWP's containing process is exiting.
239 1.9 yamt */
240 1.9 yamt int
241 1.9 yamt sleepq_block(int timo, bool catch)
242 1.6 yamt {
243 1.10 ad int error = 0, sig;
244 1.9 yamt struct proc *p;
245 1.8 ad lwp_t *l = curlwp;
246 1.11 ad bool early = false;
247 1.2 ad
248 1.12 ad ktrcsw(1, 0);
249 1.4 ad
250 1.2 ad /*
251 1.2 ad * If sleeping interruptably, check for pending signals, exits or
252 1.2 ad * core dump events.
253 1.2 ad */
254 1.2 ad if (catch) {
255 1.5 pavel l->l_flag |= LW_SINTR;
256 1.5 pavel if ((l->l_flag & (LW_CANCELLED|LW_WEXIT|LW_WCORE)) != 0) {
257 1.5 pavel l->l_flag &= ~LW_CANCELLED;
258 1.14 ad error = EINTR;
259 1.14 ad early = true;
260 1.14 ad } else if ((l->l_flag & LW_PENDSIG) != 0 && sigispending(l, 0))
261 1.11 ad early = true;
262 1.2 ad }
263 1.2 ad
264 1.13 yamt if (early) {
265 1.13 yamt /* lwp_unsleep() will release the lock */
266 1.22 ad lwp_unsleep(l, true);
267 1.13 yamt } else {
268 1.11 ad if (timo)
269 1.14 ad callout_schedule(&l->l_timeout_ch, timo);
270 1.11 ad mi_switch(l);
271 1.11 ad
272 1.11 ad /* The LWP and sleep queue are now unlocked. */
273 1.11 ad if (timo) {
274 1.11 ad /*
275 1.11 ad * Even if the callout appears to have fired, we need to
276 1.11 ad * stop it in order to synchronise with other CPUs.
277 1.11 ad */
278 1.26 ad if (callout_halt(&l->l_timeout_ch, NULL))
279 1.11 ad error = EWOULDBLOCK;
280 1.11 ad }
281 1.2 ad }
282 1.2 ad
283 1.9 yamt if (catch && error == 0) {
284 1.2 ad p = l->l_proc;
285 1.5 pavel if ((l->l_flag & (LW_CANCELLED | LW_WEXIT | LW_WCORE)) != 0)
286 1.2 ad error = EINTR;
287 1.5 pavel else if ((l->l_flag & LW_PENDSIG) != 0) {
288 1.2 ad mutex_enter(&p->p_smutex);
289 1.2 ad if ((sig = issignal(l)) != 0)
290 1.2 ad error = sleepq_sigtoerror(l, sig);
291 1.2 ad mutex_exit(&p->p_smutex);
292 1.2 ad }
293 1.2 ad }
294 1.2 ad
295 1.12 ad ktrcsw(0, 0);
296 1.2 ad
297 1.2 ad KERNEL_LOCK(l->l_biglocks, l);
298 1.2 ad return error;
299 1.2 ad }
300 1.2 ad
301 1.2 ad /*
302 1.2 ad * sleepq_wake:
303 1.2 ad *
304 1.2 ad * Wake zero or more LWPs blocked on a single wait channel.
305 1.2 ad */
306 1.8 ad lwp_t *
307 1.2 ad sleepq_wake(sleepq_t *sq, wchan_t wchan, u_int expected)
308 1.2 ad {
309 1.8 ad lwp_t *l, *next;
310 1.2 ad int swapin = 0;
311 1.2 ad
312 1.4 ad KASSERT(mutex_owned(sq->sq_mutex));
313 1.2 ad
314 1.2 ad for (l = TAILQ_FIRST(&sq->sq_queue); l != NULL; l = next) {
315 1.2 ad KASSERT(l->l_sleepq == sq);
316 1.24 yamt KASSERT(l->l_mutex == sq->sq_mutex);
317 1.2 ad next = TAILQ_NEXT(l, l_sleepchain);
318 1.2 ad if (l->l_wchan != wchan)
319 1.2 ad continue;
320 1.2 ad swapin |= sleepq_remove(sq, l);
321 1.2 ad if (--expected == 0)
322 1.2 ad break;
323 1.2 ad }
324 1.2 ad
325 1.2 ad sleepq_unlock(sq);
326 1.2 ad
327 1.2 ad /*
328 1.2 ad * If there are newly awakend threads that need to be swapped in,
329 1.2 ad * then kick the swapper into action.
330 1.2 ad */
331 1.2 ad if (swapin)
332 1.4 ad uvm_kick_scheduler();
333 1.8 ad
334 1.8 ad return l;
335 1.2 ad }
336 1.2 ad
337 1.2 ad /*
338 1.2 ad * sleepq_unsleep:
339 1.2 ad *
340 1.2 ad * Remove an LWP from its sleep queue and set it runnable again.
341 1.2 ad * sleepq_unsleep() is called with the LWP's mutex held, and will
342 1.2 ad * always release it.
343 1.2 ad */
344 1.22 ad u_int
345 1.22 ad sleepq_unsleep(lwp_t *l, bool cleanup)
346 1.2 ad {
347 1.2 ad sleepq_t *sq = l->l_sleepq;
348 1.2 ad int swapin;
349 1.2 ad
350 1.24 yamt KASSERT(lwp_locked(l, sq->sq_mutex));
351 1.2 ad KASSERT(l->l_wchan != NULL);
352 1.2 ad
353 1.2 ad swapin = sleepq_remove(sq, l);
354 1.2 ad
355 1.22 ad if (cleanup) {
356 1.22 ad sleepq_unlock(sq);
357 1.22 ad if (swapin)
358 1.22 ad uvm_kick_scheduler();
359 1.22 ad }
360 1.22 ad
361 1.22 ad return swapin;
362 1.2 ad }
363 1.2 ad
364 1.2 ad /*
365 1.2 ad * sleepq_timeout:
366 1.2 ad *
367 1.2 ad * Entered via the callout(9) subsystem to time out an LWP that is on a
368 1.2 ad * sleep queue.
369 1.2 ad */
370 1.2 ad void
371 1.2 ad sleepq_timeout(void *arg)
372 1.2 ad {
373 1.8 ad lwp_t *l = arg;
374 1.2 ad
375 1.2 ad /*
376 1.2 ad * Lock the LWP. Assuming it's still on the sleep queue, its
377 1.2 ad * current mutex will also be the sleep queue mutex.
378 1.2 ad */
379 1.2 ad lwp_lock(l);
380 1.2 ad
381 1.2 ad if (l->l_wchan == NULL) {
382 1.2 ad /* Somebody beat us to it. */
383 1.2 ad lwp_unlock(l);
384 1.2 ad return;
385 1.2 ad }
386 1.2 ad
387 1.22 ad lwp_unsleep(l, true);
388 1.2 ad }
389 1.2 ad
390 1.2 ad /*
391 1.2 ad * sleepq_sigtoerror:
392 1.2 ad *
393 1.2 ad * Given a signal number, interpret and return an error code.
394 1.2 ad */
395 1.2 ad int
396 1.8 ad sleepq_sigtoerror(lwp_t *l, int sig)
397 1.2 ad {
398 1.2 ad struct proc *p = l->l_proc;
399 1.2 ad int error;
400 1.2 ad
401 1.4 ad KASSERT(mutex_owned(&p->p_smutex));
402 1.2 ad
403 1.2 ad /*
404 1.2 ad * If this sleep was canceled, don't let the syscall restart.
405 1.2 ad */
406 1.2 ad if ((SIGACTION(p, sig).sa_flags & SA_RESTART) == 0)
407 1.2 ad error = EINTR;
408 1.2 ad else
409 1.2 ad error = ERESTART;
410 1.2 ad
411 1.2 ad return error;
412 1.2 ad }
413 1.2 ad
414 1.2 ad /*
415 1.2 ad * sleepq_abort:
416 1.2 ad *
417 1.2 ad * After a panic or during autoconfiguration, lower the interrupt
418 1.2 ad * priority level to give pending interrupts a chance to run, and
419 1.2 ad * then return. Called if sleepq_dontsleep() returns non-zero, and
420 1.2 ad * always returns zero.
421 1.2 ad */
422 1.2 ad int
423 1.2 ad sleepq_abort(kmutex_t *mtx, int unlock)
424 1.2 ad {
425 1.2 ad extern int safepri;
426 1.2 ad int s;
427 1.2 ad
428 1.2 ad s = splhigh();
429 1.2 ad splx(safepri);
430 1.2 ad splx(s);
431 1.2 ad if (mtx != NULL && unlock != 0)
432 1.2 ad mutex_exit(mtx);
433 1.2 ad
434 1.2 ad return 0;
435 1.2 ad }
436 1.2 ad
437 1.2 ad /*
438 1.2 ad * sleepq_changepri:
439 1.2 ad *
440 1.2 ad * Adjust the priority of an LWP residing on a sleepq. This method
441 1.2 ad * will only alter the user priority; the effective priority is
442 1.2 ad * assumed to have been fixed at the time of insertion into the queue.
443 1.2 ad */
444 1.2 ad void
445 1.8 ad sleepq_changepri(lwp_t *l, pri_t pri)
446 1.2 ad {
447 1.18 ad sleepq_t *sq = l->l_sleepq;
448 1.18 ad pri_t opri;
449 1.18 ad
450 1.18 ad KASSERT(lwp_locked(l, sq->sq_mutex));
451 1.2 ad
452 1.18 ad opri = lwp_eprio(l);
453 1.18 ad l->l_priority = pri;
454 1.18 ad if (lwp_eprio(l) != opri) {
455 1.18 ad TAILQ_REMOVE(&sq->sq_queue, l, l_sleepchain);
456 1.18 ad sleepq_insert(sq, l, l->l_syncobj);
457 1.18 ad }
458 1.2 ad }
459 1.6 yamt
460 1.6 yamt void
461 1.8 ad sleepq_lendpri(lwp_t *l, pri_t pri)
462 1.6 yamt {
463 1.6 yamt sleepq_t *sq = l->l_sleepq;
464 1.7 yamt pri_t opri;
465 1.6 yamt
466 1.6 yamt KASSERT(lwp_locked(l, sq->sq_mutex));
467 1.6 yamt
468 1.6 yamt opri = lwp_eprio(l);
469 1.6 yamt l->l_inheritedprio = pri;
470 1.6 yamt
471 1.6 yamt if (lwp_eprio(l) != opri &&
472 1.6 yamt (l->l_syncobj->sobj_flag & SOBJ_SLEEPQ_SORTED) != 0) {
473 1.6 yamt TAILQ_REMOVE(&sq->sq_queue, l, l_sleepchain);
474 1.6 yamt sleepq_insert(sq, l, l->l_syncobj);
475 1.6 yamt }
476 1.6 yamt }
477