scheduler.c revision 1.8 1 1.8 pooka /* $NetBSD: scheduler.c,v 1.8 2009/12/01 09:50:51 pooka Exp $ */
2 1.1 pooka
3 1.1 pooka /*
4 1.1 pooka * Copyright (c) 2009 Antti Kantee. All Rights Reserved.
5 1.1 pooka *
6 1.1 pooka * Development of this software was supported by
7 1.1 pooka * The Finnish Cultural Foundation.
8 1.1 pooka *
9 1.1 pooka * Redistribution and use in source and binary forms, with or without
10 1.1 pooka * modification, are permitted provided that the following conditions
11 1.1 pooka * are met:
12 1.1 pooka * 1. Redistributions of source code must retain the above copyright
13 1.1 pooka * notice, this list of conditions and the following disclaimer.
14 1.1 pooka * 2. Redistributions in binary form must reproduce the above copyright
15 1.1 pooka * notice, this list of conditions and the following disclaimer in the
16 1.1 pooka * documentation and/or other materials provided with the distribution.
17 1.1 pooka *
18 1.1 pooka * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
19 1.1 pooka * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
20 1.1 pooka * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
21 1.1 pooka * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22 1.1 pooka * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23 1.1 pooka * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
24 1.1 pooka * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25 1.1 pooka * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26 1.1 pooka * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27 1.1 pooka * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28 1.1 pooka * SUCH DAMAGE.
29 1.1 pooka */
30 1.1 pooka
31 1.1 pooka #include <sys/cdefs.h>
32 1.8 pooka __KERNEL_RCSID(0, "$NetBSD: scheduler.c,v 1.8 2009/12/01 09:50:51 pooka Exp $");
33 1.1 pooka
34 1.1 pooka #include <sys/param.h>
35 1.1 pooka #include <sys/cpu.h>
36 1.2 pooka #include <sys/kmem.h>
37 1.1 pooka #include <sys/mutex.h>
38 1.8 pooka #include <sys/namei.h>
39 1.1 pooka #include <sys/queue.h>
40 1.1 pooka #include <sys/select.h>
41 1.1 pooka
42 1.1 pooka #include <rump/rumpuser.h>
43 1.1 pooka
44 1.1 pooka #include "rump_private.h"
45 1.1 pooka
46 1.1 pooka /* should go for MAXCPUS at some point */
47 1.8 pooka static struct cpu_info rump_cpus[MAXCPUS];
48 1.1 pooka static struct rumpcpu {
49 1.1 pooka struct cpu_info *rcpu_ci;
50 1.8 pooka int rcpu_flags;
51 1.8 pooka struct rumpuser_cv *rcpu_cv;
52 1.8 pooka LIST_ENTRY(rumpcpu) rcpu_entries;
53 1.8 pooka } rcpu_storage[MAXCPUS];
54 1.1 pooka struct cpu_info *rump_cpu = &rump_cpus[0];
55 1.1 pooka int ncpu = 1;
56 1.1 pooka
57 1.8 pooka #define RCPU_WANTED 0x01 /* someone wants this specific CPU */
58 1.8 pooka #define RCPU_BUSY 0x02 /* CPU is busy */
59 1.8 pooka #define RCPU_FREELIST 0x04 /* CPU is on freelist */
60 1.8 pooka
61 1.8 pooka static LIST_HEAD(,rumpcpu) cpu_freelist = LIST_HEAD_INITIALIZER(cpu_freelist);
62 1.1 pooka static struct rumpuser_mtx *schedmtx;
63 1.3 pooka static struct rumpuser_cv *schedcv, *lwp0cv;
64 1.3 pooka
65 1.3 pooka static bool lwp0busy = false;
66 1.1 pooka
67 1.1 pooka struct cpu_info *
68 1.1 pooka cpu_lookup(u_int index)
69 1.1 pooka {
70 1.1 pooka
71 1.1 pooka return &rump_cpus[index];
72 1.1 pooka }
73 1.1 pooka
74 1.1 pooka void
75 1.1 pooka rump_scheduler_init()
76 1.1 pooka {
77 1.1 pooka struct rumpcpu *rcpu;
78 1.1 pooka struct cpu_info *ci;
79 1.1 pooka int i;
80 1.1 pooka
81 1.1 pooka rumpuser_mutex_init(&schedmtx);
82 1.1 pooka rumpuser_cv_init(&schedcv);
83 1.3 pooka rumpuser_cv_init(&lwp0cv);
84 1.1 pooka for (i = 0; i < ncpu; i++) {
85 1.1 pooka rcpu = &rcpu_storage[i];
86 1.1 pooka ci = &rump_cpus[i];
87 1.1 pooka rump_cpu_bootstrap(ci);
88 1.4 pooka ci->ci_schedstate.spc_mutex =
89 1.4 pooka mutex_obj_alloc(MUTEX_DEFAULT, IPL_NONE);
90 1.1 pooka rcpu->rcpu_ci = ci;
91 1.8 pooka LIST_INSERT_HEAD(&cpu_freelist, rcpu, rcpu_entries);
92 1.8 pooka rcpu->rcpu_flags = RCPU_FREELIST;
93 1.8 pooka rumpuser_cv_init(&rcpu->rcpu_cv);
94 1.1 pooka }
95 1.1 pooka }
96 1.1 pooka
97 1.1 pooka void
98 1.1 pooka rump_schedule()
99 1.1 pooka {
100 1.3 pooka struct lwp *l;
101 1.2 pooka
102 1.2 pooka /*
103 1.2 pooka * If there is no dedicated lwp, allocate a temp one and
104 1.3 pooka * set it to be free'd upon unschedule(). Use lwp0 context
105 1.3 pooka * for reserving the necessary resources.
106 1.2 pooka */
107 1.3 pooka l = rumpuser_get_curlwp();
108 1.2 pooka if (l == NULL) {
109 1.3 pooka /* busy lwp0 */
110 1.3 pooka rumpuser_mutex_enter_nowrap(schedmtx);
111 1.3 pooka while (lwp0busy)
112 1.3 pooka rumpuser_cv_wait_nowrap(lwp0cv, schedmtx);
113 1.3 pooka lwp0busy = true;
114 1.3 pooka rumpuser_mutex_exit(schedmtx);
115 1.3 pooka
116 1.3 pooka /* schedule cpu and use lwp0 */
117 1.4 pooka rump_schedule_cpu(&lwp0);
118 1.3 pooka rumpuser_set_curlwp(&lwp0);
119 1.2 pooka l = rump_lwp_alloc(0, rump_nextlid());
120 1.3 pooka
121 1.3 pooka /* release lwp0 */
122 1.3 pooka rump_lwp_switch(l);
123 1.3 pooka rumpuser_mutex_enter_nowrap(schedmtx);
124 1.3 pooka lwp0busy = false;
125 1.3 pooka rumpuser_cv_signal(lwp0cv);
126 1.3 pooka rumpuser_mutex_exit(schedmtx);
127 1.3 pooka
128 1.3 pooka /* mark new lwp as dead-on-exit */
129 1.2 pooka rump_lwp_release(l);
130 1.3 pooka } else {
131 1.4 pooka rump_schedule_cpu(l);
132 1.2 pooka }
133 1.2 pooka }
134 1.2 pooka
135 1.4 pooka void
136 1.4 pooka rump_schedule_cpu(struct lwp *l)
137 1.2 pooka {
138 1.1 pooka struct rumpcpu *rcpu;
139 1.1 pooka
140 1.1 pooka rumpuser_mutex_enter_nowrap(schedmtx);
141 1.8 pooka if (l->l_pflag & LP_BOUND) {
142 1.8 pooka KASSERT(l->l_cpu != NULL);
143 1.8 pooka rcpu = &rcpu_storage[l->l_cpu-&rump_cpus[0]];
144 1.8 pooka if (rcpu->rcpu_flags & RCPU_BUSY) {
145 1.8 pooka KASSERT((rcpu->rcpu_flags & RCPU_FREELIST) == 0);
146 1.8 pooka while (rcpu->rcpu_flags & RCPU_BUSY) {
147 1.8 pooka rcpu->rcpu_flags |= RCPU_WANTED;
148 1.8 pooka rumpuser_cv_wait_nowrap(rcpu->rcpu_cv,
149 1.8 pooka schedmtx);
150 1.8 pooka }
151 1.8 pooka rcpu->rcpu_flags &= ~RCPU_WANTED;
152 1.8 pooka } else {
153 1.8 pooka KASSERT(rcpu->rcpu_flags & (RCPU_FREELIST|RCPU_WANTED));
154 1.8 pooka }
155 1.8 pooka if (rcpu->rcpu_flags & RCPU_FREELIST) {
156 1.8 pooka LIST_REMOVE(rcpu, rcpu_entries);
157 1.8 pooka rcpu->rcpu_flags &= ~RCPU_FREELIST;
158 1.8 pooka }
159 1.8 pooka } else {
160 1.8 pooka while ((rcpu = LIST_FIRST(&cpu_freelist)) == NULL) {
161 1.8 pooka rumpuser_cv_wait_nowrap(schedcv, schedmtx);
162 1.8 pooka }
163 1.8 pooka KASSERT(rcpu->rcpu_flags & RCPU_FREELIST);
164 1.8 pooka LIST_REMOVE(rcpu, rcpu_entries);
165 1.8 pooka rcpu->rcpu_flags &= ~RCPU_FREELIST;
166 1.8 pooka KASSERT(l->l_cpu == NULL);
167 1.8 pooka l->l_cpu = rcpu->rcpu_ci;
168 1.8 pooka }
169 1.8 pooka rcpu->rcpu_flags |= RCPU_BUSY;
170 1.1 pooka rumpuser_mutex_exit(schedmtx);
171 1.4 pooka l->l_mutex = rcpu->rcpu_ci->ci_schedstate.spc_mutex;
172 1.1 pooka }
173 1.1 pooka
174 1.1 pooka void
175 1.1 pooka rump_unschedule()
176 1.1 pooka {
177 1.2 pooka struct lwp *l;
178 1.2 pooka
179 1.2 pooka l = rumpuser_get_curlwp();
180 1.4 pooka KASSERT(l->l_mutex == l->l_cpu->ci_schedstate.spc_mutex);
181 1.2 pooka rump_unschedule_cpu(l);
182 1.4 pooka l->l_mutex = NULL;
183 1.6 pooka
184 1.6 pooka /*
185 1.6 pooka * If we're using a temp lwp, need to take lwp0 for rump_lwp_free().
186 1.6 pooka * (we could maybe cache idle lwp's to avoid constant bouncing)
187 1.6 pooka */
188 1.2 pooka if (l->l_flag & LW_WEXIT) {
189 1.2 pooka rumpuser_set_curlwp(NULL);
190 1.6 pooka
191 1.6 pooka /* busy lwp0 */
192 1.6 pooka rumpuser_mutex_enter_nowrap(schedmtx);
193 1.6 pooka while (lwp0busy)
194 1.6 pooka rumpuser_cv_wait_nowrap(lwp0cv, schedmtx);
195 1.6 pooka lwp0busy = true;
196 1.6 pooka rumpuser_mutex_exit(schedmtx);
197 1.6 pooka
198 1.6 pooka rump_schedule_cpu(&lwp0);
199 1.6 pooka rumpuser_set_curlwp(&lwp0);
200 1.6 pooka rump_lwp_free(l);
201 1.6 pooka rump_unschedule_cpu(&lwp0);
202 1.6 pooka rumpuser_set_curlwp(NULL);
203 1.6 pooka
204 1.6 pooka rumpuser_mutex_enter_nowrap(schedmtx);
205 1.6 pooka lwp0busy = false;
206 1.6 pooka rumpuser_cv_signal(lwp0cv);
207 1.6 pooka rumpuser_mutex_exit(schedmtx);
208 1.2 pooka }
209 1.2 pooka }
210 1.2 pooka
211 1.2 pooka void
212 1.2 pooka rump_unschedule_cpu(struct lwp *l)
213 1.2 pooka {
214 1.8 pooka
215 1.8 pooka if ((l->l_pflag & LP_INTR) == 0)
216 1.8 pooka rump_softint_run(l->l_cpu);
217 1.8 pooka rump_unschedule_cpu1(l);
218 1.8 pooka }
219 1.8 pooka
220 1.8 pooka void
221 1.8 pooka rump_unschedule_cpu1(struct lwp *l)
222 1.8 pooka {
223 1.1 pooka struct rumpcpu *rcpu;
224 1.1 pooka struct cpu_info *ci;
225 1.1 pooka
226 1.1 pooka ci = l->l_cpu;
227 1.8 pooka if ((l->l_pflag & LP_BOUND) == 0) {
228 1.8 pooka l->l_cpu = NULL;
229 1.8 pooka }
230 1.1 pooka rcpu = &rcpu_storage[ci-&rump_cpus[0]];
231 1.1 pooka KASSERT(rcpu->rcpu_ci == ci);
232 1.8 pooka KASSERT(rcpu->rcpu_flags & RCPU_BUSY);
233 1.1 pooka
234 1.1 pooka rumpuser_mutex_enter_nowrap(schedmtx);
235 1.8 pooka if (rcpu->rcpu_flags & RCPU_WANTED) {
236 1.8 pooka /*
237 1.8 pooka * The assumption is that there will usually be max 1
238 1.8 pooka * thread waiting on the rcpu_cv, so broadcast is fine.
239 1.8 pooka * (and the current structure requires it because of
240 1.8 pooka * only a bitmask being used for wanting).
241 1.8 pooka */
242 1.8 pooka rumpuser_cv_broadcast(rcpu->rcpu_cv);
243 1.8 pooka } else {
244 1.8 pooka LIST_INSERT_HEAD(&cpu_freelist, rcpu, rcpu_entries);
245 1.8 pooka rcpu->rcpu_flags |= RCPU_FREELIST;
246 1.8 pooka rumpuser_cv_signal(schedcv);
247 1.8 pooka }
248 1.8 pooka rcpu->rcpu_flags &= ~RCPU_BUSY;
249 1.1 pooka rumpuser_mutex_exit(schedmtx);
250 1.1 pooka }
251 1.5 pooka
252 1.5 pooka /* Give up and retake CPU (perhaps a different one) */
253 1.5 pooka void
254 1.5 pooka yield()
255 1.5 pooka {
256 1.5 pooka struct lwp *l = curlwp;
257 1.5 pooka int nlocks;
258 1.5 pooka
259 1.5 pooka KERNEL_UNLOCK_ALL(l, &nlocks);
260 1.5 pooka rump_unschedule_cpu(l);
261 1.5 pooka rump_schedule_cpu(l);
262 1.5 pooka KERNEL_LOCK(nlocks, l);
263 1.5 pooka }
264 1.5 pooka
265 1.5 pooka void
266 1.5 pooka preempt()
267 1.5 pooka {
268 1.5 pooka
269 1.5 pooka yield();
270 1.5 pooka }
271