kern_lwp.c revision 1.106.2.7 1 1.106.2.7 yamt /* $NetBSD: kern_lwp.c,v 1.106.2.7 2010/08/11 22:54:39 yamt Exp $ */
2 1.2 thorpej
3 1.2 thorpej /*-
4 1.106.2.2 yamt * Copyright (c) 2001, 2006, 2007, 2008, 2009 The NetBSD Foundation, Inc.
5 1.2 thorpej * All rights reserved.
6 1.2 thorpej *
7 1.2 thorpej * This code is derived from software contributed to The NetBSD Foundation
8 1.52 ad * by Nathan J. Williams, and Andrew Doran.
9 1.2 thorpej *
10 1.2 thorpej * Redistribution and use in source and binary forms, with or without
11 1.2 thorpej * modification, are permitted provided that the following conditions
12 1.2 thorpej * are met:
13 1.2 thorpej * 1. Redistributions of source code must retain the above copyright
14 1.2 thorpej * notice, this list of conditions and the following disclaimer.
15 1.2 thorpej * 2. Redistributions in binary form must reproduce the above copyright
16 1.2 thorpej * notice, this list of conditions and the following disclaimer in the
17 1.2 thorpej * documentation and/or other materials provided with the distribution.
18 1.2 thorpej *
19 1.2 thorpej * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.2 thorpej * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.2 thorpej * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.2 thorpej * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.2 thorpej * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.2 thorpej * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.2 thorpej * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.2 thorpej * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.2 thorpej * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.2 thorpej * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.2 thorpej * POSSIBILITY OF SUCH DAMAGE.
30 1.2 thorpej */
31 1.9 lukem
32 1.52 ad /*
33 1.52 ad * Overview
34 1.52 ad *
35 1.66 ad * Lightweight processes (LWPs) are the basic unit or thread of
36 1.52 ad * execution within the kernel. The core state of an LWP is described
37 1.66 ad * by "struct lwp", also known as lwp_t.
38 1.52 ad *
39 1.52 ad * Each LWP is contained within a process (described by "struct proc"),
40 1.52 ad * Every process contains at least one LWP, but may contain more. The
41 1.52 ad * process describes attributes shared among all of its LWPs such as a
42 1.52 ad * private address space, global execution state (stopped, active,
43 1.52 ad * zombie, ...), signal disposition and so on. On a multiprocessor
44 1.66 ad * machine, multiple LWPs be executing concurrently in the kernel.
45 1.52 ad *
46 1.52 ad * Execution states
47 1.52 ad *
48 1.52 ad * At any given time, an LWP has overall state that is described by
49 1.52 ad * lwp::l_stat. The states are broken into two sets below. The first
50 1.52 ad * set is guaranteed to represent the absolute, current state of the
51 1.52 ad * LWP:
52 1.101 rmind *
53 1.101 rmind * LSONPROC
54 1.101 rmind *
55 1.101 rmind * On processor: the LWP is executing on a CPU, either in the
56 1.101 rmind * kernel or in user space.
57 1.101 rmind *
58 1.101 rmind * LSRUN
59 1.101 rmind *
60 1.101 rmind * Runnable: the LWP is parked on a run queue, and may soon be
61 1.101 rmind * chosen to run by an idle processor, or by a processor that
62 1.101 rmind * has been asked to preempt a currently runnning but lower
63 1.106.2.6 yamt * priority LWP.
64 1.101 rmind *
65 1.101 rmind * LSIDL
66 1.101 rmind *
67 1.101 rmind * Idle: the LWP has been created but has not yet executed,
68 1.66 ad * or it has ceased executing a unit of work and is waiting
69 1.66 ad * to be started again.
70 1.101 rmind *
71 1.101 rmind * LSSUSPENDED:
72 1.101 rmind *
73 1.101 rmind * Suspended: the LWP has had its execution suspended by
74 1.52 ad * another LWP in the same process using the _lwp_suspend()
75 1.52 ad * system call. User-level LWPs also enter the suspended
76 1.52 ad * state when the system is shutting down.
77 1.52 ad *
78 1.52 ad * The second set represent a "statement of intent" on behalf of the
79 1.52 ad * LWP. The LWP may in fact be executing on a processor, may be
80 1.66 ad * sleeping or idle. It is expected to take the necessary action to
81 1.101 rmind * stop executing or become "running" again within a short timeframe.
82 1.106.2.2 yamt * The LP_RUNNING flag in lwp::l_pflag indicates that an LWP is running.
83 1.101 rmind * Importantly, it indicates that its state is tied to a CPU.
84 1.101 rmind *
85 1.101 rmind * LSZOMB:
86 1.101 rmind *
87 1.101 rmind * Dead or dying: the LWP has released most of its resources
88 1.106.2.2 yamt * and is about to switch away into oblivion, or has already
89 1.66 ad * switched away. When it switches away, its few remaining
90 1.66 ad * resources can be collected.
91 1.101 rmind *
92 1.101 rmind * LSSLEEP:
93 1.101 rmind *
94 1.101 rmind * Sleeping: the LWP has entered itself onto a sleep queue, and
95 1.101 rmind * has switched away or will switch away shortly to allow other
96 1.66 ad * LWPs to run on the CPU.
97 1.101 rmind *
98 1.101 rmind * LSSTOP:
99 1.101 rmind *
100 1.101 rmind * Stopped: the LWP has been stopped as a result of a job
101 1.101 rmind * control signal, or as a result of the ptrace() interface.
102 1.101 rmind *
103 1.101 rmind * Stopped LWPs may run briefly within the kernel to handle
104 1.101 rmind * signals that they receive, but will not return to user space
105 1.101 rmind * until their process' state is changed away from stopped.
106 1.101 rmind *
107 1.101 rmind * Single LWPs within a process can not be set stopped
108 1.101 rmind * selectively: all actions that can stop or continue LWPs
109 1.101 rmind * occur at the process level.
110 1.101 rmind *
111 1.52 ad * State transitions
112 1.52 ad *
113 1.66 ad * Note that the LSSTOP state may only be set when returning to
114 1.66 ad * user space in userret(), or when sleeping interruptably. The
115 1.66 ad * LSSUSPENDED state may only be set in userret(). Before setting
116 1.66 ad * those states, we try to ensure that the LWPs will release all
117 1.66 ad * locks that they hold, and at a minimum try to ensure that the
118 1.66 ad * LWP can be set runnable again by a signal.
119 1.52 ad *
120 1.52 ad * LWPs may transition states in the following ways:
121 1.52 ad *
122 1.52 ad * RUN -------> ONPROC ONPROC -----> RUN
123 1.106.2.2 yamt * > SLEEP
124 1.106.2.2 yamt * > STOPPED
125 1.52 ad * > SUSPENDED
126 1.52 ad * > ZOMB
127 1.106.2.2 yamt * > IDL (special cases)
128 1.52 ad *
129 1.52 ad * STOPPED ---> RUN SUSPENDED --> RUN
130 1.106.2.2 yamt * > SLEEP
131 1.52 ad *
132 1.52 ad * SLEEP -----> ONPROC IDL --------> RUN
133 1.101 rmind * > RUN > SUSPENDED
134 1.101 rmind * > STOPPED > STOPPED
135 1.106.2.2 yamt * > ONPROC (special cases)
136 1.52 ad *
137 1.106.2.2 yamt * Some state transitions are only possible with kernel threads (eg
138 1.106.2.2 yamt * ONPROC -> IDL) and happen under tightly controlled circumstances
139 1.106.2.2 yamt * free of unwanted side effects.
140 1.106.2.2 yamt *
141 1.106.2.2 yamt * Migration
142 1.106.2.2 yamt *
143 1.106.2.2 yamt * Migration of threads from one CPU to another could be performed
144 1.106.2.2 yamt * internally by the scheduler via sched_takecpu() or sched_catchlwp()
145 1.106.2.2 yamt * functions. The universal lwp_migrate() function should be used for
146 1.106.2.2 yamt * any other cases. Subsystems in the kernel must be aware that CPU
147 1.106.2.2 yamt * of LWP may change, while it is not locked.
148 1.66 ad *
149 1.52 ad * Locking
150 1.52 ad *
151 1.52 ad * The majority of fields in 'struct lwp' are covered by a single,
152 1.66 ad * general spin lock pointed to by lwp::l_mutex. The locks covering
153 1.52 ad * each field are documented in sys/lwp.h.
154 1.52 ad *
155 1.66 ad * State transitions must be made with the LWP's general lock held,
156 1.101 rmind * and may cause the LWP's lock pointer to change. Manipulation of
157 1.66 ad * the general lock is not performed directly, but through calls to
158 1.66 ad * lwp_lock(), lwp_relock() and similar.
159 1.52 ad *
160 1.52 ad * States and their associated locks:
161 1.52 ad *
162 1.74 rmind * LSONPROC, LSZOMB:
163 1.52 ad *
164 1.64 yamt * Always covered by spc_lwplock, which protects running LWPs.
165 1.106.2.2 yamt * This is a per-CPU lock and matches lwp::l_cpu.
166 1.52 ad *
167 1.74 rmind * LSIDL, LSRUN:
168 1.52 ad *
169 1.64 yamt * Always covered by spc_mutex, which protects the run queues.
170 1.106.2.2 yamt * This is a per-CPU lock and matches lwp::l_cpu.
171 1.52 ad *
172 1.52 ad * LSSLEEP:
173 1.52 ad *
174 1.66 ad * Covered by a lock associated with the sleep queue that the
175 1.106.2.2 yamt * LWP resides on. Matches lwp::l_sleepq::sq_mutex.
176 1.52 ad *
177 1.52 ad * LSSTOP, LSSUSPENDED:
178 1.101 rmind *
179 1.52 ad * If the LWP was previously sleeping (l_wchan != NULL), then
180 1.66 ad * l_mutex references the sleep queue lock. If the LWP was
181 1.52 ad * runnable or on the CPU when halted, or has been removed from
182 1.66 ad * the sleep queue since halted, then the lock is spc_lwplock.
183 1.52 ad *
184 1.52 ad * The lock order is as follows:
185 1.52 ad *
186 1.64 yamt * spc::spc_lwplock ->
187 1.106.2.2 yamt * sleeptab::st_mutex ->
188 1.64 yamt * tschain_t::tc_mutex ->
189 1.64 yamt * spc::spc_mutex
190 1.52 ad *
191 1.103 ad * Each process has an scheduler state lock (proc::p_lock), and a
192 1.52 ad * number of counters on LWPs and their states: p_nzlwps, p_nrlwps, and
193 1.52 ad * so on. When an LWP is to be entered into or removed from one of the
194 1.103 ad * following states, p_lock must be held and the process wide counters
195 1.52 ad * adjusted:
196 1.52 ad *
197 1.52 ad * LSIDL, LSZOMB, LSSTOP, LSSUSPENDED
198 1.52 ad *
199 1.106.2.2 yamt * (But not always for kernel threads. There are some special cases
200 1.106.2.2 yamt * as mentioned above. See kern_softint.c.)
201 1.106.2.2 yamt *
202 1.52 ad * Note that an LWP is considered running or likely to run soon if in
203 1.52 ad * one of the following states. This affects the value of p_nrlwps:
204 1.52 ad *
205 1.52 ad * LSRUN, LSONPROC, LSSLEEP
206 1.52 ad *
207 1.103 ad * p_lock does not need to be held when transitioning among these
208 1.106.2.2 yamt * three states, hence p_lock is rarely taken for state transitions.
209 1.52 ad */
210 1.52 ad
211 1.9 lukem #include <sys/cdefs.h>
212 1.106.2.7 yamt __KERNEL_RCSID(0, "$NetBSD: kern_lwp.c,v 1.106.2.7 2010/08/11 22:54:39 yamt Exp $");
213 1.8 martin
214 1.84 yamt #include "opt_ddb.h"
215 1.52 ad #include "opt_lockdebug.h"
216 1.106.2.2 yamt #include "opt_sa.h"
217 1.106.2.6 yamt #include "opt_dtrace.h"
218 1.2 thorpej
219 1.47 hannken #define _LWP_API_PRIVATE
220 1.47 hannken
221 1.2 thorpej #include <sys/param.h>
222 1.2 thorpej #include <sys/systm.h>
223 1.64 yamt #include <sys/cpu.h>
224 1.2 thorpej #include <sys/pool.h>
225 1.2 thorpej #include <sys/proc.h>
226 1.106.2.2 yamt #include <sys/sa.h>
227 1.106.2.2 yamt #include <sys/savar.h>
228 1.2 thorpej #include <sys/syscallargs.h>
229 1.57 dsl #include <sys/syscall_stats.h>
230 1.37 ad #include <sys/kauth.h>
231 1.52 ad #include <sys/sleepq.h>
232 1.52 ad #include <sys/lockdebug.h>
233 1.52 ad #include <sys/kmem.h>
234 1.91 rmind #include <sys/pset.h>
235 1.75 ad #include <sys/intr.h>
236 1.78 ad #include <sys/lwpctl.h>
237 1.81 ad #include <sys/atomic.h>
238 1.106.2.3 yamt #include <sys/filedesc.h>
239 1.106.2.6 yamt #include <sys/dtrace_bsd.h>
240 1.106.2.6 yamt #include <sys/sdt.h>
241 1.2 thorpej
242 1.2 thorpej #include <uvm/uvm_extern.h>
243 1.80 skrll #include <uvm/uvm_object.h>
244 1.2 thorpej
245 1.106.2.7 yamt struct lwplist alllwp = LIST_HEAD_INITIALIZER(alllwp);
246 1.106.2.7 yamt static pool_cache_t lwp_cache;
247 1.41 thorpej
248 1.106.2.6 yamt /* DTrace proc provider probes */
249 1.106.2.6 yamt SDT_PROBE_DEFINE(proc,,,lwp_create,
250 1.106.2.6 yamt "struct lwp *", NULL,
251 1.106.2.6 yamt NULL, NULL, NULL, NULL,
252 1.106.2.6 yamt NULL, NULL, NULL, NULL);
253 1.106.2.6 yamt SDT_PROBE_DEFINE(proc,,,lwp_start,
254 1.106.2.6 yamt "struct lwp *", NULL,
255 1.106.2.6 yamt NULL, NULL, NULL, NULL,
256 1.106.2.6 yamt NULL, NULL, NULL, NULL);
257 1.106.2.6 yamt SDT_PROBE_DEFINE(proc,,,lwp_exit,
258 1.106.2.6 yamt "struct lwp *", NULL,
259 1.106.2.6 yamt NULL, NULL, NULL, NULL,
260 1.106.2.6 yamt NULL, NULL, NULL, NULL);
261 1.106.2.6 yamt
262 1.106.2.7 yamt struct turnstile turnstile0;
263 1.106.2.7 yamt struct lwp lwp0 __aligned(MIN_LWP_ALIGNMENT) = {
264 1.106.2.7 yamt #ifdef LWP0_CPU_INFO
265 1.106.2.7 yamt .l_cpu = LWP0_CPU_INFO,
266 1.106.2.7 yamt #endif
267 1.106.2.7 yamt .l_proc = &proc0,
268 1.106.2.7 yamt .l_lid = 1,
269 1.106.2.7 yamt .l_flag = LW_SYSTEM,
270 1.106.2.7 yamt .l_stat = LSONPROC,
271 1.106.2.7 yamt .l_ts = &turnstile0,
272 1.106.2.7 yamt .l_syncobj = &sched_syncobj,
273 1.106.2.7 yamt .l_refcnt = 1,
274 1.106.2.7 yamt .l_priority = PRI_USER + NPRI_USER - 1,
275 1.106.2.7 yamt .l_inheritedprio = -1,
276 1.106.2.7 yamt .l_class = SCHED_OTHER,
277 1.106.2.7 yamt .l_psid = PS_NONE,
278 1.106.2.7 yamt .l_pi_lenders = SLIST_HEAD_INITIALIZER(&lwp0.l_pi_lenders),
279 1.106.2.7 yamt .l_name = __UNCONST("swapper"),
280 1.106.2.7 yamt .l_fd = &filedesc0,
281 1.106.2.7 yamt };
282 1.106.2.7 yamt
283 1.41 thorpej void
284 1.41 thorpej lwpinit(void)
285 1.41 thorpej {
286 1.41 thorpej
287 1.106.2.7 yamt lwpinit_specificdata();
288 1.52 ad lwp_sys_init();
289 1.87 ad lwp_cache = pool_cache_init(sizeof(lwp_t), MIN_LWP_ALIGNMENT, 0, 0,
290 1.87 ad "lwppl", NULL, IPL_NONE, NULL, NULL, NULL);
291 1.41 thorpej }
292 1.41 thorpej
293 1.106.2.7 yamt void
294 1.106.2.7 yamt lwp0_init(void)
295 1.106.2.7 yamt {
296 1.106.2.7 yamt struct lwp *l = &lwp0;
297 1.106.2.7 yamt
298 1.106.2.7 yamt KASSERT((void *)uvm_lwp_getuarea(l) != NULL);
299 1.106.2.7 yamt KASSERT(l->l_lid == proc0.p_nlwpid);
300 1.106.2.7 yamt
301 1.106.2.7 yamt LIST_INSERT_HEAD(&alllwp, l, l_list);
302 1.106.2.7 yamt
303 1.106.2.7 yamt callout_init(&l->l_timeout_ch, CALLOUT_MPSAFE);
304 1.106.2.7 yamt callout_setfunc(&l->l_timeout_ch, sleepq_timeout, l);
305 1.106.2.7 yamt cv_init(&l->l_sigcv, "sigwait");
306 1.106.2.7 yamt
307 1.106.2.7 yamt kauth_cred_hold(proc0.p_cred);
308 1.106.2.7 yamt l->l_cred = proc0.p_cred;
309 1.106.2.7 yamt
310 1.106.2.7 yamt lwp_initspecific(l);
311 1.106.2.7 yamt
312 1.106.2.7 yamt SYSCALL_TIME_LWP_INIT(l);
313 1.106.2.7 yamt }
314 1.106.2.7 yamt
315 1.52 ad /*
316 1.52 ad * Set an suspended.
317 1.52 ad *
318 1.103 ad * Must be called with p_lock held, and the LWP locked. Will unlock the
319 1.52 ad * LWP before return.
320 1.52 ad */
321 1.2 thorpej int
322 1.52 ad lwp_suspend(struct lwp *curl, struct lwp *t)
323 1.2 thorpej {
324 1.52 ad int error;
325 1.2 thorpej
326 1.103 ad KASSERT(mutex_owned(t->l_proc->p_lock));
327 1.63 ad KASSERT(lwp_locked(t, NULL));
328 1.33 chs
329 1.52 ad KASSERT(curl != t || curl->l_stat == LSONPROC);
330 1.2 thorpej
331 1.52 ad /*
332 1.52 ad * If the current LWP has been told to exit, we must not suspend anyone
333 1.52 ad * else or deadlock could occur. We won't return to userspace.
334 1.2 thorpej */
335 1.106.2.1 yamt if ((curl->l_flag & (LW_WEXIT | LW_WCORE)) != 0) {
336 1.52 ad lwp_unlock(t);
337 1.52 ad return (EDEADLK);
338 1.2 thorpej }
339 1.2 thorpej
340 1.52 ad error = 0;
341 1.2 thorpej
342 1.52 ad switch (t->l_stat) {
343 1.52 ad case LSRUN:
344 1.52 ad case LSONPROC:
345 1.56 pavel t->l_flag |= LW_WSUSPEND;
346 1.52 ad lwp_need_userret(t);
347 1.52 ad lwp_unlock(t);
348 1.52 ad break;
349 1.2 thorpej
350 1.52 ad case LSSLEEP:
351 1.56 pavel t->l_flag |= LW_WSUSPEND;
352 1.2 thorpej
353 1.2 thorpej /*
354 1.52 ad * Kick the LWP and try to get it to the kernel boundary
355 1.52 ad * so that it will release any locks that it holds.
356 1.52 ad * setrunnable() will release the lock.
357 1.2 thorpej */
358 1.56 pavel if ((t->l_flag & LW_SINTR) != 0)
359 1.52 ad setrunnable(t);
360 1.52 ad else
361 1.52 ad lwp_unlock(t);
362 1.52 ad break;
363 1.2 thorpej
364 1.52 ad case LSSUSPENDED:
365 1.52 ad lwp_unlock(t);
366 1.52 ad break;
367 1.17 manu
368 1.52 ad case LSSTOP:
369 1.56 pavel t->l_flag |= LW_WSUSPEND;
370 1.52 ad setrunnable(t);
371 1.52 ad break;
372 1.2 thorpej
373 1.52 ad case LSIDL:
374 1.52 ad case LSZOMB:
375 1.52 ad error = EINTR; /* It's what Solaris does..... */
376 1.52 ad lwp_unlock(t);
377 1.52 ad break;
378 1.2 thorpej }
379 1.2 thorpej
380 1.69 rmind return (error);
381 1.2 thorpej }
382 1.2 thorpej
383 1.52 ad /*
384 1.52 ad * Restart a suspended LWP.
385 1.52 ad *
386 1.103 ad * Must be called with p_lock held, and the LWP locked. Will unlock the
387 1.52 ad * LWP before return.
388 1.52 ad */
389 1.2 thorpej void
390 1.2 thorpej lwp_continue(struct lwp *l)
391 1.2 thorpej {
392 1.2 thorpej
393 1.103 ad KASSERT(mutex_owned(l->l_proc->p_lock));
394 1.63 ad KASSERT(lwp_locked(l, NULL));
395 1.52 ad
396 1.52 ad /* If rebooting or not suspended, then just bail out. */
397 1.56 pavel if ((l->l_flag & LW_WREBOOT) != 0) {
398 1.52 ad lwp_unlock(l);
399 1.2 thorpej return;
400 1.10 fvdl }
401 1.2 thorpej
402 1.56 pavel l->l_flag &= ~LW_WSUSPEND;
403 1.2 thorpej
404 1.52 ad if (l->l_stat != LSSUSPENDED) {
405 1.52 ad lwp_unlock(l);
406 1.52 ad return;
407 1.2 thorpej }
408 1.2 thorpej
409 1.52 ad /* setrunnable() will release the lock. */
410 1.52 ad setrunnable(l);
411 1.2 thorpej }
412 1.2 thorpej
413 1.52 ad /*
414 1.106.2.7 yamt * Restart a stopped LWP.
415 1.106.2.7 yamt *
416 1.106.2.7 yamt * Must be called with p_lock held, and the LWP NOT locked. Will unlock the
417 1.106.2.7 yamt * LWP before return.
418 1.106.2.7 yamt */
419 1.106.2.7 yamt void
420 1.106.2.7 yamt lwp_unstop(struct lwp *l)
421 1.106.2.7 yamt {
422 1.106.2.7 yamt struct proc *p = l->l_proc;
423 1.106.2.7 yamt
424 1.106.2.7 yamt KASSERT(mutex_owned(proc_lock));
425 1.106.2.7 yamt KASSERT(mutex_owned(p->p_lock));
426 1.106.2.7 yamt
427 1.106.2.7 yamt lwp_lock(l);
428 1.106.2.7 yamt
429 1.106.2.7 yamt /* If not stopped, then just bail out. */
430 1.106.2.7 yamt if (l->l_stat != LSSTOP) {
431 1.106.2.7 yamt lwp_unlock(l);
432 1.106.2.7 yamt return;
433 1.106.2.7 yamt }
434 1.106.2.7 yamt
435 1.106.2.7 yamt p->p_stat = SACTIVE;
436 1.106.2.7 yamt p->p_sflag &= ~PS_STOPPING;
437 1.106.2.7 yamt
438 1.106.2.7 yamt if (!p->p_waited)
439 1.106.2.7 yamt p->p_pptr->p_nstopchild--;
440 1.106.2.7 yamt
441 1.106.2.7 yamt if (l->l_wchan == NULL) {
442 1.106.2.7 yamt /* setrunnable() will release the lock. */
443 1.106.2.7 yamt setrunnable(l);
444 1.106.2.7 yamt } else {
445 1.106.2.7 yamt l->l_stat = LSSLEEP;
446 1.106.2.7 yamt p->p_nrlwps++;
447 1.106.2.7 yamt lwp_unlock(l);
448 1.106.2.7 yamt }
449 1.106.2.7 yamt }
450 1.106.2.7 yamt
451 1.106.2.7 yamt /*
452 1.52 ad * Wait for an LWP within the current process to exit. If 'lid' is
453 1.52 ad * non-zero, we are waiting for a specific LWP.
454 1.52 ad *
455 1.103 ad * Must be called with p->p_lock held.
456 1.52 ad */
457 1.2 thorpej int
458 1.2 thorpej lwp_wait1(struct lwp *l, lwpid_t lid, lwpid_t *departed, int flags)
459 1.2 thorpej {
460 1.2 thorpej struct proc *p = l->l_proc;
461 1.52 ad struct lwp *l2;
462 1.52 ad int nfound, error;
463 1.63 ad lwpid_t curlid;
464 1.63 ad bool exiting;
465 1.2 thorpej
466 1.103 ad KASSERT(mutex_owned(p->p_lock));
467 1.52 ad
468 1.52 ad p->p_nlwpwait++;
469 1.63 ad l->l_waitingfor = lid;
470 1.63 ad curlid = l->l_lid;
471 1.63 ad exiting = ((flags & LWPWAIT_EXITCONTROL) != 0);
472 1.52 ad
473 1.52 ad for (;;) {
474 1.52 ad /*
475 1.52 ad * Avoid a race between exit1() and sigexit(): if the
476 1.52 ad * process is dumping core, then we need to bail out: call
477 1.52 ad * into lwp_userret() where we will be suspended until the
478 1.52 ad * deed is done.
479 1.52 ad */
480 1.52 ad if ((p->p_sflag & PS_WCORE) != 0) {
481 1.103 ad mutex_exit(p->p_lock);
482 1.52 ad lwp_userret(l);
483 1.52 ad #ifdef DIAGNOSTIC
484 1.52 ad panic("lwp_wait1");
485 1.52 ad #endif
486 1.52 ad /* NOTREACHED */
487 1.52 ad }
488 1.52 ad
489 1.52 ad /*
490 1.52 ad * First off, drain any detached LWP that is waiting to be
491 1.52 ad * reaped.
492 1.52 ad */
493 1.52 ad while ((l2 = p->p_zomblwp) != NULL) {
494 1.52 ad p->p_zomblwp = NULL;
495 1.63 ad lwp_free(l2, false, false);/* releases proc mutex */
496 1.103 ad mutex_enter(p->p_lock);
497 1.52 ad }
498 1.52 ad
499 1.52 ad /*
500 1.52 ad * Now look for an LWP to collect. If the whole process is
501 1.52 ad * exiting, count detached LWPs as eligible to be collected,
502 1.52 ad * but don't drain them here.
503 1.52 ad */
504 1.52 ad nfound = 0;
505 1.63 ad error = 0;
506 1.52 ad LIST_FOREACH(l2, &p->p_lwps, l_sibling) {
507 1.63 ad /*
508 1.63 ad * If a specific wait and the target is waiting on
509 1.63 ad * us, then avoid deadlock. This also traps LWPs
510 1.63 ad * that try to wait on themselves.
511 1.63 ad *
512 1.63 ad * Note that this does not handle more complicated
513 1.63 ad * cycles, like: t1 -> t2 -> t3 -> t1. The process
514 1.63 ad * can still be killed so it is not a major problem.
515 1.63 ad */
516 1.63 ad if (l2->l_lid == lid && l2->l_waitingfor == curlid) {
517 1.63 ad error = EDEADLK;
518 1.63 ad break;
519 1.63 ad }
520 1.63 ad if (l2 == l)
521 1.52 ad continue;
522 1.52 ad if ((l2->l_prflag & LPR_DETACHED) != 0) {
523 1.63 ad nfound += exiting;
524 1.63 ad continue;
525 1.63 ad }
526 1.63 ad if (lid != 0) {
527 1.63 ad if (l2->l_lid != lid)
528 1.63 ad continue;
529 1.63 ad /*
530 1.63 ad * Mark this LWP as the first waiter, if there
531 1.63 ad * is no other.
532 1.63 ad */
533 1.63 ad if (l2->l_waiter == 0)
534 1.63 ad l2->l_waiter = curlid;
535 1.63 ad } else if (l2->l_waiter != 0) {
536 1.63 ad /*
537 1.63 ad * It already has a waiter - so don't
538 1.63 ad * collect it. If the waiter doesn't
539 1.63 ad * grab it we'll get another chance
540 1.63 ad * later.
541 1.63 ad */
542 1.63 ad nfound++;
543 1.52 ad continue;
544 1.52 ad }
545 1.52 ad nfound++;
546 1.2 thorpej
547 1.52 ad /* No need to lock the LWP in order to see LSZOMB. */
548 1.52 ad if (l2->l_stat != LSZOMB)
549 1.52 ad continue;
550 1.2 thorpej
551 1.63 ad /*
552 1.63 ad * We're no longer waiting. Reset the "first waiter"
553 1.63 ad * pointer on the target, in case it was us.
554 1.63 ad */
555 1.63 ad l->l_waitingfor = 0;
556 1.63 ad l2->l_waiter = 0;
557 1.63 ad p->p_nlwpwait--;
558 1.2 thorpej if (departed)
559 1.2 thorpej *departed = l2->l_lid;
560 1.75 ad sched_lwp_collect(l2);
561 1.63 ad
562 1.63 ad /* lwp_free() releases the proc lock. */
563 1.63 ad lwp_free(l2, false, false);
564 1.103 ad mutex_enter(p->p_lock);
565 1.52 ad return 0;
566 1.52 ad }
567 1.2 thorpej
568 1.63 ad if (error != 0)
569 1.63 ad break;
570 1.52 ad if (nfound == 0) {
571 1.52 ad error = ESRCH;
572 1.52 ad break;
573 1.52 ad }
574 1.63 ad
575 1.63 ad /*
576 1.63 ad * The kernel is careful to ensure that it can not deadlock
577 1.63 ad * when exiting - just keep waiting.
578 1.63 ad */
579 1.63 ad if (exiting) {
580 1.52 ad KASSERT(p->p_nlwps > 1);
581 1.103 ad cv_wait(&p->p_lwpcv, p->p_lock);
582 1.52 ad continue;
583 1.52 ad }
584 1.63 ad
585 1.63 ad /*
586 1.63 ad * If all other LWPs are waiting for exits or suspends
587 1.63 ad * and the supply of zombies and potential zombies is
588 1.63 ad * exhausted, then we are about to deadlock.
589 1.63 ad *
590 1.63 ad * If the process is exiting (and this LWP is not the one
591 1.63 ad * that is coordinating the exit) then bail out now.
592 1.63 ad */
593 1.52 ad if ((p->p_sflag & PS_WEXIT) != 0 ||
594 1.63 ad p->p_nrlwps + p->p_nzlwps - p->p_ndlwps <= p->p_nlwpwait) {
595 1.52 ad error = EDEADLK;
596 1.52 ad break;
597 1.2 thorpej }
598 1.63 ad
599 1.63 ad /*
600 1.63 ad * Sit around and wait for something to happen. We'll be
601 1.63 ad * awoken if any of the conditions examined change: if an
602 1.63 ad * LWP exits, is collected, or is detached.
603 1.63 ad */
604 1.103 ad if ((error = cv_wait_sig(&p->p_lwpcv, p->p_lock)) != 0)
605 1.52 ad break;
606 1.2 thorpej }
607 1.2 thorpej
608 1.63 ad /*
609 1.63 ad * We didn't find any LWPs to collect, we may have received a
610 1.63 ad * signal, or some other condition has caused us to bail out.
611 1.63 ad *
612 1.63 ad * If waiting on a specific LWP, clear the waiters marker: some
613 1.63 ad * other LWP may want it. Then, kick all the remaining waiters
614 1.63 ad * so that they can re-check for zombies and for deadlock.
615 1.63 ad */
616 1.63 ad if (lid != 0) {
617 1.63 ad LIST_FOREACH(l2, &p->p_lwps, l_sibling) {
618 1.63 ad if (l2->l_lid == lid) {
619 1.63 ad if (l2->l_waiter == curlid)
620 1.63 ad l2->l_waiter = 0;
621 1.63 ad break;
622 1.63 ad }
623 1.63 ad }
624 1.63 ad }
625 1.52 ad p->p_nlwpwait--;
626 1.63 ad l->l_waitingfor = 0;
627 1.63 ad cv_broadcast(&p->p_lwpcv);
628 1.63 ad
629 1.52 ad return error;
630 1.2 thorpej }
631 1.2 thorpej
632 1.52 ad /*
633 1.52 ad * Create a new LWP within process 'p2', using LWP 'l1' as a template.
634 1.52 ad * The new LWP is created in state LSIDL and must be set running,
635 1.52 ad * suspended, or stopped by the caller.
636 1.52 ad */
637 1.2 thorpej int
638 1.106.2.6 yamt lwp_create(lwp_t *l1, proc_t *p2, vaddr_t uaddr, int flags,
639 1.75 ad void *stack, size_t stacksize, void (*func)(void *), void *arg,
640 1.75 ad lwp_t **rnewlwpp, int sclass)
641 1.2 thorpej {
642 1.52 ad struct lwp *l2, *isfree;
643 1.52 ad turnstile_t *ts;
644 1.106.2.7 yamt lwpid_t lid;
645 1.2 thorpej
646 1.106.2.1 yamt KASSERT(l1 == curlwp || l1->l_proc == &proc0);
647 1.106.2.1 yamt
648 1.52 ad /*
649 1.52 ad * First off, reap any detached LWP waiting to be collected.
650 1.52 ad * We can re-use its LWP structure and turnstile.
651 1.52 ad */
652 1.52 ad isfree = NULL;
653 1.52 ad if (p2->p_zomblwp != NULL) {
654 1.103 ad mutex_enter(p2->p_lock);
655 1.52 ad if ((isfree = p2->p_zomblwp) != NULL) {
656 1.52 ad p2->p_zomblwp = NULL;
657 1.63 ad lwp_free(isfree, true, false);/* releases proc mutex */
658 1.52 ad } else
659 1.103 ad mutex_exit(p2->p_lock);
660 1.52 ad }
661 1.52 ad if (isfree == NULL) {
662 1.87 ad l2 = pool_cache_get(lwp_cache, PR_WAITOK);
663 1.52 ad memset(l2, 0, sizeof(*l2));
664 1.76 ad l2->l_ts = pool_cache_get(turnstile_cache, PR_WAITOK);
665 1.60 yamt SLIST_INIT(&l2->l_pi_lenders);
666 1.52 ad } else {
667 1.52 ad l2 = isfree;
668 1.52 ad ts = l2->l_ts;
669 1.75 ad KASSERT(l2->l_inheritedprio == -1);
670 1.60 yamt KASSERT(SLIST_EMPTY(&l2->l_pi_lenders));
671 1.52 ad memset(l2, 0, sizeof(*l2));
672 1.52 ad l2->l_ts = ts;
673 1.52 ad }
674 1.2 thorpej
675 1.2 thorpej l2->l_stat = LSIDL;
676 1.2 thorpej l2->l_proc = p2;
677 1.52 ad l2->l_refcnt = 1;
678 1.75 ad l2->l_class = sclass;
679 1.106.2.2 yamt
680 1.106.2.2 yamt /*
681 1.106.2.2 yamt * If vfork(), we want the LWP to run fast and on the same CPU
682 1.106.2.2 yamt * as its parent, so that it can reuse the VM context and cache
683 1.106.2.2 yamt * footprint on the local CPU.
684 1.106.2.2 yamt */
685 1.106.2.2 yamt l2->l_kpriority = ((flags & LWP_VFORK) ? true : false);
686 1.82 ad l2->l_kpribase = PRI_KERNEL;
687 1.52 ad l2->l_priority = l1->l_priority;
688 1.75 ad l2->l_inheritedprio = -1;
689 1.106.2.6 yamt l2->l_flag = 0;
690 1.88 ad l2->l_pflag = LP_MPSAFE;
691 1.106.2.1 yamt TAILQ_INIT(&l2->l_ld_locks);
692 1.41 thorpej
693 1.106.2.3 yamt /*
694 1.106.2.3 yamt * If not the first LWP in the process, grab a reference to the
695 1.106.2.3 yamt * descriptor table.
696 1.106.2.3 yamt */
697 1.106.2.3 yamt l2->l_fd = p2->p_fd;
698 1.106.2.3 yamt if (p2->p_nlwps != 0) {
699 1.106.2.3 yamt KASSERT(l1->l_proc == p2);
700 1.106.2.6 yamt fd_hold(l2);
701 1.106.2.3 yamt } else {
702 1.106.2.3 yamt KASSERT(l1->l_proc != p2);
703 1.106.2.3 yamt }
704 1.106.2.3 yamt
705 1.56 pavel if (p2->p_flag & PK_SYSTEM) {
706 1.106.2.6 yamt /* Mark it as a system LWP. */
707 1.56 pavel l2->l_flag |= LW_SYSTEM;
708 1.52 ad }
709 1.2 thorpej
710 1.106.2.1 yamt kpreempt_disable();
711 1.106.2.1 yamt l2->l_mutex = l1->l_cpu->ci_schedstate.spc_mutex;
712 1.106.2.1 yamt l2->l_cpu = l1->l_cpu;
713 1.106.2.1 yamt kpreempt_enable();
714 1.106.2.1 yamt
715 1.106.2.6 yamt kdtrace_thread_ctor(NULL, l2);
716 1.73 rmind lwp_initspecific(l2);
717 1.75 ad sched_lwp_fork(l1, l2);
718 1.37 ad lwp_update_creds(l2);
719 1.70 ad callout_init(&l2->l_timeout_ch, CALLOUT_MPSAFE);
720 1.70 ad callout_setfunc(&l2->l_timeout_ch, sleepq_timeout, l2);
721 1.52 ad cv_init(&l2->l_sigcv, "sigwait");
722 1.52 ad l2->l_syncobj = &sched_syncobj;
723 1.2 thorpej
724 1.2 thorpej if (rnewlwpp != NULL)
725 1.2 thorpej *rnewlwpp = l2;
726 1.2 thorpej
727 1.106.2.6 yamt uvm_lwp_setuarea(l2, uaddr);
728 1.2 thorpej uvm_lwp_fork(l1, l2, stack, stacksize, func,
729 1.2 thorpej (arg != NULL) ? arg : l2);
730 1.2 thorpej
731 1.106.2.7 yamt if ((flags & LWP_PIDLID) != 0) {
732 1.106.2.7 yamt lid = proc_alloc_pid(p2);
733 1.106.2.7 yamt l2->l_pflag |= LP_PIDLID;
734 1.106.2.7 yamt } else {
735 1.106.2.7 yamt lid = 0;
736 1.106.2.7 yamt }
737 1.106.2.7 yamt
738 1.103 ad mutex_enter(p2->p_lock);
739 1.52 ad
740 1.52 ad if ((flags & LWP_DETACHED) != 0) {
741 1.52 ad l2->l_prflag = LPR_DETACHED;
742 1.52 ad p2->p_ndlwps++;
743 1.52 ad } else
744 1.52 ad l2->l_prflag = 0;
745 1.52 ad
746 1.52 ad l2->l_sigmask = l1->l_sigmask;
747 1.52 ad CIRCLEQ_INIT(&l2->l_sigpend.sp_info);
748 1.52 ad sigemptyset(&l2->l_sigpend.sp_set);
749 1.52 ad
750 1.106.2.7 yamt if (lid == 0) {
751 1.53 yamt p2->p_nlwpid++;
752 1.106.2.7 yamt if (p2->p_nlwpid == 0)
753 1.106.2.7 yamt p2->p_nlwpid++;
754 1.106.2.7 yamt lid = p2->p_nlwpid;
755 1.106.2.7 yamt }
756 1.106.2.7 yamt l2->l_lid = lid;
757 1.2 thorpej LIST_INSERT_HEAD(&p2->p_lwps, l2, l_sibling);
758 1.2 thorpej p2->p_nlwps++;
759 1.106.2.7 yamt p2->p_nrlwps++;
760 1.2 thorpej
761 1.91 rmind if ((p2->p_flag & PK_SYSTEM) == 0) {
762 1.106.2.2 yamt /* Inherit an affinity */
763 1.106.2.2 yamt if (l1->l_flag & LW_AFFINITY) {
764 1.106.2.2 yamt /*
765 1.106.2.2 yamt * Note that we hold the state lock while inheriting
766 1.106.2.2 yamt * the affinity to avoid race with sched_setaffinity().
767 1.106.2.2 yamt */
768 1.106.2.2 yamt lwp_lock(l1);
769 1.106.2.2 yamt if (l1->l_flag & LW_AFFINITY) {
770 1.106.2.2 yamt kcpuset_use(l1->l_affinity);
771 1.106.2.2 yamt l2->l_affinity = l1->l_affinity;
772 1.106.2.2 yamt l2->l_flag |= LW_AFFINITY;
773 1.106.2.2 yamt }
774 1.106.2.2 yamt lwp_unlock(l1);
775 1.106.2.2 yamt }
776 1.91 rmind lwp_lock(l2);
777 1.91 rmind /* Inherit a processor-set */
778 1.91 rmind l2->l_psid = l1->l_psid;
779 1.91 rmind /* Look for a CPU to start */
780 1.91 rmind l2->l_cpu = sched_takecpu(l2);
781 1.91 rmind lwp_unlock_to(l2, l2->l_cpu->ci_schedstate.spc_mutex);
782 1.91 rmind }
783 1.106.2.2 yamt mutex_exit(p2->p_lock);
784 1.106.2.2 yamt
785 1.106.2.6 yamt SDT_PROBE(proc,,,lwp_create, l2, 0,0,0,0);
786 1.106.2.6 yamt
787 1.106.2.2 yamt mutex_enter(proc_lock);
788 1.106.2.2 yamt LIST_INSERT_HEAD(&alllwp, l2, l_list);
789 1.106.2.2 yamt mutex_exit(proc_lock);
790 1.91 rmind
791 1.57 dsl SYSCALL_TIME_LWP_INIT(l2);
792 1.57 dsl
793 1.16 manu if (p2->p_emul->e_lwp_fork)
794 1.16 manu (*p2->p_emul->e_lwp_fork)(l1, l2);
795 1.16 manu
796 1.2 thorpej return (0);
797 1.2 thorpej }
798 1.2 thorpej
799 1.2 thorpej /*
800 1.64 yamt * Called by MD code when a new LWP begins execution. Must be called
801 1.64 yamt * with the previous LWP locked (so at splsched), or if there is no
802 1.64 yamt * previous LWP, at splsched.
803 1.64 yamt */
804 1.64 yamt void
805 1.64 yamt lwp_startup(struct lwp *prev, struct lwp *new)
806 1.64 yamt {
807 1.64 yamt
808 1.106.2.6 yamt SDT_PROBE(proc,,,lwp_start, new, 0,0,0,0);
809 1.106.2.6 yamt
810 1.106.2.1 yamt KASSERT(kpreempt_disabled());
811 1.64 yamt if (prev != NULL) {
812 1.81 ad /*
813 1.81 ad * Normalize the count of the spin-mutexes, it was
814 1.81 ad * increased in mi_switch(). Unmark the state of
815 1.81 ad * context switch - it is finished for previous LWP.
816 1.81 ad */
817 1.81 ad curcpu()->ci_mtx_count++;
818 1.81 ad membar_exit();
819 1.81 ad prev->l_ctxswtch = 0;
820 1.64 yamt }
821 1.106.2.1 yamt KPREEMPT_DISABLE(new);
822 1.64 yamt spl0();
823 1.106.2.1 yamt pmap_activate(new);
824 1.64 yamt LOCKDEBUG_BARRIER(NULL, 0);
825 1.106.2.1 yamt KPREEMPT_ENABLE(new);
826 1.65 ad if ((new->l_pflag & LP_MPSAFE) == 0) {
827 1.65 ad KERNEL_LOCK(1, new);
828 1.65 ad }
829 1.64 yamt }
830 1.64 yamt
831 1.64 yamt /*
832 1.65 ad * Exit an LWP.
833 1.2 thorpej */
834 1.2 thorpej void
835 1.2 thorpej lwp_exit(struct lwp *l)
836 1.2 thorpej {
837 1.2 thorpej struct proc *p = l->l_proc;
838 1.52 ad struct lwp *l2;
839 1.65 ad bool current;
840 1.65 ad
841 1.65 ad current = (l == curlwp);
842 1.2 thorpej
843 1.106.2.2 yamt KASSERT(current || (l->l_stat == LSIDL && l->l_target_cpu == NULL));
844 1.106.2.3 yamt KASSERT(p == curproc);
845 1.2 thorpej
846 1.106.2.6 yamt SDT_PROBE(proc,,,lwp_exit, l, 0,0,0,0);
847 1.106.2.6 yamt
848 1.52 ad /*
849 1.52 ad * Verify that we hold no locks other than the kernel lock.
850 1.52 ad */
851 1.52 ad LOCKDEBUG_BARRIER(&kernel_lock, 0);
852 1.16 manu
853 1.2 thorpej /*
854 1.52 ad * If we are the last live LWP in a process, we need to exit the
855 1.52 ad * entire process. We do so with an exit status of zero, because
856 1.52 ad * it's a "controlled" exit, and because that's what Solaris does.
857 1.52 ad *
858 1.52 ad * We are not quite a zombie yet, but for accounting purposes we
859 1.52 ad * must increment the count of zombies here.
860 1.45 thorpej *
861 1.45 thorpej * Note: the last LWP's specificdata will be deleted here.
862 1.2 thorpej */
863 1.103 ad mutex_enter(p->p_lock);
864 1.52 ad if (p->p_nlwps - p->p_nzlwps == 1) {
865 1.65 ad KASSERT(current == true);
866 1.88 ad /* XXXSMP kernel_lock not held */
867 1.2 thorpej exit1(l, 0);
868 1.19 jdolecek /* NOTREACHED */
869 1.2 thorpej }
870 1.52 ad p->p_nzlwps++;
871 1.103 ad mutex_exit(p->p_lock);
872 1.52 ad
873 1.52 ad if (p->p_emul->e_lwp_exit)
874 1.52 ad (*p->p_emul->e_lwp_exit)(l);
875 1.2 thorpej
876 1.106.2.3 yamt /* Drop filedesc reference. */
877 1.106.2.3 yamt fd_free();
878 1.106.2.3 yamt
879 1.45 thorpej /* Delete the specificdata while it's still safe to sleep. */
880 1.106.2.7 yamt lwp_finispecific(l);
881 1.45 thorpej
882 1.52 ad /*
883 1.52 ad * Release our cached credentials.
884 1.52 ad */
885 1.37 ad kauth_cred_free(l->l_cred);
886 1.70 ad callout_destroy(&l->l_timeout_ch);
887 1.65 ad
888 1.65 ad /*
889 1.52 ad * Remove the LWP from the global list.
890 1.106.2.7 yamt * Free its LID from the PID namespace if needed.
891 1.52 ad */
892 1.102 ad mutex_enter(proc_lock);
893 1.52 ad LIST_REMOVE(l, l_list);
894 1.106.2.7 yamt if ((l->l_pflag & LP_PIDLID) != 0 && l->l_lid != p->p_pid) {
895 1.106.2.7 yamt proc_free_pid(l->l_lid);
896 1.106.2.7 yamt }
897 1.102 ad mutex_exit(proc_lock);
898 1.19 jdolecek
899 1.52 ad /*
900 1.52 ad * Get rid of all references to the LWP that others (e.g. procfs)
901 1.52 ad * may have, and mark the LWP as a zombie. If the LWP is detached,
902 1.52 ad * mark it waiting for collection in the proc structure. Note that
903 1.52 ad * before we can do that, we need to free any other dead, deatched
904 1.52 ad * LWP waiting to meet its maker.
905 1.52 ad */
906 1.103 ad mutex_enter(p->p_lock);
907 1.52 ad lwp_drainrefs(l);
908 1.31 yamt
909 1.52 ad if ((l->l_prflag & LPR_DETACHED) != 0) {
910 1.52 ad while ((l2 = p->p_zomblwp) != NULL) {
911 1.52 ad p->p_zomblwp = NULL;
912 1.63 ad lwp_free(l2, false, false);/* releases proc mutex */
913 1.103 ad mutex_enter(p->p_lock);
914 1.72 ad l->l_refcnt++;
915 1.72 ad lwp_drainrefs(l);
916 1.52 ad }
917 1.52 ad p->p_zomblwp = l;
918 1.52 ad }
919 1.31 yamt
920 1.52 ad /*
921 1.52 ad * If we find a pending signal for the process and we have been
922 1.106.2.7 yamt * asked to check for signals, then we lose: arrange to have
923 1.52 ad * all other LWPs in the process check for signals.
924 1.52 ad */
925 1.56 pavel if ((l->l_flag & LW_PENDSIG) != 0 &&
926 1.52 ad firstsig(&p->p_sigpend.sp_set) != 0) {
927 1.52 ad LIST_FOREACH(l2, &p->p_lwps, l_sibling) {
928 1.52 ad lwp_lock(l2);
929 1.56 pavel l2->l_flag |= LW_PENDSIG;
930 1.52 ad lwp_unlock(l2);
931 1.52 ad }
932 1.31 yamt }
933 1.31 yamt
934 1.52 ad lwp_lock(l);
935 1.52 ad l->l_stat = LSZOMB;
936 1.90 ad if (l->l_name != NULL)
937 1.90 ad strcpy(l->l_name, "(zombie)");
938 1.106.2.2 yamt if (l->l_flag & LW_AFFINITY) {
939 1.106.2.2 yamt l->l_flag &= ~LW_AFFINITY;
940 1.106.2.2 yamt } else {
941 1.106.2.2 yamt KASSERT(l->l_affinity == NULL);
942 1.106.2.2 yamt }
943 1.52 ad lwp_unlock(l);
944 1.2 thorpej p->p_nrlwps--;
945 1.52 ad cv_broadcast(&p->p_lwpcv);
946 1.78 ad if (l->l_lwpctl != NULL)
947 1.78 ad l->l_lwpctl->lc_curcpu = LWPCTL_CPU_EXITED;
948 1.103 ad mutex_exit(p->p_lock);
949 1.52 ad
950 1.106.2.2 yamt /* Safe without lock since LWP is in zombie state */
951 1.106.2.2 yamt if (l->l_affinity) {
952 1.106.2.2 yamt kcpuset_unuse(l->l_affinity, NULL);
953 1.106.2.2 yamt l->l_affinity = NULL;
954 1.106.2.2 yamt }
955 1.106.2.2 yamt
956 1.52 ad /*
957 1.52 ad * We can no longer block. At this point, lwp_free() may already
958 1.52 ad * be gunning for us. On a multi-CPU system, we may be off p_lwps.
959 1.52 ad *
960 1.52 ad * Free MD LWP resources.
961 1.52 ad */
962 1.52 ad cpu_lwp_free(l, 0);
963 1.2 thorpej
964 1.65 ad if (current) {
965 1.65 ad pmap_deactivate(l);
966 1.65 ad
967 1.65 ad /*
968 1.65 ad * Release the kernel lock, and switch away into
969 1.65 ad * oblivion.
970 1.65 ad */
971 1.52 ad #ifdef notyet
972 1.65 ad /* XXXSMP hold in lwp_userret() */
973 1.65 ad KERNEL_UNLOCK_LAST(l);
974 1.52 ad #else
975 1.65 ad KERNEL_UNLOCK_ALL(l, NULL);
976 1.52 ad #endif
977 1.65 ad lwp_exit_switchaway(l);
978 1.65 ad }
979 1.2 thorpej }
980 1.2 thorpej
981 1.52 ad /*
982 1.52 ad * Free a dead LWP's remaining resources.
983 1.52 ad *
984 1.52 ad * XXXLWP limits.
985 1.52 ad */
986 1.52 ad void
987 1.63 ad lwp_free(struct lwp *l, bool recycle, bool last)
988 1.52 ad {
989 1.52 ad struct proc *p = l->l_proc;
990 1.100 ad struct rusage *ru;
991 1.52 ad ksiginfoq_t kq;
992 1.52 ad
993 1.92 yamt KASSERT(l != curlwp);
994 1.92 yamt
995 1.52 ad /*
996 1.52 ad * If this was not the last LWP in the process, then adjust
997 1.52 ad * counters and unlock.
998 1.52 ad */
999 1.52 ad if (!last) {
1000 1.52 ad /*
1001 1.52 ad * Add the LWP's run time to the process' base value.
1002 1.52 ad * This needs to co-incide with coming off p_lwps.
1003 1.52 ad */
1004 1.86 yamt bintime_add(&p->p_rtime, &l->l_rtime);
1005 1.64 yamt p->p_pctcpu += l->l_pctcpu;
1006 1.100 ad ru = &p->p_stats->p_ru;
1007 1.100 ad ruadd(ru, &l->l_ru);
1008 1.100 ad ru->ru_nvcsw += (l->l_ncsw - l->l_nivcsw);
1009 1.100 ad ru->ru_nivcsw += l->l_nivcsw;
1010 1.52 ad LIST_REMOVE(l, l_sibling);
1011 1.52 ad p->p_nlwps--;
1012 1.52 ad p->p_nzlwps--;
1013 1.52 ad if ((l->l_prflag & LPR_DETACHED) != 0)
1014 1.52 ad p->p_ndlwps--;
1015 1.63 ad
1016 1.63 ad /*
1017 1.63 ad * Have any LWPs sleeping in lwp_wait() recheck for
1018 1.63 ad * deadlock.
1019 1.63 ad */
1020 1.63 ad cv_broadcast(&p->p_lwpcv);
1021 1.103 ad mutex_exit(p->p_lock);
1022 1.63 ad }
1023 1.52 ad
1024 1.52 ad #ifdef MULTIPROCESSOR
1025 1.63 ad /*
1026 1.63 ad * In the unlikely event that the LWP is still on the CPU,
1027 1.63 ad * then spin until it has switched away. We need to release
1028 1.63 ad * all locks to avoid deadlock against interrupt handlers on
1029 1.63 ad * the target CPU.
1030 1.63 ad */
1031 1.106.2.2 yamt if ((l->l_pflag & LP_RUNNING) != 0 || l->l_cpu->ci_curlwp == l) {
1032 1.63 ad int count;
1033 1.64 yamt (void)count; /* XXXgcc */
1034 1.63 ad KERNEL_UNLOCK_ALL(curlwp, &count);
1035 1.106.2.2 yamt while ((l->l_pflag & LP_RUNNING) != 0 ||
1036 1.64 yamt l->l_cpu->ci_curlwp == l)
1037 1.63 ad SPINLOCK_BACKOFF_HOOK;
1038 1.63 ad KERNEL_LOCK(count, curlwp);
1039 1.63 ad }
1040 1.52 ad #endif
1041 1.52 ad
1042 1.52 ad /*
1043 1.52 ad * Destroy the LWP's remaining signal information.
1044 1.52 ad */
1045 1.52 ad ksiginfo_queue_init(&kq);
1046 1.52 ad sigclear(&l->l_sigpend, NULL, &kq);
1047 1.52 ad ksiginfo_queue_drain(&kq);
1048 1.52 ad cv_destroy(&l->l_sigcv);
1049 1.2 thorpej
1050 1.19 jdolecek /*
1051 1.52 ad * Free the LWP's turnstile and the LWP structure itself unless the
1052 1.93 yamt * caller wants to recycle them. Also, free the scheduler specific
1053 1.93 yamt * data.
1054 1.52 ad *
1055 1.52 ad * We can't return turnstile0 to the pool (it didn't come from it),
1056 1.52 ad * so if it comes up just drop it quietly and move on.
1057 1.52 ad *
1058 1.52 ad * We don't recycle the VM resources at this time.
1059 1.19 jdolecek */
1060 1.78 ad if (l->l_lwpctl != NULL)
1061 1.78 ad lwp_ctl_free(l);
1062 1.64 yamt
1063 1.52 ad if (!recycle && l->l_ts != &turnstile0)
1064 1.76 ad pool_cache_put(turnstile_cache, l->l_ts);
1065 1.90 ad if (l->l_name != NULL)
1066 1.90 ad kmem_free(l->l_name, MAXCOMLEN);
1067 1.106.2.6 yamt
1068 1.52 ad cpu_lwp_free2(l);
1069 1.19 jdolecek uvm_lwp_exit(l);
1070 1.106.2.6 yamt
1071 1.60 yamt KASSERT(SLIST_EMPTY(&l->l_pi_lenders));
1072 1.75 ad KASSERT(l->l_inheritedprio == -1);
1073 1.106.2.6 yamt kdtrace_thread_dtor(NULL, l);
1074 1.52 ad if (!recycle)
1075 1.87 ad pool_cache_put(lwp_cache, l);
1076 1.2 thorpej }
1077 1.2 thorpej
1078 1.2 thorpej /*
1079 1.91 rmind * Migrate the LWP to the another CPU. Unlocks the LWP.
1080 1.91 rmind */
1081 1.91 rmind void
1082 1.106.2.2 yamt lwp_migrate(lwp_t *l, struct cpu_info *tci)
1083 1.91 rmind {
1084 1.106.2.2 yamt struct schedstate_percpu *tspc;
1085 1.106.2.2 yamt int lstat = l->l_stat;
1086 1.106.2.2 yamt
1087 1.91 rmind KASSERT(lwp_locked(l, NULL));
1088 1.106.2.2 yamt KASSERT(tci != NULL);
1089 1.106.2.2 yamt
1090 1.106.2.2 yamt /* If LWP is still on the CPU, it must be handled like LSONPROC */
1091 1.106.2.2 yamt if ((l->l_pflag & LP_RUNNING) != 0) {
1092 1.106.2.2 yamt lstat = LSONPROC;
1093 1.106.2.2 yamt }
1094 1.91 rmind
1095 1.106.2.2 yamt /*
1096 1.106.2.2 yamt * The destination CPU could be changed while previous migration
1097 1.106.2.2 yamt * was not finished.
1098 1.106.2.2 yamt */
1099 1.106.2.2 yamt if (l->l_target_cpu != NULL) {
1100 1.106.2.2 yamt l->l_target_cpu = tci;
1101 1.91 rmind lwp_unlock(l);
1102 1.91 rmind return;
1103 1.91 rmind }
1104 1.91 rmind
1105 1.106.2.2 yamt /* Nothing to do if trying to migrate to the same CPU */
1106 1.106.2.2 yamt if (l->l_cpu == tci) {
1107 1.106.2.2 yamt lwp_unlock(l);
1108 1.106.2.2 yamt return;
1109 1.106.2.2 yamt }
1110 1.106.2.2 yamt
1111 1.106.2.2 yamt KASSERT(l->l_target_cpu == NULL);
1112 1.106.2.2 yamt tspc = &tci->ci_schedstate;
1113 1.106.2.2 yamt switch (lstat) {
1114 1.91 rmind case LSRUN:
1115 1.106.2.6 yamt l->l_target_cpu = tci;
1116 1.106.2.6 yamt break;
1117 1.91 rmind case LSIDL:
1118 1.106.2.2 yamt l->l_cpu = tci;
1119 1.106.2.2 yamt lwp_unlock_to(l, tspc->spc_mutex);
1120 1.91 rmind return;
1121 1.91 rmind case LSSLEEP:
1122 1.106.2.2 yamt l->l_cpu = tci;
1123 1.91 rmind break;
1124 1.91 rmind case LSSTOP:
1125 1.91 rmind case LSSUSPENDED:
1126 1.106.2.2 yamt l->l_cpu = tci;
1127 1.106.2.2 yamt if (l->l_wchan == NULL) {
1128 1.106.2.2 yamt lwp_unlock_to(l, tspc->spc_lwplock);
1129 1.106.2.2 yamt return;
1130 1.91 rmind }
1131 1.106.2.2 yamt break;
1132 1.91 rmind case LSONPROC:
1133 1.106.2.2 yamt l->l_target_cpu = tci;
1134 1.106.2.2 yamt spc_lock(l->l_cpu);
1135 1.106.2.2 yamt cpu_need_resched(l->l_cpu, RESCHED_KPREEMPT);
1136 1.106.2.2 yamt spc_unlock(l->l_cpu);
1137 1.91 rmind break;
1138 1.91 rmind }
1139 1.91 rmind lwp_unlock(l);
1140 1.91 rmind }
1141 1.91 rmind
1142 1.91 rmind /*
1143 1.94 rmind * Find the LWP in the process. Arguments may be zero, in such case,
1144 1.94 rmind * the calling process and first LWP in the list will be used.
1145 1.103 ad * On success - returns proc locked.
1146 1.91 rmind */
1147 1.91 rmind struct lwp *
1148 1.91 rmind lwp_find2(pid_t pid, lwpid_t lid)
1149 1.91 rmind {
1150 1.91 rmind proc_t *p;
1151 1.91 rmind lwp_t *l;
1152 1.91 rmind
1153 1.106.2.7 yamt /* Find the process. */
1154 1.94 rmind if (pid != 0) {
1155 1.106.2.7 yamt mutex_enter(proc_lock);
1156 1.106.2.7 yamt p = proc_find(pid);
1157 1.106.2.7 yamt if (p == NULL) {
1158 1.106.2.7 yamt mutex_exit(proc_lock);
1159 1.106.2.7 yamt return NULL;
1160 1.106.2.7 yamt }
1161 1.106.2.7 yamt mutex_enter(p->p_lock);
1162 1.102 ad mutex_exit(proc_lock);
1163 1.106.2.7 yamt } else {
1164 1.106.2.7 yamt p = curlwp->l_proc;
1165 1.106.2.7 yamt mutex_enter(p->p_lock);
1166 1.106.2.7 yamt }
1167 1.106.2.7 yamt /* Find the thread. */
1168 1.106.2.7 yamt if (lid != 0) {
1169 1.106.2.7 yamt l = lwp_find(p, lid);
1170 1.106.2.7 yamt } else {
1171 1.106.2.7 yamt l = LIST_FIRST(&p->p_lwps);
1172 1.94 rmind }
1173 1.103 ad if (l == NULL) {
1174 1.103 ad mutex_exit(p->p_lock);
1175 1.103 ad }
1176 1.91 rmind return l;
1177 1.91 rmind }
1178 1.91 rmind
1179 1.91 rmind /*
1180 1.106.2.7 yamt * Look up a live LWP within the specified process, and return it locked.
1181 1.52 ad *
1182 1.103 ad * Must be called with p->p_lock held.
1183 1.52 ad */
1184 1.52 ad struct lwp *
1185 1.106.2.7 yamt lwp_find(struct proc *p, lwpid_t id)
1186 1.52 ad {
1187 1.52 ad struct lwp *l;
1188 1.52 ad
1189 1.103 ad KASSERT(mutex_owned(p->p_lock));
1190 1.52 ad
1191 1.52 ad LIST_FOREACH(l, &p->p_lwps, l_sibling) {
1192 1.52 ad if (l->l_lid == id)
1193 1.52 ad break;
1194 1.52 ad }
1195 1.52 ad
1196 1.52 ad /*
1197 1.52 ad * No need to lock - all of these conditions will
1198 1.52 ad * be visible with the process level mutex held.
1199 1.52 ad */
1200 1.52 ad if (l != NULL && (l->l_stat == LSIDL || l->l_stat == LSZOMB))
1201 1.52 ad l = NULL;
1202 1.52 ad
1203 1.52 ad return l;
1204 1.52 ad }
1205 1.52 ad
1206 1.52 ad /*
1207 1.37 ad * Update an LWP's cached credentials to mirror the process' master copy.
1208 1.37 ad *
1209 1.37 ad * This happens early in the syscall path, on user trap, and on LWP
1210 1.37 ad * creation. A long-running LWP can also voluntarily choose to update
1211 1.37 ad * it's credentials by calling this routine. This may be called from
1212 1.37 ad * LWP_CACHE_CREDS(), which checks l->l_cred != p->p_cred beforehand.
1213 1.37 ad */
1214 1.37 ad void
1215 1.37 ad lwp_update_creds(struct lwp *l)
1216 1.37 ad {
1217 1.37 ad kauth_cred_t oc;
1218 1.37 ad struct proc *p;
1219 1.37 ad
1220 1.37 ad p = l->l_proc;
1221 1.37 ad oc = l->l_cred;
1222 1.37 ad
1223 1.103 ad mutex_enter(p->p_lock);
1224 1.37 ad kauth_cred_hold(p->p_cred);
1225 1.37 ad l->l_cred = p->p_cred;
1226 1.98 ad l->l_prflag &= ~LPR_CRMOD;
1227 1.103 ad mutex_exit(p->p_lock);
1228 1.88 ad if (oc != NULL)
1229 1.37 ad kauth_cred_free(oc);
1230 1.52 ad }
1231 1.52 ad
1232 1.52 ad /*
1233 1.52 ad * Verify that an LWP is locked, and optionally verify that the lock matches
1234 1.52 ad * one we specify.
1235 1.52 ad */
1236 1.52 ad int
1237 1.52 ad lwp_locked(struct lwp *l, kmutex_t *mtx)
1238 1.52 ad {
1239 1.52 ad kmutex_t *cur = l->l_mutex;
1240 1.52 ad
1241 1.52 ad return mutex_owned(cur) && (mtx == cur || mtx == NULL);
1242 1.52 ad }
1243 1.52 ad
1244 1.52 ad /*
1245 1.52 ad * Lock an LWP.
1246 1.52 ad */
1247 1.106.2.2 yamt kmutex_t *
1248 1.52 ad lwp_lock_retry(struct lwp *l, kmutex_t *old)
1249 1.52 ad {
1250 1.52 ad
1251 1.52 ad /*
1252 1.52 ad * XXXgcc ignoring kmutex_t * volatile on i386
1253 1.52 ad *
1254 1.52 ad * gcc version 4.1.2 20061021 prerelease (NetBSD nb1 20061021)
1255 1.52 ad */
1256 1.52 ad #if 1
1257 1.52 ad while (l->l_mutex != old) {
1258 1.52 ad #else
1259 1.52 ad for (;;) {
1260 1.52 ad #endif
1261 1.52 ad mutex_spin_exit(old);
1262 1.52 ad old = l->l_mutex;
1263 1.52 ad mutex_spin_enter(old);
1264 1.52 ad
1265 1.52 ad /*
1266 1.52 ad * mutex_enter() will have posted a read barrier. Re-test
1267 1.52 ad * l->l_mutex. If it has changed, we need to try again.
1268 1.52 ad */
1269 1.52 ad #if 1
1270 1.52 ad }
1271 1.52 ad #else
1272 1.52 ad } while (__predict_false(l->l_mutex != old));
1273 1.52 ad #endif
1274 1.106.2.2 yamt
1275 1.106.2.2 yamt return old;
1276 1.52 ad }
1277 1.52 ad
1278 1.52 ad /*
1279 1.52 ad * Lend a new mutex to an LWP. The old mutex must be held.
1280 1.52 ad */
1281 1.52 ad void
1282 1.52 ad lwp_setlock(struct lwp *l, kmutex_t *new)
1283 1.52 ad {
1284 1.52 ad
1285 1.63 ad KASSERT(mutex_owned(l->l_mutex));
1286 1.52 ad
1287 1.106.2.1 yamt membar_exit();
1288 1.52 ad l->l_mutex = new;
1289 1.52 ad }
1290 1.52 ad
1291 1.52 ad /*
1292 1.52 ad * Lend a new mutex to an LWP, and release the old mutex. The old mutex
1293 1.52 ad * must be held.
1294 1.52 ad */
1295 1.52 ad void
1296 1.52 ad lwp_unlock_to(struct lwp *l, kmutex_t *new)
1297 1.52 ad {
1298 1.52 ad kmutex_t *old;
1299 1.52 ad
1300 1.63 ad KASSERT(mutex_owned(l->l_mutex));
1301 1.52 ad
1302 1.52 ad old = l->l_mutex;
1303 1.106.2.1 yamt membar_exit();
1304 1.52 ad l->l_mutex = new;
1305 1.52 ad mutex_spin_exit(old);
1306 1.52 ad }
1307 1.52 ad
1308 1.52 ad /*
1309 1.52 ad * Acquire a new mutex, and donate it to an LWP. The LWP must already be
1310 1.52 ad * locked.
1311 1.52 ad */
1312 1.52 ad void
1313 1.52 ad lwp_relock(struct lwp *l, kmutex_t *new)
1314 1.52 ad {
1315 1.52 ad kmutex_t *old;
1316 1.52 ad
1317 1.63 ad KASSERT(mutex_owned(l->l_mutex));
1318 1.52 ad
1319 1.52 ad old = l->l_mutex;
1320 1.52 ad if (old != new) {
1321 1.52 ad mutex_spin_enter(new);
1322 1.52 ad l->l_mutex = new;
1323 1.52 ad mutex_spin_exit(old);
1324 1.52 ad }
1325 1.52 ad }
1326 1.52 ad
1327 1.60 yamt int
1328 1.60 yamt lwp_trylock(struct lwp *l)
1329 1.60 yamt {
1330 1.60 yamt kmutex_t *old;
1331 1.60 yamt
1332 1.60 yamt for (;;) {
1333 1.60 yamt if (!mutex_tryenter(old = l->l_mutex))
1334 1.60 yamt return 0;
1335 1.60 yamt if (__predict_true(l->l_mutex == old))
1336 1.60 yamt return 1;
1337 1.60 yamt mutex_spin_exit(old);
1338 1.60 yamt }
1339 1.60 yamt }
1340 1.60 yamt
1341 1.106.2.6 yamt void
1342 1.96 ad lwp_unsleep(lwp_t *l, bool cleanup)
1343 1.96 ad {
1344 1.96 ad
1345 1.96 ad KASSERT(mutex_owned(l->l_mutex));
1346 1.106.2.6 yamt (*l->l_syncobj->sobj_unsleep)(l, cleanup);
1347 1.96 ad }
1348 1.96 ad
1349 1.96 ad
1350 1.52 ad /*
1351 1.56 pavel * Handle exceptions for mi_userret(). Called if a member of LW_USERRET is
1352 1.52 ad * set.
1353 1.52 ad */
1354 1.52 ad void
1355 1.52 ad lwp_userret(struct lwp *l)
1356 1.52 ad {
1357 1.52 ad struct proc *p;
1358 1.52 ad int sig;
1359 1.52 ad
1360 1.106.2.2 yamt KASSERT(l == curlwp);
1361 1.106.2.2 yamt KASSERT(l->l_stat == LSONPROC);
1362 1.52 ad p = l->l_proc;
1363 1.52 ad
1364 1.75 ad #ifndef __HAVE_FAST_SOFTINTS
1365 1.75 ad /* Run pending soft interrupts. */
1366 1.75 ad if (l->l_cpu->ci_data.cpu_softints != 0)
1367 1.75 ad softint_overlay();
1368 1.75 ad #endif
1369 1.75 ad
1370 1.106.2.2 yamt #ifdef KERN_SA
1371 1.106.2.2 yamt /* Generate UNBLOCKED upcall if needed */
1372 1.106.2.2 yamt if (l->l_flag & LW_SA_BLOCKING) {
1373 1.106.2.2 yamt sa_unblock_userret(l);
1374 1.106.2.2 yamt /* NOTREACHED */
1375 1.106.2.2 yamt }
1376 1.106.2.2 yamt #endif
1377 1.106.2.2 yamt
1378 1.52 ad /*
1379 1.52 ad * It should be safe to do this read unlocked on a multiprocessor
1380 1.52 ad * system..
1381 1.106.2.2 yamt *
1382 1.106.2.2 yamt * LW_SA_UPCALL will be handled after the while() loop, so don't
1383 1.106.2.2 yamt * consider it now.
1384 1.52 ad */
1385 1.106.2.2 yamt while ((l->l_flag & (LW_USERRET & ~(LW_SA_UPCALL))) != 0) {
1386 1.52 ad /*
1387 1.52 ad * Process pending signals first, unless the process
1388 1.61 ad * is dumping core or exiting, where we will instead
1389 1.101 rmind * enter the LW_WSUSPEND case below.
1390 1.52 ad */
1391 1.61 ad if ((l->l_flag & (LW_PENDSIG | LW_WCORE | LW_WEXIT)) ==
1392 1.61 ad LW_PENDSIG) {
1393 1.103 ad mutex_enter(p->p_lock);
1394 1.52 ad while ((sig = issignal(l)) != 0)
1395 1.52 ad postsig(sig);
1396 1.103 ad mutex_exit(p->p_lock);
1397 1.52 ad }
1398 1.52 ad
1399 1.52 ad /*
1400 1.52 ad * Core-dump or suspend pending.
1401 1.52 ad *
1402 1.52 ad * In case of core dump, suspend ourselves, so that the
1403 1.52 ad * kernel stack and therefore the userland registers saved
1404 1.52 ad * in the trapframe are around for coredump() to write them
1405 1.52 ad * out. We issue a wakeup on p->p_lwpcv so that sigexit()
1406 1.52 ad * will write the core file out once all other LWPs are
1407 1.52 ad * suspended.
1408 1.52 ad */
1409 1.56 pavel if ((l->l_flag & LW_WSUSPEND) != 0) {
1410 1.103 ad mutex_enter(p->p_lock);
1411 1.52 ad p->p_nrlwps--;
1412 1.52 ad cv_broadcast(&p->p_lwpcv);
1413 1.52 ad lwp_lock(l);
1414 1.52 ad l->l_stat = LSSUSPENDED;
1415 1.104 ad lwp_unlock(l);
1416 1.103 ad mutex_exit(p->p_lock);
1417 1.104 ad lwp_lock(l);
1418 1.64 yamt mi_switch(l);
1419 1.52 ad }
1420 1.52 ad
1421 1.52 ad /* Process is exiting. */
1422 1.56 pavel if ((l->l_flag & LW_WEXIT) != 0) {
1423 1.52 ad lwp_exit(l);
1424 1.52 ad KASSERT(0);
1425 1.52 ad /* NOTREACHED */
1426 1.52 ad }
1427 1.52 ad }
1428 1.106.2.2 yamt
1429 1.106.2.2 yamt #ifdef KERN_SA
1430 1.106.2.2 yamt /*
1431 1.106.2.2 yamt * Timer events are handled specially. We only try once to deliver
1432 1.106.2.2 yamt * pending timer upcalls; if if fails, we can try again on the next
1433 1.106.2.2 yamt * loop around. If we need to re-enter lwp_userret(), MD code will
1434 1.106.2.2 yamt * bounce us back here through the trap path after we return.
1435 1.106.2.2 yamt */
1436 1.106.2.2 yamt if (p->p_timerpend)
1437 1.106.2.2 yamt timerupcall(l);
1438 1.106.2.2 yamt if (l->l_flag & LW_SA_UPCALL)
1439 1.106.2.2 yamt sa_upcall_userret(l);
1440 1.106.2.2 yamt #endif /* KERN_SA */
1441 1.52 ad }
1442 1.52 ad
1443 1.52 ad /*
1444 1.52 ad * Force an LWP to enter the kernel, to take a trip through lwp_userret().
1445 1.52 ad */
1446 1.52 ad void
1447 1.52 ad lwp_need_userret(struct lwp *l)
1448 1.52 ad {
1449 1.63 ad KASSERT(lwp_locked(l, NULL));
1450 1.52 ad
1451 1.52 ad /*
1452 1.52 ad * Since the tests in lwp_userret() are done unlocked, make sure
1453 1.52 ad * that the condition will be seen before forcing the LWP to enter
1454 1.52 ad * kernel mode.
1455 1.52 ad */
1456 1.81 ad membar_producer();
1457 1.52 ad cpu_signotify(l);
1458 1.52 ad }
1459 1.52 ad
1460 1.52 ad /*
1461 1.52 ad * Add one reference to an LWP. This will prevent the LWP from
1462 1.52 ad * exiting, thus keep the lwp structure and PCB around to inspect.
1463 1.52 ad */
1464 1.52 ad void
1465 1.52 ad lwp_addref(struct lwp *l)
1466 1.52 ad {
1467 1.52 ad
1468 1.103 ad KASSERT(mutex_owned(l->l_proc->p_lock));
1469 1.52 ad KASSERT(l->l_stat != LSZOMB);
1470 1.52 ad KASSERT(l->l_refcnt != 0);
1471 1.52 ad
1472 1.52 ad l->l_refcnt++;
1473 1.52 ad }
1474 1.52 ad
1475 1.52 ad /*
1476 1.52 ad * Remove one reference to an LWP. If this is the last reference,
1477 1.52 ad * then we must finalize the LWP's death.
1478 1.52 ad */
1479 1.52 ad void
1480 1.52 ad lwp_delref(struct lwp *l)
1481 1.52 ad {
1482 1.52 ad struct proc *p = l->l_proc;
1483 1.52 ad
1484 1.103 ad mutex_enter(p->p_lock);
1485 1.106.2.7 yamt lwp_delref2(l);
1486 1.106.2.7 yamt mutex_exit(p->p_lock);
1487 1.106.2.7 yamt }
1488 1.106.2.7 yamt
1489 1.106.2.7 yamt /*
1490 1.106.2.7 yamt * Remove one reference to an LWP. If this is the last reference,
1491 1.106.2.7 yamt * then we must finalize the LWP's death. The proc mutex is held
1492 1.106.2.7 yamt * on entry.
1493 1.106.2.7 yamt */
1494 1.106.2.7 yamt void
1495 1.106.2.7 yamt lwp_delref2(struct lwp *l)
1496 1.106.2.7 yamt {
1497 1.106.2.7 yamt struct proc *p = l->l_proc;
1498 1.106.2.7 yamt
1499 1.106.2.7 yamt KASSERT(mutex_owned(p->p_lock));
1500 1.72 ad KASSERT(l->l_stat != LSZOMB);
1501 1.72 ad KASSERT(l->l_refcnt > 0);
1502 1.52 ad if (--l->l_refcnt == 0)
1503 1.76 ad cv_broadcast(&p->p_lwpcv);
1504 1.52 ad }
1505 1.52 ad
1506 1.52 ad /*
1507 1.52 ad * Drain all references to the current LWP.
1508 1.52 ad */
1509 1.52 ad void
1510 1.52 ad lwp_drainrefs(struct lwp *l)
1511 1.52 ad {
1512 1.52 ad struct proc *p = l->l_proc;
1513 1.52 ad
1514 1.103 ad KASSERT(mutex_owned(p->p_lock));
1515 1.52 ad KASSERT(l->l_refcnt != 0);
1516 1.52 ad
1517 1.52 ad l->l_refcnt--;
1518 1.52 ad while (l->l_refcnt != 0)
1519 1.103 ad cv_wait(&p->p_lwpcv, p->p_lock);
1520 1.37 ad }
1521 1.41 thorpej
1522 1.41 thorpej /*
1523 1.106.2.2 yamt * Return true if the specified LWP is 'alive'. Only p->p_lock need
1524 1.106.2.2 yamt * be held.
1525 1.106.2.2 yamt */
1526 1.106.2.2 yamt bool
1527 1.106.2.2 yamt lwp_alive(lwp_t *l)
1528 1.106.2.2 yamt {
1529 1.106.2.2 yamt
1530 1.106.2.2 yamt KASSERT(mutex_owned(l->l_proc->p_lock));
1531 1.106.2.2 yamt
1532 1.106.2.2 yamt switch (l->l_stat) {
1533 1.106.2.2 yamt case LSSLEEP:
1534 1.106.2.2 yamt case LSRUN:
1535 1.106.2.2 yamt case LSONPROC:
1536 1.106.2.2 yamt case LSSTOP:
1537 1.106.2.2 yamt case LSSUSPENDED:
1538 1.106.2.2 yamt return true;
1539 1.106.2.2 yamt default:
1540 1.106.2.2 yamt return false;
1541 1.106.2.2 yamt }
1542 1.106.2.2 yamt }
1543 1.106.2.2 yamt
1544 1.106.2.2 yamt /*
1545 1.106.2.2 yamt * Return first live LWP in the process.
1546 1.106.2.2 yamt */
1547 1.106.2.2 yamt lwp_t *
1548 1.106.2.2 yamt lwp_find_first(proc_t *p)
1549 1.106.2.2 yamt {
1550 1.106.2.2 yamt lwp_t *l;
1551 1.106.2.2 yamt
1552 1.106.2.2 yamt KASSERT(mutex_owned(p->p_lock));
1553 1.106.2.2 yamt
1554 1.106.2.2 yamt LIST_FOREACH(l, &p->p_lwps, l_sibling) {
1555 1.106.2.2 yamt if (lwp_alive(l)) {
1556 1.106.2.2 yamt return l;
1557 1.106.2.2 yamt }
1558 1.106.2.2 yamt }
1559 1.106.2.2 yamt
1560 1.106.2.2 yamt return NULL;
1561 1.106.2.2 yamt }
1562 1.106.2.2 yamt
1563 1.106.2.2 yamt /*
1564 1.78 ad * Allocate a new lwpctl structure for a user LWP.
1565 1.78 ad */
1566 1.78 ad int
1567 1.78 ad lwp_ctl_alloc(vaddr_t *uaddr)
1568 1.78 ad {
1569 1.78 ad lcproc_t *lp;
1570 1.78 ad u_int bit, i, offset;
1571 1.78 ad struct uvm_object *uao;
1572 1.78 ad int error;
1573 1.78 ad lcpage_t *lcp;
1574 1.78 ad proc_t *p;
1575 1.78 ad lwp_t *l;
1576 1.78 ad
1577 1.78 ad l = curlwp;
1578 1.78 ad p = l->l_proc;
1579 1.78 ad
1580 1.81 ad if (l->l_lcpage != NULL) {
1581 1.81 ad lcp = l->l_lcpage;
1582 1.81 ad *uaddr = lcp->lcp_uaddr + (vaddr_t)l->l_lwpctl - lcp->lcp_kaddr;
1583 1.106.2.7 yamt return 0;
1584 1.81 ad }
1585 1.78 ad
1586 1.78 ad /* First time around, allocate header structure for the process. */
1587 1.78 ad if ((lp = p->p_lwpctl) == NULL) {
1588 1.78 ad lp = kmem_alloc(sizeof(*lp), KM_SLEEP);
1589 1.78 ad mutex_init(&lp->lp_lock, MUTEX_DEFAULT, IPL_NONE);
1590 1.78 ad lp->lp_uao = NULL;
1591 1.78 ad TAILQ_INIT(&lp->lp_pages);
1592 1.103 ad mutex_enter(p->p_lock);
1593 1.78 ad if (p->p_lwpctl == NULL) {
1594 1.78 ad p->p_lwpctl = lp;
1595 1.103 ad mutex_exit(p->p_lock);
1596 1.78 ad } else {
1597 1.103 ad mutex_exit(p->p_lock);
1598 1.78 ad mutex_destroy(&lp->lp_lock);
1599 1.78 ad kmem_free(lp, sizeof(*lp));
1600 1.78 ad lp = p->p_lwpctl;
1601 1.78 ad }
1602 1.78 ad }
1603 1.78 ad
1604 1.78 ad /*
1605 1.78 ad * Set up an anonymous memory region to hold the shared pages.
1606 1.78 ad * Map them into the process' address space. The user vmspace
1607 1.78 ad * gets the first reference on the UAO.
1608 1.78 ad */
1609 1.78 ad mutex_enter(&lp->lp_lock);
1610 1.78 ad if (lp->lp_uao == NULL) {
1611 1.78 ad lp->lp_uao = uao_create(LWPCTL_UAREA_SZ, 0);
1612 1.78 ad lp->lp_cur = 0;
1613 1.78 ad lp->lp_max = LWPCTL_UAREA_SZ;
1614 1.78 ad lp->lp_uva = p->p_emul->e_vm_default_addr(p,
1615 1.78 ad (vaddr_t)p->p_vmspace->vm_daddr, LWPCTL_UAREA_SZ);
1616 1.78 ad error = uvm_map(&p->p_vmspace->vm_map, &lp->lp_uva,
1617 1.78 ad LWPCTL_UAREA_SZ, lp->lp_uao, 0, 0, UVM_MAPFLAG(UVM_PROT_RW,
1618 1.78 ad UVM_PROT_RW, UVM_INH_NONE, UVM_ADV_NORMAL, 0));
1619 1.78 ad if (error != 0) {
1620 1.78 ad uao_detach(lp->lp_uao);
1621 1.78 ad lp->lp_uao = NULL;
1622 1.78 ad mutex_exit(&lp->lp_lock);
1623 1.78 ad return error;
1624 1.78 ad }
1625 1.78 ad }
1626 1.78 ad
1627 1.78 ad /* Get a free block and allocate for this LWP. */
1628 1.78 ad TAILQ_FOREACH(lcp, &lp->lp_pages, lcp_chain) {
1629 1.78 ad if (lcp->lcp_nfree != 0)
1630 1.78 ad break;
1631 1.78 ad }
1632 1.78 ad if (lcp == NULL) {
1633 1.78 ad /* Nothing available - try to set up a free page. */
1634 1.78 ad if (lp->lp_cur == lp->lp_max) {
1635 1.78 ad mutex_exit(&lp->lp_lock);
1636 1.78 ad return ENOMEM;
1637 1.78 ad }
1638 1.78 ad lcp = kmem_alloc(LWPCTL_LCPAGE_SZ, KM_SLEEP);
1639 1.79 yamt if (lcp == NULL) {
1640 1.79 yamt mutex_exit(&lp->lp_lock);
1641 1.78 ad return ENOMEM;
1642 1.79 yamt }
1643 1.78 ad /*
1644 1.78 ad * Wire the next page down in kernel space. Since this
1645 1.78 ad * is a new mapping, we must add a reference.
1646 1.78 ad */
1647 1.78 ad uao = lp->lp_uao;
1648 1.78 ad (*uao->pgops->pgo_reference)(uao);
1649 1.99 ad lcp->lcp_kaddr = vm_map_min(kernel_map);
1650 1.78 ad error = uvm_map(kernel_map, &lcp->lcp_kaddr, PAGE_SIZE,
1651 1.78 ad uao, lp->lp_cur, PAGE_SIZE,
1652 1.78 ad UVM_MAPFLAG(UVM_PROT_RW, UVM_PROT_RW,
1653 1.78 ad UVM_INH_NONE, UVM_ADV_RANDOM, 0));
1654 1.78 ad if (error != 0) {
1655 1.78 ad mutex_exit(&lp->lp_lock);
1656 1.78 ad kmem_free(lcp, LWPCTL_LCPAGE_SZ);
1657 1.78 ad (*uao->pgops->pgo_detach)(uao);
1658 1.78 ad return error;
1659 1.78 ad }
1660 1.89 yamt error = uvm_map_pageable(kernel_map, lcp->lcp_kaddr,
1661 1.89 yamt lcp->lcp_kaddr + PAGE_SIZE, FALSE, 0);
1662 1.89 yamt if (error != 0) {
1663 1.89 yamt mutex_exit(&lp->lp_lock);
1664 1.89 yamt uvm_unmap(kernel_map, lcp->lcp_kaddr,
1665 1.89 yamt lcp->lcp_kaddr + PAGE_SIZE);
1666 1.89 yamt kmem_free(lcp, LWPCTL_LCPAGE_SZ);
1667 1.89 yamt return error;
1668 1.89 yamt }
1669 1.78 ad /* Prepare the page descriptor and link into the list. */
1670 1.78 ad lcp->lcp_uaddr = lp->lp_uva + lp->lp_cur;
1671 1.78 ad lp->lp_cur += PAGE_SIZE;
1672 1.78 ad lcp->lcp_nfree = LWPCTL_PER_PAGE;
1673 1.78 ad lcp->lcp_rotor = 0;
1674 1.78 ad memset(lcp->lcp_bitmap, 0xff, LWPCTL_BITMAP_SZ);
1675 1.78 ad TAILQ_INSERT_HEAD(&lp->lp_pages, lcp, lcp_chain);
1676 1.78 ad }
1677 1.78 ad for (i = lcp->lcp_rotor; lcp->lcp_bitmap[i] == 0;) {
1678 1.78 ad if (++i >= LWPCTL_BITMAP_ENTRIES)
1679 1.78 ad i = 0;
1680 1.78 ad }
1681 1.78 ad bit = ffs(lcp->lcp_bitmap[i]) - 1;
1682 1.78 ad lcp->lcp_bitmap[i] ^= (1 << bit);
1683 1.78 ad lcp->lcp_rotor = i;
1684 1.78 ad lcp->lcp_nfree--;
1685 1.78 ad l->l_lcpage = lcp;
1686 1.78 ad offset = (i << 5) + bit;
1687 1.78 ad l->l_lwpctl = (lwpctl_t *)lcp->lcp_kaddr + offset;
1688 1.78 ad *uaddr = lcp->lcp_uaddr + offset * sizeof(lwpctl_t);
1689 1.78 ad mutex_exit(&lp->lp_lock);
1690 1.78 ad
1691 1.106.2.1 yamt KPREEMPT_DISABLE(l);
1692 1.106.2.2 yamt l->l_lwpctl->lc_curcpu = (int)curcpu()->ci_data.cpu_index;
1693 1.106.2.1 yamt KPREEMPT_ENABLE(l);
1694 1.78 ad
1695 1.78 ad return 0;
1696 1.78 ad }
1697 1.78 ad
1698 1.78 ad /*
1699 1.78 ad * Free an lwpctl structure back to the per-process list.
1700 1.78 ad */
1701 1.78 ad void
1702 1.78 ad lwp_ctl_free(lwp_t *l)
1703 1.78 ad {
1704 1.78 ad lcproc_t *lp;
1705 1.78 ad lcpage_t *lcp;
1706 1.78 ad u_int map, offset;
1707 1.78 ad
1708 1.78 ad lp = l->l_proc->p_lwpctl;
1709 1.78 ad KASSERT(lp != NULL);
1710 1.78 ad
1711 1.78 ad lcp = l->l_lcpage;
1712 1.78 ad offset = (u_int)((lwpctl_t *)l->l_lwpctl - (lwpctl_t *)lcp->lcp_kaddr);
1713 1.78 ad KASSERT(offset < LWPCTL_PER_PAGE);
1714 1.78 ad
1715 1.78 ad mutex_enter(&lp->lp_lock);
1716 1.78 ad lcp->lcp_nfree++;
1717 1.78 ad map = offset >> 5;
1718 1.78 ad lcp->lcp_bitmap[map] |= (1 << (offset & 31));
1719 1.78 ad if (lcp->lcp_bitmap[lcp->lcp_rotor] == 0)
1720 1.78 ad lcp->lcp_rotor = map;
1721 1.78 ad if (TAILQ_FIRST(&lp->lp_pages)->lcp_nfree == 0) {
1722 1.78 ad TAILQ_REMOVE(&lp->lp_pages, lcp, lcp_chain);
1723 1.78 ad TAILQ_INSERT_HEAD(&lp->lp_pages, lcp, lcp_chain);
1724 1.78 ad }
1725 1.78 ad mutex_exit(&lp->lp_lock);
1726 1.78 ad }
1727 1.78 ad
1728 1.78 ad /*
1729 1.78 ad * Process is exiting; tear down lwpctl state. This can only be safely
1730 1.78 ad * called by the last LWP in the process.
1731 1.78 ad */
1732 1.78 ad void
1733 1.78 ad lwp_ctl_exit(void)
1734 1.78 ad {
1735 1.78 ad lcpage_t *lcp, *next;
1736 1.78 ad lcproc_t *lp;
1737 1.78 ad proc_t *p;
1738 1.78 ad lwp_t *l;
1739 1.78 ad
1740 1.78 ad l = curlwp;
1741 1.78 ad l->l_lwpctl = NULL;
1742 1.95 ad l->l_lcpage = NULL;
1743 1.78 ad p = l->l_proc;
1744 1.78 ad lp = p->p_lwpctl;
1745 1.78 ad
1746 1.78 ad KASSERT(lp != NULL);
1747 1.78 ad KASSERT(p->p_nlwps == 1);
1748 1.78 ad
1749 1.78 ad for (lcp = TAILQ_FIRST(&lp->lp_pages); lcp != NULL; lcp = next) {
1750 1.78 ad next = TAILQ_NEXT(lcp, lcp_chain);
1751 1.78 ad uvm_unmap(kernel_map, lcp->lcp_kaddr,
1752 1.78 ad lcp->lcp_kaddr + PAGE_SIZE);
1753 1.78 ad kmem_free(lcp, LWPCTL_LCPAGE_SZ);
1754 1.78 ad }
1755 1.78 ad
1756 1.78 ad if (lp->lp_uao != NULL) {
1757 1.78 ad uvm_unmap(&p->p_vmspace->vm_map, lp->lp_uva,
1758 1.78 ad lp->lp_uva + LWPCTL_UAREA_SZ);
1759 1.78 ad }
1760 1.78 ad
1761 1.78 ad mutex_destroy(&lp->lp_lock);
1762 1.78 ad kmem_free(lp, sizeof(*lp));
1763 1.78 ad p->p_lwpctl = NULL;
1764 1.78 ad }
1765 1.84 yamt
1766 1.106.2.3 yamt /*
1767 1.106.2.3 yamt * Return the current LWP's "preemption counter". Used to detect
1768 1.106.2.3 yamt * preemption across operations that can tolerate preemption without
1769 1.106.2.3 yamt * crashing, but which may generate incorrect results if preempted.
1770 1.106.2.3 yamt */
1771 1.106.2.3 yamt uint64_t
1772 1.106.2.3 yamt lwp_pctr(void)
1773 1.106.2.3 yamt {
1774 1.106.2.3 yamt
1775 1.106.2.3 yamt return curlwp->l_ncsw;
1776 1.106.2.3 yamt }
1777 1.106.2.3 yamt
1778 1.106.2.7 yamt /*
1779 1.106.2.7 yamt * Set an LWP's private data pointer.
1780 1.106.2.7 yamt */
1781 1.106.2.7 yamt int
1782 1.106.2.7 yamt lwp_setprivate(struct lwp *l, void *ptr)
1783 1.106.2.7 yamt {
1784 1.106.2.7 yamt int error = 0;
1785 1.106.2.7 yamt
1786 1.106.2.7 yamt l->l_private = ptr;
1787 1.106.2.7 yamt #ifdef __HAVE_CPU_LWP_SETPRIVATE
1788 1.106.2.7 yamt error = cpu_lwp_setprivate(l, ptr);
1789 1.106.2.7 yamt #endif
1790 1.106.2.7 yamt return error;
1791 1.106.2.7 yamt }
1792 1.106.2.7 yamt
1793 1.84 yamt #if defined(DDB)
1794 1.84 yamt void
1795 1.84 yamt lwp_whatis(uintptr_t addr, void (*pr)(const char *, ...))
1796 1.84 yamt {
1797 1.84 yamt lwp_t *l;
1798 1.84 yamt
1799 1.84 yamt LIST_FOREACH(l, &alllwp, l_list) {
1800 1.84 yamt uintptr_t stack = (uintptr_t)KSTACK_LOWEST_ADDR(l);
1801 1.84 yamt
1802 1.84 yamt if (addr < stack || stack + KSTACK_SIZE <= addr) {
1803 1.84 yamt continue;
1804 1.84 yamt }
1805 1.84 yamt (*pr)("%p is %p+%zu, LWP %p's stack\n",
1806 1.84 yamt (void *)addr, (void *)stack,
1807 1.84 yamt (size_t)(addr - stack), l);
1808 1.84 yamt }
1809 1.84 yamt }
1810 1.84 yamt #endif /* defined(DDB) */
1811