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