xref: /freebsd/sys/kern/kern_thread.c (revision b3e9e682cf2d37fd8310fa054e56c959fe8b664e)
19454b2d8SWarner Losh /*-
244990b8cSJulian Elischer  * Copyright (C) 2001 Julian Elischer <julian@freebsd.org>.
344990b8cSJulian Elischer  *  All rights reserved.
444990b8cSJulian Elischer  *
544990b8cSJulian Elischer  * Redistribution and use in source and binary forms, with or without
644990b8cSJulian Elischer  * modification, are permitted provided that the following conditions
744990b8cSJulian Elischer  * are met:
844990b8cSJulian Elischer  * 1. Redistributions of source code must retain the above copyright
944990b8cSJulian Elischer  *    notice(s), this list of conditions and the following disclaimer as
1044990b8cSJulian Elischer  *    the first lines of this file unmodified other than the possible
1144990b8cSJulian Elischer  *    addition of one or more copyright notices.
1244990b8cSJulian Elischer  * 2. Redistributions in binary form must reproduce the above copyright
1344990b8cSJulian Elischer  *    notice(s), this list of conditions and the following disclaimer in the
1444990b8cSJulian Elischer  *    documentation and/or other materials provided with the distribution.
1544990b8cSJulian Elischer  *
1644990b8cSJulian Elischer  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) ``AS IS'' AND ANY
1744990b8cSJulian Elischer  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
1844990b8cSJulian Elischer  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
1944990b8cSJulian Elischer  * DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT HOLDER(S) BE LIABLE FOR ANY
2044990b8cSJulian Elischer  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
2144990b8cSJulian Elischer  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
2244990b8cSJulian Elischer  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
2344990b8cSJulian Elischer  * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
2444990b8cSJulian Elischer  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
2544990b8cSJulian Elischer  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
2644990b8cSJulian Elischer  * DAMAGE.
2744990b8cSJulian Elischer  */
2844990b8cSJulian Elischer 
293d06b4b3SAttilio Rao #include "opt_witness.h"
30*b3e9e682SRyan Stone #include "opt_kdtrace.h"
3116d95d4fSJoseph Koshy #include "opt_hwpmc_hooks.h"
323d06b4b3SAttilio Rao 
33677b542eSDavid E. O'Brien #include <sys/cdefs.h>
34677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$");
35677b542eSDavid E. O'Brien 
3644990b8cSJulian Elischer #include <sys/param.h>
3744990b8cSJulian Elischer #include <sys/systm.h>
3844990b8cSJulian Elischer #include <sys/kernel.h>
3944990b8cSJulian Elischer #include <sys/lock.h>
4044990b8cSJulian Elischer #include <sys/mutex.h>
4144990b8cSJulian Elischer #include <sys/proc.h>
42e170bfdaSDavid Xu #include <sys/resourcevar.h>
43*b3e9e682SRyan Stone #include <sys/sdt.h>
4494e0a4cdSJulian Elischer #include <sys/smp.h>
45de028f5aSJeff Roberson #include <sys/sched.h>
4644f3b092SJohn Baldwin #include <sys/sleepqueue.h>
47ace8398dSJeff Roberson #include <sys/selinfo.h>
48961a7b24SJohn Baldwin #include <sys/turnstile.h>
4944990b8cSJulian Elischer #include <sys/ktr.h>
50cf7d9a8cSDavid Xu #include <sys/rwlock.h>
51bc8e6d81SDavid Xu #include <sys/umtx.h>
52d7f687fcSJeff Roberson #include <sys/cpuset.h>
5316d95d4fSJoseph Koshy #ifdef	HWPMC_HOOKS
5416d95d4fSJoseph Koshy #include <sys/pmckern.h>
5516d95d4fSJoseph Koshy #endif
5644990b8cSJulian Elischer 
57911b84b0SRobert Watson #include <security/audit/audit.h>
58911b84b0SRobert Watson 
5944990b8cSJulian Elischer #include <vm/vm.h>
6049a2507bSAlan Cox #include <vm/vm_extern.h>
6144990b8cSJulian Elischer #include <vm/uma.h>
62b209f889SRandall Stewart #include <sys/eventhandler.h>
6302fb42b0SPeter Wemm 
64*b3e9e682SRyan Stone SDT_PROVIDER_DECLARE(proc);
65*b3e9e682SRyan Stone SDT_PROBE_DEFINE(proc, , , lwp_exit, lwp-exit);
66*b3e9e682SRyan Stone 
67*b3e9e682SRyan Stone 
688460a577SJohn Birrell /*
698460a577SJohn Birrell  * thread related storage.
708460a577SJohn Birrell  */
7144990b8cSJulian Elischer static uma_zone_t thread_zone;
7244990b8cSJulian Elischer 
735215b187SJeff Roberson TAILQ_HEAD(, thread) zombie_threads = TAILQ_HEAD_INITIALIZER(zombie_threads);
74c8790f5dSAttilio Rao static struct mtx zombie_lock;
75a54e85fdSJeff Roberson MTX_SYSINIT(zombie_lock, &zombie_lock, "zombie lock", MTX_SPIN);
7644990b8cSJulian Elischer 
77ff8fbcffSJeff Roberson static void thread_zombie(struct thread *);
78ff8fbcffSJeff Roberson 
79ec6ea5e8SDavid Xu #define TID_BUFFER_SIZE	1024
80ec6ea5e8SDavid Xu 
81fdcac928SMarcel Moolenaar struct mtx tid_lock;
821ea7a6f8SPoul-Henning Kamp static struct unrhdr *tid_unrhdr;
83ec6ea5e8SDavid Xu static lwpid_t tid_buffer[TID_BUFFER_SIZE];
84ec6ea5e8SDavid Xu static int tid_head, tid_tail;
85cf7d9a8cSDavid Xu static MALLOC_DEFINE(M_TIDHASH, "tidhash", "thread hash");
86cf7d9a8cSDavid Xu 
87cf7d9a8cSDavid Xu struct	tidhashhead *tidhashtbl;
88cf7d9a8cSDavid Xu u_long	tidhash;
89cf7d9a8cSDavid Xu struct	rwlock tidhash_lock;
90cf7d9a8cSDavid Xu 
91ec6ea5e8SDavid Xu static lwpid_t
92ec6ea5e8SDavid Xu tid_alloc(void)
93ec6ea5e8SDavid Xu {
94ec6ea5e8SDavid Xu 	lwpid_t	tid;
95ec6ea5e8SDavid Xu 
96ec6ea5e8SDavid Xu 	tid = alloc_unr(tid_unrhdr);
97ec6ea5e8SDavid Xu 	if (tid != -1)
98ec6ea5e8SDavid Xu 		return (tid);
99ec6ea5e8SDavid Xu 	mtx_lock(&tid_lock);
100ec6ea5e8SDavid Xu 	if (tid_head == tid_tail) {
101ec6ea5e8SDavid Xu 		mtx_unlock(&tid_lock);
102ec6ea5e8SDavid Xu 		return (-1);
103ec6ea5e8SDavid Xu 	}
104ec6ea5e8SDavid Xu 	tid = tid_buffer[tid_head++];
105ec6ea5e8SDavid Xu 	tid_head %= TID_BUFFER_SIZE;
106ec6ea5e8SDavid Xu 	mtx_unlock(&tid_lock);
107ec6ea5e8SDavid Xu 	return (tid);
108ec6ea5e8SDavid Xu }
109ec6ea5e8SDavid Xu 
110ec6ea5e8SDavid Xu static void
111ec6ea5e8SDavid Xu tid_free(lwpid_t tid)
112ec6ea5e8SDavid Xu {
113ec6ea5e8SDavid Xu 	lwpid_t tmp_tid = -1;
114ec6ea5e8SDavid Xu 
115ec6ea5e8SDavid Xu 	mtx_lock(&tid_lock);
116ec6ea5e8SDavid Xu 	if ((tid_tail + 1) % TID_BUFFER_SIZE == tid_head) {
117ec6ea5e8SDavid Xu 		tmp_tid = tid_buffer[tid_head++];
118ec6ea5e8SDavid Xu 		tid_head = (tid_head + 1) % TID_BUFFER_SIZE;
119ec6ea5e8SDavid Xu 	}
120ec6ea5e8SDavid Xu 	tid_buffer[tid_tail++] = tid;
121ec6ea5e8SDavid Xu 	tid_tail %= TID_BUFFER_SIZE;
122ec6ea5e8SDavid Xu 	mtx_unlock(&tid_lock);
123ec6ea5e8SDavid Xu 	if (tmp_tid != -1)
124ec6ea5e8SDavid Xu 		free_unr(tid_unrhdr, tmp_tid);
125ec6ea5e8SDavid Xu }
126ec6ea5e8SDavid Xu 
127fdcac928SMarcel Moolenaar /*
128696058c3SJulian Elischer  * Prepare a thread for use.
12944990b8cSJulian Elischer  */
130b23f72e9SBrian Feldman static int
131b23f72e9SBrian Feldman thread_ctor(void *mem, int size, void *arg, int flags)
13244990b8cSJulian Elischer {
13344990b8cSJulian Elischer 	struct thread	*td;
13444990b8cSJulian Elischer 
13544990b8cSJulian Elischer 	td = (struct thread *)mem;
13671fad9fdSJulian Elischer 	td->td_state = TDS_INACTIVE;
137060563ecSJulian Elischer 	td->td_oncpu = NOCPU;
1386c27c603SJuli Mallett 
139ec6ea5e8SDavid Xu 	td->td_tid = tid_alloc();
140773eff9dSPoul-Henning Kamp 
1416c27c603SJuli Mallett 	/*
1426c27c603SJuli Mallett 	 * Note that td_critnest begins life as 1 because the thread is not
1436c27c603SJuli Mallett 	 * running and is thereby implicitly waiting to be on the receiving
144a54e85fdSJeff Roberson 	 * end of a context switch.
1456c27c603SJuli Mallett 	 */
146139b7550SJohn Baldwin 	td->td_critnest = 1;
147acbe332aSDavid Xu 	td->td_lend_user_pri = PRI_MAX;
148b209f889SRandall Stewart 	EVENTHANDLER_INVOKE(thread_ctor, td);
149911b84b0SRobert Watson #ifdef AUDIT
150911b84b0SRobert Watson 	audit_thread_alloc(td);
151911b84b0SRobert Watson #endif
152d10183d9SDavid Xu 	umtx_thread_alloc(td);
153b23f72e9SBrian Feldman 	return (0);
15444990b8cSJulian Elischer }
15544990b8cSJulian Elischer 
15644990b8cSJulian Elischer /*
15744990b8cSJulian Elischer  * Reclaim a thread after use.
15844990b8cSJulian Elischer  */
15944990b8cSJulian Elischer static void
16044990b8cSJulian Elischer thread_dtor(void *mem, int size, void *arg)
16144990b8cSJulian Elischer {
16244990b8cSJulian Elischer 	struct thread *td;
16344990b8cSJulian Elischer 
16444990b8cSJulian Elischer 	td = (struct thread *)mem;
16544990b8cSJulian Elischer 
16644990b8cSJulian Elischer #ifdef INVARIANTS
16744990b8cSJulian Elischer 	/* Verify that this thread is in a safe state to free. */
16844990b8cSJulian Elischer 	switch (td->td_state) {
16971fad9fdSJulian Elischer 	case TDS_INHIBITED:
17071fad9fdSJulian Elischer 	case TDS_RUNNING:
17171fad9fdSJulian Elischer 	case TDS_CAN_RUN:
17244990b8cSJulian Elischer 	case TDS_RUNQ:
17344990b8cSJulian Elischer 		/*
17444990b8cSJulian Elischer 		 * We must never unlink a thread that is in one of
17544990b8cSJulian Elischer 		 * these states, because it is currently active.
17644990b8cSJulian Elischer 		 */
17744990b8cSJulian Elischer 		panic("bad state for thread unlinking");
17844990b8cSJulian Elischer 		/* NOTREACHED */
17971fad9fdSJulian Elischer 	case TDS_INACTIVE:
18044990b8cSJulian Elischer 		break;
18144990b8cSJulian Elischer 	default:
18244990b8cSJulian Elischer 		panic("bad thread state");
18344990b8cSJulian Elischer 		/* NOTREACHED */
18444990b8cSJulian Elischer 	}
18544990b8cSJulian Elischer #endif
1866e8525ceSRobert Watson #ifdef AUDIT
1876e8525ceSRobert Watson 	audit_thread_free(td);
1886e8525ceSRobert Watson #endif
1891ba4a712SPawel Jakub Dawidek 	/* Free all OSD associated to this thread. */
1901ba4a712SPawel Jakub Dawidek 	osd_thread_exit(td);
1911ba4a712SPawel Jakub Dawidek 
192b209f889SRandall Stewart 	EVENTHANDLER_INVOKE(thread_dtor, td);
193ec6ea5e8SDavid Xu 	tid_free(td->td_tid);
19444990b8cSJulian Elischer }
19544990b8cSJulian Elischer 
19644990b8cSJulian Elischer /*
19744990b8cSJulian Elischer  * Initialize type-stable parts of a thread (when newly created).
19844990b8cSJulian Elischer  */
199b23f72e9SBrian Feldman static int
200b23f72e9SBrian Feldman thread_init(void *mem, int size, int flags)
20144990b8cSJulian Elischer {
20244990b8cSJulian Elischer 	struct thread *td;
20344990b8cSJulian Elischer 
20444990b8cSJulian Elischer 	td = (struct thread *)mem;
205247aba24SMarcel Moolenaar 
20644f3b092SJohn Baldwin 	td->td_sleepqueue = sleepq_alloc();
207961a7b24SJohn Baldwin 	td->td_turnstile = turnstile_alloc();
208b209f889SRandall Stewart 	EVENTHANDLER_INVOKE(thread_init, td);
209de028f5aSJeff Roberson 	td->td_sched = (struct td_sched *)&td[1];
210d10183d9SDavid Xu 	umtx_thread_init(td);
21189b57fcfSKonstantin Belousov 	td->td_kstack = 0;
212b23f72e9SBrian Feldman 	return (0);
21344990b8cSJulian Elischer }
21444990b8cSJulian Elischer 
21544990b8cSJulian Elischer /*
21644990b8cSJulian Elischer  * Tear down type-stable parts of a thread (just before being discarded).
21744990b8cSJulian Elischer  */
21844990b8cSJulian Elischer static void
21944990b8cSJulian Elischer thread_fini(void *mem, int size)
22044990b8cSJulian Elischer {
22144990b8cSJulian Elischer 	struct thread *td;
22244990b8cSJulian Elischer 
22344990b8cSJulian Elischer 	td = (struct thread *)mem;
224b209f889SRandall Stewart 	EVENTHANDLER_INVOKE(thread_fini, td);
225961a7b24SJohn Baldwin 	turnstile_free(td->td_turnstile);
22644f3b092SJohn Baldwin 	sleepq_free(td->td_sleepqueue);
227d10183d9SDavid Xu 	umtx_thread_fini(td);
228ace8398dSJeff Roberson 	seltdfini(td);
22944990b8cSJulian Elischer }
2305215b187SJeff Roberson 
2315c8329edSJulian Elischer /*
2325215b187SJeff Roberson  * For a newly created process,
2335215b187SJeff Roberson  * link up all the structures and its initial threads etc.
234ed062c8dSJulian Elischer  * called from:
235ed062c8dSJulian Elischer  * {arch}/{arch}/machdep.c   ia64_init(), init386() etc.
236ed062c8dSJulian Elischer  * proc_dtor() (should go away)
237ed062c8dSJulian Elischer  * proc_init()
2385c8329edSJulian Elischer  */
2395c8329edSJulian Elischer void
24089b57fcfSKonstantin Belousov proc_linkup0(struct proc *p, struct thread *td)
24189b57fcfSKonstantin Belousov {
24289b57fcfSKonstantin Belousov 	TAILQ_INIT(&p->p_threads);	     /* all threads in proc */
24389b57fcfSKonstantin Belousov 	proc_linkup(p, td);
24489b57fcfSKonstantin Belousov }
24589b57fcfSKonstantin Belousov 
24689b57fcfSKonstantin Belousov void
2478460a577SJohn Birrell proc_linkup(struct proc *p, struct thread *td)
2485c8329edSJulian Elischer {
249a54e85fdSJeff Roberson 
2509104847fSDavid Xu 	sigqueue_init(&p->p_sigqueue, p);
251ebceaf6dSDavid Xu 	p->p_ksi = ksiginfo_alloc(1);
252ebceaf6dSDavid Xu 	if (p->p_ksi != NULL) {
2535c474517SDavid Xu 		/* XXX p_ksi may be null if ksiginfo zone is not ready */
254ebceaf6dSDavid Xu 		p->p_ksi->ksi_flags = KSI_EXT | KSI_INS;
255ebceaf6dSDavid Xu 	}
256b2f92ef9SDavid Xu 	LIST_INIT(&p->p_mqnotifier);
2575c8329edSJulian Elischer 	p->p_numthreads = 0;
2588460a577SJohn Birrell 	thread_link(td, p);
2595c8329edSJulian Elischer }
2605c8329edSJulian Elischer 
2615c8329edSJulian Elischer /*
26244990b8cSJulian Elischer  * Initialize global thread allocation resources.
26344990b8cSJulian Elischer  */
26444990b8cSJulian Elischer void
26544990b8cSJulian Elischer threadinit(void)
26644990b8cSJulian Elischer {
26744990b8cSJulian Elischer 
2681ea7a6f8SPoul-Henning Kamp 	mtx_init(&tid_lock, "TID lock", NULL, MTX_DEF);
2696829a5c5SJulian Elischer 	/* leave one number for thread0 */
2706829a5c5SJulian Elischer 	tid_unrhdr = new_unrhdr(PID_MAX + 2, INT_MAX, &tid_lock);
2711ea7a6f8SPoul-Henning Kamp 
272de028f5aSJeff Roberson 	thread_zone = uma_zcreate("THREAD", sched_sizeof_thread(),
27344990b8cSJulian Elischer 	    thread_ctor, thread_dtor, thread_init, thread_fini,
2744649e92bSJohn Baldwin 	    16 - 1, 0);
275cf7d9a8cSDavid Xu 	tidhashtbl = hashinit(maxproc / 2, M_TIDHASH, &tidhash);
276cf7d9a8cSDavid Xu 	rw_init(&tidhash_lock, "tidhash");
27744990b8cSJulian Elischer }
27844990b8cSJulian Elischer 
27944990b8cSJulian Elischer /*
280ff8fbcffSJeff Roberson  * Place an unused thread on the zombie list.
281ad1e7d28SJulian Elischer  * Use the slpq as that must be unused by now.
28244990b8cSJulian Elischer  */
28344990b8cSJulian Elischer void
284ff8fbcffSJeff Roberson thread_zombie(struct thread *td)
28544990b8cSJulian Elischer {
286a54e85fdSJeff Roberson 	mtx_lock_spin(&zombie_lock);
287ad1e7d28SJulian Elischer 	TAILQ_INSERT_HEAD(&zombie_threads, td, td_slpq);
288a54e85fdSJeff Roberson 	mtx_unlock_spin(&zombie_lock);
28944990b8cSJulian Elischer }
29044990b8cSJulian Elischer 
2915c8329edSJulian Elischer /*
292ff8fbcffSJeff Roberson  * Release a thread that has exited after cpu_throw().
293ff8fbcffSJeff Roberson  */
294ff8fbcffSJeff Roberson void
295ff8fbcffSJeff Roberson thread_stash(struct thread *td)
296ff8fbcffSJeff Roberson {
297ff8fbcffSJeff Roberson 	atomic_subtract_rel_int(&td->td_proc->p_exitthreads, 1);
298ff8fbcffSJeff Roberson 	thread_zombie(td);
299ff8fbcffSJeff Roberson }
300ff8fbcffSJeff Roberson 
301ff8fbcffSJeff Roberson /*
3026617724cSJeff Roberson  * Reap zombie resources.
30344990b8cSJulian Elischer  */
30444990b8cSJulian Elischer void
30544990b8cSJulian Elischer thread_reap(void)
30644990b8cSJulian Elischer {
3075c8329edSJulian Elischer 	struct thread *td_first, *td_next;
30844990b8cSJulian Elischer 
30944990b8cSJulian Elischer 	/*
3105215b187SJeff Roberson 	 * Don't even bother to lock if none at this instant,
3115215b187SJeff Roberson 	 * we really don't care about the next instant..
31244990b8cSJulian Elischer 	 */
3138460a577SJohn Birrell 	if (!TAILQ_EMPTY(&zombie_threads)) {
314a54e85fdSJeff Roberson 		mtx_lock_spin(&zombie_lock);
3155c8329edSJulian Elischer 		td_first = TAILQ_FIRST(&zombie_threads);
3165c8329edSJulian Elischer 		if (td_first)
3175c8329edSJulian Elischer 			TAILQ_INIT(&zombie_threads);
318a54e85fdSJeff Roberson 		mtx_unlock_spin(&zombie_lock);
3195c8329edSJulian Elischer 		while (td_first) {
320ad1e7d28SJulian Elischer 			td_next = TAILQ_NEXT(td_first, td_slpq);
3215215b187SJeff Roberson 			if (td_first->td_ucred)
3225215b187SJeff Roberson 				crfree(td_first->td_ucred);
3235c8329edSJulian Elischer 			thread_free(td_first);
3245c8329edSJulian Elischer 			td_first = td_next;
32544990b8cSJulian Elischer 		}
32644990b8cSJulian Elischer 	}
327ed062c8dSJulian Elischer }
32844990b8cSJulian Elischer 
3294f0db5e0SJulian Elischer /*
33044990b8cSJulian Elischer  * Allocate a thread.
33144990b8cSJulian Elischer  */
33244990b8cSJulian Elischer struct thread *
3338a945d10SKonstantin Belousov thread_alloc(int pages)
33444990b8cSJulian Elischer {
33589b57fcfSKonstantin Belousov 	struct thread *td;
3368460a577SJohn Birrell 
33744990b8cSJulian Elischer 	thread_reap(); /* check if any zombies to get */
33889b57fcfSKonstantin Belousov 
33989b57fcfSKonstantin Belousov 	td = (struct thread *)uma_zalloc(thread_zone, M_WAITOK);
34089b57fcfSKonstantin Belousov 	KASSERT(td->td_kstack == 0, ("thread_alloc got thread with kstack"));
3418a945d10SKonstantin Belousov 	if (!vm_thread_new(td, pages)) {
34289b57fcfSKonstantin Belousov 		uma_zfree(thread_zone, td);
34389b57fcfSKonstantin Belousov 		return (NULL);
34489b57fcfSKonstantin Belousov 	}
3450c3967e7SMarcel Moolenaar 	cpu_thread_alloc(td);
34689b57fcfSKonstantin Belousov 	return (td);
34744990b8cSJulian Elischer }
34844990b8cSJulian Elischer 
3498a945d10SKonstantin Belousov int
3508a945d10SKonstantin Belousov thread_alloc_stack(struct thread *td, int pages)
3518a945d10SKonstantin Belousov {
3528a945d10SKonstantin Belousov 
3538a945d10SKonstantin Belousov 	KASSERT(td->td_kstack == 0,
3548a945d10SKonstantin Belousov 	    ("thread_alloc_stack called on a thread with kstack"));
3558a945d10SKonstantin Belousov 	if (!vm_thread_new(td, pages))
3568a945d10SKonstantin Belousov 		return (0);
3578a945d10SKonstantin Belousov 	cpu_thread_alloc(td);
3588a945d10SKonstantin Belousov 	return (1);
3598a945d10SKonstantin Belousov }
3604f0db5e0SJulian Elischer 
3614f0db5e0SJulian Elischer /*
36244990b8cSJulian Elischer  * Deallocate a thread.
36344990b8cSJulian Elischer  */
36444990b8cSJulian Elischer void
36544990b8cSJulian Elischer thread_free(struct thread *td)
36644990b8cSJulian Elischer {
3672e6b8de4SJeff Roberson 
3682e6b8de4SJeff Roberson 	lock_profile_thread_exit(td);
36945aea8deSJeff Roberson 	if (td->td_cpuset)
370d7f687fcSJeff Roberson 		cpuset_rel(td->td_cpuset);
371d7f687fcSJeff Roberson 	td->td_cpuset = NULL;
3720c3967e7SMarcel Moolenaar 	cpu_thread_free(td);
37389b57fcfSKonstantin Belousov 	if (td->td_kstack != 0)
37489b57fcfSKonstantin Belousov 		vm_thread_dispose(td);
37544990b8cSJulian Elischer 	uma_zfree(thread_zone, td);
37644990b8cSJulian Elischer }
37744990b8cSJulian Elischer 
37844990b8cSJulian Elischer /*
37944990b8cSJulian Elischer  * Discard the current thread and exit from its context.
38094e0a4cdSJulian Elischer  * Always called with scheduler locked.
38144990b8cSJulian Elischer  *
38244990b8cSJulian Elischer  * Because we can't free a thread while we're operating under its context,
383696058c3SJulian Elischer  * push the current thread into our CPU's deadthread holder. This means
384696058c3SJulian Elischer  * we needn't worry about someone else grabbing our context before we
3856617724cSJeff Roberson  * do a cpu_throw().
38644990b8cSJulian Elischer  */
38744990b8cSJulian Elischer void
38844990b8cSJulian Elischer thread_exit(void)
38944990b8cSJulian Elischer {
3907e3a96eaSJohn Baldwin 	uint64_t runtime, new_switchtime;
39144990b8cSJulian Elischer 	struct thread *td;
3921c4bcd05SJeff Roberson 	struct thread *td2;
39344990b8cSJulian Elischer 	struct proc *p;
3947847a9daSJohn Baldwin 	int wakeup_swapper;
39544990b8cSJulian Elischer 
39644990b8cSJulian Elischer 	td = curthread;
39744990b8cSJulian Elischer 	p = td->td_proc;
39844990b8cSJulian Elischer 
399a54e85fdSJeff Roberson 	PROC_SLOCK_ASSERT(p, MA_OWNED);
400ed062c8dSJulian Elischer 	mtx_assert(&Giant, MA_NOTOWNED);
401a54e85fdSJeff Roberson 
40244990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
403ed062c8dSJulian Elischer 	KASSERT(p != NULL, ("thread exiting without a process"));
404cc701b73SRobert Watson 	CTR3(KTR_PROC, "thread_exit: thread %p (pid %ld, %s)", td,
405e01eafefSJulian Elischer 	    (long)p->p_pid, td->td_name);
4069104847fSDavid Xu 	KASSERT(TAILQ_EMPTY(&td->td_sigqueue.sq_list), ("signal pending"));
40744990b8cSJulian Elischer 
40889964dd2SRobert Watson #ifdef AUDIT
40989964dd2SRobert Watson 	AUDIT_SYSCALL_EXIT(0, td);
41089964dd2SRobert Watson #endif
411d10183d9SDavid Xu 	umtx_thread_exit(td);
412ed062c8dSJulian Elischer 	/*
413ed062c8dSJulian Elischer 	 * drop FPU & debug register state storage, or any other
414ed062c8dSJulian Elischer 	 * architecture specific resources that
415ed062c8dSJulian Elischer 	 * would not be on a new untouched process.
416ed062c8dSJulian Elischer 	 */
41744990b8cSJulian Elischer 	cpu_thread_exit(td);	/* XXXSMP */
41844990b8cSJulian Elischer 
419ed062c8dSJulian Elischer 	/*
4201faf202eSJulian Elischer 	 * The last thread is left attached to the process
4211faf202eSJulian Elischer 	 * So that the whole bundle gets recycled. Skip
422ed062c8dSJulian Elischer 	 * all this stuff if we never had threads.
423ed062c8dSJulian Elischer 	 * EXIT clears all sign of other threads when
424ed062c8dSJulian Elischer 	 * it goes to single threading, so the last thread always
425ed062c8dSJulian Elischer 	 * takes the short path.
4261faf202eSJulian Elischer 	 */
427ed062c8dSJulian Elischer 	if (p->p_flag & P_HADTHREADS) {
4281faf202eSJulian Elischer 		if (p->p_numthreads > 1) {
429d3a0bd78SJulian Elischer 			thread_unlink(td);
4301c4bcd05SJeff Roberson 			td2 = FIRST_THREAD_IN_PROC(p);
4311c4bcd05SJeff Roberson 			sched_exit_thread(td2, td);
432ed062c8dSJulian Elischer 
433ed062c8dSJulian Elischer 			/*
43444990b8cSJulian Elischer 			 * The test below is NOT true if we are the
4359182554aSKonstantin Belousov 			 * sole exiting thread. P_STOPPED_SINGLE is unset
43644990b8cSJulian Elischer 			 * in exit1() after it is the only survivor.
43744990b8cSJulian Elischer 			 */
4381279572aSDavid Xu 			if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE) {
43944990b8cSJulian Elischer 				if (p->p_numthreads == p->p_suspcount) {
440a54e85fdSJeff Roberson 					thread_lock(p->p_singlethread);
4417847a9daSJohn Baldwin 					wakeup_swapper = thread_unsuspend_one(
4427847a9daSJohn Baldwin 						p->p_singlethread);
443a54e85fdSJeff Roberson 					thread_unlock(p->p_singlethread);
4447847a9daSJohn Baldwin 					if (wakeup_swapper)
4457847a9daSJohn Baldwin 						kick_proc0();
44644990b8cSJulian Elischer 				}
44744990b8cSJulian Elischer 			}
44848bfcdddSJulian Elischer 
449ff8fbcffSJeff Roberson 			atomic_add_int(&td->td_proc->p_exitthreads, 1);
450696058c3SJulian Elischer 			PCPU_SET(deadthread, td);
4511faf202eSJulian Elischer 		} else {
452ed062c8dSJulian Elischer 			/*
453ed062c8dSJulian Elischer 			 * The last thread is exiting.. but not through exit()
454ed062c8dSJulian Elischer 			 */
455ed062c8dSJulian Elischer 			panic ("thread_exit: Last thread exiting on its own");
456ed062c8dSJulian Elischer 		}
4571faf202eSJulian Elischer 	}
45816d95d4fSJoseph Koshy #ifdef	HWPMC_HOOKS
45916d95d4fSJoseph Koshy 	/*
46016d95d4fSJoseph Koshy 	 * If this thread is part of a process that is being tracked by hwpmc(4),
46116d95d4fSJoseph Koshy 	 * inform the module of the thread's impending exit.
46216d95d4fSJoseph Koshy 	 */
46316d95d4fSJoseph Koshy 	if (PMC_PROC_IS_USING_PMCS(td->td_proc))
46416d95d4fSJoseph Koshy 		PMC_SWITCH_CONTEXT(td, PMC_FN_CSW_OUT);
46516d95d4fSJoseph Koshy #endif
466a54e85fdSJeff Roberson 	PROC_UNLOCK(p);
4677e3a96eaSJohn Baldwin 
4687e3a96eaSJohn Baldwin 	/* Do the same timestamp bookkeeping that mi_switch() would do. */
4697e3a96eaSJohn Baldwin 	new_switchtime = cpu_ticks();
4707e3a96eaSJohn Baldwin 	runtime = new_switchtime - PCPU_GET(switchtime);
4717e3a96eaSJohn Baldwin 	td->td_runtime += runtime;
4727e3a96eaSJohn Baldwin 	td->td_incruntime += runtime;
4737e3a96eaSJohn Baldwin 	PCPU_SET(switchtime, new_switchtime);
4747e3a96eaSJohn Baldwin 	PCPU_SET(switchticks, ticks);
4757e3a96eaSJohn Baldwin 	PCPU_INC(cnt.v_swtch);
4767e3a96eaSJohn Baldwin 
4777e3a96eaSJohn Baldwin 	/* Save our resource usage in our process. */
4787e3a96eaSJohn Baldwin 	td->td_ru.ru_nvcsw++;
47941fd9c63SKonstantin Belousov 	ruxagg(p, td);
4807e3a96eaSJohn Baldwin 	rucollect(&p->p_ru, &td->td_ru);
4817e3a96eaSJohn Baldwin 
482a54e85fdSJeff Roberson 	thread_lock(td);
483a54e85fdSJeff Roberson 	PROC_SUNLOCK(p);
484dcc9954eSJulian Elischer 	td->td_state = TDS_INACTIVE;
4853d06b4b3SAttilio Rao #ifdef WITNESS
4863d06b4b3SAttilio Rao 	witness_thread_exit(td);
4873d06b4b3SAttilio Rao #endif
488732d9528SJulian Elischer 	CTR1(KTR_PROC, "thread_exit: cpu_throw() thread %p", td);
489a54e85fdSJeff Roberson 	sched_throw(td);
490cc66ebe2SPeter Wemm 	panic("I'm a teapot!");
49144990b8cSJulian Elischer 	/* NOTREACHED */
49244990b8cSJulian Elischer }
49344990b8cSJulian Elischer 
49444990b8cSJulian Elischer /*
495696058c3SJulian Elischer  * Do any thread specific cleanups that may be needed in wait()
49637814395SPeter Wemm  * called with Giant, proc and schedlock not held.
497696058c3SJulian Elischer  */
498696058c3SJulian Elischer void
499696058c3SJulian Elischer thread_wait(struct proc *p)
500696058c3SJulian Elischer {
501696058c3SJulian Elischer 	struct thread *td;
502696058c3SJulian Elischer 
50337814395SPeter Wemm 	mtx_assert(&Giant, MA_NOTOWNED);
50485495c72SJens Schweikhardt 	KASSERT((p->p_numthreads == 1), ("Multiple threads in wait1()"));
505ff8fbcffSJeff Roberson 	td = FIRST_THREAD_IN_PROC(p);
506ff8fbcffSJeff Roberson 	/* Lock the last thread so we spin until it exits cpu_throw(). */
507ff8fbcffSJeff Roberson 	thread_lock(td);
508ff8fbcffSJeff Roberson 	thread_unlock(td);
509ff8fbcffSJeff Roberson 	/* Wait for any remaining threads to exit cpu_throw(). */
510ff8fbcffSJeff Roberson 	while (p->p_exitthreads)
511ff8fbcffSJeff Roberson 		sched_relinquish(curthread);
5122e6b8de4SJeff Roberson 	lock_profile_thread_exit(td);
513d7f687fcSJeff Roberson 	cpuset_rel(td->td_cpuset);
514d7f687fcSJeff Roberson 	td->td_cpuset = NULL;
515696058c3SJulian Elischer 	cpu_thread_clean(td);
516ed062c8dSJulian Elischer 	crfree(td->td_ucred);
517696058c3SJulian Elischer 	thread_reap();	/* check for zombie threads etc. */
518696058c3SJulian Elischer }
519696058c3SJulian Elischer 
520696058c3SJulian Elischer /*
52144990b8cSJulian Elischer  * Link a thread to a process.
5221faf202eSJulian Elischer  * set up anything that needs to be initialized for it to
5231faf202eSJulian Elischer  * be used by the process.
52444990b8cSJulian Elischer  */
52544990b8cSJulian Elischer void
5268460a577SJohn Birrell thread_link(struct thread *td, struct proc *p)
52744990b8cSJulian Elischer {
52844990b8cSJulian Elischer 
529a54e85fdSJeff Roberson 	/*
530a54e85fdSJeff Roberson 	 * XXX This can't be enabled because it's called for proc0 before
531374ae2a3SJeff Roberson 	 * its lock has been created.
532374ae2a3SJeff Roberson 	 * PROC_LOCK_ASSERT(p, MA_OWNED);
533a54e85fdSJeff Roberson 	 */
53471fad9fdSJulian Elischer 	td->td_state    = TDS_INACTIVE;
53544990b8cSJulian Elischer 	td->td_proc     = p;
536b61ce5b0SJeff Roberson 	td->td_flags    = TDF_INMEM;
53744990b8cSJulian Elischer 
5381faf202eSJulian Elischer 	LIST_INIT(&td->td_contested);
539eea4f254SJeff Roberson 	LIST_INIT(&td->td_lprof[0]);
540eea4f254SJeff Roberson 	LIST_INIT(&td->td_lprof[1]);
5419104847fSDavid Xu 	sigqueue_init(&td->td_sigqueue, p);
542c06eb4e2SSam Leffler 	callout_init(&td->td_slpcallout, CALLOUT_MPSAFE);
54344990b8cSJulian Elischer 	TAILQ_INSERT_HEAD(&p->p_threads, td, td_plist);
54444990b8cSJulian Elischer 	p->p_numthreads++;
54544990b8cSJulian Elischer }
54644990b8cSJulian Elischer 
547ed062c8dSJulian Elischer /*
548e5bedcefSJulian Elischer  * Convert a process with one thread to an unthreaded process.
549e5bedcefSJulian Elischer  */
550e5bedcefSJulian Elischer void
551e5bedcefSJulian Elischer thread_unthread(struct thread *td)
552e5bedcefSJulian Elischer {
553e5bedcefSJulian Elischer 	struct proc *p = td->td_proc;
554e5bedcefSJulian Elischer 
555e5bedcefSJulian Elischer 	KASSERT((p->p_numthreads == 1), ("Unthreading with >1 threads"));
5568460a577SJohn Birrell 	p->p_flag &= ~P_HADTHREADS;
557e5bedcefSJulian Elischer }
558e5bedcefSJulian Elischer 
559e5bedcefSJulian Elischer /*
560ed062c8dSJulian Elischer  * Called from:
561ed062c8dSJulian Elischer  *  thread_exit()
562ed062c8dSJulian Elischer  */
563d3a0bd78SJulian Elischer void
564d3a0bd78SJulian Elischer thread_unlink(struct thread *td)
565d3a0bd78SJulian Elischer {
566d3a0bd78SJulian Elischer 	struct proc *p = td->td_proc;
567d3a0bd78SJulian Elischer 
568374ae2a3SJeff Roberson 	PROC_LOCK_ASSERT(p, MA_OWNED);
569d3a0bd78SJulian Elischer 	TAILQ_REMOVE(&p->p_threads, td, td_plist);
570d3a0bd78SJulian Elischer 	p->p_numthreads--;
571d3a0bd78SJulian Elischer 	/* could clear a few other things here */
5728460a577SJohn Birrell 	/* Must  NOT clear links to proc! */
5735c8329edSJulian Elischer }
5745c8329edSJulian Elischer 
57579799053SKonstantin Belousov static int
57679799053SKonstantin Belousov calc_remaining(struct proc *p, int mode)
57779799053SKonstantin Belousov {
57879799053SKonstantin Belousov 	int remaining;
57979799053SKonstantin Belousov 
5807b519077SKonstantin Belousov 	PROC_LOCK_ASSERT(p, MA_OWNED);
5817b519077SKonstantin Belousov 	PROC_SLOCK_ASSERT(p, MA_OWNED);
58279799053SKonstantin Belousov 	if (mode == SINGLE_EXIT)
58379799053SKonstantin Belousov 		remaining = p->p_numthreads;
58479799053SKonstantin Belousov 	else if (mode == SINGLE_BOUNDARY)
58579799053SKonstantin Belousov 		remaining = p->p_numthreads - p->p_boundary_count;
58679799053SKonstantin Belousov 	else if (mode == SINGLE_NO_EXIT)
58779799053SKonstantin Belousov 		remaining = p->p_numthreads - p->p_suspcount;
58879799053SKonstantin Belousov 	else
58979799053SKonstantin Belousov 		panic("calc_remaining: wrong mode %d", mode);
59079799053SKonstantin Belousov 	return (remaining);
59179799053SKonstantin Belousov }
59279799053SKonstantin Belousov 
5935215b187SJeff Roberson /*
59444990b8cSJulian Elischer  * Enforce single-threading.
59544990b8cSJulian Elischer  *
59644990b8cSJulian Elischer  * Returns 1 if the caller must abort (another thread is waiting to
59744990b8cSJulian Elischer  * exit the process or similar). Process is locked!
59844990b8cSJulian Elischer  * Returns 0 when you are successfully the only thread running.
59944990b8cSJulian Elischer  * A process has successfully single threaded in the suspend mode when
60044990b8cSJulian Elischer  * There are no threads in user mode. Threads in the kernel must be
60144990b8cSJulian Elischer  * allowed to continue until they get to the user boundary. They may even
60244990b8cSJulian Elischer  * copy out their return values and data before suspending. They may however be
603e2668f55SMaxim Konovalov  * accelerated in reaching the user boundary as we will wake up
60444990b8cSJulian Elischer  * any sleeping threads that are interruptable. (PCATCH).
60544990b8cSJulian Elischer  */
60644990b8cSJulian Elischer int
607906ac69dSDavid Xu thread_single(int mode)
60844990b8cSJulian Elischer {
60944990b8cSJulian Elischer 	struct thread *td;
61044990b8cSJulian Elischer 	struct thread *td2;
61144990b8cSJulian Elischer 	struct proc *p;
612da7bbd2cSJohn Baldwin 	int remaining, wakeup_swapper;
61344990b8cSJulian Elischer 
61444990b8cSJulian Elischer 	td = curthread;
61544990b8cSJulian Elischer 	p = td->td_proc;
61637814395SPeter Wemm 	mtx_assert(&Giant, MA_NOTOWNED);
61744990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
61844990b8cSJulian Elischer 	KASSERT((td != NULL), ("curthread is NULL"));
61944990b8cSJulian Elischer 
620ed062c8dSJulian Elischer 	if ((p->p_flag & P_HADTHREADS) == 0)
62144990b8cSJulian Elischer 		return (0);
62244990b8cSJulian Elischer 
623e3b9bf71SJulian Elischer 	/* Is someone already single threading? */
624906ac69dSDavid Xu 	if (p->p_singlethread != NULL && p->p_singlethread != td)
62544990b8cSJulian Elischer 		return (1);
62644990b8cSJulian Elischer 
627906ac69dSDavid Xu 	if (mode == SINGLE_EXIT) {
628906ac69dSDavid Xu 		p->p_flag |= P_SINGLE_EXIT;
629906ac69dSDavid Xu 		p->p_flag &= ~P_SINGLE_BOUNDARY;
630906ac69dSDavid Xu 	} else {
631906ac69dSDavid Xu 		p->p_flag &= ~P_SINGLE_EXIT;
632906ac69dSDavid Xu 		if (mode == SINGLE_BOUNDARY)
633906ac69dSDavid Xu 			p->p_flag |= P_SINGLE_BOUNDARY;
634906ac69dSDavid Xu 		else
635906ac69dSDavid Xu 			p->p_flag &= ~P_SINGLE_BOUNDARY;
636906ac69dSDavid Xu 	}
6371279572aSDavid Xu 	p->p_flag |= P_STOPPED_SINGLE;
6387b4a950aSDavid Xu 	PROC_SLOCK(p);
639112afcb2SJohn Baldwin 	p->p_singlethread = td;
64079799053SKonstantin Belousov 	remaining = calc_remaining(p, mode);
641ec008e96SDavid Xu 	while (remaining != 1) {
642bf1a3220SDavid Xu 		if (P_SHOULDSTOP(p) != P_STOPPED_SINGLE)
643bf1a3220SDavid Xu 			goto stopme;
644da7bbd2cSJohn Baldwin 		wakeup_swapper = 0;
64544990b8cSJulian Elischer 		FOREACH_THREAD_IN_PROC(p, td2) {
64644990b8cSJulian Elischer 			if (td2 == td)
64744990b8cSJulian Elischer 				continue;
648a54e85fdSJeff Roberson 			thread_lock(td2);
649b7edba77SJeff Roberson 			td2->td_flags |= TDF_ASTPENDING | TDF_NEEDSUSPCHK;
65071fad9fdSJulian Elischer 			if (TD_IS_INHIBITED(td2)) {
651906ac69dSDavid Xu 				switch (mode) {
652906ac69dSDavid Xu 				case SINGLE_EXIT:
653906ac69dSDavid Xu 					if (TD_IS_SUSPENDED(td2))
6547847a9daSJohn Baldwin 						wakeup_swapper |=
65571fad9fdSJulian Elischer 						    thread_unsuspend_one(td2);
65633862f40SDavid Xu 					if (TD_ON_SLEEPQ(td2) &&
657906ac69dSDavid Xu 					    (td2->td_flags & TDF_SINTR))
6587847a9daSJohn Baldwin 						wakeup_swapper |=
65994f0972bSDavid Xu 						    sleepq_abort(td2, EINTR);
660906ac69dSDavid Xu 					break;
661906ac69dSDavid Xu 				case SINGLE_BOUNDARY:
662ffdc5a34SDavid Xu 					if (TD_IS_SUSPENDED(td2) &&
663ffdc5a34SDavid Xu 					    !(td2->td_flags & TDF_BOUNDARY))
664ffdc5a34SDavid Xu 						wakeup_swapper |=
665ffdc5a34SDavid Xu 						    thread_unsuspend_one(td2);
666ffdc5a34SDavid Xu 					if (TD_ON_SLEEPQ(td2) &&
667ffdc5a34SDavid Xu 					    (td2->td_flags & TDF_SINTR))
668ffdc5a34SDavid Xu 						wakeup_swapper |=
669ffdc5a34SDavid Xu 						    sleepq_abort(td2, ERESTART);
670906ac69dSDavid Xu 					break;
671f33a947bSKonstantin Belousov 				case SINGLE_NO_EXIT:
672f33a947bSKonstantin Belousov 					if (TD_IS_SUSPENDED(td2) &&
673f33a947bSKonstantin Belousov 					    !(td2->td_flags & TDF_BOUNDARY))
674f33a947bSKonstantin Belousov 						wakeup_swapper |=
675f33a947bSKonstantin Belousov 						    thread_unsuspend_one(td2);
676f33a947bSKonstantin Belousov 					if (TD_ON_SLEEPQ(td2) &&
677f33a947bSKonstantin Belousov 					    (td2->td_flags & TDF_SINTR))
678f33a947bSKonstantin Belousov 						wakeup_swapper |=
679f33a947bSKonstantin Belousov 						    sleepq_abort(td2, ERESTART);
680f33a947bSKonstantin Belousov 					break;
681906ac69dSDavid Xu 				default:
682906ac69dSDavid Xu 					break;
68344990b8cSJulian Elischer 				}
68444990b8cSJulian Elischer 			}
685d8267df7SDavid Xu #ifdef SMP
686d8267df7SDavid Xu 			else if (TD_IS_RUNNING(td2) && td != td2) {
687d8267df7SDavid Xu 				forward_signal(td2);
688d8267df7SDavid Xu 			}
689d8267df7SDavid Xu #endif
690a54e85fdSJeff Roberson 			thread_unlock(td2);
6919d102777SJulian Elischer 		}
692da7bbd2cSJohn Baldwin 		if (wakeup_swapper)
693da7bbd2cSJohn Baldwin 			kick_proc0();
69479799053SKonstantin Belousov 		remaining = calc_remaining(p, mode);
695ec008e96SDavid Xu 
6969d102777SJulian Elischer 		/*
6979d102777SJulian Elischer 		 * Maybe we suspended some threads.. was it enough?
6989d102777SJulian Elischer 		 */
699ec008e96SDavid Xu 		if (remaining == 1)
7009d102777SJulian Elischer 			break;
7019d102777SJulian Elischer 
702bf1a3220SDavid Xu stopme:
70344990b8cSJulian Elischer 		/*
70444990b8cSJulian Elischer 		 * Wake us up when everyone else has suspended.
705e3b9bf71SJulian Elischer 		 * In the mean time we suspend as well.
70644990b8cSJulian Elischer 		 */
707a54e85fdSJeff Roberson 		thread_suspend_switch(td);
70879799053SKonstantin Belousov 		remaining = calc_remaining(p, mode);
70944990b8cSJulian Elischer 	}
710906ac69dSDavid Xu 	if (mode == SINGLE_EXIT) {
71191599697SJulian Elischer 		/*
71291599697SJulian Elischer 		 * We have gotten rid of all the other threads and we
71391599697SJulian Elischer 		 * are about to either exit or exec. In either case,
71491599697SJulian Elischer 		 * we try our utmost  to revert to being a non-threaded
71591599697SJulian Elischer 		 * process.
71691599697SJulian Elischer 		 */
717ed062c8dSJulian Elischer 		p->p_singlethread = NULL;
71864895117SDavid Xu 		p->p_flag &= ~(P_STOPPED_SINGLE | P_SINGLE_EXIT);
719e5bedcefSJulian Elischer 		thread_unthread(td);
72091599697SJulian Elischer 	}
7217b4a950aSDavid Xu 	PROC_SUNLOCK(p);
72244990b8cSJulian Elischer 	return (0);
72344990b8cSJulian Elischer }
72444990b8cSJulian Elischer 
72544990b8cSJulian Elischer /*
72644990b8cSJulian Elischer  * Called in from locations that can safely check to see
72744990b8cSJulian Elischer  * whether we have to suspend or at least throttle for a
72844990b8cSJulian Elischer  * single-thread event (e.g. fork).
72944990b8cSJulian Elischer  *
73044990b8cSJulian Elischer  * Such locations include userret().
73144990b8cSJulian Elischer  * If the "return_instead" argument is non zero, the thread must be able to
73244990b8cSJulian Elischer  * accept 0 (caller may continue), or 1 (caller must abort) as a result.
73344990b8cSJulian Elischer  *
73444990b8cSJulian Elischer  * The 'return_instead' argument tells the function if it may do a
73544990b8cSJulian Elischer  * thread_exit() or suspend, or whether the caller must abort and back
73644990b8cSJulian Elischer  * out instead.
73744990b8cSJulian Elischer  *
73844990b8cSJulian Elischer  * If the thread that set the single_threading request has set the
73944990b8cSJulian Elischer  * P_SINGLE_EXIT bit in the process flags then this call will never return
74044990b8cSJulian Elischer  * if 'return_instead' is false, but will exit.
74144990b8cSJulian Elischer  *
74244990b8cSJulian Elischer  * P_SINGLE_EXIT | return_instead == 0| return_instead != 0
74344990b8cSJulian Elischer  *---------------+--------------------+---------------------
74444990b8cSJulian Elischer  *       0       | returns 0          |   returns 0 or 1
74544990b8cSJulian Elischer  *               | when ST ends       |   immediatly
74644990b8cSJulian Elischer  *---------------+--------------------+---------------------
74744990b8cSJulian Elischer  *       1       | thread exits       |   returns 1
74844990b8cSJulian Elischer  *               |                    |  immediatly
74944990b8cSJulian Elischer  * 0 = thread_exit() or suspension ok,
75044990b8cSJulian Elischer  * other = return error instead of stopping the thread.
75144990b8cSJulian Elischer  *
75244990b8cSJulian Elischer  * While a full suspension is under effect, even a single threading
75344990b8cSJulian Elischer  * thread would be suspended if it made this call (but it shouldn't).
75444990b8cSJulian Elischer  * This call should only be made from places where
75544990b8cSJulian Elischer  * thread_exit() would be safe as that may be the outcome unless
75644990b8cSJulian Elischer  * return_instead is set.
75744990b8cSJulian Elischer  */
75844990b8cSJulian Elischer int
75944990b8cSJulian Elischer thread_suspend_check(int return_instead)
76044990b8cSJulian Elischer {
761ecafb24bSJuli Mallett 	struct thread *td;
762ecafb24bSJuli Mallett 	struct proc *p;
7637847a9daSJohn Baldwin 	int wakeup_swapper;
76444990b8cSJulian Elischer 
76544990b8cSJulian Elischer 	td = curthread;
76644990b8cSJulian Elischer 	p = td->td_proc;
76737814395SPeter Wemm 	mtx_assert(&Giant, MA_NOTOWNED);
76844990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
769cbf4e354SDavid Xu 	while (P_SHOULDSTOP(p) ||
770904c5ec4SDavid Xu 	      ((p->p_flag & P_TRACED) && (td->td_dbgflags & TDB_SUSPEND))) {
7711279572aSDavid Xu 		if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE) {
77244990b8cSJulian Elischer 			KASSERT(p->p_singlethread != NULL,
77344990b8cSJulian Elischer 			    ("singlethread not set"));
77444990b8cSJulian Elischer 			/*
775e3b9bf71SJulian Elischer 			 * The only suspension in action is a
776e3b9bf71SJulian Elischer 			 * single-threading. Single threader need not stop.
777b6d5995eSJulian Elischer 			 * XXX Should be safe to access unlocked
778b6d5995eSJulian Elischer 			 * as it can only be set to be true by us.
77944990b8cSJulian Elischer 			 */
780e3b9bf71SJulian Elischer 			if (p->p_singlethread == td)
78144990b8cSJulian Elischer 				return (0);	/* Exempt from stopping. */
78244990b8cSJulian Elischer 		}
78345a4bfa1SDavid Xu 		if ((p->p_flag & P_SINGLE_EXIT) && return_instead)
78494f0972bSDavid Xu 			return (EINTR);
78544990b8cSJulian Elischer 
786906ac69dSDavid Xu 		/* Should we goto user boundary if we didn't come from there? */
787906ac69dSDavid Xu 		if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE &&
788906ac69dSDavid Xu 		    (p->p_flag & P_SINGLE_BOUNDARY) && return_instead)
78994f0972bSDavid Xu 			return (ERESTART);
790906ac69dSDavid Xu 
79144990b8cSJulian Elischer 		/*
79244990b8cSJulian Elischer 		 * If the process is waiting for us to exit,
79344990b8cSJulian Elischer 		 * this thread should just suicide.
7941279572aSDavid Xu 		 * Assumes that P_SINGLE_EXIT implies P_STOPPED_SINGLE.
79544990b8cSJulian Elischer 		 */
796cf7d9a8cSDavid Xu 		if ((p->p_flag & P_SINGLE_EXIT) && (p->p_singlethread != td)) {
797cf7d9a8cSDavid Xu 			PROC_UNLOCK(p);
798cf7d9a8cSDavid Xu 			tidhash_remove(td);
799cf7d9a8cSDavid Xu 			PROC_LOCK(p);
80021ecd1e9SDavid Xu 			tdsigcleanup(td);
801cf7d9a8cSDavid Xu 			PROC_SLOCK(p);
80221ecd1e9SDavid Xu 			thread_stopped(p);
80344990b8cSJulian Elischer 			thread_exit();
804cf7d9a8cSDavid Xu 		}
80521ecd1e9SDavid Xu 
80621ecd1e9SDavid Xu 		PROC_SLOCK(p);
80721ecd1e9SDavid Xu 		thread_stopped(p);
808a54e85fdSJeff Roberson 		if (P_SHOULDSTOP(p) == P_STOPPED_SINGLE) {
809a54e85fdSJeff Roberson 			if (p->p_numthreads == p->p_suspcount + 1) {
810a54e85fdSJeff Roberson 				thread_lock(p->p_singlethread);
8117847a9daSJohn Baldwin 				wakeup_swapper =
812a54e85fdSJeff Roberson 				    thread_unsuspend_one(p->p_singlethread);
813a54e85fdSJeff Roberson 				thread_unlock(p->p_singlethread);
8147847a9daSJohn Baldwin 				if (wakeup_swapper)
8157847a9daSJohn Baldwin 					kick_proc0();
816a54e85fdSJeff Roberson 			}
817a54e85fdSJeff Roberson 		}
8183f9be10eSDavid Xu 		PROC_UNLOCK(p);
8197b4a950aSDavid Xu 		thread_lock(td);
82044990b8cSJulian Elischer 		/*
82144990b8cSJulian Elischer 		 * When a thread suspends, it just
822ad1e7d28SJulian Elischer 		 * gets taken off all queues.
82344990b8cSJulian Elischer 		 */
82471fad9fdSJulian Elischer 		thread_suspend_one(td);
825906ac69dSDavid Xu 		if (return_instead == 0) {
826906ac69dSDavid Xu 			p->p_boundary_count++;
827906ac69dSDavid Xu 			td->td_flags |= TDF_BOUNDARY;
828cf19bf91SJulian Elischer 		}
8297b4a950aSDavid Xu 		PROC_SUNLOCK(p);
8308df78c41SJeff Roberson 		mi_switch(SW_INVOL | SWT_SUSPEND, NULL);
831a54e85fdSJeff Roberson 		if (return_instead == 0)
832906ac69dSDavid Xu 			td->td_flags &= ~TDF_BOUNDARY;
833a54e85fdSJeff Roberson 		thread_unlock(td);
83444990b8cSJulian Elischer 		PROC_LOCK(p);
8357b519077SKonstantin Belousov 		if (return_instead == 0) {
8367b519077SKonstantin Belousov 			PROC_SLOCK(p);
837a54e85fdSJeff Roberson 			p->p_boundary_count--;
8387b519077SKonstantin Belousov 			PROC_SUNLOCK(p);
8397b519077SKonstantin Belousov 		}
84044990b8cSJulian Elischer 	}
84144990b8cSJulian Elischer 	return (0);
84244990b8cSJulian Elischer }
84344990b8cSJulian Elischer 
84435c32a76SDavid Xu void
845a54e85fdSJeff Roberson thread_suspend_switch(struct thread *td)
846a54e85fdSJeff Roberson {
847a54e85fdSJeff Roberson 	struct proc *p;
848a54e85fdSJeff Roberson 
849a54e85fdSJeff Roberson 	p = td->td_proc;
850a54e85fdSJeff Roberson 	KASSERT(!TD_IS_SUSPENDED(td), ("already suspended"));
851a54e85fdSJeff Roberson 	PROC_LOCK_ASSERT(p, MA_OWNED);
8527b4a950aSDavid Xu 	PROC_SLOCK_ASSERT(p, MA_OWNED);
853a54e85fdSJeff Roberson 	/*
854a54e85fdSJeff Roberson 	 * We implement thread_suspend_one in stages here to avoid
855a54e85fdSJeff Roberson 	 * dropping the proc lock while the thread lock is owned.
856a54e85fdSJeff Roberson 	 */
857a54e85fdSJeff Roberson 	thread_stopped(p);
858a54e85fdSJeff Roberson 	p->p_suspcount++;
8593f9be10eSDavid Xu 	PROC_UNLOCK(p);
8607b4a950aSDavid Xu 	thread_lock(td);
861b7edba77SJeff Roberson 	td->td_flags &= ~TDF_NEEDSUSPCHK;
862a54e85fdSJeff Roberson 	TD_SET_SUSPENDED(td);
863c5aa6b58SJeff Roberson 	sched_sleep(td, 0);
8647b4a950aSDavid Xu 	PROC_SUNLOCK(p);
865a54e85fdSJeff Roberson 	DROP_GIANT();
8668df78c41SJeff Roberson 	mi_switch(SW_VOL | SWT_SUSPEND, NULL);
867a54e85fdSJeff Roberson 	thread_unlock(td);
868a54e85fdSJeff Roberson 	PICKUP_GIANT();
869a54e85fdSJeff Roberson 	PROC_LOCK(p);
8707b4a950aSDavid Xu 	PROC_SLOCK(p);
871a54e85fdSJeff Roberson }
872a54e85fdSJeff Roberson 
873a54e85fdSJeff Roberson void
87435c32a76SDavid Xu thread_suspend_one(struct thread *td)
87535c32a76SDavid Xu {
87635c32a76SDavid Xu 	struct proc *p = td->td_proc;
87735c32a76SDavid Xu 
8787b4a950aSDavid Xu 	PROC_SLOCK_ASSERT(p, MA_OWNED);
879a54e85fdSJeff Roberson 	THREAD_LOCK_ASSERT(td, MA_OWNED);
880e574e444SDavid Xu 	KASSERT(!TD_IS_SUSPENDED(td), ("already suspended"));
88135c32a76SDavid Xu 	p->p_suspcount++;
882b7edba77SJeff Roberson 	td->td_flags &= ~TDF_NEEDSUSPCHK;
88371fad9fdSJulian Elischer 	TD_SET_SUSPENDED(td);
884c5aa6b58SJeff Roberson 	sched_sleep(td, 0);
88535c32a76SDavid Xu }
88635c32a76SDavid Xu 
8877847a9daSJohn Baldwin int
88835c32a76SDavid Xu thread_unsuspend_one(struct thread *td)
88935c32a76SDavid Xu {
89035c32a76SDavid Xu 	struct proc *p = td->td_proc;
89135c32a76SDavid Xu 
8927b4a950aSDavid Xu 	PROC_SLOCK_ASSERT(p, MA_OWNED);
893a54e85fdSJeff Roberson 	THREAD_LOCK_ASSERT(td, MA_OWNED);
894ad1e7d28SJulian Elischer 	KASSERT(TD_IS_SUSPENDED(td), ("Thread not suspended"));
89571fad9fdSJulian Elischer 	TD_CLR_SUSPENDED(td);
89635c32a76SDavid Xu 	p->p_suspcount--;
8977847a9daSJohn Baldwin 	return (setrunnable(td));
89835c32a76SDavid Xu }
89935c32a76SDavid Xu 
90044990b8cSJulian Elischer /*
90144990b8cSJulian Elischer  * Allow all threads blocked by single threading to continue running.
90244990b8cSJulian Elischer  */
90344990b8cSJulian Elischer void
90444990b8cSJulian Elischer thread_unsuspend(struct proc *p)
90544990b8cSJulian Elischer {
90644990b8cSJulian Elischer 	struct thread *td;
9077847a9daSJohn Baldwin 	int wakeup_swapper;
90844990b8cSJulian Elischer 
90944990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
9107b4a950aSDavid Xu 	PROC_SLOCK_ASSERT(p, MA_OWNED);
9117847a9daSJohn Baldwin 	wakeup_swapper = 0;
91244990b8cSJulian Elischer 	if (!P_SHOULDSTOP(p)) {
913ad1e7d28SJulian Elischer                 FOREACH_THREAD_IN_PROC(p, td) {
914a54e85fdSJeff Roberson 			thread_lock(td);
915ad1e7d28SJulian Elischer 			if (TD_IS_SUSPENDED(td)) {
9167847a9daSJohn Baldwin 				wakeup_swapper |= thread_unsuspend_one(td);
91744990b8cSJulian Elischer 			}
918a54e85fdSJeff Roberson 			thread_unlock(td);
919ad1e7d28SJulian Elischer 		}
9201279572aSDavid Xu 	} else if ((P_SHOULDSTOP(p) == P_STOPPED_SINGLE) &&
92144990b8cSJulian Elischer 	    (p->p_numthreads == p->p_suspcount)) {
92244990b8cSJulian Elischer 		/*
92344990b8cSJulian Elischer 		 * Stopping everything also did the job for the single
92444990b8cSJulian Elischer 		 * threading request. Now we've downgraded to single-threaded,
92544990b8cSJulian Elischer 		 * let it continue.
92644990b8cSJulian Elischer 		 */
927a54e85fdSJeff Roberson 		thread_lock(p->p_singlethread);
9287847a9daSJohn Baldwin 		wakeup_swapper = thread_unsuspend_one(p->p_singlethread);
929a54e85fdSJeff Roberson 		thread_unlock(p->p_singlethread);
93044990b8cSJulian Elischer 	}
9317847a9daSJohn Baldwin 	if (wakeup_swapper)
9327847a9daSJohn Baldwin 		kick_proc0();
93344990b8cSJulian Elischer }
93444990b8cSJulian Elischer 
935ed062c8dSJulian Elischer /*
936ed062c8dSJulian Elischer  * End the single threading mode..
937ed062c8dSJulian Elischer  */
93844990b8cSJulian Elischer void
93944990b8cSJulian Elischer thread_single_end(void)
94044990b8cSJulian Elischer {
94144990b8cSJulian Elischer 	struct thread *td;
94244990b8cSJulian Elischer 	struct proc *p;
9437847a9daSJohn Baldwin 	int wakeup_swapper;
94444990b8cSJulian Elischer 
94544990b8cSJulian Elischer 	td = curthread;
94644990b8cSJulian Elischer 	p = td->td_proc;
94744990b8cSJulian Elischer 	PROC_LOCK_ASSERT(p, MA_OWNED);
948906ac69dSDavid Xu 	p->p_flag &= ~(P_STOPPED_SINGLE | P_SINGLE_EXIT | P_SINGLE_BOUNDARY);
9497b4a950aSDavid Xu 	PROC_SLOCK(p);
95044990b8cSJulian Elischer 	p->p_singlethread = NULL;
9517847a9daSJohn Baldwin 	wakeup_swapper = 0;
95249539972SJulian Elischer 	/*
9537847a9daSJohn Baldwin 	 * If there are other threads they may now run,
95449539972SJulian Elischer 	 * unless of course there is a blanket 'stop order'
95549539972SJulian Elischer 	 * on the process. The single threader must be allowed
95649539972SJulian Elischer 	 * to continue however as this is a bad place to stop.
95749539972SJulian Elischer 	 */
95849539972SJulian Elischer 	if ((p->p_numthreads != 1) && (!P_SHOULDSTOP(p))) {
959ad1e7d28SJulian Elischer                 FOREACH_THREAD_IN_PROC(p, td) {
960a54e85fdSJeff Roberson 			thread_lock(td);
961ad1e7d28SJulian Elischer 			if (TD_IS_SUSPENDED(td)) {
9627847a9daSJohn Baldwin 				wakeup_swapper |= thread_unsuspend_one(td);
96344990b8cSJulian Elischer 			}
964a54e85fdSJeff Roberson 			thread_unlock(td);
96549539972SJulian Elischer 		}
966ad1e7d28SJulian Elischer 	}
9677b4a950aSDavid Xu 	PROC_SUNLOCK(p);
9687847a9daSJohn Baldwin 	if (wakeup_swapper)
9697847a9daSJohn Baldwin 		kick_proc0();
97049539972SJulian Elischer }
9714fc21c09SDaniel Eischen 
97244355392SDavid Xu struct thread *
97344355392SDavid Xu thread_find(struct proc *p, lwpid_t tid)
97444355392SDavid Xu {
97544355392SDavid Xu 	struct thread *td;
97644355392SDavid Xu 
97744355392SDavid Xu 	PROC_LOCK_ASSERT(p, MA_OWNED);
97844355392SDavid Xu 	FOREACH_THREAD_IN_PROC(p, td) {
97944355392SDavid Xu 		if (td->td_tid == tid)
98044355392SDavid Xu 			break;
98144355392SDavid Xu 	}
98244355392SDavid Xu 	return (td);
98344355392SDavid Xu }
984cf7d9a8cSDavid Xu 
985cf7d9a8cSDavid Xu /* Locate a thread by number; return with proc lock held. */
986cf7d9a8cSDavid Xu struct thread *
987cf7d9a8cSDavid Xu tdfind(lwpid_t tid, pid_t pid)
988cf7d9a8cSDavid Xu {
989cf7d9a8cSDavid Xu #define RUN_THRESH	16
990cf7d9a8cSDavid Xu 	struct thread *td;
991cf7d9a8cSDavid Xu 	int run = 0;
992cf7d9a8cSDavid Xu 
993cf7d9a8cSDavid Xu 	rw_rlock(&tidhash_lock);
994cf7d9a8cSDavid Xu 	LIST_FOREACH(td, TIDHASH(tid), td_hash) {
995cf7d9a8cSDavid Xu 		if (td->td_tid == tid) {
996cf7d9a8cSDavid Xu 			if (pid != -1 && td->td_proc->p_pid != pid) {
997cf7d9a8cSDavid Xu 				td = NULL;
998cf7d9a8cSDavid Xu 				break;
999cf7d9a8cSDavid Xu 			}
10008e6fa660SJohn Baldwin 			PROC_LOCK(td->td_proc);
1001cf7d9a8cSDavid Xu 			if (td->td_proc->p_state == PRS_NEW) {
10028e6fa660SJohn Baldwin 				PROC_UNLOCK(td->td_proc);
1003cf7d9a8cSDavid Xu 				td = NULL;
1004cf7d9a8cSDavid Xu 				break;
1005cf7d9a8cSDavid Xu 			}
1006cf7d9a8cSDavid Xu 			if (run > RUN_THRESH) {
1007cf7d9a8cSDavid Xu 				if (rw_try_upgrade(&tidhash_lock)) {
1008cf7d9a8cSDavid Xu 					LIST_REMOVE(td, td_hash);
1009cf7d9a8cSDavid Xu 					LIST_INSERT_HEAD(TIDHASH(td->td_tid),
1010cf7d9a8cSDavid Xu 						td, td_hash);
1011cf7d9a8cSDavid Xu 					rw_wunlock(&tidhash_lock);
1012cf7d9a8cSDavid Xu 					return (td);
1013cf7d9a8cSDavid Xu 				}
1014cf7d9a8cSDavid Xu 			}
1015cf7d9a8cSDavid Xu 			break;
1016cf7d9a8cSDavid Xu 		}
1017cf7d9a8cSDavid Xu 		run++;
1018cf7d9a8cSDavid Xu 	}
1019cf7d9a8cSDavid Xu 	rw_runlock(&tidhash_lock);
1020cf7d9a8cSDavid Xu 	return (td);
1021cf7d9a8cSDavid Xu }
1022cf7d9a8cSDavid Xu 
1023cf7d9a8cSDavid Xu void
1024cf7d9a8cSDavid Xu tidhash_add(struct thread *td)
1025cf7d9a8cSDavid Xu {
1026cf7d9a8cSDavid Xu 	rw_wlock(&tidhash_lock);
1027cf7d9a8cSDavid Xu 	LIST_INSERT_HEAD(TIDHASH(td->td_tid), td, td_hash);
1028cf7d9a8cSDavid Xu 	rw_wunlock(&tidhash_lock);
1029cf7d9a8cSDavid Xu }
1030cf7d9a8cSDavid Xu 
1031cf7d9a8cSDavid Xu void
1032cf7d9a8cSDavid Xu tidhash_remove(struct thread *td)
1033cf7d9a8cSDavid Xu {
1034cf7d9a8cSDavid Xu 	rw_wlock(&tidhash_lock);
1035cf7d9a8cSDavid Xu 	LIST_REMOVE(td, td_hash);
1036cf7d9a8cSDavid Xu 	rw_wunlock(&tidhash_lock);
1037cf7d9a8cSDavid Xu }
1038